Business Process Management [[electronic resource] ] : 17th International Conference, BPM 2019, Vienna, Austria, September 1–6, 2019, Proceedings / / edited by Thomas Hildebrandt, Boudewijn F. van Dongen, Maximilian Röglinger, Jan Mendling |
Edizione | [1st ed. 2019.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
Descrizione fisica | 1 online resource (XXI, 438 p. 404 illus., 85 illus. in color.) |
Disciplina | 658.0285 |
Collana | Information Systems and Applications, incl. Internet/Web, and HCI |
Soggetto topico |
Information storage and retrieval
Application software E-commerce Algorithms Computer science—Mathematics Data structures (Computer science) Information Storage and Retrieval Information Systems Applications (incl. Internet) e-Commerce/e-business Algorithm Analysis and Problem Complexity Discrete Mathematics in Computer Science Data Structures |
ISBN | 3-030-26619-2 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Tutorials -- Everything You Always Wanted To Know About Petri Nets, But Were Afraid To Ask -- Responsible Process Mining - A Data Quality Perspective -- IoT for BPMers. Challenges, case studies and successful applications -- Exploring Explorative BPM - Setting the Ground for Future Research -- Foundations -- Dynamic Reconfiguration of Business Processes -- A First-Order Logic Semantics for Communication-Parametric BPMN Collaborations -- Modeling and Enforcing Blockchain-Based Choreographies -- Formal Reasoning on Natural Language Descriptions of Processes -- Goal-oriented Process Enhancement and Discovery -- Checking Regulatory Compliance: Will We Live to See It -- Modelling and Reasoning over Declarative Data-Aware Processes with Object-Centric Behavioral Constraints -- Formal Modeling and SMT-Based Parameterized Verification of Data-Aware BPMN -- Engineering -- Estimating Process Conformance by Trace Sampling and Result Approximation -- Trace Clustering on Very Large Event Data in Healthcare using Frequent Sequence Patterns -- ProcessExplorer: Intelligent Process Mining Guidance -- Machine Learning-Based Framework for Log-Lifting in Business Process Mining Applications -- Approximate Computation of Alignments of Business Processes through Relaxation Labelling -- Metaheuristic Optimization for Automated Business Process Discovery -- Learning Accurate LSTM Models of Business Processes -- Management -- Trust-aware Process Design -- Mining Process Mining Practices: An Exploratory Characterization of Information Needs in Process Analytics -- Towards a Process Reference Model for Research Management: An Action Design Research effort at an Australian University -- What the Hack? - Towards a Taxonomy of Hackathons -- Design Patterns for Business Process Individualization -- Understanding the Alignment of Employee Appraisals and Rewards with Business Processes -- Business Process Improvement Activities: Differences in Organizational Size, Culture, and Resources -- Regulatory Instability, Business Process Management Technology, and BPM Skill Configurations. |
Record Nr. | UNISA-996466424803316 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Business Process Management : 17th International Conference, BPM 2019, Vienna, Austria, September 1–6, 2019, Proceedings / / edited by Thomas Hildebrandt, Boudewijn F. van Dongen, Maximilian Röglinger, Jan Mendling |
Edizione | [1st ed. 2019.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
Descrizione fisica | 1 online resource (XXI, 438 p. 404 illus., 85 illus. in color.) |
Disciplina | 658.0285 |
Collana | Information Systems and Applications, incl. Internet/Web, and HCI |
Soggetto topico |
Information storage and retrieval
Application software E-commerce Algorithms Computer science—Mathematics Data structures (Computer science) Information Storage and Retrieval Information Systems Applications (incl. Internet) e-Commerce/e-business Algorithm Analysis and Problem Complexity Discrete Mathematics in Computer Science Data Structures |
ISBN | 3-030-26619-2 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Tutorials -- Everything You Always Wanted To Know About Petri Nets, But Were Afraid To Ask -- Responsible Process Mining - A Data Quality Perspective -- IoT for BPMers. Challenges, case studies and successful applications -- Exploring Explorative BPM - Setting the Ground for Future Research -- Foundations -- Dynamic Reconfiguration of Business Processes -- A First-Order Logic Semantics for Communication-Parametric BPMN Collaborations -- Modeling and Enforcing Blockchain-Based Choreographies -- Formal Reasoning on Natural Language Descriptions of Processes -- Goal-oriented Process Enhancement and Discovery -- Checking Regulatory Compliance: Will We Live to See It -- Modelling and Reasoning over Declarative Data-Aware Processes with Object-Centric Behavioral Constraints -- Formal Modeling and SMT-Based Parameterized Verification of Data-Aware BPMN -- Engineering -- Estimating Process Conformance by Trace Sampling and Result Approximation -- Trace Clustering on Very Large Event Data in Healthcare using Frequent Sequence Patterns -- ProcessExplorer: Intelligent Process Mining Guidance -- Machine Learning-Based Framework for Log-Lifting in Business Process Mining Applications -- Approximate Computation of Alignments of Business Processes through Relaxation Labelling -- Metaheuristic Optimization for Automated Business Process Discovery -- Learning Accurate LSTM Models of Business Processes -- Management -- Trust-aware Process Design -- Mining Process Mining Practices: An Exploratory Characterization of Information Needs in Process Analytics -- Towards a Process Reference Model for Research Management: An Action Design Research effort at an Australian University -- What the Hack? - Towards a Taxonomy of Hackathons -- Design Patterns for Business Process Individualization -- Understanding the Alignment of Employee Appraisals and Rewards with Business Processes -- Business Process Improvement Activities: Differences in Organizational Size, Culture, and Resources -- Regulatory Instability, Business Process Management Technology, and BPM Skill Configurations. |
Record Nr. | UNINA-9910349303803321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Business Process Management Forum : BPM Forum 2019, Vienna, Austria, September 1–6, 2019, Proceedings / / edited by Thomas Hildebrandt, Boudewijn F. van Dongen, Maximilian Röglinger, Jan Mendling |
Edizione | [1st ed. 2019.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
Descrizione fisica | 1 online resource (XIV, 229 p. 84 illus., 24 illus. in color.) |
Disciplina | 658.0285 |
Collana | Lecture Notes in Business Information Processing |
Soggetto topico |
Information technology - Management
Application software Data mining Business information services Computer Application in Administrative Data Processing Business Process Management Computer and Information Systems Applications Data Mining and Knowledge Discovery Business Information Systems |
ISBN | 3-030-26643-5 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Specification -- Sketching Process Models by Mining Participant Stories -- Quasi-Inconsistency in Declarative Process Models -- Decision Support for Declarative Artifact-Centric Process Models -- Execution -- Optimized Resource Allocations in Business Process Models -- Predicting critical behaviors in business process executions: when evidence counts -- Counterfactual Reasoning for Process Optimization using Structural Causal Models -- A Java-based Framework for Case Management Applications -- Analytics -- Earth Movers' Stochastic Conformance Checking -- Discovering Automatable Routines From User Interaction Logs -- Grounding Process Data Analytics in Domain Knowledge: A Mixed-method Approach to Identifying Best Practice -- Management -- Effect of Attribute Alignment on Action Sequence Variability: Evidence from Electronic Medical Records -- From Openness to Change to Patients' Satisfaction: A Business Process Management Approach -- Process Performance Measurement System Characteristics: An Empirically Validated Framework. . |
Record Nr. | UNINA-9910349286503321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Essentials of Septorhinoplasty : Philosophy, Approaches, Techniques / / by: Behrbohm, Hans, Tardy Jr., M. Eugene |
Autore | Behrbohm Hans |
Edizione | [Second edition.] |
Pubbl/distr/stampa | Stuttgart ; ; New York : , : Thieme, , [2017] |
Descrizione fisica | 1 online resource (xv, 262 pages) : color illustrations |
Disciplina | 617.5/230592 |
Soggetto topico |
Nasal septum - Surgery
Rhinoplasty |
ISBN |
3-13-258070-8
3-13-162812-X |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910151836003321 |
Behrbohm Hans | ||
Stuttgart ; ; New York : , : Thieme, , [2017] | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
The Nose-Revision & Reconstruction : A Manual and Casebook / / by: Behrbohm, Hans |
Autore | Behrbohm Hans |
Pubbl/distr/stampa | Stuttgart, Germany : , : Thieme, , 2015 |
Descrizione fisica | 1 online resource (282 p.) |
Disciplina |
617.5
617.5230592 |
Soggetto topico |
Rhinoplasty
Nose - Surgery |
ISBN |
3-13-258159-3
3-13-150511-7 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto |
The Nose-Revision & Reconstruction: A Manual and Casebook; Title Page; Copyright; Contents; Foreword; Foreword; Preface; Contributors; Section I; 1 Revision Rhinoplasty-An Introduction; 2 Basic Rules for Revision Rhinoplasties; 3 Psychological Evaluation; 4 Complications and Risks; 5 Reference Points in Aesthetic Facial Surgery: Part Mathematics, Part Intuition; 6 Septorhinoplasty in Different Age Groups; 7 Identity and Aesthetics: Ethnic Aspects of Rhinoplasty; 8 The Nose As an Aerodynamic Body; 9 Evaluation and Analysis; 10 Tissue Replacement in the Nose; 11 Principles of Nasal Implantology
12 Lateral Osteotomies13 Sutures and Structural Grafts in Secondary Nasal Tip Surgery; Section II; 14 Approaches to the Nasal Tip and Dorsum; 15 Revision Septoplasty; 16 Complexity of Events; 17 Polly Beak Deformity; 18 Problems with the Nasal Dorsum; 19 Deviation of the Nasal Dorsum; 20 Multiple Nasal Injuries; 21 Nasal Refinement with Minimal Changes; 22 Functional Tension Nose and the Overprojected Nose; 23 Problems Involving the Nasal Vestibule; 24 Saddle Nose after Septoplasty or Trauma; 25 Augmentation of the Nasal Dorsum; 26 Over- and Underresection of the Alar Cartilages 27 The Nasal Tip28 Reconstruction of Tissue Loss: Columella and Nasal Tip; 29 Rhinoplasty after Tumor Surgery; 30 Rhinoplasty in Patients with Systemic Diseases; 31 Paraffinomas (Lipogranulomas); 32 Rhinoplasty after Cleft Lip Repair; 33 Iatrogenic Overresection of the Nasal Framework; 34 Reconstructive Surgery; Appendix; Index |
Record Nr. | UNINA-9910797147803321 |
Behrbohm Hans | ||
Stuttgart, Germany : , : Thieme, , 2015 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
The Nose-Revision & Reconstruction : A Manual and Casebook / / by: Behrbohm, Hans |
Autore | Behrbohm Hans |
Pubbl/distr/stampa | Stuttgart, Germany : , : Thieme, , 2015 |
Descrizione fisica | 1 online resource (282 p.) |
Disciplina |
617.5
617.5230592 |
Soggetto topico |
Rhinoplasty
Nose - Surgery |
ISBN |
3-13-258159-3
3-13-150511-7 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto |
The Nose-Revision & Reconstruction: A Manual and Casebook; Title Page; Copyright; Contents; Foreword; Foreword; Preface; Contributors; Section I; 1 Revision Rhinoplasty-An Introduction; 2 Basic Rules for Revision Rhinoplasties; 3 Psychological Evaluation; 4 Complications and Risks; 5 Reference Points in Aesthetic Facial Surgery: Part Mathematics, Part Intuition; 6 Septorhinoplasty in Different Age Groups; 7 Identity and Aesthetics: Ethnic Aspects of Rhinoplasty; 8 The Nose As an Aerodynamic Body; 9 Evaluation and Analysis; 10 Tissue Replacement in the Nose; 11 Principles of Nasal Implantology
12 Lateral Osteotomies13 Sutures and Structural Grafts in Secondary Nasal Tip Surgery; Section II; 14 Approaches to the Nasal Tip and Dorsum; 15 Revision Septoplasty; 16 Complexity of Events; 17 Polly Beak Deformity; 18 Problems with the Nasal Dorsum; 19 Deviation of the Nasal Dorsum; 20 Multiple Nasal Injuries; 21 Nasal Refinement with Minimal Changes; 22 Functional Tension Nose and the Overprojected Nose; 23 Problems Involving the Nasal Vestibule; 24 Saddle Nose after Septoplasty or Trauma; 25 Augmentation of the Nasal Dorsum; 26 Over- and Underresection of the Alar Cartilages 27 The Nasal Tip28 Reconstruction of Tissue Loss: Columella and Nasal Tip; 29 Rhinoplasty after Tumor Surgery; 30 Rhinoplasty in Patients with Systemic Diseases; 31 Paraffinomas (Lipogranulomas); 32 Rhinoplasty after Cleft Lip Repair; 33 Iatrogenic Overresection of the Nasal Framework; 34 Reconstructive Surgery; Appendix; Index |
Record Nr. | UNINA-9910817167503321 |
Behrbohm Hans | ||
Stuttgart, Germany : , : Thieme, , 2015 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Web Services, Formal Methods, and Behavioral Types [[electronic resource] ] : 11th International Workshop, WS-FM 2014, Eindhoven, The Netherlands, September 11-12, 2014, and 12th International Workshop, WS-FM/BEAT 2015, Madrid, Spain, September 4-5, 2015, Revised Selected Papers / / edited by Thomas Hildebrandt, António Ravara, Jan Martijn van der Werf, Matthias Weidlich |
Edizione | [1st ed. 2016.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 |
Descrizione fisica | 1 online resource (XVII, 167 p. 36 illus.) |
Disciplina | 006 |
Collana | Programming and Software Engineering |
Soggetto topico |
Application software
Software engineering Computer logic Computer communication systems Computer system failures Management information systems Computer science Information Systems Applications (incl. Internet) Software Engineering Logics and Meanings of Programs Computer Communication Networks System Performance and Evaluation Management of Computing and Information Systems |
ISBN | 3-319-33612-6 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Kickstarting Choreographic Programming -- On the Suitability of Behavioral Profiles for Process Model Comparison -- Formal Verification of Petri Nets with Names -- Modeling and formal analysis of a client-server application for Cloud services -- An Event-Based Approach to Runtime Adaptation in Communication-Centric Systems -- Designing Efficient XACML Policies for RESTful Services -- Type Inference for Session Types in the Pi-Calculus -- Type checking purpose-based access control policies in the pi-calculus -- On the decidability of honesty and of its variants. |
Record Nr. | UNISA-996465709903316 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Web Services, Formal Methods, and Behavioral Types : 11th International Workshop, WS-FM 2014, Eindhoven, The Netherlands, September 11-12, 2014, and 12th International Workshop, WS-FM/BEAT 2015, Madrid, Spain, September 4-5, 2015, Revised Selected Papers / / edited by Thomas Hildebrandt, António Ravara, Jan Martijn van der Werf, Matthias Weidlich |
Edizione | [1st ed. 2016.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 |
Descrizione fisica | 1 online resource (XVII, 167 p. 36 illus.) |
Disciplina | 006 |
Collana | Programming and Software Engineering |
Soggetto topico |
Application software
Software engineering Computer science Computer networks Electronic digital computers—Evaluation Electronic data processing—Management Computer and Information Systems Applications Software Engineering Computer Science Logic and Foundations of Programming Computer Communication Networks System Performance and Evaluation IT Operations |
ISBN | 3-319-33612-6 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Kickstarting Choreographic Programming -- On the Suitability of Behavioral Profiles for Process Model Comparison -- Formal Verification of Petri Nets with Names -- Modeling and formal analysis of a client-server application for Cloud services -- An Event-Based Approach to Runtime Adaptation in Communication-Centric Systems -- Designing Efficient XACML Policies for RESTful Services -- Type Inference for Session Types in the Pi-Calculus -- Type checking purpose-based access control policies in the pi-calculus -- On the decidability of honesty and of its variants. |
Record Nr. | UNINA-9910483617803321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|