Results 91 to 100 of about 447,406 (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

Artificial Intelligence for Bone: Theory, Methods, and Applications

Advanced Intelligent Discovery, EarlyView.
Advances in artificial intelligence (AI) offer the potential to improve bone research. The current review explores the contributions of AI to pathological study, biomarker discovery, drug design, and clinical diagnosis and prognosis of bone diseases. We envision that AI‐driven methodologies will enable identifying novel targets for drugs discovery. The
Dongfeng Yuan, Haicang Zhang, Liping Tong, Di Chen   +3 more
wiley   +1 more source

Use of Diatomaceous Earth and Copper Oxide Wire Particles to Control Gastrointestinal Nematodes in Lambs [PDF]

, 2020
Anthelmintic resistance (AR) urges alternatives to control gastrointestinal nematodes (GIN). Copper oxide wire particles (COWP) are more efficacious when used with other dewormers and little is known on efficacy of diatomaceous earth (DE) to control ...
Jones, Olivia
core   +2 more sources

Local Governance in Bangladesh: Policy and Strategy Framework [PDF]

, 2016
The author argued that the absence of a local governance policy is a priority governance problem in Bangladesh, which affects effective implementation of decentralisation policies and programmes sporadically undertaken from time to time.
Ahmed, Tofail
core   +3 more sources

A Multimodal Intelligent System for Human Digital Twin Simulation with Continuous Kinematic Data Tracking, Biometric Prognosis, and Cognitive State Feedback in Industrial Environments

Advanced Intelligent Discovery, EarlyView.
This article implements a unified human digital twin framework that integrates cutting edge actuation, sensing, simulation, and bidirectional feedback capability. The approach includes integrating multimodal sensing, AI, and biomechanical simulation into one compact system.
Tajbeed Ahmed Chowdhury, Sebastian Gratz‐Kelly, Eric Wagner, Paul Motzki, Martina Lehser   +4 more
wiley   +1 more source

Numerical Study of Surface Flow for Ahmed Body in Crosswind Conditions

Automotive Experiences
This study investigates standard vehicles' flow behavior and drag during crosswind conditions by a numerical approach. The model is a half-scaled Ahmed body with a slant angle of 25°. Reynolds Average Navier-Stokes equations with turbulent model k-ω SST
Pham Van Duy, Le Dinh Anh, Dinh Cong Truong, Tran The Hung, Do Van Minh   +4 more
doaj   +1 more source

A Simple Passive Device for the Drag Reduction of an Ahmed Body

Journal of Applied Fluid Mechanics, 2021
In this paper, a simple passive device is proposed for drag reduction on the 35° Ahmed body. The device is a simple rectangular flap installed at the slant surface of the model to investigate the effect of slant volume, formed between the device and the ...
N. A. Siddiqui, M. A. Chaab
doaj  

Landslide susceptibility mapping using multi-criteria evaluation techniques in Chittagong Metropolitan Area, Bangladesh [PDF]

, 2015
Landslides are a common hazard in the highly urbanized hilly areas in Chittagong Metropolitan Area (CMA), Bangladesh. The main cause of the landslides is torrential rain in short period of time.
Ahmed, B
core  

Multivariable analysis of outcome predictors and adjustment of main outcome results to baseline data profile in randomized controlled trials: Safe Implementation of Thrombolysis in Stroke-MOnitoring STudy (SITS-MOST) [PDF]

, 2008
<p><b>Background and Purpose:</b> The Safe Implementation of Thrombolysis in Stroke-MOnitoring STudy (SITS-MOST) unadjusted results demonstrated that intravenous alteplase is well tolerated and that the effects were comparable with ...
Ahmed, Niaz, Aichner, Franz, Bluhmki, Erich, Davalos, Antoni, Eriksson, Niclas, Erilä, Terttu, Ford, Gary A, Grond, Martin, Hacke, Werner, Hennerici, Michael G, Kaste, Markku, Köhrmann, Martin, Larrue, Vincent, Lees, Kennedy R, Machnig, Thomas, Peeters, André, Roine, Risto O, Toni, Danilo, Vanhooren, Geert, Wahlgren, Nils   +19 more
core   +2 more sources

Machine Learning‐Augmented Loop‐Mediated Isothermal Amplification‐Enabled Point‐of‐Care for Mpox‐Specific Detection

Advanced Intelligent Systems, EarlyView.
A low‐cost, portable point‐of‐care platform for rapid Mpox detection using loop‐mediated isothermal amplification is reported. The device integrates fluorescence readout and mobile monitoring. A machine‐learning model analyzes temperature data and correlates thermal changes with DNA concentration, enabling sensitive and reliable molecular diagnosis in ...
Nazente Atceken, Ahmed Choukri Abdullah, Olgac Ozarslan, Ziya Yıldız, Savas Tasoglu   +4 more
wiley   +1 more source