Results 21 to 30 of about 2,124,931 (265)
Stylistic Register as a Key Aspect in Translating Arabic Formal Documents into English. [PDF]
Transcultural Journal of Humanities and Social SciencesThe distinction between formal and informal language is central to professional communication and translation studies. Formal language is the language that we often use in official reports or documents, while informal language is the one we use in our ...
Iman Mukhtar
doaj +1 more source
Formalization of Quasilattices
Formalized Mathematics, 2020 Summary The main aim of this article is to introduce formally one of the generalizations of lattices, namely quasilattices, which can be obtained from the axiomatization of the former class by certain weakening of ordinary absorption laws.
Kulesza, Dominik, Grabowski, Adam
openaire +3 more sources
Formal Languages, Formally and Coinductively
Logical Methods in Computer Science, 2017 Traditionally, formal languages are defined as sets of words. More recently, the alternative coalgebraic or coinductive representation as infinite tries, i.e., prefix trees branching over the alphabet, has been used to obtain compact and elegant proofs of classic results in language theory.
openaire +6 more sources
INFORMAL PROOF, FORMAL PROOF, FORMALISM [PDF]
The Review of Symbolic Logic, 2015 AbstractIncreases in the use of automated theorem-provers have renewed focus on the relationship between the informal proofs normally found in mathematical research and fully formalised derivations. Whereas some claim that any correct proof will be underwritten by a fully formal proof, sceptics demur.
openaire +1 more source
Jurnal PAJAR (Pendidikan dan Pengajaran)The results of the Learning Evaluation System (SIEPEL V.2) and monitoring of the Quality Control Group (GKM) of the Non-Formal Education Study Program show that the Youth Education (PNF-203) course in semester III of 2022-2023 still experiences ...
Sofino, Ririn Gusti, Bayu Pradikto
doaj +1 more source
A generic user interface for energy management in smart homes
Energy Informatics, 2018 Building operating systems play an important role in monitoring energy consumption of devices and improving energy efficiency in household buildings.
Huiwen Xu +3 more
doaj +1 more source
The formalization of Interpretability [PDF]
Studia Logica, 1991 The author discusses interpretability in weak theories without \(\Sigma_ 1\)-collection principle for details and gives a careful derivation of principles of Interpretability Logic valid in any extension of I\(\Delta_ 0+\Omega_ 1\). The case containing the \(\Sigma_ 1\)- collection principle is also discussed in relation with cut and with the ...
openaire +4 more sources
Pediatric Blood &Cancer, EarlyView.ABSTRACT Background Cerebellar ataxia after pediatric brain tumor treatment can cause persistent gait, balance, and speech impairment, yet no established rehabilitation strategy exists. Somato‐cognitive coordination therapy (SCCT) is a virtual reality–guided intervention designed to promote sensorimotor integration through visually constrained reaching
Masanobu Takeuchi +10 more
wiley +1 more source
Pediatric Blood &Cancer, EarlyView.ABSTRACT Background Type 1 plasminogen deficiency (PLGD‐1) is an ultra‐rare autosomal recessive disorder caused by variants in the PLG gene and affects approximately 1.6 individuals per million. The condition is characterized by decreased plasminogen levels and impaired function, resulting in fibrin‐rich lesions on mucous membranes throughout the body.
Charles Nakar +7 more
wiley +1 more source
The impact of external donors on NGO practice and policy-making [PDF]
Sociologija, 2016 Different views exist regarding the relationship between international aid donors and recipient organisations. International donors are either seen as essential actors for democratising societies or as external interventions that further advance
Webb Jonathan
doaj +1 more source