Buscar
Mostrando ítems 11-20 de 735
The expressive power of memory logics
(Cambridge University Press, 2011-06)
We investigate the expressive power of memory logics. These are modal logics extended with the possibility to store (or remove) the current node of evaluation in (or from) a memory, and to perform membership tests on the ...
Classical limit and quantum logic
(Springer/Plenum Publishers, 2018-02)
The analysis of the classical limit of quantum mechanics usually focuses on the state of the system. The general idea is to explain the disappearance of the interference terms of quantum states appealing to the decoherence ...
Swap logic
(Oxford University Press, 2014-03)
We investigate dynamic modal operators that can changethe model during evaluation. We define the logicSLby extending thebasic modal language with the♦modality, which is a diamond operatorthat in addition has the ...
Verification of Dynamic Bisimulation Theorems in Coq
(Elsevier, 2021-04)
Over the last years, the study of logics that can update a model while evaluating a formula has gained in interest. Motivated by many examples in practice such as hybrid logics, separation logics and dynamic epistemic ...
Hybrid Logic as extension of Modal and Temporal LogicLa lógica híbrida como extensión de las lógicas modal y temporal
(Universidad de Valparaíso, 2019)
A non-linear multi-objective technique for hybrid peer-to-peer communication
This work proposes a strategy management technique based on hybrid peer-to-peer communication system. The main techniques used in the P2PC are: (i) Multi-objective optimization, (ii) Game theory technique, (iii) Non-linear ...
Implementation of an AC model for transmission expansion planning considering reliability constraints
(2013-07-18)
In this paper, a hybrid heuristic methodology that employs fuzzy logic for solving the AC transmission network expansion planning (AC-TEP) problem is presented. An enhanced constructive heuristic algorithm aimed at obtaining ...
Implementation of an AC model for transmission expansion planning considering reliability constraints
(2013-07-18)
In this paper, a hybrid heuristic methodology that employs fuzzy logic for solving the AC transmission network expansion planning (AC-TEP) problem is presented. An enhanced constructive heuristic algorithm aimed at obtaining ...
Gains obtained in hybrid systems of energy generation solar photovoltaic and wind power for rural electrification with the use of fuzzy logic controllers based
(2013)
This paper presents the gains from the application of fuzzy logic control in a hybrid power generation wind-photovoltaic for small rural. The use of alternative and renewable energy has been increasingly discussed in all ...