Methods and Models in Artificial and Natural Computation. A Homage to Professor Mira's Scientific Legacy : Third International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2009, Santiago de Compostela, Spain, June 22-26, 2009, Proceedings, Part I / / edited by Jose Mira, José M. Ferrández, Jose-Ramon Alvarez Sanchez, Felix Paz, Javier Toledo

• Record Nr.: UNINA9910483657003321
• Pubbl/distr/stampa: Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009
• ISBN: 1-280-38297-X; 9786613560889; 3-642-02264-2
• Edizione: [1st ed. 2009.]
• Descrizione fisica: 1 online resource (XXI, 530 p.)
• Collana: Theoretical Computer Science and General Issues, , 2512-2029 ; ; 5601
• Altri autori (Persone): AlvarezJose R; FerrandezJose Manuel; MiraJ (Jose); PazFelix; ToledoF. Javier
• Disciplina: 612.801/13
• Soggetti: Computer science; Algorithms; Artificial intelligence; Computer vision; Pattern recognition systems; Bioinformatics; Theory of Computation; Artificial Intelligence; Computer Vision; Automated Pattern Recognition; Computational and Systems Biology
• Lingua di pubblicazione: Inglese
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Note generali: Bibliographic Level Mode of Issuance: Monograph
• Nota di bibliografia: Includes bibliographical references and index.
• Nota di contenuto: A Model of Low Level Co-operativity in Cerebral Dynamic -- On Bridging the Gap between Human Knowledge and Computers: A Personal Tribute in Memory of Prof. J. Mira -- Personal Notes about the Figure and Legate of Professor Mira -- Intelligent Patient Monitoring: From Hardware to Learnware -- A Look toward the Past of My Work with the Professor José Mira -- Remembering José Mira -- Revisiting Algorithmic Lateral Inhibition and Accumulative Computation -- Detection of Speech Dynamics by Neuromorphic Units -- Spatio-temporal Computation with Neural Sensorial Maps -- Knowledge-Based Systems: A Tool for Distance Education -- ANLAGIS: Adaptive Neuron-Like Network Based on Learning Automata Theory and Granular Inference Systems with Applications to Pattern Recognition and Machine Learning -- Neural Prosthetic Interfaces with the Central Nervous System: Current Status and Future Prospects -- Analytical Models for Transient Responses in the Retina -- Analysis of Retinal Ganglion Cells Population Responses Using Information Theory and Artificial Neural Networks: Towards Functional Cell Identification -- On Cumulative Entropies and Lifetime Estimations -- Activity Modulation in Human Neuroblastoma Cultured Cells: Towards a Biological Neuroprocessor -- A Network of Coupled Pyramidal Neurons Behaves as a Coincidence Detector -- Characterisation of Multiple Patterns of Activity in Networks of Relaxation Oscillators with Inhibitory and Electrical Coupling -- Scaling Power Laws in the Restoration of Perception with Increasing Stimulus in Deficitary Natural Neural Network -- Neuron-Less Neural-Like Networks with Exponential Association Capacity at Tabula Rasa -- Brain Complexity: Analysis, Models and Limits of Understanding -- Classifying a New Descriptor Based on Marr’s Visual Theory -- Solving theIndependent Set Problem by Using Tissue-Like P Systems with Cell Division -- How to Do Recombination in Evolution Strategies: An Empirical Study -- Serial Evolution -- A Sensitivity Clustering Method for Hybrid Evolutionary Algorithms -- A Genetic Algorithm for the Open Shop Problem with Uncertain Durations -- Genetic Algorithm Combined with Tabu Search for the Job Shop Scheduling Problem with Setup Times -- Prediction and Inheritance of Phenotypes -- Controlling Particle Trajectories in a Multi-swarm Approach for Dynamic Optimization Problems -- Clustering Ensembles Using Ants Algorithm -- The kNN-TD Reinforcement Learning Algorithm -- Recombination Patterns for Natural Syntax -- Computing Natural Language with Biomolecules: Overview and Challenges -- A Christiansen Grammar for Universal Splicing Systems -- DNA Replication as a Model for Computational Linguistics -- jNEPView: A Graphical Trace Viewer for the Simulations of NEPs -- The Problem of Constructing General-Purpose Semantic Search Engines -- Computational Agents to Model Knowledge - Theory, and Practice in Visual Surveillance -- Knowledge and Event-Based System for Video-Surveillance Tasks -- ARDIS: Knowledge-Based Dynamic Architecture for Real-Time Surface Visual Inspection -- SONAR: A Semantically Empowered Financial Search Engine -- KBS in Context Aware Applications: Commercial Tools -- An Architecture Proposal for Adaptive Neuropsychological Assessment -- A Study of Applying Knowledge Modelling to Evidence-Based Guidelines -- Fuzzy Classification of Mortality by Infection of Severe Burnt Patients Using Multiobjective Evolutionary Algorithms -- Knowledge Based Information Retrieval with an Adaptive Hypermedia System -- Reveal the Collaboration in a Open Learning Environment -- Reasoning on the Evaluation of Wildfires Risk Using theReceiver Operating Characteristic Curve and MODIS Images -- Optimised Particle Filter Approaches to Object Tracking in Video Sequences -- Towards Interoperability in ; Tracking Systems: An Ontology-Based Approach -- Multimodal Agents in Second Life and the New Agents of Virtual 3D Environments -- Application of Artificial Neural Networks to Complex Dielectric Constant Estimation from Free-Space Measurements.
• Sommario/riassunto: The two-volume set LNCS 5601 and LNCS 5602 constitutes the refereed proceedings of the Third International Work-Conference on the Interplay between Natural and Artificial Computation, IWINAC 2009, held in Santiago de Compostela, Spain, in June 2009. The 108 revised papers presented are thematically divided into two volumes. The first volume includes papers relating the most recent collaborations with Professor Mira and contributions mainly related with theoretical, conceptual and methodological aspects linking AI and knowledge engineering with neurophysiology, clinics and cognition. The second volume contains all the contributions connected with biologically inspired methods and techniques for solving AI and knowledge engineering problems in different application domains.

