Results 11 to 20 of about 1,009,763 (185)
Centrosymmetric universal realizability [PDF]
A list $\Lambda =\{\lambda_{1},\ldots,\lambda_{n}\}$ of complex numbers is said to be realizable, if it is the spectrum of an entrywise nonnegative matrix $A$. In this case, $A$ is said to be a realizing matrix. $\Lambda$ is said to be universally realizable, if it is realizable for each possible Jordan canonical form (JCF) allowed by $\Lambda$.
Ana Julio +2 more
openaire +4 more sources
Learning, realizability and games in classical arithmetic [PDF]
PhDAbstract. In this dissertation we provide mathematical evidence that the concept of learning can be used to give a new and intuitive computational semantics of classical proofs in various fragments of Predicative Arithmetic.
Aschieri, Federico
core +4 more sources
Independence and conservativity results for intuitionistic set theory [PDF]
There are two main parts to this thesis. The first part will deal with some independence results. In 1979, Lifschitz in [13] introduced a realizability interpretation for Heyting's arithmetic, HA, that could differentiate between Church's thesis with ...
Chen, Ray-Ming
core +5 more sources
Care and COVID 19: Lessons for liberals and neoliberals
Abstract Within the liberal political traditions, care is regarded as a private matter, a problem of ethics rather than justice. Social justice is framed as an issue of economics (re/distribution), culture (recognition) and/or politics (representation).
Kathleen Lynch
wiley +1 more source
Nested Selves: Self‐Organization and Shared Markov Blankets in Prenatal Development in Humans
Abstract The immune system is a central component of organismic function in humans. This paper addresses self‐organization of biological systems in relation to—and nested within—other biological systems in pregnancy. Pregnancy constitutes a fundamental state for human embodiment and a key step in the evolution and conservation of our species. While not
Anna Ciaunica +3 more
wiley +1 more source
Realizing Universal Dependencies Structures [PDF]
We first describe a surface realizer forUniversal Dependencies (UD) structures. The system uses a symbolic approach to transform the dependency tree into a tree of constituents that is transformed into an English sentence by an existing realizer. This approach was then adapted for the two shared tasks of SR’19.
openaire +1 more source
Indices of diagonalizable and universal realizability of spectra
A list $\Lambda =\{\lambda _{1},\ldots ,\lambda _{n}\}$ of complex numbers (repeats allowed) is said to be \textit{realizable} if it is the spectrum of an entrywise nonnegative matrix $A$. $\Lambda $ is \textit{diagonalizably realizable} if the realizing
Julio, Ana I. +2 more
core +1 more source
Procedures for realizing an approximate universal-not gate [PDF]
We consider procedures to realize an approximate universal NOT gate in terms of average fidelity and fidelity deviation. The average fidelity indicates the optimality of operation on average, while the fidelity deviation does the universality of operation.
Bang, Jeongho +3 more
openaire +2 more sources
Realization of the optimal universal quantum entangler [PDF]
We present the first experimental demonstration of the ''optimal'' and ''universal'' quantum entangling process involving qubits encoded in the polarization of single photons. The structure of the ''quantum entangling machine'' consists of the quantum injected optical parametric amplifier by which the contextual realization of the 1->2 universal ...
SCIARRINO, Fabio +2 more
openaire +3 more sources
Realizability Without Symmetry [PDF]
In categorical realizability, it is common to construct categories of assemblies and modest sets from applicative structures. In this paper, we introduce several classes of applicative structures and apply the categorical realizability construction to ...
Tomita, Haruka
core +1 more source

