Results 21 to 30 of about 1,018,965 (272)

Completeness of Flat Coalgebraic Fixpoint Logics

, 2010
Modal fixpoint logics traditionally play a central role in computer science, in particular in artificial intelligence and concurrency. The mu-calculus and its relatives are among the most expressive logics of this type.
Gastin, P., Laroussinie, F., Schröder, L., Venema, Y.   +3 more
core   +1 more source

A Scoping Review on Artificial Intelligence–Supported Interventions for Nonpharmacologic Management of Chronic Rheumatic Diseases

Arthritis Care &Research, EarlyView.
This review summarizes artificial intelligence (AI)‐supported nonpharmacological interventions for adults with chronic rheumatic diseases, detailing their components, purpose, and current evidence base. We searched Embase, PubMed, Cochrane, and Scopus databases for studies describing AI‐supported interventions for adults with chronic rheumatic diseases.
Nirali Shah, Alexis Castellanos, Yen Chen, John Piette, Amy Bucher, Susan Murphy   +5 more
wiley   +1 more source

Proof equivalence in MLL is PSPACE-complete [PDF]

, 2016
MLL proof equivalence is the problem of deciding whether two proofs in multiplicative linear logic are related by a series of inference permutations. It is also known as the word problem for star-autonomous categories. Previous work has shown the problem
Heijltjes, Willem, Houston, Robin
core   +1 more source

Validation of the Pediatric Arthritis Ultrasound Scoring System for the Elbow, Wrist, and Finger Joints in Children with Juvenile Idiopathic Arthritis

Arthritis Care &Research, Accepted Article.
Objective We aimed to validate the Pediatric Arthritis Ultrasound Scoring System (PAUSS) for upper extremity joints in children with juvenile idiopathic arthritis (JIA). Methods Children with JIA were evaluated for elbow, wrist, or finger arthritis by clinical examination (CE) and musculoskeletal ultrasound (MSUS) with images scored according to the ...
Patricia Vega‐Fernandez, Pinar Ozge Avar‐Aydin, Kelly Rogers, Daniel J. Lovell, Jennifer Huggins, Alexei Grom, Hermine I. Brunner, Grant S. Schulert, Sheila T. Angeles‐Han, Mekibib Altaye, Amy Cassedy, Arthur B. Meyers, Tracy V. Ting   +12 more
wiley   +1 more source

Bisimulation, Logic and Reachability Analysis for Markovian Systems [PDF]

, 2008
In the recent years, there have been a large amount of investigations on safety verification of uncertain continuous systems. In engineering and applied mathematics, this verification is called stochastic reachability analysis, while in computer science ...
Bujorianu, L.M., Bujorianu, M.C.
core   +2 more sources

The Ackermann Award 2016 [PDF]

, 2016
The Ackermann Award is the EACSL Outstanding Dissertation Award for Logic in Computer Science. It is presented during the annual conference of the EACSL (CSL\u27xx).
Coquand, Thierry, Dawar, Anuj
core   +1 more source

Engineering the Link: From Genome Interaction Maps to Functional Insight

Advanced Biology, EarlyView.
Advances in chromosome conformation capture have revealed the genome's 3D organization, yet its causal impact on gene regulation remains elusive. This review highlights emerging genome‐engineering tools ‐ zinc fingers, TALEs, and CRISPR‐Cas9 ‐ that enable targeted manipulation of chromatin loops to dissect structure–function relationships. It discusses
Frido Petersen, Simon Westermann, Valeriia Smialkovska, Jan Mathony, Angelika Feldmann, Dominik Niopek   +5 more
wiley   +1 more source

NFDI MatWerk Ontology (MWO): A BFO‐Compliant Ontology for Research Data Management in Materials Science and Engineering

Advanced Engineering Materials, EarlyView.
This article presents the NFDI‐MatWerk Ontology (MWO), a Basic Formal Ontology‐based framework for interoperable research data management in materials science and engineering (MSE). Covering consortium structures, research data management resources, services, and instruments, MWO enables semantic integration, Findable, Accessible, Interoperable, and ...
Hossein Beygi Nasrabadi, Ebrahim Norouzi, Kostiantyn Hubaiev, Jörg Waitelonis, Harald Sack   +4 more
wiley   +1 more source

Synchrotron Radiation for Quantum Technology

Advanced Functional Materials, EarlyView.
Materials and interfaces underpin quantum technologies, with synchrotron and FEL methods key to understanding and optimizing them. Advances span superconducting and semiconducting qubits, 2D materials, and topological systems, where strain, defects, and interfaces govern performance.
Oliver Rader, Sakura Pascarelli, Klaus Attenkofer, Anna A. Makarova, Karsten Holldack, Kai Rossnagel, Kristiaan Temst, George Kourousias, Stefano Carretta, Caterina Biscari, Helmut Dosch   +10 more
wiley   +1 more source

All‐in‐One Analog AI Hardware: On‐Chip Training and Inference with Conductive‐Metal‐Oxide/HfOx ReRAM Devices

Advanced Functional Materials, EarlyView.
An all‐in‐one analog AI accelerator is presented, enabling on‐chip training, weight retention, and long‐term inference acceleration. It leverages a BEOL‐integrated CMO/HfOx ReRAM array with low‐voltage operation (<1.5 V), multi‐bit capability over 32 states, low programming noise (10 nS), and near‐ideal weight transfer.
Donato Francesco Falcone, Victoria Clerico, Wooseok Choi, Tommaso Stecconi, Folkert Horst, Laura Bégon‐Lours, Matteo Galetta, Antonio La Porta, Nikhil Garg, Fabien Alibart, Bert Jan Offrein, Valeria Bragaglia   +11 more
wiley   +1 more source