Advances in Intelligent Systems and Interactive Applications : Proceedings of the 2nd International Conference on Intelligent and Interactive Systems and Applications (IISA2017) / / edited by Fatos Xhafa, Srikanta Patnaik, Albert Y. Zomaya |
Edizione | [1st ed. 2018.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
Descrizione fisica | 1 online resource (XVIII, 895 p. 407 illus.) |
Disciplina | 006.3 |
Collana | Advances in Intelligent Systems and Computing |
Soggetto topico |
Computational intelligence
Artificial intelligence Computational Intelligence Artificial Intelligence |
ISBN | 3-319-69096-5 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | A PROUD methodology for TOGAF business architecture modeling -- Application of SVM Based on Information Entropy in Intrusion Detection -- Research of Music Recommendation System Based on User Behavior Analysis and Word2vec User Emotion Extraction.-Exploration of Information Security Education of University Students -- Part 4. Mobile and Wireless Comm. -- Research on the path monitoring capability of wireless multimedia sensor network -- Preopen set and preclosed set on intuitive fuzzy topological spaces -- Neural Network method for Compressed Sensing -- A Survey on Microwave Surface Emissivity Retrieval Methods -- Design of Multi-mode Switching Damping Shock Absorber for Active Suspension and Ride Comfort Test -- Research on the System of Patrol Unmanned Aerial Vehicle (UAV) Docking on Charging Pile based on Autonomous Identification and Tracking -- On Data Analysis in Forest Fire Induced Breakdown of the Transmission Line -- Ultrasonic Guided Wave Testing Method of Gun Barrel Crack Defects Based on L (0, 2) Mode -- Target re-identification based on dictionary learning -- Research on High Impedance Fault Detection Method of Distribution Network Based on S Transform -- Research on the protocols of VPN -- Penetration Level Permission of Small Hydropower Station in Distributed Network -- Research on Smooth Switching Method of Micro-Grid Operation -- A new BDD algorithm for fault tree analysis -- A sparse nonlinear signal reconstruction algorithm in the wireless sensor network -- Chinese POS Tagging with Attention-based Long Short-Term Memory Network -- A New Weighted Decision Making Method for Accurate Sound Source Localization -- The efficiency factors of point-to-point wireless energy transfer system in a closed satellite cavity -- Personalized Point-of-Interest Recommendation in Location-Based Social Networks -- Verification of CAN-BUS Communication on robots based on xMAS -- Network Traffic Classification Using Machine Learning Algorithms -- Fault analysis and fault diagnosis method review on active distribution network -- Extensive Survey on Networked Wireless Control -- Part 5. Internet and Cloud Computing -- Research and Design of Smart Home System Based on Cloud Computing -- Website Structure Optimization Based on BS Matrix -- The Effects of Bank Employees' Information Security Awareness on Performance of Information Security Governance.-"A Comparative Study on Agglomeration Effects of the Central Cities of Three Urban Agglomerations in China.--- A Case Study of Producer Services" -- Part 6. Intelligent Systems -- A Dynamic Node’s Trust Level Detection Scheme for Intelligent Transportation System -- An application of Multi-Objective Genetic Algorithm based on Crossover Limited -- An Method for Extracting Objects in Physics Using Unit Semantic Model -- A novel matching technique for two-sided paper fragments reassembly -- An improved memetic algorithm with novel level comparison for constrained optimization -- FPGA based Real-time Processing Architecture for Recurrent Neural Network -- Publication Recommendations of Manuscripts Using Improved C4.5 Decision Tree Algorithm -- Design Replica Consistency Maintenance Policy for the Oil and Gas Pipeline Clouding SCADA Multiple Data Centers Storage System -- SPSS-based Research on Language Learning Strategy Use.-Study on intelligent monitoring of power transformer based on FPGA -- Mutual Fund Performance Analysis using Nature Inspired Optimization Techniques: A Critical Review -- Part 7. Others -- Synthesis Algorithm Based on the Pre-evaluation of Quantum Circuits for Linear Nearest Neighbor Architectures -- Study of an SIR epidemic disease model with special nonlinear incidence and computer simulation -- An Improvement Response Surface Method based on Weighted Regression for Reliability Analysis -- The Greedy Algorithm and its Performance Guarantees for Solving Maximization of Submodular Function -- Model of Evaluation on Quality of Graduates from Agricultural University Based on Factor Analysis -- Distributed Collaborative Control Model Based on Improved Contract Net -- K Distribution Clutter Modeling Based on Chebyshev Filter -- Influence of Liquid Film Thickness on Dynamic Property of Magnetic-Liquid Double Suspension Bearing -- Characteristics Analysis on Open-type Liquid Hydrostatic Guideway with Unequal Area Oil Pocket -- Influence of Liquid Film Thickness on Static Property of Magnetic-Liquid Double Suspension Bearing -- The Research on the Thinking of Large Data for Agricultural Products Market Consumption in Beijing -- The application of decision tree in workow -- Constructing and analysis of the state spaces of workflow process models -- Analysis on the causes of bad PCBA heavy tin -- Characteristics of solder paste and reflow process analysis.-Design and Implementation of ARM7 Instruction Set Based on GDB Framework -- Simulation and Research on the Rotor Flux Linkage Model of Asynchronous Motor -- Application of Fuzzy PID Control for Oil Temperature in Overvoltage Withstand Test -- Study on High Overload Characteristics of Ultrasonic Electric Actuator.-Design and analysis of resonator for the resonant accelerometer -- Analysis on Quality and Safety of Toys for Children —based on the survey data of Beijing. |
Record Nr. | UNINA-9910299870503321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Advances in Services Computing [[electronic resource] ] : 9th Asia-Pacific Services Computing Conference, APSCC 2015, Bangkok, Thailand, December 7-9, 2015, Proceedings / / edited by Lina Yao, Xia Xie, Qingchen Zhang, Laurence T. Yang, Albert Y. Zomaya, Hai Jin |
Edizione | [1st ed. 2015.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 |
Descrizione fisica | 1 online resource (XIV, 312 p. 109 illus. in color.) |
Disciplina | 004 |
Collana | Information Systems and Applications, incl. Internet/Web, and HCI |
Soggetto topico |
Application software
Artificial intelligence Information storage and retrieval Computer communication systems Database management Data mining Information Systems Applications (incl. Internet) Artificial Intelligence Information Storage and Retrieval Computer Communication Networks Database Management Data Mining and Knowledge Discovery |
ISBN | 3-319-26979-8 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-996466230603316 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Advances in Services Computing : 9th Asia-Pacific Services Computing Conference, APSCC 2015, Bangkok, Thailand, December 7-9, 2015, Proceedings / / edited by Lina Yao, Xia Xie, Qingchen Zhang, Laurence T. Yang, Albert Y. Zomaya, Hai Jin |
Edizione | [1st ed. 2015.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 |
Descrizione fisica | 1 online resource (XIV, 312 p. 109 illus. in color.) |
Disciplina | 004 |
Collana | Information Systems and Applications, incl. Internet/Web, and HCI |
Soggetto topico |
Application software
Artificial intelligence Information storage and retrieval Computer communication systems Database management Data mining Information Systems Applications (incl. Internet) Artificial Intelligence Information Storage and Retrieval Computer Communication Networks Database Management Data Mining and Knowledge Discovery |
ISBN | 3-319-26979-8 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910483675503321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Algorithms and Architectures for Parallel Processing [[electronic resource] ] : 15th International Conference, ICA3PP 2015, Zhangjiajie, China, November 18-20, 2015, Proceedings, Part II / / edited by Guojun Wang, Albert Zomaya, Gregorio Martinez, Kenli Li |
Edizione | [1st ed. 2015.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 |
Descrizione fisica | 1 online resource (LI, 737 p. 305 illus. in color.) |
Disciplina | 004 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Algorithms
Software engineering Computer networks Database management Software Engineering Computer Communication Networks Database Management |
ISBN | 3-319-27122-9 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Parallel and distributed architectures -- Distributed and network-based computing -- Internet of things and cyber-physical-social computing -- Big data and its applications -- Parallel and distributed algorithms -- Applications of parallel and distributed computing -- Service dependability and security in distributed and parallel systems -- Software systems and programming models -- Performance modeling and evaluation. |
Record Nr. | UNISA-996466232903316 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Algorithms and Architectures for Parallel Processing [[electronic resource] ] : ICA3PP International Workshops and Symposiums, Zhangjiajie, China, November 18-20, 2015, Proceedings / / edited by Guojin Wang, Albert Zomaya, Gregorio Martinez, Kenli Li |
Edizione | [1st ed. 2015.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 |
Descrizione fisica | 1 online resource (LIII, 851 p. 327 illus. in color.) |
Disciplina | 004.35 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Algorithms
Artificial intelligence Software engineering Application software Computer networks Electronic data processing—Management Artificial Intelligence Software Engineering Computer and Information Systems Applications Computer Communication Networks IT Operations |
ISBN | 3-319-27161-X |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Trust, security and privacy for Big Data -- Trust, security and privacy for emerging applications -- Network optimization and performance evaluation -- Sensor-cloud systems -- Security and privacy protection in computer and network Systems -- Dependability in sensor, cloud, and Big Data systems. . |
Record Nr. | UNISA-996466226303316 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Algorithms and Architectures for Parallel Processing : 15th International Conference, ICA3PP 2015, Zhangjiajie, China, November 18-20, 2015, Proceedings, Part II / / edited by Guojun Wang, Albert Zomaya, Gregorio Martinez, Kenli Li |
Edizione | [1st ed. 2015.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 |
Descrizione fisica | 1 online resource (LI, 737 p. 305 illus. in color.) |
Disciplina | 004 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Algorithms
Software engineering Computer networks Database management Software Engineering Computer Communication Networks Database Management |
ISBN | 3-319-27122-9 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Parallel and distributed architectures -- Distributed and network-based computing -- Internet of things and cyber-physical-social computing -- Big data and its applications -- Parallel and distributed algorithms -- Applications of parallel and distributed computing -- Service dependability and security in distributed and parallel systems -- Software systems and programming models -- Performance modeling and evaluation. |
Record Nr. | UNINA-9910483600403321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Algorithms and Architectures for Parallel Processing : ICA3PP International Workshops and Symposiums, Zhangjiajie, China, November 18-20, 2015, Proceedings / / edited by Guojin Wang, Albert Zomaya, Gregorio Martinez, Kenli Li |
Edizione | [1st ed. 2015.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 |
Descrizione fisica | 1 online resource (LIII, 851 p. 327 illus. in color.) |
Disciplina | 004.35 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Algorithms
Artificial intelligence Software engineering Application software Computer networks Electronic data processing—Management Artificial Intelligence Software Engineering Computer and Information Systems Applications Computer Communication Networks IT Operations |
ISBN | 3-319-27161-X |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Trust, security and privacy for Big Data -- Trust, security and privacy for emerging applications -- Network optimization and performance evaluation -- Sensor-cloud systems -- Security and privacy protection in computer and network Systems -- Dependability in sensor, cloud, and Big Data systems. . |
Record Nr. | UNINA-9910483991303321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Algorithms and Architectures for Parallel Processing [[electronic resource] ] : 12th International Conference, ICA3PP 2012, Fukuoka, Japan, September 4-7, 2012, Proceedings, Part II / / edited by Yang Xiang, Ivan Stojmenovic, Bernady O. Apduhan, Guojun Wang, Koji Nakano, Albert Y. Zomaya |
Edizione | [1st ed. 2012.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 |
Descrizione fisica | 1 online resource (XXIV, 331 p. 159 illus.) |
Disciplina | 005.1 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Algorithms
Artificial intelligence Software engineering Application software Computer networks Electronic data processing—Management Artificial Intelligence Software Engineering Computer and Information Systems Applications Computer Communication Networks IT Operations |
ISBN | 3-642-33065-7 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Analytical Modeling for Multi-transaction Bus on Distributed Systems -- Leveraging the Strengths of Transactional Memory While Maintaining System Performance for a Multiplayer Gaming -- Enhancing the Performance of a Distributed Mobile Computing Environment by Topology Construction -- Frame Error Rate Testing for High Speed Optical -- Maintaining Consistency in Software Transactional Memory through Dynamic Versioning Tuning -- Solving a 2-Covered Path Problem with Variable Radii for Wireless Sensor Networks -- Design of an Application-Dependent Static-Based Shared Memory Network -- Determining Quality of S-Boxes Using Pseudo Random Sequences Generated from Stream Ciphers -- Exploring Object-Level Parallelism on Chip Multi-processors -- The Hamiltonicity of WK-Recursive Pyramid -- Towards Multi-level Adaptation for Distributed Operating Systems and Applications -- FIDs Classifier for Artificial Intelligence and Its -- On Affirmative Adaptive Failure Detection -- A New Low Latency Parallel Turbo Decoder Employing Parallel Phase Decoding Method -- A Regular Group Quorum System of Degree A Note on Developing Optimal and Scalable Parallel Two-List Algorithms -- Small Business-Oriented Index Construction of Cloud Data -- High-Performance Matrix Multiply on a Massively Multithreaded Fiteng1000 Processor -- BIDE-Based Parallel Mining of Frequent Closed Sequences with MapReduce -- Efficient Task Scheduling for Hard Real-Time Tasks in Asymmetric Multicore Processors -- An Implementation of Parallel 2-D FFT Using Intel AVX Instructions on Multi-core Processors -- A Semantic Impact in Decentralized Resource Discovery Mechanism for Grid Computing Environments -- Design of n-Gram Based Dynamic Pre-fetching for DSM -- On Construction of Cloud IaaS for VM Live Migration Using KVM and OpenNebula -- Performance Evaluation of OpenMP and CUDA on Multicore -- Complexity of the Resource Allocation/Matching Problem with Weight Based Ceilings -- Wireless Sensor Network Internal Attacker Identification with Multiple Evidence by Dempster-Shafer Theory -- A Novel Feature Selection Scheme for Energy Efficient Wireless Sensor Networks -- A Comprehensive Survey of the Feature Extraction Methods in the EEG Research -- Development of a Smart e-Health Portal for Chronic Disease Management -- A Novel Approach to Protein Structure Prediction Using PCA Based Extreme Learning Machines and Multiple Kernels -- A Novel Approach to Guarantee Causal Message Ordering in Pre-planned Wireless Sensor Networks -- People Identification with RMS-Based Spatial Pattern of EEG Signal -- Gait Based Human Identity Recognition from Multi-view Surveillance Videos. |
Record Nr. | UNISA-996465477003316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Algorithms and Architectures for Parallel Processing [[electronic resource] ] : 12th International Conference, ICA3PP 2012, Fukuoka, Japan, September 4-7, 2012, Proceedings, Part I / / edited by Yang Xiang, Ivan Stojmenovic, Bernady O. Apduhan, Guojun Wang, Koji Nakano, Albert Y. Zomaya |
Edizione | [1st ed. 2012.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 |
Descrizione fisica | 1 online resource (XXI, 563 p. 241 illus.) |
Disciplina | 005.1 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Algorithms
Artificial intelligence Software engineering Application software Computer networks Electronic data processing—Management Artificial Intelligence Software Engineering Computer and Information Systems Applications Computer Communication Networks IT Operations |
ISBN | 3-642-33078-9 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Accelerating the Dynamic Programming for the Optimal Polygon Triangulation on the -- Security Computing for the Resiliency of Protecting from Internal Attacks in Distributed Wireless Sensor -- Parallel Algorithm for Nonlinear Network Optimization Problems and Real-Time -- Optimization of a Short-Range Proximity Effect Correction Algorithm in E-Beam Lithography Using GPGPUs -- Exploiting Multi-grain Parallelism for Efficient Selective Sweep -- Vectorized Algorithms for Quadtree Construction and -- A Multi-level Monitoring Framework for Stream-Based Coordination Programs -- An Optimal Parallel Prefix-Sums Algorithm on the Memory Machine Models for -- A Multi-GPU Programming Library for Real-Time -- Optimal Linear Programming Solutions for Multiprocessor Scheduling with Communication Delays -- A Bitstream Relocation Technique to Improve Flexibility of Partial -- A Hybrid Heuristic-Genetic Algorithm for Task Scheduling in Heterogeneous Multi-core -- Efficient Task Assignment on Heterogeneous Multicore Systems Considering Communication -- Budget Constrained Resource Allocation for Non-deterministic Workflows on an IaaS Cloud -- On a Wideband Fast Fourier Transform Using Piecewise Linear Approximations: Application to a Radio Telescope -- A Verified Library of Algorithmic Skeletons on Evenly Distributed -- Performance Measurement of Parallel Vlasov Code for Space Plasma on Various Scalar-Type Supercomputer -- Ultrasound Simulation on the Cell Broadband Engine Using the Westervelt -- Study on the Data Flow Balance in NFS Server with -- Performance, Scalability, and Semantics of Concurrent FIFO Queues -- Scalable Distributed Architecture for Media Transcoding -- GPU-Accelerated Restricted Boltzmann Machine for Collaborative Filtering -- STM Systems: Enforcing Strong Isolation between Transactions and Non-transactional -- A Dependency Aware Task Partitioning and Scheduling Algorithm for Hardware-Software Codesign on -- Power Efficiency Evaluation of Block Ciphers on GPU-Integrated Multicore Processor -- Experiments in Parallel Matrix Multiplication on Multi-core -- Fault Tolerance Logical Network Properties of Irregular -- Fault Recovery Technique for TMR Softcore Processor System Using Partial -- Non-Blocking Atomic Commitment in Asynchronous Distributed Systems with Faulty Processes -- On Modelling and Prediction of Total CPU Usage for Applications in MapReduce -- The Impact of Global Communication Latency at Extreme Scales on Krylov Methods -- Fast Parallel Algorithms for Blocked Dense Matrix Multiplication on Shared Memory Architectures -- Kernel Support for Fine-Grained Load Balancing in a Web Cluster Providing Streaming Service -- Overcoming the Scalability Limitations of Parallel Star Schema Data Warehouses -- Enhancing Service-Oriented Computing with Software -- An Insightful Program Performance Tuning Chain for GPU Computing.- Multi-core Fixed Priority DVS -- Comparing Checkpoint and Rollback Recovery Schemes in a Cluster System -- Causal Order Multicast Protocol Using Minimal Message History Information. |
Record Nr. | UNISA-996465501503316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Algorithms in computational molecular biology [[electronic resource] ] : techniques, approaches and applications / / edited by Mourad Elloumi, Albert Y. Zomaya |
Pubbl/distr/stampa | Hoboken, New Jersey : , : John Wiley & Sons, , 2011 |
Descrizione fisica | 1 online resource (1085 p.) |
Disciplina | 572.80285 |
Altri autori (Persone) |
ElloumiMourad
ZomayaAlbert Y |
Collana | Wiley series on bioinformatics |
Soggetto topico | Biophysics - Mathematical models |
ISBN |
1-282-93963-7
9786612939631 0-470-89209-9 0-470-89210-2 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto |
ALGORITHMS INCOMPUTATIONALMOLECULAR BIOLOGY; CONTENTS; PREFACE; CONTRIBUTORS; I STRINGS PROCESSING AND APPLICATION TO BIOLOGICAL SEQUENCES; 1 STRING DATA STRUCTURES FOR COMPUTATIONAL MOLECULAR BIOLOGY; 1.1 Introduction; 1.2 Main String Indexing Data Structures; 1.2.1 Suffix Trees; 1.2.2 Suffix Arrays; 1.3 Index Structures for Weighted Strings; 1.4 Index Structures for Indeterminate Strings; 1.5 String Data Structures in Memory Hierarchies; 1.6 Conclusions; References; 2 EFFICIENT RESTRICTED-CASE ALGORITHMS FOR PROBLEMS IN COMPUTATIONAL BIOLOGY; 2.1 The Need for Special Cases
2.2 Assessing Efficient Solvability Options for General Problems and Special Cases2.3 String and Sequence Problems; 2.4 Shortest Common Superstring; 2.4.1 Solving the General Problem; 2.4.2 Special Case: SCSt for Short Strings Over Small Alphabets; 2.4.3 Discussion; 2.5 Longest Common Subsequence; 2.5.1 Solving the General Problem; 2.5.2 Special Case: LCS of Similar Sequences; 2.5.3 Special Case: LCS Under Symbol-Occurrence Restrictions; 2.5.4 Discussion; 2.6 Common Approximate Substring; 2.6.1 Solving the General Problem; 2.6.2 Special Case: Common Approximate String; 2.6.3 Discussion 2.7 ConclusionReferences; 3 FINITE AUTOMATA IN PATTERN MATCHING; 3.1 Introduction; 3.1.1 Preliminaries; 3.2 Direct Use of DFA in Stringology; 3.2.1 Forward Automata; 3.2.2 Degenerate Strings; 3.2.3 Indexing Automata; 3.2.4 Filtering Automata; 3.2.5 Backward Automata; 3.2.6 Automata with Fail Function; 3.3 NFA Simulation; 3.3.1 Basic Simulation Method; 3.3.2 Bit Parallelism; 3.3.3 Dynamic Programming; 3.3.4 Basic Simulation Method with Deterministic State Cache; 3.4 Finite Automaton as Model of Computation; 3.5 Finite Automata Composition; 3.6 Summary; References 4 NEW DEVELOPMENTS IN PROCESSING OF DEGENERATE SEQUENCES4.1 Introduction; 4.1.1 Degenerate Primer Design Problem; 4.2 Background; 4.3 Basic Definitions; 4.4 Repetitive Structures in Degenerate Strings; 4.4.1 Using the Masking Technique; 4.4.2 Computing the Smallest Cover of the Degenerate String x; 4.4.3 Computing Maximal Local Covers of x; 4.4.4 Computing All Covers of x; 4.4.5 Computing the Seeds of x; 4.5 Conservative String Covering in Degenerate Strings; 4.5.1 Finding Constrained Pattern p in Degenerate String T; 4.5.2 Computing ?-Conservative Covers of Degenerate Strings 4.5.3 Computing ?-Conservative Seeds of Degenerate Strings4.6 Conclusion; References; 5 EXACT SEARCH ALGORITHMS FOR BIOLOGICAL SEQUENCES; 5.1 Introduction; 5.2 Single Pattern Matching Algorithms; 5.2.1 Algorithms for DNA Sequences; 5.2.2 Algorithms for Amino Acids; 5.3 Algorithms for Multiple Patterns; 5.3.1 Trie-Based Algorithms; 5.3.2 Filtering Algorithms; 5.3.3 Other Algorithms; 5.4 Application of Exact Set Pattern Matching for Read Mapping; 5.4.1 MPSCAN: An Efficient Exact Set Pattern Matching Tool for DNA/RNA Sequences; 5.4.2 Other Solutions for Mapping Reads 5.4.3 Comparison of Mapping Solutions |
Record Nr. | UNINA-9910139396103321 |
Hoboken, New Jersey : , : John Wiley & Sons, , 2011 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|