Results 31 to 40 of about 28,008,925 (238)
On the Composition of Hybrid Systems [PDF]
, 1998 Concurrent Systems can be usually specified as Systems of communicating processes obtained by composing sequential processes by means of binary parallel composition Operators. The latter express process interaction in terms of action composition. Their semantics is usually defined by two types of rules. —Synchronization rules that specify how an action
Sébastien Bornot, Joseph Sifakis
openaire +1 more source
Overview of the II International Workshop “Hybrid methods of modeling and optimization in complex systems” (HMMOCS-II 2023) [PDF]
ITM Web of ConferencesThe Overview is devoted to the main results of the II International Workshop “Hybrid methods of modeling and optimization in complex systems” (HMMOCS-II 2023) which was held in Krasnoyarsk, Russia on 28-30 November 2023.
Stanimirović Predrag +2 more
doaj +1 more source
Alternating Minimization Algorithms for Hybrid Precoding in Millimeter Wave MIMO Systems [PDF]
IEEE Journal on Selected Topics in Signal Processing, 2016 Millimeter wave (mmWave) communications has been regarded as a key enabling technology for 5G networks, as it offers orders of magnitude greater spectrum than current cellular bands.
Xianghao Yu +3 more
semanticscholar +1 more source
Delay-dependent robust stability of stochastic delay systems with Markovian switching [PDF]
, 2009 In recent years, stability of hybrid stochastic delay systems, one of the important issues in the study of stochastic systems, has received considerable attention. However, the existing results do not deal with the structure of the diffusion but estimate
B. Xu +19 more
core +1 more source
A Hybrid Denotational Semantics for Hybrid Systems [PDF]
, 2008 In this article, we present a model and a denotational semantics for hybrid systems. Our model is designed to be used for the verification of large, existing embedded applications. The discrete part is modeled by a program written in an extension of an imperative language and the continuous part is modeled by differential equations.
Olivier Bouissou, Matthieu Martel
openaire +1 more source
Properties of the Quadratic Transformation of Dual Variables
Algorithms, 2023 We investigate a solution of a convex programming problem with a strongly convex objective function based on the dual approach. A dual optimization problem has constraints on the positivity of variables.
Vladimir Krutikov +5 more
doaj +1 more source
Hybrid quantum systems based on magnonics [PDF]
Applied Physics Express, 2019 Engineered quantum systems enabling novel capabilities for computation and sensing have blossomed in the last decade. Architectures benefiting from combining complementary physical systems have emerged as promising approaches for quantum technologies.
D. Lachance-Quirion +4 more
semanticscholar +1 more source
Making Hybrids of Two-Hybrid Systems
BioTechniques, 1997 Two-hybrid systems are powerful tools to find new partners for a protein of interest. However, exchange of material between two-hybrid users has been handicapped by the various versions of two-hybrid systems available and by the widely accepted idea that they are not compatible.
Dagher, M. C., Filhol-Cochet, O.
openaire +4 more sources
Quantum technologies with hybrid systems [PDF]
Proceedings of the National Academy of Sciences of the United States of America, 2015 An extensively pursued current direction of research in physics aims at the development of practical technologies that exploit the effects of quantum mechanics.
G. Kurizki +6 more
semanticscholar +1 more source
Binarization of features based on frequency discretization for clustering tasks [PDF]
ITM Web of ConferencesThis paper explores the transformation of heterogeneous features, including continuous data, into binary form using frequency discretization. This method is particularly beneficial for clustering tasks, as binary features simplify the interpretation of ...
Masich Igor +2 more
doaj +1 more source