Results 161 to 170 of about 28,008,925 (238)

SpaceEx: Scalable Verification of Hybrid Systems

International Conference on Computer Aided Verification, 2011
Goran Frehse, C. J. Guernic, Alexandre Donzé, Scott Cotton, Rajarshi Ray, Olivier Lebeltel, Rodolfo Ripado, A. Girard, T. Dang, O. Maler   +9 more
semanticscholar   +1 more source

Studies on the PII-PipX-NtcA Regulatory Axis of Cyanobacteria Provide Novel Insights into the Advantages and Limitations of Two-Hybrid Systems for Protein Interactions. [PDF]

Int J Mol Sci
Salinas P, Bibak S, Cantos R, Tremiño L, Jerez C, Mata-Balaguer T, Contreras A.   +6 more
europepmc   +1 more source

Optimal Control and Optimization of Grid-Connected PV and Wind Turbine Hybrid Systems Using Electric Eel Foraging Optimization Algorithms. [PDF]

Sensors (Basel)
Abdelwahab SAM, El-Rifaie AM, Hegazy HY, Tolba MA, Mohamed WI, Mohamed M.   +5 more
europepmc   +1 more source

Manipulating chiral photon generation from plasmonic nanocavity-emitter hybrid systems: from weak to strong coupling. [PDF]

Nanophotonics
Yang J, Hu H, Zhang Q, Zu S, Chen W, Xu H.   +5 more
europepmc   +1 more source

Analysis of dermoscopy images of multi-class for early detection of skin lesions by hybrid systems based on integrating features of CNN models. [PDF]

PLoS One
Alshahrani M, Al-Jabbar M, Senan EM, Ahmed IA, Mohammed Saif JA.   +4 more
europepmc   +1 more source

Novel Therapeutic Hybrid Systems Using Hydrogels and Nanotechnology: A Focus on Nanoemulgels for the Treatment of Skin Diseases. [PDF]

Gels
Sghier K, Mur M, Veiga F, Paiva-Santos AC, Pires PC.   +4 more
europepmc   +1 more source

Some of the next articles are maybe not open access.

Related searches:

Tricks and tracks in removal of emerging contaminants from the wastewater through hybrid treatment systems: A review

Science of the Total Environment, 2020
In recent years, many biological and physicochemical treatment technologies have been investigated for the removal of the emerging contaminants (ECs) from the wastewater matrix. However, due to the deficiency of these treatments to completely degrade the
Kiran Dhangar, Manish Kumar
exaly   +2 more sources

Perspectives and results on the stability and stabilizability of hybrid systems

Proceedings of the IEEE, 2000
R A DeCARLO, M S Branicky, B Lennartson   +2 more
exaly   +2 more sources

Hybrid Systems

Intelligent Systems for Engineers and Scientists, 2021
Hybrid automata are a popular modeling formalism of hybrid systems, which are systems that have both continuous as well as discrete behavior. To prove safety of hybrid automata, a widely used algorithm is the owpipe-construction based reachability ...
A. Hopgood
semanticscholar   +2 more sources

On Controllability of Hybrid Systems

IEEE Transactions on Automatic Control, 2021
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Feng Lin 0001, Le Yi Wang, Wen Chen 0007, Michael P. Polis   +3 more
openaire   +1 more source