Sciweavers

5128 search results - page 312 / 1026
» Discrete Component Analysis
Sort
View
CORR
2008
Springer
117views Education» more  CORR 2008»
15 years 6 months ago
Design, Fabrication and Characterization of a Piezoelectric Microgenerator Including a Power Management Circuit
We report in this paper the design, fabrication and experimental characterization of a piezoelectric MEMS microgenerator. This device scavenges the energy of ambient mechanical vi...
M. Marzencki, Yasser Ammar, S. Basrour
TCSB
2010
15 years 5 months ago
Rule-Based Modeling of Transcriptional Attenuation at the Tryptophan Operon
Transcriptional attenuation at E.coli’s tryptophan operon is a prime example of RNA-mediated gene regulation. In this paper, we present a discrete stochastic model for this pheno...
Céline Kuttler, Cédric Lhoussaine, M...
QEST
2010
IEEE
15 years 4 months ago
DTMC Model Checking by SCC Reduction
Discrete-Time Markov Chains (DTMCs) are a widely-used formalism to model probabilistic systems. On the one hand, available tools like PRISM or MRMC offer efficient model checking a...
Erika Ábrahám, Nils Jansen, Ralf Wim...
ICNP
1998
IEEE
15 years 11 months ago
A Proof Technique for Liveness Properties of Multifunction Composite Protocols
In protocol composition techniques, component protocols are combined in various ways to obtain a complex protocol whose execution sequences consist of interleaved execution sequen...
J. Park, R. Miller
DELTA
2008
IEEE
16 years 1 months ago
Eigenspectra Palmprint Recognition
This paper introduces a novel technique for palmprint recognition on the transform domain, based on combining principle component analysis (PCA) and Fourier domain. Principal Comp...
Moussadek Laadjel, Ahmed Bouridane, Fatih Kurugoll...