Filters








292 Hits in 3.6 sec

Automated Symmetry Breaking and Model Selection in Conjure [chapter]

Ozgur Akgun, Alan M. Frisch, Ian P. Gent, Bilal Syed Hussain, Christopher Jefferson, Lars Kotthoff, Ian Miguel, Peter Nightingale
2013 Lecture Notes in Computer Science  
The first contribution of this paper is a method by which CONJURE can break symmetry in a model as it is introduced by the modelling process.  ...  The CONJURE automated constraint modelling system addresses this problem by automatically refining constraint models from problem specifications written in the ESSENCE language.  ...  This research is supported by UK EPSRC grants no EP/H004092/1 and EP/K015745/1 and EU FP7 grant 284715.  ... 
doi:10.1007/978-3-642-40627-0_11 fatcat:cxqewt6m3zae5ak6x3iapezzk4

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

Transforming and Refining Abstract Constraint Specifications [chapter]

Alan M. Frisch, Brahim Hnich, Ian Miguel, Barbara M. Smith, Toby Walsh
2005 Lecture Notes in Computer Science  
It is a considerable challenge to automate such transformations. A problem may be viewed and transformed at various levels of abstraction.  ...  We illustrate this point by means of the SONET problem, a realistic combinatorial optimisation problem, which is transformed and subsequently refined into a number of constraint models.  ...  Acknowledgements Brahim Hnich and Toby Walsh are supported by Science Foundation Ireland. Ian Miguel is supported by a UK-Royal Academy of Engineering/EPSRC Post-doctoral Fellowship.  ... 
doi:10.1007/11527862_6 fatcat:eiuj5yekzzhc5hzlksdpzojrxy

Athanor: High-Level Local Search Over Abstract Constraint Specifications in Essence

Saad Attieh, Nguyen Dang, Christopher Jefferson, Ian Miguel, Peter Nightingale
2019 Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence  
The paper details how Athanor operates, covering incremental evaluation, dynamic unrolling of quantified expressions and neighbourhood construction.  ...  It is unique in that it operates directly on the high level, nested types in Essence, such as set of partitions or multiset of sequences, without refining such types into low level representations.  ...  This work used the Cirrus UK National Tier-2 HPC Service at EPCC (http://www.cirrus.ac.uk) funded by the University of Edinburgh and EPSRC (EP/P020267/1).  ... 
doi:10.24963/ijcai.2019/148 dblp:conf/ijcai/AttiehDJMN19 fatcat:lgi7p5opk5cnlo35zqm6curxu4

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.  ...  Essence also allows these combinatorial objects to be nested to arbitrary depth, providing for example sets of partitions, sets of sets of partitions, and so forth.  ...  Acknowledgements We thank Andy Grayland, David Mitchell, Andrea Rendl and Eugenia Ternovska for useful discussions about Essence, and Matt Grum and Rupert Thompson for writing the catalogue of Essence  ... 
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.  ...  (ii) Although orientation selectivity is a hallmark of mammalian cortical organization, this feature selectivity is, in most spiking models, forced in an ad hoc way, by prespecified wiring rules between  ... 
doi:10.1126/science.aan8866 pmid:29074766 fatcat:7wo22kixfvdojoecsrmiao32zq

A constraint-based local search backend for MiniZinc

Gustav Björdal, Jean-Noël Monette, Pierre Flener, Justin Pearson
2015 Constraints  
MiniZinc is a modelling language for combinatorial problems, which can then be solved by a solver provided in a backend.  ...  Experimental results show that for some MiniZinc models, our CBLS backend, based on the OscaR/CBLS solver, is able to give good-quality results in short time.  ...  We thank the anonymous reviewers for their constructive and insightful comments.  ... 
doi:10.1007/s10601-015-9184-z fatcat:i7hcvbrtffhpxoyxhkwrzms44a

Epistemic oppression, resistance, and resurgence

Nora Berenstain, Kristie Dotson, Julieta Paredes, Elena Ruíz, Noenoe K. Silva
2021 Contemporary Political Theory  
Nor is it a piece that imagines symmetries in knowledge-outputs equates to symmetry of epistemological orientations.  ...  Actors can break away from the system and the system will carry on.  ... 
doi:10.1057/s41296-021-00483-z fatcat:y66yz2yhzffezmd4t3d23lm6pi

A perspective on inverse design of battery interphases using multi-scale modelling, experiments and generative deep learning

Arghya Bhowmik, Ivano E. Castelli, Juan Maria Garcia-Lastra, Peter Bjørn Jørgensen, Ole Winther, Tejs Vegge
2019 Energy Storage Materials  
We show how understanding and tracking different types of uncertainties in the experimental and simulation methods, as well as the machine learning framework for the generative model, is crucial for controlling  ...  and improving the fidelity in the predictive design of battery interfaces and interphases.  ...  ) and FET Proactive (824066 and 854472).  ... 
doi:10.1016/j.ensm.2019.06.011 fatcat:ovgewd2i65hshkxtf4egazeu2m

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

