Results 21 to 30 of about 73,884 (294)

Refunctionalization. First-Person Plural of the Verb Haber in the History of Spanish

Languages, 2019
In this paper, the first-person plural diachronic behaviour of the verb form habemos with an existential value is analysed to explore its recovery in current Spanish as a case of refunctionalization.
Axel Hernández Díaz
doaj   +1 more source

On choice rules in dependent type theory [PDF]

, 2017
In a dependent type theory satisfying the propositions as types correspondence together with the proofs-as-programs paradigm, the validity of the unique choice rule or even more of the choice rule says that the extraction of a computable witness from an ...
Maietti, MARIA EMILIA
core   +1 more source

Relational $\star$-Liftings for Differential Privacy [PDF]

Logical Methods in Computer Science, 2019
Recent developments in formal verification have identified approximate liftings (also known as approximate couplings) as a clean, compositional abstraction for proving differential privacy. This construction can be defined in two styles.
Gilles Barthe, Thomas Espitau, Justin Hsu, Tetsuya Sato, Pierre-Yves Strub   +4 more
doaj   +1 more source

Intercultural constructions of the New Testament: Epistemological foundations

HTS Teologiese Studies/Theological Studies, 2021
The present study discusses epistemological foundations of intercultural constructions of the New Testament in Africa. Before embarking on this discussion, it documents the history and procedures of this interpretive tool.
Jean-Claude Loba-Mkole
doaj   +1 more source

The copula and existential verbs in Qiang [PDF]

, 2010
This paper discusses the copula and existential verb constructions in Qiang, a Tibeto-Burman language of northern Sichuan ...
Huang, Chenglong, LaPolla, Randy J.
core  

Prog imperfective drift in ancient Greek? Reconsidering eimi 'be' with present participle [PDF]

, 2013
In this paper, I reconsider the diachrony of the Ancient Greek periphrastic construction of eimi 'be' with present participle by means of Bertinetto’s recently proposed model for the development of progressive grams (a process called ‘PROG imperfective ...
Adrados, Aerts, Alexander, Amenta, Bailey, Barbelenet, Beekes, Behrens, Bentein, Bentein, Bentein, Benveniste, Bertinetto, Bertinetto, Bertinetto, Bertinetto, Bertinetto, Bertinetto, Björck, Brinton, Brugmann, Bybee, Bybee, Castelnovo, Ceglia, Chantraine, Clark, Comrie, Coseriu, Coseriu, Croft, Croft, Cutrer, Dahl, De Smet, Declerck, Dietrich, Dietrich, Dietrich, Dik, Dik, Dover, Ebert, Fanning, Fischer, Fleischman, Fleischman, Freeze, Giacalone Ramat, Givón, Gonda, Grimes, Guiraud, Hagège, Haspelmath, Haspelmath, Heine, Hopper, Huddleston, Jannaris, Johanson, Jones, Kahn, Killie, Kirk, Kühner, Lambrecht, Langacker, Lanérès, Lasso de la Vega, Leech, Lehmann, Lesher, Liddell, Longacre, Lyons, Lyons, Marchello-Nizia, Matič, Metslang, Michaelis, Michaelis, Mufwene, Nickel, Oldsjö, Payne, Pollak, Polzenhagen, Porter, Pusch, Rijksbaron, Rosenkranz, Rosén, Rosén, Rosén, Ruijgh, Rydbeck, Sihler, Stassen, Tichy, Vendler, Viti, Wackernagel, Wheeler, Wifstrand, Ziegeler   +105 more
core   +2 more sources

Personalized Selumetinib Dosing in Pediatric Neurofibromatosis Type 1: Insights From a Pilot Therapeutic Drug Monitoring Study

Pediatric Blood &Cancer, EarlyView.
ABSTRACT Objective To evaluate selumetinib exposure using therapeutic drug monitoring (TDM) in pediatric patients with neurofibromatosis type 1 (NF1) and plexiform neurofibromas (PN), assess interpatient pharmacokinetic variability, and explore the relationship between drug exposure, clinical response, and adverse effects.
Janka Kovács, Zoltán Köllő, Balázs Gellért Karvaly, Mahmoud Obeidat, Rita Nagy, Péter Hegyi, Brigitta Teutsch, Eszter Tuboly, Miklós Garami   +8 more
wiley   +1 more source

Two new gestures. On Peirce's continuum and the existential graphs

Lebenswelt: Aesthetics and Philosophy of Experience, 2019
The article presents two gestures corresponding to two profound new understandings of Peirce's Continuum (Vargas 2015) and Peirce's Existential Graphs (Oostra 2010).
Fernando Zalamea
doaj   +1 more source

Phasage: a phase based account of English existential constructions [PDF]

, 2011
English existentials have received much attention in the generative literature as they exhibit certain properties that are difficult to capture under standard theoretical assumptions. The aim of this paper is to provide, in one fell swoop, an account
Harwood, William
core  

Quotient completion for the foundation of constructive mathematics [PDF]

, 2013
We apply some tools developed in categorical logic to give an abstract description of constructions used to formalize constructive mathematics in foundations based on intensional type theory.
Maietti, Maria Emilia, Rosolini, Giuseppe   +1 more
core   +2 more sources