Results 61 to 70 of about 1,881,310 (251)
NORMAL FORMS OF THE FORMAL DIFFERENTIAL EQUATIONS
Pesquimat, 2014 In this paper, we resolve the problem of finding a formal change of coordinates between formal vector field and another more simple (its «canonical form»}.
Renato Mario Benazic Tomé +1 more
doaj +1 more source
Isabelle/PIDE as Platform for Educational Tools [PDF]
Electronic Proceedings in Theoretical Computer Science, 2012 The Isabelle/PIDE platform addresses the question whether proof assistants of the LCF family are suitable as technological basis for educational tools.
Makarius Wenzel, Burkhart Wolff
doaj +1 more source
CoRR, 2014 This report describes three particular technological advances in formal proofs. The HOL Light proof assistant will be used to illustrate the design of a highly reliable system. Today, proof assistants can verify large bodies of advanced mathematics; and as an example, we turn to the formal proof in Coq of the Feit-Thompson Odd Order theorem in group ...
openaire +2 more sources
Elevated Connectivity During Language Processing Is Associated With Cognitive Performance in SeLECTS
Annals 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
Pythagoras, 2019 This qualitative case study examined similarities and differences between circle geometric proof development tasks set up in the Malawian Grade 11 mathematics textbook, and those that are set up and implemented by teachers in the classroom.
Lisnet Mwadzaangati
doaj +1 more source
Formal polytypic programs and proofs [PDF]
Journal of Functional Programming, 2010 Abstract The aim of our work is to be able to do fully formal, machine-verified proofs over Generic Haskell-style polytypic programs. In order to achieve this goal, we embed polytypic programming in the proof assistant Coq and provide an infrastructure for polytypic proofs ...
Wendy Verbruggen +2 more
openaire +4 more sources
Formal Proof of Dynamic Memory Isolation Based on MMU
Theoretical Aspects of Software Engineering, 2016 For security and safety reasons, it is essential to ensure memory isolation between processes. The memory manager is thus a critical part of the kernel of an operating system.
Narjes Jomaa +3 more
semanticscholar +1 more source
Annals of Clinical and Translational Neurology, EarlyView.ABSTRACT Chimeric antigen receptor (CAR) T‐cell therapy has been investigated in neurological diseases, encompassing both central nervous system malignancies and autoimmune disorders, thereby extending its application beyond hematological cancers.
Omar Alqaisi +5 more
wiley +1 more source
Students Thinking Process in Compiling Mathematical Proof with Semantics Strategy
Jurnal Pendidikan Sains, 2015 Proses Berpikir Mahasiswa dalam Menyusun Bukti Matematis dengan Strategi Semantik Abstract: This study is aimed to reveal the thinking process in proof construction performed by students with semantic strategy.
Abdussakir Abdussakir
doaj +1 more source
Arthritis Care &Research, EarlyView.Systemic sclerosis (SSc) is a rare autoimmune disease defined by immune dysregulation, vasculopathy, and progressive fibrosis of the skin and internal organs. Despite advances in care, major complications such as interstitial lung disease (ILD) and myocardial involvement remain the leading causes of morbidity and mortality.
Cristiana Sieiro Santos +2 more
wiley +1 more source