Filters








234 Hits in 2.7 sec

Conjure Documentation, Release 2.3.0 [article]

Özgür Akgün, András Salamon
2019 arXiv   pre-print
Conjure is an automated modelling tool for Constraint Programming.  ...  In this documentation, you will find the following: A brief introduction to Conjure, installation instructions, a description of how to use Conjure through its command line user interface, a list of Conjure's  ...  To break this symmetry, Conjure introduces strict ordering constraints on adjacent entries of the matrix. This is one of the simplest examples of automated symmetry breaking performed by Conjure.  ... 
arXiv:1910.00475v3 fatcat:q2jusumwabecbidmzbasazdjd4

Essence: A constraint language for specifying combinatorial problems

Alan M. Frisch, Warwick Harvey, Chris Jefferson, Bernadette Martínez-Hernández, Ian Miguel
2008 Constraints  
Essence is a formal language for specifying combinatorial problems, in a manner similar to natural rigorous specifications that use a mixture of natural language and discrete mathematics.  ...  Specifications in Zinc (from [23] , but with symmetry-breaking constraints omitted for brevity) esra (from [6] ), opl (written by the authors) and NP-Spec 10 are given in Fig. 7 .  ...  We call these "kernels" because they do not contain many of the enhancements that characterise the most effective models, such as symmetry-breaking constraints and implied constraints.  ... 
doi:10.1007/s10601-008-9047-y fatcat:hw4bnlaumjb3jek2qwqgbuhmu4

Big data and the industrialization of neuroscience: A safe roadmap for understanding the brain?

Yves Frégnac
2017 Science  
New technologies in neuroscience generate reams of data at an exponentially increasing rate, spurring the design of very-large-scale data-mining initiatives.  ...  When changing scales, symmetry breaks introduce major nonlinearities that we cannot account for at present.  ...  The constructionist hypothesis breaks down when confronted with scale changes and complexity (123) .  ... 
doi:10.1126/science.aan8866 pmid:29074766 fatcat:7wo22kixfvdojoecsrmiao32zq

A High Level Language for Solver Independent Model Manipulation and Generation of Hybrid Solvers [chapter]

Daniel Fontaine, Laurent Michel
2012 Lecture Notes in Computer Science  
Essence is then combined with Conjure [5] to automate the generation of a constraint model using rewrite rules derived from 'expert knowledge' maintained in a database.  ...  Hence, Essence + Conjure provide an automation platform orthogonal to what is proposed in this thesis.  ...  The last line produces a CP runnable by plugging the parameterized SLR model into a subgradient template with an upper bound.  ... 
doi:10.1007/978-3-642-29828-8_12 fatcat:xk44gijodncrtpmnm4p5iciliq

From high-level inference algorithms to efficient code [article]

Rajan Walia, Praveen Narayanan, Jacques Carette, Sam Tobin-Hochstadt, Chung-chieh Shan
2019 arXiv   pre-print
The resulting performance is competitive with manual implementations.  ...  Probabilistic programming languages are valuable because they allow domain experts to express probabilistic models and inference algorithms without worrying about irrelevant details.  ...  The Indiana METACyt Initiative at IU is also supported in part by Lilly Endowment, Inc.  ... 
arXiv:1805.06562v5 fatcat:kta3djopvnhs5fwpv7bro2zjqy

Neural-Symbolic Learning and Reasoning: A Survey and Interpretation [article]

Tarek R. Besold, Artur d'Avila Garcez, Sebastian Bader, Howard Bowman, Pedro Domingos, Pascal Hitzler, Kai-Uwe Kuehnberger, Luis C. Lamb, Daniel Lowd, Priscila Machado Vieira Lima, Leo de Penning, Gadi Pinkas, Hoifung Poon (+1 others)
2017 arXiv   pre-print
In addition, efforts in computer science research have led to the development of cognitive computational systems integrating machine learning and automated reasoning.  ...  Presupposing cognition as basis of behaviour, among the most prominent tools in the modelling of behaviour are computational-logic systems, connectionist models of cognition, and models of uncertainty.  ...  For example, sight of an empty driveway and a scattering of broken glass, might conjure a mental representation (i.e. a model) of a felon breaking the window of your car, leading you to reason that your  ... 
arXiv:1711.03902v1 fatcat:3fod6z4oevhplpv2hzlkguyqiu

Range separation: The divide between local structures and field theories [article]

David M. Rogers
2019 arXiv   pre-print
models) on the other.  ...  The timeline and technical content are designed to build up a set of key relations as guideposts for using density functional theories together with atomistic simulation.  ...  Apparently, automating the parameterization process 122 is unfundable.  ... 
arXiv:1902.03289v2 fatcat:fznhom3ornfu3hobaiinhltfxi

Markets come to bits: Evolution, computation and markomata in economic science