Philip Mirowski
2007 Journal of Economic Behavior and Organization  
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  ...  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  ...  Acknowledgements I should like to thank the audiences at Carnegie-Mellon, University of Stirling, the University of Queensland and the Universidad Republica de Montevideo, Uruguay, and more particularly  ... 
doi:10.1016/j.jebo.2005.03.015 fatcat:cl53ijlwmvhwfdzkbsblnzfzp4

The Open Archives Initiative

Hussein Suleman, Edward Fox
2002 Journal of Library Administration  
This article provides an overview of the mission, philosophy, and technical framework of the OAI.  ...  Registration can be automated by using the Identify service request to return information about an archive.  ...  Basic OA Concepts Repositories and Open Archives The words "Open Archive" frequently conjure up images of information access without any associated cost or restriction.  ... 
doi:10.1300/j111v35n01_08 fatcat:xn6soygfu5ci7hnr4ayi75l4qu

A review of literature on parallel constraint solving

IAN P. GENT, IAN MIGUEL, PETER NIGHTINGALE, CIARAN MCCREESH, PATRICK PROSSER, NEIL C. A. MOORE, CHRIS UNSWORTH
2018 Theory and Practice of Logic Programming  
how to best exploit portfolios and cooperating search.  ...  We review the literature, and see that we can sometimes do quite well, some of the time, on some instances, but we are far from a general solution.  ...  Acknowledgements We thank Christopher Jefferson for a number of useful discussions, and the reviewers of this journal for their suggestions, which greatly improved this paper.  ... 
doi:10.1017/s1471068418000340 fatcat:42hcmkwlgnayhkmn7w7ypzeh3m

A Review of Literature on Parallel Constraint Solving [article]

Ian P. Gent and Ciaran McCreesh and Ian Miguel and Neil C.A. Moore and Peter Nightingale and Patrick Prosser and Chris Unsworth
2018 arXiv   pre-print
Under consideration in Theory and Practice of Logic Programming (TPLP).  ...  how to best exploit portfolios and cooperating search.  ...  Finally, we thank Enrico Pontelli for kindly granting an extension to the deadline when multiple authors of this paper were (in parallel) suffering illness or other problems.  ... 
arXiv:1803.10981v1 fatcat:ramac3tqfrephdxq7gca3tglei

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.  ...  Acknowledgments Supported by grants ANR-16-CE28-0016, ANR-17-EURE-0017, ANR-10-LABX-0087 IEC and ANR-10-IDEX-0001-02 PSL from Agence Nationale de la Recherche.  ... 
doi:10.1167/jov.21.5.9 pmid:33974037 pmcid:PMC8114002 fatcat:zecf7pmnkbgizg3wxtkf5737am

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
Probabilistic programming languages are valuable because they allow domain experts to express probabilistic models and inference algorithms without worrying about irrelevant details.  ...  We then make great use of domain-specific invariants and norms to optimize the code, and to specialize and JIT-compile the code per execution.  ...  The Indiana METACyt Initiative at IU is also supported in part by Lilly Endowment, Inc.  ... 
arXiv:1805.06562v5 fatcat:kta3djopvnhs5fwpv7bro2zjqy
« Previous Showing results 1 — 15 out of 292 results