Sciweavers

2232 search results - page 21 / 447
» Formal Modeling and Analysis of Organizations
Sort
View
MJ
2008
77views more  MJ 2008»
13 years 7 months ago
Conductance of Armchair GNRs with side-attached organic molecules
In this work we show a theoretical study of the transport properties of armchair graphene nanoribbon at which linear poly-aromatic hydrocarbon molecules (LPHC) are side-attached o...
L. Rosales, M. Pacheco, Z. Barticevic, P. Orellana
COORDINATION
2008
Springer
13 years 9 months ago
Formal Analysis of BPMN Via a Translation into COWS
A translation of the Business Process Modeling Notation into the process calculus COWS is presented. The stochastic extension of COWS is then exploited to address quantitative reas...
Davide Prandi, Paola Quaglia, Nicola Zannone
ICANN
2003
Springer
14 years 19 days ago
Self-Organizing Operator Maps in Complex System Analysis
Abstract. The growth in amount of data available today has encouraged the development of effective data analysis methods to support human decision-making. Neuro-fuzzy computation ...
Pasi Lehtimäki, Kimmo Raivio, Olli Simula
BIOCOMP
2006
13 years 8 months ago
An Artificial Neural Network based Model to Analyze Malarial Data and Predict Organ Failure
Health Care Management is one of the most important and most important research areas of the new millennium. The main purpose of this work was to analyze the data on malaria patie...
Dinesh P. Mital, Shankar Srinivasan, Syed Haque, R...
DATE
2006
IEEE
125views Hardware» more  DATE 2006»
14 years 1 months ago
Combining simulation and formal methods for system-level performance analysis
Recent research on performance analysis for embedded systems shows a trend to formal compositional models and methods. These compositional methods can be used to determine the per...
Simon Künzli, Francesco Poletti, Luca Benini,...