Sciweavers

1086 search results - page 16 / 218
» Event Structures with Symmetry
Sort
View
RTCSA
1998
IEEE
14 years 1 months ago
Protocol Synthesis from Context-Free Processes Using Event Structures
In this paper, we propose a protocol synthesis method based on a partial order model (called event structures) for the class of context-free processes. First, we assign a unique n...
Akio Nakata, Teruo Higashino, Kenichi Taniguchi
BMCBI
2010
103views more  BMCBI 2010»
13 years 9 months ago
Detecting internally symmetric protein structures
Background: Many functional proteins have a symmetric structure. Most of these are multimeric complexes, which are made of non-symmetric monomers arranged in a symmetric manner. H...
Changhoon Kim, Jodi Basner, Byungkook Lee
CORR
2007
Springer
80views Education» more  CORR 2007»
13 years 8 months ago
A structure from motion inequality
We state an elementary inequality for the structure from motion problem for m cameras and n points. This structure from motion inequality relates space dimension, camera parameter...
Oliver Knill, Jose Ramirez-Herran
CG
2002
Springer
13 years 8 months ago
Chaotic attractors exhibiting quasicrystalline structure
An extension of canonical projection allowing the projection of objects from higher dimensional space onto quasicrystalline structures is developed. In particular, we create symme...
Clifford A. Reiter
JSYML
2000
110views more  JSYML 2000»
13 years 8 months ago
Basic Logic: Reflection, Symmetry, Visibility
We introduce a sequent calculus B for a new logic, named basic logic. The aim of basic logic is to find a structure in the space of logics. Classical, intuitionistic, quantum and ...
Giovanni Sambin, Giulia Battilotti, Claudia Faggia...