Sciweavers

7628 search results - page 1390 / 1526
» Spatial P systems
Sort
View
CCE
2006
15 years 4 months ago
Measurement and control of polymerization reactors
The measurement and control of polymerization reactors is very challenging due to the complexity of the physical mechanisms and polymerization kinetics. In these reactors many imp...
John R. Richards, John P. Congalidis
CCE
2006
15 years 4 months ago
New approaches for representing, analyzing and visualizing complex kinetic transformations
Complex kinetic mechanisms involving thousands of reacting species and tens of thousands of reactions are currently required for the rational analysis of modern combustion systems...
Ioannis P. Androulakis
131
Voted
DATAMINE
2006
117views more  DATAMINE 2006»
15 years 4 months ago
A Rule-Based Approach for Process Discovery: Dealing with Noise and Imbalance in Process Logs
Effective information systems require the existence of explicit process models. A completely specified process design needs to be developed in order to enact a given business proce...
Laura Maruster, A. J. M. M. Weijters, Wil M. P. va...
ENTCS
2006
109views more  ENTCS 2006»
15 years 4 months ago
Incremental Verification for On-the-Fly Controller Synthesis
The CIRCA system automatically synthesizes hard real-time discrete event controllers from plant and environment descriptions. CIRCA's automatically-synthesized controllers pr...
David J. Musliner, Michael J. S. Pelican, Robert P...
161
Voted
INFSOF
2008
148views more  INFSOF 2008»
15 years 4 months ago
Translating unstructured workflow processes to readable BPEL: Theory and implementation
The Business Process Execution Language for Web Services (BPEL) has emerged as the de-facto standard for implementing processes. Although intended as a language for connecting web ...
Wil M. P. van der Aalst, Kristian Bisgaard Lassen
« Prev « First page 1390 / 1526 Last » Next »