Results 91 to 100 of about 4,286,438 (239)

Untimed Language Preservation in Timed Systems [PDF]

, 2011
Timed automata are a model that is extensively used in formal verification of real-time systems. However, their mathematical semantics is an idealization which assumes perfectly precise clocks, but does not correspond to real hardware. In fact, it is known that imprecisions, however small they may be, may yield extra behaviours.
openaire   +1 more source

Understanding and Mitigating the Risk of Accelerated Biological Aging in Survivors of Cancer: A Scoping Review

Aging and Cancer, EarlyView.
Cancer treatment is associated with measurable acceleration of biological aging across epigenetic, telomere, senescence, and immune biomarkers. However, biomarker validation and interventional strategies remain limited, especially in hematologic malignancies, underscoring the need for standardized multi‐omic aging assessments and adequately powered ...
Moataz Ellithi, Emily Herdman, Danielle Westmark, Vijaya R. Bhatt   +3 more
wiley   +1 more source

Poemas de la Pradera: Transnational Identity Development Through YPAR and AI-Assisted Mayan Language Preservation

Behavioral Sciences
This study examines how transnational Mayan youth in rural Nebraska preserved and developed their linguistic heritage through the Kematzib’ Project while maintaining digital connections to Guatemala.
Hector Palala Martinez, Edmund T. Hamann
doaj   +1 more source

2014-2015 Digital Preservation Community Survey

, 2015
The OPF (Open Preservation Foundation) conducted the 2014/2015 community survey between October 2014 and January 2015 and the results provide a detailed picture of the digital preservation landscape at that time.
Open Preservation Foundation
core   +1 more source

Ethical Foreground and Background in Adult Educator Work

New Directions for Adult and Continuing Education, EarlyView.
ABSTRACT Adult educators work in a complex ethical environment. The very act of contributing to the learning of another is fraught with moral overtones. In this paper we consider the ethical dimensions of adult educator practice by distinguishing the ethical features of the context or ‘background’ of practice from the ethical capabilities and decision ...
Steven Hodge, Sonal Nakar
wiley   +1 more source

Language embeddings that preserve staging and safety

CoRR, 2005
We study embeddings of programming languages into one another that preserve what reductions take place at compile-time, i.e., staging. A certain condition -- what we call a `Turing complete kernel' -- is sufficient for a language to be stage-universal in the sense that any language may be embedded in it while preserving staging.
openaire   +3 more sources

Predictive Ability of Plasma p‐tau217 for β‐Amyloid Status: A Prospective Multicenter Study

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Objective Plasma tau phosphorylated at threonine 217 (p‐tau217) measured with fully automated platforms has shown high accuracy for Alzheimer's disease (AD) diagnosis, but real‐world multicenter data remain limited. We aimed to validate the diagnostic performance of p‐tau217 for identifying AD pathology in a real‐world multicenter cohort ...
Miquel Massons, Nuria Guillen, Jordi Sarto, Neus Falgàs, Sergi Borrego‐Écija, Diana Esteller‐Gauxax, Magda Castellví, Adrià Tort‐Merino, Agnès Pérez‐Millan, Anna Antonell, Josep M. Augè Fradera, Gerard Piñol, Iolanda Riba, Anna Carnes‐Vendrell, Marta Cullell, Maria Teresa Osuna, Lorena Bajo, Teresa Romero, Eva Bonjoch, Joan Bello, Susana Fernández, Marta Balagué, Isabel Gómez‐Ruiz, Anuncia Boltes, Claustre Pont, Raquel Cuevas, Sara Carrillo, Laura Iglesias, Teresa Maria Casadevall Codina, Lorena Grau Guinea, Fernando Jose Espada, Raquel Sánchez‐Valle, Mircea Balasa, Albert Lladó   +33 more
wiley   +1 more source

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

Annals 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, Desiree Latella, Lilla Bonanno, Paulo Cezar Rocha dos Santos, Marcos Maldonado‐Díaz, Meir Plotnik, Rosaria De Luca, Angelo Quartarone, Rocco Salvatore Calabrò   +8 more
wiley   +1 more source

Lexical variation in the Lampung language, Indonesia

Cogent Arts & Humanities
In 1925, population transmigration from Java to Pringsewu, Lampung Province, Indonesia, through the Dutch East Indies Colonialization program, led to a diverse population in terms of language and culture.
Veria Septianingtias, Wahya, Tajudin Nur, Farida Ariyani   +3 more
doaj   +1 more source

Memory and Resting‐State Connectivity in Acute Transient Global Amnesia: A Case–Control fMRI Study

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Background and Objectives Transient global amnesia (TGA) is a striking model of isolated amnesia. While hippocampal lesions are well described, the network‐level mechanisms and the precise neuropsychological profile remain debated. Our objective was thus to characterize functional and neuropsychological correlates of acute TGA and their ...
Elias El Otmani, Emmanuel Barbeau, Béatrice Lemesle, Emilie Milongo‐Rigal, Sophie Fernandez, Sandrine Charpentier, Jean‐François Albucher, Nicolas Raposo, Fabrice Bonneville, Patrice Péran, Jérémie Pariente   +10 more
wiley   +1 more source