top

  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.

  Info

  • Utilizzare questo link per rimuovere la selezione effettuata.
Interactive theorem proving : third International Conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012. Proceedings / Lennart Beringer, Amy Felty (eds.).
Interactive theorem proving : third International Conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012. Proceedings / Lennart Beringer, Amy Felty (eds.).
Creatore [ITP (Conference) (3rd : 2012 : Princeton, N.J.)]
Estensione 1 online resource (xi, 417 pages) : illustrations.
Disciplina 511.3/6028563
Accesso persona Beringer, Lennart
Felty, Amy.
Genere/Forma Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Software engineering
Data protection
Logic design
Artificial intelligence
Mathematical Logic and Formal Languages
Logics and Meanings of Programs
Systems and Data Security
Computation by Abstract Devices
ISBN 9783642323478
3642323472
3642323464
9783642323461
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto MetiTarski: Past and Future / Lawrence C. Paulson -- Computer-Aided Cryptographic Proofs / Gilles Barthe, Juan Manuel Crespo, Benjamin Grégoire, César Kunz and Santiago Zanella Béguelin -- A Differential Operator Approach to Equational Differential Invariants (Invited Paper) / André Platzer -- Abella: A Tutorial / Andrew Gacek -- A Cantor Trio: Denumerability, the Reals, and the Real Algebraic Numbers / Ruben Gamboa and John Cowles -- Construction of Real Algebraic Numbers in Coq / Cyril Cohen -- A Refinement-Based Approach to Computational Algebra in Coq / Maxime Dénès, Anders Mörtberg and Vincent Siles -- Bridging the Gap: Automatic Verified Abstraction of C / David Greenaway, June Andronick and Gerwin Klein -- Abstract Interpretation of Annotated Commands / Tobias Nipkow -- Verifying and Generating WP Transformers for Procedures on Complex Data / Patrick Michel and Arnd Poetzsch-Heffter -- Bag Equivalence via a Proof-Relevant Membership Relation / Nils Anders Danielsson -- Applying Data Refinement for Monadic Programs to Hopcroft's Algorithm / Peter Lammich and Thomas Tuerk -- Synthesis of Distributed Mobile Programs Using Monadic Types in Coq / Marino Miculan and Marco Paviotti -- Towards Provably Robust Watermarking / David Baelde, Pierre Courtieu, David Gross-Amblard and Christine Paulin-Mohring.
Priority Inheritance Protocol Proved Correct / Xingyuan Zhang, Christian Urban and Chunhan Wu -- Formalization of Shannon's Theorems in SSReflect-Coq / Reynald Affeldt and Manabu Hagiwara -- Stop When You Are Almost-Full: Adventures in Constructive Termination / Dimitrios Vytiniotis, Thierry Coquand and David Wahlstedt -- Certification of Nontermination Proofs / Christian Sternagel and René Thiemann -- A Compact Proof of Decidability for Regular Expression Equivalence / Andrea Asperti -- Using Locales to Define a Rely-Guarantee Temporal Logic / William Mansky and Elsa L. Gunter -- Charge! A Framework for Higher-Order Separation Logic in Coq / Jesper Bengtson, Jonas Braband Jensen and Lars Birkedal -- Mechanised Separation Algebra / Gerwin Klein, Rafal Kolanski and Andrew Boyton -- Directions in ISA Specification / Anthony Fox -- More SPASS with Isabelle: Superposition with Hard Sorts and Configurable Simplification / Jasmin Christian Blanchette, Andrei Popescu, Daniel Wand and Christoph Weidenbach -- A Language of Patterns for Subterm Selection / Georges Gonthier and Enrico Tassi -- Numerical Analysis of Ordinary Differential Equations in Isabelle/HOL / Fabian Immler and Johannes Hölzl -- Proof Pearl: A Probabilistic Proof for the Girth-Chromatic Number Theorem / Lars Noschinski -- Standalone Tactics Using OpenTheory / Ramana Kumar and Joe Hurd -- Functional Programs: Conversions between Deep and Shallow Embeddings / Magnus O. Myreen.
Record Nr. NYU-004624120
[ITP (Conference) (3rd : 2012 : Princeton, N.J.)]  
Materiale a stampa
Lo trovi qui: New York University
From animals to animats 12 : 12th International Conference on Simulation of Adaptive Behavior, SAB 2012, Odense, Denmark, August 27-30, 2012. Proceedings / Tom Ziemke, Christian Balkenius, John Hallam (eds.).
From animals to animats 12 : 12th International Conference on Simulation of Adaptive Behavior, SAB 2012, Odense, Denmark, August 27-30, 2012. Proceedings / Tom Ziemke, Christian Balkenius, John Hallam (eds.).
Creatore [International Conference on Simulation of Adaptive Behavior (12th : 2012 : Odense, Denmark)]
Estensione 1 online resource : illustrations (some color).
Disciplina 006.3
Accesso persona Ziemke, T. (Tom), 1969-
Balkenius, Christian
Hallam, John
Genere/Forma Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Computer software
Artificial intelligence
Computer vision
Optical pattern recognition
Computation by Abstract Devices
Algorithm Analysis and Problem Complexity
Information Systems Applications (incl. Internet)
ISBN 9783642330933
3642330932
3642330924
9783642330926
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Natural and Artificial Systems: Compare, Model or Engineer? / Kelly Vassie and Giuseppe Morlino -- LocoKit: A Robot Construction Kit for Studying and Developing Functional Morphologies / Jørgen Christian Larsen, David Brandt and Kasper Stoy -- An Introduction to the Analysis of Braitenberg Vehicles 2 and 3 Using Phase Plane Portrait / Iñaki Rañó -- Synthesis and Adaptation of Effective Motor Synergies for the Solution of Reaching Tasks / Cristiano Alessandro, Juan Pablo Carbajal and Andrea d'Avella -- Gaze Allocation Analysis for a Visually Guided Manipulation Task / Jose Nunez-Varela, Balaraman Ravindran and Jeremy L. Wyatt -- Using Sensorimotor Contingencies for Terrain Discrimination and Adaptive Walking Behavior in the Quadruped Robot Puppy / Matej Hoffmann, Nico M. Schmidt, Rolf Pfeifer, Andreas K. Engel and Alexander Maye -- How Walking Influences the Development of Absolute Distance Perception / Beata J. Grzyb, Angel P. del Pobil and Linda B. Smith -- Modelling Interaction in Multi-modal Affordance Processing with Neural Dynamics / Boris Durán and Serge Thill -- A Bio-inspired Model Reliably Predicts the Collision of Approaching Objects under Different Light Conditions / Ana Carolina Silva and Cristina Peixoto dos Santos -- Synthesising a Motor-Primitive Inspired Control Architecture for Redundant Compliant Robots / Naveen Kuppuswamy, Hugo Gravato Marques and Helmut Hauser -- Using Sensorimotor Contingencies for Prediction and Action Planning / Alexander Maye and Andreas K. Engel.
A Bio-inspired Control System for a Wearable Human-Machine Interface / Michele Folgheraiter, Mathias Jordan, Jan Albiez and Frank Kirchner -- A Finite Element Method of Electric Image in Weakly Electric Fish / Sejoon Ahn and DaeEun Kim -- Multimodal Integration of Visual Place Cells and Grid Cells for Navigation Tasks of a Real Robot / Adrien Jauffret, Nicolas Cuperlier, Philippe Gaussier and Philippe Tarroux -- Towards a Neural Hierarchy of Time Scales for Motor Control / Tim Waegeman, Francis Wyffels and Benjamin Schrauwen -- Modelling Walking Behaviors Based on CPGs: A Simplified Bio-inspired Architecture / Cai Li, Robert Lowe and Tom Ziemke -- Plastic Representation of the Reachable Space for a Humanoid Robot / Marco Antonelli, Beata J. Grzyb, Vicente Castelló and Angel P. del Pobil -- Towards Behavioral Consistency in Neuroevolution / Charles Ollion and Stéphane Doncieux -- Evolving Variants of Neuro-Control Using Constraint Masks / Christian Rempis and Frank Pasemann -- The Search for Beauty: Evolution of Minimal Cognition in an Animat Controlled by a Gene Regulatory Network and Powered by a Metabolic System / Borys Wróbel, Michał Joachimczak, Alberto Montebelli and Robert Lowe -- Evolving Reactive Controller for a Modular Robot: Benefits of the Property of State-Switching in Fractal Gene Regulatory Networks / Payam Zahadat, Thomas Schmickl and Karl Crailsheim -- Adaptation and Genomic Evolution in EcoSim / Marwa Khater and Robin Gras.
Degeneration of a von Neumann Self-reproducer into a Self-copier within the Avida World / Tomonori Hasegawa and Barry McMullin -- The Emergence of Pathological Constructors When Implementing the von Neumann Architecture for Self-reproduction in Tierra / Declan Baugh and Barry McMullin -- Automatic Synthesis of Controllers for Real Robots Based on Preprogrammed Behaviors / Miguel Duarte, Sancho Oliveira and Anders Lyhne Christensen -- Self-organization of Visual Sensor Topologies Based on Spatiotemporal Cross-Correlation / Jonas Ruesch, Ricardo Ferreira and Alexandre Bernardino -- Self-organization of Spinal Reflexes Involving Homonymous, Antagonist and Synergistic Interactions / Hugo Gravato Marques, Kristin Völk, Stefan König and Fumiya Iida -- A Computational Model of the Role of Serotonin in Reversal Learning / Graeme Hattan and Bernd Porr -- Which Temporal Difference Learning Algorithm Best Reproduces Dopamine Activity in a Multi-choice Task? / Jean Bellot, Olivier Sigaud and Mehdi Khamassi -- Multi-timescale Nexting in a Reinforcement Learning Robot / Joseph Modayil, Adam White and Richard S. Sutton -- Self-organizing Developmental Reinforcement Learning / Alain Dutech -- Adaptive Learning in Continuous Environment Using Actor-Critic Design and Echo-State Networks / Mohamed Oubbati, Johannes Uhlemann and Günther Palm -- Learning Adjectives and Nouns from Affordances on the iCub Humanoid Robot / Onur Yürüten, Kadir Fırat Uyanık, Yiğit Çalışkan, Asil Kaan Bozcuoğlu and Erol Şahin, et al.
Learning and Adaptation of Sensorimotor Contingencies: Prism-Adaptation, a Case Study / Gert Kootstra, Niklas Wilming, Nico M. Schmidt, Mikael Djurfeldt and Danica Kragic, et al. -- Unsupervised Learning of a Reduced Dimensional Controller for a Tendon Driven Robot Platform / Hugo Gravato Marques, Philip Schaffner and Naveen Kuppuswamy -- Adaptive Quadruped Locomotion: Learning to Detect and Avoid an Obstacle / Pedro Silva, Vitor Matos and Cristina P. Santos -- Attentional Action Selection Using Reinforcement Learning / Dario Di Nocera, Alberto Finzi, Silvia Rossi and Mariacarla Staffa -- Analysing an Evolved Robotic Behaviour Using a Biological Model of Collegial Decision Making / Gianpiero Francesca, Manuele Brambilla, Vito Trianni, Marco Dorigo and Mauro Birattari -- On the Evolution of Homogeneous Multi-robot Teams: Clonal versus Aclonal Approach / Elio Tuci and Vito Trianni -- Biologically-Inspired Deceptive Behavior for a Robot / Jaeeun Shim and Ronald C. Arkin -- Automated Synthesis of Locomotion Controllers for Self-reconfigurable Modular Robots / Fernando Torres and Juan Cristóbal Zagal -- Towards Detecting Group Identities in Complex Artificial Societies / Corrado Grappiolo and Georgios N. Yannakakis -- Cost, Precision, and Task Structure in Aggression-Based Arbitration for Minimalist Robot Cooperation / Tanushree Mitra and Dylan A. Shell -- Examining the Information Requirements for Flocking Motion / Benjamin T. Fine and Dylan A. Shell.
Record Nr. NYU-004624356
[International Conference on Simulation of Adaptive Behavior (12th : 2012 : Odense, Denmark)]  
Materiale a stampa
Lo trovi qui: New York University
Theory of cryptography : 10th Theory of Cryptography Conference, TCC 2013, Tokyo, Japan, March 3-6, 2013. Proceedings / Amit Sahai (ed.).
Theory of cryptography : 10th Theory of Cryptography Conference, TCC 2013, Tokyo, Japan, March 3-6, 2013. Proceedings / Amit Sahai (ed.).
Creatore [Theory of Cryptography Conference (10th : 2013 : Tokyo, Japan)]
Estensione 1 online resource.
Disciplina 005.8/2
Accesso persona Sahai, Amit
Genere/Forma Electronic books
Conference papers and proceedings
Congresses
Soggetto non controllato Computer science
Data protection
Data encryption (Computer science)
Computer software
Systems and Data Security
Computation by Abstract Devices
Algorithm Analysis and Problem Complexity
ISBN 9783642365942
3642365949
3642365930
9783642365935
Classificazione 54.62
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Overcoming Weak Expectations / Yevgeniy Dodis, Yu Yu -- A Counterexample to the Chain Rule for Conditional HILL Entropy / Stephan Krenn, Krzysztof Pietrzak, Akshay Wadia -- Hardness Preserving Reductions via Cuckoo Hashing / Itay Berman, Iftach Haitner, Ilan Komargodski, Moni Naor -- Concurrent Zero Knowledge in the Bounded Player Model / Vipul Goyal, Abhishek Jain, Rafail Ostrovsky, Silas Richelson -- Public-Coin Concurrent Zero-Knowledge in the Global Hash Model / Ran Canetti, Huijia Lin, Omer Paneth -- Succinct Malleable NIZKs and an Application to Compact Shuffles / Melissa Chase, Markulf Kohlweiss, Anna Lysyanskaya -- Encrypted Messages from the Heights of Cryptomania / Craig Gentry -- Attribute-Based Functional Encryption on Lattices / Xavier Boyen -- When Homomorphism Becomes a Liability / Zvika Brakerski -- Garbling XOR Gates "For Free" in the Standard Model / Benny Applebaum -- Why "Fiat-Shamir for Proofs" Lacks a Proof / Nir Bitansky, Dana Dachman-Soled, Sanjam Garg, Abhishek Jain.
On the (In)security of Fischlin's Paradigm / Prabhanjan Ananth, Raghav Bhaskar, Vipul Goyal, Vanishree Rao -- Signatures of Correct Computation / Charalampos Papamanthou, Elaine Shi, Roberto Tamassia -- A Full Characterization of Functions that Imply Fair Coin Tossing and Ramifications to Fairness / Gilad Asharov, Yehuda Lindell, Tal Rabin -- Characterizing the Cryptographic Properties of Reactive 2-Party Functionalities / R. Amzi Jeffs, Mike Rosulek -- Feasibility and Completeness of Cryptographic Tasks in the Quantum World / Serge Fehr, Jonathan Katz, Fang Song, Hong-Sheng Zhou -- Languages with Efficient Zero-Knowledge PCPs are in SZK / Mohammad Mahmoody, David Xiao -- Succinct Non-interactive Arguments via Linear Interactive Proofs / Nir Bitansky, Alessandro Chiesa, Yuval Ishai, Omer Paneth -- Unprovable Security of Perfect NIZK and Non-interactive Non-malleable Commitments / Rafael Pass -- Secure Computation for Big Data / Tal Malkin -- Communication Locality in Secure Multi-party Computation / Elette Boyle, Shafi Goldwasser, Stefano Tessaro.
Distributed Oblivious RAM for Secure Two-Party Computation / Steve Lu, Rafail Ostrovsky -- Black-Box Proof of Knowledge of Plaintext and Multiparty Computation with Low Communication Overhead / Steven Myers, Mona Sergi, abhi shelat -- Testing the Lipschitz Property over Product Distributions with Applications to Data Privacy / Kashyap Dixit, Madhav Jha, Sofya Raskhodnikova -- Limits on the Usefulness of Random Oracles / Iftach Haitner, Eran Omri, Hila Zarosim -- Analyzing Graphs with Node Differential Privacy / Shiva Prasad Kasiviswanathan, Kobbi Nissim, Sofya Raskhodnikova -- Universally Composable Synchronous Computation / Jonathan Katz, Ueli Maurer, Björn Tackmann, Vassilis Zikas -- Multi-Client Non-interactive Verifiable Computation / Seung Geol Choi, Jonathan Katz, Ranjit Kumaresan, Carlos Cid -- On the Feasibility of Extending Oblivious Transfer / Yehuda Lindell, Hila Zarosim -- Computational Soundness of Coinductive Symbolic Security under Active Attacks / Mohammad Hajiabadi, Bruce M. Kapron.
Revisiting Lower and Upper Bounds for Selective Decommitments / Rafail Ostrovsky, Vanishree Rao, Alessandra Scafuro -- On the Circular Security of Bit-Encryption / Ron D. Rothblum -- Cryptographic Hardness of Random Local Functions-Survey / Benny Applebaum -- On the Power of Correlated Randomness in Secure Computation / Yuval Ishai, Eyal Kushilevitz, Sigurd Meldgaard, Claudio Orlandi -- Constant-Overhead Secure Computation of Boolean Circuits using Preprocessing / Ivan Damgård, Sarah Zakarias -- Implementing Resettable UC-Functionalities with Untrusted Tamper-Proof Hardware-Tokens / Nico Döttling, Thilo Mie, Jörn Müller-Quade, Tobias Nilges -- A Cookbook for Black-Box Separations and a Recipe for UOWHFs / Kfir Barhum, Thomas Holenstein -- Algebraic (Trapdoor) One-Way Functions and Their Applications / Dario Catalano, Dario Fiore, Rosario Gennaro -- Randomness-Dependent Message Security / Eleanor Birrell, Kai-Min Chung, Rafael Pass, Sidharth Telang -- Errata to (Nearly) Round-Optimal Black-Box Constructions of Commitments Secure against Selective Opening Attacks / David Xiao.
Record Nr. NYU-004626887
[Theory of Cryptography Conference (10th : 2013 : Tokyo, Japan)]  
Materiale a stampa
Lo trovi qui: New York University
Wireless communications and applications : first International Conference, ICWCA 2011, Sanya, China, August 1-3, 2011, Revised Selected Papers / Patrick Sénac, Max Ott, Aruna Seneviratne (eds.).
Wireless communications and applications : first International Conference, ICWCA 2011, Sanya, China, August 1-3, 2011, Revised Selected Papers / Patrick Sénac, Max Ott, Aruna Seneviratne (eds.).
Creatore [International Conference on Wireless Communications and Applications (1st : 2011 : Sanya Shi, China)]
Estensione 1 online resource (xii, 456 pages) : illustrations.
Disciplina 621.382
Accesso persona Sénac, P. (Patrick)
Ott, Max (Computer engineer)
Seneviratne, Aruna
Genere/Forma Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Computer Communication Networks
Computer software
Artificial intelligence
Information Systems
Algorithm Analysis and Problem Complexity
Information Systems Applications (incl. Internet)
Computation by Abstract Devices
Management of Computing and Information Systems
ISBN 9783642291579
3642291570
9783642291562
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto pt. 1. Applications -- Locating Emergency Responders in Disaster Area Using Wireless Sensor Network / Abishek Thekkeyil Kunnath, Aparna Madhusoodanan and Maneesha Vinodini Ramesh -- Research on the ZigBee Network Protocol Intelligent Meter Reading System / Qi Xia, Chong Shen and Baodan Chen -- Dairy Cattle Movement Detecting Technology Using Support Vector Machine / HaoEn Zhou, Ling Yin and CaiXing Liu -- How Network Reverse Engineering Differs from Software Reverse Engineering / Hui Zhou and Wencai Du -- High-Voltage Equipment Monitoring System Based on IOT / Ye Cai, Xiao-Qin Huang and Jie He -- A New K-DOPs Collision Detection Algorithms Improved by GA / Wei Zhao and Lei Li -- Abstract Reporting and Reformation Schemes for Wireless Sensor Networks / Hock Guan Goh, Soung Yue Liew, Kae Hsiang Kwong, Craig Michie and Ivan Andonovic -- Research on Smart Substation Equipment Condition Monitoring System Based on Wireless Sensor Networks / Jie He, Xiaoqing Huang and Yang Yang -- Reducing Dependency on Middleware for Pull Based Active Services in LBS Systems / Saroj Kaushik, Shivendra Tiwari and Priti Goplani -- Fault Location Scheme of Smart Grid Based on Wireless Sensor Networks / Tian-Bao Zhang, You-Ling Zhou and Bao-Dan Chen -- Information-Analytical Systems of Thermo-Power Engineering / Yurzin Bogdanov and Valeri Chipulis -- A Node-Grouping Superframe-Division MAC Protocol for Smart Home Based on IEEE802.15.4 Protocol / Ganqing Ma, Chong Shen and Baodan Chen -- A Public Transport System Based Sensor Network for Fake Alcohol Detection / Maneesha V. Ramesh and Riji N. Das -- Performance of LDPC Coded SFH System with Partial-Band Interference / Gong Chao, Zhang YingXian, Zhang BangNing and Guo DaoXing -- Worm Nonlinear Model Optimization and Feature Detection Technology / Xiaojun Tong and Zhu Wang -- Phase Measurement of Three-Phase Power Based on FPGA / Xiyuan Zhang, Yonghui Zhang and Xinning Lu -- Over-the-Sea Radio Propagation and Integrated Wireless Networking for Ocean Fishery Vessels / Yong Bai, Wencai Du and Chong Shen.
pt. 2. Network Architectures -- Design and Performance Analysis of Multiradio Multihop Network Using IEEE802.11n 2.4GHz Access and 5.8GHz Backhaul Radios / Kae Hsiang Kwong, Alvin Ting, David Chieng and Mazlan Abbas -- Intelligent Monitoring System on Refrigerator Trucks Based on the Internet of Things / Yonghui Zhang, Baodan Chen and Xinning Lu -- An Effective Evolutionary Computational Approach for Routing Optimization in Networks with Shared Risk Link Groups / Xubin Luo and Qing Li -- Design of Wireless Sensor Networks Considering the Robustness of the Topology / Yu-Dong Tan, Xiao-Qin Huang, Ye Cai, Yi Tan and An-Gang Chen -- A Model of Survivable Storage System Based on Information Hiding / Qingjie Zhang, Jianming Zhu and Yiheng Wang -- Novel Communication System Selection Applying the AHP Algorithm in Heterogeneous Wireless Networks / Misato Sasaki, Akira Yamaguchi, Yuichi Imagaki, Kosuke Yamazaki and Toshinori Suzuki -- Modeling and Analysis of MU-CoMP HARQ in 3GPP LTE System Level Simulation / Yuan Gao, Yi Li, HongYi Yu and ShiHai Gao -- On Timing Offset and Frequency Offset Estimation in LTE Uplink / Juan Liu, Bin Wu and Pingan Li.
pt. 3. Signal Processing -- Multichannel Opportunistic Spectrum Access in Fading Environment Using Optimal Stopping Rule / Yuhua Xu, Zhan Gao, Jinlong Wang and Qihui Wu -- The Design of Shaped-Beam Bifilar Helix Antenna with Conical Pattern / Xiao-Yun Qu, Wei-Hua Zong, Zhi-Qun Yang and Jian-Ming Mu -- A Precoding Scheme to Improve Performances of MIMO Systems / Zhenchuan Zhang, Bo Chen and Ting Luo -- A New Dynamic Spectrum Access Technology Based on the Multi-features Model Clustering in the Cognitive Network / Jupeng Li, Zhenhui Tan, Houjin Chen and Cheng Tao -- Hardware Design of Aquaculture Water Quality Wireless Monitoring System / Ding Wen, Ma Yinchi and Xi Weichao -- Best Effort Traffic Uplink Transmission Performance Evaluation of an Integrated EPON/IPACT and WiMAX (OFDMA) Architecture / Hammad Yaqoob, Craig Michie, Ivan Andonovic, Kae Hsiang Kwong and David Chieng, et al. -- Research on the Interferometer Direction-Finding and Positioning Improved Algorithm under the Influence of Ground-to-Air Channel / Jianbo Yanga, Yan Wang and Hu Mao.
pt. 4. Data Link and Network Layers -- Optimal Algorithm for Connected Dominating Sets / Nannan Zhao and Muqing Wu -- FOMR: Fair Opportunistic Multicast Routing Scheme for Wireless Mesh Networks / S.R.N. Reddy, Neha Singh, Riya Verma and Vandana Upreti -- The Design of Multi-channel Token Assignment Protocol Based on Received Signal Strength Indication / Wei Cao, Caixing Liu and Wenbin Zeng -- Network Layer Challenges of IEEE 802.11n Wireless Ad Hoc Networks / Mehdi EffatParvar, Nasser Yazdani, MohammadReza EffatParvar, Peyman Teymoori and Ali Movaghar -- Delay-Constrained Optimized Packet Aggregation in High-Speed Wireless Ad Hoc Networks / Peyman Teymoori, Nasser Yazdani and Ali Sehati -- Algorithm Research of Top-Down Mining Maximal Frequent SubGraph Based on Tree Structure / Xiao Chen, Chunying Zhang, Fengchun Liu and Jingfeng Guo -- Dynamic ID-Based Password Authentication Protocol with Strong Security against Smart Card Lost Attacks / Qi Xie.
pt. 5. Securities -- Two Attacks on Dutta's Dynamic Group Key Agreement Protocol / Hui Zhang, Chunxiang Xu, Chengbang Li and Abdur Rashid Sangi -- Modified Authentication Protocol Using Elliptic Curve Cryptosystem for Virtual Subnets on Mobile Adhoc Networks / Ankush A. Vilhekar and C.D. Jaidhar -- 3D-DCT Based Zero-Watermarking for Medical Volume Data Robust to Geometrical Attacks / Jingbing Li, Wencai Du, Yong Bai and Yen-wei Chen -- Detection and Analysis of Power System Harmonics Based on FPGA / Xi Chen and Yonghui Zhang.
Record Nr. NYU-004374715
[International Conference on Wireless Communications and Applications (1st : 2011 : Sanya Shi, China)]  
Materiale a stampa
Lo trovi qui: New York University
Genetic programming [electronic resource] : 15th European Conference, EuroGP 2012, Málaga, Spain, April 11-13, 2012. Proceedings / Alberto Moraglio [and others] (eds.).
Genetic programming [electronic resource] : 15th European Conference, EuroGP 2012, Málaga, Spain, April 11-13, 2012. Proceedings / Alberto Moraglio [and others] (eds.).
Creatore [EuroGP 2012 (2012 : Málaga, Spain)]
Estensione 1 online resource (xii, 278 pages).
Disciplina 006.3/1
Accesso persona Moraglio, Alberto
Genere/Forma Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Computer software
Artificial intelligence
Bioinformatics
Programming Techniques
Computation by Abstract Devices
Algorithm Analysis and Problem Complexity
Information Systems Applications (incl. Internet)
Computational Biology/Bioinformatics
ISBN 9783642291395
3642291392
9783642291388
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Evolving High-Level Imperative Program Trees with Strongly Formed Genetic Programming / Tom Castle and Colin G. Johnson -- Android Genetic Programming Framework / Alban Cotillon, Philip Valencia and Raja Jurdak -- Genetic Programming for Generalised Helicopter Hovering Control / Dimitris C. Dracopoulos and Dimitrios Effraimidis -- Cartesian Genetic Programming for Memristive Logic Circuits / Gerard David Howard, Larry Bull and Andrew Adamatzky -- A New, Node-Focused Model for Genetic Programming / David Jackson -- Medial Crossovers for Genetic Programming / Krzysztof Krawiec -- Improving Face Detection / Penousal Machado, João Correia and Juan Romero -- Grammar Bias and Initialisation in Grammar Based Genetic Programming / Eoin Murphy, Erik Hemberg, Miguel Nicolau, Michael O'Neill and Anthony Brabazon -- Improving Relevance Measures Using Genetic Programming / Kourosh Neshatian and Mengjie Zhang -- An Investigation of Fitness Sharing with Semantic and Syntactic Distance Metrics / Quang Uy Nguyen, Xuan Hoai Nguyen, Michael O'Neill and Alexandros Agapitos -- Evolving Reusable Operation-Based Due-Date Assignment Models for Job Shop Scheduling with Genetic Programming / Su Nguyen, Mengjie Zhang, Mark Johnston and Kay Chen Tan -- Evolving Interpolating Models of Net Ecosystem CO2 Exchange Using Grammatical Evolution / Miguel Nicolau, Matthew Saunders, Michael O'Neill, Bruce Osborne and Anthony Brabazon -- Multi-Objective Ant Programming for Mining Classification Rules / Juan Luis Olmo, José Raúl Romero and Sebastián Ventura.
Matrix Analysis of Genetic Programming Mutation / Andrew J. Parkes, Ender Özcan and Matthew R. Hyde -- An Ecological Approach to Measuring Locality in Linear Genotype to Phenotype Maps / Tom Seaton, Julian F. Miller and Tim Clarke -- Coevolution in Cartesian Genetic Programming / Michaela Šikulová and Lukáš Sekanina -- Evolutionary Design of Message Efficient Secrecy Amplification Protocols / Tobiáš Smolka, Petr Švenda, Lukáš Sekanina and Vashek Matyáš -- Automatic Design of Ant Algorithms with Grammatical Evolution / Jorge Tavares and Francisco B. Pereira -- Random Sampling Technique for Overfitting Control in Genetic Programming / Ivo Gonçalves, Sara Silva, Joana B. Melo and João M.B. Carreiras -- Evolutionary Operator Self-adaptation with Diverse Operators / MinHyeok Kim, Robert Ian (Bob) McKay, Dong-Kyun Kim and Xuan Hoai Nguyen -- The Effect of Bloat on the Efficiency of Incremental Evolution of Simulated Snake-Like Robot / Ivan Tanev, Tüze Kuyucu and Katsunori Shimohara -- Bayesian Network Structure Learning from Limited Datasets through Graph Evolution / Alberto Paolo Tonda, Evelyne Lutton, Romain Reuillon, Giovanni Squillero and Pierre-Henri Wuillemin -- Efficient Phenotype Evaluation in Cartesian Genetic Programming / Zdeněk Vašíček and Karel Slaný.
Record Nr. NYU-004374729
[EuroGP 2012 (2012 : Málaga, Spain)]  
Materiale a stampa
Lo trovi qui: New York University
Multi-agent-based simulation XIII : International Workshop, MABS 2012, Valencia, Spain, June 4-8, 2012, Revised selected papers / Francesca Giardini, Frédéric Amblard (eds.).
Multi-agent-based simulation XIII : International Workshop, MABS 2012, Valencia, Spain, June 4-8, 2012, Revised selected papers / Francesca Giardini, Frédéric Amblard (eds.).
Creatore [MABS 2012 (2012 : Valencia, Spain)]
Estensione 1 online resource.
Disciplina 006.3
Accesso persona Giardini, Francesca
Amblard, Frédéric
Genere/Forma Congresses
Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Artificial intelligence
Computer simulation
Simulation and Modeling
Computation by Abstract Devices
ISBN 9783642388590
3642388590
9783642388583
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Modelling Social Interactions. Simulating Social Behaviour Implementing Agents Endowed with Values and Drives / Gennaro Di Tosto, Frank Dignum -- Modeling the Propagation of Public Perception across Repeated Social Interactions / Taranjeet Singh Bhatia, Saad Ahmad Khan, Ladislau Bölöni -- Cognition and Agents' Behaviors. Effects of Combined Human Decision-Making Biases on Organizational Performance / Silvia Berlinger, Friederike Wall -- Swarming Estimation of Realistic Mental Models / H. Van Dyke Parunak [and others] -- Revisiting the El Farol Problem: A Cognitive Modeling Approach / Davi D'Andréa Baccan, Luis Macedo -- Agents, Games and Finance. Simulation and Performance Assessment of Poker Agents / Luís Filipe Teófilo [and others] -- EGTAOnline: An Experiment Manager for Simulation-Based Game Studies / Ben-Alexander Cassell, Michael P. Wellman -- Agent-Based Modelling of Stock Markets Using Existing Order Book Data / Efstathios Panayi, Mark Harman, Anne Wetherilt -- Methodologies and Tools. Parallel Execution of Social Simulation Models in a Grid Environment / Davide Nunes, Luis Antunes -- A Methodology to Engineer and Validate Dynamic Multi-level Multi-agent Based Simulations / Jean-Baptiste Soyez [and others] -- Towards the Automatic Identification of Faulty Multi-Agent Based Simulation Runs Using MASTER / Chris J. Wright, Phil McMinn, Julio Gallardo.
Record Nr. NYU-004402383
[MABS 2012 (2012 : Valencia, Spain)]  
Materiale a stampa
Lo trovi qui: New York University
Scale space and variational methods in computer vision : third international conference, SSVM 2011, Ein-Gedi, Israel, May 29-June 2, 2011 : revised selected papers / Alfred M. Bruckstein [and others] (eds.).
Scale space and variational methods in computer vision : third international conference, SSVM 2011, Ein-Gedi, Israel, May 29-June 2, 2011 : revised selected papers / Alfred M. Bruckstein [and others] (eds.).
Creatore [SSVM 2011 (2011 : ʻEn Gedi, Israel)]
Estensione 1 online resource (xiv, 798 pages) : color illustrations.
Disciplina 006.3/7
Accesso persona Bruckstein, Alfred, 1954-
Soggetto non controllato Computer science
Computer software
Data mining
Computer graphics
Computer vision
Optical pattern recognition
Image Processing and Computer Vision
Pattern Recognition
Algorithm Analysis and Problem Complexity
Data Mining and Knowledge Discovery
Computation by Abstract Devices
ISBN 9783642247859
3642247857
9783642247842
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. STANFORD-a9518334
[SSVM 2011 (2011 : ʻEn Gedi, Israel)]  
Materiale a stampa
Lo trovi qui: Stanford University
Advanced intelligent computing theories and applications : with aspects of artificial intelligence : 7th international conference, ICIC 2011, Zhengzhou, China, August 11-14, 2011 : revised selected papers / De-Shuang Huang [and others] (eds.).
Advanced intelligent computing theories and applications : with aspects of artificial intelligence : 7th international conference, ICIC 2011, Zhengzhou, China, August 11-14, 2011 : revised selected papers / De-Shuang Huang [and others] (eds.).
Creatore [International Conference on Intelligent Computing (7th : 2011 : Zhengzhou, China)]
Estensione 1 online resource (xxiii, 729 pages) : illustrations.
Disciplina 006.3
Accesso persona Huang, De-Shuang
Soggetto non controllato Computer science
Artificial intelligence
Computer vision
Optical pattern recognition
Pattern Recognition
Information Systems Applications (incl. Internet)
Image Processing and Computer Vision
Computation by Abstract Devices
User Interfaces and Human Computer Interaction
ISBN 9783642259449
3642259448
9783642259432
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. STANFORD-a9518427
[International Conference on Intelligent Computing (7th : 2011 : Zhengzhou, China)]  
Materiale a stampa
Lo trovi qui: Stanford University
Bio-inspired computing and applications : 7th International Conference on Intelligent Computing, ICIC 2011, Zhengzhou, China, August 11-14, 2011 : revised selected papers / De-Shuang Huang, Yong Gan, Prashan Premaratne, Kyungsook Han (eds.).
Bio-inspired computing and applications : 7th International Conference on Intelligent Computing, ICIC 2011, Zhengzhou, China, August 11-14, 2011 : revised selected papers / De-Shuang Huang, Yong Gan, Prashan Premaratne, Kyungsook Han (eds.).
Creatore [International Conference on Intelligent Computing (7th : 2011 : Zhengzhou, China)]
Estensione 1 online resource (xxiii, 713 pages) : illustrations.
Disciplina 006.3
Accesso persona Huang, De-Shuang
Soggetto non controllato Computer science
Artificial intelligence
Computer vision
Optical pattern recognition
Pattern Recognition
Image Processing and Computer Vision
Computation by Abstract Devices
User Interfaces and Human Computer Interaction
ISBN 9783642245534
3642245536
3642245528
9783642245527
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. STANFORD-a9518442
[International Conference on Intelligent Computing (7th : 2011 : Zhengzhou, China)]  
Materiale a stampa
Lo trovi qui: Stanford University
Evolutionary computation, machine learning and data mining in bioinformatics : 10th European Conference, EvoBIO 2012, Málaga, Spain, April 11-13, 2012. Proceedings / Mario Giacobini, Leonardo Vanneschi, William S. Bush (eds.).
Evolutionary computation, machine learning and data mining in bioinformatics : 10th European Conference, EvoBIO 2012, Málaga, Spain, April 11-13, 2012. Proceedings / Mario Giacobini, Leonardo Vanneschi, William S. Bush (eds.).
Creatore [EvoBIO 2012 (2012 : Málaga, Spain)]
Estensione 1 online resource (xiii, 253 pages).
Disciplina 570.285
Accesso persona Giacobini, Mario
Vanneschi, Leonardo
Bush, William S.
Soggetto non controllato Computer science
Computer software
Artificial intelligence
Bioinformatics
Computational Biology/Bioinformatics
Algorithm Analysis and Problem Complexity
Computation by Abstract Devices
ISBN 9783642290664
3642290663
9783642290657
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Automatic Task Decomposition for the NeuroEvolution of Augmenting Topologies (NEAT) Algorithm / Timmy Manning and Paul Walsh -- Evolutionary Reaction Systems / Luca Manzoni, Mauro Castelli and Leonardo Vanneschi -- Optimizing the Edge Weights in Optimal Assignment Methods for Virtual Screening with Particle Swarm Optimization / Lars Rosenbaum, Andreas Jahn and Andreas Zell -- Lévy-Flight Genetic Programming: Towards a New Mutation Paradigm / Christian Darabos, Mario Giacobini, Ting Hu and Jason H. Moore -- Understanding Zooplankton Long Term Variability through Genetic Programming / Simone Marini and Alessandra Conversi -- Inferring Disease-Related Metabolite Dependencies with a Bayesian Optimization Algorithm / Holger Franken, Alexander Seitz, Rainer Lehmann, Hans-Ulrich Häring and Norbert Stefan, et al. -- A GPU-Based Multi-swarm PSO Method for Parameter Estimation in Stochastic Biological Systems Exploiting Discrete-Time Target Series / Marco S. Nobile, Daniela Besozzi, Paolo Cazzaniga, Giancarlo Mauri and Dario Pescini -- Tracking the Evolution of Cooperation in Complex Networked Populations / Flávio L. Pinheiro, Francisco C. Santos and Jorge M. Pacheco -- GeNet: A Graph-Based Genetic Programming Framework for the Reverse Engineering of Gene Regulatory Networks / Leonardo Vanneschi, Matteo Mondini, Martino Bertoni, Alberto Ronchi and Mattia Stefano -- Comparing Multiobjective Artificial Bee Colony Adaptations for Discovering DNA Motifs / David L. González-Álvarez, Miguel A. Vega-Rodríguez, Juan A. Gómez-Pulido and Juan M. Sánchez-Pérez -- The Role of Mutations in Whole Genome Duplication / Qinxin Pan, Christian Darabos and Jason H. Moore -- Comparison of Methods for Meta-dimensional Data Analysis Using in Silico and Biological Data Sets / Emily R. Holzinger, Scott M. Dudek, Alex T. Frase, Brooke Fridley and Prabhakar Chalise, et al.
Inferring Phylogenetic Trees Using a Multiobjective Artificial Bee Colony Algorithm / Sergio Santander-Jiménez, Miguel A. Vega-Rodríguez, Juan A. Gómez-Pulido and Juan M. Sánchez-Pérez -- Prediction of Mitochondrial Matrix Protein Structures Based on Feature Selection and Fragment Assembly / Gualberto Asencio-Cortés, Jesús S. Aguilar-Ruiz, Alfonso E. Márquez-Chamorro, Roberto Ruiz and Cosme E. Santiesteban-Toca -- Feature Selection for Lung Cancer Detection Using SVM Based Recursive Feature Elimination Method / Kesav Kancherla and Srinivas Mukkamala -- Measuring Gene Expression Noise in Early Drosophila Embryos: The Highly Dynamic Compartmentalized Micro-environment of the Blastoderm Is One of the Main Sources of Noise / Alexander V. Spirov, Nina E. Golyandina, David M. Holloway, Theodore Alexandrov and Ekaterina N. Spirova, et al. -- Artificial Immune Systems Perform Valuable Work When Detecting Epistasis in Human Genetic Datasets / Delaney Granizo-Mackenzie and Jason H. Moore -- A Biologically Informed Method for Detecting Associations with Rare Variants / Carrie C. Buchanan, John R. Wallace, Alex T. Frase, Eric S. Torstenson and Sarah A. Pendergrass, et al. -- Complex Detection in Protein-Protein Interaction Networks: A Compact Overview for Researchers and Practitioners / Clara Pizzuti, Simona E. Rombo and Elena Marchiori -- Short-Range Interactions and Decision Tree-Based Protein Contact Map Predictor / Cosme E. Santiesteban-Toca, Gualberto Asencio-Cortés, Alfonso E. Márquez-Chamorro and Jesús S. Aguilar-Ruiz -- A NSGA-II Algorithm for the Residue-Residue Contact Prediction / Alfonso E. Márquez-Chamorro, Federico Divina, Jesús S. Aguilar-Ruiz, Jaume Bacardit and Gualberto Asencio-Cortés, et al. -- In Silico Infection of the Human Genome / W.B. Langdon and M.J. Arno -- Improving Phylogenetic Tree Interpretability by Means of Evolutionary Algorithms / Francesco Cerutti, Luigi Bertolotti, Tony L. Goldberg and Mario Giacobini.
Record Nr. STANFORD-a9583186
[EvoBIO 2012 (2012 : Málaga, Spain)]  
Materiale a stampa
Lo trovi qui: Stanford University