Results 141 to 150 of about 934,075 (313)

Context-free grammars, differential operators and formal power series

, 1993
In this paper, we introduce the concepts of a formal function over an alphabet and a formal derivative based on a set of substitution rules. We call such a set of rules a context-free grammar because these rules act like a context-free grammar in the ...
Chen, William Y.C.
core   +1 more source

Clinical Outcomes of SEEG‐Guided Radiofrequency Thermocoagulation in Children With Focal Drug‐Resistant Epilepsy: A Multicenter Real‐World Study

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Objective Stereoelectroencephalography‐guided radiofrequency thermocoagulation (SEEG‐RFTC) has emerged as a safe and effective minimally invasive treatment for children with drug‐resistant focal epilepsy. Although evidence from real‐world studies remains limited, numerous pediatric cases have demonstrated promising outcomes. This retrospective
Weitao Chen, Stéphane Jean, Weihong Liu, Yihai Dai, Xinrong Fang, Xiaoqiang Wei, Shan Chen, Shiwei Song   +7 more
wiley   +1 more source

Constructing a Safety Case for Automatically Generated Code from Formal Program Verification Information

Formal methods can in principle provide the highest levels of assurance of code safety by providing formal proofs as explicit evidence for the assurance claims.
Fischer, Bernd, Basir, Nurlida, Denney, Ewen   +2 more
core  

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

A Formal Context for Closures of Acyclic Hypergraphs

, 2019
Database constraints in the relational database model (RDBM) can be viewed as a set of rules that apply to a dataset, or as a set of axioms that can generate a (closed) set of those constraints. In this paper, we use Formal Concept Analysis to characterize the axioms of Acyclic Hypergraphs (in the RDBM they are called Acyclic Join Dependencies).
openaire   +3 more sources

Interpreting the neural code with formal concept analysis

, 2012
This contribution is in volume 1 of 3 for this title.We propose a novel application of Formal Concept Analysis (FCA) to neural decoding: instead of just trying to figure out which stimulus was presented, we demonstrate how to explore the semantic ...
Endres, D, Foldiak, Peter
core  

Towards Equivalence Checking Between TLM and RTL Models

, 2007
The always increasing complexity of digital system is overcome in design flows based on transaction level modeling (TLM) by designing and verifying the system at different abstraction levels.
Nicola Bombieri, Joao Marques-Silva, Pravadelli, Graziano, Franco Fummi, Marques-Silva, Joao, J. P. Marques Silva, Bombieri, Nicola, Fummi, Franco, Graziano Pravadelli   +8 more
core   +1 more source

Ofatumumab in Myelin Oligodendrocyte Glycoprotein Antibody–Associated Disease: A Comparison With Rituximab

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Objective To evaluate the efficacy and safety of ofatumumab in patients with myelin oligodendrocyte glycoprotein antibody–associated disease (MOGAD), and compare it with rituximab. Methods We conducted a single–center, observational study including 22 MOGAD patients treated with ofatumumab and 21 treated with rituximab.
Yuxin Fan, Lei Zhou, Jingzi ZhangBao, Hongmei Tan, Zhouzhou Wang, Chao Quan   +5 more
wiley   +1 more source

Formal and relational contracts between organizations: proposal of a model for analysis of the transactional and governance structure characteristics of comparative cases

RAUSP: Revista de Administração da Universidade de São Paulo
The literature indicates that the use of formal and relational governance structures have a fundamental role in the conduct and maintenance of inter-organizational relationships. Nevertheless, there are possibilities for discussions about the composition
Luciana Cardoso Siqueira Ambrozini, Dante Pinheiro Martinelli   +1 more
doaj   +1 more source

On the context layer of Bangla pronouns

, 2022
This paper proposes an account of the formality agreement found in the Bangla pronounominal system, suggesting hierarchical values, rather than a binary one, for one of the formality determining features, (STATUS).
Roy, Yangchen
core