1,522 research outputs found
Thesisproject masterproef Tim Peeters
No full text<p>README VOOR THESISPROJECT TIM PEETERS</p>
<p>Er is altijd gewerkt onder Mac OS Sierra versie 10.12.6,<br>
In combinatie met VeriFast versie 16.01</p>
<p>VERIFICATIE VAN tinyjava.c</p>
<p>In de huidige map bevindt zich het bestand 'tinyjava.c'.<br>
Open dit bestand met VeriFast (versie 16.01) om te verifieren.</p>
<p>EXECUTIE VAN tinyjava.c</p>
<p>Het bestand kan gecompileerd worden door het volgende commando uit te voeren:</p>
<p> gcc -pthread *.c</p>
<p>in de hoofdmap, MAAR:</p>
<p> De instructies binnen bool.h moeten uit commentaar gehaald worden voor exectutie.<br>
En terug in commentaar gezet worden voor verificatie.</p>
<p> Het zal niet compileren met de methodedefinities zonder body van de C11 acquire-release operaties (zie tekst).<br>
Omzetten naar gewone toekenningen zonder fencing of met bijvoorbeeld een global lock zal wel compileren maar niet verifieren.</p>
<p> Het a.out bestand dient vervolgens gekopieerd (of gecompileerd) te worden naar de hoofdmap.<br>
Daar bevindt zich een Xtimes.sh bestand dat uitgevoerd kan worden via de terminal en verwacht een integer als parameter.<br>
Die parameter bepaalt hoe vaak 'a.out' uitgevoerd wordt op het .class-bestand dat zich in de map bevindt.<br>
Het Java-bestand dat gecompileerd is naar dat .class-bestand is hier ook bijgevoegd, ter illustratie van de mogelijkheden van de vertolker.</p>
<p> Met vragen over de uitvoering of opmerkingen, mail naar: [email protected].</p>
Caput mundi: Rome as Center in Roman Representation and Construction of Space
No full textThis is the author accepted manuscript. The final version is available from Peeters Publishers via the DOI in this record
Commencer et se mettre à : une description axiologico-conceptuelle
No full text2. B. Peeters, « Commencer and se mettre à : an axiologico-conceptual description »
This paper examines in full detail all syntactic environments in which the Modern French aspectual verbs commencer and se mettre à are currently used. It also investigates the precise semantic differences between both verbs. Definitions are couched in semantic primitives. The author attempts to take a stand with respect to all observations made by others on these verbs over the last thirty years. Most examples are drawn from a corpus of weekly magazines and/or 20th century novels.Peeters Bert. Commencer et se mettre à : une description axiologico-conceptuelle. In: Langue française, n°98, 1993. Les primitifs sémantiques, sous la direction de Bert Peeters. pp. 24-47
Turbulent heat transfer in channels with irregular roughness
No full textIt is well known that rough surfaces affect turbulent flows significantly. How such surfaces affect turbulent heat transfer is less well understood. To gain more insight, we have performed a series of direct numerical simulations of turbulent heat transfer in a channel flow with grit-blasted surfaces. An immersed boundary method is used to account for the rough surface. A source term in the thermal energy balance is used to maximise the analogy between the transport of heat and the transport of streamwise momentum. The wall roughness size is varied from to =120. Turbulence statistics like mean temperature profile, mean temperature fluctuations and heat fluxes are presented. The structure of the turbulent temperature field is analysed in detail. Recirculation zones, which are the result of an adverse pressure gradient, have a profound effect on heat transfer. This is important as it leads to the wall-scaled mean temperature profiles being of larger magnitude than the mean velocity profiles both inside and outside the roughness layer. This means that the temperature wall roughness function is different from the momentum wall roughness function . Since the bulk temperature and velocity depend on and , it was shown that the Stanton number and the skin friction factor directly depend on and , respectively. Therefore, the failure of the Reynolds analogy in fully rough conditions can be directly related to the difference between and
Delving into Heart-and Soul-Like Constructs:Describing EPCs in NSM
No full textIn this introduction to the volume, the editor sets the scene for what follows, justifying the choice of label (ethnopsychological personhood construct or EPC) for the soul-, heart-, and mind-like constructs canvassed by the four contributors. He then addresses the perennial problem of Anglocentrism and reification of EPCs in scholarly discourse, where English continues to set the tone and its constructs continue to be used as yardsticks in the description of cultural diversity, thereby elevating the English language to a status it does not deserve, no matter how important it may be on a world scale. Use of the Natural Semantic Metalanguage (NSM) is put forward as a way out of the problem. NSM is introduced, with specific reference to semantic primes, semantic molecules, and semantic templates. In addition, to demonstrate the famous NSM motto that �every explication is an experiment�, the author reconstructs the various stages that explications of the English EPC mind have gone through since the first attempt was made in the late 1980s
Vrouwen in topmanagement en duurzame bedrijfsprestaties
No full textEr is steeds meer aandacht voor de rol van vrouwen in het bestuur van bedrijven.
Alhoewel de aanwezigheid van vrouwen in bestuurdersposities nog ruim achter blijft ten
opzichte van mannen, hebben studies herhaaldelijk positieve relaties gevonden tussen
het aandeel vrouwen in bestuursraden enerzijds en financiële en duurzame
bedrijfsprestaties anderzijds. Waar we in hoofdstuk 1 verschillende financiële
bedrijfsprestaties onderzochten, belichten we hier duurzame bedrijfsprestaties.
Dit hoofdstuk gaat in op de man-vrouw samenstelling van topmanagementteams van
bedrijven in Nederland en de rol hiervan in het bepalen van duurzame milieukosten en
investeringsverwachtingen
sj-pdf-1-ccx-10.1177_10732748211045275 – Supplemental Material for What Makes a Military Professional? Evaluating Norm Socialization in West Point Cadets
No full textSupplemental Material, sj-pdf-1-ccx-10.1177_10732748211045275 for Meeting the Challenges in Cancer Care Management During the SARS-Cov-2 Pandemic: A Retrospective Analysis by Marika Rasschaert, Pieterjan Vanclooster, Laura Depauw, Tim Mertens, Ella Roelant, Elke Coenen, Sebastien Anguille, Annelies Janssens, Peter Van Dam and Marc Peeters in Cancer Control</p
Vrouwen in topmanagement en duurzame bedrijfsprestaties
No full textEr is steeds meer aandacht voor de rol van vrouwen in het bestuur van bedrijven.
Alhoewel de aanwezigheid van vrouwen in bestuurdersposities nog ruim achter blijft ten
opzichte van mannen, hebben studies herhaaldelijk positieve relaties gevonden tussen
het aandeel vrouwen in bestuursraden enerzijds en financiële en duurzame
bedrijfsprestaties anderzijds. Waar we in hoofdstuk 1 verschillende financiële
bedrijfsprestaties onderzochten, belichten we hier duurzame bedrijfsprestaties.
Dit hoofdstuk gaat in op de man-vrouw samenstelling van topmanagementteams van
bedrijven in Nederland en de rol hiervan in het bepalen van duurzame milieukosten en
investeringsverwachtingen
De revisor revisited: over de literatuur van de desillusie
No full textIn this article the author searches for the characteristic features of Revisor-prose, i.e. the prose associated with the literary periodical De Revisor. In the late seventies, two leading critics, Aad Nuis and Carel peeters, confronted their views on the subject. The former highlighted the references to reality, the latter emphasized the influence of imagination. A few years ago, two academic researchers, Jaap Goedegebuure and Sander Bax, followed their example. The former opted for a 'modernist' approach, the latter preferred a 'postmodernist' perspective. The author of this article presents an alternative 'poetic' reading, supported by Kathryn Hume's study on Fantasy and Mimesi
- …
