Sciweavers

4047 search results - page 433 / 810
» The Discrete Basis Problem
Sort
View
SIMPRA
2008
137views more  SIMPRA 2008»
15 years 6 months ago
An admissible-behaviour-based analysis of the deadlock in Petri-net controllers
This paper addresses the problem of verifying the discrete control logic that is typically implemented by programmable controllers. Not only are the logical properties of the cont...
G. Music, Drago Matko
TCBB
2008
108views more  TCBB 2008»
15 years 6 months ago
Statistical Characterization of Protein Ensembles
When accounting for structural fluctuations or measurement errors, a single rigid structure may not be sufficient to represent a protein. One approach to solve this problem is to r...
Diego Rother, Guillermo Sapiro, Vijay Pande
ITIIS
2010
192views more  ITIIS 2010»
15 years 5 months ago
Large-Scale Integrated Network System Simulation with DEVS-Suite
Formidable growth of Internet technologies has revealed challenging issues about its scale and performance evaluation. Modeling and simulation play a central role in the evaluatio...
Ahmet Zengin
SIAMDM
2010
166views more  SIAMDM 2010»
15 years 5 months ago
Direct Product Factorization of Bipartite Graphs with Bipartition-reversing Involutions
Given a connected bipartite graph G, we describe a procedure which enumerates and computes all graphs H (if any) for which there is a direct product factorization G ∼= H × K2. W...
Ghidewon Abay-Asmerom, Richard Hammack, Craig E. L...
TVCG
2010
142views more  TVCG 2010»
15 years 5 months ago
Texture Mapping via Optimal Mass Transport
—In this paper, we present a novel method for texture mapping of closed surfaces. Our method is based on the technique of optimal mass transport (also known as the “earth-mover...
Ayelet Dominitz, Allen Tannenbaum