ValidMaker: A tool for managing device configurations using logical constraints

2012 ◽  
Author(s):  
S. Halle ◽  
E. L. Ngoupe ◽  
G. Nijdam ◽  
O. Cherkaoui ◽  
P. Valtchev ◽  
...  
Keyword(s):  
Logical Constraints

Selection among ranked projects under segmentation, policy and logical constraints

2008 ◽  
Vol 187 (1) ◽  
pp. 177-192 ◽  
Author(s):  
George Mavrotas ◽  
Danae Diakoulaki ◽  
Athanasios Kourentzis
Keyword(s):  
Logical Constraints

Optimization of Classical Reliability in Test Construction

1998 ◽  
Vol 23 (1) ◽  
pp. 1-17 ◽  
Author(s):  
Ronald D. Armstrong ◽  
Douglas H. Jones ◽  
Zhaobo Wang
Keyword(s):  
Network Theory ◽  
Programming Model ◽  
Classical Test Theory ◽  
Test Construction ◽  
Item Bank ◽  
Test Theory ◽  
Relaxation Techniques ◽  
Mathematical Programming Model ◽  
High Coefficient ◽  
Logical Constraints

This article considers the problem of generating a test from an item bank using a criterion based on classical test theory parameters. A mathematical programming model is formulated that maximizes the reliability coefficient α, subject to logical constraints on the choice of items. The special structure of the problem is exploited with network theory and Lagrangian relaxation techniques. An empirical study shows that the method produces tests with high coefficient a subject to various practicable item constraints.

THEORETICAL DEFINITIONS FOR AUXILIARY CONCEPTS OF VARIOUS LEVELS OF ABSTRACTION

2020 ◽  
pp. 28-31
Author(s):  
Valentin Karpovich
Keyword(s):  
Theoretical Model ◽  
Subject Area ◽  
Theoretical Concept ◽  
Theoretical Knowledge ◽  
Practical Application ◽  
Levels Of Abstraction ◽  
Theoretical Concepts ◽  
The Subject ◽  
Logical Constraints

Theoretical knowledge may contain various levels of abstraction represented by logical constructions from the observed characteristics of objects from the subject area of the theory. The degree of abstractness can be de-scribed by the complexity of the structures obtained from the initial observational terms. Such auxiliary construc-tions are characterized as explicit or implicitdefinitions of theoretical concepts in terms of observational. One of the techniques for constructing such definitions is the operationalization of abstractions by a system of reduction sentences. In this case a theoretical concept is characterized as “open” and plays a role of logical and methodo-logical constraints for expanding the possible connections of the theoretical model with the help of concepts from the domain of intended practical application.

scholarly journals A control approach to scheduling flexibly configurable jobs with dynamic structural-logical constraints

2020 ◽  
Vol 53 (1) ◽  
pp. 21-38 ◽  
Author(s):  
Dmitry Ivanov ◽  
Boris Sokolov ◽  
Weiwei Chen ◽  
Alexandre Dolgui ◽  
Frank Werner ◽  
...  
Keyword(s):  
Control Approach ◽  
Logical Constraints

The Psychological Approach to Personal Identity: Non-Branching and the Individuation of Person Stages

Dialogue ◽  
2008 ◽  
Vol 47 (2) ◽  
pp. 377-386 ◽  
Author(s):  
Anthony Brueckner ◽  
Christopher T. Buford
Keyword(s):  
Personal Identity ◽  
Psychological Approach ◽  
Logical Constraints

ABSTRACTWe begin by discussing some logical constraints on the psychological approach to personal identity. We consider a problem for the psychological approach that arises in fission cases. The problem engenders the need for a non-branching clause in a psychological account of the co-personality relation. We look at some difficulties in formulating such a clause. We end by rejecting a recently proposed formulation of non-branching. Our criticism of the formulation raises some interesting questions about the individuation of person stages.

XML DECLARATIVE DESCRIPTION WITH FIRST-ORDER LOGICAL CONSTRAINTS

2005 ◽  
Vol 21 (2) ◽  
pp. 130-156 ◽  
Author(s):  
Chutiporn Anutariya ◽  
Vilas Wuwongse ◽  
Kiyoshi Akama
Keyword(s):  
First Order ◽  
Logical Constraints
Sign in / Sign up

Export Citation Format

Share Document