Results 41 to 50 of about 11,767,344 (228)

Using Synthetic Domain Theory to Prove Operational Properties of a Polymorphic Programming Language Based on Strictness [PDF]

, 2004
We present a simple and workable axiomatization of domain theory within intuitionistic set theory, in which predomains are (special) sets, and domains are algebras for a simple equational theory.
Rosolini, Giuseppe, Simpson, Alex
core  

An ODD-Stratified Multi-Criteria Framework for Assessing Urban Territorial Readiness for Connected and Automated Vehicles: Methodology and Proof-of-Concept Demonstration

Urban Science
Existing readiness indices for Connected and Automated Vehicles (CAVs) produce a single composite score per city. This conflates use cases with very different territorial requirements and, being compensatory, allows strong performance on one criterion to
Mohamed Cherif Rahal
doaj   +1 more source

Microbiome−host proteostasis crosstalk—An emerging perspective on mechanisms and interventions toward healthy longevity

FEBS Letters, EarlyView.
Proteostasis and the gut microbiota play a key role in shaping host physiology. Microbiota‐derived metabolites, vitamins, and RNA modulate host proteostasis. Findings from model systems, including C. elegans, indicate microbes can either stabilize or disrupt host proteostasis.
Abhishek Anil Dubey, Maria Ermolaeva
wiley   +1 more source

Structural insights and therapeutic targets in Acinetobacter baumannii capsule biosynthesis

FEBS Letters, EarlyView.
Hypervirulent KL49 A. baumannii's capsular polysaccharide contains the nonulosonic acid 8‐epi‐Leg5,7Ac2, synthesized by epimerization via ElaA, ElaB, and ElaC. Crystal structures of ElaA, ElaB, and ElaC reveal their role in CMP‐Leg5,7Ac2 synthesis and regioselective C8 epimerization.
Woo Cheol Lee, Junho Jeong, Chae Yeong Lee, Hyunjoon Cho, Man Hwan Oh, Je Chul Lee, Jee‐Young Lee, Yangmee Kim   +7 more
wiley   +1 more source

Engineering management : operational design co-ordination [PDF]

, 2004
Effective engineering management is acknowledged as being fundamental to the successful operation of organizations. While traditional and contemporary approaches to operational engineering management are of great significance, there remains a need to ...
Whitfield, Ian, Coates, Graham, Hills, William, Duffy, Alex H. B.   +3 more
core   +3 more sources

A Framework to Define Operational Design Domains for Automated Train Operations

IEEE Access
The rail system represents a sustainable and climate-friendly mode of transportation, with significant potential for future mobility. To enhance its efficiency and competitiveness in comparison with other mobility systems, it is essential to prioritize ...
Lucas Greiner-Fuchs, Martin Cichon
doaj   +1 more source

ABL kinase‐dependent phosphorylation of SH proteins promotes their direct interaction with CRK family SH2 domains

FEBS Letters, EarlyView.
CT10 regulator of kinase (CRK) and CRK‐Like (CRKL) are signaling adaptors driving cell adhesion, motility, differentiation, and proliferation. SH2‐domain containing (SH) proteins are enriched in YXXP motifs which when phosphorylated create preferred binding sites for CRK family SH2 domains.
Phoebe M. Cousens, Brendan W. Chandler, Anna M. Schmoker, Jaye L. Weinert, Charlotte A. Kearns, Warren T. Yacawych, Amila Šemić, Alicia M. Ebert, Bryan A. Ballif   +8 more
wiley   +1 more source

Problem of Transferring Control to Driver in Highly Automated Vehicles: Method for Monitoring Perception of Semantically Binary Relevant Information by Driver

Механика машин, механизмов и материалов, 2019
A method of monitoring perception of semantically binary relevant information by a driver in highly automated vehicles is presented for the first time, taking into account information flows circulating in the vehicle’s on-board systems, the driver’s ...
Vladimir V. Savchenko
doaj  

Behavior-Semantic Scenery Description (BSSD) of Road Networks for Automated Driving

IEEE Access
The safety approval of Highly Automated Vehicles (HAV) still faces the automotive industry with economic and legal challenges. For verification and validation, it is essential to describe the intended behavior of an HAV in the development process in ...
Moritz Lippert, Felix Glatzki, Hermann Winner   +2 more
doaj   +1 more source

Reconstructing enzyme evolution by protein engineering

FEBS Letters, EarlyView.
Natural enzyme evolution can be retraced by protein engineering methods such as directed evolution, rational design, and ancestral sequence reconstruction. These approaches reveal how enzymes emerged from ligand‐binding scaffolds, developed varying substrate preferences, formed oligomeric complexes, adapted to environmental changes, and evolved novel ...
Lukas Drexler, Markus R. Busch, Reinhard Sterner   +2 more
wiley   +1 more source