Results 101 to 110 of about 1,176,202 (301)

On phase semantics and denotational semantics: the exponentials

Annals of Pure and Applied Logic, 2001
An indexed version of propositional linear logic with exponentials is defined together with a sequent calculus for this system. To a formula \(A\) of indexed linear logic are associated: an underlying formula \(\underline{A}\) of linear logic, an interpretation \(|\underline{A}|\) of this formula in the category of sets and relations, and a family ...
Ehrhard, Thomas, Bucciarelli, Antonio
openaire   +2 more sources

Multimodal Human–Robot Interaction Using Human Pose Estimation and Local Large Language Models

Advanced Robotics Research, EarlyView.
A multimodal human–robot interaction framework integrates human pose estimation (HPE) and a large language model (LLM) for gesture‐ and voice‐based robot control. Speech‐to‐text (STT) enables voice command interpretation, while a safety‐aware arbitration mechanism prioritizes gesture input for rapid intervention.
Nasiru Aboki, Ilche Georgievski, Marco Aiello   +2 more
wiley   +1 more source

High‐Fidelity Synthetic Data Replicates Clinical Prediction Performance in a Million‐Patient Diabetes Cohort

Advanced Science, EarlyView.
This study generates high‐fidelity synthetic longitudinal records for a million‐patient diabetes cohort, successfully replicating clinical predictive performance. However, deeper analysis reveals algorithmic biases and trajectory inconsistencies that escape standard quality metrics. These findings challenge current validation norms, demonstrating why a
Francisco Ortuño, Víctor M. de la Oliva Roque, Javier‐Ignacio Ramirez‐Lopez, David P. Kreil, Joaquín Dopazo, Carlos Loucera   +5 more
wiley   +1 more source

SKOOTS: Skeleton‐Oriented Object Segmentation for Mitochondria in High‐Resolution Cochlear EM Datasets

Advanced Science, EarlyView.
Skeleton‐oriented object segmentation (SKOOTS) introduces a new strategy for 3D mitochondrial instance segmentation by predicting explicit skeletons rather than relying on boundary cues. This approach enables robust analysis of densely packed organelles in large FIB‐SEM datasets.
Christopher J. Buswinka, Richard T. Osgood, Hidetomi Nitta, Artur A. Indzhykulian   +3 more
wiley   +1 more source

MeSH2Matrix: combining MeSH keywords and machine learning for biomedical relation classification based on PubMed

Journal of Biomedical Semantics
Biomedical relation classification has been significantly improved by the application of advanced machine learning techniques on the raw texts of scholarly publications.
Houcemeddine Turki, Bonaventure F. P. Dossou, Chris Chinenye Emezue, Abraham Toluwase Owodunni, Mohamed Ali Hadj Taieb, Mohamed Ben Aouicha, Hanen Ben Hassen, Afif Masmoudi   +7 more
doaj   +1 more source

Cognitive Trajectories from Preclinical Alzheimer's Disease to Dementia

Advanced Science, EarlyView.
A continuous, multi‐domain characterization of cognitive decline across the Alzheimer's disease spectrum identifies when individual cognitive measures become abnormal. Episodic memory declines first, followed by executive function, language, processing speed, and visuospatial abilities, supporting improved clinical interpretation and optimized endpoint
Fredrik Öhman, Lars Lau Raket, Michael Schöll, for the Alzheimer's Disease Neuroimaging Initiative†   +3 more
wiley   +1 more source

Impact of Co-Occurrences of Code Smells and Design Patterns on Internal Code Quality Attributes

IET Software
The structural features of a code section that may indicate a more serious issue with the design of a system or code are known as code smells. Design patterns, on the other hand, are meant to describe the best reusable solution for creating object ...
Sania Imran, Irum Inayat, Maya Daneva
doaj   +1 more source

Semantics Through Pictures: towards a diagrammatic semantics for object-oriented modelling notations [PDF]

, 1997
An object-oriented (OO) model has a static component, the set of allowable snapshots or system states, and a dynamic component, the set of filmstrips or sequences of snapshots.
Civello, Franco, Hamie, Ali, Howse, John, Kent, Stuart, Mitchell, Richard   +4 more
core   +1 more source

Design of Safe and Efficient Adenine Base Editors via Protein Language Model Screening for Osteoarthritis Treatment

Advanced Science, EarlyView.
ABSTRACT Base editors enable precise genome modification and have emerged as a promising therapeutic approach for correcting diseases caused by single‐nucleotide variants. While the current efficient version of adenine base editors (ABEs), such as ABE8e, exhibits exceptional efficiency for A‐to‐G conversions, their clinical translation is hindered by ...
Jiawei Yao, Dalin Chen, Ziyi Zhang, Jingxuan Ren, Chengcheng Zhao, Shengfang Wang, Mengyu Shang, Dawei Jiang, Yinuo Li, Su'an Tang, Kai Li, Xiaohui Zhang, Xiaogang Wang   +12 more
wiley   +1 more source

Disruption of structural connectome hierarchy in age-related hearing loss

Frontiers in Neuroscience
IntroductionAge-related hearing loss (ARHL) is a common sensory disability among older adults and is considered a risk factor for the development of dementia.
Yi Zhen, Yi Zhen, Hongwei Zheng, Yi Zheng, Yi Zheng, Zhiming Zheng, Zhiming Zheng, Zhiming Zheng, Zhiming Zheng, Zhiming Zheng, Zhiming Zheng, Zhiming Zheng, Yaqian Yang, Yaqian Yang, Shaoting Tang, Shaoting Tang, Shaoting Tang, Shaoting Tang, Shaoting Tang, Shaoting Tang, Shaoting Tang   +20 more
doaj   +1 more source