Results 61 to 70 of about 23,557 (297)
Transfer Function Synthesis without Quantifier Elimination [PDF]
, 2011 Recently it has been shown how transfer functions for linear template constraints can be derived for bit-vector programs by operating over propositional Boolean formulae. The drawback of this method is that it relies on existential quantifier elimination,
Andy King +3 more
core +1 more source
Design and analysis strategies for robust microbiome ageing research
FEBS Letters, EarlyView.The gut microbiome changes with age and associates with age‐related morbidity and mortality, establishing it as a potential biomarker and intervention target for ageing. Realising this potential requires methodological rigour, yet distinguishing biological signals from methodological artefacts remains challenging across cohorts. This review provides an
Mark Olenik +5 more
wiley +1 more source
Controller Cyber-Attack Detection and Isolation
Sensors, 2023 This article deals with the cyber security of industrial control systems. Methods for detecting and isolating process faults and cyber-attacks, consisting of elementary actions named “cybernetic faults” that penetrate the control system and destructively
Anna Sztyber-Betley +3 more
doaj +1 more source
Phase Locked Loop Test Methodology [PDF]
, 2008 Phase locked loops are incorporated into almost every large-scale mixed signal and digital system on chip (SOC). Various types of PLL architectures exist including fully analogue, fully digital, semi-digital, and software based.
Burbidge, Martin, Richardson, Andrew
core
Automatic Abstraction for Congruences [PDF]
, 2010 One approach to verifying bit-twiddling algorithms is to derive invariants between the bits that constitute the variables of a program. Such invariants can often be described with systems of congruences where in each equation $\vec{c} \cdot \vec{x} = d ...
Sondergaard, Harald +3 more
core +1 more source
Molecular Oncology, EarlyView.Dimethyl fumarate (DMF) reduces growth of HPV‐positive cervical cancer spheroids and induces ferroptosis in cervical cancer cells via blocking SLC7A11/Glutathione (GSH) axis. Combination of subcytotoxic doses of DMF and cisplatin (CDDP) further suppresses spheroid growth and drives cell death in 2D culture models.
Carolina Punziano +6 more
wiley +1 more source
The human-centric Industry 5.0 collaboration architecture
MethodsX, 2023 While the primary focus of Industry 4.0 revolves around extensive digitalization, Industry 5.0, on the other hand, seeks to integrate innovative technologies with human actors, signifying an approach that is more value-driven than technology-centric. The
Attila Tóth +5 more
doaj +1 more source
A three-loop check of the “a-maximization” in SQCD with adjoint(s) [PDF]
JETP Letters, 2010 5 pages; the title changed, the text improved and ...
openaire +2 more sources
Finding novel vulnerabilities of hypomorphic BRCA1 alleles
Molecular Oncology, EarlyView.Synthetic lethality screens performed to identify novel vulnerabilities often model complete gene loss, thereby overlooking patient‐derived hypomorphic mutations. In this study, we have performed genome‐wide CRISPR screens on BRCA1 hypomorphic mutations, showing BRCA1I26A behaves like wild‐type, while BRCA1R1699Q mimics deficiency. Furthermore, we have
Anne Schreuder +10 more
wiley +1 more source
Detailed Algorithm for Implementing Circle Criterion in QFT Framework for Saturation Nonlinearity [PDF]
فصلنامه علوم و فناوری فضاییThe control of a spacecraft’s orbit and attitude is one of the most complicated problems in the field of control engineering. In practice, engineers encounter uncertainty and nonlinearity due to large flexible appendages and saturated actuators.
Hamed Kashani
doaj +1 more source