Results 41 to 50 of about 28,008,925 (238)

The Algorithmic Analysis of Hybrid Systems

Theoretical Computer Science, 1995
We present a general framework for the formal specification and algorithmic analysis of hybrid systems. A hybrid system consists of a discrete program with an analog environment.
R. Alur, C. Courcoubetis, N. Halbwachs, T. Henzinger, Pei-Hsin Ho, X. Nicollin, A. Olivero, J. Sifakis, S. Yovine   +8 more
semanticscholar   +1 more source

The control of lithium‐ion batteries and supercapacitors in hybrid energy storage systems for electric vehicles: A review

International Journal of Energy Research, 2021
This article discusses control solutions for hybrid energy systems composed of lithium‐ion batteries and supercapacitors for electric vehicles. The advantages and disadvantages of the respective systems of lithium‐ion batteries and supercapacitors as ...
Hui Xu, Ming Shen
semanticscholar   +1 more source

Composite Ferroelectric Membranes Based on Vinylidene Fluoride-Tetrafluoroethylene Copolymer and Polyvinylpyrrolidone for Wound Healing

Membranes, 2020
Wound healing is a complex process and an ongoing challenge for modern medicine. Herein, we present the results of study of structure and properties of ferroelectric composite polymer membranes for wound healing.
Tamara S. Tverdokhlebova, Ludmila S. Antipina, Valeriya L. Kudryavtseva, Ksenia S. Stankevich, Ilya M. Kolesnik, Evgenia A. Senokosova, Elena A. Velikanova, Larisa V. Antonova, Dmitry V. Vasilchenko, Georgiy T. Dambaev, Evgenii V. Plotnikov, Vyacheslav M. Bouznik, Evgeny N. Bolbasov   +12 more
doaj   +1 more source

Predicting a hybrid system [PDF]

Communications in Information and Systems, 2003
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
John E. Boyd, David D. Sworder, R. G. Hutchins   +2 more
openaire   +1 more source

Implementation of a hybrid method for optimizing traffic light phases using Anylogic [PDF]

ITM Web of Conferences
Traffic light interval signals have been operating according to the same pattern for many years. Small towns do not create traffic control units due to high costs. The operation of a traffic light is limited to several modes or has constant values of the
Stupin Artem, Stasiuk Vladislav, Shagaeva Olga   +2 more
doaj   +1 more source

Hybrid Mechanical Systems

, 2014
We discuss hybrid systems in which a mechanical oscillator is coupled to another (microscopic) quantum system, such as trapped atoms or ions, solid-state spin qubits, or superconducting devices.
A Bhattacherjee, AA Geraci, AD Armour, AD Cronin, AJ Shields, B Vogell, C Degen, C Deutsch, C Gardiner, C Genes, C Genes, C Joshi, CK Law, CL Degen, D Hunger, D Hunger, D Leibfried, D Meiser, D Mozyrsky, D Rugar, D Vion, D Wineland, D Wineland, E Buks, EK Irish, F Jelezko, F Xue, F Xue, G Balasubramanian, G Chiara De, H Carmichael, H Ian, H Mamin, I Bloch, I Martin, I Wilson-Rae, J Clarke, J Maze, JA Schreier, JM Raimond, K Hammerer, K Hammerer, K Jähne, K Zhang, L Tian, M Grinolds, M Korppi, M Paternostro, M Poggio, M Poggio, M Wallquist, M Wallquist, MA Kasevich, MD LaHaye, MP Blencowe, O Arcizet, P Magusin, P Rabl, P Rabl, P Rabl, P Treutlein, R Budakian, R Hanson, R Wynands, RG Knobel, S Camerer, S Chu, S Etaki, S Kolkowitz, S Singh, S Singh, S Steinke, S Zippilli, SA McGee, SD Bennett, WK Hensinger, X Zhou, YD Wang, YJ Wang, Yu Makhlin   +79 more
core   +2 more sources

Ion-atom hybrid systems [PDF]

, 2014
The study of interactions between simultaneously trapped cold ions and atoms has emerged as a new research direction in recent years. The development of ion-atom hybrid experiments has paved the way for investigating elastic, inelastic and reactive ...
Willitsch, Stefan
core   +3 more sources

Model of the influence of weather conditions on car traffic (using the example of weather conditions in Siberia) [PDF]

ITM Web of Conferences
The purpose of the study is to build a model of the influence of weather and climatic factors on the throughput of various types of roads and intersections. Weather conditions affect the acceleration, braking and stability of a vehicle on the road.
Stupin Artem, Dubovik Natalia, Shagaeva Olga   +2 more
doaj   +1 more source

Abstractions for hybrid systems [PDF]

Formal Methods in System Design, 2007
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire   +1 more source

Tailorable Antibacterial Activity and Biofilm Eradication Properties of Biocompatible α-Hydroxy Acid-Based Deep Eutectic Solvents

Pharmaceutics
Background/Objectives: Deep eutectic solvents (DESs) have recently gained attention for their antimicrobial properties, particularly because they target both planktonic bacteria and biofilms.
Gleb Dubinenko, Elena Senkina, Ksenia Golovina, Alexandra Myshova, Olga Igumnova, Evgenii Plotnikov, Arsalan Badaraev, Sven Rutkowski, Victor Filimonov, Sergei Tverdokhlebov   +9 more
doaj   +1 more source