Results 51 to 60 of about 334,215 (267)

Confluence for classical logic through the distinction between values and computations [PDF]

Electronic Proceedings in Theoretical Computer Science, 2014
We apply an idea originated in the theory of programming languages - monadic meta-language with a distinction between values and computations - in the design of a calculus of cut-elimination for classical logic.
José Espírito Santo, Ralph Matthes, Koji Nakazawa, Luís Pinto   +3 more
doaj   +1 more source

Understanding foreign language writing anxiety and its correlates

Frontiers in Psychology, 2022
Despite the increasing number of empirical studies that investigated foreign language writing anxiety and its correlates, there is still a lack of quantitative meta-analytic attempt on the effect sizes among these studies.
Rui Li
doaj   +1 more source

Towards a Meta-Language for the Concurrency Concern in DSLs [PDF]

Design, Automation & Test in Europe Conference & Exhibition (DATE), 2015, 2015
Abstract—Concurrency is of primary interest in the development of complex software-intensive systems, as well as thedeployment on modern platforms. Furthermore, Domain-Specific Languages (DSLs) are increasingly used in industrial processes toseparate and abstract the various concerns of complex systems.However, reifying the definition of the DSL ...
Deantoni, Julien, Issa Diallo, Papa, Teodorov, Ciprian, Champeau, Joël, Combemale, Benoit   +4 more
openaire   +3 more sources

IV Thrombolysis Facilitates Interventional Reperfusion in Non‐Cardioembolic but Not Cardioembolic Stroke

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Objective Intravenous thrombolysis (IVT) before thrombectomy for ischemic stroke may alter clot structure and procedural performance. We investigated how IVT relates to thrombectomy metrics across stroke etiologies. Methods We performed a time‐to‐event analysis of consecutive patients with anterior circulation large vessel occlusion (acLVO ...
Annahita Sedghi, Daniel P. O. Kaiser, Martin Arndt, Norma J. Diel, Erik Simon, Witold H. Polanski, Volker Puetz, Hagen B. Huttner, Timo Siepmann   +8 more
wiley   +1 more source

Enabling Spatial Data Interoperability through the Use of a Semantic Meta-Model—The Peatland Example from the JRC SEPLA Project

Land
Numerous geographic data on peatland exist but definitions vary, and the correspondent classes are often neither harmonized nor interoperable. This hinders the efforts to employ the available national datasets on peatlands and wetlands for policy ...
Pavel Milenov, Aleksandra Sima, Emanuele Lugato, Wim Devos, Philippe Loudjani   +4 more
doaj   +1 more source

Effectiveness of rTMS on Working Memory and Inhibitory Impairments in Patients With Post‐Stroke Executive Deficits

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Objective Considerable efforts have been dedicated to developing effective treatments for post‐stroke executive impairment (PSEI), among which repetitive transcranial magnetic stimulation (rTMS) has shown great potential. This study aimed to investigate the therapeutic effects of high‐frequency rTMS on working memory (WM) and response ...
Mengting Lao, Rongwei Du, Zhujun Wang, Yang Gao, Meiling Cheng, Xianglong Wang, Wen Wu   +6 more
wiley   +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

Modularity in Meta-Languages

BRICS Report Series, 2000
A meta-language for semantics has a high degree of modularity<br />when descriptions of individual language constructs can be formulated independently using it, and do not require reformulation when new constructs are added to the described language.
openaire   +2 more sources

Melange: a meta-language for modular and reusable development of DSLs [PDF]

Proceedings of the 2015 ACM SIGPLAN International Conference on Software Language Engineering, 2015
Domain-Specific Languages (DSLs) are now developed for a wide variety of domains to address specific concerns in the development of complex systems. When engineering new DSLs, it is likely that previous efforts spent on the development of other languages could be leveraged, especially when their domains overlap. However, legacy DSLs may not fit exactly
Degueule, Thomas, Combemale, Benoit, Blouin, Arnaud, Barais, Olivier, Jézéquel, Jean-Marc   +4 more
openaire   +2 more sources

Problematic Internet Use in Frontotemporal Dementia: A Case Series

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT The present study investigated problematic internet use (PIU) among 61 patients with frontotemporal dementia (FTD) compared to a cohort of 354 patients with mild cognitive impairment (MCI) and Alzheimer's dementia. PIU was identified in 22.9% of FTD patients compared to only 0.8% of AD patients (p < 0.001). Behaviors included compulsive social
Daniele Urso, Giuseppe Volpe, Agnese Valguarnera, Davide Vilella, Alessandra Vitulli, Valentina Gnoni, Alessia Giugno, Eleonora Rollo, Mark D. Griffiths, Giancarlo Logroscino   +9 more
wiley   +1 more source