Results 21 to 30 of about 2,651 (92)

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

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

Revealing Protein–Protein Interactions Using a Graph Theory‐Augmented Deep Learning Approach

Advanced Intelligent Discovery, EarlyView.
This study presents a fast, cost‐efficient approach for classifying protein–protein interactions by integrating graph‐theory parametrization with deep learning (DL). Multiscale features extracted from graph‐encoded polarized‐light microscopy (PLM) images enable accurate prediction of binding strengths.
Bahar Dadfar, Gözde Kabay, Matthias Franzreb, Kody Whisnant, Nicholas A. Kotov, Joerg Lahann   +5 more
wiley   +1 more source

The exp-log normal form of types [PDF]

, 2016
Lambda calculi with algebraic data types lie at the core of functional programming languages and proof assistants, but conceal at least two fundamental theoretical problems already in the presence of the simplest non-trivial data type, the sum type ...
Ahmad A., Balat V., Dougherty D., Friedman H., Ghani N., Hardy G. H.   +5 more
core   +4 more sources

Advanced Investigation of the Elimination of Methylene Blue From Wastewater Using Activated Carbon–Copper Oxide Nanowires: New Perspectives With Statistical Physical Modeling

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, Nizar Lefi, Mohamed Bouzid, Salah Knani, Md. Mahmudur Rahman, Besma Graba, Sivarama Krishna Lakkaboyana, Abdelmottaleb Ben Lamine   +7 more
wiley   +1 more source

Algebras of binary formulas for ℵ0-categorical weakly circularly minimal theories: monotonic case

Қарағанды университетінің хабаршысы. Математика сериясы
This article concerns the notion of weak circular minimality being a variant of o-minimality for circularly ordered structures. Algebras of binary isolating formulas are studied for countably categorical weakly circularly minimal theories of convexity ...
B.Sh. Kulpeshov, S.V. Sudoplatov
doaj   +1 more source

Empirical Bounds on Linear Regions of Deep Rectifier Networks

, 2019
We can compare the expressiveness of neural networks that use rectified linear units (ReLUs) by the number of linear regions, which reflect the number of pieces of the piecewise linear functions modeled by such networks.
Ramalingam, Srikumar, Serra, Thiago
core   +1 more source

Formulas as Programs [PDF]

, 1998
We provide here a computational interpretation of first-order logic based on a constructive interpretation of satisfiability w.r.t. a fixed but arbitrary interpretation. In this approach the formulas themselves are programs.
Apt, Krzysztof R., Bezem, Marc
core   +6 more sources

Eco‐Innovation, Economic Complexity, and Sustainability: A Bibliometric and Systematic Literature Review

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, Diogo Ferraz   +1 more
wiley   +1 more source

Invariant Measure and Universality of the 2D Yang–Mills Langevin Dynamic

Communications on Pure and Applied Mathematics, EarlyView.
ABSTRACT We prove that the Yang–Mills (YM) measure for the trivial principal bundle over the two‐dimensional torus, with any connected, compact structure group, is invariant for the associated renormalised Langevin dynamic. Our argument relies on a combination of regularity structures, lattice gauge‐fixing and Bourgain's method for invariant measures ...
Ilya Chevyrev, Hao Shen
wiley   +1 more source