Results 201 to 210 of about 28,008,925 (238)
Some of the next articles are maybe not open access.
Photodetectors based on graphene, other two-dimensional materials and hybrid systems.
Nature Nanotechnology, 2014F. Koppens +5 more
semanticscholar +1 more source
Multiple Lyapunov functions and other analysis tools for switched and hybrid systems
IEEE Transactions on Automatic Control, 1998M. Branicky
semanticscholar +1 more source
2008
We introduce STORMED hybrid systems, a decidable class of hybrid systems which is similar to o-minimal hybrid automata in that the continuous dynamics and constraints are described in an o-minimal theory. However, unlike o-minimal hybrid automata, the variables are not initialized in a memoryless fashion at discrete steps.
Vladimeros Vladimerou +3 more
openaire +1 more source
We introduce STORMED hybrid systems, a decidable class of hybrid systems which is similar to o-minimal hybrid automata in that the continuous dynamics and constraints are described in an o-minimal theory. However, unlike o-minimal hybrid automata, the variables are not initialized in a memoryless fashion at discrete steps.
Vladimeros Vladimerou +3 more
openaire +1 more source
Graphene, related two-dimensional crystals, and hybrid systems for energy conversion and storage
Science, 2015F. Bonaccorso +7 more
semanticscholar +1 more source
1993
TLA+ is a general purpose, formal specification language based on the Temporal Logic of Actions, with no built-in primitives for specifying real-time properties. Here, we use TLA+ to define operators for specifying the temporal behavior of physical components obeying integral equations of evolution.
openaire +1 more source
TLA+ is a general purpose, formal specification language based on the Temporal Logic of Actions, with no built-in primitives for specifying real-time properties. Here, we use TLA+ to define operators for specifying the temporal behavior of physical components obeying integral equations of evolution.
openaire +1 more source
Hybrid Recommender Systems: Survey and Experiments
User modeling and user-adapted interaction, 2002R. Burke
semanticscholar +1 more source
Bellerophon: Tactical Theorem Proving for Hybrid Systems
International Conference on Interactive Theorem Proving, 2017Nathan Fulton +3 more
semanticscholar +1 more source
International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems, 2000
Parsons, Simon, Neufeld, Eric
openaire +2 more sources
Parsons, Simon, Neufeld, Eric
openaire +2 more sources
A review on the development of photovoltaic/concentrated solar power (PV-CSP) hybrid systems
, 2017Xing Ju +5 more
semanticscholar +1 more source