Results 91 to 100 of about 268,099 (291)

A study of systems implementation languages for the POCCNET system [PDF]

, 1976
The results are presented of a study of systems implementation languages for the Payload Operations Control Center Network (POCCNET). Criteria are developed for evaluating the languages, and fifteen existing languages are evaluated on the basis of these ...
Basili, V. R., Franklin, J. W.
core   +1 more source

Advancing Age Modulates Associations Between Cognitive Impairment and Brain Volumes in Early MS

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Introduction Cognitive impairment is common in multiple sclerosis (MS), but manifestations following the first demyelinating event are relatively unexplored. We investigated cross‐sectional associations between magnetic resonance imaging (MRI)–derived brain volumes and the presence of cognitive impairment outcomes five years after the first ...
Piriyankan Ananthavarathan, Marco Pitteri, Michael Foster, Sara Collorone, Sara Salama, Elisa Colato, Ferran Prados, Baris Kanber, Marios Yiannakas, Claudia A. M. Gandini Wheeler‐Kingshott, Indran Davagnanam, Frederik Barkhof, Declan Chard, Olga Ciccarelli, Ahmed Toosy   +14 more
wiley   +1 more source

MOGAD Is the Most Common Cause of Isolated Optic Neuritis in Children

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Objectives The study aimed to characterize the clinical features, etiologies, and outcomes of isolated, first‐time pediatric ON in the post‐MOG‐IgG era. Methods This was a single‐center retrospective cohort study at Texas Children's Hospital of patients diagnosed with first‐time ON between 2018–2024, with follow‐up data collected through 2025.
Chaitanya Aduru, Akansha Chandrasekar, Kyla Blasingame, Jonathan Rosen, Jesse M. Levine, Karla Salazar, Madhuri Chilakapati, Rod Foroozan, Victoria Hardwick, Jonathan M. Yarimi, Nikita Shukla, Timothy E. Lotze, Kristen S. Fisher, Alexander J. Sandweiss   +13 more
wiley   +1 more source

Size-Change Termination as a Contract

, 2019
Termination is an important but undecidable program property, which has led to a large body of work on static methods for conservatively predicting or enforcing termination.
Gilray, Thomas, Nguyen, Phuc C., Tobin-Hochstadt, Sam, Van Horn, David   +3 more
core   +1 more source

Artificial Intelligence in Systemic Sclerosis: Clinical applications, challenges, and future directions

Arthritis Care &Research, Accepted Article.
Systemic sclerosis (SSc) is a rare autoimmune disease defined by immune dysregulation, vasculopathy, and progressive fibrosis of the skin and internal organs. Despite advances in care, major complications such as interstitial lung disease (ILD) and myocardial involvement remain the leading causes of morbidity and mortality.
Cristiana Sieiro Santos, José Miguel Sequí‐Sabater, Diego Benavent   +2 more
wiley   +1 more source

Experimental Evaluation of 100Cr6 Steel Microindented Surfaces Under Lubricated Nonconformal Point Contacts

Advanced Engineering Materials, EarlyView.
The tribological behavior of 100Cr6 steel spheres textured via Vickers microindentation is evaluated under lubricated sliding by varying both dimple size and density. Fine and dense textures significantly reduce friction across all lubrication regimes, while large dimples increase it.
Farideh Davoodi, Pasquale Guglielmi, Gianfranco Palumbo, Giuseppe Carbone   +3 more
wiley   +1 more source

A Workflow to Accelerate Microstructure‐Sensitive Fatigue Life Predictions

Advanced Engineering Materials, EarlyView.
This study introduces a workflow to accelerate predictions of microstructure‐sensitive fatigue life. Results from frameworks with varying levels of simplification are benchmarked against published reference results. The analysis reveals a trade‐off between accuracy and model complexity, offering researchers a practical guide for selecting the optimal ...
Luca Loiodice, Krzysztof S. Stopka, Michael D. Sangid   +2 more
wiley   +1 more source

A Knowledge‐Based Approach for Understanding and Managing Additive Manufacturing Data

Advanced Engineering Materials, EarlyView.
Additive manufacturing processes generate a large amount of data. Effectively managing, understanding, and retrieving information from this data remains a major challenge. Therefore, we propose an ontology‐based approach to integrate heterogeneous data, enable semantic queries, and support decision‐making.
Mina Abd Nikooie Pour, Prithwish Tarafder, Anton Wiberg, Huanyu Li, Johan Moverare, Patrick Lambrix   +5 more
wiley   +1 more source

Towards the Formal Specification and Verification of Maple Programs

, 2012
In this paper, we present our ongoing work and initial results on the formal specification and verification of MiniMaple (a substantial subset of Maple with slight extensions) programs.
D.A. Schmidt, M. Barnett, M. Zhou, M.B. Monagan, T. Lambert, V. D’Silva   +5 more
core   +1 more source

NanoMOF‐Based Multilevel Anti‐Counterfeiting by a Combination of Visible and Invisible Photoluminescence and Conductivity

Advanced Functional Materials, EarlyView.
This study presents novel anti‐counterfeiting tags with multilevel security features that utilize additional disguise features. They combine luminescent nanosized Ln‐MOFs with conductive polymers to multifunctional mixed‐matrix membranes and powder composites. The materials exhibit visible/NIR emission and matrix‐based conductivity even as black bodies.
Moritz Maxeiner, Ruben Maile, Murat Cuvalli, Andreas Wolf, Ayisha Komal, Robert Oestreich, Christoph Janiak, Karl Mandel, Alexander Knebel, Klaus Müller‐Buschbaum   +9 more
wiley   +1 more source