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 Intelligence in Music, Sound, Art and Design [[electronic resource] ] : 10th International Conference, EvoMUSART 2021, Held as Part of EvoStar 2021, Virtual Event, April 7–9, 2021, Proceedings / / edited by Juan Romero, Tiago Martins, Nereida Rodríguez-Fernández
| Artificial Intelligence in Music, Sound, Art and Design [[electronic resource] ] : 10th International Conference, EvoMUSART 2021, Held as Part of EvoStar 2021, Virtual Event, April 7–9, 2021, Proceedings / / edited by Juan Romero, Tiago Martins, Nereida Rodríguez-Fernández |
| Edizione | [1st ed. 2021.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2021 |
| Descrizione fisica | 1 online resource (501 pages) : illustrations |
| Disciplina | 005.11 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Education—Data processing Machine learning Image processing—Digital techniques Computer vision Artificial intelligence Software engineering Theory of Computation Computers and Education Machine Learning Computer Imaging, Vision, Pattern Recognition and Graphics Artificial Intelligence Software Engineering |
| ISBN | 3-030-72914-1 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Sculpture Inspired Musical Composition, One Possible Approach -- Network Bending: Expressive Manipulation of Deep Generative Models -- SyVMO: Synchronous Variable Markov Oracle for Modeling and Predicting Multi-Part Musical Structures -- Identification of Pure Painting Pigment Using Machine Learning Algorithms -- Evolving Neural Style Transfer Blends -- Evolving Image Enhancement Pipelines -- Genre Recognition from Symbolic Music with CNNs -- Axial Generation: A Concretism-Inspired Method for Synthesizing Highly Varied Artworks -- Interactive, Efficient and Creative Image Generation Using Compositional Pattern-Producing Networks -- Aesthetic Evaluation of Cellular Automata Configurations Using Spatial Complexity and Kolmogorov Complexity -- Auralization of Three-Dimensional Cellular Automata -- Chord Embeddings: Analyzing What They Capture and Their Role for Next Chord Prediction and Artist Attribute Prediction -- Convolutional Generative Adversarial Network, via Transfer Learning, for Traditional Scottish Music Generation -- The Enigma of Complexity -- SerumRNN: Step by Step Audio VST Effect Programming -- Parameter Tuning for Wavelet-Based Sound Event Detection Using Neural Networks -- Raga Recognition in Indian Classical Music Using Deep Learning -- The Simulated Emergence of Chord Function -- Incremental Evolution of Stylized Images -- Dissecting Neural Networks Filter Responses for Artistic Style Transfer -- A Fusion of Deep and Shallow Learning to Predict Genres Based on Instrument and Timbre Features -- A Multi-Objective Evolutionary Approach to Identify Relevant Audio Features for Music Segmentation -- Exploring the Effect of Sampling Strategy on Movement Generation with Generative Neural Networks -- "A Good Algorithm Does Not Steal - It Imitates": The Originality Report as a Means of Measuring when a Music Generation Algorithm Copies too Much -- From Music to Image - A Computational Creativity Approach -- “What is human?” A Turing Test for Artistic Creativity -- Mixed-Initiative Level Design with RL Brush -- Creating a Digital Mirror of Creative Practice -- An Application for Evolutionary Music Composition Using Autoencoders -- A Swarm Grammar-Based Approach to Virtual World Generation -- Co-Creative Drawing with One-Shot Generative Models. |
| Record Nr. | UNINA-9910484699303321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2021 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Artificial Intelligence in Music, Sound, Art and Design [[electronic resource] ] : 10th International Conference, EvoMUSART 2021, Held as Part of EvoStar 2021, Virtual Event, April 7–9, 2021, Proceedings / / edited by Juan Romero, Tiago Martins, Nereida Rodríguez-Fernández
| Artificial Intelligence in Music, Sound, Art and Design [[electronic resource] ] : 10th International Conference, EvoMUSART 2021, Held as Part of EvoStar 2021, Virtual Event, April 7–9, 2021, Proceedings / / edited by Juan Romero, Tiago Martins, Nereida Rodríguez-Fernández |
| Edizione | [1st ed. 2021.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2021 |
| Descrizione fisica | 1 online resource (501 pages) : illustrations |
| Disciplina | 005.11 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Education—Data processing Machine learning Image processing—Digital techniques Computer vision Artificial intelligence Software engineering Theory of Computation Computers and Education Machine Learning Computer Imaging, Vision, Pattern Recognition and Graphics Artificial Intelligence Software Engineering |
| ISBN | 3-030-72914-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Sculpture Inspired Musical Composition, One Possible Approach -- Network Bending: Expressive Manipulation of Deep Generative Models -- SyVMO: Synchronous Variable Markov Oracle for Modeling and Predicting Multi-Part Musical Structures -- Identification of Pure Painting Pigment Using Machine Learning Algorithms -- Evolving Neural Style Transfer Blends -- Evolving Image Enhancement Pipelines -- Genre Recognition from Symbolic Music with CNNs -- Axial Generation: A Concretism-Inspired Method for Synthesizing Highly Varied Artworks -- Interactive, Efficient and Creative Image Generation Using Compositional Pattern-Producing Networks -- Aesthetic Evaluation of Cellular Automata Configurations Using Spatial Complexity and Kolmogorov Complexity -- Auralization of Three-Dimensional Cellular Automata -- Chord Embeddings: Analyzing What They Capture and Their Role for Next Chord Prediction and Artist Attribute Prediction -- Convolutional Generative Adversarial Network, via Transfer Learning, for Traditional Scottish Music Generation -- The Enigma of Complexity -- SerumRNN: Step by Step Audio VST Effect Programming -- Parameter Tuning for Wavelet-Based Sound Event Detection Using Neural Networks -- Raga Recognition in Indian Classical Music Using Deep Learning -- The Simulated Emergence of Chord Function -- Incremental Evolution of Stylized Images -- Dissecting Neural Networks Filter Responses for Artistic Style Transfer -- A Fusion of Deep and Shallow Learning to Predict Genres Based on Instrument and Timbre Features -- A Multi-Objective Evolutionary Approach to Identify Relevant Audio Features for Music Segmentation -- Exploring the Effect of Sampling Strategy on Movement Generation with Generative Neural Networks -- "A Good Algorithm Does Not Steal - It Imitates": The Originality Report as a Means of Measuring when a Music Generation Algorithm Copies too Much -- From Music to Image - A Computational Creativity Approach -- “What is human?” A Turing Test for Artistic Creativity -- Mixed-Initiative Level Design with RL Brush -- Creating a Digital Mirror of Creative Practice -- An Application for Evolutionary Music Composition Using Autoencoders -- A Swarm Grammar-Based Approach to Virtual World Generation -- Co-Creative Drawing with One-Shot Generative Models. |
| Record Nr. | UNISA-996464386803316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2021 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Artificial Intelligence in Music, Sound, Art and Design [[electronic resource] ] : 9th International Conference, EvoMUSART 2020, Held as Part of EvoStar 2020, Seville, Spain, April 15–17, 2020, Proceedings / / edited by Juan Romero, Anikó Ekárt, Tiago Martins, João Correia
| Artificial Intelligence in Music, Sound, Art and Design [[electronic resource] ] : 9th International Conference, EvoMUSART 2020, Held as Part of EvoStar 2020, Seville, Spain, April 15–17, 2020, Proceedings / / edited by Juan Romero, Anikó Ekárt, Tiago Martins, João Correia |
| Edizione | [1st ed. 2020.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
| Descrizione fisica | 1 online resource (238 pages) : illustrations |
| Disciplina | 005.11 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Computer networks Compilers (Computer programs) Image processing—Digital techniques Computer vision Signal processing Theory of Computation Computer Communication Networks Compilers and Interpreters Computer Imaging, Vision, Pattern Recognition and Graphics Signal, Speech and Image Processing |
| ISBN | 3-030-43859-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | A deep learning neural network for classifying good and bad photos -- Adapting and Enhancing Evolutionary Art for Casual Creation -- Comparing Fuzzy Rule Based Approaches for Music Genre Classification -- Quantum Zentanglement: Combining Picbreeder and Wave Function Collapse to Create Zentangles -- Emerging Technology System Evolution -- Fusion of Hilbert-Huang Transform and Deep Convolutional Neural Network for Predominant Musical Instruments Recognition -- Genetic Reverb: Synthesizing Artificial Reverberant Fields Via Genetic Algorithms -- Portraits of No One: An Interactive Installation -- Understanding Aesthetic Evaluation with Deep Learning -- An Aesthetic-Based Fitness Measure and a Framework for Guidance of Evolutionary Design in Architecture -- Objective Evaluation of Tonal Fitness for Chord Progressions -- Coevolving Artistic Images Using OMNIREP -- Sound Cells in Genetic Improvisation: An Evolutionary Model for Improvised Music -- Controlling Self-Organization in Generative Creative Systems -- Emulation Games. See and Be Seen, a Subjective Approach to Analog Computational Neuroscience. |
| Record Nr. | UNISA-996418218203316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Artificial Intelligence in Music, Sound, Art and Design [[electronic resource] ] : 9th International Conference, EvoMUSART 2020, Held as Part of EvoStar 2020, Seville, Spain, April 15–17, 2020, Proceedings / / edited by Juan Romero, Anikó Ekárt, Tiago Martins, João Correia
| Artificial Intelligence in Music, Sound, Art and Design [[electronic resource] ] : 9th International Conference, EvoMUSART 2020, Held as Part of EvoStar 2020, Seville, Spain, April 15–17, 2020, Proceedings / / edited by Juan Romero, Anikó Ekárt, Tiago Martins, João Correia |
| Edizione | [1st ed. 2020.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
| Descrizione fisica | 1 online resource (238 pages) : illustrations |
| Disciplina | 005.11 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Computer networks Compilers (Computer programs) Image processing—Digital techniques Computer vision Signal processing Theory of Computation Computer Communication Networks Compilers and Interpreters Computer Imaging, Vision, Pattern Recognition and Graphics Signal, Speech and Image Processing |
| ISBN | 3-030-43859-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | A deep learning neural network for classifying good and bad photos -- Adapting and Enhancing Evolutionary Art for Casual Creation -- Comparing Fuzzy Rule Based Approaches for Music Genre Classification -- Quantum Zentanglement: Combining Picbreeder and Wave Function Collapse to Create Zentangles -- Emerging Technology System Evolution -- Fusion of Hilbert-Huang Transform and Deep Convolutional Neural Network for Predominant Musical Instruments Recognition -- Genetic Reverb: Synthesizing Artificial Reverberant Fields Via Genetic Algorithms -- Portraits of No One: An Interactive Installation -- Understanding Aesthetic Evaluation with Deep Learning -- An Aesthetic-Based Fitness Measure and a Framework for Guidance of Evolutionary Design in Architecture -- Objective Evaluation of Tonal Fitness for Chord Progressions -- Coevolving Artistic Images Using OMNIREP -- Sound Cells in Genetic Improvisation: An Evolutionary Model for Improvised Music -- Controlling Self-Organization in Generative Creative Systems -- Emulation Games. See and Be Seen, a Subjective Approach to Analog Computational Neuroscience. |
| Record Nr. | UNINA-9910409674303321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Automata, Languages and Programming [[electronic resource] ] : 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part II / / edited by Samson Abramsky, Cyril Gavoille, Claude Kirchner, Friedhelm Meyer auf der Heide, Paul Spirakis
| Automata, Languages and Programming [[electronic resource] ] : 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part II / / edited by Samson Abramsky, Cyril Gavoille, Claude Kirchner, Friedhelm Meyer auf der Heide, Paul Spirakis |
| Edizione | [1st ed. 2010.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 |
| Descrizione fisica | 1 online resource (XXIV, 614 p. 78 illus.) |
| Disciplina | 005.11 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer programming
Computer networks Software engineering Algorithms Computer science Programming Techniques Computer Communication Networks Software Engineering Theory of Computation |
| ISBN |
1-280-38771-8
9786613565631 3-642-14162-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Talks -- Informative Labeling Schemes -- Noetherian Spaces in Verification -- Towards a Theory of Time-Bounded Verification -- Physical Algorithms -- Session 1-Track B. Automata -- Optimal Zielonka-Type Construction of Deterministic Asynchronous Automata -- Pumping and Counting on the Regular Post Embedding Problem -- Alternation Removal in Büchi Automata -- Linear Orders in the Pushdown Hierarchy -- Session 1-Track C. Communication in Networks -- The Serializability of Network Codes -- How Efficient Can Gossip Be? (On the Cost of Resilient Information Exchange) -- Efficient Information Exchange in the Random Phone-Call Model -- An O(logn)-Competitive Online Centralized Randomized Packet-Routing Algorithm for Lines -- Session 2-Track B. Formal Languages -- A Topological Approach to Recognition -- On LR(k)-Parsers of Polynomial Size -- On Erasing Productions in Random Context Grammars -- Session 4-Track B. Semantics -- Game Semantics for Call-by-Value Polymorphism -- What Is a Pure Functional? -- Example-Guided Abstraction Simplification -- Compositional Closure for Bayes Risk in Probabilistic Noninterference -- Session 4-Track C. Fault Tolerance, Ranking -- Asynchronous Throughput-Optimal Routing in Malicious Networks -- Improved Fault Tolerance and Secure Computation on Sparse Networks -- Sparse Reliable Graph Backbones -- Approximation Algorithms for Diversified Search Ranking -- Session 5-Track B. Graphs, Categories and Quantum Information -- Rewriting Measurement-Based Quantum Computations with Generalised Flow -- The Compositional Structure of Multipartite Quantum Entanglement -- Compositionality in Graph Transformation -- Session 6-Track B. Best Paper Award -- On p-Optimal Proof Systems and Logics for PTIME -- Session 6-Track C. Best Paper Award -- Placing Regenerators in Optical Networks to Satisfy Multiple Sets of Requests -- Session 7-Track B. Logic -- Maximal Decidable Fragments of Halpern and Shoham’s Modal Logic of Intervals -- B and D Are Enough to Make the Halpern–Shoham Logic Undecidable -- Parameterized Modal Satisfiability -- Automata for Coalgebras: An Approach Using Predicate Liftings -- Session 7-Track C. Privacy, Selfishness -- Resolving the Complexity of Some Data Privacy Problems -- Private and Continual Release of Statistics -- Envy-Free Pricing in Multi-item Markets -- Contention Resolution under Selfishness -- Session 8-Track B. Concurrency -- On the Expressiveness of Polyadic and Synchronous Communication in Higher-Order Process Calculi -- On Bisimilarity and Substitution in Presence of Replication -- The Downward-Closure of Petri Net Languages -- Reachability Games on Extended Vector Addition Systems with States -- Session 8-Track C. Mobile Agents -- Modelling Mobility: A Discrete Revolution -- Tell Me Where I Am So I Can Meet You Sooner -- Rendezvous of Mobile Agents without Agreement on Local Orientation -- Session 9-Track B. Probabilistic Computation -- Probabilistic Automata on Finite Words: Decidable and Undecidable Problems -- Space-Efficient Scheduling of Stochastically Generated Tasks -- Exponential Lower Bounds for Policy Iteration -- Session 10-Track B. Automata -- Regular Temporal Cost Functions -- Model Checking Succinct and Parametric One-Counter Automata -- Pebble Weighted Automata and Transitive Closure Logics -- Energy Parity Games. |
| Record Nr. | UNISA-996465841903316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Automata, Languages and Programming [[electronic resource] ] : 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part II / / edited by Samson Abramsky, Cyril Gavoille, Claude Kirchner, Friedhelm Meyer auf der Heide, Paul Spirakis
| Automata, Languages and Programming [[electronic resource] ] : 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part II / / edited by Samson Abramsky, Cyril Gavoille, Claude Kirchner, Friedhelm Meyer auf der Heide, Paul Spirakis |
| Edizione | [1st ed. 2010.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 |
| Descrizione fisica | 1 online resource (XXIV, 614 p. 78 illus.) |
| Disciplina | 005.11 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer programming
Computer networks Software engineering Algorithms Computer science Programming Techniques Computer Communication Networks Software Engineering Theory of Computation |
| ISBN |
1-280-38771-8
9786613565631 3-642-14162-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Talks -- Informative Labeling Schemes -- Noetherian Spaces in Verification -- Towards a Theory of Time-Bounded Verification -- Physical Algorithms -- Session 1-Track B. Automata -- Optimal Zielonka-Type Construction of Deterministic Asynchronous Automata -- Pumping and Counting on the Regular Post Embedding Problem -- Alternation Removal in Büchi Automata -- Linear Orders in the Pushdown Hierarchy -- Session 1-Track C. Communication in Networks -- The Serializability of Network Codes -- How Efficient Can Gossip Be? (On the Cost of Resilient Information Exchange) -- Efficient Information Exchange in the Random Phone-Call Model -- An O(logn)-Competitive Online Centralized Randomized Packet-Routing Algorithm for Lines -- Session 2-Track B. Formal Languages -- A Topological Approach to Recognition -- On LR(k)-Parsers of Polynomial Size -- On Erasing Productions in Random Context Grammars -- Session 4-Track B. Semantics -- Game Semantics for Call-by-Value Polymorphism -- What Is a Pure Functional? -- Example-Guided Abstraction Simplification -- Compositional Closure for Bayes Risk in Probabilistic Noninterference -- Session 4-Track C. Fault Tolerance, Ranking -- Asynchronous Throughput-Optimal Routing in Malicious Networks -- Improved Fault Tolerance and Secure Computation on Sparse Networks -- Sparse Reliable Graph Backbones -- Approximation Algorithms for Diversified Search Ranking -- Session 5-Track B. Graphs, Categories and Quantum Information -- Rewriting Measurement-Based Quantum Computations with Generalised Flow -- The Compositional Structure of Multipartite Quantum Entanglement -- Compositionality in Graph Transformation -- Session 6-Track B. Best Paper Award -- On p-Optimal Proof Systems and Logics for PTIME -- Session 6-Track C. Best Paper Award -- Placing Regenerators in Optical Networks to Satisfy Multiple Sets of Requests -- Session 7-Track B. Logic -- Maximal Decidable Fragments of Halpern and Shoham’s Modal Logic of Intervals -- B and D Are Enough to Make the Halpern–Shoham Logic Undecidable -- Parameterized Modal Satisfiability -- Automata for Coalgebras: An Approach Using Predicate Liftings -- Session 7-Track C. Privacy, Selfishness -- Resolving the Complexity of Some Data Privacy Problems -- Private and Continual Release of Statistics -- Envy-Free Pricing in Multi-item Markets -- Contention Resolution under Selfishness -- Session 8-Track B. Concurrency -- On the Expressiveness of Polyadic and Synchronous Communication in Higher-Order Process Calculi -- On Bisimilarity and Substitution in Presence of Replication -- The Downward-Closure of Petri Net Languages -- Reachability Games on Extended Vector Addition Systems with States -- Session 8-Track C. Mobile Agents -- Modelling Mobility: A Discrete Revolution -- Tell Me Where I Am So I Can Meet You Sooner -- Rendezvous of Mobile Agents without Agreement on Local Orientation -- Session 9-Track B. Probabilistic Computation -- Probabilistic Automata on Finite Words: Decidable and Undecidable Problems -- Space-Efficient Scheduling of Stochastically Generated Tasks -- Exponential Lower Bounds for Policy Iteration -- Session 10-Track B. Automata -- Regular Temporal Cost Functions -- Model Checking Succinct and Parametric One-Counter Automata -- Pebble Weighted Automata and Transitive Closure Logics -- Energy Parity Games. |
| Record Nr. | UNINA-9910484309903321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Automata, Languages and Programming [[electronic resource] ] : 12th Colloquium, Nafplion, Greece, July 15-19, 1985. Proceedings / / edited by Wilfried Brauer
| Automata, Languages and Programming [[electronic resource] ] : 12th Colloquium, Nafplion, Greece, July 15-19, 1985. Proceedings / / edited by Wilfried Brauer |
| Edizione | [1st ed. 1985.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1985 |
| Descrizione fisica | 1 online resource (XII, 524 p.) |
| Disciplina | 005.11 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computer programming
Computers Mathematical logic Algorithms Programming Techniques Computation by Abstract Devices Mathematical Logic and Formal Languages Algorithm Analysis and Problem Complexity |
| ISBN | 3-540-39557-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Vertex packing algorithms -- Linear and branching structures in the semantics and logics of reactive systems -- About rational sets of factors of a bi-infinite word -- A fair protocol for signing contracts -- The influence of key length on the area-time complexity of sorting -- Repeated synchronous snapshots and their implementation in CSP -- On total regulators generated by derivation relations -- Optimal solutions for a class of point retrieval problems -- Fractional cascading: A data structuring technique with geometric applications -- Hierarchies of one-way multihead automata languages -- Partitioning point sets in 4 dimensions -- A completeness theorem for recursively defined types -- Categorical combinatory logic -- Towards a uniform topological treatment of streams and functions on streams -- Infinite streams and finite observations in the semantics of uniform concurrency -- Imposed-functional dependencies inducing horizontal decompositions -- Characterization of high level tree transducers -- Ambiguity and transcendence -- A fast algorithm for polygon containment by translation -- Deterministic and Las Vegas primality testing algorithms -- Efficient algorithms for graphic matroid intersection and parity -- Operational semantics for order-sorted algebra -- A universal domain technique for profinite posets -- A simple proof of the Skolem-Mahler-Lech theorem -- On complete problems for NP?CoNP -- An algebraic theory of fair asynchronous communicating processes -- Hoare's logic for nondeterministic regular programs: A nonstandard completeness theorem -- Powerdomains as algebraic lattices preliminary report -- Random generation of combinatiorial structures from a uniform distribution -- Do rational equivalence relations have regular cross-sections? -- On probabilistic time and space -- The nearest neighbor problem on bounded domains -- Routing through a generalized switchbox -- On k-repetition free words generated by length uniform morphisms over a binary alphabet -- Every commutative quasirational language is regular -- A probabilistic distributed algorithm for set intersection and its analysis -- Distributed algorithms in synchronous broadcasting networks -- A context dependent equivalence between processes -- Lower bounds by kolmogorov-complexity -- A bidirectional shortest-path algorithm with good average-case behavior (preliminary version) -- Applications of an infinite squarefree CO-CFL -- Special relations in automated deduction -- Dynamic interpolation search -- Polynomial levelability and maximal complexity cores -- Finite group topology and p-adic topology for free monoids -- On the use of relational expressions in the design of efficient algorithms -- The complementation problem for Büchi automata with applications to temporal logic -- A complete compositional modal proof system for a subset of CCS -- On matrix multiplication using array processors -- Optimal parallel pattern matching in strings -- Compositionality and concurrent networks: Soundness and completeness of a proofsystem. |
| Record Nr. | UNISA-996466107903316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1985 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Automata, Languages and Programming [[electronic resource] ] : Seventh Colloquium, Noordwijkerhout, The Netherlands, July 14-18, 1980. Proceedings / / edited by J. W. de Bakker, J. van Leeuwen
| Automata, Languages and Programming [[electronic resource] ] : Seventh Colloquium, Noordwijkerhout, The Netherlands, July 14-18, 1980. Proceedings / / edited by J. W. de Bakker, J. van Leeuwen |
| Edizione | [1st ed. 1980.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1980 |
| Descrizione fisica | 1 online resource (X, 671 p.) |
| Disciplina | 005.11 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computer programming
Computers Mathematical logic Programming Techniques Computation by Abstract Devices Mathematical Logic and Formal Languages |
| ISBN | 3-540-39346-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | How to get rid of pseudoterminals -- Test sets for homomorphism equivalence on context free languages -- Languages with homomorphic replacements -- Functions equivalent to integer multiplication -- Languages with reducing reflexive types -- Semantics of unbounded nondeterminism -- A shifting algorithm for min-max tree partitioning -- A characterisation of computable data types by means of a finite equational specification method -- A note on sweeping automata -- Border rank of a p×q×2 tensor and the optimal approximation of a pair of bilinear forms -- Derivations et reductions dans les grammaires algebrioues -- Semantic analysis of communicating sequential processes -- Dos systems and languages -- Algebraic implementation of abstract data types: concept, syntax, semantics and correctness -- Parameterized data types in algebraic specification languages -- Characterizing correctness properties of parallel programs using fixpoints -- Formal properties of one-visit and multi-pass attribute grammars (extended abstract) -- Cryptocomplexity and NP-completeness -- On the analysis of tree-matching algorithms -- Generating and searching sets induced by networks -- The complexity of the inequivalence problem for regular expressions with intersection -- An almost linear time algorithm for computing a dependency basis in a relational data base -- Bipolar synchronization systems -- Testing of properties of finite algebras -- A transaction model -- On observing nondeterminism and concurrency -- Terminal algebra semantics and retractions for abstract data types -- The complexity of semilinear sets -- A theory of nondeterminism -- A representation theorem for models of *-free PDL -- Present-day Hoare-like systems for programming languages with procedures: Power, limits and most likely extensions -- Symmertric space-bounded computation (extended abstract) -- On some properties of local testability -- Semantics :Algebras,fixed points,axioms -- Measuring the expressive power of dynamic logics: An application of abstract model theory -- Pebbling mountain ranges and its application to DCFL-recognition -- Space-restricted attribute grammars -- A constructive approach to compiler correctness -- A worst-case analysis of nearest neighbor searching by projection -- Proprietes syntactiques du produit non ambigu -- On the optimal assignment of attributes to passes in multi-pass attribute evaluators -- Optimal unbounded search strategies -- A "fast implementation" of a multidimensional storage into a tree storage -- Grammatical families -- Partitioned chain grammars -- An improved program for constructing open hash tables -- On the power of commutativity in cryptography -- Characterizations of the LL(k) property -- Computability in categories -- On the size complexity of monotone formulas -- Reversible computing -- The use of metasystem transition in theorem proving and program optimization -- On the power of real-time turing machines under varying specifications. |
| Record Nr. | UNISA-996465763803316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1980 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
A Beginner's Guide to Scala, Object Orientation and Functional Programming [[electronic resource] /] / by John Hunt
| A Beginner's Guide to Scala, Object Orientation and Functional Programming [[electronic resource] /] / by John Hunt |
| Autore | Hunt John |
| Edizione | [2nd ed. 2018.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
| Descrizione fisica | 1 online resource (XIX, 531 p.) |
| Disciplina | 005.11 |
| Soggetto topico |
Computer programming
Programming languages (Electronic computers) Programming Techniques Programming Languages, Compilers, Interpreters |
| ISBN | 3-319-75771-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Elements of Object Orientation -- Why Object Orientation? -- Object Orientation Systems -- Functional Programming -- Scala Background -- Little Scala -- Scala Building Blocks -- Scala Classes -- Scala Methods -- Packages and Encapsulation -- Building A Class -- Classes and Inherit -- Objects and Instances -- Value Classes -- Constructs -- Control -- Traits -- Further Traits -- Arrays -- Tuples -- Functional Programming in Scala -- Higher Order Functions -- Partial Application -- Collections -- List and Map Collections -- Immutable and Mutable Collection Packages -- Type Parameterization -- Further Constructs -- Exception Handling -- Akka Actors -- Further Akka Actors -- Scala and JDBC Database -- Scala Style Database Access -- Slick -- Testing -- Scala Testing -- Play Framework -- Restful Services -- Scalaz -- Scala Swing -- Scala Swing Reactors -- Build Tools -- Java Interop. . |
| Record Nr. | UNINA-9910299278603321 |
Hunt John
|
||
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Beginning Backdrop CMS [[electronic resource] /] / by Todd Tomlinson
| Beginning Backdrop CMS [[electronic resource] /] / by Todd Tomlinson |
| Autore | Tomlinson Todd |
| Edizione | [1st ed. 2016.] |
| Pubbl/distr/stampa | Berkeley, CA : , : Apress : , : Imprint : Apress, , 2016 |
| Descrizione fisica | 1 online resource (XXV, 259 p. 198 illus., 194 illus. in color.) |
| Disciplina | 005.11 |
| Collana | The Expert's Voice in Web Development |
| Soggetto topico |
Computer programming
Programming languages (Electronic computers) Web Development Programming Techniques Programming Languages, Compilers, Interpreters |
| ISBN | 1-4842-1970-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 1. Introduction to Backdrop CMS -- 2. Creating and Managing Content -- 3. Creating and Managing Users -- 4. Taxonomy -- 5. Content Types -- 6. Creating Layouts -- 7. Using Backdrop Themes -- 8. Creating Menus -- 9. Backdrop Blocks -- 10. Views -- 11. Creating Pages -- 12. Backdrop Modules -- 13. Anatomy of a Module -- 14. Creating Themes -- 15. Multilingual Capabilities -- 16. Using Git -- 17. Putting it All Together -- 18. Administering Your Backdrop Site -- 19. Creating a Blog Site using Backdrop -- 20. Creating a Company Site using Backdrop -- Appendix A. Installing Backdrop -- Appendix B. Contributing to Backdrop -- Appendix C. Additional Resources. |
| Record Nr. | UNINA-9910254757903321 |
|
Tomlinson Todd
|
||
| Berkeley, CA : , : Apress : , : Imprint : Apress, , 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
