Sciweavers

549 search results - page 9 / 110
» formats 2010
Sort
View
ENTCS
2010
154views more  ENTCS 2010»
14 years 6 months ago
Process Algebra with Hooks for Models of Pattern Formation
We introduce Process Algebra with Hooks (PAH). In PAH processes represent different layers action, from biochemistry to tissue, and special synchronisations via hook actions ensur...
Andrea Degasperi, Muffy Calder
113
Voted
IGARSS
2010
14 years 4 months ago
A phase screen simulator for predicting the impact of small-scale ionospheric structure on SAR image formation and interferometr
We describe the SAR Scintillation Simulator (SAR-SS), a new phase screen model for simulating the impact of smallscale ionospheric structure on SAR image formation and interferome...
Charles S. Carrano, Keith M. Groves, Ronald G. Cat...
ENTCS
1998
90views more  ENTCS 1998»
14 years 9 months ago
Handling ELAN rewrite programs via an exchange format
Designing a programming environment raises difficult implementation problems since such software is not just one piece of code able to execute programs expressed in a given progra...
Peter Borovanský, Salma Jamoussi, Pierre-Et...
GIL
2010
14 years 11 months ago
Formale Modellierung landwirtschaftlicher Standards mit RIF und OWL
: Standards zum Pflanzenbau und Betriebsmanagement werden immer wichtiger f
Edward Nash, Jens Wiebensohn
SOCIALCOM
2010
14 years 7 months ago
Structural Predictors of Tie Formation in Twitter: Transitivity and Mutuality
-- New ties are often formed between people who already have friends in common. Though the social sciences have addressed the effects of existing structural patterns on the formati...
Scott A. Golder, Sarita Yardi