Philip Mirowski
2007 Journal of Economic Behavior and Organization  
See Jarecki (1976). 2 The essential disconnect between theories of market dynamics and any empirical sensibility with regard to process is revealed by the historical discussions in Weintraub (1991) and  ...  Based upon my previous historical work, I attempt to isolate and identify what appears to be a profound shift in the conception of the economy in recent economic research, focusing on five areas: mechanism  ...  constraints" (Hurwicz, 1981, p. 300) .  ... 
doi:10.1016/j.jebo.2005.03.015 fatcat:cl53ijlwmvhwfdzkbsblnzfzp4

Price discrimination and the modes of failure in deregulated retail electricity markets

Paul Simshauser
2018 Energy Economics  
When they do, firms follow a best-response symmetry in pricing decisions, and prices fall below uniform prices in weak segments, and rise above uniform prices in strong segments with ambiguous welfare  ...  constraint the broader market imposes a proximate revenue constraint on firms.  ... 
doi:10.1016/j.eneco.2018.08.007 fatcat:l43k5myqhbefziyzoltoi2lwne

How do agents represent? [chapter]

Alex Ryan
2012 Unifying Themes in Complex Systems VII  
In summary, representation means that for some agent, a model is used to stand in for another entity in a way that shapes the behaviour of the agent with respect to that entity.  ...  In this paper I introduce Peirce's theory of signs, which facilitates a definition of representation in general.  ...  This description, along with the accompanying diagram -reproduced in Figure 1 .2, conjures up visions of the information domain as populated by automated sensors collecting, fusing and disseminating data  ... 
doi:10.1007/978-3-642-18003-3_23 fatcat:cyfs3gm4fra2diozvn6mudwovq

Dynamic Reconfiguration in Planetary Exploration: A Sociomaterial Ethnography

Melissa Mazmanian, Marisa Cohn, Paul Dourish
2014 MIS Quarterly  
for engaging with this perspective.  ...  Using the venue of space exploration, we present three empirical examples from an ethnographic engagement with a NASA mission orbiting an outer planet in the solar system to examine various configurations  ...  These extreme conditions expose the sociomateriality of information and break down basic assumptions about information technology -the immediacy, instantaneity, and immateriality of information.  ... 
doi:10.25300/misq/2014/38.3.09 fatcat:vev2dlj5kfd3zmbkjdfpnplswq

Report from Dagstuhl Seminar 14411 Constraints, Optimization and Data

Luc De Raedt, Siegfried Nijssen, Barry O'sullivan, Michele Sebag
unpublished
-Constraints, Optimization and Data Many cases are in the intermediate region: the ILO agent should ask for feedback in the early interaction phase; but at some points it should know when it can act autonomously  ...  Important: symmetry breaking at the model and instance level For MIP: a central goal in reformulations is to obtain tighter linear relaxations (should draw on existing work on reformulations, for example  ...  Venable, Brent PCP-nets generalise CP-nets to model conditional preferences with probabilistic uncertainty.  ... 
fatcat:co5kqllubvekzdc22dddhsmpzq

A deep-learning framework for human perception of abstract art composition

Pierre Lelièvre, Peter Neri
2021 Journal of Vision  
size of different depths in the model.  ...  To account for this finding, existing models rely on "meaningful" content or specific image statistics, often in accordance with explicit rules from art theory.  ...  These cues can be trivially exploited to determine picture orientation, but are not connected with composition, so our goal was to remove them as effectively as feasible in automated fashion (manual editing  ... 
doi:10.1167/jov.21.5.9 pmid:33974037 pmcid:PMC8114002 fatcat:zecf7pmnkbgizg3wxtkf5737am

Execution Models [chapter]

2006 Service-Oriented Computing  
By contrast, the exception conditions can be difficult to model and handle.  ...  goes beyond the flex model in considering a richer variety of constraints among transactions.  ...  To maximize readability, it is best to place the constructors in the same owl:Class element unless there are excellent reasons for placing constraints in different elements.  ... 
doi:10.1002/0470091509.ch10 fatcat:2jdemglma5gtre5xkxtzck45am

Chronigami: Folding and unfolding time

Donncha Kavanagh, Luis Araujo
1995 Accounting Management and Information Technologies  
In doing so, it draws heavily on actor-network theory with its emphasis on overcoming the dualism between the natural and social worlds This use of actor-network theory is illustrated with the use of a  ...  In virtually all of these models, time is assumed to be unproblematic, independent, 'out there', and unilinear; time follows its own arrow.  ...  The flashing light on the computer screen acted to conscript the CRA and to break his temporary and temporal relationship with you, the ethnographer.  ... 
doi:10.1016/0959-8022(95)00010-7 fatcat:bnsbdhpfcjgrhbcdiy3nflnemi
« Previous Showing results 1 — 15 out of 234 results