Results 101 to 110 of about 286,000 (316)
On the uncertainty of CFD in sail aerodynamics [PDF]
, 2013 A verification and validation procedure for yacht sail aerodynamics is presented. Guidelines and an example of application are provided. The grid uncertainty for the aerodynamic lift, drag and pressure distributions for the sails is computed.
VIOLA, Ignazio Maria +6 more
core +1 more source
FEBS Letters, EarlyView.Plasma membranes contain dynamic nanoscale domains that organize lipids and receptors. Because viruses operate at similar scales, this architecture shapes early infection steps, including attachment, receptor engagement, and entry. Using influenza A virus and HIV‐1 as examples, we highlight how receptor nanoclusters, multivalent glycan interactions ...
Jan Schlegel, Christian Sieben
wiley +1 more source
FEBS Letters, EarlyView.Embryo‐like structures (stembryos) are an innovative tool, but they are hindered by experimental variability and limited developmental potential. DNA methylation is crucial for mammalian development, but its status in stembryo models is poorly characterized.
Sara Canil +4 more
wiley +1 more source
Exploiting hub states in automatic verification
, 2005 In this paper we present a new algorithm to counteract state explosion when using Explicit State Space Exploration to verify protocol-like systems. We sketch the implementation of our algorithm within the Caching Mur psi verifier and give experimental ...
Igor Melatti +12 more
core +1 more source
pH‐mediated activation of the lysosomal arginine sensor SLC38A9
FEBS Letters, EarlyView.Cells monitor nutrient levels via the lysosomal transporter SLC38A9 to activate the mechanistic target of rapamycin complex 1 (mTORC1). This study reveals that SLC38A9 function is regulated by pH. We identified histidine 544 as a critical pH sensor that undergoes conformational changes to control amino acid efflux from lysosomes; therefore, it ...
Xuelang Mu, Ampon Sae Her, Tamir Gonen
wiley +1 more source
Modeling of an Experimental Batch Plant with Modelica
, 2006 A Modelica model of an experimental batch plant installed at the Process Control Laboratory (AST) of the University of Dortmund was developed. The plant model consists of tanks, pipes, valves, pumps and a control system to mix, buffer, heat, cool and ...
Remelhe, Manuel +2 more
core
FEBS Letters, EarlyView.Ascidian Ciona larvae initially show strong clockwise tail twisting, which is largely corrected during development. However, a small residual twist remains. This study shows that organized helical myofibrils in tail muscles mechanically stabilize this residual asymmetry, preventing complete restoration of bilateral symmetry and revealing how embryos ...
Yuki S. Kogure +3 more
wiley +1 more source
Experimental coder/decoder of dicode pulse position modulation.
, 2009 Dicode Pulse Position Modulation has been proposed as an alternative coding scheme which has many advantages over previous Pulse Position Modulation formats.
Charitopoulos, Romanos +1 more
core
Runtime Verification of Autonomous Driving Systems in CARLA
, 2020 Urban driving simulators, such as CARLA, provide 3-D environments and useful tools to easily simulate sensorimotor control systems in scenarios with complex multi-agent dynamics. This enables the design exploration at the early system development stages,
Katsaros, Panagiotis; orcid: +2 more
core +1 more source
Journal of Inflammation ResearchJunping Zhu,1– 3 Ziyan Wang,4,5 Chengxin Liu,4,5 Min Shi,1,5 Zhihua Guo,1,4,5 Ya Li,2 Rong Yu,1,3 Jiaming Wei1,5 1School of Chinese Medical Sciences, Hunan University of Chinese Medicine, Changsha, 410208, People’s Republic of China; 2School of Pharmacy,
Zhu J +7 more
doaj