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.
Abstract State Machines, B and Z [[electronic resource] ] : First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings / / edited by Egon Börger, Michael Butler, Jonathan P. Bowen, Paul Boca
| Abstract State Machines, B and Z [[electronic resource] ] : First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings / / edited by Egon Börger, Michael Butler, Jonathan P. Bowen, Paul Boca |
| Edizione | [1st ed. 2008.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2008 |
| Descrizione fisica | 1 online resource (XII, 384 p.) |
| Disciplina | 005.12 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Software engineering
Computer science Machine theory Compilers (Computer programs) Database management Software Engineering Computer Science Logic and Foundations of Programming Formal Languages and Automata Theory Compilers and Interpreters Database Management |
| ISBN | 3-540-87603-0 |
| Classificazione |
54.10
DAT 550f SS 4800 004 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 1. ABZ Invited Talks -- Complex Hardware Modules Can Now be Made Free of Functional Errors without Sacrificing Productivity -- The High Road to Formal Validation: -- Modeling Workflows, Interaction Patterns, Web Services and Business Processes: The ASM-Based Approach -- Refinement of State-Based Systems: ASMs and Big Commuting Diagrams (Abstract) -- 2. ASM Papers -- Model Based Refinement and the Tools of Tomorrow -- A Concept-Driven Construction of the Mondex Protocol Using Three Refinements -- A Scenario-Based Validation Language for ASMs -- Data Flow Analysis and Testing of Abstract State Machines -- A Verified AsmL Implementation of Belief Revision -- Direct Support for Model Checking Abstract State Machines by Utilizing Simulation -- 3. B Papers -- On the Purpose of Event-B Proof Obligations -- Generating Tests from B Specifications and Test Purposes -- Combining Scenario- and Model-Based Testing to Ensure POSIX Compliance -- UseCase-Wise Development: Retrenchment for Event-B -- Towards Modelling Obligations in Event-B -- A Practical Single Refinement Method for B -- The Composition of Event-B Models -- Reconciling Axiomatic and Model-Based Specifications Reprised -- A Verifiable Conformance Relationship between Smart Card Applets and B Security Models -- Modelling Attacker’s Knowledge for Cascade Cryptographic Protocols -- Using EventB to Create a Virtual Machine Instruction Set Architecture -- 4. Z Papers -- Z2SAL - Building a Model Checker for Z -- Formal Modeling and Analysis of a Flash Filesystem in Alloy -- Unit Testing of Z Specifications -- Autonomous Objects and Bottom-Up Composition in ZOO Applied to a Case Study of Biological Reactivity -- 5. ABZ Short Papers -- Integrating Z into Large Projects Tools and Techniques -- A First Attempt to Express KAOS Refinement Patterns with Event B -- Verification and Validation of Web Service Composition Using Event B Method -- Stability of Real-Time Abstract State Machines under Desynchronization -- XML Database Transformations with Tree Updates -- Dynamic Resource Configuration & Management for Distributed Information Fusion in Maritime Surveillance -- UML-B: A Plug-in for the Event-B Tool Set -- BART: A Tool for Automatic Refinement -- Model Checking Event-B by Encoding into Alloy -- A Roadmap for the Rodin Toolset -- Exploiting the ASM Method for Validation & Verification of Embedded Systems -- Tool Support for the Circus Refinement Calculus -- Separation of Z Operations -- BSmart: A Tool for the Development of Java Card Applications with the B Method -- From ABZ to Cryptography -- Using ASM to Achieve Executability within a Family of DSL -- Using Satisfiability Modulo Theories to Analyze Abstract State Machines (Abstract) -- Formal Verification of ASM Models Using TLA?+? -- DIR 41 Case Study -- FDIR Architectures for Autonomous Spacecraft: Specification and Assessment with Event-B -- Object Modelling in the SystemB Industrial Project -- 6. VSR Day -- Splitting Atoms with Rely/Guarantee Conditions Coupled with Data Reification -- ABZ2008 VSR-Net Workshop. |
| Record Nr. | UNISA-996465278603316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2008 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Abstract State Machines, B and Z [[electronic resource] ] : First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings / / edited by Egon Börger, Michael Butler, Jonathan P. Bowen, Paul Boca
| Abstract State Machines, B and Z [[electronic resource] ] : First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings / / edited by Egon Börger, Michael Butler, Jonathan P. Bowen, Paul Boca |
| Edizione | [1st ed. 2008.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2008 |
| Descrizione fisica | 1 online resource (XII, 384 p.) |
| Disciplina | 005.12 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Software engineering
Computer science Machine theory Compilers (Computer programs) Database management Software Engineering Computer Science Logic and Foundations of Programming Formal Languages and Automata Theory Compilers and Interpreters Database Management |
| ISBN | 3-540-87603-0 |
| Classificazione |
54.10
DAT 550f SS 4800 004 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 1. ABZ Invited Talks -- Complex Hardware Modules Can Now be Made Free of Functional Errors without Sacrificing Productivity -- The High Road to Formal Validation: -- Modeling Workflows, Interaction Patterns, Web Services and Business Processes: The ASM-Based Approach -- Refinement of State-Based Systems: ASMs and Big Commuting Diagrams (Abstract) -- 2. ASM Papers -- Model Based Refinement and the Tools of Tomorrow -- A Concept-Driven Construction of the Mondex Protocol Using Three Refinements -- A Scenario-Based Validation Language for ASMs -- Data Flow Analysis and Testing of Abstract State Machines -- A Verified AsmL Implementation of Belief Revision -- Direct Support for Model Checking Abstract State Machines by Utilizing Simulation -- 3. B Papers -- On the Purpose of Event-B Proof Obligations -- Generating Tests from B Specifications and Test Purposes -- Combining Scenario- and Model-Based Testing to Ensure POSIX Compliance -- UseCase-Wise Development: Retrenchment for Event-B -- Towards Modelling Obligations in Event-B -- A Practical Single Refinement Method for B -- The Composition of Event-B Models -- Reconciling Axiomatic and Model-Based Specifications Reprised -- A Verifiable Conformance Relationship between Smart Card Applets and B Security Models -- Modelling Attacker’s Knowledge for Cascade Cryptographic Protocols -- Using EventB to Create a Virtual Machine Instruction Set Architecture -- 4. Z Papers -- Z2SAL - Building a Model Checker for Z -- Formal Modeling and Analysis of a Flash Filesystem in Alloy -- Unit Testing of Z Specifications -- Autonomous Objects and Bottom-Up Composition in ZOO Applied to a Case Study of Biological Reactivity -- 5. ABZ Short Papers -- Integrating Z into Large Projects Tools and Techniques -- A First Attempt to Express KAOS Refinement Patterns with Event B -- Verification and Validation of Web Service Composition Using Event B Method -- Stability of Real-Time Abstract State Machines under Desynchronization -- XML Database Transformations with Tree Updates -- Dynamic Resource Configuration & Management for Distributed Information Fusion in Maritime Surveillance -- UML-B: A Plug-in for the Event-B Tool Set -- BART: A Tool for Automatic Refinement -- Model Checking Event-B by Encoding into Alloy -- A Roadmap for the Rodin Toolset -- Exploiting the ASM Method for Validation & Verification of Embedded Systems -- Tool Support for the Circus Refinement Calculus -- Separation of Z Operations -- BSmart: A Tool for the Development of Java Card Applications with the B Method -- From ABZ to Cryptography -- Using ASM to Achieve Executability within a Family of DSL -- Using Satisfiability Modulo Theories to Analyze Abstract State Machines (Abstract) -- Formal Verification of ASM Models Using TLA?+? -- DIR 41 Case Study -- FDIR Architectures for Autonomous Spacecraft: Specification and Assessment with Event-B -- Object Modelling in the SystemB Industrial Project -- 6. VSR Day -- Splitting Atoms with Rely/Guarantee Conditions Coupled with Data Reification -- ABZ2008 VSR-Net Workshop. |
| Record Nr. | UNINA-9910483369103321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2008 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Advances in Social Computing [[electronic resource] ] : Third International Conference on Social Computing, Behavioral Modeling, and Prediction, SBP 2010, Bethesda, MD, USA, March 30-31, 2010, Proceedings / / edited by Sun-Ki Chai, John Salerno, Patricia L. Mabry
| Advances in Social Computing [[electronic resource] ] : Third International Conference on Social Computing, Behavioral Modeling, and Prediction, SBP 2010, Bethesda, MD, USA, March 30-31, 2010, Proceedings / / edited by Sun-Ki Chai, John Salerno, Patricia L. Mabry |
| Edizione | [1st ed. 2010.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 |
| Descrizione fisica | 1 online resource (XV, 426 p. 126 illus.) |
| Disciplina | 006.7019 |
| Collana | Information Systems and Applications, incl. Internet/Web, and HCI |
| Soggetto topico |
Computers and civilization
Computer communication systems Application software Management information systems Computer science Data mining Computers and Society Computer Communication Networks Computer Appl. in Social and Behavioral Sciences Management of Computing and Information Systems Data Mining and Knowledge Discovery Information Systems Applications (incl. Internet) |
| Soggetto genere / forma | Kongress |
| ISBN |
1-280-38590-1
9786613563828 3-642-12079-2 |
| Classificazione |
004300330
54.10 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Beyond Degree Distributions: Local to Global Structure of Social Contact Graphs -- Endogenous Market-Clearing Prices and Reference Point Adaptation -- Modeling Effect of Leaders in Ethno-Religious Conflicts -- Calibrating Subjective Probabilities Using Hierarchical Bayesian Models -- State-Dependent Risk Preferences in Evolutionary Games -- Social Learning and Cumulative Innovations in a Networked Group -- Understanding Segregation Processes -- Social Factors in Creating an Integrated Capability for Health System Modeling and Simulation -- A System Dynamics Approach to Modeling the Sensitivity of Inappropriate Emergency Department Utilization -- Using Social Network Analysis for Spam Detection -- Literature Search through Mixed-Membership Community Discovery -- Predictability and Prediction for an Experimental Cultural Market -- Macroeconomic Analysis of Universal Coverage in the U.S. -- Projecting Sexual and Injecting HIV Risks into Future Outcomes with Agent-Based Modeling -- Cultural Consensus Theory: Aggregating Continuous Responses in a Finite Interval -- Information Overload and Viral Marketing: Countermeasures and Strategies -- Using Model Replication to Improve the Reliability of Agent-Based Models -- Multiscale Comparison of Three-Dimensional Trajectories Based on the Curvature Maxima and Its Application to Medicine -- A Knowledge Collaboration Network Model across Disciplines -- Behavioral Analyses of Information Diffusion Models by Observed Data of Social Network -- Developing Social Networks for Artificial Societies from Survey Data -- Understanding and Enabling Online Social Networks to Support Healthy Behaviors -- A Dynamical Systems Model for Understanding Behavioral Interventions for Weight Loss -- COLBERT: A Scoring Based Graphical Model for Expert Identification -- An Agent-Based Model for Studying Child Maltreatment and Child Maltreatment Prevention -- Gryphon: A Hybrid Agent-Based Modeling and Simulation Platform for Infectious Diseases -- A Risk Factor Analysis of West Nile Virus: Extraction of Relationships from a Neural-Network Model -- Coevolution of Epidemics, Social Networks, and Individual Behavior: A Case Study -- User Generated Content Consumption and Social Networking in Knowledge-Sharing OSNs -- Where Are the Academic Jobs? Interactive Exploration of Job Advertisements in Geospatial and Topical Space -- Assessing Group Interaction with Social Language Network Analysis -- Analyzing and Tracking Weblog Communities Using Discriminative Collection Representatives -- Assortativity Patterns in Multi-dimensional Inter-organizational Networks: A Case Study of the Humanitarian Relief Sector -- Deconstructing Interaction Dynamics in Knowledge Sharing Communities -- Workings of Collective Intelligence within Open Source Communities -- Manipulation as a Security Mechanism in Sensor Networks -- Modeling the Impact of Motivation, Personality, and Emotion on Social Behavior -- Expressing Effects-Based Outcomes from Patterns of Emergent Population Behaviors -- PGT: A Statistical Approach to Prediction and Mechanism Design -- Developing Cognitive Models for Social Simulation from Survey Data -- Dynamic Creation of Social Networks for Syndromic Surveillance Using Information Fusion -- Calibrating Bayesian Network Representations of Social-Behavioral Models -- Social Network Data and Practices: The Case of Friendfeed -- Predictability in an ’Unpredictable’ Artificial Cultural Market -- Improving an Agent-Based Model by Using Interdisciplinary Approaches for Analyzing Structural Change in Agriculture -- Exploring the Human Fabric through an Analyst’s Eyes -- Mitigating Issues Related to the Modeling of Insurgent Recruitment -- An Application of Epidemiological Modeling to Information Diffusion -- A Social Network Analysis Approach to Detecting Suspicious Online Financial Activities -- Opponent Classification in Poker -- Convergence of Influential Bloggers for Topic Discovery in the Blogosphere -- Sentiment Propagation in Social Networks: A Case Study in LiveJournal -- Iranians and Their Pride: Modalities of Political Sovereignty. |
| Record Nr. | UNISA-996465294903316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Advances in Social Computing [[electronic resource] ] : Third International Conference on Social Computing, Behavioral Modeling, and Prediction, SBP 2010, Bethesda, MD, USA, March 30-31, 2010, Proceedings / / edited by Sun-Ki Chai, John Salerno, Patricia L. Mabry
| Advances in Social Computing [[electronic resource] ] : Third International Conference on Social Computing, Behavioral Modeling, and Prediction, SBP 2010, Bethesda, MD, USA, March 30-31, 2010, Proceedings / / edited by Sun-Ki Chai, John Salerno, Patricia L. Mabry |
| Edizione | [1st ed. 2010.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 |
| Descrizione fisica | 1 online resource (XV, 426 p. 126 illus.) |
| Disciplina | 006.7019 |
| Collana | Information Systems and Applications, incl. Internet/Web, and HCI |
| Soggetto topico |
Computers and civilization
Computer communication systems Application software Management information systems Computer science Data mining Computers and Society Computer Communication Networks Computer Appl. in Social and Behavioral Sciences Management of Computing and Information Systems Data Mining and Knowledge Discovery Information Systems Applications (incl. Internet) |
| Soggetto genere / forma | Kongress |
| ISBN |
1-280-38590-1
9786613563828 3-642-12079-2 |
| Classificazione |
004300330
54.10 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Beyond Degree Distributions: Local to Global Structure of Social Contact Graphs -- Endogenous Market-Clearing Prices and Reference Point Adaptation -- Modeling Effect of Leaders in Ethno-Religious Conflicts -- Calibrating Subjective Probabilities Using Hierarchical Bayesian Models -- State-Dependent Risk Preferences in Evolutionary Games -- Social Learning and Cumulative Innovations in a Networked Group -- Understanding Segregation Processes -- Social Factors in Creating an Integrated Capability for Health System Modeling and Simulation -- A System Dynamics Approach to Modeling the Sensitivity of Inappropriate Emergency Department Utilization -- Using Social Network Analysis for Spam Detection -- Literature Search through Mixed-Membership Community Discovery -- Predictability and Prediction for an Experimental Cultural Market -- Macroeconomic Analysis of Universal Coverage in the U.S. -- Projecting Sexual and Injecting HIV Risks into Future Outcomes with Agent-Based Modeling -- Cultural Consensus Theory: Aggregating Continuous Responses in a Finite Interval -- Information Overload and Viral Marketing: Countermeasures and Strategies -- Using Model Replication to Improve the Reliability of Agent-Based Models -- Multiscale Comparison of Three-Dimensional Trajectories Based on the Curvature Maxima and Its Application to Medicine -- A Knowledge Collaboration Network Model across Disciplines -- Behavioral Analyses of Information Diffusion Models by Observed Data of Social Network -- Developing Social Networks for Artificial Societies from Survey Data -- Understanding and Enabling Online Social Networks to Support Healthy Behaviors -- A Dynamical Systems Model for Understanding Behavioral Interventions for Weight Loss -- COLBERT: A Scoring Based Graphical Model for Expert Identification -- An Agent-Based Model for Studying Child Maltreatment and Child Maltreatment Prevention -- Gryphon: A Hybrid Agent-Based Modeling and Simulation Platform for Infectious Diseases -- A Risk Factor Analysis of West Nile Virus: Extraction of Relationships from a Neural-Network Model -- Coevolution of Epidemics, Social Networks, and Individual Behavior: A Case Study -- User Generated Content Consumption and Social Networking in Knowledge-Sharing OSNs -- Where Are the Academic Jobs? Interactive Exploration of Job Advertisements in Geospatial and Topical Space -- Assessing Group Interaction with Social Language Network Analysis -- Analyzing and Tracking Weblog Communities Using Discriminative Collection Representatives -- Assortativity Patterns in Multi-dimensional Inter-organizational Networks: A Case Study of the Humanitarian Relief Sector -- Deconstructing Interaction Dynamics in Knowledge Sharing Communities -- Workings of Collective Intelligence within Open Source Communities -- Manipulation as a Security Mechanism in Sensor Networks -- Modeling the Impact of Motivation, Personality, and Emotion on Social Behavior -- Expressing Effects-Based Outcomes from Patterns of Emergent Population Behaviors -- PGT: A Statistical Approach to Prediction and Mechanism Design -- Developing Cognitive Models for Social Simulation from Survey Data -- Dynamic Creation of Social Networks for Syndromic Surveillance Using Information Fusion -- Calibrating Bayesian Network Representations of Social-Behavioral Models -- Social Network Data and Practices: The Case of Friendfeed -- Predictability in an ’Unpredictable’ Artificial Cultural Market -- Improving an Agent-Based Model by Using Interdisciplinary Approaches for Analyzing Structural Change in Agriculture -- Exploring the Human Fabric through an Analyst’s Eyes -- Mitigating Issues Related to the Modeling of Insurgent Recruitment -- An Application of Epidemiological Modeling to Information Diffusion -- A Social Network Analysis Approach to Detecting Suspicious Online Financial Activities -- Opponent Classification in Poker -- Convergence of Influential Bloggers for Topic Discovery in the Blogosphere -- Sentiment Propagation in Social Networks: A Case Study in LiveJournal -- Iranians and Their Pride: Modalities of Political Sovereignty. |
| Record Nr. | UNINA-9910483689703321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
The Art of Error Correcting Coding [[electronic resource]]
| The Art of Error Correcting Coding [[electronic resource]] |
| Autore | Morelos-Zaragoza Robert H |
| Edizione | [2nd ed.] |
| Pubbl/distr/stampa | Hoboken, : Wiley, 2006 |
| Descrizione fisica | 1 online resource (279 p.) |
| Disciplina |
621.3822
621.38220151 |
| Soggetto topico |
Computer algorithms
Error-correcting codes (Information theory) Mathematics Electrical & Computer Engineering Telecommunications Algebra Engineering & Applied Sciences Physical Sciences & Mathematics |
| Soggetto genere / forma | Electronic books. |
| ISBN |
1-280-51916-9
9786610519163 0-470-03570-6 0-470-03569-2 |
| Classificazione | 54.10 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
The Art of Error Correcting Coding; Contents; Preface; Foreword; The ECC web site; 1 Introduction; 1.1 Error correcting coding: Basic concepts; 1.1.1 Block codes and convolutional codes; 1.1.2 Hamming distance, Hamming spheres and error correcting capability; 1.2 Linear block codes; 1.2.1 Generator and parity-check matrices; 1.2.2 The weight is the distance; 1.3 Encoding and decoding of linear block codes; 1.3.1 Encoding with G and H; 1.3.2 Standard array decoding; 1.3.3 Hamming spheres, decoding regions and the standard array; 1.4 Weight distribution and error performance
1.4.1 Weight distribution and undetected error probability over a BSC1.4.2 Performance bounds over BSC, AWGN and fading channels; 1.5 General structure of a hard-decision decoder of linear codes; Problems; 2 Hamming, Golay and Reed-Muller codes; 2.1 Hamming codes; 2.1.1 Encoding and decoding procedures; 2.2 The binary Golay code; 2.2.1 Encoding; 2.2.2 Decoding; 2.2.3 Arithmetic decoding of the extended (24, 12, 8) Golay code; 2.3 Binary Reed-Muller codes; 2.3.1 Boolean polynomials and RM codes; 2.3.2 Finite geometries and majority-logic decoding; Problems; 3 Binary cyclic codes and BCH codes 3.1 Binary cyclic codes3.1.1 Generator and parity-check polynomials; 3.1.2 The generator polynomial; 3.1.3 Encoding and decoding of binary cyclic codes; 3.1.4 The parity-check polynomial; 3.1.5 Shortened cyclic codes and CRC codes; 3.1.6 Fire codes; 3.2 General decoding of cyclic codes; 3.2.1 GF(2m) arithmetic; 3.3 Binary BCH codes; 3.3.1 BCH bound; 3.4 Polynomial codes; 3.5 Decoding of binary BCH codes; 3.5.1 General decoding algorithm for BCH codes; 3.5.2 The Berlekamp-Massey algorithm (BMA); 3.5.3 PGZ decoder; 3.5.4 Euclidean algorithm; 3.5.5 Chien search and error correction 3.5.6 Errors-and-erasures decoding3.6 Weight distribution and performance bounds; 3.6.1 Error performance evaluation; Problems; 4 Nonbinary BCH codes: Reed-Solomon codes; 4.1 RS codes as polynomial codes; 4.2 From binary BCH to RS codes; 4.3 Decoding RS codes; 4.3.1 Remarks on decoding algorithms; 4.3.2 Errors-and-erasures decoding; 4.4 Weight distribution; Problems; 5 Binary convolutional codes; 5.1 Basic structure; 5.1.1 Recursive systematic convolutional codes; 5.1.2 Free distance; 5.2 Connections with block codes; 5.2.1 Zero-tail construction; 5.2.2 Direct-truncation construction 5.2.3 Tail-biting construction5.2.4 Weight distributions; 5.3 Weight enumeration; 5.4 Performance bounds; 5.5 Decoding: Viterbi algorithm with Hamming metrics; 5.5.1 Maximum-likelihood decoding and metrics; 5.5.2 The Viterbi algorithm; 5.5.3 Implementation issues; 5.6 Punctured convolutional codes; 5.6.1 Implementation issues related to punctured convolutional codes; 5.6.2 RCPC codes; Problems; 6 Modifying and combining codes; 6.1 Modifying codes; 6.1.1 Shortening; 6.1.2 Extending; 6.1.3 Puncturing; 6.1.4 Augmenting, expurgating and lengthening; 6.2 Combining codes 6.2.1 Time sharing of codes |
| Record Nr. | UNINA-9910143714103321 |
Morelos-Zaragoza Robert H
|
||
| Hoboken, : Wiley, 2006 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
The Art of Error Correcting Coding [[electronic resource]]
| The Art of Error Correcting Coding [[electronic resource]] |
| Autore | Morelos-Zaragoza Robert H |
| Edizione | [2nd ed.] |
| Pubbl/distr/stampa | Hoboken, : Wiley, 2006 |
| Descrizione fisica | 1 online resource (279 p.) |
| Disciplina |
621.3822
621.38220151 |
| Soggetto topico |
Computer algorithms
Error-correcting codes (Information theory) Mathematics Electrical & Computer Engineering Telecommunications Algebra Engineering & Applied Sciences Physical Sciences & Mathematics |
| ISBN |
1-280-51916-9
9786610519163 0-470-03570-6 0-470-03569-2 |
| Classificazione | 54.10 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
The Art of Error Correcting Coding; Contents; Preface; Foreword; The ECC web site; 1 Introduction; 1.1 Error correcting coding: Basic concepts; 1.1.1 Block codes and convolutional codes; 1.1.2 Hamming distance, Hamming spheres and error correcting capability; 1.2 Linear block codes; 1.2.1 Generator and parity-check matrices; 1.2.2 The weight is the distance; 1.3 Encoding and decoding of linear block codes; 1.3.1 Encoding with G and H; 1.3.2 Standard array decoding; 1.3.3 Hamming spheres, decoding regions and the standard array; 1.4 Weight distribution and error performance
1.4.1 Weight distribution and undetected error probability over a BSC1.4.2 Performance bounds over BSC, AWGN and fading channels; 1.5 General structure of a hard-decision decoder of linear codes; Problems; 2 Hamming, Golay and Reed-Muller codes; 2.1 Hamming codes; 2.1.1 Encoding and decoding procedures; 2.2 The binary Golay code; 2.2.1 Encoding; 2.2.2 Decoding; 2.2.3 Arithmetic decoding of the extended (24, 12, 8) Golay code; 2.3 Binary Reed-Muller codes; 2.3.1 Boolean polynomials and RM codes; 2.3.2 Finite geometries and majority-logic decoding; Problems; 3 Binary cyclic codes and BCH codes 3.1 Binary cyclic codes3.1.1 Generator and parity-check polynomials; 3.1.2 The generator polynomial; 3.1.3 Encoding and decoding of binary cyclic codes; 3.1.4 The parity-check polynomial; 3.1.5 Shortened cyclic codes and CRC codes; 3.1.6 Fire codes; 3.2 General decoding of cyclic codes; 3.2.1 GF(2m) arithmetic; 3.3 Binary BCH codes; 3.3.1 BCH bound; 3.4 Polynomial codes; 3.5 Decoding of binary BCH codes; 3.5.1 General decoding algorithm for BCH codes; 3.5.2 The Berlekamp-Massey algorithm (BMA); 3.5.3 PGZ decoder; 3.5.4 Euclidean algorithm; 3.5.5 Chien search and error correction 3.5.6 Errors-and-erasures decoding3.6 Weight distribution and performance bounds; 3.6.1 Error performance evaluation; Problems; 4 Nonbinary BCH codes: Reed-Solomon codes; 4.1 RS codes as polynomial codes; 4.2 From binary BCH to RS codes; 4.3 Decoding RS codes; 4.3.1 Remarks on decoding algorithms; 4.3.2 Errors-and-erasures decoding; 4.4 Weight distribution; Problems; 5 Binary convolutional codes; 5.1 Basic structure; 5.1.1 Recursive systematic convolutional codes; 5.1.2 Free distance; 5.2 Connections with block codes; 5.2.1 Zero-tail construction; 5.2.2 Direct-truncation construction 5.2.3 Tail-biting construction5.2.4 Weight distributions; 5.3 Weight enumeration; 5.4 Performance bounds; 5.5 Decoding: Viterbi algorithm with Hamming metrics; 5.5.1 Maximum-likelihood decoding and metrics; 5.5.2 The Viterbi algorithm; 5.5.3 Implementation issues; 5.6 Punctured convolutional codes; 5.6.1 Implementation issues related to punctured convolutional codes; 5.6.2 RCPC codes; Problems; 6 Modifying and combining codes; 6.1 Modifying codes; 6.1.1 Shortening; 6.1.2 Extending; 6.1.3 Puncturing; 6.1.4 Augmenting, expurgating and lengthening; 6.2 Combining codes 6.2.1 Time sharing of codes |
| Record Nr. | UNINA-9910831055703321 |
|
Morelos-Zaragoza Robert H
|
||
| Hoboken, : Wiley, 2006 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
The Art of Error Correcting Coding [[electronic resource]]
| The Art of Error Correcting Coding [[electronic resource]] |
| Autore | Morelos-Zaragoza Robert H |
| Edizione | [2nd ed.] |
| Pubbl/distr/stampa | Hoboken, : Wiley, 2006 |
| Descrizione fisica | 1 online resource (279 p.) |
| Disciplina |
621.3822
621.38220151 |
| Soggetto topico |
Computer algorithms
Error-correcting codes (Information theory) Mathematics Electrical & Computer Engineering Telecommunications Algebra Engineering & Applied Sciences Physical Sciences & Mathematics |
| ISBN |
1-280-51916-9
9786610519163 0-470-03570-6 0-470-03569-2 |
| Classificazione | 54.10 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
The Art of Error Correcting Coding; Contents; Preface; Foreword; The ECC web site; 1 Introduction; 1.1 Error correcting coding: Basic concepts; 1.1.1 Block codes and convolutional codes; 1.1.2 Hamming distance, Hamming spheres and error correcting capability; 1.2 Linear block codes; 1.2.1 Generator and parity-check matrices; 1.2.2 The weight is the distance; 1.3 Encoding and decoding of linear block codes; 1.3.1 Encoding with G and H; 1.3.2 Standard array decoding; 1.3.3 Hamming spheres, decoding regions and the standard array; 1.4 Weight distribution and error performance
1.4.1 Weight distribution and undetected error probability over a BSC1.4.2 Performance bounds over BSC, AWGN and fading channels; 1.5 General structure of a hard-decision decoder of linear codes; Problems; 2 Hamming, Golay and Reed-Muller codes; 2.1 Hamming codes; 2.1.1 Encoding and decoding procedures; 2.2 The binary Golay code; 2.2.1 Encoding; 2.2.2 Decoding; 2.2.3 Arithmetic decoding of the extended (24, 12, 8) Golay code; 2.3 Binary Reed-Muller codes; 2.3.1 Boolean polynomials and RM codes; 2.3.2 Finite geometries and majority-logic decoding; Problems; 3 Binary cyclic codes and BCH codes 3.1 Binary cyclic codes3.1.1 Generator and parity-check polynomials; 3.1.2 The generator polynomial; 3.1.3 Encoding and decoding of binary cyclic codes; 3.1.4 The parity-check polynomial; 3.1.5 Shortened cyclic codes and CRC codes; 3.1.6 Fire codes; 3.2 General decoding of cyclic codes; 3.2.1 GF(2m) arithmetic; 3.3 Binary BCH codes; 3.3.1 BCH bound; 3.4 Polynomial codes; 3.5 Decoding of binary BCH codes; 3.5.1 General decoding algorithm for BCH codes; 3.5.2 The Berlekamp-Massey algorithm (BMA); 3.5.3 PGZ decoder; 3.5.4 Euclidean algorithm; 3.5.5 Chien search and error correction 3.5.6 Errors-and-erasures decoding3.6 Weight distribution and performance bounds; 3.6.1 Error performance evaluation; Problems; 4 Nonbinary BCH codes: Reed-Solomon codes; 4.1 RS codes as polynomial codes; 4.2 From binary BCH to RS codes; 4.3 Decoding RS codes; 4.3.1 Remarks on decoding algorithms; 4.3.2 Errors-and-erasures decoding; 4.4 Weight distribution; Problems; 5 Binary convolutional codes; 5.1 Basic structure; 5.1.1 Recursive systematic convolutional codes; 5.1.2 Free distance; 5.2 Connections with block codes; 5.2.1 Zero-tail construction; 5.2.2 Direct-truncation construction 5.2.3 Tail-biting construction5.2.4 Weight distributions; 5.3 Weight enumeration; 5.4 Performance bounds; 5.5 Decoding: Viterbi algorithm with Hamming metrics; 5.5.1 Maximum-likelihood decoding and metrics; 5.5.2 The Viterbi algorithm; 5.5.3 Implementation issues; 5.6 Punctured convolutional codes; 5.6.1 Implementation issues related to punctured convolutional codes; 5.6.2 RCPC codes; Problems; 6 Modifying and combining codes; 6.1 Modifying codes; 6.1.1 Shortening; 6.1.2 Extending; 6.1.3 Puncturing; 6.1.4 Augmenting, expurgating and lengthening; 6.2 Combining codes 6.2.1 Time sharing of codes |
| Record Nr. | UNINA-9910841302103321 |
|
Morelos-Zaragoza Robert H
|
||
| Hoboken, : Wiley, 2006 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Combinatorial and Algorithmic Aspects of Networking [[electronic resource] ] : First Workshop on Combinatorial and Algorithmic Aspects of Networking, CAAN 2004, Banff, Alberta, Canada, August 5-7, 2004, Revised Selected Papers / / edited by Alejandro López-Ortiz, Angèle Hamel
| Combinatorial and Algorithmic Aspects of Networking [[electronic resource] ] : First Workshop on Combinatorial and Algorithmic Aspects of Networking, CAAN 2004, Banff, Alberta, Canada, August 5-7, 2004, Revised Selected Papers / / edited by Alejandro López-Ortiz, Angèle Hamel |
| Edizione | [1st ed. 2005.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 |
| Descrizione fisica | 1 online resource (VIII, 205 p.) |
| Disciplina | 004.6 |
| Collana | Computer Communication Networks and Telecommunications |
| Soggetto topico |
Application software
Computer organization Computer communication systems Algorithms Game theory Information Systems Applications (incl. Internet) Computer Systems Organization and Communication Networks Computer Communication Networks Algorithm Analysis and Problem Complexity Game Theory, Economics, Social and Behav. Sciences |
| Classificazione | 54.10 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Workshop Proceedings -- Aggregating Correlated Data in Sensor Networks -- The Efficiency of Optimal Taxes -- Congestion Games, Load Balancing, and Price of Anarchy -- Bandwidth Allocation in Networks: A Single Dual Update Subroutine for Multiple Objectives -- Limits and Power Laws of Models for the Web Graph and Other Networked Information Spaces -- Cuts and Disjoint Paths in the Valley-Free Path Model of Internet BGP Routing -- A Distributed Algorithm to Find Hamiltonian Cycles in Random Graphs -- String Matching on the Internet -- k-Robust Single-Message Transmission -- Stable Local Scheduling Algorithms With Low Complexity and Without Speedup for a Network of Input-Buffered Switches -- The External Network Problem with Edge- or Arc-Connectivity Requirements -- Bipartite Graphs as Models of Complex Networks -- Traceroute-Like Exploration of Unknown Networks: A Statistical Analysis -- Invited Talk: The Many Wonders of the Web Graph -- Survey Articles -- Algorithmic Foundations of the Internet:Foreword -- A Survey of Models of the Web Graph -- You Can Get There from Here: Routing in the Internet -- Search Engines and Web Information Retrieval -- Algorithmic Foundations of the Internet: Roundup. |
| Record Nr. | UNISA-996465781703316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Combinatorial and Algorithmic Aspects of Networking [[electronic resource] ] : First Workshop on Combinatorial and Algorithmic Aspects of Networking, CAAN 2004, Banff, Alberta, Canada, August 5-7, 2004, Revised Selected Papers / / edited by Alejandro López-Ortiz, Angèle Hamel
| Combinatorial and Algorithmic Aspects of Networking [[electronic resource] ] : First Workshop on Combinatorial and Algorithmic Aspects of Networking, CAAN 2004, Banff, Alberta, Canada, August 5-7, 2004, Revised Selected Papers / / edited by Alejandro López-Ortiz, Angèle Hamel |
| Edizione | [1st ed. 2005.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 |
| Descrizione fisica | 1 online resource (VIII, 205 p.) |
| Disciplina | 004.6 |
| Collana | Computer Communication Networks and Telecommunications |
| Soggetto topico |
Application software
Computer organization Computer communication systems Algorithms Game theory Information Systems Applications (incl. Internet) Computer Systems Organization and Communication Networks Computer Communication Networks Algorithm Analysis and Problem Complexity Game Theory, Economics, Social and Behav. Sciences |
| Classificazione | 54.10 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Workshop Proceedings -- Aggregating Correlated Data in Sensor Networks -- The Efficiency of Optimal Taxes -- Congestion Games, Load Balancing, and Price of Anarchy -- Bandwidth Allocation in Networks: A Single Dual Update Subroutine for Multiple Objectives -- Limits and Power Laws of Models for the Web Graph and Other Networked Information Spaces -- Cuts and Disjoint Paths in the Valley-Free Path Model of Internet BGP Routing -- A Distributed Algorithm to Find Hamiltonian Cycles in Random Graphs -- String Matching on the Internet -- k-Robust Single-Message Transmission -- Stable Local Scheduling Algorithms With Low Complexity and Without Speedup for a Network of Input-Buffered Switches -- The External Network Problem with Edge- or Arc-Connectivity Requirements -- Bipartite Graphs as Models of Complex Networks -- Traceroute-Like Exploration of Unknown Networks: A Statistical Analysis -- Invited Talk: The Many Wonders of the Web Graph -- Survey Articles -- Algorithmic Foundations of the Internet:Foreword -- A Survey of Models of the Web Graph -- You Can Get There from Here: Routing in the Internet -- Search Engines and Web Information Retrieval -- Algorithmic Foundations of the Internet: Roundup. |
| Record Nr. | UNINA-9910483584203321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Evolutionary Computation in Combinatorial Optimization [[electronic resource] ] : 10th European Conference, EvoCOP 2010, Istanbul, Turkey, April 7-9, 2010, Proceedings / / edited by Peter I. Cowling, Peter Merz
| Evolutionary Computation in Combinatorial Optimization [[electronic resource] ] : 10th European Conference, EvoCOP 2010, Istanbul, Turkey, April 7-9, 2010, Proceedings / / edited by Peter I. Cowling, Peter Merz |
| Edizione | [1st ed. 2010.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 |
| Descrizione fisica | 1 online resource (XII, 290 p. 67 illus.) |
| Disciplina | 005.1 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Algorithms
Computer science Pattern recognition systems Computer vision Computer science—Mathematics Discrete mathematics Theory of Computation Automated Pattern Recognition Computer Vision Discrete Mathematics in Computer Science |
| ISBN |
1-280-38599-5
9786613563910 3-642-12139-X |
| Classificazione |
54.10
31.12 31.76 30.10 DAT 718f MAT 913f MAT 919f SS 4800 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Dual Sequence Simulated Annealing with Round-Robin Approach for University Course Timetabling -- Heuristic and Exact Methods for the Discrete (r |p)-Centroid Problem -- On the Benefit of Sub-optimality within the Divide-and-Evolve Scheme -- A Real-Integer-Discrete-Coded Differential Evolution Algorithm: A Preliminary Study -- Fitness Distance Correlation and Search Space Analysis for Permutation Based Problems -- A Genetic Algorithm to Minimize Chromatic Entropy -- Evolutionary Approaches to the Three-dimensional Multi-pipe Routing Problem: A Comparative Study Using Direct Encodings -- A Tabu Search Heuristic for Point Coverage, Sink Location, and Data Routing in Wireless Sensor Networks -- Ant Colony Optimization for Tree Decompositions -- Iterated Local Search with Path Relinking for Solving Parallel Machines Scheduling Problem with Resource-Assignable Sequence Dependent Setup Times -- Enhancing a Tabu Algorithm for Approximate Graph Matching by Using Similarity Measures -- Characterizing Fault-Tolerance of Genetic Algorithms in Desktop Grid Systems -- The Office-Space-Allocation Problem in Strongly Hierarchized Organizations -- A Study of Memetic Search with Multi-parent Combination for UBQP -- Bicriteria Scheduling Problem on the Two-Machine Flowshop Using Simulated Annealing -- A Memetic Algorithm for Workforce Distribution in Dynamic Multi-Skill Call Centres -- Geometric Generalization of the Nelder-Mead Algorithm -- Guided Ejection Search for the Pickup and Delivery Problem with Time Windows -- An Evolutionary Algorithm Guided by Preferences Elicited According to the ELECTRE TRI Method Principles -- Multilevel Variable Neighborhood Search for Periodic Routing Problems -- Enhancing Genetic Algorithms by a Trie-Based Complete Solution Archive -- A New Primal-Dual Genetic Algorithm: Case Study for the Winner Determination Problem -- Local Search Algorithms on Graphics Processing Units. A Case Study: The Permutation Perceptron Problem -- Efficient Cycle Search for the Minimum Routing Cost Spanning Tree Problem. |
| Record Nr. | UNISA-996465302503316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
