An Open Logical Programming Environment. A Practical Framework for Sharing Formal Models

2002 ◽  
Author(s):  
Robert L. Constable ◽  
Christoph Kreitz
Keyword(s):  
Programming Environment ◽  
Formal Models ◽  
Logical Programming

The Multiple Faces of Risk-Taking

2016 ◽  
Vol 32 (1) ◽  
pp. 17-38 ◽  
Author(s):  
Florian Schmitz ◽  
Karsten Manske ◽  
Franzis Preckel ◽  
Oliver Wilhelm
Keyword(s):  
Risk Taking ◽  
Basic Research ◽  
Formal Models ◽  
Experimental Paradigm ◽  
Nomological Network ◽  
Balloon Analogue Risk Task ◽  
Parameter Recovery ◽  
Task Specificity ◽  
Available Information ◽  
Criterion Variables

Abstract. The Balloon-Analogue Risk Task (BART; Lejuez et al., 2002 ) is one of the most popular behavioral tasks suggested to assess risk-taking in the laboratory. Previous research has shown that the conventionally computed score is predictive, but neglects available information in the data. We suggest a number of alternative scores that are motivated by theories of risk-taking and that exploit more of the available data. These scores can be grouped around (1) risk-taking, (2) task performance, (3) impulsive decision making, and (4) reinforcement sequence modulation. Their theoretical rationale is detailed and their validity is tested within the nomological network of risk-taking, deviance, and scholastic achievement. Two multivariate studies were conducted with youths (n = 435) and with adolescents/young adults (n = 316). Additionally, we tested formal models suggested for the BART that decompose observed behavior into a set of meaningful parameters. A simulation study with parameter recovery was conducted, and the data from the two studies were reanalyzed using the models. Most scores were reliable and differentially predictive of criterion variables and may be used in basic research. However, task specificity and the generally moderate validity do not warrant use of the experimental paradigm for diagnostic purposes.

Constructing and Deconstructing Concepts

2016 ◽  
Vol 63 (5) ◽  
pp. 249-262 ◽  
Author(s):  
Charles A. Doan ◽  
Ronaldo Vigo
Keyword(s):  
Information Theory ◽  
Model Performance ◽  
Unsupervised Classification ◽  
Family Resemblance ◽  
Category Membership ◽  
Formal Models ◽  
Human Beings ◽  
One Dimensional ◽  
Relational Patterns ◽  
Optimal Classification

Abstract. Several empirical investigations have explored whether observers prefer to sort sets of multidimensional stimuli into groups by employing one-dimensional or family-resemblance strategies. Although one-dimensional sorting strategies have been the prevalent finding for these unsupervised classification paradigms, several researchers have provided evidence that the choice of strategy may depend on the particular demands of the task. To account for this disparity, we propose that observers extract relational patterns from stimulus sets that facilitate the development of optimal classification strategies for relegating category membership. We conducted a novel constrained categorization experiment to empirically test this hypothesis by instructing participants to either add or remove objects from presented categorical stimuli. We employed generalized representational information theory (GRIT; Vigo, 2011b , 2013a , 2014 ) and its associated formal models to predict and explain how human beings chose to modify these categorical stimuli. Additionally, we compared model performance to predictions made by a leading prototypicality measure in the literature.

CREATING GROUP PROJECTS IN SCRATCH 3.0

2019 ◽  
pp. 55-58
Author(s):  
A. S. Putina
Keyword(s):  
Group Work ◽  
Visual Programming ◽  
Programming Environment ◽  
Group Projects ◽  
Group Work In Education

The article discusses the problems of organizing group work in education, in particular, group work in the Scratch visual programming environment, where it is possible to use tools that help in teamwork — Backpack, Remix, Scratch Studio. An example of creating a project by a group of students is given.

Influential individuals: Approach to modeling

2018 ◽  
pp. 114-131
Author(s):  
O. Yu. Bondarenko
Keyword(s):  
Social Interactions ◽  
Social Status ◽  
Experimental Approach ◽  
Expert Knowledge ◽  
Formal Models ◽  
Leader Influence ◽  
Learning Game ◽  
Game Theoretic ◽  
Asymmetric Interactions ◽  
Influential Individuals

his article explores theoretical and experimental approach to modeling social interactions. Communication and exchange of information with other people affect individual’s behavior in numerous areas. Generally, such influence is exerted by leaders, outstanding individuals who have a higher social status or expert knowledge. Social interactions are analyzed in the models of social learning, game theoretic models, conformity models, etc. However, there is a lack of formal models of asymmetric interactions. Such models could help elicit certain qualities characterizing higher social status and perception of status by other individuals, find the presence of leader influence and analyze its mechanism.

Parallelizing Web Service Upload \ Download files

2018 ◽  
Vol 8 (3) ◽  
pp. 15
Author(s):  
Mustapha Mohammed Baua'a
Keyword(s):  
Web Services ◽  
Response Time ◽  
Web Service ◽  
File System ◽  
Programming Environment

The I\O file system Read\Write operations are considered the most significant characteristics. Where, many researchers focus on their works on how to decrease the response time of I\O file system read\write operations. However, most articles concentrate on how to read\write content of the file in parallelism manner. Here in this paper, the author considers the parallelizing Read\Write whole file bytes not only its contents. A case study has been applied in order to make the idea more clear. It talks about two techniques of uploading\downloading files via Web Service. The first one is a traditional way where the files uploaded and downloaded serially. While the second one is uploaded\ downloaded files using Java thread in order to simulate parallelism technique. Java Netbeans 8.0.2 have been used as a programming environment to implement the Download\Upload files through Web Services. Validation results are also presented via using Mat-lab platform as benchmarks. The visualized figures of validation results are clearly clarifying that the second technique shows better response time in comparison to the traditional way.

Research Concerning the Kinetostatic Analysis of the Mechanism of the Conventional Sucker Rod Pumping Units

2018 ◽  
Vol 69 (7) ◽  
pp. 1855-1859
Author(s):  
Dorin Badoiu ◽  
Georgeta Toma
Keyword(s):  
Computer Program ◽  
Programming Environment ◽  
Sucker Rod ◽  
Pumping Units

It is well known that the bearings of the mechanism of the conventional pumping units are heavily loaded so that their design has to be accomplished very carefully. In this scope the values of the connection forces acting on these bearings has to be determined as accurately as possible. In the paper is presented the kinetostatic analysis of the mechanism of the conventional sucker rod pumping units, obtaining in this way the values of the connection forces in the joints and of the motor moment at the cranks shaft. For processing the experimental records it has been used the program Total Well Management. The simulations have been performed with a computer program developed by the authors using Maple programming environment.

Sign in / Sign up

Export Citation Format

Share Document