Results 141 to 150 of about 1,407,102 (317)
Extending Event-B with discrete timing properties
, 2013 Event-B is a formal language for systems modelling, based on set theory and predicate logic. It has the advantage of mechanized proof, and it is possible to model a system in several levels of abstraction by using refinement.
Sarshogh, Mohammad Reza
core
Timing requirement description diagrams for real-time system verification [PDF]
, 2008 TURTLE is a real-time UML profile introduced a few years ago to address the analysis, design and deployment of time-constrained systems. The profile has a formal semantics. Further, it is supported by an open source toolkit: TTool.
Fontan, B +5 more
core
FEBS Letters, EarlyView.An unexpected alternative interaction site for ethyl viologen was identified in formate dehydrogenase 1 from Methylorubrum extorquens. Combined mutagenesis, kinetic analysis, and docking revealed that aromatic residues near an iron–sulfur cluster enable flavin mononucleotide‐independent electron transfer, offering a framework for engineering improved ...
Eleni G. Poloniataki, Yong Hwan Kim
wiley +1 more source
FEBS Letters, EarlyView.The physical dimensions and shape of bacterial cells define the surface area available to acquire nutrients and the volume available for synthesizing proteins and DNA. Here, we use computational systems biology to decode the importance of cell geometry as a major determinant of prokaryotic phenotype, including growth rate and metabolic efficiency. This
Ross P. Carlson +6 more
wiley +1 more source
Electron transfer between complexes III and IV in S. cerevisiae mitochondrial membranes
FEBS Letters, EarlyView.Mitochondrial oxidative phosphorylation in S. cerevisiae mitoplasts is limited by complex IV catalytic capacity, rather than two‐dimensional cytochrome c diffusion. At physiological cytochrome c : supercomplex ratios at salinity equivalent to that of 20 mm monovalent salt, activity is maximized, indicating that this low ionic strength accurately mimics
Ana Paula Lobez +2 more
wiley +1 more source
Housing Wealth and Retirement Timing [PDF]
We use data from the Health and Retirement Study (HRS) and the Office of Housing Enterprise Oversight to measure the effect of changes in housing wealth on retirement timing.
Martin Farnham, Purvi Sevak
core
FEBS Letters, EarlyView.We present robust protocols for the preparation of supported lipid bilayers (SLBs) incorporating either Salmonella smooth LPS or outer membrane vesicles (OMVs). We use a combination of quartz crystal microbalance with dissipation (QCM‐D) and fluorescence microscopy to both characterize the SLBs of various compositions and to probe their interactions ...
Hudson P. Pace +6 more
wiley +1 more source
Actual share repurchases, timing and liquidity [PDF]
Research on the impact of open market share repurchases has been hindered by the lack of data available on actual share repurchases in many countries, including the US.
Jacques Hamon, Edith Ginglinger
core