Results 21 to 30 of about 78,692 (167)
Order Invariance on Decomposable Structures [PDF]
Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, 2016 Order-invariant formulas access an ordering on a structure's universe, but the model relation is independent of the used ordering. Order invariance is frequently used for logic-based approaches in computer science. Order-invariant formulas capture unordered problems of complexity classes and they model the independence of the answer to a database query
Michael Elberfeld +2 more
openaire +2 more sources
Structure-invariant testing for machine translation [PDF]
Proceedings of the ACM/IEEE 42nd International Conference on Software Engineering, 2020 In recent years, machine translation software has increasingly been integrated into our daily lives. People routinely use machine translation for various applications, such as describing symptoms to a foreign doctor and reading political news in a foreign language.
Pinjia He +2 more
openaire +3 more sources
Adaptive Momentum-Based Loss Rebalancing for Monocular Depth Estimation
IEEE Access, 2023 Monocular depth estimation in outdoor scenes presents significant challenges due to ambiguity from occlusions and structural variations. One important challenge lies in effectively incorporating loss functions while considering the distribution of ground
Won-Gyun Yu, Yong Seok Heo
doaj +1 more source
Structural invariance and the energy spectrum
Journal of Physics A: Mathematical and General, 1999 We extend the application of the concept of structural invariance to bounded time independent systems. This concept, previously introduced by two of us to argue that the connection between random matrix theory and quantum systems with a chaotic classical counterpart is in fact largely exact in the semiclassical limit, is extended to the energy spectra ...
Leyvraz, F. +2 more
openaire +2 more sources
Microstructural Characterization of As-Cast V-Si Alloys and Reevaluation of the Invariant Reactions Involving the Liquid Phase of the V-Si System [PDF]
Materials Research, 2016 Alloys containing Me-Si-B (Me - Refractory Metal) are of great interest for high temperature structural applications and accurate knowledge of its low order systems (binaries and ternaries) is important to predict the phase relations in the ...
Belmira Benedita de Lima-Kühn +4 more
doaj +2 more sources
Efficient causation on reasoning, discovery and counterfactuals
Proceedings of the International Florida Artificial Intelligence Research Society ConferenceThis paper demonstrates a formalism of efficient causation. Efficient causation is one of the four types of basic causations coined by Aristotle.
Xing Xu
doaj +1 more source
Structural stability for scalar reaction-diffusion equations
Electronic Journal of Qualitative Theory of Differential Equations, 2023 In this paper, we prove the structural stability for a family of scalar reaction-diffusion equations. Our arguments consist of using invariant manifold theorem to reduce the problem to a finite dimension and then, we use the structural stability of Morse–
Jihoon Lee, Leonardo Pires
doaj +1 more source
New structures of knot invariants [PDF]
Communications in Number Theory and Physics, 2011 Based on the proof of Labastida-Mari{ñ}o-Ooguri-Vafa conjecture \cite{lmov}, we derive an infinite product formula for Chern-Simons partition functions, the generating function of quantum $\fsl_N$ invariants. Some symmetry properties of the infinite product will also be discussed.
Liu, Kefeng, Peng, Pan
openaire +2 more sources
Complex Dirac Structures: Invariants and Local Structure
Communications in Mathematical Physics, 2022 AbstractWe study complex Dirac structures, that is, Dirac structures in the complexified generalized tangent bundle. These include presymplectic foliations, transverse holomorphic structures, CR-related geometries and generalized complex structures. We introduce two invariants, the order and the (normalized) type.
Dan Aguero, Roberto Rubio
openaire +4 more sources
Invariant structural learning: concept formation as hypergraph attractor dynamics
Сучасний стан наукових досліджень та технологій в промисловостіSubject of study. The subject of study is the formation of object-class concepts in machine-learning systems as a process of structural and parametric reduction of hypergraph representations, rather than as the optimization of a loss function. Objective.
Микита Лапін +4 more
doaj +1 more source