Results 61 to 70 of about 355 (190)
, 2010 We upgrade the light Dialectica interpretation (Hernest, 2005) [6] by adding two more light universal quantifiers, which are both semi-computational and semi-uniform and complement each other.
Trifon Trifonov +3 more
core +1 more source
Instability-Induced Ordering, Universal Unfolding and the Role of Gravity in Granular Couette Flow [PDF]
, 2005 Linear stability theory and bifurcation analysis are used to investigate the role of gravity in shear-band formation in granular Couette flow, considering a kinetic-theory rheological model.
Nott, P. R. +8 more
core +1 more source
Life, but Not as We Know It: Why Fine‐Tuning Arguments Fail
Noûs, EarlyView.ABSTRACT Definitions of “life” and theories of life are systematically neglected in arguments for and from fine‐tuning. Despite claims to be neutral about the definition of “life,” fine‐tuning arguments generally presuppose that life requires a form of structural complexity only afforded by physicochemical complexity of the sort with which we are ...
Joe Gough
wiley +1 more source
Effective Operations of type 2 in PCAs [PDF]
, 2016 We exhibit a way of “forcing a partial functional to be realizable as effective operation” for arbitrary partial combinatory algebras (pcas). This gives a method of defining new pcas from old ones for some fixed type 2 (partial) functional, where the new
van Oosten, J., Faber, Eric
core +2 more sources
Powers and Practices in Labor Standards Enforcement
Regulation &Governance, EarlyView.ABSTRACT Wage theft remains a pervasive problem internationally and within the United States. In response, worker advocates have sought stronger laws to deter violations and promote compliance. Yet formal authority alone may be insufficient; labor departments often fail to use the full extent of their legal authority to conduct vigorous enforcement ...
Daniel J. Galvin +4 more
wiley +1 more source
Realizability Models for Sequential Computation
, 1998 We give an overview of some recently discovered realizability models that embody notions of sequential computation, due mainly to Abramsky, Nickau, Ong, Streicher, van Oosten and the author. Some of these models give rise to fully abstract models of PCF;
John Longley
core
Resilience and Sorites in the Normative Domain and Beyond
Theoria, EarlyView.ABSTRACT The sorites paradox is central to theories on vagueness, which aim to explain apparent contradictions. Some theories, however, imply sharp cut‐offs where we would, intuitively, not expect them. This paper invokes the notion of normative resilience to address this issue.
Henrik Andersson, Jakob Werkmäster
wiley +1 more source
Computational universality in symbolic dynamical systems
, 2004 Many different definitions of computational universality for various types of systems have flourished since Turing’s work. In this paper, we propose a general definition of universality that applies to arbitrary discrete time symbolic dynamical systems ...
n/a +8 more
core +1 more source
Towards a Convenient Category of Topological Domains
, 2003 topological spaces, generalising the usual ω-continuous dcppos of domain theory. Our category supports all the standard constructions of domain theory, including the solution of recursive domain equations.
Simpson, Alex, Alex Simpson
core
Electrochemical Science Advances, Volume 6, Issue 4, August 2026.ABSTRACT We performed first‐principles density functional theory calculations to methodically analyse the structural, mechanical, electronic, thermal, and optical properties of trigonal ZrSnO3 under external pressure up to 60 GPa with GGA‐PBE and HSE06 functionals.
Jahid Hasan +6 more
wiley +1 more source