Results 41 to 50 of about 1,360,419 (300)

Smali+: an Operational Semantics for Low-level Code Generated from Reverse Engineering Android Applications+

open access: yesInformation, 2020
Today, Android accounts for more than 80% of the global market share. Such a high rate makes Android applications an important topic that raises serious questions about its security, privacy, misbehavior and correctness.
Marwa Ziadia   +3 more
doaj   +1 more source

A Formal Model of IEC 61499-Based Industrial Automation Architecture Supporting Time-Aware Computations

open access: yesIEEE Open Journal of the Industrial Electronics Society, 2021
This paper proposes a formal model for industrial cyber-physical systems (CPS) with distributed control based on IEC 61499 standard and supporting time-aware computations for better adaptation to the ever changing environment conditions. Main features of
Dmitrii Drozdov   +3 more
doaj   +1 more source

Elevated Connectivity During Language Processing Is Associated With Cognitive Performance in SeLECTS

open access: yesAnnals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Objective Self‐Limited Epilepsy with Centrotemporal Spikes (SeLECTS) is associated with language impairments despite seizures originating in the motor cortex, suggesting aberrant cross‐network interactions. Here we tested whether functional connectivity in SeLECTS during language tasks predicts language performance.
Wendy Qi   +8 more
wiley   +1 more source

Formal Semantics and Wittgenstein [PDF]

open access: yesMonist, 2013
This paper discusses a number of methodological issues with mainstream formal semantics and then investigates whether Wittgenstein's later work provides an alternative approach that is able to avoid these issues.
openaire   +2 more sources

Comparing the Effect of Semi‐Immersive Virtual Reality, Computerized Cognitive Training, and Traditional Rehabilitation on Cognitive Function in Multiple Sclerosis: A Randomized Clinical Trial

open access: yesAnnals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Background Cognitive impairment is a common non‐motor symptom in Multiple Sclerosis (MS), negatively affecting autonomy and Quality of Life (QoL). Innovative rehabilitation strategies, such as semi‐immersive virtual reality (VR) and computerized cognitive training (CCT), may offer advantages over traditional cognitive rehabilitation (TCR ...
Maria Grazia Maggio   +8 more
wiley   +1 more source

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

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

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

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

Mind Your Outcomes: The ΔQSD Paradigm for Quality-Centric Systems Development and Its Application to a Blockchain Case Study

open access: yesComputers, 2022
This paper directly addresses a long-standing issue that affects the development of many complex distributed software systems: how to establish quickly, cheaply, and reliably whether they can deliver their intended performance before expending ...
Seyed Hossein Haeri   +5 more
doaj   +1 more source

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

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

The Meaning Factory: Formal Semantics for Recognizing Textual Entailment and Determining Semantic Similarity

open access: yesInternational Workshop on Semantic Evaluation, 2014
Shared Task 1 of SemEval-2014 comprised two subtasks on the same dataset of sentence pairs: recognizing textual entailment and determining textual similarity.
Johannes Bjerva   +3 more
semanticscholar   +1 more source

Home - About - Disclaimer - Privacy