Results 71 to 80 of about 284,160 (268)

Generalized Effective Reducibility

, 2016
We introduce two notions of effective reducibility for set-theoretical statements, based on computability with Ordinal Turing Machines (OTMs), one of which resembles Turing reducibility while the other is modelled after Weihrauch reducibility.
A Zarach, J Hamkins, P Koepke, RA Shore, T Jech, V Brattka, W Hodges   +6 more
core   +1 more source

Chiari I Malformation: Review and Update of Current Treatment Options

Clinical Anatomy, EarlyView.
ABSTRACT The pathophysiology of Chiari malformation type I (CM‐I) is complex, involving structural abnormalities at the craniovertebral junction that result in herniation of the cerebellar tonsils through the foramen magnum. In this study, we aim to present and evaluate current treatment options for CM‐I, with a focus on evidence‐based clinical ...
Jordan J. Lo, Shuhei Shiino, Stephen Z. Shapiro, Brianna L. Hines, Noritaka Komune, Carmine Antonio Donofrio, Filippo Badaloni, Antonio Fioravanti, Joseph Lockwood, C. J. Bui, Aaron S. Dumont, R. Shane Tubbs   +11 more
wiley   +1 more source

Decision Problems For Turing Machines [PDF]

, 2009
We answer two questions posed by Castro and Cucker, giving the exact complexities of two decision problems about cardinalities of omega-languages of Turing machines.
Dominique Lecomte, Equipe De Logique Mathématique, Olivier Finkel   +2 more
core   +3 more sources

Evaluation of the standard battery of in vitro genotoxicity tests to predict in vivo genotoxicity through mathematical modeling: A report from the 8th International Workshop on Genotoxicity Testing

Environmental and Molecular Mutagenesis, EarlyView.
Abstract In human health risk assessment of chemicals and pharmaceuticals, identification of genotoxicity hazard usually starts with a standard battery of in vitro genotoxicity tests, which is needed to cover all genotoxicity endpoints. The individual tests included in the battery are not designed to pick up all endpoints.
Mirjam Luijten, Jan van Benthem, Takeshi Morita, Raffaella Corvi, Patricia A. Escobar, Yurika Fujita, Jennifer Hemmerich, Naveed Honarvar, David Kirkland, Naoki Koyama, David P. Lovell, Miriam Mathea, Andrew Williams, Stephen Dertinger, Stefan Pfuhler, Jeroen L. A. Pennings   +15 more
wiley   +1 more source

Quantum chaos in quantum Turing machines

, 1999
We investigate a 2-spin quantum Turing architecture, in which discrete local rotations \alpha_m of the Turing head spin alternate with quantum controlled NOT-operations.
Avishai, Benioff, Benioff, Benioff, Benioff, Benioff, Berry, Berry, Berry, Blümel, Bovier, Deutsch, Deutsch, Feynman, Gardiner, Gardiner, Günter Mahler, Hübner, Hübner, Ilki Kim, Kim, Maciá, Schack, Schack, Shepelyansky, Steane, Waintal, Waintal   +27 more
core   +3 more sources

Pattern Formation Mechanisms of Spatiotemporally Discrete Activator–Inhibitor Model with Self- and Cross-Diffusions

Fractal and Fractional
In this paper, we aim to solve the issue of pattern formation mechanisms in a spatiotemporally discrete activator–inhibitor model that incorporates self- and cross-diffusions.
You Li, Ying Sun, Jingyu Luo, Jiayi Pang, Bingjie Liu   +4 more
doaj   +1 more source

Do Institutions Make Street‐Level Bureaucrats Prosocial? Agent‐Based Evidence Shows That New Public Management Does Not

European Policy Analysis, EarlyView.
ABSTRACT Does street‐level bureaucrats' (SLBs) willingness to sacrifice their own self‐interests to meet the needs of their clients vary depending on their contexts? To date, it has been very challenging to empirically examine how SLBs who have different orientations toward social values might act in different institutional and administrative contexts.
Nissim Cohen, Teddy Lazebnik
wiley   +1 more source

Development and assessment of a machine learning tool for predicting emergency admission in Scotland

npj Digital Medicine
Emergency admissions (EA), where a patient requires urgent in-hospital care, are a major challenge for healthcare systems. The development of risk prediction models can partly alleviate this problem by supporting primary care interventions and public ...
James Liley, Gergo Bohner, Samuel R. Emerson, Bilal A. Mateen, Katie Borland, David Carr, Scott Heald, Samuel D. Oduro, Jill Ireland, Keith Moffat, Rachel Porteous, Stephen Riddell, Simon Rogers, Ioanna Thoma, Nathan Cunningham, Chris Holmes, Katrina Payne, Sebastian J. Vollmer, Catalina A. Vallejos, Louis J. M. Aslett   +19 more
doaj   +1 more source

Artificial intelligence as a tool to study the 3D skeletal architec-ture in newly settled coral recruits: insights into the effects of Ocean Acidification on coral biomineralization [PDF]

, 2022
Federica Scucchia, Katrein Sauer, Paul Zaslansky, Tali Mass   +3 more
openalex   +1 more source

Work Has Changed, Has HRM? Designing for the Distributed, Fragmented, and Fluid Era

Human Resource Management, EarlyView.
ABSTRACT This paper addresses the growing misalignment between traditional human resource management (HRM) systems and the realities of distributed, fluid, and fragmented work. To address this issue, we introduce the FLUID‐HRM framework—a layered design architecture that reconfigures core HRM domains (resourcing, rewards, development, relations, work ...
Černe Matej, Lamovšek Amadeja
wiley   +1 more source