Filters








178,603 Hits in 2.3 sec

Qualitative modelling via constraint programming

Thomas W. Kelsey, Lars Kotthoff, Christopher A. Jefferson, Stephen A. Linton, Ian Miguel, Peter Nightingale, Ian P. Gent
2014 Constraints  
Qualitative modelling has been studied and implemented to varying degrees of sophistication in Petri nets, process calculi and constraint programming.  ...  In this paper we reflect on the strengths and weaknesses of existing frameworks, we demonstrate how recent advances in constraint programming can be leveraged to produce high quality qualitative models  ...  We focus on three particular approaches, constraint programming (CP), temporal logics and process calculi.  ... 
doi:10.1007/s10601-014-9158-6 fatcat:5j3qjsfdmrdubb4acuaalrqki4

Qualitative Modelling via Constraint Programming: Past, Present and Future [article]

Thomas W. Kelsey, Lars Kotthoff, Christoffer A. Jefferson, Stephen A. Linton, Ian Miguel, Peter Nightingale, Ian P. Gent
2012 arXiv   pre-print
Qualitative modelling has been studied and implemented to varying degrees of sophistication in Petri nets, process calculi and constraint programming.  ...  In this paper we reflect on the strengths and weaknesses of existing frameworks, we demonstrate how recent advances in constraint programming can be leveraged to produce high quality qualitative models  ...  We focus on three particular approaches, constraint programming (CP), temporal logics and process calculi.  ... 
arXiv:1209.3916v1 fatcat:s7w36cffofesdiga4zaxfwqt4y

Regional school districting via mathematical programming [chapter]

C. Giorgi, G. Tagliabue, P. Migliarese, P. C. Palermo
1976 Lecture Notes in Computer Science  
Obviously~ the real problem cannot be solved by mathematical programming model~ i.e. by a pure quantitative approeh~ but such a model may be useful developped within a suitable methodological framework  ...  In this framework a capacited plant location model with capacity indivisibility and side constraints has been developped.  ... 
doi:10.1007/3-540-07622-0_499 fatcat:ybp4sb6r35apzembem4carc4ia

Semiring-Based Soft Constraints [chapter]

Stefano Bistarelli, Francesca Rossi
2008 Lecture Notes in Computer Science  
The idea was to make constraint programming more flexible and widely applicable.  ...  The semiring-based formalism to model soft constraint has been introduced in 1995 by Ugo Montanari and the authors of this paper.  ...  The possibility of approximating CP-nets via soft constraints means that, with only a soft constraint solver at hand, we can model and solve real-life problems containing either qualitative and quantitative  ... 
doi:10.1007/978-3-540-68679-8_11 fatcat:2jbzqzkhdjhvhdxujvkyie3idq

Multiscale Modeling of Alternative Splicing Regulation [chapter]

Damien Eveillard, Delphine Ropers, Hidde de Jong, Christiane Branlant, Alexander Bockmayr
2003 Lecture Notes in Computer Science  
Using a constraint programming approach, we model the alternative splicing regulation at different scales (single site vs. multiple sites), thus exploiting different types of available experimental data  ...  In concurrent constraint programming (cc), different computation processes may run concurrently. Interaction is possible via the constraint store.  ...  Our models are developed in a constraint programming framework [2, 3] .  ... 
doi:10.1007/3-540-36481-1_7 fatcat:fhxsdimahbfx7d327xmxyrhulu

Looking into the crystal-ball: a bright future for CP

Michela Milano, Pascal Van Hentenryck
2014 Constraints  
and challenges for Constraint Programming.  ...  The Constraint Programming community, in more than 20 years, has performed this exercise several times.  ...  Qualitative modeling in constraint programming The fourth paper of the issue, written by Kelsey, Kotthoff, Jefferson, Linton, Miguel, Nightingale, and Gent, is about exploiting constraint programming in  ... 
doi:10.1007/s10601-014-9160-z fatcat:m7n5q4ec2ngptkpefiqqu4i4je

Stochastic Optimization: Theory and Applications

Bin Wang, Lotfollah Najjar, Neal N. Xiong, Rung Ching Chen
2013 Journal of Applied Mathematics  
In the paper entitled "Qualitative and quantitative integrated modeling for stochastic simulation and optimization, " the authors propose a qualitative and quantitative combined modeling specification  ...  terminal state constraint, which can be transformed into a hybrid constrained mathematical programming problem and design a dynamic programming algorithm to solve the constrained indefinite stochastic  ...  In the paper entitled "Qualitative and quantitative integrated modeling for stochastic simulation and optimization, " the authors propose a qualitative and quantitative combined modeling specification  ... 
doi:10.1155/2013/949131 fatcat:a7q2uo3lcze3lj66xpiiexeaxi

Data-Driven Quality Improvement: Handling Qualitative Variables

