Results 11 to 20 of about 26,867 (262)
Some remarks on connectors and groupoids in Goursat categories [PDF]
Logical Methods in Computer Science, 2017 We prove that connectors are stable under quotients in any (regular) Goursat category. As a consequence, the category $\mathsf{Conn}(\mathbb{C})$ of connectors in $\mathbb{C}$ is a Goursat category whenever $\mathbb C$ is.
Marino Gran +2 more
doaj +1 more source
Algebraic solution for the classical harmonic oscillator
Revista Brasileira de Ensino de Física, 2023 The harmonic oscillator is one of the most studied systems in Physics with a myriad of applications. One of the first problems solved in a Quantum Mechanics course is calculating the energy spectrum of the simple harmonic oscillator with analytic and ...
Murilo B. Alves
doaj +1 more source
Algebraic Methods in the Congested Clique [PDF]
Proceedings of the 2015 ACM Symposium on Principles of Distributed Computing, 2015 In this work, we use algebraic methods for studying distance computation and subgraph detection tasks in the congested clique model. Specifically, we adapt parallel matrix multiplication implementations to the congested clique, obtaining an $O(n^{1-2/ω})$ round matrix multiplication algorithm, where $ω< 2.3728639$ is the exponent of matrix ...
Keren Censor-Hillel +5 more
openaire +5 more sources
Algebraic Shifting and Exterior and Symmetric Algebra Methods [PDF]
Communications in Algebra, 2008 26 pages. Revised version. Proofs of theorems 2.10 (now 2.11) and 2.11 (now 2.12) corrected. Exposition improved with some reordering.
Nagel, Uwe +2 more
openaire +2 more sources
The Algebraic Method in Tree Percolation [PDF]
SIAM Journal on Discrete Mathematics, 2016 to appear in SIAM Journal on Discrete ...
Fatemeh Mohammadi +2 more
openaire +3 more sources
Algebraic Methods for Achieving Super-Resolution by Digital Antenna Arrays
Mathematics, 2023 The actual modern problem of developing and improving measurement and observation systems (including robotic ones) is to increase the volume and quality of the information received.
Boris A. Lagovsky, Evgeny Ya. Rubinovich
doaj +1 more source
Formalization and Implementation of Algebraic Methods in Geometry [PDF]
Electronic Proceedings in Theoretical Computer Science, 2012 We describe our ongoing project of formalization of algebraic methods for geometry theorem proving (Wu's method and the Groebner bases method), their implementation and integration in educational tools.
Filip Marić +3 more
doaj +1 more source
Algebraic Methods for Optimization Problems [PDF]
, 2002 We argue for the benefits of relations over functions for modelling programs, and even more so for modelling specifications. To support this argument, we present an extended case study for a class of optimization problems, deriving efficient functional programs from concise relational specifications.
Richard S. Bird +2 more
openaire +4 more sources
Solving Fuzzy Polynomial Equations Systems Using Wu’s Method [PDF]
پژوهشهای نظری و کاربردی هوش ماشینیIn this paper, we introduce a method grounded in Wu’s algorithm for determining real solutions of systems of fuzzy polynomial equations. We initially calculate the r-cuts of a fuzzy polynomial equations system and derive a parametric representation for ...
Hamed Farahani
doaj +1 more source
Solution Bounds and Numerical Methods of the Unified Algebraic Lyapunov Equation
Mathematics, 2022 In this paper, applying some properties of matrix inequality and Schur complement, we give new upper and lower bounds of the solution for the unified algebraic Lyapunov equation that generalize the forms of discrete and continuous Lyapunov matrix ...
Juan Zhang, Shifeng Li, Xiangyang Gan
doaj +1 more source