Results 11 to 20 of about 4,348,185 (325)
A Vision of Collaborative Verification-Driven Engineering of Hybrid Systems [PDF]
, 2013 . Hybrid systems with both discrete and continuous dynamics are an important model for real-world physical systems. The key challenge is how to ensure their correct functioning w.r.t. safety requirements.
Mitsch, Stefan +2 more
core +5 more sources
E2Fs co-participate in cadmium stress response through activation of MSHs during the cell cycle
Frontiers in Plant Science, 2022 Cadmium is one of the most common heavy metal contaminants found in agricultural fields. MutSα, MutSβ, and MutSγ are three different MutS-associated protein heterodimer complexes consisting of MSH2/MSH6, MSH2/MSH3, and MSH2/MSH7, respectively.
Wen-Jie Zheng +16 more
doaj +1 more source
Italian hybrid fire prevention code [PDF]
, 2018 Fire safety of residential buildings and activities subjected to fire inspection is a difficult task, especially when the safety targets have to be adopted in built buildings or in activities that are going to be modified into more complex ones ...
Caciolai, Mauro +5 more
core +1 more source
Architectural and Physiological Features to Gain High Yield in an Elite Rice Line YLY1
Rice, 2020 Identification of traits strongly associated with high yield can help future gene engineering towards improvements of productivity. Here we systematically determine the major architectural and physiological features associated with high yield in two ...
Shuoqi Chang +7 more
doaj +1 more source
Frontiers in Plant Science, 2023 IntroductionTwo-line hybrid rice based on Photoperiod/thermo-sensitive genic male sterile (P/TGMS) lines has been developed and applied widely in agriculture due to the freedom in making hybrid combinations, less difficulty in breeding sterile lines, and
Xiuli Zhang +14 more
doaj +1 more source
Progress in Particle and Nuclear Physics, 2015 A review of the theoretical and experimental status of hybrid hadrons is presented. The states π1(1400), π1(1600), and π1(2015) are thoroughly reviewed, along with experimental results from GAMS, VES, Obelix, COMPASS, KEK, CLEO, Crystal Barrel, CLAS, and BNL.
Meyer, Curtis, E. S. Swanson
openaire +2 more sources
Equivalence of switching linear systems by bisimulation [PDF]
, 2006 A general notion of hybrid bisimulation is proposed for the class of switching linear systems. Connections between the notions of bisimulation-based equivalence, state-space equivalence, algebraic and input–output equivalence are investigated.
A. J. van der Schaft +27 more
core +6 more sources
Fine mapping of GS2, a dominant gene for big grain rice
Crop Journal, 2013 Grain shape as a major determinant of rice yield and quality is widely believed to be controlled by quantitative trait loci (QTL). We have identified a novel gene “GS2” to largely regulate grain length and width in rice.
Wuhan Zhang +5 more
doaj +1 more source
Frontiers in Neuroscience, 2010 Nowadays, everybody knows what a hybrid car is. A hybrid car normally has two engines to enhance energy efficiency and reduce CO2 output. Similarly, a hybrid brain-computer interface (BCI) is composed of two BCIs, or at least one BCI and another system.
Gert Pfurtscheller +10 more
openaire +5 more sources