Decision Procedures and Model Building or How to Improve Logical Information in Automated Deduction

2000 ◽  
pp. 62-79 ◽  
Author(s):  
Alexander Leitsch
Keyword(s):  
Model Building ◽  
Decision Procedures ◽  
Automated Deduction ◽  
Logical Information

The sense of presence in virtual environments:

2003 ◽  
Vol 15 (2) ◽  
pp. 69-71 ◽  
Author(s):  
Thomas W. Schubert
Keyword(s):  
Virtual Environments ◽  
Coding Theory ◽  
Model Building ◽  
Self Report ◽  
Survey Study ◽  
Spatial Presence ◽  
Component Structure ◽  
Sense Of Presence ◽  
Being There ◽  
Measure Sense

Abstract. The sense of presence is the feeling of being there in a virtual environment. A three-component self report scale to measure sense of presence is described, the components being sense of spatial presence, involvement, and realness. This three-component structure was developed in a survey study with players of 3D games (N = 246) and replicated in a second survey study (N = 296); studies using the scale for measuring the effects of interaction on presence provide evidence for validity. The findings are explained by the Potential Action Coding Theory of presence, which assumes that presence develops from mental model building and suppression of the real environment.

Theoretical, methodological and practical issues of choice models

2018 ◽  
Vol 1 (1) ◽  
pp. 21-37
Author(s):  
Bharat P. Bhatta
Keyword(s):  
Discrete Choice ◽  
Model Building ◽  
Estimation Method ◽  
Choice Models ◽  
Discrete Choice Models ◽  
Decision Makers ◽  
Model Formulation ◽  
Random Utility Maximization ◽  
The Relationship ◽  
Method Model

This paper analyzes and synthesizes the fundamentals of discrete choice models. This paper alsodiscusses the basic concept and theory underlying the econometrics of discrete choice, specific choicemodels, estimation method, model building and tests, and applications of discrete choice models. Thiswork highlights the relationship between economic theory and discrete choice models: how economictheory contributes to choice modeling and vice versa. Keywords: Discrete choice models; Random utility maximization; Decision makers; Utility function;Model formulation

Unconventional Play Fracture Characterization Through Orthorhombic Depth Model Building

2018 ◽  
Author(s):  
Guy Hilburn ◽  
Amit Pendharkar ◽  
William Keller ◽  
René Mott ◽  
Jorge Peinado ◽  
...  
Keyword(s):  
Model Building ◽  
Fracture Characterization

Using Wireline Formation Tester Pressure Survey to Validate and Fine-tune Model Building: A Case Study for a Multi-layered Mature Reservoir

2014 ◽  
Author(s):  
S. I. Badusha ◽  
A. M. Qamber ◽  
S. Al-Rashdan ◽  
A. Safar ◽  
A. Mahato ◽  
...  
Keyword(s):  
Model Building ◽  
Fine Tune
Sign in / Sign up

Export Citation Format

Share Document