Sciweavers

12742 search results - page 232 / 2549
» On canonical number systems
Sort
View
CMSB
2007
Springer
15 years 10 months ago
Efficient, Correct Simulation of Biological Processes in the Stochastic Pi-calculus
This paper presents a simulation algorithm for the stochastic -calculus, designed for the efficient simulation of biological systems with large numbers of molecules. The cost of a ...
Andrew Phillips, Luca Cardelli
CORR
2010
Springer
66views Education» more  CORR 2010»
15 years 6 months ago
Solutions to the GSM Security Weaknesses
Recently, the mobile industry has experienced an extreme increment in number of its users. The GSM network with the greatest worldwide number of users succumbs to several security...
Mohsen Toorani, Ali Asghar Beheshti Shirazi
JC
2008
90views more  JC 2008»
15 years 6 months ago
On the probability distribution of data at points in real complete intersection varieties
We show several estimates on the probability distribution of some data at points in real complete intersection varieties: norms of real affine solutions, condition number of real ...
Cruz E. Borges, Luis M. Pardo
JSAC
2007
79views more  JSAC 2007»
15 years 6 months ago
Fundamental Limits in MIMO Broadcast Channels
— This paper studies the fundamental limits of MIMO broadcast channels from a high level, determining the sum-rate capacity of the system as a function of system paramaters, such...
Babak Hassibi, Masoud Sharif
AI
2007
Springer
15 years 6 months ago
Computational properties of argument systems satisfying graph-theoretic constraints
One difficulty that arises in abstract argument systems is that many natural questions regarding argument acceptability are, in general, computationally intractable having been c...
Paul E. Dunne