Sciweavers

1672 search results - page 182 / 335
» Interactive Mathematical Documents
Sort
View
SIGCSE
2009
ACM
155views Education» more  SIGCSE 2009»
16 years 7 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 ...
VR
2008
IEEE
103views Virtual Reality» more  VR 2008»
16 years 25 days 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,...
ICASSP
2007
IEEE
16 years 23 days 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, ...
IEEEIAS
2007
IEEE
16 years 22 days 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
16 years 22 days 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