Results 71 to 80 of about 1,235,898 (307)

Step-Indexed Normalization for a Language with General Recursion [PDF]

, 2012
The Trellys project has produced several designs for practical dependently typed languages. These languages are broken into two fragments-a_logical_fragment where every term normalizes and which is consistent when interpreted as a logic, and ...
Adam Chlipala, Adam Chlipala, Amal Ahmed, Amal Ahmed, Andrew K. Wright, Andrew W. Appel, Aquinas Hobor, Benjamin C. Pierce, Chris Casinghino, Garrin Kimmell, Hiroshi Nakano, James Chapman, Jean-Yves Girard, Karl Crary, Lars Birkedal, Limin Jia, Neelakantan Krishnaswami, Neelakantan Krishnaswami, Nils Anders Danielsson, Nils Anders Danielsson, Paul Blain Levy, Robert Dockins, Robert L. Constable, Stephanie Weirich, The Coq Development Team, The Coq Development Team, Thierry Coquand, Tom Murphy, VII, Tom Murphy, VII, Ulf Norell, Venanzio Capretta, Vilhelm Sjöberg, William W. Tait   +32 more
core   +6 more sources

Predicting the Future Burden of Renal Replacement Therapy in Türkiye Using National Registry Data and Comparative Modeling Approaches

Therapeutic Apheresis and Dialysis, EarlyView.
ABSTRACT Background Chronic kidney disease is a growing public health problem worldwide, and the number of patients requiring renal replacement therapy is steadily increasing. Türkiye has experienced a similar rise in both the incidence and prevalence of renal replacement therapy over the past decades; however, national‐level projections of future ...
Arzu Akgül, Neriman Sıla Koç, Berrak Itır Aylı   +2 more
wiley   +1 more source

Identifying supply chain strategies of firms with best supply chain performance [PDF]

, 2010
Thesis (S.M. in System Design and Management)--Massachusetts Institute of Technology, Engineering Systems Division, System Design and Management Program, 2010.Cataloged from PDF version of thesis.Includes bibliographical references.The Global Business ...
Gulati, Nitin, Sharma, Amar
core  

An Empirical Analysis to Assess the Operational Design Domain of Lane Keeping System Equipped Vehicles Combining Objective and Subjective Risk Measures

IEEE transactions on intelligent transportation systems (Print), 2020
Lower levels of automation are designed to work in specific conditions referred to as the Operational Design Domain (ODD). Beyond these conditions, the human driver is expected to take control. A mismatch between a driver’s understanding and expectations
Haneen Farah, Shubham Bhusari, P. van Gent, Freddy Antony Mullakkal Babu, P. Morsink, R. Happee, B. van Arem   +6 more
semanticscholar   +1 more source

Mapping the evolution of mitochondrial complex I through structural variation

FEBS Letters, EarlyView.
Respiratory complex I (CI) is crucial for bioenergetic metabolism in many prokaryotes and eukaryotes. It is composed of a conserved set of core subunits and additional accessory subunits that vary depending on the organism. Here, we categorize CI subunits from available structures to map the evolution of CI across eukaryotes. Respiratory complex I (CI)
Dong‐Woo Shin, Tingting Chen, James A. Letts   +2 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  

Control design toolbox for large scale variable speed pitch regulated wind turbines [PDF]

, 2007
The trend towards large multi-MW wind turbineshas given new impetus to the development of wind turbine controllers.Additional objectives are being placed on the controllermaking the specification of the control system more complex.
Dominguez, S., Leithead, W.E.
core  

Organoids in pediatric cancer research

FEBS Letters, EarlyView.
Organoid technology has revolutionized cancer research, yet its application in pediatric oncology remains limited. Recent advances have enabled the development of pediatric tumor organoids, offering new insights into disease biology, treatment response, and interactions with the tumor microenvironment.
Carla Ríos Arceo, Jarno Drost
wiley   +1 more source

Multi-Modal Cross-Attention-Based Multi-Label Weather and Severity Level Classification

IEEE Access
Ensuring traffic safety in autonomous vehicles requires accurate weather and severity recognition, especially when operating within a defined ODD. However, most existing studies and datasets focus on single-label weather recognition and largely overlook ...
Hyeongjin Ju, Yagiz Nalcakan, Incheol Park, Youngwan Jin, Sanghyeop Yeo, Shiho Kim   +5 more
doaj   +1 more source

Reciprocal control of viral infection and phosphoinositide dynamics

FEBS Letters, EarlyView.
Phosphoinositides, although scarce, regulate key cellular processes, including membrane dynamics and signaling. Viruses exploit these lipids to support their entry, replication, assembly, and egress. The central role of phosphoinositides in infection highlights phosphoinositide metabolism as a promising antiviral target.
Marie Déborah Bancilhon, Bruno Mesmin
wiley   +1 more source