Suchergebnisse - symbolic AND algebraic manipulation—algorithms general terms algorithms keywords more operators~

Formalization of robot collision detection method based on conformal geometric algebra.

Autoren: Wu, Yingjie Wang, Guohui Chen, Shanyan et al.

Quelle: Formal Methods in System Design; Dec2025, Vol. 67 Issue 3, p255-281, 27p

Schlagwörter: COLLISION detection (Computer animation), FORMAL methods (Computer science), CONFORMAL geometry, IMPACT (Mechanics), GEOMETRIC shapes, INDUSTRIAL robots

ABSTRACTS from other ACM Publications.

Quelle: Communications of the ACM; Sep82, Vol. 25 Issue 9, p666-668, 3p

Schlagwörter: INFORMATION technology, DISTRIBUTED databases, RELATIONAL databases, COMPUTER science, ELECTRONIC file management, COMPUTER systems

Higher-Order Logic Formalization of Conformal Geometric Algebra and its Application in Verifying a Robotic Manipulation Algorithm.

Autoren: Ma, Sha Shi, Zhiping Shao, Zhenzhou et al.

Quelle: Advances in Applied Clifford Algebras; Dec2016, Vol. 26 Issue 4, p1305-1330, 26p

From Sylvester-Gallai Configurations to Rank Bounds: Improved Blackbox Identity Test for Depth-3 Circuits.

Autoren: SAXENA, NITIN SESHADHRI, C.

Quelle: Journal of the ACM; Oct2013, Vol. 60 Issue 5, p1-33, 33p

Schlagwörter: CONFIGURATION management, PRODUCTION management (Manufacturing), MATHEMATICS theorems, BAYES' theorem, BAYESIAN analysis

Representing the Integer Factorization Problem Using Ordered Binary Decision Diagrams.

Autoren: Brown, David E. Skidmore, David

Quelle: Theory of Computing Systems; Dec2023, Vol. 67 Issue 6, p1307-1332, 26p

Schlagwörter: BOOLEAN functions, INTEGERS, FACTORIZATION, EQUATIONS

Automatic Code Generation for High-performance Discontinuous Galerkin Methods on Modern Architectures.

Autoren: Kempf, Dominic Heß, René Müthing, Steffen et al.

Quelle: ACM Transactions on Mathematical Software; Mar2021, Vol. 47 Issue 1, p1-31, 31p

Schlagwörter: GALERKIN methods, MODERN architecture, STOKES equations, OPEN source software, SOFTWARE frameworks

Recursive Data Structures in APL.

Autoren: Gull, W.E. Jenkins, M.A. Horning, J.J.

Quelle: Communications of the ACM; Feb1979, Vol. 22 Issue 2, p79-96, 18p, 9 Diagrams

Schlagwörter: APL (Computer program language), DATA structures, ALGORITHMS

Multiplierless Multiple Constant Multiplication.

Autoren: Voronenko, Yevgen Püschel, Markus

Quelle: ACM Transactions on Algorithms; 2007, Vol. 3 Issue 2, p1-38, 38p, 8 Diagrams, 8 Charts, 7 Graphs

Schlagwörter: MULTIPLIERS (Mathematical analysis), MATHEMATICAL constants, ALGORITHMS, FIXED point theory, NONLINEAR operators, FUNCTIONAL analysis

Tools and Algorithms for the Construction and Analysis of Systems : 31st International Conference, TACAS 2025, Held As Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3–8, 2025, Proceedings, Part I

Autoren: Arie Gurfinkel Marijn Heule

Resource Type: eBook.

Schlagworte: System design--Congresses, Computer software--Verification--Congresses, System analysis--Congresses

Categories: COMPUTERS / Computer Science, COMPUTERS / Networking / General, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Hardware / General, COMPUTERS / Computer Simulation

Formalization of Geometric Algebra in HOL Light.

Autoren: Li, Li-Ming Shi, Zhi-Ping Guan, Yong et al.

Quelle: Journal of Automated Reasoning; Oct2019, Vol. 63 Issue 3, p787-808, 22p

