Sciweavers

1672 search results - page 182 / 335
» Interactive Mathematical Documents
Sort
View
SIGCSE
2009
ACM
155views Education» more  SIGCSE 2009»
16 years 5 months ago
Increasing engagement in automata theory with JFLAP
We describe the results from a two-year study with fourteen universities on presenting formal languages in a more visual, interactive and applied manner using JFLAP. In our result...
Susan H. Rodger, Eric Wiebe, Kyung Min Lee, Chris ...
118
Voted
VR
2008
IEEE
103views Virtual Reality» more  VR 2008»
15 years 11 months ago
VFire: Virtual Fire in Realistic Environments
The destructive capacity of wildfires and the dangers and limitations associated with observing actual wildfires has led researchers to develop mathematical models in order to b...
Roger V. Hoang, Joseph D. Mahsman, David T. Brown,...
126
Voted
ICASSP
2007
IEEE
15 years 11 months ago
Genomic Network Tomography
This paper considers the problem of learning cellular signaling networks from incomplete measurements of pathway activity. Cells respond to environmental changes (e.g., starvation...
Michael G. Rabbat, Mário A. T. Figueiredo, ...
114
Voted
IEEEIAS
2007
IEEE
15 years 10 months ago
Team Edit Automata for Testing Security Property
This paper introduces a mathematical model, called Team Edit Automata, for evaluating software security properties. We use the model to describe security properties and their corr...
Zhenrong Yang, Aiman Hanna, Mourad Debbabi
IMSCCS
2007
IEEE
15 years 10 months ago
An On-line MathML Editing Tool for Web Applications
MathEdit [23] is a browser-based tool implemented in JavaScript that provides a convenient and intuitive graphical user interface for creating and editing mathematical expressions...
Wei Su, Paul S. Wang, Lian Li