Sciweavers

1582 search results - page 73 / 317
» Mathematical Tools for Physics
Sort
View
ISIPTA
2005
IEEE
151views Mathematics» more  ISIPTA 2005»
14 years 2 months ago
Towards a Unifying Theory of Logical and Probabilistic Reasoning
Logic and probability theory have both a long history in science. They are mainly rooted in philosophy and mathematics, but are nowadays important tools in many other fields such...
Rolf Haenni
SCP
2011
341views Communications» more  SCP 2011»
13 years 3 months ago
A generic topology library
In the field of scientific computing there is a manifold of software applications and tools available which provide methods and libraries for the solution of very specific prob...
René Heinzl, Philipp Schwaha
NFM
2011
335views Formal Methods» more  NFM 2011»
13 years 3 months ago
CORAL: Solving Complex Constraints for Symbolic PathFinder
Symbolic execution is a powerful automated technique for generating test cases. Its goal is to achieve high coverage of software. One major obstacle in adopting the technique in pr...
Matheus Souza, Mateus Borges, Marcelo d'Amorim, Co...
DIGITEL
2007
IEEE
14 years 3 months ago
MuDiS - A Virtual Learning Environment
This paper presents a multi-component; distributed system (MuDiS) based solution for building a virtual learning environment which combines a wide range of technology, tools and d...
Jeetinder Singh, Jayanthi Sivaswamy, Krishnarajulu...
PRESENCE
2006
76views more  PRESENCE 2006»
13 years 8 months ago
The Place Probe: Exploring a Sense of Place in Real and Virtual Environments
This paper describes the design, application, and refinement of a qualitative tool designed to study sense of place. The Place Probe incorporates a range of stimuli and techniques...
David Benyon, Michael Smyth, Shaleph O'Neill, Rod ...