Buscar recursos académicos

"SAT-based bounded veri cation of annotated code consists of translating the code together with the annotations to a propositional formula, and analyzing the formula for speci cation violations using a SAT-solver. If a v...

The relevance of Public Administration research has been recognized in several studies. The current paper addresses a bibliometric study on Public Administration research, with a particular concern about finding studies ...

Simulation is the process of executing a model, that is a representation of a system with enough detail to describe it but not too excessive. This model has a set of entities, an internal state, a set of input variables ...

"The following Master’s Thesis deals with the topic of the design and analysis of a reactor pressure vessel for a nuclear reactor concept meant for a high temperature application. This work finds itself within the work...

The topic of this paper is related to the study of what is known in the industry as the “parent-child” effect. This is accomplished by using a coupled hydraulic fracture and reservoir simulator to perform a sensitivi...

El presente trabajo propone una aplicación de herramientas provenientes del análisis de redes sociales y de programación para la explotación de información de una comunidad online, más específicamente una red soci...

"Este trabajo pretende capturar la voz del consumidor dentro del mercado de celulares "smartphone" de Estados Unidos. Su objeto de estudio es el Droid Incredible, un producto de HTC. Por otro lado, se comparará el rendi...

Simulation is the process of executing a model, that is a representation of a system with enough detail to describe it but not too excessive. This model has a set of entities an internal state, a set of input variable th...