Sciweavers

4529 search results - page 426 / 906
» Position Based Cryptography
Sort
View
ENTCS
2008
110views more  ENTCS 2008»
15 years 6 months ago
On a Fully Abstract Model for a Quantum Linear Functional Language: (Extended Abstract)
ly abstract model for a quantum unctional language (extended abstract) Peter Selinger1 ,2 Dalhousie University, Halifax, Nova Scotia, Canada Beno^it Valiron3 University of Ottawa, ...
Peter Selinger, Benoît Valiron
BMCBI
2006
100views more  BMCBI 2006»
15 years 6 months ago
Chromosomal patterns of gene expression from microarray data: methodology, validation and clinical relevance in gliomas
Background: Expression microarrays represent a powerful technique for the simultaneous investigation of thousands of genes. The evidence that genes are not randomly distributed in...
Federico E. Turkheimer, Federico Roncaroli, Benoit...
IPL
2008
84views more  IPL 2008»
15 years 6 months ago
The equational theory of prebisimilarity over basic CCS with divergence
This paper studies the equational theory of prebisimilarity, a bisimulation-based preorder introduced by Hennessy and Milner in the early 1980s, over basic CCS with the divergent ...
Luca Aceto, Silvio Capobianco, Anna Ingólfs...
JCP
2008
97views more  JCP 2008»
15 years 6 months ago
Vocal Tract Area Function Estimation Using Particle Swarm
-- The problem of estimating the Vocal Tract Area Functions (VTAF) from speech signals arise in many applications. However, the existing methods for solving this problem were desig...
Mahmoud A. Ismail
144
Voted
IOR
2006
118views more  IOR 2006»
15 years 6 months ago
A Stochastic Programming Approach to Power Portfolio Optimization
The DASH model for Power Portfolio Optimization provides a tool which helps decision-makers coordinate production decisions with opportunities in the wholesale power market. The m...
Suvrajeet Sen, Lihua Yu, Talat Genc