Applications and Theory of Petri Nets 2001 [[electronic resource] ] : 22nd International Conference, ICATPN 2001 Newcastle upon Tyne, UK, June 25-29, 2001 Proceedings / / edited by Jose-Manuel Colom, Maciej Koutny |
Edizione | [1st ed. 2001.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2001 |
Descrizione fisica | 1 online resource (XII, 408 p.) |
Disciplina | 004.24015115 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Mathematical logic
Software engineering Computer communication systems Computer science—Mathematics Information technology Business—Data processing Mathematical Logic and Foundations Software Engineering Mathematical Logic and Formal Languages Computer Communication Networks Discrete Mathematics in Computer Science IT in Business |
ISBN | 3-540-45740-2 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Invited Papers -- Kronecker Algebra and (Stochastic) Petri Nets: Is It Worth the Effort? -- The Flux of Interaction -- Towards a Notion of Distributed Time for Petri Nets -- Full Papers -- Identifying Commonalities and Differences in Object Life Cycles Using Behavioral Inheritance -- Timed Petri Nets and BQOs -- CPN/Tools: A Post-WIMP Interface for Editing and Simulating Coloured Petri Nets -- Petri Net Based Design and Implementation Methodology for Discrete Event Control Systems -- Condensed State Spaces for Timed Petri Nets -- Unfolding of Products of Symmetrical Petri Nets -- partial Order Verification of Programmable Logic Controllers -- Structural Characterization and Qualitative Properties of Product Form Stochastic Petri Nets -- Generalized Conditions for Liveness Enforcement and Deadlock Prevention in Petri Nets -- A Concurrent Semantics of Static Exceptions in a Parallel Programming Language -- A Concurrent Semantics of Static Exceptions in a Parallel Programming Language -- Modelling the Structure and Behaviour of Petri Net Agents -- Modelling the Structure and Behaviour of Petri Net Agents -- Model Checking LTL Properties of High-Level Petri Nets with Fairness Constraints -- Model Checking LTL Properties of High-Level Petri Nets with Fairness Constraints -- Incremental State Space Construction for Coloured Petri Nets -- Incremental State Space Construction for Coloured Petri Nets -- Optimising Enabling Tests and Unfoldings of Algebraic System Nets -- Optimising Enabling Tests and Unfoldings of Algebraic System Nets -- Extending the Petri Box Calculus with Time -- Extending the Petri Box Calculus with Time -- Abstractions and Partial Order Reductions for Checking Branching Properties of Time Petri Nets -- Abstractions and Partial Order Reductions for Checking Branching Properties of Time Petri Nets -- Pr/T-Net Based Seamless Design of Embedded Real-Time Systems -- Pr/T-Net Based Seamless Design of Embedded Real-Time Systems -- Rewriting Logic and Elan: Prototyping Tools for Petri Nets with Time -- Rewriting Logic and Elan: Prototyping Tools for Petri Nets with Time -- Partial S-Invariants for the Verification of Infinite Systems Families -- Partial S-Invariants for the Verification of Infinite Systems Families. |
Record Nr. | UNISA-996465889703316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2001 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Applications of Evolutionary Computing [[electronic resource] ] : EvoWorkshops 2001: EvoCOP, EvoFlight, EvoIASP, EvoLearn, and EvoSTIM, Como, Italy, April 18-20, 2001 Proceedings / / edited by Egbert J.W. Boers, Jens Gottlieb, Pier L. Lanzi, Robert E. Smith, Stefano Cagnoni, Emma Hart, Günther R. Raidl, Harald Tijink |
Edizione | [1st ed. 2001.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2001 |
Descrizione fisica | 1 online resource (XIV, 522 p.) |
Disciplina | 006.3 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Artificial intelligence
Algorithms Computer science—Mathematics Optical data processing Computational complexity Information technology Business—Data processing Artificial Intelligence Algorithm Analysis and Problem Complexity Mathematics of Computing Image Processing and Computer Vision Complexity IT in Business |
ISBN | 3-540-45365-2 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | EvoCOP Papers Graph Problems -- The Link and Node Biased Encoding Revisited: Bias and Adjustment of Parameters -- An Effective Implementation of a Direct Spanning Tree Representation in GAs -- An Evolutionary Algorithm with Stochastic Hill-Climbing for the Edge-Biconnectivity Augmentation Problem -- Application of GRASP to the Multiconstraint Knapsack Problem? -- Knapsack Problems -- Path Tracing in Genetic Algorithms Applied to the Multiconstrained Knapsack Problem -- On the Feasibility Problem of Penalty-Based Evolutionary Algorithms for Knapsack Problems -- Coloured Ant System and Local Search to Design Local Telecommunication Networks -- Ant Algorithms -- Cooperative Ant Colonies for Optimizing Resource Allocation in Transportation -- An ANTS Algorithm for Optimizing the Materialization of Fragmented Views in Data Warehouses: Preliminary Results -- Miscellaneous Applications -- A Genetic Algorithm for the Group-Technology Problem -- Generation of Optimal Unit Distance Codes for Rotary Encoders through Simulated Evolution -- On the Efficient Construction of Rectangular Grids from Given Data Points -- Assignment Problems -- An Evolutionary Annealing Approach to Graph Coloring -- A Constructive Evolutionary Approach to School Timetabling -- A Co-evolutionist Meta-heuristic for the Assignment of the Frequencies in Cellular Networks -- A Simulated Annealing Algorithm for Extended Cell Assignment Problem in a Wireless ATM Network -- Analysis of Evolutionary Algorithms -- On Performance Estimates for Two Evolutionary Algorithms -- A Contribution to the Study of the Fitness Landscape for a Graph Drawing Problem -- Evolutionary Game Dynamics in Combinatorial Optimization: An Overview -- Permutation Problems -- A Parallel Hybrid Heuristic for the TSP -- Effective Local and Guided Variable Neighbourhood Search Methods for the Asymmetric Travelling Salesman Problem -- Pheromone Modification Strategies for Ant Algorithms Applied to Dynamic TSP -- Conventional and Multirecombinative Evolutionary Algorithms for the Parallel Task Scheduling Problem -- EvoFlight Papers -- Two-Sided, Genetics-Based Learning to Discover Novel Fighter Combat Maneuvers -- Generation of Time-Delay Algorithms for Anti-air Missiles Using Genetic Programming -- Surface Movement Radar Image Correlation Using Genetic Algorithm -- A Conceptual Approach for Simultaneous Flight Schedule Construction with Genetic Algorithms -- EvoIASP Papers -- Genetic Snakes for Color Images Segmentation -- A Distributed Genetic Algorithm for Parameters Optimization to Detect Microcalcifications in Digital Mammograms -- Dynamic Flies: Using Real-Time Parisian Evolution in Robotics -- ARPIA: A High-Level Evolutionary Test Signal Generator -- A Pursuit Architecture for Signal Analysis -- Genetic Algorithm Based Heuristic Measure for Pattern Similarity in Kirlian Photographs -- Evolutionary Signal Enhancement Based on Hölder Regularity Analysis -- Building ARMA Models with Genetic Algorithms -- Evolving Market Index Trading Rules Using Grammatical Evolution -- Autonomous Photogrammetric Network Design Using Genetic Algorithms -- The Biological Concept of Neoteny in Evolutionary Color Image Segmentation - Simple Experiments in Simple Non-memetic Genetic Algorithms -- Using of Evolutionary Computations in Image Processing for Quantitative Atlas of Drosophila Genes Expression -- EvoLearn Papers -- Selection of Behavior in Social Situations Application to the Development of Coordinated Movements -- Clustering Moving Data with a Modified Immune Algorithm -- Belief Revision by Lamarckian Evolution -- A Study on the Effect of Cooperative Evolution on Concept Learning -- The Influence of Learning in the Evolution of Busy Beavers -- EvoSTIM Papers -- Automated Solution of a Highly Constrained School Timetabling Problem - Preliminary Results -- Design of Iterated Local Search Algorithms -- An Evolutionary Algorithm for Solving the School Time-Tabling Problem -- Optimizing Employee Schedules by a Hybrid Genetic Algorithm -- A Genetic Algorithm for the Capacitated Arc Routing Problem and Its Extensions -- A New Approach to Solve Permutation Scheduling Problems with Ant Colony Optimization -- Street-Based Routing Using an Evolutionary Algorithm -- Investigation of Different Seeding Strategies in a Genetic Planner. |
Record Nr. | UNINA-9910143597503321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2001 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Applications of Evolutionary Computing [[electronic resource] ] : EvoWorkshops 2001: EvoCOP, EvoFlight, EvoIASP, EvoLearn, and EvoSTIM, Como, Italy, April 18-20, 2001 Proceedings / / edited by Egbert J.W. Boers, Jens Gottlieb, Pier L. Lanzi, Robert E. Smith, Stefano Cagnoni, Emma Hart, Günther R. Raidl, Harald Tijink |
Edizione | [1st ed. 2001.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2001 |
Descrizione fisica | 1 online resource (XIV, 522 p.) |
Disciplina | 006.3 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Artificial intelligence
Algorithms Computer science—Mathematics Optical data processing Computational complexity Information technology Business—Data processing Artificial Intelligence Algorithm Analysis and Problem Complexity Mathematics of Computing Image Processing and Computer Vision Complexity IT in Business |
ISBN | 3-540-45365-2 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | EvoCOP Papers Graph Problems -- The Link and Node Biased Encoding Revisited: Bias and Adjustment of Parameters -- An Effective Implementation of a Direct Spanning Tree Representation in GAs -- An Evolutionary Algorithm with Stochastic Hill-Climbing for the Edge-Biconnectivity Augmentation Problem -- Application of GRASP to the Multiconstraint Knapsack Problem? -- Knapsack Problems -- Path Tracing in Genetic Algorithms Applied to the Multiconstrained Knapsack Problem -- On the Feasibility Problem of Penalty-Based Evolutionary Algorithms for Knapsack Problems -- Coloured Ant System and Local Search to Design Local Telecommunication Networks -- Ant Algorithms -- Cooperative Ant Colonies for Optimizing Resource Allocation in Transportation -- An ANTS Algorithm for Optimizing the Materialization of Fragmented Views in Data Warehouses: Preliminary Results -- Miscellaneous Applications -- A Genetic Algorithm for the Group-Technology Problem -- Generation of Optimal Unit Distance Codes for Rotary Encoders through Simulated Evolution -- On the Efficient Construction of Rectangular Grids from Given Data Points -- Assignment Problems -- An Evolutionary Annealing Approach to Graph Coloring -- A Constructive Evolutionary Approach to School Timetabling -- A Co-evolutionist Meta-heuristic for the Assignment of the Frequencies in Cellular Networks -- A Simulated Annealing Algorithm for Extended Cell Assignment Problem in a Wireless ATM Network -- Analysis of Evolutionary Algorithms -- On Performance Estimates for Two Evolutionary Algorithms -- A Contribution to the Study of the Fitness Landscape for a Graph Drawing Problem -- Evolutionary Game Dynamics in Combinatorial Optimization: An Overview -- Permutation Problems -- A Parallel Hybrid Heuristic for the TSP -- Effective Local and Guided Variable Neighbourhood Search Methods for the Asymmetric Travelling Salesman Problem -- Pheromone Modification Strategies for Ant Algorithms Applied to Dynamic TSP -- Conventional and Multirecombinative Evolutionary Algorithms for the Parallel Task Scheduling Problem -- EvoFlight Papers -- Two-Sided, Genetics-Based Learning to Discover Novel Fighter Combat Maneuvers -- Generation of Time-Delay Algorithms for Anti-air Missiles Using Genetic Programming -- Surface Movement Radar Image Correlation Using Genetic Algorithm -- A Conceptual Approach for Simultaneous Flight Schedule Construction with Genetic Algorithms -- EvoIASP Papers -- Genetic Snakes for Color Images Segmentation -- A Distributed Genetic Algorithm for Parameters Optimization to Detect Microcalcifications in Digital Mammograms -- Dynamic Flies: Using Real-Time Parisian Evolution in Robotics -- ARPIA: A High-Level Evolutionary Test Signal Generator -- A Pursuit Architecture for Signal Analysis -- Genetic Algorithm Based Heuristic Measure for Pattern Similarity in Kirlian Photographs -- Evolutionary Signal Enhancement Based on Hölder Regularity Analysis -- Building ARMA Models with Genetic Algorithms -- Evolving Market Index Trading Rules Using Grammatical Evolution -- Autonomous Photogrammetric Network Design Using Genetic Algorithms -- The Biological Concept of Neoteny in Evolutionary Color Image Segmentation - Simple Experiments in Simple Non-memetic Genetic Algorithms -- Using of Evolutionary Computations in Image Processing for Quantitative Atlas of Drosophila Genes Expression -- EvoLearn Papers -- Selection of Behavior in Social Situations Application to the Development of Coordinated Movements -- Clustering Moving Data with a Modified Immune Algorithm -- Belief Revision by Lamarckian Evolution -- A Study on the Effect of Cooperative Evolution on Concept Learning -- The Influence of Learning in the Evolution of Busy Beavers -- EvoSTIM Papers -- Automated Solution of a Highly Constrained School Timetabling Problem - Preliminary Results -- Design of Iterated Local Search Algorithms -- An Evolutionary Algorithm for Solving the School Time-Tabling Problem -- Optimizing Employee Schedules by a Hybrid Genetic Algorithm -- A Genetic Algorithm for the Capacitated Arc Routing Problem and Its Extensions -- A New Approach to Solve Permutation Scheduling Problems with Ant Colony Optimization -- Street-Based Routing Using an Evolutionary Algorithm -- Investigation of Different Seeding Strategies in a Genetic Planner. |
Record Nr. | UNISA-996465775703316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2001 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Applied Linear Regression for Business Analytics with R [[electronic resource] ] : A Practical Guide to Data Science with Case Studies / / by Daniel P. McGibney |
Autore | McGibney Daniel P. |
Edizione | [1st ed. 2023.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2023 |
Descrizione fisica | 1 online resource (286 pages) |
Disciplina | 650.0285 |
Collana | International Series in Operations Research & Management Science |
Soggetto topico |
Operations research
Regression analysis Business information services Business—Data processing Mathematical statistics—Data processing Operations Research and Decision Theory Linear Models and Regression IT in Business Business Analytics Statistics and Computing |
Soggetto non controllato |
Commerce
Business & Economics |
ISBN | 3-031-21480-3 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | 1. Introduction -- 2. Basic Statistics and Functions using R -- 3. Regression Fundamentals -- 4. Simple Linear Regression -- 5. Multiple Regression -- 6. Estimation Intervals and Analysis of Variance -- 7. Predictor Variable Transformations -- 8. Model Diagnostics -- 9. Variable Selection. |
Record Nr. | UNINA-9910728934203321 |
McGibney Daniel P. | ||
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2023 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Apply Data Science [[electronic resource] ] : Introduction, Applications and Projects / / edited by Thomas Barton, Christian Müller |
Edizione | [1st ed. 2023.] |
Pubbl/distr/stampa | Wiesbaden : , : Springer Fachmedien Wiesbaden : , : Imprint : Springer Vieweg, , 2023 |
Descrizione fisica | 1 online resource (233 pages) |
Disciplina | 005.7 |
Soggetto topico |
Artificial intelligence—Data processing
Information storage and retrieval systems Data mining Business information services Business—Data processing Big data Data Science Information Storage and Retrieval Data Mining and Knowledge Discovery IT in Business Business Informatics Big Data |
ISBN | 3-658-38798-X |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Introduction -- Introduction to Data Science -- Systems, Tools and Methods -- Applications. |
Record Nr. | UNINA-9910637710203321 |
Wiesbaden : , : Springer Fachmedien Wiesbaden : , : Imprint : Springer Vieweg, , 2023 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Apply Data Science [[electronic resource] ] : Introduction, Applications and Projects / / edited by Thomas Barton, Christian Müller |
Edizione | [1st ed. 2023.] |
Pubbl/distr/stampa | Wiesbaden : , : Springer Fachmedien Wiesbaden : , : Imprint : Springer Vieweg, , 2023 |
Descrizione fisica | 1 online resource (233 pages) |
Disciplina | 005.7 |
Soggetto topico |
Artificial intelligence—Data processing
Information storage and retrieval systems Data mining Business information services Business—Data processing Big data Data Science Information Storage and Retrieval Data Mining and Knowledge Discovery IT in Business Business Informatics Big Data |
ISBN | 3-658-38798-X |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Introduction -- Introduction to Data Science -- Systems, Tools and Methods -- Applications. |
Record Nr. | UNISA-996547963203316 |
Wiesbaden : , : Springer Fachmedien Wiesbaden : , : Imprint : Springer Vieweg, , 2023 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Applying Fuzzy Logic for the Digital Economy and Society [[electronic resource] /] / edited by Andreas Meier, Edy Portmann, Luis Terán |
Edizione | [1st ed. 2019.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
Descrizione fisica | 1 online resource (217 pages) |
Disciplina | 332.6 |
Collana | Fuzzy Management Methods |
Soggetto topico |
Information technology
Business—Data processing Data mining Computer science—Mathematics Computer mathematics Application software Operations research Decision making IT in Business Data Mining and Knowledge Discovery Mathematical Applications in Computer Science Information Systems Applications (incl. Internet) Operations Research/Decision Theory |
ISBN | 3-030-03368-6 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Testing Hypotheses by Fuzzy Methods: A Comparison with the Classical Approach -- Interpolative Boolean Approach for Fuzzy Portfolio Selection -- A Fuzzy-Based Discounts Recommender System for Public Tax Payment -- Fuzzy Based Investment Portfolio Management -- Z-numbers Based TOPSIS Similarity Methodology for Company Performance Assessment in Malaysia -- Modeling Human Perceptions in e-Commerce Applications. A case Study on Business-to-Consumers Websites in the Textile and Fashion Sector -- Grey Number Based Methodology for Non-Homogeneous Preference Elicitation in Fuzzy Risk Analysis Management -- Fuzzy Bayesian Nets and Influence Diagrams with Cognitive Numerical Judgment of Imprecise Probabilities -- Oilfield Abandonment Decision by Applying a Fuzzy Pay-Off Method for Real Options -- A Fuzzy-Based Recommender System - Case Börsenspiel for Swiss Universities. |
Record Nr. | UNINA-9910337791803321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
An Approach to Knowledge Base Management [[electronic resource] /] / by Nelson M. Mattos |
Autore | Mattos Nelson M |
Edizione | [1st ed. 1991.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1991 |
Descrizione fisica | 1 online resource (X, 254 p.) |
Disciplina | 006.3/3 |
Collana | Lecture Notes in Artificial Intelligence |
Soggetto topico |
Artificial intelligence
Data structures (Computer science) Database management Computer programming Information technology Business—Data processing Artificial Intelligence Data Structures and Information Theory Database Management Programming Techniques IT in Business |
ISBN | 3-540-47540-0 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Knowledge and human problem solving -- A survey of knowledge-based systems -- Approaches towards KB management -- KBMS architectural issues -- The KBMS prototype KRISYS -- Modelling knowledge with KRISYS -- Conclusions. |
Record Nr. | UNISA-996465540103316 |
Mattos Nelson M | ||
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1991 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Architecting User-Centric Privacy-as-a-Set-of-Services [[electronic resource] ] : Digital Identity-Related Privacy Framework / / by Ghazi Ben Ayed |
Autore | Ben Ayed Ghazi |
Edizione | [1st ed. 2014.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 |
Descrizione fisica | 1 online resource (188 p.) |
Disciplina | 005.8 |
Collana | Springer Theses, Recognizing Outstanding Ph.D. Research |
Soggetto topico |
Electrical engineering
Computer security Information technology Business—Data processing International law Communications Engineering, Networks Systems and Data Security IT in Business Sources and Subjects of International Law, International Organizations |
ISBN | 3-319-08231-0 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Introduction & Motivations -- Cyber-security -- Interoperability through Service-Orientation. |
Record Nr. | UNINA-9910299736503321 |
Ben Ayed Ghazi | ||
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Artificial Intelligence for Business [[electronic resource] /] / by Rajendra Akerkar |
Autore | Akerkar Rajendra |
Edizione | [1st ed. 2019.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
Descrizione fisica | 1 online resource (92 pages) |
Disciplina | 006.3 |
Collana | SpringerBriefs in Business |
Soggetto topico |
Information technology
Business—Data processing Artificial intelligence Management Industrial management IT in Business Artificial Intelligence Innovation/Technology Management |
ISBN | 3-319-97436-X |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Chapter 1: Introduction to Artificial Intelligence -- Chapter 2: Machine Learning -- Chapter 3: Deep Learning -- Chapter 4: Recommendation Engines -- Chapter 5: Natural Language Processing -- Chapter 6: Employing AI in Business. |
Record Nr. | UNINA-9910337803703321 |
Akerkar Rajendra | ||
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|