A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
Filters
Foreword
2016
Annals of Mathematics and Artificial Intelligence
Preserved Fulltext
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]
2014
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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]
2020
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Other Versions
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]
2018
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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
2017
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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]
2001
Series on Knots and Everything
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
|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]
2013
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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]
2009
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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
2016
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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]
2016
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
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