Manabu Kano, Koichi Fujiwara, Shinji Hasebe, Hiromu Ohno
2004 IFAC Proceedings Volumes  
quality, optimize operating condition under constraints, and also evaluate the validity of the results.  ...  The desired yield is specified instead of the quality for a qualitative quality variable. This paper aims to formulate DDQI and demonstrate its usefulness with an illustrative example.  ...  Even in such a case, the quality variable can be quantified as described before, and the quality model can be built via PCR. y = Xk P CR (26) For the qualitative quality variable, the yield, i.e., the  ... 
doi:10.1016/s1474-6670(17)31869-4 fatcat:67junrc4wzeqxcoypcqlkrvxoa

A multi-scale constraint programming model of alternative splicing regulation

Damien Eveillard, Delphine Ropers, Hidde de Jong, Christiane Branlant, Alexander Bockmayr
2004 Theoretical Computer Science  
Using a constraint programming approach, we develop a model of the alternative splicing regulation in HIV-1.  ...  Our model integrates di erent scales (single site vs. multiple sites), and thus allows us to exploit several types of experimental data available to us.  ...  In concurrent constraint programming (cc), di erent computational processes may run concurrently. Interaction is possible via the constraint store.  ... 
doi:10.1016/j.tcs.2004.03.062 fatcat:3vwr74vcgba2dfgrs4owni2gbi

Qualitative data clustering: a new Integer Linear Programming model

Luiz Henrique Nogueira Lorena, Marcos Goncalves Quiles, Luiz Antonio Nogueira Lorena, Andre C. P. L. F. de Carvalho, Juliana Garcia Cespedes
2019 2019 International Joint Conference on Neural Networks (IJCNN)  
An appealing way to deal with this task is via Integer Linear Programming, as it avoids inappropriate inferences by the final user.  ...  Qualitative data clustering is a fundamental data analysis task, with applications in many areas, like medicine, sociology, and economics.  ...  QUALITATIVE DATA CLUSTERING VIA ILP Grötschel et al. [7] provided an Integer Linear Programming model based on the Clique Partitioning Problem (CPP) for qualitative data clustering.  ... 
doi:10.1109/ijcnn.2019.8851969 dblp:conf/ijcnn/LorenaQLCC19 fatcat:4s3vcvos7jappebsirrj5gdk7i

Page 6658 of Mathematical Reviews Vol. , Issue 90K [page]

1990 Mathematical Reviews  
of the associated qualitative system.” 90k:68159 68T30 Montanari, Ugo (I-PISA-IF); Rossi, Francesca Fundamental properties of networks of constraints: a new formulation.  ...  Summary: “Networks of constraints are a simple knowledge rep- resentation model, useful for describing large classes of problems in picture recognition and scene analysis, in the representation of physical  ... 

Non-Monotonic Spatial Reasoning with Answer Set Programming Modulo Theories [article]

Przemysław Andrzej Wałęga, Carl Schultz, Mehul Bhatt
2016 arXiv   pre-print
Spatial reasoning is performed by encoding spatial relations as systems of polynomial constraints, and solving via SMT with the theory of real nonlinear arithmetic.  ...  ASPMT(QS) consists of a (qualitative) spatial representation module (QS) and a method for turning tight ASPMT instances into Satisfiability Modulo Theories (SMT) instances in order to compute stable models  ...  As output, our system either produces the stable models of the input programs, or states that no such model exists.  ... 
arXiv:1606.07860v2 fatcat:6zwn2atrpzdw7kxbjlcessjupq

Infinite Qualitative Simulations by Means of Constraint Programming [article]

Krzysztof R. Apt, Sebastian Brand
2006 arXiv   pre-print
We implemented this approach in a constraint programming system by drawing on ideas from bounded model checking.  ...  We introduce a constraint-based framework for studying infinite qualitative simulations concerned with contingencies such as time, space, shape, size, abstracted into a finite set of qualitative relations  ...  We implemented this approach in a generic constraint programming system, ECL i PS e , using techniques from bounded model checking and by experimenting with various heuristics.  ... 
arXiv:cs/0608017v1 fatcat:qzo7fo5wvnfi3fezlg5j6eurie

Inverse Eigenvalue Problems for Exploring the Dynamics of Systems Biology Models

James Lu
2009 Advances in Applied Mathematics and Mechanics  
This paper describes inverse eigenvalue problems that arise in studying qualitative dynamics in systems biology models.  ...  Numerical results on a number of models show that the proposed algorithm can be used to computationally explore the possible dynamical scenarios while identifying the important mechanisms via the use of  ...  the modeling questions that motivated the demonstrated inverse problems.  ... 
doi:10.4208/aamm.09-m09s04 fatcat:26wqcyrypnhdjj3mpx7sgo3ckq

A quantitative optimization framework for market-driven academic program portfolios

Joshua Burgher, Herbert Hamers
2019 International Journal of Educational Management  
Additionally, in order to use an integer linear program for the model, qualitative data must be incorporated into the quantitative model.  ...  To do so, this paper first discusses two methods of quantifying qualitative information related to market-driven program dimensions in the following section.  ...  These methods enable the field to move forward via the possibility to incorporate qualitative elements in quantitative optimizations in many areas.  ... 
doi:10.1108/ijem-03-2018-0099 fatcat:ihvkhoat5bhnvbsitefo7uanqy
« Previous Showing results 1 — 15 out of 178,603 results