Results 11 to 20 of about 887 (242)

The Functional Interpretation of Direct Computations

Electronic Notes in Theoretical Computer Science, 2011
AbstractThe concept of direct computation used by Statman (1977) was instrumental in the development of a notion of normal form for proofs of equality. In order to find a functional (Curry–Howard style) interpretation of direct computations we take a closer look at proof procedures for first-order sentences with equality drawing the attention to the ...
Ruy J. G. B. de Queiroz, Anjolina Grisi de Oliveira   +1 more
openaire   +1 more source

Poetry and Ethos: toward an ontic understanding

Literator, 1985
This brief interpretative study endeavours to explicate and illustrate a normative method of poetic analysis. By means of this integrated structural system, the reader has an authoritative standard at his disposal.
G. Kuschke
doaj   +1 more source

Direct interpretation of near‐field optical images [PDF]

Journal of Microscopy, 2001
The interpretation of the detection process in near‐field optical microscopy is reviewed on the basis of a discussion about the possibility of establishing direct comparisons between experimental images and the solutions of Maxwell equations or the electromagnetic local density of states.
Dereux, Alain, Devaux, E., Weeber, J. C., Goudonnet, J. P., Girard, Christian   +4 more
openaire   +3 more sources

Non-medical practitioners in the staffing of emergency departments and urgent treatment centres in England: a mixed qualitative methods study of policy implementation

BMC Health Services Research, 2023
Background Patient demand, internationally, on emergency departments and urgent care treatment centres has grown. Shortages of staff, particularly of emergency medicine doctors, have compounded problems. Some countries are pursuing solutions of including
Vari M. Drennan, Mary Halter, Francesca Taylor, Jonathan Gabe, Heather Jarman   +4 more
doaj   +1 more source

Wartości w teorii prawa Jerzego Wróblewskiego

Filozofia Publiczna i Edukacja Demokratyczna, 2013
The article presents the role of values and evaluation practices in Jerzy Wróblewski`s legal theory. An overview of the theory includes here the interpretation and the application of the law, in both of which Wróblewski shows the axiological choices made
Jerzy Leszczyński
doaj   +1 more source

De quelques points de résistances dans la mise en place d’un enseignement de la littérature à l’école primaire

Repères, 2008
Five years after starting implementing the 2002 ministerial directives in the field of literature, the question is how to evaluate their effects on newly qualified teachers and how to enrich the training schemes which have been set up since.
Max Butlen, Pierrette Slama, Marie-France Bishop, Françoise Claquin   +3 more
doaj   +1 more source

DETERMINACIJA NEPRIJATELJA U DIREKTIVAMA GLAVNOG ŠTABA I VRHOVNE KOMANDE VOJSKE REPUBLIKE SRPSKE // DETERMINING THE IDENTITY OF THE ENEMY IN THE DIRECTIVES OF THE MAIN HEADQUARTERS AND THE HIGH COMMAND OF THE ARMY OF REPUBLIC OF SRPSKA [PDF]

Historijski pogledi, 2020
Among the numerous open questions of contemporary historiography regarding the breakdown of Yugoslavia and its consequences, the issues connected to the post-Yugoslav wars still cause the most disputes.
Mesud Šadinlija
doaj  

Les acteurs-réseaux en archéologie : état de la question et perspectives futures

Les Nouvelles de l’Archéologie, 2014
La théorie de l’acteur-réseau (ANT pour Actor-Network Theory), originaire dans les études des sciences et technologies, entre de plus en plus fréquemment dans deux discours archéologiques différents: l’un, interprétant le rôle social de la culture ...
Astrid Van Oyen
doaj   +1 more source

القراءات الشاذة عند ابن عطية الأندلسي في تفسيره المحرر الوجيز في سورتي هود ويوسف عليهما السلام جمعاً وتوجيهاً Strange Readings in Ibn Atiyyah al-Andalusi’s Interpretation Al-Muharrar al-Wajiz in Surahs Hud and Yusuf: Collection and Directing [PDF]

مجلة كلية الدراسات الإسلامية والعربية للبنات بدمنهور
مما لا شك فيه أن القراءات القرآنية من أهم الموضوعات التي يتناولها الدارسون لتعلقها بكتاب الله شرحاً وإيضاحاً وتفسيراً وبياناً وتوجيهاً، ولقد عرف علم القراءات الشاذة بعد عمل ابن مجاهد في كتابه السبعة حيث بدأ بذكر القراءات الشاذة في بداية كتابه ثم سكت عن ...
صباح عبد الجبار علي بخاري
doaj   +1 more source

European Standard Clinical Practice Guideline and EXPeRT Recommendations for the Diagnosis and Management of Gastroenteropancreatic Neuroendocrine Neoplasms in Children and Adolescents

Pediatric Blood &Cancer, EarlyView.
ABSTRACT Pediatric gastroenteropancreatic neuroendocrine neoplasms (GEP‐NENs) are extremely rare and clinically heterogeneous. Management has largely been extrapolated from adult practice. This European Standard Clinical Practice Guideline (ESCP), developed by the EXPeRT network in collaboration with adult NEN experts, provides (adult) evidence ...
Michaela Kuhlen, Calogero Virgone, Antje Redlich, Michael Abele, Ricardo Lopez‐Almaraz, Tal Ben‐Ami, Ewa Bien, Gianni Bisogno, Maja Mazic Cesen, Andrea Ferrari, Malgorzata A. Krawczyk, Yves Reguerre, Dominik T. Schneider, Ines B. Brecht, Charlotte Rigaud, Bilgehan Yalcin, Rainer Claus, Christian Vokuhl, Constantin Lapa, Jörg Fuchs, Segolene Hescot, Thomas Walter, Julien Hadoux, Daniel Orbach   +23 more
wiley   +1 more source