Results 21 to 30 of about 6,146 (173)

Discovery and Targeted Proteomic Studies Reveal Striatal Markers Validated for Huntington's Disease

open access: yesAnnals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Objective Clinical trials for Huntington's disease (HD) enrolling persons before clinical motor diagnosis (CMD) lack validated biomarkers. This study aimed to conduct an unbiased discovery analysis and a targeted examination of proteomic biomarkers scrutinized by clinical validation. Methods Cerebrospinal fluid was obtained from PREDICT‐HD and
Daniel Chelsky   +8 more
wiley   +1 more source

Cracking the Code: Genotype–Phenotype Correlation Models in Sarcoglycanopathies

open access: yesAnnals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Objective Sarcoglycanopathies are among the most severe limb‐girdle muscular dystrophies (LGMD), though milder presentations have been described. These diseases are primarily caused by missense variants, but the limited predictability of their effect on protein maturation, complex formation, and transport has hindered reliable genotype ...
Leonela Luce   +72 more
wiley   +1 more source

The Logic of the Method of Agent-Based Simulation in the Social Sciences: Empirical and Intentional Adequacy of Computer Programs [PDF]

open access: yes, 2005
The classical theory of computation does not represent an adequate model of reality for simulation in the social sciences. The aim of this paper is to construct a methodological perspective that is able to conciliate the formal and empirical logic of ...
Coleho, Helder   +2 more
core   +2 more sources

Influenza Vaccination Responses in Disabled Stroke Patients: A Single‐Center Prospective Observational Study

open access: yesAnnals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Objective This study aimed to investigate the immunological response to influenza vaccination, the incidence and severity of influenza infection, and the side effects of the vaccination in patients with ischemic stroke. Methods This prospective observational study was conducted between 2023 and 2024 at Ramathibodi Hospital.
Achiraya Pakngao   +5 more
wiley   +1 more source

Synthesizing Program Input Grammars

open access: yes, 2017
We present an algorithm for synthesizing a context-free grammar encoding the language of valid program inputs from a set of input examples and blackbox access to the program.
Albarghouthi A.   +14 more
core   +1 more source

Pharmacokinetics, Pharmacodynamics, and Safety of Subcutaneous Belimumab in Pediatric Patients With Systemic Lupus Erythematosus: A Multicenter, Open‐Label Trial

open access: yesArthritis Care &Research, EarlyView.
Objective This study aimed to characterize the pharmacokinetics, pharmacodynamics, safety, and exploratory efficacy of subcutaneous belimumab in pediatric patients with active systemic lupus erythematosus (SLE) receiving standard therapy. Methods This single‐arm, multicenter, open‐label trial (GSK study 200908; ClinicalTrials.gov identifier ...
Hermine I. Brunner   +14 more
wiley   +1 more source

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

open access: yesAdvanced 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   +5 more
wiley   +1 more source

Offline Specialisation in Prolog Using a Hand-Written Compiler Generator

open access: yes, 2004
The so called "cogen approach" to program specialisation, writing a compiler generator instead of a specialiser, has been used with considerable success in partial evaluation of both functional and imperative languages.
Bruynooghe, Maurice   +3 more
core   +1 more source

Additive Manufacturing of Continuous Fibre Reinforced Composites: Process, Characterisation, Modelling, and Sustainability

open access: yesAdvanced Engineering Materials, EarlyView.
Additive manufacturing provides precise control over the placement of continuous fibres within polymer matrices, enabling customised mechanical performance in composite components. This article explores processing strategies, mechanical testing, and modelling approaches for additive manufactured continuous fibre‐reinforced composites.
Cherian Thomas, Amir Hosein Sakhaei
wiley   +1 more source

Theorem proving support in programming language semantics [PDF]

open access: yes, 2007
We describe several views of the semantics of a simple programming language as formal documents in the calculus of inductive constructions that can be verified by the Coq proof system.
Bertot, Yves
core   +3 more sources

Home - About - Disclaimer - Privacy