Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
2007 IEEE International Conference on Services Computing : (SCC 2007) : proceedings : Salt Lake City, Utah, USA, July 9-13, 2007
| 2007 IEEE International Conference on Services Computing : (SCC 2007) : proceedings : Salt Lake City, Utah, USA, July 9-13, 2007 |
| Pubbl/distr/stampa | [Place of publication not identified], : IEEE Computer Society, 2007 |
| Disciplina | 006.7 |
| Soggetto topico |
Web services - Data processing
Information technology Business Telecommunications Electrical & Computer Engineering Engineering & Applied Sciences |
| ISBN | 1-5090-8768-0 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996202052703316 |
| [Place of publication not identified], : IEEE Computer Society, 2007 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
2007 IEEE International Conference on Services Computing : (SCC 2007) : proceedings : Salt Lake City, Utah, USA, July 9-13, 2007
| 2007 IEEE International Conference on Services Computing : (SCC 2007) : proceedings : Salt Lake City, Utah, USA, July 9-13, 2007 |
| Pubbl/distr/stampa | [Place of publication not identified], : IEEE Computer Society, 2007 |
| Disciplina | 006.7 |
| Soggetto topico |
Web services - Data processing
Information technology Business Telecommunications Electrical & Computer Engineering Engineering & Applied Sciences |
| ISBN | 1-5090-8768-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910142713503321 |
| [Place of publication not identified], : IEEE Computer Society, 2007 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Analysis of images, social networks and texts : 9th international conference, AIST 2020, Skolkovo, Moscow, Russia, October 15-16, 2020, revised selected papers / / edited by Wil M. P. van der Aalst [and fourteen others]
| Analysis of images, social networks and texts : 9th international conference, AIST 2020, Skolkovo, Moscow, Russia, October 15-16, 2020, revised selected papers / / edited by Wil M. P. van der Aalst [and fourteen others] |
| Pubbl/distr/stampa | Cham, Switzerland : , : Springer, , [2021] |
| Descrizione fisica | 1 online resource (480 pages) |
| Disciplina | 006.31 |
| Collana | Lecture Notes in Computer Science Ser. |
| Soggetto topico | Machine learning |
| ISBN | 3-030-72610-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996464414703316 |
| Cham, Switzerland : , : Springer, , [2021] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Analysis of Images, Social Networks and Texts : 9th International Conference, AIST 2020, Skolkovo, Moscow, Russia, October 15–16, 2020, Revised Selected Papers / / edited by Wil M. P. van der Aalst, Vladimir Batagelj, Dmitry I. Ignatov, Michael Khachay, Olessia Koltsova, Andrey Kutuzov, Sergei O. Kuznetsov, Irina A. Lomazova, Natalia Loukachevitch, Amedeo Napoli, Alexander Panchenko, Panos M. Pardalos, Marcello Pelillo, Andrey V. Savchenko, Elena Tutubalina
| Analysis of Images, Social Networks and Texts : 9th International Conference, AIST 2020, Skolkovo, Moscow, Russia, October 15–16, 2020, Revised Selected Papers / / edited by Wil M. P. van der Aalst, Vladimir Batagelj, Dmitry I. Ignatov, Michael Khachay, Olessia Koltsova, Andrey Kutuzov, Sergei O. Kuznetsov, Irina A. Lomazova, Natalia Loukachevitch, 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 (480 pages) |
| Disciplina | 006.31 |
| Collana | Information Systems and Applications, incl. Internet/Web, and HCI |
| Soggetto topico |
Data mining
Machine learning Natural language processing (Computer science) Database management Algorithms Data Mining and Knowledge Discovery Machine Learning Natural Language Processing (NLP) Database Management Design and Analysis of Algorithms Mineria de dades Processament d'imatges Processament digital d'imatges |
| Soggetto genere / forma |
Congressos
Llibres electrònics |
| ISBN | 3-030-72610-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Papers -- Making ML Models Fairer through Explanations: the Case of LimeOut -- RuREBus: a Case Study of Joint Named Entity Recognition and Relation Extraction from e-Government Domain -- On Interpretability and Similarity in Concept-Based Machine Learning -- Natural Language Processing -- DaNetQA: a yes/no Question Answering Dataset for the Russian Language -- Do Topics Make a Metaphor? Topic Modeling for Metaphor Identification and Analysis in Russian -- Metagraph-Based Approach for Neural Text Question Generation -- Abstractive Summarization of Russian News Learning on Quality Media -- RST Discourse Parser for Russian: an Experimental Study of Deep Learning Models -- A Comparative Study of Feature Types for Age-Based Text Classification -- Emotion Classification in Russian: Feature Engineering and Analysis -- Generating Sport Summaries: A Case Study for Russian -- Automatic Generation of Annotated Collection for Recognition of Sentiment Frames -- ELMo and BERT in Semantic Change Detection for Russian -- BERT for Sequence-to-Sequence Multi-Label Text Classification -- Computer Vision -- Deep Learning on Point Clouds for False Positive Reduction at Nodule Detection in Chest CT Scans -- Identifying User Interests and Habits Using Object Detection and Semantic Segmentation Models -- Semi-Automatic Manga Colorization Using Conditional Adversarial Networks -- Automated Image and Video Quality Assessment for Computational Video Editing -- An Ensemble-based Classifier of Photographs of Commercial Buildings Facades -- Social Network Analysis -- Linking Friends in Social Networks using HashTag Attributes -- Emotional Analysis of Russian Texts Using Emojis in Social Networks -- Community Detection Based on the Nodes Role in a Network: the Telegram Platform Case -- Study Of Strategies For Disseminating Information In Social Networks Using Simulation Tools -- Data Analysis and Machine Learning -- Advanced Data Recognition Technique for Real-Time and Monitoring Systems -- Human Action Recognition for Boxing Training Simulator -- Bayesian Filtering in a Latent Space to Predict Bank Net Income from Acquiring -- Gradient-Based Adversarial Attacks on Categorical Sequence Models via Traversing an Embedded World -- Russia on the Global Artificial Intelligence Scene -- New Properties Of The Data Distillation Method When Working With Tabular Data -- Unsupervised Anomaly Detection for Semi-Structured Sequence Healthcare Data -- Theoretical Machine Learning and Optimization -- Lower Bound Polynomial Fast Procedure for the Resource-Constrained Project Scheduling Problem Tested on PSPLIB Instances -- Fast Approximation Algorithms for Stabbing Special Families of Line Segments with Equal Disks -- Process Mining -- Checking Conformance between Colored Petri Nets and Event Logs -- Data and Reference Semantic-Based Simulator of DB-nets with the Use of Renew Tool. . |
| Record Nr. | UNINA-9910484903503321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2021 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Applications and theory of petri nets 2003 : 24th international conference, icatpn 2003, eindhoven, the netherlands, june 23-27, 2003, proceedings / / edited by Wil van der Aalst, Eike Best
| Applications and theory of petri nets 2003 : 24th international conference, icatpn 2003, eindhoven, the netherlands, june 23-27, 2003, proceedings / / edited by Wil van der Aalst, Eike Best |
| Edizione | [1st ed. 2003.] |
| Pubbl/distr/stampa | Germany : , : Springer, , [2003] |
| Descrizione fisica | 1 online resource (517 p.) |
| Disciplina | 004 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico | Petri nets |
| ISBN | 3-540-44919-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Papers -- Coloured Petri Nets: Status and Outlook -- Towards Biopathway Modeling and Simulation -- The Resource Allocation Problem in Flexible Manufacturing Systems -- Colored GSPN Models for the QoS Design of Internet Subnets -- Compositional Theories of Qualitative and Quantitative Behaviour -- Net Models Supporting Human and Humane Behaviors -- Full Papers -- Deciding Life-Cycle Inheritance on Petri Nets -- Nets Enriched over Closed Monoidal Structures -- Automatic Symmetry Detection in Well-Formed Nets -- A Proposal for Structuring Petri Net-Based Agent Interaction Protocols -- Modelling Mobility and Mobile Agents Using Nets within Nets -- Modular System Development with Pullbacks -- Specification and Validation of the SACI-1 On-Board Computer Using Timed-CSP-Z and Petri Nets -- On the Use of Petri Nets for the Computation of Completion Time Distribution for Short TCP Transfers -- Model Checking Safety Properties in Modular High-Level Nets -- On Reachability in Autonomous Continuous Petri Net Systems -- On the Siphon-Based Characterization of Liveness in Sequential Resource Allocation Systems -- Coloured Petri Nets in Development of a Pervasive Health Care System -- Logical Reasoning and Petri Nets -- Reactive Petri Nets for Workflow Modeling -- Distributed Diagnosis of Discrete-Event Systems Using Petri Nets -- Soundness and Separability of Workflow Nets in the Stepwise Refinement Approach -- On Synchronicity and Concurrency in Petri Nets -- Analysing Properties of the Resource Reservation Protocol -- Hierarchical Timed High Level Nets and Their Branching Processes -- A Heuristic Algorithm FSDC Based on Avoidance of Deadlock Components in Finding Legal Firing Sequences of Petri Nets -- Tool Papers -- PLC Programming with Signal Interpreted Petri Nets -- CPN Tools for Editing, Simulating, and Analysing Coloured Petri Nets -- The Model-Checking Kit -- Prototyping Object Oriented Specifications -- PNML Paper -- The Petri Net Markup Language: Concepts, Technology, and Tools. |
| Record Nr. | UNINA-9910143870403321 |
| Germany : , : Springer, , [2003] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Applications and theory of petri nets 2003 : 24th international conference, icatpn 2003, eindhoven, the netherlands, june 23-27, 2003, proceedings / / edited by Wil van der Aalst, Eike Best
| Applications and theory of petri nets 2003 : 24th international conference, icatpn 2003, eindhoven, the netherlands, june 23-27, 2003, proceedings / / edited by Wil van der Aalst, Eike Best |
| Edizione | [1st ed. 2003.] |
| Pubbl/distr/stampa | Germany : , : Springer, , [2003] |
| Descrizione fisica | 1 online resource (517 p.) |
| Disciplina | 004 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico | Petri nets |
| ISBN | 3-540-44919-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Papers -- Coloured Petri Nets: Status and Outlook -- Towards Biopathway Modeling and Simulation -- The Resource Allocation Problem in Flexible Manufacturing Systems -- Colored GSPN Models for the QoS Design of Internet Subnets -- Compositional Theories of Qualitative and Quantitative Behaviour -- Net Models Supporting Human and Humane Behaviors -- Full Papers -- Deciding Life-Cycle Inheritance on Petri Nets -- Nets Enriched over Closed Monoidal Structures -- Automatic Symmetry Detection in Well-Formed Nets -- A Proposal for Structuring Petri Net-Based Agent Interaction Protocols -- Modelling Mobility and Mobile Agents Using Nets within Nets -- Modular System Development with Pullbacks -- Specification and Validation of the SACI-1 On-Board Computer Using Timed-CSP-Z and Petri Nets -- On the Use of Petri Nets for the Computation of Completion Time Distribution for Short TCP Transfers -- Model Checking Safety Properties in Modular High-Level Nets -- On Reachability in Autonomous Continuous Petri Net Systems -- On the Siphon-Based Characterization of Liveness in Sequential Resource Allocation Systems -- Coloured Petri Nets in Development of a Pervasive Health Care System -- Logical Reasoning and Petri Nets -- Reactive Petri Nets for Workflow Modeling -- Distributed Diagnosis of Discrete-Event Systems Using Petri Nets -- Soundness and Separability of Workflow Nets in the Stepwise Refinement Approach -- On Synchronicity and Concurrency in Petri Nets -- Analysing Properties of the Resource Reservation Protocol -- Hierarchical Timed High Level Nets and Their Branching Processes -- A Heuristic Algorithm FSDC Based on Avoidance of Deadlock Components in Finding Legal Firing Sequences of Petri Nets -- Tool Papers -- PLC Programming with Signal Interpreted Petri Nets -- CPN Tools for Editing, Simulating, and Analysing Coloured Petri Nets -- The Model-Checking Kit -- Prototyping Object Oriented Specifications -- PNML Paper -- The Petri Net Markup Language: Concepts, Technology, and Tools. |
| Record Nr. | UNISA-996465773903316 |
| Germany : , : Springer, , [2003] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Business process management : 3rd international conference, BPM 2005, Nancy, France, September 5-8, 2005 : proceedings / / Wil M.P. van der Aalst ... [et al.] (eds.)
| Business process management : 3rd international conference, BPM 2005, Nancy, France, September 5-8, 2005 : proceedings / / Wil M.P. van der Aalst ... [et al.] (eds.) |
| Edizione | [1st ed. 2005.] |
| Pubbl/distr/stampa | Berlin ; ; New York, : Springer, c2005 |
| Descrizione fisica | 1 online resource (XII, 480 p.) |
| Disciplina | 658/.05 |
| Altri autori (Persone) | AalstWil van der |
| Collana | Lecture notes in computer science |
| Soggetto topico |
Business - Data processing
Business - Data processing - Management Management information systems Workflow - Management |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Research Papers -- Modeling and Analysis of Mobile Service Processes by Example of the Housing Industry -- An Organisational Perspective on Collaborative Business Processes -- Mining Hierarchies of Models: From Abstract Views to Concrete Specifications -- Flexible Business Process Management Using Forward Stepping and Alternative Paths -- Semi-automatic Generation of Web Services and BPEL Processes – A Model-Driven Approach -- A Human-Oriented Tuning of Workflow Management Systems -- The Price of Coordination in Resource Management -- sPAC (Web Services Performance Analysis Center): Performance Analysis and Estimation Tool of Web Services -- Specifying Web Workflow Services for Finding Partners in the Context of Loose Inter-organizational Workflow -- An Intuitive Formal Approach to Dynamic Workflow Modeling and Analysis -- Using the ?-Calculus for Formalizing Workflow Patterns -- Mining Workflow Recovery from Event Based Logs -- Behavior Based Integration of Composite Business Processes -- Visualization Support for Managing Large Business Process Specifications -- Transforming BPEL to Petri Nets -- Event-Based Coordination of Process-Oriented Composite Applications -- Integrating Process Learning and Process Evolution – A Semantics Based Approach -- An Analysis and Taxonomy of Unstructured Workflows -- A Framework for Document-Driven Workflow Systems -- Service Interaction Patterns -- Industrial Papers -- Modeling and Assessment of Production Printing Workflows Using Petri Nets -- Process Management in Health Care: A System for Preventing Risks and Medical Errors -- A Pathway for Process Improvement Activities in a Production Environment: A Case Study in a Rework Department -- IT Support for Healthcare Processes -- From RosettaNet PIPs to BPEL Processes: A Three Level Approach for Business Protocols -- Short Papers -- Using Software Quality Characteristics to Measure Business Process Quality -- Business Process Modelling and Improvement Using TAD Methodology -- On the Suitability of Correctness Criteria for Business Process Models -- Service Retrieval Based on Behavioral Specifications and Quality Requirements -- On the Semantics of EPCs: Efficient Calculation and Simulation -- Towards Integrating Business Policies with Business Processes -- A Contract Layered Architecture for Regulating Cross-Organisational Business Processes -- An Effective Content Management Methodology for Business Process Management -- Specification and Management of Policies in Service Oriented Business Collaboration -- Yet Another Event-Driven Process Chain -- Comparing the Control-Flow of EPC and Petri Net from the End-User Perspective -- Overview of Transactional Patterns: Combining Workflow Flexibility and Transactional Reliability for Composite Web Services -- Accelerated Enterprise Process Modeling Through a Formalized Functional Typology -- Introducing Business Process into Legacy Information Systems -- Spheres of Isolation: Adaptation of Isolation Levels to Transactional Workflow -- Verification of SAP Reference Models. |
| Altri titoli varianti | BPM 2005 |
| Record Nr. | UNINA-9910483161003321 |
| Berlin ; ; New York, : Springer, c2005 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Business Process Management [[electronic resource] ] : International Conference, BPM 2003, Eindhoven, The Netherlands, June 26-27, 2003, Proceedings / / edited by Wil van der Aalst, Arthur ter Hofstede, Mathias Weske
| Business Process Management [[electronic resource] ] : International Conference, BPM 2003, Eindhoven, The Netherlands, June 26-27, 2003, Proceedings / / edited by Wil van der Aalst, Arthur ter Hofstede, Mathias Weske |
| Edizione | [1st ed. 2003.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 |
| Descrizione fisica | 1 online resource (XII, 396 p.) |
| Disciplina | 658.5 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Business mathematics
Leadership Information storage and retrieval Application software User interfaces (Computer systems) Computers and civilization Business Mathematics Business Strategy/Leadership Information Storage and Retrieval Information Systems Applications (incl. Internet) User Interfaces and Human Computer Interaction Computers and Society |
| ISBN | 3-540-44895-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Business Process Management: A Survey -- Full Papers -- Workflow: A Language for Composing Web Services -- Mining Most Specific Workflow Models from Event-Based Data -- Evaluation of Correctness Criteria for Dynamic Workflow Changes -- Integrated Business Process Management: Using State-Based Business Rules to Communicate between Disparate Stakeholders -- Structuring Business Objectives: A Business Process Modeling Perspective -- Use Cases as Workflows -- A Model to Support Collaborative Work in Virtual Enterprises -- Towards a Library for Process Programming -- Generating a Process Model from a Process Audit Log -- Contracting Workflows and Protocol Patterns -- Security in Business Process Engineering -- Query Nets: Interacting Workflow Modules That Ensure Global Termination -- Generic Recurrent Patterns in Business Processes -- Personal Schedules for Workflow Systems -- A Process-Oriented Model for Authentication on the Basis of a Coloured Petri Net -- Pattern Based Workflow Design Using Reference Nets -- A Model for Process Service Interaction -- Exception Handling in the BPEL4WS Language -- Ratios to Support the Exploration of Business Process Models -- Integrating Business Process Reengineering with Information Systems Development: Issues & Implications -- Undo in Workflow Management Systems -- A Top-Down Petri Net-Based Approach for Dynamic Workflow Modeling -- A Case-Based Framework for Workflow Model Management -- Tool Papers -- ADEPT Workflow Management System -- Modelling and Validation with VipTool. |
| Record Nr. | UNISA-996465774203316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Business Process Management : International Conference, BPM 2003, Eindhoven, The Netherlands, June 26-27, 2003, Proceedings / / edited by Wil van der Aalst, Arthur ter Hofstede, Mathias Weske
| Business Process Management : International Conference, BPM 2003, Eindhoven, The Netherlands, June 26-27, 2003, Proceedings / / edited by Wil van der Aalst, Arthur ter Hofstede, Mathias Weske |
| Edizione | [1st ed. 2003.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 |
| Descrizione fisica | 1 online resource (XII, 396 p.) |
| Disciplina | 658.5 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Business mathematics
Leadership Information storage and retrieval Application software User interfaces (Computer systems) Computers and civilization Business Mathematics Business Strategy/Leadership Information Storage and Retrieval Information Systems Applications (incl. Internet) User Interfaces and Human Computer Interaction Computers and Society |
| ISBN | 3-540-44895-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Business Process Management: A Survey -- Full Papers -- Workflow: A Language for Composing Web Services -- Mining Most Specific Workflow Models from Event-Based Data -- Evaluation of Correctness Criteria for Dynamic Workflow Changes -- Integrated Business Process Management: Using State-Based Business Rules to Communicate between Disparate Stakeholders -- Structuring Business Objectives: A Business Process Modeling Perspective -- Use Cases as Workflows -- A Model to Support Collaborative Work in Virtual Enterprises -- Towards a Library for Process Programming -- Generating a Process Model from a Process Audit Log -- Contracting Workflows and Protocol Patterns -- Security in Business Process Engineering -- Query Nets: Interacting Workflow Modules That Ensure Global Termination -- Generic Recurrent Patterns in Business Processes -- Personal Schedules for Workflow Systems -- A Process-Oriented Model for Authentication on the Basis of a Coloured Petri Net -- Pattern Based Workflow Design Using Reference Nets -- A Model for Process Service Interaction -- Exception Handling in the BPEL4WS Language -- Ratios to Support the Exploration of Business Process Models -- Integrating Business Process Reengineering with Information Systems Development: Issues & Implications -- Undo in Workflow Management Systems -- A Top-Down Petri Net-Based Approach for Dynamic Workflow Modeling -- A Case-Based Framework for Workflow Model Management -- Tool Papers -- ADEPT Workflow Management System -- Modelling and Validation with VipTool. |
| Record Nr. | UNINA-9910143870603321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Internet of Production : Fundamentals, Applications and Proceedings / / edited by Christian Brecher [and five others]
| Internet of Production : Fundamentals, Applications and Proceedings / / edited by Christian Brecher [and five others] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing, , 2023 |
| Descrizione fisica | 1 online resource : illustrations |
| Disciplina | 302.2 |
| Soggetto topico | Internet - Social aspects |
| ISBN | 3-030-98062-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910717414003321 |
| Cham : , : Springer International Publishing, , 2023 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
