Results 131 to 140 of about 4,197,782 (360)

Feature-Aware Verification [PDF]

, 2011
A software product line is a set of software products that are distinguished in terms of features (i.e., end-user--visible units of behavior). Feature interactions ---situations in which the combination of features leads to emergent and possibly critical
Dirk Beyer, Dirk Beyer, Er Von Rhein, Er Von Rhein, Hendrik Speidel, Hendrik Speidel, Sven Apel, Sven Apel   +7 more
core   +2 more sources

Thermostable neutral metalloprotease from Geobacillus sp. EA1 does not share thermolysin's preference for substrates with leucine at the P1′ position

FEBS Letters, EarlyView.
Knowing how proteases recognise preferred substrates facilitates matching proteases to applications. The S1′ pocket of protease EA1 directs cleavage to the N‐terminal side of hydrophobic residues, particularly leucine. The S1′ pocket of thermolysin differs from EA's at only one position (leucine in place of phenylalanine), which decreases cleavage ...
Grant R. Broomfield, Torsten Kleffmann, David J. Saul, Sigurd M. Wilbanks   +3 more
wiley   +1 more source

Floating Point Verification [PDF]

, 1998
JUCS - Journal of Universal Computer Science Volume Nr.
openaire   +2 more sources

Video Verification: An Alternative form of Identify Verification

Procedia Manufacturing, 2015
AbstractVoting in the United States is a constitutional right, allowing citizens to voice concerns involving policies and laws. It is an essential civil liberty, in which the modification of voter laws can affect over 206 million eligible voters. Since 2008, more than half of the States in the U.S.A.
Dekita Moon, Juan E. Gilbert, Phillip Hall, Jerone Dunbar   +3 more
openaire   +2 more sources

Redox‐dependent binding and conformational equilibria govern the fluorescence decay of NAD(P)H in living cells

FEBS Letters, EarlyView.
In this work, we reveal how different enzyme binding configurations influence the fluorescence decay of NAD(P)H in live cells using time‐resolved anisotropy imaging and fluorescence lifetime imaging microscopy (FLIM). Mathematical modelling shows that the redox states of the NAD and NADP pools govern these configurations, shaping their fluorescence ...
Thomas S. Blacker, Nimit Mistry, Nicoletta Plotegher, Elizabeth R. Westbrook, Michael D. E. Sewell, John Carroll, Gyorgy Szabadkai, Angus J. Bain, Michael R. Duchen   +8 more
wiley   +1 more source

TWO CASES OF HERNIA OF THE LUNGS INTO THE NECK; ONE VERIFIED BY POST-MORTEM EXAMINATION. [PDF]

, 1885
Maurice Knox
openalex   +1 more source

Towards modular verification of pathways: fairness and assumptions

, 2012
Modular verification is a technique used to face the state explosion problem often encountered in the verification of properties of complex systems such as concurrent interactive systems.
Drábik, Peter, Maggiolo-Schettini, Andrea, Milazzo, Paolo   +2 more
core   +2 more sources

Neutrophil deficiency increases T cell numbers at the site of tissue injury in mice

FEBS Letters, EarlyView.
In wild‐type mice, injury or acute inflammation induces neutrophil influx followed by macrophage accumulation. Mcl1ΔMyelo (neutrophil‐deficient) mice lack neutrophils, and in response to muscle injury show fewer macrophages and exhibit strikingly elevated T‐cell numbers, primarily non‐conventional “double‐negative” (DN) αβ and γδ T cells.
Hajnalka Halász, Albert Bálint Papp, Lukács Sándor Lesinszki, Attila Mócsai, Tamás Varga, László Nagy, Péter Gogolák   +6 more
wiley   +1 more source

An Overview of the Impact of Vibrations on Li‐Ion Battery Performance, Degradation, Battery Thermal Management System and Key Focus Areas

Engineering Reports
Lithium‐ion batteries (LIBs) have gained significant attention in recent years due to their widespread applications in electric vehicles, portable electronics, energy storage, and renewable energy systems.
Boozula Aravind Reddy
doaj   +1 more source

VI.—On the preparation of standard trial plates, to be used in verifying the composition of the coinage [PDF]

, 1874
W. Chandler Roberts
openalex   +1 more source