Results 51 to 60 of about 41,655,511 (287)

Cognitive and Neuroimaging Divergence Between Juvenile and Adult FUS Amyotrophic Lateral Sclerosis

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Objective Amyotrophic lateral sclerosis (ALS) is a neurodegenerative disorder characterized by progressive motor neuron degeneration. Fused in sarcoma (FUS)‐associated juvenile ALS (jALS) represents a distinct and aggressive subgroup with rapid deterioration and poor prognosis.
Alexandra V. Jürs, Marcel Naumann, Annaliis Lehto, Hanna Schön, Jens Kurth, Johannes Prudlo, Andreas Hermann, Elisabeth Kasper   +7 more
wiley   +1 more source

A Dynamic Pole Motion Approach for Control of Nonlinear Hybrid Soft Legs: A Preliminary Study

Machines, 2022
Hybrid soft leg systems have been studied for advanced gaits of soft robots. However, it is challenging to analyze and control hybrid soft legs due to their nonlinearity.
Ki-Young Song, Mahtab Behzadfar, Wen-Jun Zhang   +2 more
doaj   +1 more source

Stage‐Dependent β‐Synuclein Links MRI and Cognitive Decline in Alzheimer's Disease

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Objective Synaptic degeneration drives cognitive decline in Alzheimer's disease (AD), but synaptic biomarkers are scarce. Brain‐enriched β‐synuclein emerged as a synaptic damage marker. We investigated its diagnostic, prognostic, and structural correlates across the AD continuum.
Ulaş Ay, Merve Alaylioglu, Erdi Sahin, Sanem Sultan Yoruk Oner, Gulce Iskan, Gulce Cosku Yilmaz Cakan, Gozde Kizilates‐Evin, Emre Hari, Elif Kurt, Erdinc Dursun, Basar Bilgic, Hasmet Hanagasi, Hakan Gurvit, Tamer Demiralp, Duygu Gezen‐Ak, Bedia Samanci   +15 more
wiley   +1 more source

What Do Large Language Models Know About Materials?

Advanced Engineering Materials, EarlyView.
If large language models (LLMs) are to be used inside the material discovery and engineering process, they must be benchmarked for the accurateness of intrinsic material knowledge. The current work introduces 1) a reasoning process through the processing–structure–property–performance chain and 2) a tool for benchmarking knowledge of LLMs concerning ...
Adrian Ehrenhofer, Thomas Wallmersperger, Gianaurelio Cuniberti   +2 more
wiley   +1 more source

Functional Big-step Semantics [PDF]

, 2016
When doing an interactive proof about a piece of software, it is important that the underlying programming language’s semantics does not make the proof unnecessarily difficult or unwieldy.
Kumar, R.,, Magnus O. Myreen, Tan, Yong Kiam, Myreen, Magnus O., Owens, S., Kumar, Ramana, Owens, S.,, Myreen, Magnus,, Yong Kiam Tan, Myreen, Magnus, Ramana Kumar, Kumar, R., Owens, Scott, Scott Owens, Tan, Yong Kiam,   +14 more
core   +1 more source

Parameter Estimation in the Age of Degeneracy and Unidentifiability

Mathematics, 2022
Parameter estimation from observable or experimental data is a crucial stage in any modeling study. Identifiability refers to one’s ability to uniquely estimate the model parameters from the available data. Structural unidentifiability in dynamic models,
Dylan Lederman, Raghav Patel, Omar Itani, Horacio G. Rotstein   +3 more
doaj   +1 more source

On underspecified processing of dynamic semantics [PDF]

Proceedings of the 18th conference on Computational linguistics -, 2000
We propose a new inference system which operates on underspecified semantic representations of scope and anaphora. This system exploits anaphoric accessibility conditions from dynamic semantics to disambiguate scope ambiguities if possible. The main feature of the system is that it deals with underspecified descriptions directly, i. e.
Alexander Koller, Joachim Niehren
openaire   +2 more sources

Field Report from Collaborative Research Center 1625: Heterogeneous Research Data Management Using Ontology Representations

Advanced Engineering Materials, EarlyView.
A unified research data management framework for heterogeneous materials data is presented. The system integrates multimodal datasets using ontologies and knowledge graphs, enabling interoperability and FAIR (findable, accessible, interoperable, reusable) data principles. By linking data across scales and workflows, it supports reproducible, Artifitial
Doaa Mohamed, Samuel García Vázquez, Behnam Mardani, Victor Dudarev, Alfred Ludwig, Maribel Acosta, Markus Stricker   +6 more
wiley   +1 more source

Towards Defect Phase Diagrams: From Research Data Management to Automated Workflows

Advanced Engineering Materials, EarlyView.
A research data management infrastructure is presented for the systematic integration of heterogeneous experimental and simulation data required for defect phase diagrams. The approach combines openBIS with a companion application for large‐object storage, automated metadata extraction, provenance tracking and federated data access, thereby supporting ...
Khalil Rejiba, Sang‐Hyeok Lee, Christina Gasper, Martina Freund, Sandra Korte‐Kerzel, Ulrich Kerzel   +5 more
wiley   +1 more source

Programming Language Semantics using Miranda [PDF]

, 1995
This paper explains the use of the functional programming language Miranda as a vehicle for describing the semantics of imperative programming languages.
Simon Thompson, Thompson, Simon
core