Results 21 to 30 of about 103,350 (310)
International Journal on Software Tools for Technology Transfer, 2015 This tutorial paper surveys the main features of Uppaal SMC, a model checking approach in Uppaal family that allows us to reason on networks of complex real-timed systems with a stochastic semantic. We demonstrate the modeling features of the tool, new verification algorithms and ways of applying them to potentially complex case studies.
Alexandre David +4 more
openaire +1 more source
Molecular basis for SMC rod formation and its dissolution upon DNA binding. [PDF]
, 2015 SMC condensin complexes are central modulators of chromosome superstructure in all branches of life. Their SMC subunits form a long intramolecular coiled coil, which connects a constitutive "hinge" dimerization domain with an ATP-regulated "head ...
Soh, Young-Min +69 more
core +1 more source
Amplified Detection of the Aptamer—Vanillin Complex with the Use of Bsm DNA Polymerase
Proceedings, 2017 The decreased sensitivity for electrochemical detection of low-molecular-weight targets with the use of aptamers is a great problem of scientific importance. [...]
Mariia Andrianova +3 more
doaj +1 more source
THE GROWTH OPPORTUNITIES FOR SMC?
Journal of Business Economics and Management, 2006 The extensive empirical literature on the validity of Gibrat's law does not in general verify the law as it finds that firms’ growth rates are negatively correlated with both firm size and age. However, some studies find that Gibrat's law holds for sub‐samples of firms such as large firms or firms belonging to special industries.
Bentzen, Jan +2 more
openaire +5 more sources
ANFIS Based Reduce Device Count DSTATCOM
Journal of Applied Science and Engineering, 2023 In this article reduced switch count-based distributed static compensator (DSTATCOM) is presented. DSTATCOM is a reduced switch count-based multilevel inverter (MLI)-based DSTATCOM that is used to eliminate harmonics in the source current caused by a non-
Kalagotla Chenchireddy, V Jegathesan
doaj +1 more source
SMC is recruited to oriC by ParB and promotes chromosome segregation in Streptococcus pneumoniae [PDF]
, 2011 Segregation of replicated chromosomes is an essential process in all organisms. How bacteria, such as the oval-shaped human pathogen Streptococcus pneumoniae, efficiently segregate their chromosomes is poorly understood.
Stephan Gruber +19 more
core +1 more source
Effectiveness of seasonal malaria chemoprevention at scale in west and central Africa: an observational study. [PDF]
, 2020 BACKGROUND: Seasonal malaria chemoprevention (SMC) aims to prevent malaria in children during the high malaria transmission season. The Achieving Catalytic Expansion of SMC in the Sahel (ACCESS-SMC) project sought to remove barriers to the scale-up of ...
ACCESS-SMC Partnership
core +1 more source
Acoustic monitoring of a prestressed concrete beam reinforced by adhesively bonded composite
MATEC Web of Conferences, 2018 The use of adhesively bonded composite reinforcement is relatively widely used for concrete structures. Yet, some questions remain regarding its use in the case of prestressed concrete structures especially in relation with the influence of existing ...
Chataigner Sylvain +8 more
doaj +1 more source
Normal postnatal outcome in an r(X) mosaic male fetus with retained XIST gene
Journal of Pediatric and Neonatal Individualized Medicine, 2020 We report the case of a pregnant woman who underwent prenatal diagnosis by chorionic villi sampling for increased risk of trisomy 21 due to advanced age and abnormal results of the first trimester combined screening test.
Maura Mingoia +3 more
doaj +1 more source