Schlagwörter: ALGEBRA, ENGINEERING design, MATHEMATICS theorems, SOFTWARE architecture, ARBITRARY constants

Positivity of cumulative sums for multi-index function components explains the lower bound formula in the Levin-Robbins-Leu family of sequential subset selection procedures.

Autoren: Levin, Bruce Leu, Cheng-Shiun

Quelle: Sequential Analysis; 2020, Vol. 39 Issue 4, p520-542, 23p

Schlagwörter: CUSUM technique, SUBSET selection, PROBABILITY theory

A key inequality for lower bound formulas for lattice event probabilities.

Autoren: Levin, Bruce Leu, Cheng-Shiun

Quelle: Sequential Analysis; 2021, Vol. 40 Issue 4, p554-574, 21p

Schlagwörter: PROBABILITY theory, SPECIAL events, SUBSET selection

SYMBOLIC PROGRAMMING OF A GRAPH-THEORETIC APPROACH TO FLEXIBLE MULTIBODY DYNAMICS*.

Autoren: Shi, Pengfei McPhee, John

Quelle: Mechanics of Structures & Machines; Feb2002, Vol. 30 Issue 1, p123, 32p

Schlagwörter: GRAPH theory, KINEMATICS, VIRTUAL work

An Algorithm for Deciding Zero Equivalence of Nested Polynomially Recurrent Sequences.

Autoren: Kauers, Manuel

Quelle: ACM Transactions on Algorithms; 2007, Vol. 3 Issue 2, p1-14, 14p

Schlagwörter: ALGORITHMS, RECURSIVE sequences (Mathematics), ZERO (The number), EQUIVALENCE classes (Set theory), MATHEMATICAL sequences, POLYNOMIALS, ALGEBRA

Algebric Decision Diagrams and Their Applications.

Autoren: Bahar, R.I. Frohm, E.A. Gaona, C.M. et al.

Quelle: Formal Methods in System Design; Apr1997, Vol. 10 Issue 2/3, p171-206, 36p

Multiway Decision Graphs for Automated Hardware Verification.

Autoren: Corella, F. Zhou, Z. Song, X. et al.

Quelle: Formal Methods in System Design; Feb1997, Vol. 10 Issue 1, p7-46, 40p

Binary decision diagrams in theory and practice.

Autoren: Drechsler, Rolf Sieling, Detlef

Quelle: International Journal on Software Tools for Technology Transfer; May2001, Vol. 3 Issue 2, p112-136, 25p

Tools and Algorithms for the Construction and Analysis of Systems

Autoren: Dirk Beyer Marieke Huisman Fabrice Kordon et al.

Resource Type: eBook.

Schlagworte: Computer software--Verification--Congresses, System design--Congresses, System analysis--Congresses

Categories: COMPUTERS / Computer Science, BUSINESS & ECONOMICS / Careers / General, COMPUTERS / General, COMPUTERS / Computer Architecture, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Computer Simulation

A FUZZY-MEMBRANE-IMMUNE ALGORITHM FOR BREAST CANCER DIAGNOSIS.

Autoren: Nabil, Emad Badr, Amr Farag, Ibrahim

Quelle: Studia Universitatis Babeş-Bolyai, Informatica; Jun2012, Vol. 57 Issue 2, p3-19, 17p, 8 Diagrams, 8 Charts, 2 Graphs

Schlagwörter: BREAST cancer diagnosis, FUZZY algorithms, CELL membranes, FUZZY systems

Geografische Kategorien: WISCONSIN

Algebra-Coalgebra Duality in Brzozowski's Minimization Algorithm.

Autoren: BONCHI, FILIPPO BONSANGUE, MARCELLO M. HANSEN, HELLE H. et al.

Quelle: ACM Transactions on Computational Logic; Feb2014, Vol. 15 Issue 1, p3:1-3:29, 29p

Schlagwörter: FINITE state machines, ALGORITHMS, COMPUTER simulation, UNIVERSAL algebra, MODEL theory, DUALITY theory (Mathematics)