Sciweavers

2502 search results - page 48 / 501
» Using probabilistic model checking in systems biology
Sort
View
USS
2010
13 years 6 months ago
Idle Port Scanning and Non-interference Analysis of Network Protocol Stacks Using Model Checking
Idle port scanning uses side-channel attacks to bounce scans off of a "zombie" host to stealthily scan a victim IP address and determine if a port is open or closed, or ...
Roya Ensafi, Jong Chun Park, Deepak Kapur, Jedidia...
HYBRID
2004
Springer
14 years 2 months ago
Dynamic Partitioning of Large Discrete Event Biological Systems for Hybrid Simulation and Analysis
Abstract. Biological systems involving genetic reactions are large discrete event systems, and often contain certain species that occur in small quantities, and others that occur i...
Natasha A. Neogi
IJCNN
2007
IEEE
14 years 3 months ago
System Identification for the Hodgkin-Huxley Model using Artificial Neural Networks
— A single biological neuron is able to perform complex computations that are highly nonlinear in nature, adaptive, and superior to the perceptron model. A neuron is essentially ...
Manish Saggar, Tekin Meriçli, Sari Andoni, ...
RECOMB
2003
Springer
14 years 9 months ago
An integrated probabilistic model for functional prediction of proteins
We develop an integrated probabilistic model to combine protein physical interactions, genetic interactions, highly correlated gene expression network, protein complex data, and d...
Minghua Deng, Ting Chen, Fengzhu Sun
ECAL
2003
Springer
14 years 2 months ago
Multi-agent Model of Biological Swarming
An agent-based approach is used to explain the formation of vortex swarms in biological systems. The dynamics of the multiagent system is described by 3N coupled equations, modeli...
Robert Mach, Frank Schweitzer