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.
Artificial Neural Networks and Machine Learning – ICANN 2018 [[electronic resource] ] : 27th International Conference on Artificial Neural Networks, Rhodes, Greece, October 4-7, 2018, Proceedings, Part III / / edited by Věra Kůrková, Yannis Manolopoulos, Barbara Hammer, Lazaros Iliadis, Ilias Maglogiannis
| Artificial Neural Networks and Machine Learning – ICANN 2018 [[electronic resource] ] : 27th International Conference on Artificial Neural Networks, Rhodes, Greece, October 4-7, 2018, Proceedings, Part III / / edited by Věra Kůrková, Yannis Manolopoulos, Barbara Hammer, Lazaros Iliadis, Ilias Maglogiannis |
| Edizione | [1st ed. 2018.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
| Descrizione fisica | 1 online resource (XXIX, 846 p. 311 illus.) |
| Disciplina | 006.32 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Artificial intelligence
Computer vision Computer engineering Computer networks Data protection Algorithms Artificial Intelligence Computer Vision Computer Engineering and Networks Computer Communication Networks Data and Information Security |
| ISBN | 3-030-01424-X |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996466325903316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Artificial Neural Networks and Machine Learning – ICANN 2018 [[electronic resource] ] : 27th International Conference on Artificial Neural Networks, Rhodes, Greece, October 4-7, 2018, Proceedings, Part I / / edited by Věra Kůrková, Yannis Manolopoulos, Barbara Hammer, Lazaros Iliadis, Ilias Maglogiannis
| Artificial Neural Networks and Machine Learning – ICANN 2018 [[electronic resource] ] : 27th International Conference on Artificial Neural Networks, Rhodes, Greece, October 4-7, 2018, Proceedings, Part I / / edited by Věra Kůrková, Yannis Manolopoulos, Barbara Hammer, Lazaros Iliadis, Ilias Maglogiannis |
| Edizione | [1st ed. 2018.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
| Descrizione fisica | 1 online resource (XLIII, 824 p. 311 illus.) |
| Disciplina | 006.32 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Artificial intelligence
Computer vision Computer engineering Computer networks Data protection Algorithms Artificial Intelligence Computer Vision Computer Engineering and Networks Computer Communication Networks Data and Information Security |
| ISBN | 3-030-01418-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996466216103316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Artificial Neural Networks and Machine Learning – ICANN 2018 [[electronic resource] ] : 27th International Conference on Artificial Neural Networks, Rhodes, Greece, October 4-7, 2018, Proceedings, Part II / / edited by Věra Kůrková, Yannis Manolopoulos, Barbara Hammer, Lazaros Iliadis, Ilias Maglogiannis
| Artificial Neural Networks and Machine Learning – ICANN 2018 [[electronic resource] ] : 27th International Conference on Artificial Neural Networks, Rhodes, Greece, October 4-7, 2018, Proceedings, Part II / / edited by Věra Kůrková, Yannis Manolopoulos, Barbara Hammer, Lazaros Iliadis, Ilias Maglogiannis |
| Edizione | [1st ed. 2018.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
| Descrizione fisica | 1 online resource (XXVIII, 632 p. 242 illus.) |
| Disciplina | 006.3 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Artificial intelligence
Computer vision Computer engineering Computer networks Data protection Algorithms Artificial Intelligence Computer Vision Computer Engineering and Networks Computer Communication Networks Data and Information Security |
| ISBN | 3-030-01421-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996466216003316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Artificial Neural Networks and Machine Learning – ICANN 2018 : 27th International Conference on Artificial Neural Networks, Rhodes, Greece, October 4-7, 2018, Proceedings, Part III / / edited by Věra Kůrková, Yannis Manolopoulos, Barbara Hammer, Lazaros Iliadis, Ilias Maglogiannis
| Artificial Neural Networks and Machine Learning – ICANN 2018 : 27th International Conference on Artificial Neural Networks, Rhodes, Greece, October 4-7, 2018, Proceedings, Part III / / edited by Věra Kůrková, Yannis Manolopoulos, Barbara Hammer, Lazaros Iliadis, Ilias Maglogiannis |
| Edizione | [1st ed. 2018.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
| Descrizione fisica | 1 online resource (XXIX, 846 p. 311 illus.) |
| Disciplina | 006.32 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Artificial intelligence
Computer vision Computer engineering Computer networks Data protection Algorithms Artificial Intelligence Computer Vision Computer Engineering and Networks Computer Communication Networks Data and Information Security |
| ISBN |
9783030014247
303001424X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910349402303321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Artificial Neural Networks and Machine Learning – ICANN 2018 : 27th International Conference on Artificial Neural Networks, Rhodes, Greece, October 4-7, 2018, Proceedings, Part II / / edited by Věra Kůrková, Yannis Manolopoulos, Barbara Hammer, Lazaros Iliadis, Ilias Maglogiannis
| Artificial Neural Networks and Machine Learning – ICANN 2018 : 27th International Conference on Artificial Neural Networks, Rhodes, Greece, October 4-7, 2018, Proceedings, Part II / / edited by Věra Kůrková, Yannis Manolopoulos, Barbara Hammer, Lazaros Iliadis, Ilias Maglogiannis |
| Edizione | [1st ed. 2018.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
| Descrizione fisica | 1 online resource (XXVIII, 632 p. 242 illus.) |
| Disciplina |
006.3
006.32 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Artificial intelligence
Computer vision Computer engineering Computer networks Data protection Algorithms Artificial Intelligence Computer Vision Computer Engineering and Networks Computer Communication Networks Data and Information Security |
| ISBN |
9783030014216
3030014215 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910349405503321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Artificial Neural Networks and Machine Learning – ICANN 2018 : 27th International Conference on Artificial Neural Networks, Rhodes, Greece, October 4-7, 2018, Proceedings, Part I / / edited by Věra Kůrková, Yannis Manolopoulos, Barbara Hammer, Lazaros Iliadis, Ilias Maglogiannis
| Artificial Neural Networks and Machine Learning – ICANN 2018 : 27th International Conference on Artificial Neural Networks, Rhodes, Greece, October 4-7, 2018, Proceedings, Part I / / edited by Věra Kůrková, Yannis Manolopoulos, Barbara Hammer, Lazaros Iliadis, Ilias Maglogiannis |
| Edizione | [1st ed. 2018.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
| Descrizione fisica | 1 online resource (XLIII, 824 p. 311 illus.) |
| Disciplina | 006.32 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Artificial intelligence
Computer vision Computer engineering Computer networks Data protection Algorithms Artificial Intelligence Computer Vision Computer Engineering and Networks Computer Communication Networks Data and Information Security |
| ISBN |
9783030014186
3030014185 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910349405603321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Artificial Neural Networks and Machine Learning – ICANN 2019: Theoretical Neural Computation [[electronic resource] ] : 28th International Conference on Artificial Neural Networks, Munich, Germany, September 17–19, 2019, Proceedings, Part I / / edited by Igor V. Tetko, Věra Kůrková, Pavel Karpov, Fabian Theis
| Artificial Neural Networks and Machine Learning – ICANN 2019: Theoretical Neural Computation [[electronic resource] ] : 28th International Conference on Artificial Neural Networks, Munich, Germany, September 17–19, 2019, Proceedings, Part I / / edited by Igor V. Tetko, Věra Kůrková, Pavel Karpov, Fabian Theis |
| Edizione | [1st ed. 2019.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
| Descrizione fisica | 1 online resource (XXX, 839 p. 372 illus., 242 illus. in color.) |
| Disciplina | 006.31 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Artificial intelligence
Computer vision Computer engineering Computer networks Algorithms Data protection Artificial Intelligence Computer Vision Computer Engineering and Networks Computer Communication Networks Data and Information Security |
| ISBN | 3-030-30487-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Bidirectional associative memory with block coding: A comparison of iterative retrieval methods -- Stability analysis of a generalised class of BAM neural networks with mixed delays -- Dissipativity Analysis of a Class of Competitive Neural Networks with Proportional Delays -- A Nonlinear Fokker-Planck Description of Continuous Neural Network Dynamics -- Multi-modal associative storage and retrieval using Hopfield auto-associative memory network -- Chaotic Complex-Valued Associative Memory with Adaptive Scaling Factor Independent of Multi-Values -- A Comparative Analysis of Preprocessing Methods for Single-Trial Event Related Potential Detection -- Sleep State Analysis using Calcium Imaging Data by Non-negative Matrix Factorization -- Detection of directional information flow induced by TMS based on symbolic transfer entropy -- Brain-Inspired Hardware for Artificial Intelligence: Accelerated Learning in a Physical-Model Spiking Neural Network -- Distinguishing Violinists and Pianists based on their Brain Signals -- Research on Image-to-Image Translation with Capsule Network -- Multi-View Capsule Network -- Advanced Capsule Networks via Context Awareness -- DDRM-CapsNet: Capsule Network based on Deep Dynamic Routing Mechanism for complex data -- Squeezed Very Deep Convolutional Neural Networks for Text Classification -- NeuroPower: Designing Energy Efficient Convolutional Neural Network Architecture for Embedded Systems -- Swap kernel regression -- Model-Agnostic Explanations for Decisions using Minimal Patterns -- NARPCA: Neural Accumulate-Retract PCA for Low-latency High-throughput Processing on Datastreams -- An Evaluation of Various Regression Models for the Prediction of Two-Terminal Network Reliability -- Capsule Generative Models -- Evaluating CNNs on the Gestalt Principle of Closure -- Recovering Localized Adversarial Attacks -- On the Interpretation of Recurrent Neural Networks as Finite State Machines -- Neural field model for measuring and reproducing time intervals -- Widely Linear Complex-valued Autoencoder: Dealing with Noncircularity in Generative-Discriminative Models -- NatCSNN: A Convolutional Spiking Neural Network for recognition of objects extracted from natural images -- Deep Semantic Asymmetric Hashing -- A Neural Network for Semi-Supervised Learning on Manifolds -- Counting with Analog Neurons -- On the Bounds of Function Approximations -- Probabilistic Bounds for Approximation by Neural Networks -- Tree Memory Networks for Sequence Processing -- On Deep Set Learning and the Choice of Aggregations -- Hilbert Vector Convolutional Neural Network : 2D Neural Network on 1D Data -- The Same Size Dilated Attention Network for Keypoint Detection -- Gradient-Based Learning of Compositional Dynamics with Modular RNNs -- Transfer Learning with Sparse Associative Memories -- Linear Memory Networks -- A Multi-Armed Bandit Algorithm Available in Stationary or Non-Stationary Environments Using Self-Organizing Maps -- Cooperation and Coordination Regimes by Deep Q-Learning in Multi-agent Task Executions -- Boosting Reinforcement Learning with Unsupervised Feature Extraction -- A multi-objective Reinforcement Learning algorithm for JSSP -- A Reinforcement Learning Approach for Sequential Spatial Transformer Networks -- Deep Recurrent Policy Networks for Planning under Partial Observability -- Mixed-Reality Deep Reinforcement Learning for a Reach-to-grasp Task -- FMNet: Multi-Agent Cooperation by Communicating with Featured Message Network -- Inferring Event-Predictive Goal-Directed Object Manipulations in REPRISE -- On Unsupervised Learning of Traversal Cost and Terrain Types Identification using Self-Organizing Maps -- Scaffolding Haptic Attention with Controller Gating -- Benchmarking Incremental Regressors in Traversal Cost Assessment -- CPG driven RBF Network Control with Reinforcement Learning for Gait Optimization of a Dung Beetle-like Robot -- Training Delays in Spiking Neural Networks -- An Izhikevich Model Neuron MOS Circuit for Low Voltage Operation -- UAV Detection: A STDP trained Deep Convolutional Spiking Neural Network Retina-Neuromorphic Approach -- Autonoumous Learning Paradigm for Spiking Neural Networks -- Multi-objective Spiking Neural Network Hardware Mapping Based on Immune Genetic Algorithm -- The Importance of Self-excitation in Spiking Neural Networks Evolved to Recognize Temporal Patterns -- Estimating and factoring the dropout induced distribution with Gaussian mixture model -- Sequence disambiguation with synaptic traces in associative neural networks -- Robust Optimal-Size Implementation of Finite State Automata with Synfire Ring-Based Neural Networks -- A Neural Circuit Model of Adaptive Robust Tracking Control for Continuous-Time Nonlinear Systems. |
| Record Nr. | UNISA-996466301803316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Artificial Neural Networks and Machine Learning – ICANN 2019: Theoretical Neural Computation : 28th International Conference on Artificial Neural Networks, Munich, Germany, September 17–19, 2019, Proceedings, Part I / / edited by Igor V. Tetko, Věra Kůrková, Pavel Karpov, Fabian Theis
| Artificial Neural Networks and Machine Learning – ICANN 2019: Theoretical Neural Computation : 28th International Conference on Artificial Neural Networks, Munich, Germany, September 17–19, 2019, Proceedings, Part I / / edited by Igor V. Tetko, Věra Kůrková, Pavel Karpov, Fabian Theis |
| Edizione | [1st ed. 2019.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
| Descrizione fisica | 1 online resource (XXX, 839 p. 372 illus., 242 illus. in color.) |
| Disciplina |
006.31
006.32 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Artificial intelligence
Computer vision Computer engineering Computer networks Algorithms Data protection Artificial Intelligence Computer Vision Computer Engineering and Networks Computer Communication Networks Data and Information Security |
| ISBN | 3-030-30487-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Bidirectional associative memory with block coding: A comparison of iterative retrieval methods -- Stability analysis of a generalised class of BAM neural networks with mixed delays -- Dissipativity Analysis of a Class of Competitive Neural Networks with Proportional Delays -- A Nonlinear Fokker-Planck Description of Continuous Neural Network Dynamics -- Multi-modal associative storage and retrieval using Hopfield auto-associative memory network -- Chaotic Complex-Valued Associative Memory with Adaptive Scaling Factor Independent of Multi-Values -- A Comparative Analysis of Preprocessing Methods for Single-Trial Event Related Potential Detection -- Sleep State Analysis using Calcium Imaging Data by Non-negative Matrix Factorization -- Detection of directional information flow induced by TMS based on symbolic transfer entropy -- Brain-Inspired Hardware for Artificial Intelligence: Accelerated Learning in a Physical-Model Spiking Neural Network -- Distinguishing Violinists and Pianists based on their Brain Signals -- Research on Image-to-Image Translation with Capsule Network -- Multi-View Capsule Network -- Advanced Capsule Networks via Context Awareness -- DDRM-CapsNet: Capsule Network based on Deep Dynamic Routing Mechanism for complex data -- Squeezed Very Deep Convolutional Neural Networks for Text Classification -- NeuroPower: Designing Energy Efficient Convolutional Neural Network Architecture for Embedded Systems -- Swap kernel regression -- Model-Agnostic Explanations for Decisions using Minimal Patterns -- NARPCA: Neural Accumulate-Retract PCA for Low-latency High-throughput Processing on Datastreams -- An Evaluation of Various Regression Models for the Prediction of Two-Terminal Network Reliability -- Capsule Generative Models -- Evaluating CNNs on the Gestalt Principle of Closure -- Recovering Localized Adversarial Attacks -- On the Interpretation of Recurrent Neural Networks as Finite State Machines -- Neural field model for measuring and reproducing time intervals -- Widely Linear Complex-valued Autoencoder: Dealing with Noncircularity in Generative-Discriminative Models -- NatCSNN: A Convolutional Spiking Neural Network for recognition of objects extracted from natural images -- Deep Semantic Asymmetric Hashing -- A Neural Network for Semi-Supervised Learning on Manifolds -- Counting with Analog Neurons -- On the Bounds of Function Approximations -- Probabilistic Bounds for Approximation by Neural Networks -- Tree Memory Networks for Sequence Processing -- On Deep Set Learning and the Choice of Aggregations -- Hilbert Vector Convolutional Neural Network : 2D Neural Network on 1D Data -- The Same Size Dilated Attention Network for Keypoint Detection -- Gradient-Based Learning of Compositional Dynamics with Modular RNNs -- Transfer Learning with Sparse Associative Memories -- Linear Memory Networks -- A Multi-Armed Bandit Algorithm Available in Stationary or Non-Stationary Environments Using Self-Organizing Maps -- Cooperation and Coordination Regimes by Deep Q-Learning in Multi-agent Task Executions -- Boosting Reinforcement Learning with Unsupervised Feature Extraction -- A multi-objective Reinforcement Learning algorithm for JSSP -- A Reinforcement Learning Approach for Sequential Spatial Transformer Networks -- Deep Recurrent Policy Networks for Planning under Partial Observability -- Mixed-Reality Deep Reinforcement Learning for a Reach-to-grasp Task -- FMNet: Multi-Agent Cooperation by Communicating with Featured Message Network -- Inferring Event-Predictive Goal-Directed Object Manipulations in REPRISE -- On Unsupervised Learning of Traversal Cost and Terrain Types Identification using Self-Organizing Maps -- Scaffolding Haptic Attention with Controller Gating -- Benchmarking Incremental Regressors in Traversal Cost Assessment -- CPG driven RBF Network Control with Reinforcement Learning for Gait Optimization of a Dung Beetle-like Robot -- Training Delays in Spiking Neural Networks -- An Izhikevich Model Neuron MOS Circuit for Low Voltage Operation -- UAV Detection: A STDP trained Deep Convolutional Spiking Neural Network Retina-Neuromorphic Approach -- Autonoumous Learning Paradigm for Spiking Neural Networks -- Multi-objective Spiking Neural Network Hardware Mapping Based on Immune Genetic Algorithm -- The Importance of Self-excitation in Spiking Neural Networks Evolved to Recognize Temporal Patterns -- Estimating and factoring the dropout induced distribution with Gaussian mixture model -- Sequence disambiguation with synaptic traces in associative neural networks -- Robust Optimal-Size Implementation of Finite State Automata with Synfire Ring-Based Neural Networks -- A Neural Circuit Model of Adaptive Robust Tracking Control for Continuous-Time Nonlinear Systems. |
| Record Nr. | UNINA-9910349283703321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
SOFSEM 2025: Theory and Practice of Computer Science : 50th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2025, Bratislava, Slovak Republic, January 20–23, 2025, Proceedings, Part I / / edited by Rastislav Královič, Věra Kůrková
| SOFSEM 2025: Theory and Practice of Computer Science : 50th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2025, Bratislava, Slovak Republic, January 20–23, 2025, Proceedings, Part I / / edited by Rastislav Královič, Věra Kůrková |
| Autore | Královič Rastislav |
| Edizione | [1st ed. 2025.] |
| Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2025 |
| Descrizione fisica | 1 online resource (736 pages) |
| Disciplina | 004.0151 |
| Altri autori (Persone) | KůrkováVěra |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computer science
Computer science - Mathematics Discrete mathematics Artificial intelligence Computer networks Theory of Computation Mathematics of Computing Discrete Mathematics in Computer Science Symbolic and Algebraic Manipulation Artificial Intelligence Computer Communication Networks |
| ISBN |
9783031826702
3031826701 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited talks -- Distributed Computing by Mobile Robots: Exploring the Computational Landscape -- Open Problems and Recent Developments on a Complexity Framework for Forbidden Subgraphs -- Contributed Papers -- Parameterized Complexity of Feedback Vertex Set with Connectivity Constraints -- Online b-Matching with Stochastic Rewards -- Shortest Longest-Path Graph Orientations for Trees -- Parameterized Complexity of Generalizations of Edge Dominating Set -- Beyond Image-Text Matching: Verb Understanding in Multimodal Transformers Using Guided Masking -- On the Complexity of Minimum Membership Dominating Set -- On the Structural Parameterized Complexity of Defective Coloring -- Dynamic Range Minimum Queries on the Ultra-Wide Word RAM -- Fast Practical Compression of Deterministic Finite Automata -- Orienteering (with Time Windows) on Restricted Graph Classes -- Massively Parallel Maximum Coverage Revisited -- Distance Vector Domination -- Sufficient conditions for polynomial-time detection of induced minors -- Pathways to Tractability for Geometric Thickness -- Minimum Monotone Spanning Trees -- Symvonis and Alexander Wol Representing Hypergraphs by Point-Line Incidences -- Reachability in temporal graphs under perturbation -- On Computational Completeness of Semi-Conditional Matrix Grammars -- Outer-(ap)RAC Graphs -- Forest Covers and Bounded Forest Covers -- Multi-Agent Search-Type Problems on Polygons -- Generation of Cycle Permutation Graphs and Permutation Snarks -- Expected Density of Random Minimizers. |
| Record Nr. | UNINA-9910983495503321 |
Královič Rastislav
|
||
| Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2025 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
SOFSEM 2025: Theory and Practice of Computer Science : 50th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2025, Bratislava, Slovak Republic, January 20–23, 2025, Proceedings, Part II / / edited by Rastislav Královič, Věra Kůrková
| SOFSEM 2025: Theory and Practice of Computer Science : 50th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2025, Bratislava, Slovak Republic, January 20–23, 2025, Proceedings, Part II / / edited by Rastislav Královič, Věra Kůrková |
| Autore | Královič Rastislav |
| Edizione | [1st ed. 2025.] |
| Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2025 |
| Descrizione fisica | 1 online resource (0 pages) |
| Disciplina | 004.0151 |
| Altri autori (Persone) | KůrkováVěra |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computer science
Computer science - Mathematics Discrete mathematics Artificial intelligence Computer networks Theory of Computation Mathematics of Computing Discrete Mathematics in Computer Science Symbolic and Algebraic Manipulation Artificial Intelligence Computer Communication Networks |
| ISBN |
9783031826979
3031826973 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | On Pumping Problems for Unary Regular Languages -- The Complexity of Graph Exploration Games -- A SUBSET-SUM Characterisation of the A-Hierarchy -- On the periodic decompositions of multidimensional configurations -- Quantum Algorithm for the Multiple String Matching Problem -- Parallel Peeling of Invertible Bloom Lookup Tables in a Constant Number of Rounds -- The Complexity of Counting Turns in the Line-Based Dial-a-Ride Problem -- Colorful 3-Rainbow Domination -- The Computational Complexity of Equilibria with Strategic Constraints -- Exact characterizations of non-commutative algebraic complexity without homogeneity -- Roman Hitting Set -- Visual Complexity of Point Set Mappings -- Online and Offline Algorithms for Counting Distinct Closed Factors via Sliding Suffix Trees -- Knowledge Neurons in the Knowledge Graph-based Link Prediction Models -- Disjoint covering of bipartite graphs with $s$-clubs -- Query Learning of Context-Deterministic and Congruential Context-Free Languages over Infinite Alphabets -- Minimal Schnyder Woods and Long Induced Paths in 3-Connected Planar Graphs -- DAG Scheduling in the BSP Model -- Incremental computation of the set of period sets -- Tolerant Testing and Distance Estimation for Distributions Under Memory Constraints -- Packed Acyclic Deterministic Finite Automata -- Holey Graphs: Very Large Betti Numbers are Testable -- Warm-Started QAOA with Aligned Mixers Converges Slowly Near the Poles of the Bloch Sphere -- Online Busy Time Scheduling with Untrusted Prediction -- Maximal $\alpha$-gapped Repeats in a Fibonacci String. |
| Record Nr. | UNINA-9910983300903321 |
|
Královič Rastislav
|
||
| Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2025 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
