Results 21 to 30 of about 746,055 (241)
SoS contract verification using statistical model checking [PDF]
Electronic Proceedings in Theoretical Computer Science, 2013 Exhaustive formal verification for systems of systems (SoS) is impractical and cannot be applied on a large scale. In this paper we propose to use statistical model checking for efficient verification of SoS. We address three relevant aspects for systems
Alessandro Mignogna +4 more
doaj +1 more source
Cells, 2021 A bioinformatic search for LexA boxes, combined with transcriptomic detection of loci responsive to DNA damage, identified 48 members of the SOS regulon in the genome of Salmonella enterica serovar Typhimurium.
Angela Mérida-Floriano +2 more
doaj +1 more source
SDP Duals without Duality Gaps for a Class of Convex Minimax Programs
, 2013 In this paper we introduce a new dual program, which is representable as a semi-definite linear programming problem, for a primal convex minimax programming model problem and show that there is no duality gap between the primal and the dual whenever the ...
Jeyakumar, V., Vicente-Perez, J.
core +1 more source
JTAM (Jurnal Teori dan Aplikasi Matematika)This article aims to identify the dominant features that have a significant impact on the health of a heavy machine that relates to the digital infrastructure of a company. The importance of this research is that the authors define predictive maintenance
Suryasatriya Trihandaru +5 more
doaj +1 more source
Tight Sum-of-Squares lower bounds for binary polynomial optimization problems [PDF]
, 2016 We give two results concerning the power of the Sum-of-Squares(SoS)/Lasserre hierarchy. For binary polynomial optimization problems of degree $2d$ and an odd number of variables $n$, we prove that $\frac{n+2d-1}{2}$ levels of the SoS/Lasserre hierarchy ...
Kurpisz, Adam +2 more
core +2 more sources
Hepatic sinusoidal obstruction syndrome (SOS) associated with checkpoint inhibitor therapy
European Journal of Case Reports in Internal MedicineSinusoidal obstruction syndrome (SOS) is a distinctive and potentially fatal form of hepatic injury that mainly occurs after hematopoietic-stem cell transplantation but also due to many other conditions including drug or toxin exposure.
Marianna Litterio +5 more
doaj +1 more source
Mutations that Separate the Functions of the Proofreading Subunit of the Escherichia coli Replicase
, 2015 The dnaQ gene of Escherichia coli encodes the Ɛ subunit of DNA polymerase III, which provides the 3\u27 - 5\u27 exonuclease proofreading activity of the replicative polymerase.
Kreuzer, Kenneth N., Whatley, Zakiya
core +1 more source
Harnessing Fungal Biowelding for Constructing Mycelium‐Engineered Materials
Advanced Engineering Materials, EarlyView.Mycelium‐bound composites (MBCs) offer low‐carbon alternatives for construction, yet interfacial bonding remains a critical challenge. This review examines fungal biowelding as a biocompatible adhesive, elucidating mycelium‐mediated interfacial mechanisms and their role in material assembly. Strategies to optimize biowelding are discussed, highlighting
Xue Brenda Bai +2 more
wiley +1 more source
Polish adaptation and validation of the Smartphone Orientation Scale (SOS)
Journal of Modern ScienceObjectives The intensive use of mobile devices has been the research subject in many countries and cultures for several years. The main emphasis is usually focused on negative phenomena, ranging from problematic or excessive use to addiction to a mobile ...
Wojciech Marcin Czerski +2 more
doaj +1 more source
No Consistent Evidence for Advancing or Delaying Trends in Spring Phenology on the Tibetan Plateau [PDF]
, 2017 Vegetation phenology is a sensitive indicator of climate change and has significant effects on the exchange of carbon, water, and energy between the terrestrial biosphere and the atmosphere.
Badeck +69 more
core +3 more sources