Search
Results: 304
Ratcheted diffusion transport through crowded nanochannels.
The problem of transport through nanochannels is one of the major questions in cell biology, with a wide range of applications. In this paper we discuss the process of spontaneous translocation of molecules (Brownian particles)...
Subatomic Proof Systems
This article presents the first in a series of results that allow us to develop a theory providing finer control over the complexity of normalization, and in particular of cut elimination. By considering atoms as self-dual...
Cut-elimination deep inference Normalisation Subatomic proof systems /dk/atira/pure/subjectarea/asjc/2600/2614 name=Theoretical Computer Science /dk/atira/pure/subjectarea/asjc/1700/1700 name=General Computer Science /dk/atira/pure/subjectarea/asjc/2600/2609 name=Logic /dk/atira/pure/subjectarea/asjc/2600/2605 name=Computational Mathematics
A Subatomic Proof System for Decision Trees
We design a proof system for propositional classical logic that integrates two languages for Boolean functions: standard conjunction-disjunction-negation and binary decision trees. We give two reasons to do so. The first is...
A Subatomic Proof System for Decision Trees
We design a proof system for propositional classical logic that integrates two languages for Boolean functions: standard conjunction-disjunction-negation and binary decision trees. We give two reasons to do so. The first is...
Vibrational density of states of amorphous solids with long-ranged power-law-correlated disorder in elasticity.
A theory of vibrational excitations based on power-law spatial correlations in the elastic constants (or equivalently in the internal stress) is derived, in order to determine the vibrational density of states D([Formula: see...
Normalisation control in deep inference via atomic flows
We introduce `atomic flows': they are graphs obtained from derivations by tracing atom occurrences and forgetting the logical structure. We study simple manipulations of atomic flows that correspond to complex reductions on...
On the proof complexity of deep inference
We obtain two results about the proof complexity of deep inference: (1) Deep-inference proof systems are as powerful as Frege ones, even when both are extended with the Tseitin extension rule or with the substitution rule; (2)...
A system of interaction and structure V
System NEL is the mixed commutative/non-commutative linear logic BV augmented with linear logic's exponentials, or, equivalently, it is MELL augmented with the non-commutative self-dual connective seq. NEL is presented in deep...
Composing dinatural transformations
Dinatural transformations, which generalise the ubiquitous natural transformations to the case where the domain and codomain functors are of mixed variance, fail to compose in general; this has been known since they were...
On the proof complexity of deep inference
We obtain two results about the proof complexity of deep inference: (1) Deep-inference proof systems are as powerful as Frege ones, even when both are extended with the Tseitin extension rule or with the substitution rule; (2)...
Pair correlation function of charge-stabilized colloidal systems under sheared conditions
The pair correlation function of charge-stabilized colloidal particles under strongly sheared conditions is studied using the analytical intermediate-asymptotics method recently developed in [L. Banetta and A. Zaccone, Phys....
Asymptotically cylindrical Calabi–Yau 3–folds from weak Fano 3–folds
We prove the existence of asymptotically cylindrical (ACyl) Calabi–Yau 3–folds starting with (almost) any deformation family of smooth weak Fano 3–folds. This allow us to exhibit hundreds of thousands of new ACyl Calabi–Yau...
Bank Margins and Profits in a World of Negative Rates
By investigating the influence of negative interest rate policy (NIRP) on bank margins and profitability, this paper identifies country- and bank- specific characteristics that amplify or weaken the effect of NIRP on bank...
Pair correlation function of charge-stabilized colloidal systems under sheared conditions
Abstract: The pair correlation function of charge stabilized colloidal particles under strongly sheared conditions is studied using the analytical intermediate asymptotics method recently developed in Banetta and Zaccone (Phys....
G<sub>2</sub>-Manifolds and associative submanifolds via semi-fano 3-folds
We construct many new topological types of compact G2-manifolds, that is, Riemannian 7-manifolds with holonomy group G2. To achieve this we extend the twisted connected sum construction first developed by Kovalev...
Bank Margins and Profits in a World of Negative Rates
By investigating the influence of negative interest rate policy (NIRP) on bank margins and profitability, this paper identifies country- and bank- specific characteristics that amplify or weaken the effect of NIRP on bank...
Subatomic Proof Systems
This article presents the first in a series of results that allow us to develop a theory providing finer control over the complexity of normalization, and in particular of cut elimination. By considering atoms as self-dual...
Cut-elimination deep inference Normalisation Subatomic proof systems /dk/atira/pure/subjectarea/asjc/2600/2614 name=Theoretical Computer Science /dk/atira/pure/subjectarea/asjc/1700/1700 name=General Computer Science /dk/atira/pure/subjectarea/asjc/2600/2609 name=Logic /dk/atira/pure/subjectarea/asjc/2600/2605 name=Computational Mathematics
Composing dinatural transformations
Dinatural transformations, which generalise the ubiquitous natural transformations to the case where the domain and codomain functors are of mixed variance, fail to compose in general; this has been known since they were...
Nonaffine deformation and tunable yielding of colloidal assemblies at the air-water interface.
Silica nanoparticles trapped at the air-water interface form a 2D solid state with amorphous order. We propose a theoretical model to describe how this solid-like state deforms under a shear strain ramp up to and beyond a...
Pair correlation function of charge-stabilized colloidal systems under sheared conditions
Abstract: The pair correlation function of charge stabilized colloidal particles under strongly sheared conditions is studied using the analytical intermediate asymptotics method recently developed in Banetta and Zaccone (Phys....
A system of interaction and structure V
System NEL is the mixed commutative/non-commutative linear logic BV augmented with linear logic's exponentials, or, equivalently, it is MELL augmented with the non-commutative self-dual connective seq. NEL is presented in deep...
Asymptotically cylindrical Calabi–Yau 3–folds from weak Fano 3–folds
We prove the existence of asymptotically cylindrical (ACyl) Calabi–Yau 3–folds starting with (almost) any deformation family of smooth weak Fano 3–folds. This allow us to exhibit hundreds of thousands of new ACyl Calabi–Yau...
|
|< |
< |
1 |