Results 21 to 30 of about 964 (264)
Modeling exercise using optogenetically contractible Drosophila larvae
BMC Genomics, 2022 The pathophysiological effects of a number of metabolic and age-related disorders can be prevented to some extent by exercise and increased physical activity.
Arpan C. Ghosh +5 more
doaj +1 more source
Vertex decomposability of complexes associated to forests [PDF]
Transactions on Combinatorics, 2022 In this article, we discuss the vertex decomposability of three well-studied simplicial complexes associated to forests. In particular, we show that the bounded degree complex of a forest and the complex of directed trees of a multidiforest is ...
Anurag Singh
doaj +1 more source
SSRN Electronic Journal, 2010 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Piero Gottardi +2 more
openaire +10 more sources
Fiber Bundle Fault Tolerance of GKP Codes [PDF]
QuantumWe investigate multi-mode GKP (Gottesman–Kitaev–Preskill) quantum error-correcting codes from a geometric perspective. First, we construct their moduli space as a quotient of groups and exhibit it as a fiber bundle over the moduli space of symplectically
Ansgar G. Burchards +2 more
doaj +1 more source
Proceedings of the 24th ACM Conference on Economics and Computation, 2023 We explore the deliberate infusion of ambiguity into the design of contracts. We show that when the agent is ambiguity‐averse and hence chooses an action that maximizes their minimum utility, the principal can strictly gain from using an ambiguous contract, and this gain can be arbitrarily high.
Paul Dütting +3 more
openaire +2 more sources
A note on edge-disjoint contractible Hamiltonian cycles in polyhedral maps
Electronic Journal of Graph Theory and Applications, 2014 We present a necessary and sufficient condition for existence of edge-disjoint contractible Hamiltonian Cycles in the edge graph of polyhedral maps.
Ashish K Upadhyay, Dipendu Maity
doaj +1 more source
Focusing on Contraction. [PDF]
, 2013 Focusing [1] is a proof-theoretic device to structure proof search in the sequent calculus: it provides a normal form to cut-free proofs in which the application of invertible and non-invertible inference rules is structured in two separate and disjoint phases.
A. Avellone +2 more
openaire +3 more sources
The Intelligible Contract [PDF]
Proceedings of the Annual Hawaii International Conference on System Sciences, 2020 n ...
luca cervone +2 more
openaire +3 more sources
Contractibility of the hyperspace of meager subcontinua, two examples
Applied General TopologyGiven a metric continuum X, the hyperspace of meager subcontinua of X, denoted by M(X), is the collection of all subcontinua of X with empty interior. Answering questions by Norberto Ordo˜nez, in this paper we construct two dendroids showing that there ...
Alejandro Illanes +1 more
doaj +1 more source
Boundary Value Problems, 2019 We prove the existence of multiple positive solutions for a fractional Laplace problem with critical growth and sign-changing weight in non-contractible domains.
Lu Pang, Xueqin Li, Yajing Zhang
doaj +1 more source