Filters








10 Hits in 5.4 sec

Foreword

Lisa Hellerstein, Lev Reyzin, Gyorgy Turan
2016 Annals of Mathematics and Artificial Intelligence  
Abramé, Habet, and Toumi present a new local search algorithm, called Ncca+, for solving random satisfiable k-SAT instances.  ...  Local search algorithms for k-SAT begin with an initial truth assignment, satisfying some of the clauses, and then try to increase the number of satisfied clauses by iteratively choosing variables to flip  ...  Qu and Doshi consider data on how subjects play sequential bargaining games (SBG). They evaluate many computational models that integrate choice models with utility functions on SBG data.  ... 
doi:10.1007/s10472-016-9533-7 fatcat:oraojupwsbgdzcqigqm4qx4qea

Polarities & Focussing: a journey from Realisability to Automated Reasoning [article]

Stéphane Graham-Lengrand
2014 arXiv   pre-print
For instance: proofs of positive formulae provide structured data, while proofs of negative formulae consume such data; focussing allows the description of the interaction between the two kinds of proofs  ...  This idea is pushed further in the second part of this dissertation, and connected to realisability semantics, where the structured data is interpreted algebraically, and the consumption of such data is  ...  We described how these concepts can contribute to the description of the DPLL(T ) procedure for SMT-solving [NOT06] as a specific strategy for the bottom-up proof-search process specified by the sequent  ... 
arXiv:1412.6781v1 fatcat:sj4zl2ayu5bzfjaq76znvllsb4

Factorization homology I: higher categories [article]

David Ayala, John Francis, Nick Rozenblyum
2020 arXiv   pre-print
Our main result constructs labeling systems on disk-stratified vari-framed n-manifolds from (∞,n)-categories.  ...  The essential geometric notion is that of a vari-framing of a stratified manifold, which is a framing on each stratum together with a coherent system of compatibilities of framings along links between  ...  singularities and induction on depth of singularity type.  ... 
arXiv:1504.04007v7 fatcat:d7ghboefmnh4dkegbdww7hssey

Presheaf Models of Relational Modalities in Dependent Type Theory [article]

Andreas Nuyts
2018 arXiv   pre-print
This report is an extension of 'A Model of Parametric Dependent Type Theory in Bridge/Path Cubical Sets' (Nuyts, arXiv:1706.04383).  ...  The purpose of this text is to prove all technical aspects of our model for dependent type theory with parametric quantifiers (Nuyts, Vezzosi and Devriese, 2017) and with degrees of relatedness (Nuyts  ...  We prove this by induction on the length of the context.  ... 
arXiv:1805.08684v1 fatcat:weesuc7g5ffo5clxx3yf43s76u

An analysis of patient dependency data, utilizing the TrendCare system

Virginia Margaret Plummer
2017
This study is the first empirical analysis of nurse patient ratio and patient dependency data on the same patient and staff cohort.  ...  A statistical analysis of nursing hours and patient types was undertaken through retrospective analysis of existing administrative data, provided by 22 acute care public and private hospitals in Australia  ...  ERRATUM REGISTERED NURSES ENTERPRISE BARGAINING AGREEMENT OVERTIME New Clause 18.4 18.4 In lieu of receiving payment for overtime worked in accordance with this clause, employees may, with the consent  ... 
doi:10.4225/03/586dc2680daa3 fatcat:anh44jibnzbkllpybdmuraomju

ON THE CONSTRUCTION OF RELATIVISTIC QUANTUM THEORY: A Progress Report [chapter]

H. PIERRE NOYES
2001 Series on Knots and Everything  
|A still simpler alternative, which occurred to tne in writing this paper, would be to allow the null string to occur as one of the elements in the universe.  ...  For those who wish the integers themselves to be constructed, one can follow Gefwert's approach in terms of primitive recursive functions , or follow Kilmister's foundational discussion in Appendix I where  ...  steps in dynamics without any solution to the one and the many problem.  ... 
doi:10.1142/9789812810090_0004 fatcat:nuq33c4ptfd3la7a2lbm3bhpcm

Drivers of scientific success; an analysis of terrestrial magnetism on the Discovery Antarctic expedition, 1901-04 [article]

Andrew James Atkin, University Of Canterbury
2013
There was confusion between the magnetic work intended to provide improved charts for navigation purposes and the scientific research designed to help solve the causes of terrestrial magnetism and it's  ...  elements contributing to superior outcomes are identified as the human elements of preparation, leadership, scientific practice, skill, knowledge development and finally post-expedition management of data  ...  Methods Methods are the operations used to collect and analyse data. Their selection depends on the types of data being analysed and the type of knowledge generation anticipated.  ... 
doi:10.26021/5618 fatcat:jh3ydv3a2rfjvngljeqpfpo6zi

Music Out of Nothing? A Rigorous Approach to Algorithmic Composition by Iannis Xenakis [article]

Peter Hoffmann, Technische Universität Berlin, Technische Universität Berlin, Christian Martin Schmidt
2009
For this to work mechanically, the logical clauses have to be in a special form (the so-called Horn-clauses).  ...  Logic programming is based on the theory of resolution of logical clauses.  ...  -Click with the mouse on the command "Play". (Press and release the left mouse button without moving the mouse.) A menu will pull down.  ... 
doi:10.14279/depositonce-2292 fatcat:fxnhlffdqjcj5dte4uwfxpuj6a

Cellular Homotopy Excision

Kay Remo Werndli
2016
My special thank goes to Wojciech Chachólski, who so kindly agreed to host me at the KTH in Stockholm for a half-year stay even though he already had more than enough on his plate.  ...  Thank you for believing in me and that I will find the right path for myself without any pressure to become something I did not want.  ...  We now continue by induction on the number of f I in w.  ... 
doi:10.5075/epfl-thesis-7127 fatcat:2puvjfknbbfz7p52ruvhoshed4

ŚAṬAN the nemesis: the Talmud's curriculum on God's attribute of justice [article]

Alexander Seinfeld, University, My, University, My, Avram I. Reisner
2016
as a type of oral performance, projecting the rabbis' self-understanding as transmitters of oral texts.  ...  The methodology expands on Jacob Neusner's research on Talmudic halachah, on the work of Moulie Vidas in uncovering the agenda of the Talmud's redactors on the scholarship of Yaakov Elman, Shai Secunda  ...  erratum.  ... 
doi:10.13016/m22v2cd6g fatcat:7hrqenegcjasnh6xfcq7sa7rue