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.
Advances in computing science - ASIAN '99 : 5th Asian Computing Science Conference, Phuket, Thailand, December 10-12, 1999 : proceedings / / P. S. Thiagarajan, Roland Yap, editors
| Advances in computing science - ASIAN '99 : 5th Asian Computing Science Conference, Phuket, Thailand, December 10-12, 1999 : proceedings / / P. S. Thiagarajan, Roland Yap, editors |
| Edizione | [1st ed. 1999.] |
| Pubbl/distr/stampa | Berlin ; ; Heidelberg : , : Springer Verlag, , [1999] |
| Descrizione fisica | 1 online resource (XII, 408 p.) |
| Disciplina | 004.071 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Electronic data processing - Ability testing
Computer science - Research |
| ISBN | 3-540-46674-6 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Talks -- Validation of Synchronous Reactive Systems: From Formal Verification to Automatic Testing -- Emerging Application Domains and the Computing Fabric -- Regular Papers -- The Game of the Name in Cryptographic Tables -- A Parallel Approximation Algorithm for the Max Cut Problem on Cubic Graphs -- Rapid Prototyping Techniques for Fuzzy Controllers -- Transactional Cache Management with A periodic Invalidation Scheme in Mobile Environments -- Observable Sharing for Functional Circuit Description -- Relating May and Must Testing Semantics for Discrete Timed Process Algebras -- A Framework for Formal Reasoning about Open Distributed Systems -- Structural Sharing and Efficient Proof-Search in Propositional Intuitionistic Logic -- Verifying Probabilistic Programs Using a Hoare like Logic -- An Expressive Extension of TLC -- Completeness and Decidability of a Fragment of Duration Calculus with Iteration -- Logical Relations in Circuit Verification -- Lemma Generalization and Non-unit Lemma Matching for Model Elimination -- On Automating Inductive and Non-inductive Termination Methods -- Asynchronous Links in the PBC and M-Nets -- Demand-Driven Model Checking for Context-Free Processes -- Programming the Mobility Behaviour of Agents by Composing Itineraries -- Faster Model Checking for Open Systems -- An Argumentation Approach to Semantics of Declarative Programs with Defeasible Inheritance -- Entailment of Non-structural Subtype Constraints -- A CPS-Transform of Constructive Classical Logic -- Formal Verification of the MCS List-Based Queuing Lock -- BDD-Nodes Can Be More Expressive -- Formal Verification of Descriptions with Distinct Order of Memory Operations -- Beyond Tamaki-Sato Style Unfold/Fold Transformations for Normal Logic Programs -- On L k (Q) Types and Boundedness of IFP(Q) on Finite Structures -- Separators Are as Simple as Cutsets -- Ant Colony Optimization for the Ship Berthing Problem -- Poster Session Abstracts -- Security Modeling and Evaluation for the Mobile Code Paradigm -- CASA - Structured Design of a Specification Language for Intelligent Agents -- An Efficient Location Management by Optimal Location Area Partitioning in PCS Networks -- Programming with Explicit Regions -- A Verification Technique Based on Syntactic Action Refinement in a TCSP-like Process Algebra and the Hennessy-Milner-Logic -- Formal Verification of Secret Sharing Protocol Using Coq -- On Feasibility, Boundedness and Redundancy of Systems of Linear Constraints over R 2-Plane -- Deduction in Logic of Association Rules -- Asynchronous Migration in Parallel Genetic Programming -- Verification Results for a Multimedia Protocol -- Multipoint-to-Point ABR Service with Fair Intelligent Congestion Control in ATM Networks. |
| Record Nr. | UNINA-9910143615103321 |
| Berlin ; ; Heidelberg : , : Springer Verlag, , [1999] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Advances in computing science - ASIAN '99 : 5th Asian Computing Science Conference, Phuket, Thailand, December 10-12, 1999 : proceedings / / P. S. Thiagarajan, Roland Yap, editors
| Advances in computing science - ASIAN '99 : 5th Asian Computing Science Conference, Phuket, Thailand, December 10-12, 1999 : proceedings / / P. S. Thiagarajan, Roland Yap, editors |
| Edizione | [1st ed. 1999.] |
| Pubbl/distr/stampa | Berlin ; ; Heidelberg : , : Springer Verlag, , [1999] |
| Descrizione fisica | 1 online resource (XII, 408 p.) |
| Disciplina | 004.071 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Electronic data processing - Ability testing
Computer science - Research |
| ISBN | 3-540-46674-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Talks -- Validation of Synchronous Reactive Systems: From Formal Verification to Automatic Testing -- Emerging Application Domains and the Computing Fabric -- Regular Papers -- The Game of the Name in Cryptographic Tables -- A Parallel Approximation Algorithm for the Max Cut Problem on Cubic Graphs -- Rapid Prototyping Techniques for Fuzzy Controllers -- Transactional Cache Management with A periodic Invalidation Scheme in Mobile Environments -- Observable Sharing for Functional Circuit Description -- Relating May and Must Testing Semantics for Discrete Timed Process Algebras -- A Framework for Formal Reasoning about Open Distributed Systems -- Structural Sharing and Efficient Proof-Search in Propositional Intuitionistic Logic -- Verifying Probabilistic Programs Using a Hoare like Logic -- An Expressive Extension of TLC -- Completeness and Decidability of a Fragment of Duration Calculus with Iteration -- Logical Relations in Circuit Verification -- Lemma Generalization and Non-unit Lemma Matching for Model Elimination -- On Automating Inductive and Non-inductive Termination Methods -- Asynchronous Links in the PBC and M-Nets -- Demand-Driven Model Checking for Context-Free Processes -- Programming the Mobility Behaviour of Agents by Composing Itineraries -- Faster Model Checking for Open Systems -- An Argumentation Approach to Semantics of Declarative Programs with Defeasible Inheritance -- Entailment of Non-structural Subtype Constraints -- A CPS-Transform of Constructive Classical Logic -- Formal Verification of the MCS List-Based Queuing Lock -- BDD-Nodes Can Be More Expressive -- Formal Verification of Descriptions with Distinct Order of Memory Operations -- Beyond Tamaki-Sato Style Unfold/Fold Transformations for Normal Logic Programs -- On L k (Q) Types and Boundedness of IFP(Q) on Finite Structures -- Separators Are as Simple as Cutsets -- Ant Colony Optimization for the Ship Berthing Problem -- Poster Session Abstracts -- Security Modeling and Evaluation for the Mobile Code Paradigm -- CASA - Structured Design of a Specification Language for Intelligent Agents -- An Efficient Location Management by Optimal Location Area Partitioning in PCS Networks -- Programming with Explicit Regions -- A Verification Technique Based on Syntactic Action Refinement in a TCSP-like Process Algebra and the Hennessy-Milner-Logic -- Formal Verification of Secret Sharing Protocol Using Coq -- On Feasibility, Boundedness and Redundancy of Systems of Linear Constraints over R 2-Plane -- Deduction in Logic of Association Rules -- Asynchronous Migration in Parallel Genetic Programming -- Verification Results for a Multimedia Protocol -- Multipoint-to-Point ABR Service with Fair Intelligent Congestion Control in ATM Networks. |
| Record Nr. | UNISA-996466368803316 |
| Berlin ; ; Heidelberg : , : Springer Verlag, , [1999] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Advances in Swarm Intelligence [[electronic resource] ] : 5th International Conference, ICSI 2014, Hefei, China, October 17-20, 2014, Proceedings, Part I / / edited by Ying Tan, Yuhui Shi, Carlos Coello Coello
| Advances in Swarm Intelligence [[electronic resource] ] : 5th International Conference, ICSI 2014, Hefei, China, October 17-20, 2014, Proceedings, Part I / / edited by Ying Tan, Yuhui Shi, Carlos Coello Coello |
| Edizione | [1st ed. 2014.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 |
| Descrizione fisica | 1 online resource (XXIV, 510 p. 162 illus.) |
| Disciplina | 004.071 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Algorithms
Numerical analysis Computer science—Mathematics Discrete mathematics Data mining Artificial intelligence Numerical Analysis Discrete Mathematics in Computer Science Data Mining and Knowledge Discovery Artificial Intelligence |
| ISBN | 3-319-11857-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Novel swarm-based search methods -- Novel optimization algorithm -- Particle swarm optimization -- Ant colony optimization for travelling salesman problem -- Artificial bee colony algorithms -- Artificial immune system -- Evolutionary algorithms -- Neural networks and fuzzy methods -- Hybrid methods -- Multi-objective optimization -- Multi-agent systems -- Evolutionary clustering algorithms -- Classification methods -- GPU-based methods -- Scheduling and path planning -- Wireless sensor networks -- Power system optimization -- Swarm intelligence in image and video processing -- Applications of swarm intelligence to management problems -- Swarm intelligence for real-world application. |
| Record Nr. | UNISA-996202525203316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Advances in Swarm Intelligence [[electronic resource] ] : 5th International Conference, ICSI 2014, Hefei, China, October 17-20, 2014, Proceedings, Part I / / edited by Ying Tan, Yuhui Shi, Carlos Coello Coello
| Advances in Swarm Intelligence [[electronic resource] ] : 5th International Conference, ICSI 2014, Hefei, China, October 17-20, 2014, Proceedings, Part I / / edited by Ying Tan, Yuhui Shi, Carlos Coello Coello |
| Edizione | [1st ed. 2014.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 |
| Descrizione fisica | 1 online resource (XXIV, 510 p. 162 illus.) |
| Disciplina | 004.071 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Algorithms
Numerical analysis Computer science—Mathematics Discrete mathematics Data mining Artificial intelligence Numerical Analysis Discrete Mathematics in Computer Science Data Mining and Knowledge Discovery Artificial Intelligence |
| ISBN | 3-319-11857-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Novel swarm-based search methods -- Novel optimization algorithm -- Particle swarm optimization -- Ant colony optimization for travelling salesman problem -- Artificial bee colony algorithms -- Artificial immune system -- Evolutionary algorithms -- Neural networks and fuzzy methods -- Hybrid methods -- Multi-objective optimization -- Multi-agent systems -- Evolutionary clustering algorithms -- Classification methods -- GPU-based methods -- Scheduling and path planning -- Wireless sensor networks -- Power system optimization -- Swarm intelligence in image and video processing -- Applications of swarm intelligence to management problems -- Swarm intelligence for real-world application. |
| Record Nr. | UNINA-9910484573903321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Advances in Web-Based Learning -- ICWL 2015 [[electronic resource] ] : 14th International Conference, Guangzhou, China, November 5-8, 2015, Proceedings / / edited by Frederick W.B. Li, Ralf Klamma, Mart Laanpere, Jun Zhang, Baltasar Fernandez Manjon, Rynson W.H. Lau
| Advances in Web-Based Learning -- ICWL 2015 [[electronic resource] ] : 14th International Conference, Guangzhou, China, November 5-8, 2015, Proceedings / / edited by Frederick W.B. Li, Ralf Klamma, Mart Laanpere, Jun Zhang, Baltasar Fernandez Manjon, Rynson W.H. Lau |
| Edizione | [1st ed. 2015.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 |
| Descrizione fisica | 1 online resource (XIII, 280 p. 65 illus.) |
| Disciplina | 004.071 |
| Collana | Information Systems and Applications, incl. Internet/Web, and HCI |
| Soggetto topico |
Education—Data processing
Computer networks Artificial intelligence Pattern recognition systems Computers and Education Computer Communication Networks Artificial Intelligence Automated Pattern Recognition |
| ISBN | 3-319-25515-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996466278803316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Advances in Web-Based Learning -- ICWL 2015 [[electronic resource] ] : 14th International Conference, Guangzhou, China, November 5-8, 2015, Proceedings / / edited by Frederick W.B. Li, Ralf Klamma, Mart Laanpere, Jun Zhang, Baltasar Fernandez Manjon, Rynson W.H. Lau
| Advances in Web-Based Learning -- ICWL 2015 [[electronic resource] ] : 14th International Conference, Guangzhou, China, November 5-8, 2015, Proceedings / / edited by Frederick W.B. Li, Ralf Klamma, Mart Laanpere, Jun Zhang, Baltasar Fernandez Manjon, Rynson W.H. Lau |
| Edizione | [1st ed. 2015.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 |
| Descrizione fisica | 1 online resource (XIII, 280 p. 65 illus.) |
| Disciplina | 004.071 |
| Collana | Information Systems and Applications, incl. Internet/Web, and HCI |
| Soggetto topico |
Education—Data processing
Computer networks Artificial intelligence Pattern recognition systems Computers and Education Computer Communication Networks Artificial Intelligence Automated Pattern Recognition |
| ISBN | 3-319-25515-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910483847803321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Algorithmic Aspects in Information and Management [[electronic resource] ] : 11th International Conference, AAIM 2016, Bergamo, Italy, July 18-20, 2016, Proceedings / / edited by Riccardo Dondi, Guillaume Fertin, Giancarlo Mauri
| Algorithmic Aspects in Information and Management [[electronic resource] ] : 11th International Conference, AAIM 2016, Bergamo, Italy, July 18-20, 2016, Proceedings / / edited by Riccardo Dondi, Guillaume Fertin, Giancarlo Mauri |
| Edizione | [1st ed. 2016.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 |
| Descrizione fisica | 1 online resource (XIV, 223 p. 36 illus.) |
| Disciplina | 004.071 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science—Mathematics
Discrete mathematics Algorithms Artificial intelligence—Data processing Pattern recognition systems Computer networks Discrete Mathematics in Computer Science Data Science Automated Pattern Recognition Computer Communication Networks |
| ISBN | 3-319-41168-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Item Pricing for Combinatorial Public Projects -- Norm-Based Locality Measures of Two-Dimensional Hilbert Curves -- On the Complexity of Clustering with Relaxed Size Constraints -- Superstring Graph: A New Approach for Genome Assembly -- Efficient FPT Algorithms for (Strict) Compatibility of Unrooted Phylogenetic Trees -- A Very Fast String Matching Algorithm Based on Condensed Alphabets -- Minimum-Density Identifying Codes in Square Grids -- Separating Codes and Traffic Monitoring -- Know When to Persist: Deriving Value from a Stream Buffer -- Algorithmic Aspects of Upper Domination: A Parameterised Perspective -- On Network Formation Games with Heterogeneous Players and Basic Network Creation Games -- Parameterized Complexity of Team Formation in Social Networks -- Reconstructing Cactus Graphs from Shortest Path Information -- Near-Optimal Dominating Sets via Random Sampling -- A Multivariate Approach for Checking Resiliency in Access Control -- Efficient Algorithms for the Order Preserving Pattern Matching Problem -- Computing the Line-Constrained k-Center in the Plane for Small k -- Online k-max Search Algorithm with Applications to the Secretary Problem. |
| Record Nr. | UNISA-996465958503316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Algorithmic Aspects in Information and Management [[electronic resource] ] : 11th International Conference, AAIM 2016, Bergamo, Italy, July 18-20, 2016, Proceedings / / edited by Riccardo Dondi, Guillaume Fertin, Giancarlo Mauri
| Algorithmic Aspects in Information and Management [[electronic resource] ] : 11th International Conference, AAIM 2016, Bergamo, Italy, July 18-20, 2016, Proceedings / / edited by Riccardo Dondi, Guillaume Fertin, Giancarlo Mauri |
| Edizione | [1st ed. 2016.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 |
| Descrizione fisica | 1 online resource (XIV, 223 p. 36 illus.) |
| Disciplina | 004.071 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science—Mathematics
Discrete mathematics Algorithms Artificial intelligence—Data processing Pattern recognition systems Computer networks Discrete Mathematics in Computer Science Data Science Automated Pattern Recognition Computer Communication Networks |
| ISBN | 3-319-41168-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Item Pricing for Combinatorial Public Projects -- Norm-Based Locality Measures of Two-Dimensional Hilbert Curves -- On the Complexity of Clustering with Relaxed Size Constraints -- Superstring Graph: A New Approach for Genome Assembly -- Efficient FPT Algorithms for (Strict) Compatibility of Unrooted Phylogenetic Trees -- A Very Fast String Matching Algorithm Based on Condensed Alphabets -- Minimum-Density Identifying Codes in Square Grids -- Separating Codes and Traffic Monitoring -- Know When to Persist: Deriving Value from a Stream Buffer -- Algorithmic Aspects of Upper Domination: A Parameterised Perspective -- On Network Formation Games with Heterogeneous Players and Basic Network Creation Games -- Parameterized Complexity of Team Formation in Social Networks -- Reconstructing Cactus Graphs from Shortest Path Information -- Near-Optimal Dominating Sets via Random Sampling -- A Multivariate Approach for Checking Resiliency in Access Control -- Efficient Algorithms for the Order Preserving Pattern Matching Problem -- Computing the Line-Constrained k-Center in the Plane for Small k -- Online k-max Search Algorithm with Applications to the Secretary Problem. |
| Record Nr. | UNINA-9910484147203321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Ancestral Knowledge Meets Computer Science Education [[electronic resource] ] : Environmental Change in Community / / by Cueponcaxochitl D. Moreno Sandoval
| Ancestral Knowledge Meets Computer Science Education [[electronic resource] ] : Environmental Change in Community / / by Cueponcaxochitl D. Moreno Sandoval |
| Autore | Sandoval Cueponcaxochitl D. Moreno |
| Edizione | [1st ed. 2019.] |
| Pubbl/distr/stampa | New York : , : Palgrave Macmillan US : , : Imprint : Palgrave Macmillan, , 2019 |
| Descrizione fisica | 1 online resource (190 pages) |
| Disciplina | 004.071 |
| Collana | Postcolonial Studies in Education |
| Soggetto topico |
International education
Comparative education Educational technology Education—History Ethnology—Latin America School management and organization School administration Ethnicity International and Comparative Education Technology and Digital Education History of Education Latin American Culture Administration, Organization and Leadership Ethnicity Studies |
| ISBN | 1-137-47520-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 1. Uprooting Systems of Colonization -- 2. Returning to Ourselves -- 3. Challenging Eurocentric Epistemologies -- 4. Critical Self-Consciousness for Collective Action in Social Commonplace: Building a Sustainable Environment for Planting Seeds of Hope, 2009-2010 -- 5. Cultivating Computing as Activism: Historicizing Cultural Identities as Academic Practices, 2010-2011 -- 6. Spreading Seeds of Hope from Student-Led Initiatives to Classroom Practices para el Vivir Comunitario, 2011-2012 -- . |
| Record Nr. | UNINA-9910337756203321 |
Sandoval Cueponcaxochitl D. Moreno
|
||
| New York : , : Palgrave Macmillan US : , : Imprint : Palgrave Macmillan, , 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Bayesian optimization with application to computer experiments / / Tony Pourmohamad and Herbert K. H. Lee
| Bayesian optimization with application to computer experiments / / Tony Pourmohamad and Herbert K. H. Lee |
| Autore | Pourmohamad Tony |
| Pubbl/distr/stampa | Cham, Switzerland : , : Springer, , [2021] |
| Descrizione fisica | 1 online resource (113 pages) |
| Disciplina | 004.071 |
| Collana | SpringerBriefs in Statistics |
| Soggetto topico |
Disseny d'experiments
Estadística bayesiana Computer science - Experiments Experimental design - Data processing |
| Soggetto genere / forma | Llibres electrònics |
| ISBN | 3-030-82458-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996466393203316 |
|
Pourmohamad Tony
|
||
| Cham, Switzerland : , : Springer, , [2021] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
