Episciences.org
Not a member yet
6707 research outputs found
Sort by
On Lattice Constructions D and D' from q-ary Linear Codes
No full textMultilevel lattice codes, such as those associated to Constructions ,, D and D', have relevant applications in communications. In thispaper, we investigate some properties of lattices obtained via Constructions Dand D' from -ary linear codes. Connections with Construction A, generatormatrices, expressions and bounds for the lattice volume and minimum distancesare derived. Extensions of previous results regarding construction and decodingof binary and -ary linear codes ( prime) are also presented
Category-Graded Algebraic Theories and Effect Handlers
No full textWe provide an effect system CatEff based on a category-graded extension ofalgebraic theories that correspond to category-graded monads. CatEff hascategory-graded operations and handlers. Effects in CatEff are graded bymorphisms of the grading category. Grading morphisms represent fine structuresof effects such as dependencies or sorts of states. Handlers in CatEff areregarded as an implementation of category-graded effects. We define the notionof category-graded algebraic theory to give semantics of CatEff and provesoundness and adequacy. We also give an example using category-graded effectsto express protocols for sending receiving typed data
The sheaf representation of residuated lattices
No full textThe residuated lattices form one of the most important algebras of fuzzylogics and have been heavily studied by people from various different points ofview. Sheaf presentations provide a topological approach to many algebraicstructures. In this paper, we study the topological properties of primespectrum of residuated lattices, and then construct a sheaf space to obtain asheaf representation for each residuated lattice.Comment: This is a paper presented at ISDT
Traced Monads and Hopf Monads
No full textA traced monad is a monad on a traced symmetric monoidal category that liftsthe traced symmetric monoidal structure to its Eilenberg-Moore category. Along-standing question has been to provide a characterization of traced monadswithout explicitly mentioning the Eilenberg-Moore category. On the other hand,a symmetric Hopf monad is a symmetric bimonad whose fusion operators areinvertible. For compact closed categories, symmetric Hopf monads are preciselythe kind of monads that lift the compact closed structure to theirEilenberg-Moore categories. Since compact closed categories and tracedsymmetric monoidal categories are closely related, it is a natural question toask what is the relationship between Hopf monads and traced monads. In thispaper, we introduce trace-coherent Hopf monads on traced monoidal categories,which can be characterized without mentioning the Eilenberg-Moore category. Themain theorem of this paper is that a symmetric Hopf monad is a traced monad ifand only if it is a trace-coherent Hopf monad. We provide many examples oftrace-coherent Hopf monads, such as those induced by cocommutative Hopfalgebras or any symmetric Hopf monad on a compact closed category. We alsoexplain how for traced Cartesian monoidal categories, trace-coherent Hopfmonads can be expressed using the Conway operator, while for traced coCartesianmonoidal categories, any trace-coherent Hopf monad is an idempotent monad. Wealso provide separating examples of traced monads that are not Hopf monads, aswell as symmetric Hopf monads that are not trace-coherent.Comment: Final Version, Published in Compositionalit
An energy approach to asymptotic, higher-order, linear homogenization
No full textA higher-order homogenization method for linear elastic structures is proposed. While most existing approaches to homogenization start from the equations of equilibrium, the proposed one works at the energy level. We start from an energy functional depending on microscopic degrees of freedom on the one hand and on macroscopic variables on the other hand; the homogenized energy functional is derived by relaxing the microscopic degrees of freedom and applying a formal two-scale expansion. This method delivers the energy functional of the homogenized model directly, including boundary terms that have not been discussed in previous work. Our method is formulated in a generic setting which makes it applicable to a variety of geometries in dimension 1, 2 or 3, and without any particular assumption on material symmetry. An implementation using a symbolic calculation language is proposed and it is distributed as an open-source library. Simple illustrations to elastic trusses having pre-stress or graded elastic properties are presented. The approach is presented in the context of discrete elastic structures and the connection with previous work on the higher-order homogenization of period continua is discussed
Comment l’intensification des échanges de biens redessine les espaces et redéfinit l’exercice du pouvoir politique
No full textThe reorganization of flows is transforming geographical spaces by redefining the layouts and hierarchies of places. Logistics combines economic processes and their political framework and now appears as a central issue in planning. Whereas research has been able to focus on technical devices or economic choices, the conference invites the participants to highlight logistics as an instrument of geographical governance and a political issue, in a global, in a macro-regional and in a metropolitan perspective.La réorganisation des flux transforme les espaces, redéfinit leurs agencements et leurs hiérarchies. Au croisement des processus économiques et mais aussi de son encadrement politique, la logistique apparaît désormais comme un enjeu central d’aménagement
The Complexity of Iterated Reversible Computation
No full textWe study a class of functional problems reducible to computing for inputs and , where is a polynomial-time bijection. As we prove,the definition is robust against variations in the type of reduction used inits definition, and in whether we require to have a polynomial-time inverseor to be computible by a reversible logic circuit. These problems arecharacterized by the complexity class , andinclude natural -complete problems in circuitcomplexity, cellular automata, graph algorithms, and the dynamical systemsdescribed by piecewise-linear transformations.Comment: 35 pages, 8 figure
Chow groups of surfaces of lines in cubic fourfolds
No full textThe surface of lines in a cubic fourfold intersecting a fixed line splitsmotivically into two parts, one of which resembles a K3 surface. We define theanalogue of the Beauville-Voisin class and study the push-forward map to theFano variety of all lines with respect to the natural splitting of theBloch-Beilinson filtration introduced by Mingmin Shen and Charles Vial.Comment: 15 page
Style Classification of Rabbinic Literature for Detection of Lost Midrash Tanhuma Material
No full textMidrash collections are complex rabbinic works that consist of text inmultiple languages, which evolved through long processes of unstable oral andwritten transmission. Determining the origin of a given passage in such acompilation is not always straightforward and is often a matter of disputeamong scholars, yet it is essential for scholars' understanding of the passageand its relationship to other texts in the rabbinic corpus. To help solve thisproblem, we propose a system for classification of rabbinic literature based onits style, leveraging recent advances in natural language processing for Hebrewtexts. Additionally, we demonstrate how this method can be applied to uncoverlost material from a specific midrash genre, Tan\d{h}uma-Yelammedenu, that hasbeen preserved in later anthologies
Diffuse and Localized Functional Dysconnectivity in Schizophrenia: a Bootstrapped Top-Down Approach
No full textSchizophrenia (SZ) is a brain disorder leading to detached mind's normallyintegrated processes. Hence, the exploration of the symptoms in relation tofunctional connectivity (FC) had great relevance in the field. FC can beinvestigated on different levels, going from global features to single edgesbetween regions, revealing diffuse and localized dysconnection patterns. Inthis context, SZ is characterized by a diverse global integration with reducedconnectivity in specific areas of the Default Mode Network (DMN). However, theassessment of FC presents various sources of uncertainty. This study proposes amulti-level approach for more robust group-comparison. FC between 74 AAL brainareas of 15 healthy controls (HC) and 12 SZ subjects were used. Multi-levelanalyses and graph topological indexes evaluation were carried out by thepreviously published SPIDER-NET tool. Robustness was augmented by bootstrapped(BOOT) data and the stability was evaluated by removing one (RST1) or twosubjects (RST2). The DMN subgraph was evaluated, toegether with overall localindexes and connection weights to enhance common activations/deactivations. Ata global level, expected trends were found. The robustness assessment testshighlighted more stable results for BOOT compared to the direct data testing.Conversely, significant results were found in the analysis at lower levels. TheDMN highlighted reduced connectivity and strength as well as increaseddeactivation in the SZ group. At local level, 13 areas were found to besignificantly different (), highlighting a greater divergence in thefrontal lobe. These results were confirmed analyzing the negative edges,suggesting inverted connectivity between prefronto-temporal areas. Inconclusion, multi-level analysis supported by BOOT is highly recommended,especially when diffuse and localized dysconnections must be investigated inlimited samples.Comment: 28 pages, 8 figure