Results 71 to 80 of about 1,009,763 (185)
Sheaf Toposes for Realizability
Steve Awodey and Audrej Bauer.
Audrej Bauer (5373497) +1 more
core +1 more source
A real‐time power quality disturbance generator is developed using virtual instrumentation based on LabVIEW and NI MyDAQ. The system generates IEEE‐standard PQ events with controllable noise and harmonics. Measurement uncertainty analysis confirms its reliability for realistic testing of Power Quality Disturbance detection and classification algorithms.
Abdullah Saud +5 more
wiley +1 more source
Realizability Toposes from Specifications [PDF]
We investigate a framework of Krivine realizability with I/O effects, and present a method of associating realizability models to specifications on the I/O behavior of processes, by using ad- equate interpretations of the central concepts of pole and ...
Frey, Jonas
core +1 more source
ABSTRACT Understanding the origins and determinants of biological complexity requires integrating theoretical and empirical perspectives across the tree of life. The present work discusses a recent theoretical proposal suggesting that the emergence of eukaryotes can be understood as an algorithmic phase transition governed by universal scaling laws in ...
Antonio Salas
wiley +1 more source
The nation‐state, non‐Western empires, and the politics of cultural difference
Abstract While empires have been central to political theory, they almost always refer to Western forms of imperialism and colonialism to which non‐Western societies are subject. But precolonial empires have ruled much of the world for much of known history. Building on recent International Relations (IR) scholarship, this article reconstructs an ideal
Loubna El Amine
wiley +1 more source
Business Realism—A New Account of Morality and Power in Business Ethics
ABSTRACT This article introduces a new account of morality and power in business ethics called “business realism”. To this end, it first outlines the political realism literature—a view in political philosophy that deals with the question of the relation between morality and politics.
Iwan Alijew
wiley +1 more source
Powers and Practices in Labor Standards Enforcement
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
Almost sure OTM-realizability [PDF]
Combining the approaches made in works with Galeotti and Passmann, we define and study a notion of "almost sure" realizability with parameter-free ordinal Turing machines (OTMs). In particular, we show that, in contrast to the classical case, almost sure
Carl, Merlin
core
Filtered Order-partial Combinatory Algebras and Classical Realizability [PDF]
This thesis is mainly about classical realizability. We study a general construction of abstract Krivine structures from filtered order-partial combinatory algebras. This construction gives interesting models of classical realizability, in the sense that
Zou, Tingxiang
core
Physical Realizability of An Open Spin System
Coherent feedback control considers purely quantum controllers in order to overcome disadvantages such as the acquisition of suitable quantum information, quantum error correction, etc.
Espinosa, Luis A Duffaut +4 more
core

