Sciweavers

4066 search results - page 138 / 814
» Almost Complete Sets
Sort
View
WSC
2007
15 years 8 months ago
How to synthesize nets from languages: a survey
In this paper we present a survey on methods for the synthesis of Petri nets from behavioral descriptions given as languages. We consider place/transition Petri nets, elementary P...
Robert Lorenz, Sebastian Mauser, Gabriel Juh&aacut...
JSAC
2008
86views more  JSAC 2008»
15 years 6 months ago
Distributed function calculation and consensus using linear iterative strategies
Given an arbitrary network of interconnected nodes, we develop and analyze a distributed strategy that enables a subset of the nodes to calculate any given function of the node val...
Shreyas Sundaram, Christoforos N. Hadjicostis
SCL
2008
106views more  SCL 2008»
15 years 6 months ago
Output-feedback control for stabilization on SE(3)
This paper addresses the problem of stabilizing systems that evolve on SE(3). The proposed solution consists of an output-feedback controller that guarantees almost global asympto...
Rita Cunha, Carlos Silvestre, João Pedro He...
SPIRE
2010
Springer
15 years 4 months ago
Identifying SNPs without a Reference Genome by Comparing Raw Reads
Next generation sequencing (NGS) technologies are being applied to many fields of biology, notably to survey the polymorphism across individuals of a species. However, while single...
Pierre Peterlongo, Nicolas Schnel, Nadia Pisanti, ...
CISC
2009
Springer
199views Cryptology» more  CISC 2009»
15 years 4 months ago
Cryptanalysis of Certificateless Signcryption Schemes and an Efficient Construction without Pairing
Abstract. Certificateless cryptography introduced by Al-Riyami and Paterson eliminates the key escrow problem inherent in identity based cryptosystems. Even though building practic...
S. Sharmila Deva Selvi, S. Sree Vivek, C. Pandu Ra...