Results 21 to 30 of about 2,707 (98)
Logical and Algebraic Characterizations of Rational Transductions [PDF]
, 2019 Rational word languages can be defined by several equivalent means: finite state automata, rational expressions, finite congruences, or monadic second-order (MSO) logic.
Filiot, Emmanuel +2 more
core +4 more sources
Reasoning about temporal relations : a maximal tractable subclass of Allen\u27s interval algebra [PDF]
, 1993 We introduce a new subclass of Allen\u27s interval algebra we call "ORD-Horn subclass", which is a strict superset of the "pointisable subclass". We prove that reasoning in the ORD-Horn subclass is a polynomial-time problem and show that the path ...
Bürckert, Hans-Jürgen, Nebel, Bernhard
core +2 more sources
Identity Testing for Constant-Width, and Commutative, Read-Once Oblivious ABPs [PDF]
, 2016 We give improved hitting-sets for two special cases of Read-once Oblivious Arithmetic Branching Programs (ROABP). First is the case of an ROABP with known variable order.
Gurjar, Rohit +2 more
core +1 more source
Symbolic-Numeric Tools for Analytic Combinatorics in Several Variables
, 2016 Analytic combinatorics studies the asymptotic behaviour of sequences through the analytic properties of their generating functions. This article provides effective algorithms required for the study of analytic combinatorics in several variables, together
Melczer, Stephen, Salvy, Bruno
core +3 more sources
Constructive set theory and Brouwerian principles [PDF]
, 2005 The paper furnishes realizability models of constructive Zermelo-Fraenkel set theory, CZF, which also validate Brouwerian principles such as the axiom of continuous choice (CC), the fan theorem (FT), and monotone bar induction (BIM), and thereby ...
Rathjen, M
core +2 more sources
Advanced Intelligent Discovery, EarlyView.This article investigates how persistent homology, persistent Laplacians, and persistent commutative algebra reveal complementary geometric, topological, and algebraic invariants or signatures of real‐world data. By analyzing shapes, synthetic complexes, fullerenes, and biomolecules, the article shows how these mathematical frameworks enhance ...
Yiming Ren, Guo‐Wei Wei
wiley +1 more source
The Geometry of Synchronization (Long Version) [PDF]
, 2014 We graft synchronization onto Girard's Geometry of Interaction in its most concrete form, namely token machines. This is realized by introducing proof-nets for SMLL, an extension of multiplicative linear logic with a specific construct modeling ...
Faggian, Claudia +3 more
core +5 more sources
Asia-Pacific Journal of Chemical Engineering, EarlyView.ABSTRACT In this study, the actual route of methylene blue (MB) dye adsorption by using fabricated polyfunctional activated carbon–copper oxide nanowires (AC@CuO‐NWs) from bulky wastewater bodies has been investigated. To better understand the exact pathway of the adsorption process, a prominent statistical physics formalism or grand canonical ...
Abdellatif Sakly +7 more
wiley +1 more source
Univariate real root isolation in an extension field
, 2011 We present algorithmic, complexity and implementation results for the problem of isolating the real roots of a univariate polynomial in $B_{\alpha} \in L[y]$, where $L=\QQ(\alpha)$ is a simple algebraic extension of the rational numbers.
Strzebonski, Adam, Tsigaridas, Elias
core +1 more source
Business Strategy and the Environment, EarlyView.ABSTRACT This study systematizes the literature on eco‐innovation and economic complexity, aiming to understand how the sophistication of productive structures shapes countries' capacity to develop environmentally responsible innovations, and how eco‐innovation may, in turn, influence productive sophistication.
Gregory Matheus Pereira de Moraes +1 more
wiley +1 more source