Searched for: subject:"interpreters"
(1 - 20 of 25)

Pages

document
Nishitsuji, Y. (author), Exley, Russell (author)
Machine learning methods including support-vector-machine and deep learning are applied to facies classification problems using elastic impedances acquired from a Paleocene oil discovery in the UK Central North Sea. Both of the supervised learning approaches showed similar accuracy when predicting facies after the optimization of...
journal article 2018
document
Poulsen, C.B. (author), Rouvoet, A.J. (author), Tolmach, Andrew (author), Krebbers, R.J. (author), Visser, Eelco (author)
A definitional interpreter defines the semantics of an object language in terms of the (well-known) semantics of a host language, enabling understanding and validation of the semantics through execution. Combining a definitional interpreter with a separate type system requires a separate type safety proof. An alternative approach, at least for...
journal article 2018
document
Onencan, A.M. (author), van de Walle, B.A. (author)
Equitable and reasonable utilization is a core principle in the distribution of water resources. However, its practical application in the Nile Basin has been a significant challenge, leading to a water allocation deadlock. To address the deadlock, we used the van Eeten (1999) four-step process for defining new agendas. To reconstruct the debate...
journal article 2018
document
Puylaert, Carl A.J. (author), Schüffler, Peter J. (author), Naziroglu, R.E. (author), Tielbeek, Jeroen A.W. (author), Li, Z. (author), Makanyanga, Jesica C. (author), Tutein Nolthenius, Charlotte J. (author), Nio, C. Yung (author), Pendsé, Douglas A. (author), Menys, Alex (author), Ponsioen, Cyriel Y. (author), Atkinson, David (author), Forbes, Alastair (author), Buhmann, Joachim M. (author), Fuchs, Thomas J. (author), Hatzakis, Haralambos (author), van Vliet, L.J. (author), Stoker, Jaap (author), Taylor, Stuart A. (author), Vos, F.M. (author)
Rationale and Objectives: The objective of this study was to develop and validate a predictive magnetic resonance imaging (MRI) activity score for ileocolonic Crohn disease activity based on both subjective and semiautomatic MRI features. Materials and Methods: An MRI activity score (the “virtual gastrointestinal tract [VIGOR]” score) was...
journal article 2018
document
Kuipers, M.C. (author), de Jonge, W. (author)
This book – the third in the Rondeltappe series – reflects the philosophy and didactic approach of Heritage and Architecture (H&A) section of the Faculty of Architecture and the Built Environment (Delft University of Technology). H&A has three chairs: Design, Cultural Value and Technology. They work in close cooperation to lay the...
book 2017
document
Dwivedi, Yogesh K. (author), Janssen, M.F.W.H.A. (author), Slade, Emma L. (author), Rana, Nripendra P. (author), Weerakkody, Vishanth (author), Millard, Jeremy (author), Hidders, Jan (author), Snijders, D. (author)
Innovation is vital to find new solutions to problems, increase quality, and improve profitability. Big open linked data (BOLD) is a fledgling and rapidly evolving field that creates new opportunities for innovation. However, none of the existing literature has yet considered the interrelationships between antecedents of innovation through...
journal article 2016
document
Nishitsuji, Y. (author), Ruigrok, E (author), Gomez, M (author), Wapenaar, C.P.A. (author), Draganov, D.S. (author)
Obtaining detailed images of aseismic parts of subducting slabs remains a large challenge for understanding slab dynamics. Hypocenter mapping cannot be used for the purpose due to the absence of seismicity, whereas the use of receiver functions might be compromised by the presence of melt. Global tomography can be used to identify the presence...
journal article 2016
document
Vergu, V. (author), Neron, P. (author), Visser, E. (author)
The formal definition the semantics of a programming language and its implementation are typically separately defined, with the risk of divergence such that properties of the formal semantics are not properties of the implementation. In this paper, we present DynSem, a domain-specific language for the specification of the dynamic semantics of...
report 2015
document
Stouffs, R.M.F. (author)
Description grammars represent a formalism for generating verbal descriptions of designs, used in conjunction with shape grammars. A description grammar constitutes a set of description rules that define a language of descriptions. A description grammar interpreter implements the mechanisms to interpret descriptions and description rules, apply...
conference paper 2015
document
Auduson, A.E. (author)
In the Southern North Sea, Buntsandstein reservoirs which, can be gas- or water-bearing, frequently contain solid (salt) in the pores spaces. Recent literatures on extension of the Gassmann equation investigate the substitution of fluids and solids in the pore space of reservoir rock. Conventional substitution (fluids only) is described by the...
journal article 2013
document
Kavetski, D. (author), Fenicia, F. (author)
In this article's companion paper, flexible approaches for conceptual hydrological modeling at the catchment scale were motivated, and the SUPERFLEX framework, based on generic model components, was introduced. In this article, the SUPERFLEX framework and the “fixed structure” GR4H model (an hourly version of the popular GR4J model) are applied...
journal article 2011
document
Fenicia, F. (author), Kavetski, D. (author), Savenije, H.H.G. (author)
This paper introduces a flexible framework for conceptual hydrological modeling, with two related objectives: (1) generalize and systematize the currently fragmented field of conceptual models and (2) provide a robust platform for understanding and modeling hydrological systems. In contrast to currently dominant “fixed” model applications, the...
journal article 2011
document
Dey, A.K. (author)
The Seismic Value Chain quantifies the cyclic interaction between seismic acquisition, imaging and reservoir characterization. Modern seismic innovation to address the global imbalance in hydrocarbon supply and demand requires such cyclic interaction of both feed-forward and feed-back processes. Currently, the seismic value chain paradigm is in...
doctoral thesis 2011
document
Dechesne, F. (author), Wang, Y. (author)
Security properties naturally combine temporal aspects of protocols with aspects of knowledge of the agents. Since BAN-logic, there have been several initiatives and attempts to incorporate epistemics into the analysis of security protocols. In this paper, we give an overview of work in the field and present it in a unified perspective, with...
journal article 2010
document
Varga, E. (author)
doctoral thesis 2007
document
Berchicci, L. (author)
Studies dealing with environmental issues in New Product Development have made significant progress explaining how firms can develop greener new products that succeed in the market and Environmental New Product Development (ENPD) has become a wide-spread practice within an increasing number of firms. Nevertheless, green entrepreneurs and product...
doctoral thesis 2005
document
Schavemaker, J.G.M. (author)
doctoral thesis 1999
document
den Hartog, J.E. (author)
doctoral thesis 1995
document
Vissinga, M. (author), Van den Berg, P.M. (author), Fokkema, J.T. (author)
conference paper 1990
document
Zou, Z.H. (author), Fokkema, J.T. (author), Baeten, G.J.M. (author), Ziolkowski, A.M. (author)
conference paper 1990
Searched for: subject:"interpreters"
(1 - 20 of 25)

Pages