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.
Evolutionary Multi-Criterion Optimization [[electronic resource] ] : 10th International Conference, EMO 2019, East Lansing, MI, USA, March 10-13, 2019, Proceedings / / edited by Kalyanmoy Deb, Erik Goodman, Carlos A. Coello Coello, Kathrin Klamroth, Kaisa Miettinen, Sanaz Mostaghim, Patrick Reed
| Evolutionary Multi-Criterion Optimization [[electronic resource] ] : 10th International Conference, EMO 2019, East Lansing, MI, USA, March 10-13, 2019, Proceedings / / edited by Kalyanmoy Deb, Erik Goodman, Carlos A. Coello Coello, Kathrin Klamroth, Kaisa Miettinen, Sanaz Mostaghim, Patrick Reed |
| Edizione | [1st ed. 2019.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
| Descrizione fisica | 1 online resource (XX, 757 p. 374 illus., 228 illus. in color.) |
| Disciplina | 519.3 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Algorithms
Artificial intelligence Computer science Computer science—Mathematics Computer networks Artificial intelligence—Data processing Artificial Intelligence Models of Computation Mathematics of Computing Computer Communication Networks Data Science |
| ISBN | 3-030-12598-X |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996466462003316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Evolutionary Multi-Criterion Optimization [[electronic resource] ] : 10th International Conference, EMO 2019, East Lansing, MI, USA, March 10-13, 2019, Proceedings / / edited by Kalyanmoy Deb, Erik Goodman, Carlos A. Coello Coello, Kathrin Klamroth, Kaisa Miettinen, Sanaz Mostaghim, Patrick Reed
| Evolutionary Multi-Criterion Optimization [[electronic resource] ] : 10th International Conference, EMO 2019, East Lansing, MI, USA, March 10-13, 2019, Proceedings / / edited by Kalyanmoy Deb, Erik Goodman, Carlos A. Coello Coello, Kathrin Klamroth, Kaisa Miettinen, Sanaz Mostaghim, Patrick Reed |
| Edizione | [1st ed. 2019.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
| Descrizione fisica | 1 online resource (XX, 757 p. 374 illus., 228 illus. in color.) |
| Disciplina | 519.3 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Algorithms
Artificial intelligence Computer science Computer science—Mathematics Computer networks Artificial intelligence—Data processing Artificial Intelligence Models of Computation Mathematics of Computing Computer Communication Networks Data Science |
| ISBN | 3-030-12598-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910337572003321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Evolutionary Multi-Criterion Optimization [[electronic resource] ] : 9th International Conference, EMO 2017, Münster, Germany, March 19-22, 2017, Proceedings / / edited by Heike Trautmann, Günter Rudolph, Kathrin Klamroth, Oliver Schütze, Margaret Wiecek, Yaochu Jin, Christian Grimme
| Evolutionary Multi-Criterion Optimization [[electronic resource] ] : 9th International Conference, EMO 2017, Münster, Germany, March 19-22, 2017, Proceedings / / edited by Heike Trautmann, Günter Rudolph, Kathrin Klamroth, Oliver Schütze, Margaret Wiecek, Yaochu Jin, Christian Grimme |
| Edizione | [1st ed. 2017.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 |
| Descrizione fisica | 1 online resource (XIV, 702 p. 267 illus.) |
| Disciplina | 004 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Numerical analysis
Algorithms Computer science Artificial intelligence Computer networks Numerical Analysis Models of Computation Artificial Intelligence Computer Communication Networks |
| ISBN | 3-319-54157-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | On the effect of scalarising norm choice in a ParEGO implementation -- Multi-objective big data optimization with Metal and Spark -- An empirical assessment of the properties of inverted generational distance indicators on multi- and many-objective optimization -- Solving the Bi-objective traveling thief problem with multi-objective evolutionary algorithms -- Automatically Configuring multi-objective local search using multi-objective optimization -- The multi-objective shortest path problem is NP-hard, or is it -- Angle-based preference models in multi-objective optimization -- Quantitative performance assessment of multi-objective optimizers: The average runtime attainment function -- A multi-objective strategy to allocate roadside units in a vehicular network with guaranteed levels of service -- An approach for the local exploration of discrete many objective optimization problems -- A note on the detection of outliers in a binary outranking relation -- Classifying meta-modeling methodologies for evolutionary multi-objective optimization: First results -- Weighted stress function method for multi-objective evolutionary algorithm based on decomposition -- Timing the decision support for real-world many-objective problems -- On the influence of altering the action set on PROMETHEE II's relative ranks -- Peek { Shape { Grab: a methodology in three stages for approximating the non-dominated points of multi-objective discrete combinatorial optimization problems with a multi-objective meta-heuristic -- A new reduced-length genetic representation for evolutionary multi-objective clustering -- A fast incremental BSP tree archive for non-dominated points -- Adaptive operator selection for many-objective optimization with NSGA-III -- On using decision maker preferences with ParEGO -- First investigations on noisy model-based multi-objective optimization -- Fusion of many-objective non-dominated solutions using reference points -- An expedition to multi-modal multi-objective optimization landscapes -- Neutral neighbors in Bi-objective optimization: Distribution of the most promising for permutation problems -- Multi-objective adaptation of a parameterized GVGAI agent towards several games -- Towards standardized and seamless integration of expert knowledge into multi-objective evolutionary optimization algorithms -- Empirical investigations of reference point based methods when facing a massively large number of objectives: First results -- Building and using an ontology of preference-based multi-objective evolutionary algorithms -- A fitness landscape analysis of pareto local search on Bi-objective permutation flow-shop scheduling problems -- Dimensionality reduction approach for many-objective vehicle routing problem with demand responsive transport -- Heterogeneous evolutionary swarms with partial redundancy solving multi-objective tasks -- Multiple meta-models for robustness estimation in multi-objective robust optimization -- Predator-Prey techniques for solving multi-objective scheduling problems for unrelated parallel machines -- An overview of weighted and unconstrained scalarizing functions -- Multi-objective representation setups for deformation-based design optimization -- Design perspectives of an evolutionary process for multi-objective molecular optimization -- Towards a better balance of diversity and convergence in NSGA-III: First results -- A comparative study of fast adaptive preference-guided evolutionary multi-objective optimization -- A population-based algorithm for learning a majority rule sorting model with coalitional veto -- Injection of extreme points in evolutionary multio-objective optimization algorithms -- The impact of population size, number of children, and number of reference points on the performance of NSGA-III -- Multi-objective optimization for liner shipping fleet repositioning -- Surrogate-assisted partial order-based evolutionary optimization -- Hyper-volume indicator gradient ascent multi-objective optimization -- Toward step-size adaptation in evolutionary multi-objective optimization -- Computing 3-D expected hyper-volume improvement and related integrals in asymptotically optimal time. |
| Record Nr. | UNISA-996466082803316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Evolutionary Multi-Criterion Optimization [[electronic resource] ] : 9th International Conference, EMO 2017, Münster, Germany, March 19-22, 2017, Proceedings / / edited by Heike Trautmann, Günter Rudolph, Kathrin Klamroth, Oliver Schütze, Margaret Wiecek, Yaochu Jin, Christian Grimme
| Evolutionary Multi-Criterion Optimization [[electronic resource] ] : 9th International Conference, EMO 2017, Münster, Germany, March 19-22, 2017, Proceedings / / edited by Heike Trautmann, Günter Rudolph, Kathrin Klamroth, Oliver Schütze, Margaret Wiecek, Yaochu Jin, Christian Grimme |
| Edizione | [1st ed. 2017.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 |
| Descrizione fisica | 1 online resource (XIV, 702 p. 267 illus.) |
| Disciplina | 004 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Numerical analysis
Algorithms Computer science Artificial intelligence Computer networks Numerical Analysis Models of Computation Artificial Intelligence Computer Communication Networks |
| ISBN | 3-319-54157-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | On the effect of scalarising norm choice in a ParEGO implementation -- Multi-objective big data optimization with Metal and Spark -- An empirical assessment of the properties of inverted generational distance indicators on multi- and many-objective optimization -- Solving the Bi-objective traveling thief problem with multi-objective evolutionary algorithms -- Automatically Configuring multi-objective local search using multi-objective optimization -- The multi-objective shortest path problem is NP-hard, or is it -- Angle-based preference models in multi-objective optimization -- Quantitative performance assessment of multi-objective optimizers: The average runtime attainment function -- A multi-objective strategy to allocate roadside units in a vehicular network with guaranteed levels of service -- An approach for the local exploration of discrete many objective optimization problems -- A note on the detection of outliers in a binary outranking relation -- Classifying meta-modeling methodologies for evolutionary multi-objective optimization: First results -- Weighted stress function method for multi-objective evolutionary algorithm based on decomposition -- Timing the decision support for real-world many-objective problems -- On the influence of altering the action set on PROMETHEE II's relative ranks -- Peek { Shape { Grab: a methodology in three stages for approximating the non-dominated points of multi-objective discrete combinatorial optimization problems with a multi-objective meta-heuristic -- A new reduced-length genetic representation for evolutionary multi-objective clustering -- A fast incremental BSP tree archive for non-dominated points -- Adaptive operator selection for many-objective optimization with NSGA-III -- On using decision maker preferences with ParEGO -- First investigations on noisy model-based multi-objective optimization -- Fusion of many-objective non-dominated solutions using reference points -- An expedition to multi-modal multi-objective optimization landscapes -- Neutral neighbors in Bi-objective optimization: Distribution of the most promising for permutation problems -- Multi-objective adaptation of a parameterized GVGAI agent towards several games -- Towards standardized and seamless integration of expert knowledge into multi-objective evolutionary optimization algorithms -- Empirical investigations of reference point based methods when facing a massively large number of objectives: First results -- Building and using an ontology of preference-based multi-objective evolutionary algorithms -- A fitness landscape analysis of pareto local search on Bi-objective permutation flow-shop scheduling problems -- Dimensionality reduction approach for many-objective vehicle routing problem with demand responsive transport -- Heterogeneous evolutionary swarms with partial redundancy solving multi-objective tasks -- Multiple meta-models for robustness estimation in multi-objective robust optimization -- Predator-Prey techniques for solving multi-objective scheduling problems for unrelated parallel machines -- An overview of weighted and unconstrained scalarizing functions -- Multi-objective representation setups for deformation-based design optimization -- Design perspectives of an evolutionary process for multi-objective molecular optimization -- Towards a better balance of diversity and convergence in NSGA-III: First results -- A comparative study of fast adaptive preference-guided evolutionary multi-objective optimization -- A population-based algorithm for learning a majority rule sorting model with coalitional veto -- Injection of extreme points in evolutionary multio-objective optimization algorithms -- The impact of population size, number of children, and number of reference points on the performance of NSGA-III -- Multi-objective optimization for liner shipping fleet repositioning -- Surrogate-assisted partial order-based evolutionary optimization -- Hyper-volume indicator gradient ascent multi-objective optimization -- Toward step-size adaptation in evolutionary multi-objective optimization -- Computing 3-D expected hyper-volume improvement and related integrals in asymptotically optimal time. |
| Record Nr. | UNINA-9910483648603321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Formal Modeling and Analysis of Timed Systems [[electronic resource] ] : 7th International Conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009, Proceedings / / edited by Joel Ouaknine, Frits W. Vaandrager
| Formal Modeling and Analysis of Timed Systems [[electronic resource] ] : 7th International Conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009, Proceedings / / edited by Joel Ouaknine, Frits W. Vaandrager |
| Edizione | [1st ed. 2009.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 |
| Descrizione fisica | 1 online resource (X, 291 p.) |
| Disciplina | 004n/a |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science—Mathematics
Compilers (Computer programs) Software engineering Computer science Mathematics of Computing Compilers and Interpreters Software Engineering Computer Science Logic and Foundations of Programming Theory of Computation Models of Computation |
| ISBN | 3-642-04368-2 |
| Classificazione |
DAT 260f
DAT 510f DAT 550f SS 4800 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Tapas: Theory Combinations and Practical Applications -- Max-plus Algebraic Tools for Discrete Event Systems, Static Analysis, and Zero-Sum Games -- Approximations of Discrete, Continuous, and Hybrid Systems -- Volume and Entropy of Regular Timed Languages: Analytic Approach -- Synthesis of Non-Interferent Timed Systems -- Critical Paths in the Partial Order Unfolding of a Stochastic Petri Net -- Speeding Up Model Checking of Timed-Models by Combining Scenario Specialization and Live Component Analysis -- Efficient on-the-fly Algorithm for Checking Alternating Timed Simulation -- Model Checking Logic WCTL with Multi Constrained Modalities on One Clock Priced Timed Automata -- Safe Runtime Verification of Real-Time Properties -- Removing All Silent Transitions from Timed Automata -- Realizability of Real-Time Logics -- Revisiting Decidability and Optimum Reachability for Multi-Priced Timed Automata -- Analyzing Real-Time Event-Driven Programs -- A Compositional Translation of Timed Automata with Deadlines to Uppaal Timed Automata -- Compositional Abstraction for Stochastic Systems -- Stochastic Games for Verification of Probabilistic Timed Automata -- Checking Timed Büchi Automata Emptiness Using LU-Abstractions -- On the Supports of Recognizable Timed Series -- Machine-Assisted Parameter Synthesis of the Biphase Mark Protocol Using Event Order Abstraction -- Exploiting Timed Automata for Conformance Testing of Power Measurements. |
| Record Nr. | UNISA-996465632603316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Formal Modeling and Analysis of Timed Systems [[electronic resource] ] : 7th International Conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009, Proceedings / / edited by Joel Ouaknine, Frits W. Vaandrager
| Formal Modeling and Analysis of Timed Systems [[electronic resource] ] : 7th International Conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009, Proceedings / / edited by Joel Ouaknine, Frits W. Vaandrager |
| Edizione | [1st ed. 2009.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 |
| Descrizione fisica | 1 online resource (X, 291 p.) |
| Disciplina | 004n/a |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science—Mathematics
Compilers (Computer programs) Software engineering Computer science Mathematics of Computing Compilers and Interpreters Software Engineering Computer Science Logic and Foundations of Programming Theory of Computation Models of Computation |
| ISBN | 3-642-04368-2 |
| Classificazione |
DAT 260f
DAT 510f DAT 550f SS 4800 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Tapas: Theory Combinations and Practical Applications -- Max-plus Algebraic Tools for Discrete Event Systems, Static Analysis, and Zero-Sum Games -- Approximations of Discrete, Continuous, and Hybrid Systems -- Volume and Entropy of Regular Timed Languages: Analytic Approach -- Synthesis of Non-Interferent Timed Systems -- Critical Paths in the Partial Order Unfolding of a Stochastic Petri Net -- Speeding Up Model Checking of Timed-Models by Combining Scenario Specialization and Live Component Analysis -- Efficient on-the-fly Algorithm for Checking Alternating Timed Simulation -- Model Checking Logic WCTL with Multi Constrained Modalities on One Clock Priced Timed Automata -- Safe Runtime Verification of Real-Time Properties -- Removing All Silent Transitions from Timed Automata -- Realizability of Real-Time Logics -- Revisiting Decidability and Optimum Reachability for Multi-Priced Timed Automata -- Analyzing Real-Time Event-Driven Programs -- A Compositional Translation of Timed Automata with Deadlines to Uppaal Timed Automata -- Compositional Abstraction for Stochastic Systems -- Stochastic Games for Verification of Probabilistic Timed Automata -- Checking Timed Büchi Automata Emptiness Using LU-Abstractions -- On the Supports of Recognizable Timed Series -- Machine-Assisted Parameter Synthesis of the Biphase Mark Protocol Using Event Order Abstraction -- Exploiting Timed Automata for Conformance Testing of Power Measurements. |
| Record Nr. | UNINA-9910484859603321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Formal Modeling and Analysis of Timed Systems [[electronic resource] ] : 6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008, Proceedings / / edited by Franck Cassez, Claude Jard
| Formal Modeling and Analysis of Timed Systems [[electronic resource] ] : 6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008, Proceedings / / edited by Franck Cassez, Claude Jard |
| Edizione | [1st ed. 2008.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2008 |
| Descrizione fisica | 1 online resource (X, 295 p.) |
| Disciplina | 004.33 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer programming
Computer science Software engineering Compilers (Computer programs) Programming Techniques Theory of Computation Software Engineering Computer Science Logic and Foundations of Programming Models of Computation Compilers and Interpreters |
| ISBN | 3-540-85778-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Talks -- Some Recent Results in Metric Temporal Logic -- Composing Web Services in an Open World: Issues of Quality of Service -- Comparing the Expressiveness of Timed Automata and Timed Extensions of Petri Nets -- Session 1. Extensions of Timed Automata and Semantics -- Infinite Runs in Weighted Timed Automata with Energy Constraints -- Concavely-Priced Timed Automata -- Average-Price and Reachability-Price Games on Hybrid Automata with Strong Resets -- Timed Automata with Integer Resets: Language Inclusion and Expressiveness -- Session 2. Timed Games and Logic -- Complexity of Metric Temporal Logics with Counting and the Pnueli Modalities -- MTL with Bounded Variability: Decidability and Complexity -- Timed Parity Games: Complexity and Robustness -- On Scheduling Policies for Streams of Structured Jobs -- Session 3. Case Studies -- A Framework for Distributing Real-Time Functions -- Formal Modeling and Scheduling of Datapaths of Digital Document Printers -- Session 4. Model-Checking of Probabilistic Systems -- A Uniformization-Based Algorithm for Model Checking the CSL Until Operator on Labeled Queueing Networks -- Model Checking HML on Piecewise-Constant Inhomogeneous Markov Chains -- Session 5. Verification and Test -- Convergence Verification: From Shared Memory to Partially Synchronous Systems -- Compositional Abstraction in Real-Time Model Checking -- On Conformance Testing for Timed Systems -- Session 6. Time Petri Nets -- Relevant Timed Schedules / Clock Valuations for Constructing Time Petri Net Reachability Graphs -- Parametric Model-Checking of Time Petri Nets with Stopwatches Using the State-Class Graph. |
| Record Nr. | UNISA-996465918303316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2008 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Formal Modeling and Analysis of Timed Systems [[electronic resource] ] : 6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008, Proceedings / / edited by Franck Cassez, Claude Jard
| Formal Modeling and Analysis of Timed Systems [[electronic resource] ] : 6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008, Proceedings / / edited by Franck Cassez, Claude Jard |
| Edizione | [1st ed. 2008.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2008 |
| Descrizione fisica | 1 online resource (X, 295 p.) |
| Disciplina | 004.33 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer programming
Computer science Software engineering Compilers (Computer programs) Programming Techniques Theory of Computation Software Engineering Computer Science Logic and Foundations of Programming Models of Computation Compilers and Interpreters |
| ISBN | 3-540-85778-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Talks -- Some Recent Results in Metric Temporal Logic -- Composing Web Services in an Open World: Issues of Quality of Service -- Comparing the Expressiveness of Timed Automata and Timed Extensions of Petri Nets -- Session 1. Extensions of Timed Automata and Semantics -- Infinite Runs in Weighted Timed Automata with Energy Constraints -- Concavely-Priced Timed Automata -- Average-Price and Reachability-Price Games on Hybrid Automata with Strong Resets -- Timed Automata with Integer Resets: Language Inclusion and Expressiveness -- Session 2. Timed Games and Logic -- Complexity of Metric Temporal Logics with Counting and the Pnueli Modalities -- MTL with Bounded Variability: Decidability and Complexity -- Timed Parity Games: Complexity and Robustness -- On Scheduling Policies for Streams of Structured Jobs -- Session 3. Case Studies -- A Framework for Distributing Real-Time Functions -- Formal Modeling and Scheduling of Datapaths of Digital Document Printers -- Session 4. Model-Checking of Probabilistic Systems -- A Uniformization-Based Algorithm for Model Checking the CSL Until Operator on Labeled Queueing Networks -- Model Checking HML on Piecewise-Constant Inhomogeneous Markov Chains -- Session 5. Verification and Test -- Convergence Verification: From Shared Memory to Partially Synchronous Systems -- Compositional Abstraction in Real-Time Model Checking -- On Conformance Testing for Timed Systems -- Session 6. Time Petri Nets -- Relevant Timed Schedules / Clock Valuations for Constructing Time Petri Net Reachability Graphs -- Parametric Model-Checking of Time Petri Nets with Stopwatches Using the State-Class Graph. |
| Record Nr. | UNINA-9910484241503321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2008 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Graph Drawing [[electronic resource] ] : 20th International Symposium, GD 2012, Redmond, WA, USA, September 19-21, 2012, Revised Selected Papers / / edited by Walter Didimo, Maurizio Patrignani
| Graph Drawing [[electronic resource] ] : 20th International Symposium, GD 2012, Redmond, WA, USA, September 19-21, 2012, Revised Selected Papers / / edited by Walter Didimo, Maurizio Patrignani |
| Edizione | [1st ed. 2013.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
| Descrizione fisica | 1 online resource (XVI, 582 p. 231 illus.) |
| Disciplina | 006.6 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science—Mathematics
Discrete mathematics Algorithms Computer networks Computer science User interfaces (Computer systems) Human-computer interaction Discrete Mathematics in Computer Science Computer Communication Networks Models of Computation Symbolic and Algebraic Manipulation User Interfaces and Human Computer Interaction |
| ISBN | 3-642-36763-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Flips -- Interactive Network Exploration to Derive Insights: Filtering, Clustering, Grouping, and Simplification -- Counting Plane Graphs: Cross-Graph Charging -- Disconnectivity and Relative Positions in Simultaneous Embeddings -- Graph Drawing in the Cloud: Privately Visualizing Relational Data Using Small Working Storage -- Graph Drawing by Classical Multidimensional Scaling: New Perspectives -- Progress on Partial Edge Drawings -- Implementing a Partitioned 2-Page Book Embedding Testing Algorithm -- Shrinking the Search Space for Clustered Planarity -- Open Rectangle-of-Influence Drawings of Non-triangulated Planar Graphs -- The Approximate Rectangle of Influence Drawability Problem -- Planar Lombardi Drawings for Subcubic Graphs -- Circle-Representations of Simple 4-Regular Planar Graphs -- Smooth Orthogonal Layouts -- Toward a Theory of Planarity: Hanani-Tutte and Planarity Variants -- Planar Graphs as VPG-Graphs -- Proportional Contact Representations of 4-Connected Planar Graphs -- Edge-Weighted Contact Representations of Planar Graphs -- Column-Based Graph Layouts -- Upward Planarity Testing via SAT -- Self-approaching Graphs -- Homotopic C-Oriented Routing -- Covering Paths for Planar Point Sets -- On the Density of Maximal 1-Planar Graphs -- Testing Maximal 1-Planarity of Graphs with a Rotation System in Linear Time -- Tangles and Degenerate Tangles -- The Visible Perimeter of an Arrangement of Disks -- Canonical Ordering for Triangulations on the Cylinder, with Applications to Periodic Straight-Line Drawings -- Planar Preprocessing for Spring Embedders -- StreamEB: Stream Edge Bundling -- Drawing Clustered Graphs as Topographic -- On The Usability of Lombardi Graph Drawings -- Drawing Metro Maps Using B´ezier Curves -- Mental Map Preservation Helps User Orientation in Dynamic Graphs -- Clustering, Visualizing, and Navigating for Large Dynamic Graphs -- DAGView: An Approach for Visualizing Large Graphs -- Time-Space Maps from Triangulations -- Graph Drawing in TikZ -- Optical Graph Recognition -- Interactive Random Graph Generation with Evolutionary Algorithms. |
| Record Nr. | UNISA-996465673403316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Graph Drawing [[electronic resource] ] : 20th International Symposium, GD 2012, Redmond, WA, USA, September 19-21, 2012, Revised Selected Papers / / edited by Walter Didimo, Maurizio Patrignani
| Graph Drawing [[electronic resource] ] : 20th International Symposium, GD 2012, Redmond, WA, USA, September 19-21, 2012, Revised Selected Papers / / edited by Walter Didimo, Maurizio Patrignani |
| Edizione | [1st ed. 2013.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
| Descrizione fisica | 1 online resource (XVI, 582 p. 231 illus.) |
| Disciplina | 006.6 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science—Mathematics
Discrete mathematics Algorithms Computer networks Computer science User interfaces (Computer systems) Human-computer interaction Discrete Mathematics in Computer Science Computer Communication Networks Models of Computation Symbolic and Algebraic Manipulation User Interfaces and Human Computer Interaction |
| ISBN | 3-642-36763-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Flips -- Interactive Network Exploration to Derive Insights: Filtering, Clustering, Grouping, and Simplification -- Counting Plane Graphs: Cross-Graph Charging -- Disconnectivity and Relative Positions in Simultaneous Embeddings -- Graph Drawing in the Cloud: Privately Visualizing Relational Data Using Small Working Storage -- Graph Drawing by Classical Multidimensional Scaling: New Perspectives -- Progress on Partial Edge Drawings -- Implementing a Partitioned 2-Page Book Embedding Testing Algorithm -- Shrinking the Search Space for Clustered Planarity -- Open Rectangle-of-Influence Drawings of Non-triangulated Planar Graphs -- The Approximate Rectangle of Influence Drawability Problem -- Planar Lombardi Drawings for Subcubic Graphs -- Circle-Representations of Simple 4-Regular Planar Graphs -- Smooth Orthogonal Layouts -- Toward a Theory of Planarity: Hanani-Tutte and Planarity Variants -- Planar Graphs as VPG-Graphs -- Proportional Contact Representations of 4-Connected Planar Graphs -- Edge-Weighted Contact Representations of Planar Graphs -- Column-Based Graph Layouts -- Upward Planarity Testing via SAT -- Self-approaching Graphs -- Homotopic C-Oriented Routing -- Covering Paths for Planar Point Sets -- On the Density of Maximal 1-Planar Graphs -- Testing Maximal 1-Planarity of Graphs with a Rotation System in Linear Time -- Tangles and Degenerate Tangles -- The Visible Perimeter of an Arrangement of Disks -- Canonical Ordering for Triangulations on the Cylinder, with Applications to Periodic Straight-Line Drawings -- Planar Preprocessing for Spring Embedders -- StreamEB: Stream Edge Bundling -- Drawing Clustered Graphs as Topographic -- On The Usability of Lombardi Graph Drawings -- Drawing Metro Maps Using B´ezier Curves -- Mental Map Preservation Helps User Orientation in Dynamic Graphs -- Clustering, Visualizing, and Navigating for Large Dynamic Graphs -- DAGView: An Approach for Visualizing Large Graphs -- Time-Space Maps from Triangulations -- Graph Drawing in TikZ -- Optical Graph Recognition -- Interactive Random Graph Generation with Evolutionary Algorithms. |
| Record Nr. | UNINA-9910739418603321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Soggetto topico
- Computer science (95)
-
Models of Computation
(95)
- Artificial Intelligence (55)
- Artificial intelligence (55)
- Algorithms (32)