Sciweavers

2086 search results - page 66 / 418
» Mathematical Theory Exploration
Sort
View
HICSS
2009
IEEE
88views Biometrics» more  HICSS 2009»
14 years 3 months ago
Exploration of Cultural Influences on Business and IT Alignment
Aligning IT to business needs is still one of the most important concerns for senior management. The message of Business and IT Alignment (BIA) is logical and undisputed, but impl...
A. J. Gilbert Silvius, Steven De Haes, Wim Van Gre...
ISSAC
2009
Springer
171views Mathematics» more  ISSAC 2009»
14 years 3 months ago
Computing cylindrical algebraic decomposition via triangular decomposition
Cylindrical algebraic decomposition is one of the most important tools for computing with semi-algebraic sets, while triangular decomposition is among the most important approache...
Changbo Chen, Marc Moreno Maza, Bican Xia, Lu Yang
ISSAC
2009
Springer
150views Mathematics» more  ISSAC 2009»
14 years 3 months ago
On finding multiplicities of characteristic polynomial factors of black-box matrices
We present algorithms and heuristics to compute the characteristic polynomial of a matrix given its minimal polynomial. The matrix is represented as a black-box, i.e., by a functi...
Jean-Guillaume Dumas, Clément Pernet, B. Da...
GMAI
2006
IEEE
144views Solid Modeling» more  GMAI 2006»
14 years 2 months ago
Manipulation of Elastically Deformable Surfaces through Maya Plug-in
In this paper, we develop a mathematical model from the theory of plate bending in elasticity which relates physical properties of a surface to its elastic deformation. We present...
Lihua You, Javier Romero Rodriguez, Jian J. Zhang
CLA
2007
13 years 10 months ago
Concept Graphs as Semantic Structures for Contextual Judgment Logic
Abstract. This paper presents a mathematization of the philosophical doctrine of judgments as an extension of the mathematization of the philosophical doctrine of concepts develope...
Rudolf Wille