Theory of Cryptography : 18th International Conference, TCC 2020, Durham, NC, USA, November 16–19, 2020, Proceedings, Part III / / edited by Rafael Pass, Krzysztof Pietrzak

• Record Nr.: UNINA9910447246303321
• Pubbl/distr/stampa: Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020
• ISBN: 3-030-64381-6
• Edizione: [1st ed. 2020.]
• Descrizione fisica: 1 online resource (XII, 673 p. 395 illus., 11 illus. in color.)
• Collana: Security and Cryptology, , 2946-1863 ; ; 12552
• Disciplina: 005.82
• Soggetti: Cryptography; Data encryption (Computer science); Application software; Computer networks - Security measures; Data protection; Computer networks; Computer systems; Cryptology; Computer and Information Systems Applications; Mobile and Network Security; Data and Information Security; Computer Communication Networks; Computer System Implementation
• Lingua di pubblicazione: Inglese
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Nota di contenuto: Universal Composition with Global Subroutines: Capturing Global Setup within plain UC -- Security analysis of SPAKE2+ -- Schrödinger's Pirate: How To Trace a Quantum Decoder -- Quantum Encryption with Certified Deletion -- Secure Quantum Extraction Protocols -- Non-interactive Classical Verification of Quantum Computation -- Classical Verification of Quantum Computations with Efficient Verifier -- Coupling of Random Systems -- Towards Defeating Backdoored Random Oracles: Indifferentiability with Bounded Adaptivity -- Zero-Communication Reductions -- Lower Bounds on the Time/Memory Tradeoff of Function Inversion -- Super-Linear Time-Memory Trade-Offs for Symmetric Encryption -- Algebraic Distinguishers: From Discrete Logarithms to Decisional Uber Assumptions -- On the Security of Time-Lock Puzzles and Timed Commitments -- Expected-Time Cryptography: Generic Techniques and Applications to Concrete Soundness -- On the Complexity of Arithmetic Secret Sharing -- Robust Secret Sharing with AlmostOptimal Share Size and Security Against Rushing Adversaries -- The Share Size of Secret-Sharing Schemes for Almost All Access Structures and Graphs -- Transparent Error Correcting in a Computationally Bounded World -- New Techniques in Replica Encodings with Client Setup.
• Sommario/riassunto: This three-volume set, LNCS 12550, 12551, and 12552, constitutes the refereed proceedings of the 18th International Conference on Theory of Cryptography, TCCC 2020, held in Durham, NC, USA, in November 2020. The total of 71 full papers presented in this three-volume set was carefully reviewed and selected from 167 submissions. Amongst others they cover the following topics: study of known paradigms, approaches, and techniques, directed towards their better understanding and utilization; discovery of new paradigms, approaches and techniques that overcome limitations of the existing ones, formulation and treatment of new cryptographic problems; study of notions of security and relations among them; modeling and analysis of cryptographic algorithms; and study of the complexity assumptions used in cryptography. Due to the Corona pandemic this event was held virtually.