Výsledky vyhledávání - symbolic and algebraic manipulation—algorithms general terms algorithms keywords more operators*

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

Autoři: Wu, Yingjie Wang, Guohui Chen, Shanyan a další

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

Representing the Integer Factorization Problem Using Ordered Binary Decision Diagrams.

Autoři: Brown, David E. Skidmore, David

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

Témata: BOOLEAN functions, INTEGERS, FACTORIZATION, EQUATIONS

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

Autoři: Ma, Sha Shi, Zhiping Shao, Zhenzhou a další

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

Recursive Data Structures in APL.

Autoři: Gull, W.E. Jenkins, M.A. Horning, J.J.

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

Témata: APL (Computer program language), DATA structures, ALGORITHMS

Multiplierless Multiple Constant Multiplication.

Autoři: Voronenko, Yevgen Püschel, Markus

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

Témata: 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

Autoři: Arie Gurfinkel Marijn Heule

Resource Type: eBook.

Témata: 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.

Autoři: Li, Li-Ming Shi, Zhi-Ping Guan, Yong a další

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

Témata: ALGEBRA, ENGINEERING design, MATHEMATICS theorems, SOFTWARE architecture, ARBITRARY constants

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

Autoři: Shi, Pengfei McPhee, John

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

Témata: GRAPH theory, KINEMATICS, VIRTUAL work

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

Autoři: Kauers, Manuel

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

Témata: ALGORITHMS, RECURSIVE sequences (Mathematics), ZERO (The number), EQUIVALENCE classes (Set theory), MATHEMATICAL sequences, POLYNOMIALS, ALGEBRA

Algebric Decision Diagrams and Their Applications.

Autoři: Bahar, R.I. Frohm, E.A. Gaona, C.M. a další

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

Binary decision diagrams in theory and practice.

Autoři: Drechsler, Rolf Sieling, Detlef

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

Multiway Decision Graphs for Automated Hardware Verification.

Autoři: Corella, F. Zhou, Z. Song, X. a další

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

Tools and Algorithms for the Construction and Analysis of Systems

Autoři: Dirk Beyer Marieke Huisman Fabrice Kordon a další

Resource Type: eBook.

Témata: 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.

Autoři: Nabil, Emad Badr, Amr Farag, Ibrahim

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

Témata: BREAST cancer diagnosis, FUZZY algorithms, CELL membranes, FUZZY systems

Geografický termín: WISCONSIN

Algebra-Coalgebra Duality in Brzozowski's Minimization Algorithm.

Autoři: BONCHI, FILIPPO BONSANGUE, MARCELLO M. HANSEN, HELLE H. a další

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

Témata: FINITE state machines, ALGORITHMS, COMPUTER simulation, UNIVERSAL algebra, MODEL theory, DUALITY theory (Mathematics)

Planning with Markov Decision Processes.

Autoři: Mausam Kolobov, Andrey

Zdroj: Synthesis Lectures on Artificial Intelligence & Machine Learning; 2012, Vol. 6 Issue 1, preceding p1-194, 212p

A Short Introduction to Preferences.

Autoři: Rossi, Francesca Venable, Kristen Brent Walsh, Toby

Zdroj: Synthesis Lectures on Artificial Intelligence & Machine Learning; 2011, Vol. 5 Issue 4, preceding p1-90, 104p

Cognitive representation and the process-architecture distinction.

Autoři: Pylyshyn, Zenon W.

Zdroj: Behavioral & Brain Sciences; Jan1980, Vol. 3 Issue 1, p154-169, 16p

Functional architecture and free will.

Autoři: Kyburg, Henry E.

Zdroj: Behavioral & Brain Sciences; Jan1980, Vol. 3 Issue 1, p143-146, 4p

Computation and cognition: issues in the foundations of cognitive science.

Autoři: Pylyshyn, Zenon W.

Zdroj: Behavioral & Brain Sciences; Jan1980, Vol. 3 Issue 1, p111-132, 22p