Process-aware information systems [[electronic resource] ] : bridging people and software through process technology / / edited by Marlon Dumas, Wil van der Aalst, Arthur H.M. ter Hofstede |
Pubbl/distr/stampa | Hoboken, N.J., : Wiley-Interscience, c2005 |
Descrizione fisica | 1 online resource (427 p.) |
Disciplina | 005.10285 |
Altri autori (Persone) |
DumasMarlon
AalstWil van der Ter HofstedeArthur <1966-> |
Soggetto topico |
Computer-aided software engineering
Human-computer interaction |
Soggetto genere / forma | Electronic books. |
ISBN |
1-280-23563-2
9786610235636 0-470-24634-0 0-471-74144-2 0-471-74143-4 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto |
PROCESS-AWARE INFORMATION SYSTEMS; Contents; Preface; Contributors; PART I Concepts; 1 Introduction; 1.1 From Programs and Data to Processes; 1.2 PAIS: Definition and Rationale; 1.3 Techniques and Tools; 1.4 Classifications; 1.5 About the Book; References; 2 Person-to-Application Processes: Workflow Management; 2.1 Introduction; 2.2 Workflow Terminology; 2.3 Workflow Modeling; 2.4 Workflow Management Systems; 2.5 Outlook; 2.6 Exercises; References; 3 Person-to-Person Processes: Computer-Supported Collaborative Work; 3.1 Introduction; 3.2 Characterization of Person-to-Person Interactions
3.3 Characterization of Person-to-Person Systems3.4 Example Systems; 3.5 Summary and Conclusions; 3.6 Exercises; References; 4 Enterprise Application Integration and Business-to-Business Integration Processes; 4.1 Introduction; 4.2 Examples of EAI and B2B Processes; 4.3 Concepts, Architectures, and Tools; 4.4 Future Developments; 4.5 Exercises; References; PART II Modeling Languages; 5 Process Modeling Using UML; 5.1 Introduction; 5.2 Modeling Control Flow with Activity Diagrams; 5.3 Modeling Objects and Object Flow; 5.4 Modeling Organizational Structure 5.5 Modeling Business Partner Interactions5.6 System-Specific Process Models; 5.7 Summary; 5.8 Exercises; References; 6 Process Modeling Using Event-Driven Process Chains; 6.1 Introduction; 6.2 Overview of EPC; 6.3 The ARIS Business Process Meta-Model; 6.4 How to Correctly Model EPCs; 6.5 The ARIS Architecture; 6.6 Future Extensions; 6.7 Exercises; References; 7 Process Modeling Using Petri Nets; 7.1 Introduction; 7.2 Petri Nets; 7.3 Petri Net Classes and Behavior; 7.4 Modeling Single Processes Without Resources; 7.5 Modeling Processes with Resources; 7.6 Behavior and Refinement; 7.7 Analysis 7.8 Net ClassesExercises; References; 8 Patterns of Process Modeling; 8.1 Introduction; 8.2 Classification of Patterns; 8.3 Examples of Control-Flow Patterns; 8.4 Conclusion; 8.5 Exercises; Acknowledgments; References; PART III Techniques; 9 Process Design and Redesign; 9.1 Introduction; 9.2 Methodologies, Techniques, and Tools; 9.3 Business Process Performance Indicators; 9.4 Redesigning Processes Using Best Practices; 9.5 Information-Based Business Process Design; 9.6 Conclusion; 9.7 Exercises; References; 10 Process Mining; 10.1 Introduction; 10.2 Process Mining: An Overview 10.3 Process Mining with the a Algorithm10.4 Limitations of the Alpha Approach and Possible Solutions; 10.5 Conclusion; Acknowledgments; 10.6 Exercises; References; 11 Transactional Business Processes; 11.1 Introduction; 11.2 Transactional Consistency; 11.3 Atomicity; 11.4 Infrastructure for Implementing Atomicity; 11.5 Outlook; 11.6 Exercises and Assignments; Acknowledgments; References; PART IV Standards and Tools; 12 Standards for Workflow Definition and Execution; 12.1 Introduction; 12.2 Standardization Bodies Relevant to PAIS; 12.3 WfMC Reference Model and WfMC Glossary 12.4 Process Definition in XPDL |
Record Nr. | UNINA-9910143572503321 |
Hoboken, N.J., : Wiley-Interscience, c2005 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Process-aware information systems [[electronic resource] ] : bridging people and software through process technology / / edited by Marlon Dumas, Wil van der Aalst, Arthur H.M. ter Hofstede |
Pubbl/distr/stampa | Hoboken, N.J., : Wiley-Interscience, c2005 |
Descrizione fisica | 1 online resource (427 p.) |
Disciplina | 005.10285 |
Altri autori (Persone) |
DumasMarlon
AalstWil van der Ter HofstedeArthur <1966-> |
Soggetto topico |
Computer-aided software engineering
Human-computer interaction |
ISBN |
1-280-23563-2
9786610235636 0-470-24634-0 0-471-74144-2 0-471-74143-4 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto |
PROCESS-AWARE INFORMATION SYSTEMS; Contents; Preface; Contributors; PART I Concepts; 1 Introduction; 1.1 From Programs and Data to Processes; 1.2 PAIS: Definition and Rationale; 1.3 Techniques and Tools; 1.4 Classifications; 1.5 About the Book; References; 2 Person-to-Application Processes: Workflow Management; 2.1 Introduction; 2.2 Workflow Terminology; 2.3 Workflow Modeling; 2.4 Workflow Management Systems; 2.5 Outlook; 2.6 Exercises; References; 3 Person-to-Person Processes: Computer-Supported Collaborative Work; 3.1 Introduction; 3.2 Characterization of Person-to-Person Interactions
3.3 Characterization of Person-to-Person Systems3.4 Example Systems; 3.5 Summary and Conclusions; 3.6 Exercises; References; 4 Enterprise Application Integration and Business-to-Business Integration Processes; 4.1 Introduction; 4.2 Examples of EAI and B2B Processes; 4.3 Concepts, Architectures, and Tools; 4.4 Future Developments; 4.5 Exercises; References; PART II Modeling Languages; 5 Process Modeling Using UML; 5.1 Introduction; 5.2 Modeling Control Flow with Activity Diagrams; 5.3 Modeling Objects and Object Flow; 5.4 Modeling Organizational Structure 5.5 Modeling Business Partner Interactions5.6 System-Specific Process Models; 5.7 Summary; 5.8 Exercises; References; 6 Process Modeling Using Event-Driven Process Chains; 6.1 Introduction; 6.2 Overview of EPC; 6.3 The ARIS Business Process Meta-Model; 6.4 How to Correctly Model EPCs; 6.5 The ARIS Architecture; 6.6 Future Extensions; 6.7 Exercises; References; 7 Process Modeling Using Petri Nets; 7.1 Introduction; 7.2 Petri Nets; 7.3 Petri Net Classes and Behavior; 7.4 Modeling Single Processes Without Resources; 7.5 Modeling Processes with Resources; 7.6 Behavior and Refinement; 7.7 Analysis 7.8 Net ClassesExercises; References; 8 Patterns of Process Modeling; 8.1 Introduction; 8.2 Classification of Patterns; 8.3 Examples of Control-Flow Patterns; 8.4 Conclusion; 8.5 Exercises; Acknowledgments; References; PART III Techniques; 9 Process Design and Redesign; 9.1 Introduction; 9.2 Methodologies, Techniques, and Tools; 9.3 Business Process Performance Indicators; 9.4 Redesigning Processes Using Best Practices; 9.5 Information-Based Business Process Design; 9.6 Conclusion; 9.7 Exercises; References; 10 Process Mining; 10.1 Introduction; 10.2 Process Mining: An Overview 10.3 Process Mining with the a Algorithm10.4 Limitations of the Alpha Approach and Possible Solutions; 10.5 Conclusion; Acknowledgments; 10.6 Exercises; References; 11 Transactional Business Processes; 11.1 Introduction; 11.2 Transactional Consistency; 11.3 Atomicity; 11.4 Infrastructure for Implementing Atomicity; 11.5 Outlook; 11.6 Exercises and Assignments; Acknowledgments; References; PART IV Standards and Tools; 12 Standards for Workflow Definition and Execution; 12.1 Introduction; 12.2 Standardization Bodies Relevant to PAIS; 12.3 WfMC Reference Model and WfMC Glossary 12.4 Process Definition in XPDL |
Record Nr. | UNINA-9910830861303321 |
Hoboken, N.J., : Wiley-Interscience, c2005 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Process-aware information systems : bridging people and software through process technology / / edited by Marlon Dumas, Wil van der Aalst, Arthur H.M. ter Hofstede |
Pubbl/distr/stampa | Hoboken, N.J., : Wiley-Interscience, c2005 |
Descrizione fisica | 1 online resource (427 p.) |
Disciplina | 005.1/0285 |
Altri autori (Persone) |
DumasMarlon
AalstWil van der Ter HofstedeArthur <1966-> |
Soggetto topico |
Computer-aided software engineering
Human-computer interaction |
ISBN |
1-280-23563-2
9786610235636 0-470-24634-0 0-471-74144-2 0-471-74143-4 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto |
PROCESS-AWARE INFORMATION SYSTEMS; Contents; Preface; Contributors; PART I Concepts; 1 Introduction; 1.1 From Programs and Data to Processes; 1.2 PAIS: Definition and Rationale; 1.3 Techniques and Tools; 1.4 Classifications; 1.5 About the Book; References; 2 Person-to-Application Processes: Workflow Management; 2.1 Introduction; 2.2 Workflow Terminology; 2.3 Workflow Modeling; 2.4 Workflow Management Systems; 2.5 Outlook; 2.6 Exercises; References; 3 Person-to-Person Processes: Computer-Supported Collaborative Work; 3.1 Introduction; 3.2 Characterization of Person-to-Person Interactions
3.3 Characterization of Person-to-Person Systems3.4 Example Systems; 3.5 Summary and Conclusions; 3.6 Exercises; References; 4 Enterprise Application Integration and Business-to-Business Integration Processes; 4.1 Introduction; 4.2 Examples of EAI and B2B Processes; 4.3 Concepts, Architectures, and Tools; 4.4 Future Developments; 4.5 Exercises; References; PART II Modeling Languages; 5 Process Modeling Using UML; 5.1 Introduction; 5.2 Modeling Control Flow with Activity Diagrams; 5.3 Modeling Objects and Object Flow; 5.4 Modeling Organizational Structure 5.5 Modeling Business Partner Interactions5.6 System-Specific Process Models; 5.7 Summary; 5.8 Exercises; References; 6 Process Modeling Using Event-Driven Process Chains; 6.1 Introduction; 6.2 Overview of EPC; 6.3 The ARIS Business Process Meta-Model; 6.4 How to Correctly Model EPCs; 6.5 The ARIS Architecture; 6.6 Future Extensions; 6.7 Exercises; References; 7 Process Modeling Using Petri Nets; 7.1 Introduction; 7.2 Petri Nets; 7.3 Petri Net Classes and Behavior; 7.4 Modeling Single Processes Without Resources; 7.5 Modeling Processes with Resources; 7.6 Behavior and Refinement; 7.7 Analysis 7.8 Net ClassesExercises; References; 8 Patterns of Process Modeling; 8.1 Introduction; 8.2 Classification of Patterns; 8.3 Examples of Control-Flow Patterns; 8.4 Conclusion; 8.5 Exercises; Acknowledgments; References; PART III Techniques; 9 Process Design and Redesign; 9.1 Introduction; 9.2 Methodologies, Techniques, and Tools; 9.3 Business Process Performance Indicators; 9.4 Redesigning Processes Using Best Practices; 9.5 Information-Based Business Process Design; 9.6 Conclusion; 9.7 Exercises; References; 10 Process Mining; 10.1 Introduction; 10.2 Process Mining: An Overview 10.3 Process Mining with the a Algorithm10.4 Limitations of the Alpha Approach and Possible Solutions; 10.5 Conclusion; Acknowledgments; 10.6 Exercises; References; 11 Transactional Business Processes; 11.1 Introduction; 11.2 Transactional Consistency; 11.3 Atomicity; 11.4 Infrastructure for Implementing Atomicity; 11.5 Outlook; 11.6 Exercises and Assignments; Acknowledgments; References; PART IV Standards and Tools; 12 Standards for Workflow Definition and Execution; 12.1 Introduction; 12.2 Standardization Bodies Relevant to PAIS; 12.3 WfMC Reference Model and WfMC Glossary 12.4 Process Definition in XPDL |
Record Nr. | UNINA-9910877602003321 |
Hoboken, N.J., : Wiley-Interscience, c2005 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Recent trends in analysis of images, social networks and texts : 9th International Conference, AIST 2020, Skolkovo, Moscow, Russia, October 15-16, 2020 revised supplementary proceedings / / Wil M. P. van der Aalst [and seventeen others] (editors) |
Pubbl/distr/stampa | Cham, Switzerland : , : Springer, , [2021] |
Descrizione fisica | 1 online resource (xix, 308 pages) : illustrations |
Disciplina | 006.3 |
Collana | Communications in computer and information science |
Soggetto topico |
Data mining
Image processing - Digital techniques |
ISBN | 3-030-71214-1 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto |
Intro -- Preface -- Organisation -- Contents -- Natural Language Processing -- Did You Just Assume My Vector? Detecting Gender Stereotypes in Word Embeddings -- 1 Introduction -- 2 Gender Bias in Word Embeddings -- 2.1 Related Work -- 2.2 Evaluation Metrics -- 3 Comparison -- 4 Conclusions and Future Work -- References -- Detecting Automatically Managed Accounts in Online Social Networks: Graph Embeddings Approach -- 1 Introduction -- 2 Related Work -- 2.1 Labeled Datasets -- 2.2 Existing Approaches -- 2.3 Graph Embeddings -- 3 Proposed Approach -- 3.1 Dataset Generation -- 3.2 Selected Features -- 3.3 Graph Embeddings -- 3.4 Classification -- 4 Experiment -- 4.1 Classification on Account Features -- 4.2 Classification on Node2Vec Graph Embeddings -- 4.3 Joint Graph Structure and Account Features Learning -- 4.4 Classification on Concatenated Node2Vec Embeddings and Account Features -- 5 Conclusions -- References -- Semantic Recommendation System for Bilingual Corpus of Academic Papers -- 1 Introduction -- 2 Related Work -- 3 Experimental Setup -- 3.1 Data -- 3.2 Methods -- 3.3 Evaluation Setup -- 4 Results and Discussion -- 4.1 Quantitative Results -- 4.2 Examples of Relevant Recommendations -- 4.3 Cross-lingual Recommendations -- 4.4 Testing on the Wikipedia Dataset -- 4.5 Analysing Coverage -- 5 Conclusions and Future Work -- References -- Prediction of News Popularity via Keywords Extraction and Trends Tracking -- 1 Introduction -- 2 Related Work -- 3 Dataset -- 3.1 Data Collection -- 3.2 Dataset Information -- 3.3 Data Preprocessing -- 4 Methodology -- 4.1 Keyword Extraction -- 4.2 Popularity Forecasting -- 4.3 Full Prediction Pipeline -- 4.4 Comparable Approaches -- 5 Experiments and Results -- 5.1 Metrics -- 5.2 Keyword Extraction -- 5.3 Popularity Forecasting -- 6 Conclusion -- References -- Methods for Verification of Sentiment Frames.
1 Introduction -- 2 Related Work -- 2.1 Structured Sentiment Resources -- 2.2 Crowdsourcing in Sentiment Analysis -- 3 RuSentiFrames Lexicon -- 4 Verification Procedures -- 4.1 Previous Experiments for Checking Sentiment Frames -- 4.2 New Verification Procedures -- 4.3 Sentence Analysis -- 4.4 Verification via Crowdsourcing -- 5 Conclusion -- References -- Investigating the Robustness of Reading Difficulty Models for Russian Educational Texts -- 1 Introduction -- 2 Related Work -- 3 Methodology -- 3.1 Data Collection and Sampling -- 3.2 Evaluation of Recent Readability Formulas for Russian -- 3.3 Introducing a Feature Set -- 3.4 Feature Selection -- 4 Results -- 4.1 Evaluation of the Models -- 4.2 Analysis of Selected Features -- 5 Discussion -- 6 Conclusion -- References -- A Multi-task Learning Approach to Text Simplification -- 1 Introduction -- 2 Related Work -- 3 Data -- 4 Preprocessing -- 5 Models -- 6 Evaluation -- 7 Conclusion -- References -- Federated Learning in Named Entity Recognition -- 1 Introduction -- 2 Related Work -- 3 Dataset and Metrics -- 4 Baseline Model -- 5 Federated Approach -- 5.1 Experiments -- 5.2 Results -- 6 Conclusion -- References -- E-hypertext Media Topic Model with Automatic Label Assignment -- 1 Introduction -- 2 E-hypertext Media Topic Model -- 3 Approaches to Topic Labelling -- 4 Our Approach to Topic Labelling -- 4.1 Topic Labelling Using Yandex -- 4.2 Topic Labelling by Means of ESA -- 5 Experiments on Topic Labelling for the E-hypertext Media Corpus -- 5.1 Experimental Procedure -- 5.2 Evaluation of Results -- 6 Discussion -- 7 Summary -- References -- Convolutional Variational Autoencoders for Spectrogram Compression in Automatic Speech Recognition -- 1 Introduction -- 2 Traditional Audio Features for ASR/TTS Tasks -- 2.1 Raw Wave -- 2.2 Spectrogram -- 2.3 MFCC -- 3 Audio VAE -- 3.1 Architecture. 3.2 Dataset -- 3.3 Reconstruction -- 3.4 Generation -- 4 Experiments -- 4.1 Dataset -- 4.2 Architecture -- 4.3 Results -- 5 Conclusions -- References -- Computer Vision -- Unsupervised Training of Denoising Networks -- 1 Introduction -- 2 Related Works -- 3 Dataset -- 3.1 Collecting Dataset -- 3.2 Analysing Dataset -- 4 Method -- 5 Architecture -- 5.1 Base Architecture Block -- 5.2 Architecture with Frequency Components Splitting -- 6 Training -- 7 Inference -- 8 Results -- 9 Summary -- References -- Efficient Group-Based Cohesion Prediction in Images Using Facial Descriptors -- 1 Introduction -- 2 Proposed Approach -- 3 Experiments -- 4 Conclusion -- References -- Automatic Grading of Knee Osteoarthritis from Plain Radiographs Using Densely Connected Convolutional Networks -- 1 Introduction -- 2 Related Works -- 3 Materials and Methods -- 3.1 Osteoarthritis Grades -- 3.2 Data -- 3.3 Knee Joints Localization -- 3.4 Quantifying Osteoarthritis Severity -- 3.5 Models Ensemble -- 4 Experiments and Results -- 4.1 Knee Joints Detection -- 4.2 The Knee Osteoarthritis Classification on the Kellgren-Lawrence Scale -- 5 Discussion -- 6 Conclusion -- References -- A Novel Approach to Measurement of the Transverse Velocity of the Large-Scale Objects -- 1 Introduction -- 2 Related Works -- 3 Materials and Methods -- 3.1 Input Data -- 3.2 Matching Function -- 3.3 Camera Calibration -- 3.4 Increasing Resolution -- 3.5 Reducing the Search Space Dimension -- 4 Results -- 5 Conclusion -- References -- Social Network Analysis -- How the Minimal Degree of a Social Graph Affects the Efficiency of an Organization -- 1 Introduction -- 2 Definitions -- 3 Upper and Lower Bounds for the Utilization Rate -- 4 Simulation Analysis -- 5 Conclusion -- References -- Data Analysis and Machine Learning. Object-Attribute Biclustering for Elimination of Missing Genotypes in Ischemic Stroke Genome-Wide Data -- 1 Introduction -- 2 Basic Notions -- 2.1 Formal Concept Analysis -- 2.2 Biclustering -- 3 Model and Algorithm Description -- 3.1 Parallel OA-Biclustering Algorithm -- 3.2 One-Pass Version of the OA-Biclustering Algorithm -- 3.3 Post-processing Constraints -- 4 Data Collection -- 5 Experiments -- 5.1 Hardware and Software Configuration -- 5.2 Identification of Biclusters with Missing SNPs -- 5.3 Elimination of Large Biclusters with Missing Genotypes -- 5.4 Large Dense Biclusters Elimination and Classification Quality -- 5.5 Detecting Concepts of Missing SNP Values Under Size Constraints -- 6 Conclusion -- References -- Bitcoin Abnormal Transaction Detection Based on Machine Learning -- 1 Introduction -- 2 Review of Approaches to Bitcoin Transaction Analysis -- 3 The Elliptic Dataset -- 4 Bitcoin Abnormal Transaction Detection Based on Machine Learning -- 5 Experiments -- 6 Conclusion -- References -- Commutes and Contagions: Simulating Disease Propagation on Urban Transportation Networks -- 1 Introduction -- 2 Background and Prior Research -- 2.1 Epidemics and COVID-19 -- 2.2 Mathematical Modeling of Epidemics -- 2.3 Epidemics on Transportation Networks -- 2.4 Agent-Based Models -- 2.5 Subway Nomenclature -- 3 Data Sources -- 3.1 London -- 3.2 New York City -- 4 Methodology -- 4.1 MESA -- 4.2 NetworkX -- 4.3 Modeling Framework -- 4.4 Special Considerations for Subways -- 4.5 SubwayModel -- 4.6 Hyper-parameters and Values -- 4.7 Algorithmic Description -- 5 Fitting and Results -- 5.1 Choosing Epidemiological Characteristics -- 5.2 Fitting to SEIR -- 5.3 Comparison by Localities -- 5.4 Results Summary -- 6 Discussion and Further Research -- 6.1 Additional Parameters -- 6.2 Other Modeling Improvements -- 7 Conclusion -- References. Interpretation of 3D CNNs for Brain MRI Data Classification -- 1 Introduction -- 2 Data -- 3 Methods -- 3.1 Morphometry Data Analysis and Interpretation -- 3.2 Full-Size Data Analysis: 3D CNN -- 3.3 3D CNN Interpretation -- 4 Results -- 4.1 Morphometry Data -- 4.2 3D CNN Model Results -- 4.3 Meaningful Perturbations for 3D CNN -- 4.4 Guided Back-Propagation for 3D CNN -- 4.5 Grad CAM for 3D CNN -- 5 Discussion -- 6 Conclusion -- A The First Hidden Layer of 3D CNN Attention Analysis -- References -- A Comparison of Neural Networks Architectures for Diacritics Restoration -- 1 Introduction -- 2 Overview -- 3 Experimental Setup -- 3.1 Used Data and Data Preparation -- 3.2 Used Architectures -- 4 Results of Experiments -- 5 Conclusion -- References -- Theoretical Machine Learning and Optimization -- On Asymptotically Optimal Solvability of Euclidean Max m-k-Cycles Cover Problem -- 1 Introduction -- 2 Related Works -- 3 Preliminary Facts -- 4 Description of the Algorithm A -- 5 Algorithm Analysis -- 6 Conclusion -- References -- An Effective Algorithm for the Three-Stage Facility Location Problem on a Tree-Like Network -- 1 Introduction -- 2 The General Formulation and Definitions -- 3 Main Statements -- 4 Description of the Algorithm -- 5 The Algorithms -- 6 Conclusion -- References -- Process Mining -- Educational Data Mining for Prediction of Academically Risky Students Depending on Their Temperament -- 1 Introduction -- 2 Obtaining and Processing Data -- 3 Methods -- 3.1 Finding Meaningful Parameters -- 3.2 Comparison of Classification Using the kNN Method and the Decision Tree -- 4 Research Results -- 5 Conclusion -- References -- Posters -- The Information-Analytical Bot Detection System Based on the Assembly of Classifiers -- Abstract -- 1 Summary -- References -- Machine Learning Methods for Demographic Data Analysis -- 1 Summary -- References. International Trade of Wood: Stability Issues Within Network Paradigm. |
Record Nr. | UNISA-996464405103316 |
Cham, Switzerland : , : Springer, , [2021] | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Recent Trends in Analysis of Images, Social Networks and Texts : 9th International Conference, AIST 2020, Skolkovo, Moscow, Russia, October 15–16, 2020 Revised Supplementary Proceedings / / edited by Wil M. P. van der Aalst, Vladimir Batagelj, Alexey Buzmakov, Dmitry I. Ignatov, Anna Kalenkova, Michael Khachay, Olessia Koltsova, Andrey Kutuzov, Sergei O. Kuznetsov, Irina A. Lomazova, Natalia Loukachevitch, Ilya Makarov, Amedeo Napoli, Alexander Panchenko, Panos M. Pardalos, Marcello Pelillo, Andrey V. Savchenko, Elena Tutubalina |
Edizione | [1st ed. 2021.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2021 |
Descrizione fisica | 1 online resource (xix, 308 pages) : illustrations |
Disciplina | 006.3 |
Collana | Communications in Computer and Information Science |
Soggetto topico |
Data mining
Artificial intelligence Application software Social sciences—Data processing Database management Information storage and retrieval systems Data Mining and Knowledge Discovery Artificial Intelligence Computer and Information Systems Applications Computer Application in Social and Behavioral Sciences Database Management Information Storage and Retrieval |
ISBN | 3-030-71214-1 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Natural Language Processing -- Computer Vision -- Social Network Analysis -- Data Analysis and Machine Learning -- Theoretical Machine Learning and Optimization -- Process Mining -- Posters. |
Record Nr. | UNINA-9910484220203321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2021 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Transactions on petri nets and other models of concurrency . II Special issue on concurrency in process-aware information systems / / Kurt Jensen, Wil M.P. van der Aalst (eds.) |
Edizione | [1st ed. 2009.] |
Pubbl/distr/stampa | Berlin ; ; Heidelberg, : Springer, c2009 |
Descrizione fisica | 1 online resource (XVIII, 297 p.) |
Disciplina | 005.11 |
Altri autori (Persone) |
JensenK <1950-> (Kurt)
AalstWil van der |
Collana | Lecture notes in computer science |
Soggetto topico |
Computer multitasking
Information resources management |
ISBN | 3-642-00899-2 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Process-Aware Information Systems: Lessons to Be Learned from Process Mining -- Model-Based Software Engineering and Process-Aware Information Systems -- Petri Net Transformations for Business Processes – A Survey -- A Look Around the Corner: The Pi-Calculus -- newYAWL: Towards Workflow 2.0 -- A Formal Model for Organisational Structures behind Process-Aware Information Systems -- Flexibility in Process-Aware Information Systems -- Business Grid: Combining Web Services and the Grid -- Does My Service Have Partners? -- Deciding Substitutability of Services with Operating Guidelines -- A Framework for Linking and Pricing No-Cure-No-Pay Services -- Empirical Studies in Process Model Verification -- Process Mining: Overview and Outlook of Petri Net Discovery Algorithms -- Construction of Process Models from Example Runs -- Online Interaction Analysis Framework for Ad-Hoc Collaborative Processes in SOA-Based Environments -- Exploiting Inductive Logic Programming Techniques for Declarative Process Mining. |
Altri titoli varianti | Special issue on concurrency in process-aware information systems |
Record Nr. | UNINA-9910484509003321 |
Berlin ; ; Heidelberg, : Springer, c2009 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Transactions on petri nets and other models of concurrency I / / K. Jensen, Wil van der Aalst, Jonathan Billington |
Autore | Jensen K. |
Edizione | [1st ed. 2008.] |
Pubbl/distr/stampa | Berlin : , : Springer, , [2008] |
Descrizione fisica | 1 online resource (XVIII, 251 p.) |
Disciplina | 511.3 |
Collana | Transactions on Petri Nets and Other Models of Concurrency |
Soggetto topico |
Petri nets
Computer multitasking |
ISBN | 3-540-89287-7 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Constructive Alignment for Teaching Model-Based Design for Concurrency -- Teaching Modelling and Validation of Concurrent Systems Using Coloured Petri Nets -- Teaching Concurrency Concepts to Freshmen -- TAPAs: A Tool for the Analysis of Process Algebras -- Translating Message Sequence Charts to other Process Languages Using Process Mining -- Net Components for the Integration of Process Mining into Agent-Oriented Software Engineering -- Time Recursive Petri Nets -- Designing Case Handling Systems -- Model Driven Testing Based on Test History -- Assessing State Spaces Using Petri-Net Synthesis and Attribute-Based Visualization -- Directed Unfolding of Petri Nets -- McMillan’s Complete Prefix for Contextual Nets -- Elasticity and Petri Nets. |
Record Nr. | UNINA-9910484615203321 |
Jensen K.
![]() |
||
Berlin : , : Springer, , [2008] | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Transactions on petri nets and other models of concurrency I / / K. Jensen, Wil van der Aalst, Jonathan Billington |
Autore | Jensen K. |
Edizione | [1st ed. 2008.] |
Pubbl/distr/stampa | Berlin : , : Springer, , [2008] |
Descrizione fisica | 1 online resource (XVIII, 251 p.) |
Disciplina | 511.3 |
Collana | Transactions on Petri Nets and Other Models of Concurrency |
Soggetto topico |
Petri nets
Computer multitasking |
ISBN | 3-540-89287-7 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Constructive Alignment for Teaching Model-Based Design for Concurrency -- Teaching Modelling and Validation of Concurrent Systems Using Coloured Petri Nets -- Teaching Concurrency Concepts to Freshmen -- TAPAs: A Tool for the Analysis of Process Algebras -- Translating Message Sequence Charts to other Process Languages Using Process Mining -- Net Components for the Integration of Process Mining into Agent-Oriented Software Engineering -- Time Recursive Petri Nets -- Designing Case Handling Systems -- Model Driven Testing Based on Test History -- Assessing State Spaces Using Petri-Net Synthesis and Attribute-Based Visualization -- Directed Unfolding of Petri Nets -- McMillan’s Complete Prefix for Contextual Nets -- Elasticity and Petri Nets. |
Record Nr. | UNISA-996465882603316 |
Jensen K.
![]() |
||
Berlin : , : Springer, , [2008] | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|