| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNISA996418290003316 |
|
|
Titolo |
Business Process Management [[electronic resource] ] : 18th International Conference, BPM 2020, Seville, Spain, September 13–18, 2020, Proceedings / / edited by Dirk Fahland, Chiara Ghidini, Jörg Becker, Marlon Dumas |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2020.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (XLIII, 524 p. 397 illus., 80 illus. in color.) |
|
|
|
|
|
|
Collana |
|
Information Systems and Applications, incl. Internet/Web, and HCI ; ; 12168 |
|
|
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Information storage and retrieval |
Application software |
Management information systems |
Industrial management |
E-commerce |
Artificial intelligence |
Information Storage and Retrieval |
Information Systems Applications (incl. Internet) |
Business Process Management |
e-Commerce/e-business |
Artificial Intelligence |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
|
|
|
|
|
Nota di contenuto |
|
Keynotes -- Process Minding: Closing the Big Data Gap -- Characterizing Machine Learning Processes: A Maturity Framework -- Foundations -- Extending Temporal Business Constraints with Uncertainty -- Petri Nets with Parameterised Data Modelling and Verification -- Socially-Aware Business Process Redesign -- Incentive Alignment of Business Processes -- PRIPEL: Privacy-Preserving Event Log Publishing Including Contextual Information -- A Framework for Estimating Simplicity of Automatically Discovered Process Models Based on Structural and Behavioral Characteristics -- Online Process |
|
|
|
|
|
|
|
|
|
|
|
Monitoring Using Incremental State-Space Expansion: An Exact Algorithm -- Engineering -- Looking for Meaning: Discovering Action-Response-Effect Patterns in Business Processes -- Extracting Annotations from Textual Descriptions of Processes -- Analyzing Process Concept Drifts Based on Sensor Event Streams During Runtime -- TADE: Stochastic Conformance Checking using Temporal Activity Density Estimation -- Predictive Business Process Monitoring via Generative Adversarial Nets: The Case of Next Event Prediction -- Exploring Interpretable Predictive Models for Business Processes -- Triggering Proactive Business Process Adaptations via Online Reinforcement Learning -- Video-to-Model: Unsupervised Trace Extraction from Videos for Process Discovery and Conformance Checking in Manual Assembly -- Enhancing Event Log Quality: Detecting and Quantifying Timestamp Imperfections -- Automatic Repair of Same-Timestamp Errors in Business Process Event Logs -- Management -- Explorative Process Design Patterns -- Quo vadis, Business Process Maturity Model? Learning from the Past to Envision the Future -- A typological framework of process improvement project stakeholders -- BP-IT Alignment in SMEs: a Game-based Learning Approach to Increase Stakeholders' Maturity -- Understanding Quality in Declarative Process Modeling Through the Mental Models of Experts -- Adding Intelligent Robots to Business Processes: A Dilemma Analysis of Employees' Attitudes -- How to Keep RPA Maintainable? -- A Consolidated Framework for Implementing Robotic Process Automation Projects -- A Multi Perspective Framework for Enhanced Supply Chain Analytics -- Event Log Generation in a Health System: a Case Study. |
|
|
|
|
|
|
Sommario/riassunto |
|
This book constitutes the proceedings of the 18th International Conference on Business Process Management, BPM 2020, held in Seville, Spain, in September 2020. The conference was held virtually due to the COVID-19 pandemic. The 27 full papers included in this volume were carefully reviewed and selected from 125 submissions. Two full keynote papers are also included. The papers are organized in topical sections named: foundations; engineering; and management. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2. |
Record Nr. |
UNISA996466262003316 |
|
|
Titolo |
Logical Foundations of Computer Science [[electronic resource] ] : International Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007, Proceedings / / edited by Sergei Artemov, Anil Nerode |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2007 |
|
|
|
|
|
|
|
|
|
ISBN |
|
1-280-94953-8 |
9786610949533 |
3-540-72734-5 |
|
|
|
|
|
|
|
|
Edizione |
[1st ed. 2007.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (521 p.) |
|
|
|
|
|
|
Collana |
|
Theoretical Computer Science and General Issues, , 2512-2029 ; ; 4514 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Computer science |
Machine theory |
Mathematical logic |
Theory of Computation |
Formal Languages and Automata Theory |
Computer Science Logic and Foundations of Programming |
Mathematical Logic and Foundations |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Description based upon print version of record. |
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references and index. |
|
|
|
|
|
|
Nota di contenuto |
|
Justified and Common Knowledge: Limited Conservativity -- The Intensional Lambda Calculus -- Generalized Non-deterministic Matrices and (n,k)-ary Quantifiers -- Elementary Differential Calculus on Discrete and Hybrid Structures -- Weighted Distributed Systems and Their Logics -- Weighted O-Minimal Hybrid Systems Are More Decidable Than Weighted Timed Automata! -- On Decidability and Expressiveness of Propositional Interval Neighborhood Logics -- Reasoning About Sequences of Memory States -- Cut Elimination in Deduction Modulo by Abstract Completion -- Density Elimination and Rational Completeness for First-Order Logics -- Extracting the Resolution Algorithm from a Completeness Proof for the Propositional Calculus -- Topological Semantics and Bisimulations for Intuitionistic Modal Logics and Their Classical Companion Logics -- A Decidable |
|
|
|
|
|
|
|
|
|
|
Temporal Logic of Repeating Values -- Model Checking Knowledge and Linear Time: PSPACE Cases -- Realizations and LP -- Successive Abstractions of Hybrid Automata for Monotonic CTL Model Checking -- Explicit Proofs in Formal Provability Logic -- A Synthesis Algorithm for Hybrid Systems -- Including the Past in ‘Topologic’ -- A Note on Rewriting Proofs and Fibonacci Numbers -- On Complexity of Ehrenfeucht-Fraïssé Games -- The Law of the Iterated Logarithm for Algorithmically Random Brownian Motion -- Hypersequent Calculus for Intuitionistic Logic with Classical Atoms -- Proof Identity for Classical Logic: Generalizing to Normality -- On the Constructive Dedekind Reals: Extended Abstract -- Verifying Balanced Trees -- Compactness Properties for Stable Semantics of Logic Programs -- Uniform Circuits, & Boolean Proof Nets -- Finite Automata Presentable Abelian Groups -- Embeddings into Free Heyting Algebras and Translations into Intuitionistic Propositional Logic -- Some Puzzles About Probability and Probabilistic Conditionals -- A Temporal Dynamic Logic for Verifying Hybrid System Invariants -- Multiplexor Categories and Models of Soft Linear Logic -- Until-Since Temporal Logic Based on Parallel Time with Common Past. Deciding Algorithms -- Total Public Announcements. |
|
|
|
|
|
| |