1582 search results - page 75 / 317 » Mathematical Tools for Physics |
APIN
2006
13 years 8 months ago
2006
In the past decade, compositional modelling (CM) has established itself as the predominant knowledge-based approach to construct mathematical (simulation) models automatically. Al...
CORR
2008
Springer
13 years 7 months ago
2008
Springer
The problem of representing text documents within an Information Retrieval system is formulated as an analogy to the problem of representing the quantum states of a physical syste...
ASAP
2005
IEEE
14 years 2 months ago
2005
IEEE
CAD tools have become more and more important for integrated circuit (IC) design since a complicated system can be designed into a single chip, called system-on-a-chip (SOC), in w...
VLDB
2004
ACM
14 years 2 months ago
2004
ACM
The Database Tuning Advisor (DTA) that is part of Microsoft SQL Server 2005 is an automated physical database design tool that significantly advances the state-of-the-art in sever...
ACL2
2006
ACM
14 years 2 months ago
2006
ACM
We describe a new procedure for verifying ACL2 properties about finite state machines (FSMs) using satisfiability (SAT) solving. We present an algorithm for converting ACL2 conj...