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.
Structural information and communication complexity : 19th International Colloquium, SIROCCO 2012, Reykjavik, Iceland, June 30-July 2, 2012, Proceedings / Guy Even, Magnús M. Halldórsson (eds.).
Structural information and communication complexity : 19th International Colloquium, SIROCCO 2012, Reykjavik, Iceland, June 30-July 2, 2012, Proceedings / Guy Even, Magnús M. Halldórsson (eds.).
Creatore [Colloquium on Structural Information and Communication Complexity (19th : 2012 : Reykjavík, Iceland)]
Estensione 1 online resource (xix, 340 pages) : illustrations.
Disciplina 004/.36
Accesso persona Even, Guy.
Magnús M. Halldórsson
Soggetto non controllato Computer science
Computer Communication Networks
Data structures (Computer science)
Computer software
Computational complexity
Algorithms
Algorithm Analysis and Problem Complexity
Discrete Mathematics in Computer Science
ISBN 9783642311048
3642311040
3642311032
9783642311031
Classificazione 54.10
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Space Lower Bounds for Low-Stretch Greedy Embeddings / Ioannis Caragiannis and Christos Kalaitzis -- The Fault Tolerant Capacitated k-Center Problem / Shiri Chechik and David Peleg -- Notions of Connectivity in Overlay Networks / Yuval Emek, Pierre Fraigniaud, Amos Korman, Shay Kutten and David Peleg -- Changing of the Guards: Strip Cover with Duty Cycling / Amotz Bar-Noy, Ben Baumer and Dror Rawitz -- Deterministic Local Algorithms, Unique Identifiers, and Fractional Graph Colouring / Henning Hasemann, Juho Hirvonen, Joel Rybicki and Jukka Suomela -- An Algorithm for Online Facility Leasing / Peter Kling, Friedhelm Meyer auf der Heide and Peter Pietrzyk -- Agreement in Directed Dynamic Networks / Martin Biely, Peter Robinson and Ulrich Schmid -- Bounding Interference in Wireless Ad Hoc Networks with Nodes in Random Position / Majid Khabbazian, Stephane Durocher and Alireza Haghnegahdar -- Strong Connectivity of Sensor Networks with Double Antennae / Mohsen Eftekhari Hesari, Evangelos Kranakis, Fraser MacQuarie, Oscar Morales-Ponce and Lata Narayanan -- Distributed Multiple-Message Broadcast in Wireless Ad-Hoc Networks under the SINR Model / Dongxiao Yu, Qiang-Sheng Hua, Yuexuan Wang, Haisheng Tan and Francis C.M. Lau -- Wireless Network Stability in the SINR Model / Eyjólfur Ingi Ásgeirsson, Magnús M. Halldórsson and Pradipta Mitra -- What Can Be Computed without Communications? / Heger Arfaoui and Pierre Fraigniaud -- On Bidimensional Congestion Games / Vittorio Bilò, Michele Flammini and Vasco Gallotti -- Mobile Network Creation Games / Michele Flammini, Vasco Gallotti, Giovanna Melideo, Gianpiero Monaco and Luca Moscardelli -- Homonyms with Forgeable Identifiers / Carole Delporte-Gallet, Hugues Fauconnier and Hung Tran-The -- Asynchrony and Collusion in the N-party BAR Transfer Problem / Xavier Vilaça, Oksana Denysyuk and Luís Rodrigues -- Early Deciding Synchronous Renaming in O(logf) Rounds or Less / Dan Alistarh, Hagit Attiya, Rachid Guerraoui and Corentin Travers -- On Snapshots and Stable Properties Detection in Anonymous Fully Distributed Systems (Extended Abstract) / Jérémie Chalopin, Yves Métivier and Thomas Morsellino -- Self-stabilizing (k, r)-Clustering in Clock Rate-Limited Systems / Andreas Larsson and Philippas Tsigas -- Increasing the Power of the Iterated Immediate Snapshot Model with Failure Detectors / Michel Raynal and Julien Stainer -- Improved Approximation for Orienting Mixed Graphs / Iftah Gamzu and Moti Medina -- Analysis of Random Walks Using Tabu Lists / Karine Altisen, Stéphane Devismes, Antoine Gerbaud and Pascal Lafourcade -- Online Graph Exploration with Advice / Stefan Dobrev, Rastislav Královič and Euripides Markou -- Asynchronous Exploration of an Unknown Anonymous Dangerous Graph with O(1) Pebbles / Balasingham Balamohan, Stefan Dobrev, Paola Flocchini and Nicola Santoro -- Time of Anonymous Rendezvous in Trees: Determinism vs. Randomization / Samir Elouasbi and Andrzej Pelc -- Randomized Rendezvous of Mobile Agents in Anonymous Unidirectional Ring Networks / Shinji Kawai, Fukuhito Ooshita, Hirotsugu Kakugawa and Toshimitsu Masuzawa -- Getting Close without Touching / Linda Pagli, Giuseppe Prencipe and Giovanni Viglietta -- Gathering of Robots on Anonymous Grids without Multiplicity Detection / Gianlorenzo D'Angelo, Gabriele Di Stefano, Ralf Klasing and Alfredo Navarra.
Record Nr. STANFORD-a9656599
[Colloquium on Structural Information and Communication Complexity (19th : 2012 : Reykjavík, Iceland)]  
Materiale a stampa
Lo trovi qui: Stanford University
Arithmetic of finite fields : 4th International Workshop, WAIFI 2012, Bochum, Germany, July 16-19, 2012. Proceedings / Ferruh Özbudak, Francisco Rodríguez-Henríquez (eds.).
Arithmetic of finite fields : 4th International Workshop, WAIFI 2012, Bochum, Germany, July 16-19, 2012. Proceedings / Ferruh Özbudak, Francisco Rodríguez-Henríquez (eds.).
Creatore [WAIFI (Workshop) (4th : 2012 : Bochum, Germany)]
Estensione 1 online resource (xii, 246 pages) : illustrations.
Disciplina 512/.3
Accesso persona Özbudak, Ferruh
Rodríguez-Henríquez, Francisco
Soggetto non controllato Computer science
Computer Communication Networks
Data structures (Computer science)
Data encryption (Computer science)
Computer software
Computational complexity
Algebra -- Data processing
Symbolic and Algebraic Manipulation
Discrete Mathematics in Computer Science
Algorithm Analysis and Problem Complexity
Data Structures, Cryptology and Information Theory
ISBN 9783642316623
364231662X
3642316611
9783642316616
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Generalised Jacobians in Cryptography and Coding Theory / Florian Hess -- The Weight Distribution of a Family of Reducible Cyclic Codes / Gerardo Vega and Carlos A. Vázquez -- A New Method for Constructing Small-Bias Spaces from Hermitian Codes / Olav Geil, Stefano Martin and Ryutaroh Matsumoto -- An Improved Threshold Ring Signature Scheme Based on Error Correcting Codes / Pierre-Louis Cayrel, Sidi Mohamed El Yousfi Alaoui, Gerhrad Hoffmann and Pascal Véron -- Sequences and Functions Derived from Projective Planes and Their Difference Sets / Alexander Pott, Qi Wang and Yue Zhou -- On Formally Self-dual Boolean Functions in 2,4 and 6 Variables / Lin Sok and Patrick Solé -- On the Algebraic Normal Form and Walsh Spectrum of Symmetric Functions over Finite Rings / Boris Batteux -- Verification of Restricted EA-Equivalence for Vectorial Boolean Functions / Lilya Budaghyan and Oleksandr Kazymyrov -- Software Implementation of Modular Exponentiation, Using Advanced Vector Instructions Architectures / Shay Gueron and Vlad Krasnov -- Efficient Multiplication over Extension Fields / Nadia El Mrabet and Nicolas Gama -- GF(2m)GF(2m) Finite-Field Multipliers with Reduced Activity Variations / Danuta Pamula and Arnaud Tisserand -- Finding Optimal Formulae for Bilinear Maps / Razvan Barbulescu, Jérémie Detrey, Nicolas Estibals and Paul Zimmermann -- Solving Binary Linear Equation Systems over the Rationals and Binaries / Benedikt Driessen and Christof Paar -- Hashing with Elliptic Curve L-Functions / Sami Omar, Raouf Ouni and Saber Bouanani -- Square Root Algorithms for the Number Field Sieve / Emmanuel Thomé -- Improving the Berlekamp Algorithm for Binomials xn -- a / Ryuichi Harasawa, Yutaka Sueyoshi and Aichi Kudo -- On Some Permutation Binomials of the Form x\frac2n-1k+1 +axxk2n-1+1+ax over \mathbbF2nF2n : Existence and Count / Sumanta Sarkar, Srimanta Bhattacharya and Ayça Çeşmelioğlu.
Record Nr. STANFORD-a9667992
[WAIFI (Workshop) (4th : 2012 : Bochum, Germany)]  
Materiale a stampa
Lo trovi qui: Stanford University
Information security and cryptology-- ICISC 2011 : 14th International Conference, Seoul, Korea, November 30 - December 2, 2011. Revised selected papers / Howon Kim (ed.).
Information security and cryptology-- ICISC 2011 : 14th International Conference, Seoul, Korea, November 30 - December 2, 2011. Revised selected papers / Howon Kim (ed.).
Creatore [ICISC (Conference) (14th : 2011 : Seoul, Korea)]
Estensione 1 online resource (xii, 512 pages) : illustrations.
Disciplina 005.8
Accesso persona Kim, Howon
Soggetto non controllato Computer science
Computer Communication Networks
Data protection
Data encryption (Computer science)
Computer software
Computational complexity
Information Systems
Management of Computing and Information Systems
Algorithm Analysis and Problem Complexity
Systems and Data Security
Discrete Mathematics in Computer Science
ISBN 9783642319129
3642319122
3642319114
9783642319112
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Improved Integral Analysis on Tweaked Lesamnta / Yu Sasaki and Kazumaro Aoki -- Analysis of Trivium Using Compressed Right Hand Side Equations / Thorsten Ernst Schilling and Håvard Raddum -- Cryptanalysis of Round-Reduced HAS-160 / Florian Mendel, Tomislav Nad and Martin Schläffer -- An Efficient Method for Eliminating Random Delays in Power Traces of Embedded Software / Daehyun Strobel and Christof Paar -- An Efficient Leakage Characterization Method for Profiled Power Analysis Attacks / Hailong Zhang, Yongbin Zhou and Dengguo Feng -- Correcting Errors in Private Keys Obtained from Cold Boot Attacks / Hyung Tae Lee, HongTae Kim, Yoo-Jin Baek and Jung Hee Cheon -- Strong Security Notions for Timed-Release Public-Key Encryption Revisited / Ryo Kikuchi, Atsushi Fujioka, Yoshiaki Okamoto and Taiichi Saito -- Fully Secure Unidirectional Identity-Based Proxy Re-encryption / Song Luo, Qingni Shen and Zhong Chen -- Detecting Parasite P2P Botnet in eMule-like Networks through Quasi-periodicity Recognition / Yong Qiao, Yuexiang Yang, Jie He, Bo Liu and Yingzhi Zeng -- AutoDunt: Dynamic Latent Dependence Analysis for Detection of Zero Day Vulnerability / Kai Chen, Yifeng Lian and Yingjun Zhang -- Weaknesses in Current RSA Signature Schemes / Juliane Krämer, Dmitry Nedospasov and Jean-Pierre Seifert.
Back Propagation Neural Network Based Leakage Characterization for Practical Security Analysis of Cryptographic Implementations / Shuguo Yang, Yongbin Zhou, Jiye Liu and Danyang Chen -- A Revocable Group Signature Scheme with the Property of Hiding the Number of Revoked Users / Keita Emura, Atsuko Miyaji and Kazumasa Omote -- Generic Constructions for Verifiable Signcryption / Laila El Aimani -- Non-delegatable Strong Designated Verifier Signature on Elliptic Curves / Haibo Tian, Xiaofeng Chen, Zhengtao Jiang and Yusong Du -- An Improved Known Plaintext Attack on PKZIP Encryption Algorithm / Kyung Chul Jeong, Dong Hoon Lee and Daewan Han -- Synthetic Linear Analysis: Improved Attacks on CubeHash and Rabbit / Yi Lu, Serge Vaudenay, Willi Meier, Liping Ding and Jianchun Jiang -- On the Resistance of Boolean Functions against Fast Algebraic Attacks / Yusong Du, Fangguo Zhang and Meicheng Liu -- CCA Secure IB-KEM from the Computational Bilinear Diffie-Hellman Assumption in the Standard Model / Yu Chen, Liqun Chen and Zongyang Zhang -- Design, Implementation, and Evaluation of a Vehicular Hardware Security Module / Marko Wolf and Timo Gendrullis -- Efficient Modular Exponentiation-Based Puzzles for Denial-of-Service Protection / Jothi Rangasamy, Douglas Stebila, Lakshmi Kuppusamy, Colin Boyd and Juan Gonzalez Nieto -- Implementing Information-Theoretically Secure Oblivious Transfer from Packet Reordering / Paolo Palmieri and Olivier Pereira.
Compression Functions Using a Dedicated Blockcipher for Lightweight Hashing / Shoichi Hirose, Hidenori Kuwakado and Hirotaka Yoshida -- Biclique Attack on the Full HIGHT / Deukjo Hong, Bonwook Koo and Daesung Kwon -- Preimage Attacks on Step-Reduced SM3 Hash Function / Jian Zou, Wenling Wu, Shuang Wu, Bozhan Su and Le Dong -- Breaking a 3D-Based CAPTCHA Scheme / Vu Duc Nguyen, Yang-Wai Chow and Willy Susilo -- Multi-User Keyword Search Scheme for Secure Data Sharing with Fine-Grained Access Control / Fangming Zhao, Takashi Nishide and Kouichi Sakurai -- Reaction Attack on Outsourced Computing with Fully Homomorphic Encryption Schemes / Zhenfei Zhang, Thomas Plantard and Willy Susilo -- A Blind Digital Image Watermarking Method Based on the Dual-Tree Complex Discrete Wavelet Transform and Interval Arithmetic / Teruya Minamoto and Ryuji Ohura -- On the Communication Complexity of Reliable and Secure Message Transmission in Asynchronous Networks / Ashish Choudhury and Arpita Patra -- Two-Party Round-Optimal Session-Policy Attribute-Based Authenticated Key Exchange without Random Oracles / Kazuki Yoneyama -- Sufficient Condition for Identity-Based Authenticated Key Exchange Resilient to Leakage of Secret Keys / Atsushi Fujioka and Koutarou Suzuki.
Record Nr. STANFORD-a9668119
[ICISC (Conference) (14th : 2011 : Seoul, Korea)]  
Materiale a stampa
Lo trovi qui: Stanford University
Advances in bioinformatics and computational biology : 7th Brazilian Symposium on Bioinformatics, BSB 2012, Campo Grande, Brazil, August 15-17, 2012. Proceedings / Marcilio C.P. de Souto, Maricel G. Kann (eds.).
Advances in bioinformatics and computational biology : 7th Brazilian Symposium on Bioinformatics, BSB 2012, Campo Grande, Brazil, August 15-17, 2012. Proceedings / Marcilio C.P. de Souto, Maricel G. Kann (eds.).
Creatore [Brazilian Symposium on Bioinformatics (7th : 2012 : Campo Grande, Mato Grosso do Sul, Brazil)]
Estensione 1 online resource (xii, 204 pages) : illustrations.
Disciplina 570.285
Accesso persona Souto, Marcilio C. P. de.
Kann, Maricel G.
Soggetto non controllato Computer science
Computer software
Database management
Artificial intelligence
Optical pattern recognition
Bioinformatics
Computation by Abstract Devices
Algorithm Analysis and Problem Complexity
Computational Biology/Bioinformatics
ISBN 9783642319273
3642319270
9783642319266
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Transposition Diameter and Lonely Permutations / Luís Felipe I. Cunha, Luis Antonio B. Kowada, Rodrigo de A. Hausen and Celina M.H. de Figueiredo -- Extending the Algebraic Formalism for Genome Rearrangements to Include Linear Chromosomes / Pedro Feijao and Joao Meidanis -- On the Approximation Ratio of Algorithms for Sorting by Transpositions without Using Cycle Graphs / Gustavo Rodrigues Galvão and Zanoni Dias -- A Comparison of Three Heuristic Methods for Solving the Parsing Problem for Tandem Repeats / A.A. Matroud, C.P. Tuffley, D. Bryant and M.D. Hendy -- RNA Folding Algorithms with G-Quadruplexes / Ronny Lorenz, Stephan H. Bernhart, Fabian Externbrink, Jing Qin and Christian Höner zu Siederdissen, et al. -- Molecular Dynamics for Simulating the Protein Folding Process Using the 3D AB Off-Lattice Model / César Manuel Vargas Benítez and Heitor Silvério Lopes -- A Bioconductor Based Workflow for Z-DNA Region Detection and Biological Inference / Halian Vilela, Tainá Raiol, Andrea Queiroz Maranhão, Maria Emília Walter and Marcelo M. Brígido -- A Probabilistic Model Checking Approach to Investigate the Palytoxin Effects on the Na+/K+-ATPase / Fernando A.F. Braz, Jader S. Cruz, Alessandra C. Faria-Campos and Sérgio V.A. Campos -- RFMirTarget: A Random Forest Classifier for Human miRNA Target Gene Prediction / Mariana R. Mendoza, Guilherme C. da Fonseca, Guilherme L. de Morais, Ronnie Alves and Ana L.C. Bazzan, et al.
Prediction of Transcription Factor Binding Sites by Integrating DNase Digestion and Histone Modification / Eduardo G. Gusmão, Christoph Dieterich and Ivan G. Costa -- Evaluating Correlation Coefficients for Clustering Gene Expression Profiles of Cancer / Pablo A. Jaskowiak, Ricardo J.G.B. Campello and Ivan G. Costa -- Associating Genotype Sequence Properties to Haplotype Inference Errors / Rogério S. Rosa, Rafael H.S. Santos and Katia S. Guimarães -- Design and Implementation of ProteinWorldDB / Sérgio Lifschitz, Carlos Juliano M. Viana, Cristian Tristão, Marcos Catanho and Wim M. Degrave, et al. -- A Comparative Analysis of Public Ligand Databases Based on Molecular Descriptors / Ana T. Winck, Christian V. Quevedo, Karina S. Machado, Osmar Norberto de Souza and Duncan D. Ruiz -- Phylogenetic Distance Computation Using CUDA / Wellington S. Martins, Thiago F. Rangel, Divino C.S. Lucas, Elias B. Ferreira and Edson N. Caceres -- Exploring Molecular Evolution Reconstruction Using a Parallel Cloud Based Scientific Workflow / Kary A.C.S. Ocaña, Daniel de Oliveira, Felipe Horta, Jonas Dias and Eduardo Ogasawara, et al. -- How Bioinformatics Enables Livestock Applied Sciences in the Genomic Era / José Fernando Garcia, Adriana Santana do Carmo, Yuri Tani Utsunomiya, Haroldo Henrique de Rezende Neves and Roberto Carvalheiro, et al.
Record Nr. STANFORD-a9697036
[Brazilian Symposium on Bioinformatics (7th : 2012 : Campo Grande, Mato Grosso do Sul, Brazil)]  
Materiale a stampa
Lo trovi qui: Stanford University
Logic, language, information and computation : 19th International Workshop, WoLLIC 2012, Buenos Aires, Argentina, September 3-6, 2012. Proceedings / Luke Ong, Ruy de Queiroz (eds.).
Logic, language, information and computation : 19th International Workshop, WoLLIC 2012, Buenos Aires, Argentina, September 3-6, 2012. Proceedings / Luke Ong, Ruy de Queiroz (eds.).
Creatore [Workshop on Logic, Language, Information and Computation (19th : 2012 : Buenos Aires, Argentina)]
Estensione 1 online resource.
Disciplina 005.13/1
Accesso persona Ong, Luke
Queiroz, Ruy J. G. B. de.
Soggetto non controllato Computer science
Computer software
Logic design
Computational complexity
Algebra -- Data processing
Algorithm Analysis and Problem Complexity
Mathematical Logic and Formal Languages
Discrete Mathematics in Computer Science
Logics and Meanings of Programs
Computation by Abstract Devices
Symbolic and Algebraic Manipulation
ISBN 9783642326219
3642326218
9783642326202
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Formalizing Turing Machines / Andrea Asperti and Wilmer Ricciotti -- Equivalence Relations That Are S0303 Complete for Computable Reducibility (Extended Abstract) / Ekaterina Fokina, Sy Friedman and André Nies -- An Analysis of Directed Motion Expressions with Lexicalized Tree Adjoining Grammars and Frame Semantics / Laura Kallmeyer and Rainer Osswald -- Admissible Rules: From Characterizations to Applications / George Metcalfe -- On Distributed Monitoring of Asynchronous Systems / Volker Diekert and Anca Muscholl -- On the Expressive Power of Logics with Invariant Uses of Arithmetic Predicates / Nicole Schweikardt -- Logical Methods in Quantum Information Theory / Peter Selinger -- Quantifying Notes / Hans van Ditmarsch -- Linearizing Bad Sequences: Upper Bounds for the Product and Majoring Well Quasi-orders / Sergio Abriola, Santiago Figueira and Gabriel Senno -- Initiality for Typed Syntax and Semantics / Benedikt Ahrens -- Moving Arrows and Four Model Checking Results / Carlos Areces, Raul Fervari and Guillaume Hoffmann -- Standard Completeness for Extensions of MTL: An Automated Approach / Paolo Baldi, Agata Ciabattoni and Lara Spendier.
The Logic of Justified Belief Change, Soft Evidence and Defeasible Knowledge / Alexandru Baltag, Bryan Renne and Sonja Smets -- Minimization via Duality / Nick Bezhanishvili, Clemens Kupke and Prakash Panangaden -- On Some Subclasses of the Fodor-Roubens Fuzzy Bi-implication / Claudio Callejas, João Marcos and Benjamín René Callejas Bedregal -- Linearity in the Non-deterministic Call-by-Value Setting / Alejandro Díaz-Caro and Barbara Petit -- Polynomial-Time Solution of Initial Value Problems Using Polynomial Enclosures / Amin Farjudian -- Algorithmic Randomness and Ramsey Properties of Countable Homogeneous Structures / Willem L. Fouché -- Propositional Reasoning about Saturated Conditional Probabilistic Independence / Sebastian Link -- Contracting Logics / Márcio M. Ribeiro and Marcelo E. Coniglio -- A Tight Upper Bound on the Number of Variables for Average-Case k-Clique on Ordered Graphs / Benjamin Rossman -- Preservation under Substructures modulo Bounded Cores / Abhisekh Sankaran, Bharat Adsul, Vivek Madan, Pritish Kamath and Supratik Chakraborty -- A Logic of Plausible Justifications / L. Menasché Schechter -- Classic-Like Cut-Based Tableau Systems for Finite-Valued Logics / Marco Volpe, João Marcos and Carlos Caleiro.
Record Nr. STANFORD-a9708909
[Workshop on Logic, Language, Information and Computation (19th : 2012 : Buenos Aires, Argentina)]  
Materiale a stampa
Lo trovi qui: Stanford University
Reachability problems : 6th International Workshop, RP 2012, Bordeaux, France, September 17-19, 2012. Proceedings / Alain Finkel, Jérôme Leroux, Igor Potapov (eds.).
Reachability problems : 6th International Workshop, RP 2012, Bordeaux, France, September 17-19, 2012. Proceedings / Alain Finkel, Jérôme Leroux, Igor Potapov (eds.).
Creatore [RP (Workshop) (6th : 2012 : Bordeaux, France)]
Estensione 1 online resource.
Disciplina 004
Accesso persona Finkel, A. (Alain), 1958-
Leroux, Jérôme
Potapov, Igor
Soggetto non controllato Computer science
Software engineering
Computer software
Logic design
Logics and Meanings of Programs
Mathematical Logic and Formal Languages
Programming Languages, Compilers, Interpreters
Algorithm Analysis and Problem Complexity
Computation by Abstract Devices
ISBN 9783642335129
3642335128
364233511X
9783642335112
9783642326295
3642326293
Classificazione 53.89
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Fraenkel-Mostowski Sets with Non-homogeneous Atoms / Mikołaj Bojańczyk and Sławomir Lasota -- Recursive Schemes, Krivine Machines, and Collapsible Pushdown Automata / Sylvain Salvati and Igor Walukiewicz -- Decision Problems for Linear Recurrence Sequences / Joël Ouaknine and James Worrell -- Playing Games with Counter Automata / Antonín Kučera -- LTL-Model-Checking via Model Composition / Ingo Felscher -- On the Relationship between Reachability Problems in Timed and Counter Automata / Christoph Haase, Joël Ouaknine and James Worrell -- Smooth Sand Piles / Stefano Brocchi and Paolo Massazza -- Ariadne: Dominance Checking of Nonlinear Hybrid Automata Using Reachability Analysis / Luca Benvenuti, Davide Bresolin, Pieter Collins, Alberto Ferrari and Luca Geretti, et al. -- Robustness of Time Petri Nets under Guard Enlargement / S. Akshay, Loïc Hélouët, Claude Jard and Pierre-Alain Reynier -- Efficient Probabilistic Model Checking of Systems with Ranged Probabilities / Khalil Ghorbal, Parasara Sridhar Duggirala, Vineet Kahlon, Franjo Ivančić and Aarti Gupta -- On the Length of Knot Transformations via Reidemeister Moves I and II / Rafiq Saleh -- Invariants for LTI Systems with Uncertain Input / Paul Hänsch and Stefan Kowalewski.
Record Nr. STANFORD-a9726485
[RP (Workshop) (6th : 2012 : Bordeaux, France)]  
Materiale a stampa
Lo trovi qui: Stanford University
Stabilization, safety, and security of distributed systems : 14th International Symposium, SSS 2012, Toronto, Canada, October 1-4, 2012. Proceedings / Andréa W. Richa, Christian Scheideler (eds.).
Stabilization, safety, and security of distributed systems : 14th International Symposium, SSS 2012, Toronto, Canada, October 1-4, 2012. Proceedings / Andréa W. Richa, Christian Scheideler (eds.).
Creatore [SSS (Symposium) (14th : 2012 : Toronto, Ont.)]
Estensione 1 online resource.
Disciplina 004.2
Accesso persona Richa, Andréa W.
Scheideler, Christian
Soggetto non controllato Computer science
Computer Communication Networks
Software engineering
Data protection
Computer software
Logic design
Information Systems Applications (incl. Internet)
Logics and Meanings of Programs
Algorithm Analysis and Problem Complexity
Systems and Data Security
ISBN 9783642335365
3642335365
3642335357
9783642335358
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Communication-Efficient Self-stabilization in Wireless Networks / Tomoya Takimoto, Fukuhito Ooshita, Hirotsugu Kakugawa and Toshimitsu Masuzawa -- Self-stabilizing Local k-Placement of Replicas with Minimal Variance / Sven Köhler, Volker Turau and Gerhard Mentges -- Self-stabilizing Algorithm for Maximal Graph Partitioning into Triangles / Brahim Neggazi, Mohammed Haddad and Hamamache Kheddouci -- Brief Announcement: Self-stabilizing Synchronization of Arbitrary Digraphs in Presence of Faults / Mahyar R. Malekpour -- Brief Announcement: Self-stabilizing Silent Disjunction in an Anonymous Network / Ajoy K. Datta, Stéphane Devismes and Lawrence L. Larmore -- On the Self-stabilization of Mobile Oblivious Robots in Uniform Rings / Fukuhito Ooshita and Sébastien Tixeuil -- Optimal Grid Exploration by Asynchronous Oblivious Robots / Stéphane Devismes, Anissa Lamani, Franck Petit, Pascal Raymond and Sébastien Tixeuil -- Terminating Population Protocols via Some Minimal Global Knowledge Assumptions / Othon Michail, Ioannis Chatzigiannakis and Paul G. Spirakis.
Brief Announcement: The Degrading Effect of Forgetting on a Synchronizer / Matthias Függer, Alexander Kößler, Thomas Nowak and Martin Zeiner -- Brief Announcement: Mobile Agent Rendezvous on Edge Evolving Rings / Tomoko Izumi, Yukiko Yamauchi and Sayaka Kamei -- High-Level Executable Specifications of Distributed Algorithms / Yanhong A. Liu, Scott D. Stoller and Bo Lin -- Formal Verification of Security Preservation for Migrating Virtual Machines in the Cloud / Yosr Jarraya, Arash Eghtesadi, Mourad Debbabi, Ying Zhang and Makan Pourzandi -- Evaluating Practical Tolerance Properties of Stabilizing Programs through Simulation: The Case of Propagation of Information with Feedback / Jordan Adamek, Mikhail Nesterenko and Sébastien Tixeuil -- Self-stabilizing End-to-End Communication in (Bounded Capacity, Omitting, Duplicating and non-FIFO) Dynamic Networks (Extended Abstract) / Shlomi Dolev, Ariel Hanemann, Elad Michael Schiller and Shantanu Sharma -- Self-stabilizing Distributed Data Fusion / Bertrand Ducourthial, Véronique Cherfaoui and Thierry Denoeux.
From Self- to Self-stabilizing with Service Guarantee 1-hop Weight-Based Clustering / Colette Johnen and Fouzi Mekhaldi -- Brief Announcement: Verification of Stabilizing Programs with SMT Solvers / Jingshu Chen and Sandeep Kulkarni -- Brief Announcement: MP-State: State-Aware Software Model Checking of Message-Passing Systems / Can Arda Muftuoglu, Péter Bokor and Neeraj Suri -- Oblivious Assignment with m Slots / Giuseppe Ateniese, Roberto Baldoni, Silvia Bonomi and Giuseppe Antonio Di Luna -- BLIP: Non-interactive Differentially-Private Similarity Computation on Bloom filters / Mohammad Alaggan, Sébastien Gambs and Anne-Marie Kermarrec -- DQMP: A Decentralized Protocol to Enforce Global Quotas in Cloud Environments / Johannes Behl, Tobias Distler and Rüdiger Kapitza -- Brief Announcement: KARYON: Towards Safety Kernels for Cooperative Vehicular Systems / António Casimiro, Jörg Kaiser, Johan Karlsson, Elad Michael Schiller and Philippas Tsigas, et al. -- Brief Announcement: Arbitrators in the Security Infrastructure / Shlomi Dolev, Niv Gilboa and Ofer Hermoni.
Optimization in a Self-stabilizing Service Discovery Framework for Large Scale Systems / Eddy Caron, Florent Chuffart, Anissa Lamani and Franck Petit -- Scalable Byzantine Agreement with a Random Beacon / Olumuyiwa Oluwasanmi and Jared Saia -- On Finding Better Friends in Social Networks / Philipp Brandes and Roger Wattenhofer -- Brief Announcement: Detecting Users' Connectivity on Online Social Networks / Na Li, Sajal K. Das and Nan Zhang -- Brief Announcement: Discovering and Assessing Fine-Grained Metrics in Robot Networks Protocols / François Bonnet, Xavier Défago, Franck Petit, Maria Gradinariu Potop-Butucaru and Sébastien Tixeuil -- All-to-All Gradecast Using Coding with Byzantine Failures / John F. Bridgman III and Vijay K. Garg -- Fault-Tolerant Exploration of an Unknown Dangerous Graph by Scattered Agents / Paola Flocchini, Matthew Kellett, Peter C. Mason and Nicola Santoro -- A Theory of Fault Recovery for Component-Based Models / Borzoo Bonakdarpour, Marius Bozga and Gregor Gössler.
Record Nr. STANFORD-a9745609
[SSS (Symposium) (14th : 2012 : Toronto, Ont.)]  
Materiale a stampa
Lo trovi qui: Stanford University
Theory and practice of natural computing : first International Conference, TPNC 2012, Tarragona, Spain, October 2-4, 2012. Proceedings / edited by Adrian-Horia Dediu, Carlos Martín-Vide, Bianca Truthe
Theory and practice of natural computing : first International Conference, TPNC 2012, Tarragona, Spain, October 2-4, 2012. Proceedings / edited by Adrian-Horia Dediu, Carlos Martín-Vide, Bianca Truthe
Creatore [TPNC (Conference) (1st : 2012 : Tarragona, Spain)]
Estensione 1 online resource.
Disciplina 004/.3
Accesso persona Horia Dediu, Adrian
Martín Vide, Carlos
Truthe, Bianca
Soggetto non controllato Computer science
Computer Communication Networks
Software engineering
Computer software
Artificial intelligence
Algorithm Analysis and Problem Complexity
Computation by Abstract Devices
Information Systems Applications (incl. Internet)
ISBN 9783642338601
3642338607
3642338593
9783642338595
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Hybrid Metaheuristics in Combinatorial Optimization: A Tutorial / Christian Blum -- Theory and Applications of DNA Codeword Design / Max H. Garzon -- Scalable Neuroevolution for Reinforcement Learning / Faustino Gomez -- Differential Evolution Algorithm: Recent Advances / Ponnuthurai Nagaratnam Suganthan -- The Fragility of Quantum Information? / Barbara M. Terhal -- Computational Intelligence in Astronomy -- A Win-Win Situation / Peter Tiňo and Somak Raychaudhury -- A Multi-objective Approach to Solve the Location Areas Problem / Víctor Berrocal-Plaza, Miguel A. Vega-Rodríguez, Juan M. Sánchez-Pérez and Juan A. Gómez-Pulido -- Nature-Inspired Algorithms Applied to an Efficient and Self-adaptive Resources Selection Model for Grid Applications / María Botón-Fernández, Francisco Prieto Castrillo and Miguel A. Vega-Rodríguez -- Attacks on Fixed Apparatus Quantum Key Distribution Schemes / Michel Boyer, Ran Gelles and Tal Mor -- Cellular Automaton Based Motion Planning Algorithms for Mobile Sensor Networks / Salimur Choudhury, Kai Salomaa and Selim G. Akl.
An Easy Automata Based Algorithm for Testing Coding Properties of Infinite Sets of (DNA) Words / Michelangelo Cianciulli, Rocco Zaccagnino and Rosalba Zizza -- On the Security of Interferometric Quantum Key Distribution / Ran Gelles and Tal Mor -- Generating DNA Code Words Using Forbidding and Enforcing Systems / Daniela Genova and Kalpana Mahalingam -- Wolbachia Infection Improves Genetic Algorithms as Optimization Procedure / Mauricio Guevara-Souza and Edgar E. Vallejo -- Neural Networks Solving Free Final Time Optimal Control Problem / Tibor Kmet and Maria Kmetova -- Comparing Different Operators and Models to Improve a Multiobjective Artificial Bee Colony Algorithm for Inferring Phylogenies / Sergio Santander-Jiménez, Miguel A. Vega-Rodríguez, Juan A. Gómez-Pulido and Juan M. Sánchez-Pérez -- Tissue P Systems with Cell Separation: Upper Bound by PSPACE / Petr Sosík and Luděk Cienciala -- Maze Exploration with Molecular-Scale Walkers / Darko Stefanovic.
Record Nr. STANFORD-a9745632
[TPNC (Conference) (1st : 2012 : Tarragona, Spain)]  
Materiale a stampa
Lo trovi qui: Stanford University
Pervasive computing and the networked world : Joint International Conference, ICPCA/SWS 2012, Istanbul, Turkey, November 28-30, 2012, Revised selected papers / Qiaohong Zu, Bo Hu, Atilla Elçi (eds.).
Pervasive computing and the networked world : Joint International Conference, ICPCA/SWS 2012, Istanbul, Turkey, November 28-30, 2012, Revised selected papers / Qiaohong Zu, Bo Hu, Atilla Elçi (eds.).
Creatore [International Conference on Pervasive Computing and Applications (2012 : Istanbul, Turkey)]
Estensione 1 online resource.
Disciplina 004
Accesso persona Zu, Qiaohong
Hu, Bo.
Elçi, Atilla
Accesso convegno IEEE Symposium on Web Society (2012 : Istanbul, Turkey)
Soggetto non controllato Computer science
Computer Communication Networks
Software engineering
Computer software
Information storage and retrieval systems
Special Purpose and Application-Based Systems
Algorithm Analysis and Problem Complexity
ISBN 9783642370151
3642370152
9783642370144
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Online and Offline Determination of QT and PR Interval and QRS Duration in Electrocardiography / Martin Bachler, Christopher Mayer -- Predicting Reader's Emotion on Chinese Web News Articles / Shuotian Bai, Yue Ning, Sha Yuan -- Clustering Algorithm Based on Triple-Stranded and 3-armed DNA Model / Xue Bai, Xiaoling Ren, Xiyu Liu -- Synthesis of Real-Time Applications for Internet of Things / Sławomir Bąk, Radosław Czarnecki -- iScope -- Viewing Biosignals on Mobile Devices / Christian Breitwieser, Oliver Terbu -- CloudSVM: Training an SVM Classifier in Cloud Computing Systems / F. Ozgur Catak, M. Erdal Balaban -- A Document-Based Data Warehousing Approach for Large Scale Data Mining / Hualei Chai, Gang Wu, Yuan Zhao -- Smart Navigation for Firefighters in Hazardous Environments: A Ban-Based Approach / Mhammed Chammem, Sarra Berrahal -- Personalized Recommendation Based on Implicit Social Network of Researchers / Cheng Chen, Chengjie Mao, Yong Tang.
Effect on Generalization of Using Relational Information in List-Wise Algorithms / Guohua Chen, Yong Tang, Feiyi Tang -- The Optimization of Two-Stage Planetary Gear Train Based on Mathmatica / Tianpei Chen, Zhengyan Zhang, Dingfang Chen -- Mobi-CoSWAC: An Access Control Approach for Collaborative Scientific Workflow in Mobile Environment / Zhaocan Chen [and others] -- A Survey of Learning to Rank for Real-Time Twitter Search / Fuxing Cheng [and others]Download PDF (233KB) -- An Ontology-Based Information Extraction Approach for Résumés / Duygu Çelik, Atilla Elçi -- Measure Method and Metrics for Network Characteristics in Service Systems / Haihong E, Xiaojia Jin, Junjie Tong -- AIM: A New Privacy Preservation Algorithm for Incomplete Microdata Based on Anatomy / Qiyuan Gong, Junzhou Luo, Ming Yang -- An Overview of Transfer Learning and Computational CyberPsychology / Zengda Guan, Tingshao Zhu -- A Formal Approach to Model the Interaction between User and AmI Environment / Jian He, Fan Yu.
Multi-Robot Traveling Problem Constrained by Connectivity / Cheng Hu, Yun Wang, Fei Ben -- An Application Study on Vehicle Routing Problem Based on Improved Genetic Algorithm / Shang Huang, Xiufen Fu, Peiwen Chen -- Cost-Effective and Distributed Mobility Management Scheme in Sensor-Based PMIPv6 Networks with SPIG Support / Soonho Jang, Hana Jang, Jongpil Jeong -- The Research on Virtual Assembly Technology and Its Application Based on OSG / Jia Li [and others] -- An Enhanced Security Mechanism for Web Service Based Systems / Wenbin Jiang [and others] -- Data-Apart Hybrid Centralized Scheduling in Coordinated Multi-Point System with Non-ideal Backhaul Link / Huiqin Li, Wenan Zhou, Xiaotao Ren -- Geo-Ontology-Based Object-Oriented Spatiotemporal Data Modeling / Jingwen Li, Yanyan Liang, Jizheng Wan -- A New Object-Oriented Approach towards GIS Seamless Spatio-Temporal Data Model Construction / Jingwen Li, Jizheng Wan, Yanling Lu -- Mechanical Research of the Planet Carrier in Wind Turbine Gear Increaser Based on Co-simulation of ADAMS-ANSYS / Taotao Li, Dingfang Chen, Pengfei Long.
PAPR Reduction for 802.16e by Clipping and Tone Reservation Based on Amplitude Scale Factor / Tianjiao Liu [and others] -- A DCaaS Model of DNA Computing for Solving a Class of Nonlinear Problems / Xiyu Liu, Laisheng Xiang, Xiaolin Yu -- How to Dynamically Protect Data in Mobile Cloud Computing? / Hongliang Lu, Xiao Xia, Xiaodong Wang -- Enriching Context-Oriented Programming with Structured Context Representation / Jun Ma [and others] -- Analysis of the Square Pillar Electromagnetic Scattering under the PML Absorbing Boundary Condition / Xiangfang Mao, Jie Jin, Jinsheng Yang -- A Framework Based on Grid for Large-Scale Risk Files Analysis / Jiarui Niu, Bin Gong, Song Li -- A Cache-Sensitive Hash Indexing Structure for Main Memory Database / Xiaoqing Niu, Xiaojia Jin, Jing Han -- SCADA System Security, Complexity, and Security Proof / Reda Shbib, Shikun Zhou, Khalil Alkadhimi -- Cranduler: A Dynamic and Reusable Scheduler for Cloud Infrastructure Service / Xuanhua Shi [and others].
Multi-objective Virtual Machine Selection for Migrating in Virtualized Data Centers / Aibo Song [and others] -- Study on Virtual Simulation of the New Screw Pile Hammers Based on a Combination of Multi-software Platforms / Yangyang Su, Li Bo, Dingfang Chen -- The Interference Effect of Group Diversity on Social Information Foraging / Guichuan Sun, Wenjun Hou, Yu Cui -- Hierarchical Clustering with Improved P System / Jie Sun, Xiyu Liu -- A New Positioning Algorithm in Mobile Network / Shaohua Teng, Shiyao Huang, Yingxiang Huo -- Performance Analysis with Different Sensing Results in the Cognitive Radio Networks / Yinglei Teng, Yanan Xiao, Gang Cheng -- QoS Routing for LEO Satellite Networks / Aida Nathalie Urquizo Medina, Gao Qiang -- A Slot Assignment Algorithm Based on Nodes' Residual Energy / Qianping Wang, Xiang Xu, Jin Liu -- Heterogeneity-Aware Optimal Power Allocation in Data Center Environments / Wei Wang [and others].
A Discussion on Intelligent Management System for Centralized Plotting and Filing of Railway Design Institute / Xiangqing Wang, Dingfang Chen, QiaoHong Zu -- Optimizing Interactive Performance for Desktop-Virtualization Environment / Xiaolin Wang, Binbin Zhang, Yingwei Luo -- Design and Implementation of Clusters Monitor System Based on Android / Yan Wang, Bin Gong, Song Li -- An Empirical Comparative Study of Decentralized Load Balancing Algorithms in Clustered Storage Environment / Yun Wang [and others] -- A Contact-History Based Routing for Publish-Subscribe Scheme in Hierarchical Opportunistic Networks / Zhen Wang, Yong Zhang, Mei Song -- Study of E-commerce-Based Third-Party Logistics Alliance System / Zhengguo Wang, Guoqian Jiang, Hanbin Xiao -- A Fast Indexing Algorithm Optimization with User Behavior Pattern / Zhu Wang, Tiejian Luo, Yanxiang Xu -- An FPGA Real-Time Spectrum Sensing for Cognitive Radio in Very High Throughput WLAN / Zhigang Wen [and others].
Trust Services-Oriented Multi-Objects Workflow Scheduling Model for Cloud Computing / Wenan Tan, Yong Sun, Guangzhen Lu -- Scalable SAPRQL Querying Processing on Large RDF Data in Cloud Computing Environment / Buwen Wu, Hai Jin, Pingpeng Yuan -- Iterative Receiver with Joint Channel Estimation and Decoding in LTE Downlink / Weijie Xiao, Qiong Li, Xinxue Zhao -- The Research and Design of an Applied Electronic Lottery System / Yuhong Xing -- Scheme of Cognitive Channel Allocation for Multiple Services without Spectrum Handover / Haoman Xu [and others] -- A Content Aware and Name Based Routing Network Speed Up System / Ke Xu [and others] -- Solving Directed Hamilton Path Problem in Parallel by Improved SN P System / Jie Xue, Xiyu Liu -- Application of TDMI in Government Informatization / Liyou Yang, Hongyu Zhao, Yongqiang Wang -- Design of Control System for Hydraulic Lifting Platform with Jack-Up Wind-Power Installation Vessel / Xuejin Yang, Dingfang Chen, Mingwang Dong.
Research on Motion Control Technology for Virtual Assembly Platform / Yanfang Yang, Wengeng Guo, Jia Li -- Efficient Data Collection with Spatial Clustering in Time Constraint WSN Applications / Zhimin Yang, Kaijun Ren, Chang Liu -- The Effect of Critical Transmission Range in Epidemic Data Propagation for Mobile Ad-hoc Social Network / Hong Yao, Huawei Huang, Qingzhong Liang -- Waveform Decreasing Multi-copy Based Routing in Low Node Density DTNs / Chen Yu, Longbo Zhang, Hai Jin -- Research on Cooperative Scheduling at Container Terminal under Uncertainties / Meng Yu, Yun Cai, Zhangye Zhao -- A New Hyper-parameters Selection Approach for Support Vector Machines to Predict Time Series / Yanhua Yu, Junde Song, Zhijun Ren -- Location Context Aware Collective Filtering Algorithm / Wenjun Yue [and others] -- Clustering Analysis Research Based on DNA Genetic Algorithm / Wenke Zang, Xiyu Liu, Yanlong Wang -- Massive Electronic Records Processing for Digital Archives in Cloud / Zhang Guigang, Xue Sixin, Feng Huiling.
Research and Analysis of Method of Ranking Micro-blog Search Results Based on Binary Logistic Model / Jing Zhang, Wen-jun Hou -- A Kinect Based Golf Swing Reorganization and Segmentation System / Lichao Zhang, Jui-Chien Hsieh, Shaozi Li -- An EEG Based Pervasive Depression Detection for Females / Xiaowei Zhang, Bin Hu, Lin Zhou -- Opportunistic Networks Architecture with Fixed Infrastructure Nodes / Yong Zhang [and others] -- An Improved DNA Computing Method for Elevator Scheduling Problem / Hong-Chao Zhao, Xi-Yu Liu -- Campus Network Operation and Maintenance Management and Service Based on ITIL Service Desk / Hong-yu Zhao, Yong-qiang Wang, Xue-yan Zhang -- Research on the Application of the P System with Active Membranes in Clustering / Yuzhen Zhao, Xiyu Liu, Jianhua Qu -- Enhanced ALOHA Algorithm for Chirp Spread Spectrum Positioning / Zhengwen Yang, Qiang Wu, Yongqiang Lu -- A Case Study of Integrating IoT Technology in Bridge Health Monitoring / Qiaohong Zu, Xingyu Xu.
Record Nr. STANFORD-a10092750
[International Conference on Pervasive Computing and Applications (2012 : Istanbul, Turkey)]  
Materiale a stampa
Lo trovi qui: Stanford University
Natural and artificial models in computation and biology : 5th International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2013, Mallorca, Spain, June 10-14, 2013. Proceedings. Part I / José Manuel Ferrández Vicente [and others] (eds.).
Natural and artificial models in computation and biology : 5th International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2013, Mallorca, Spain, June 10-14, 2013. Proceedings. Part I / José Manuel Ferrández Vicente [and others] (eds.).
Creatore [International Work-Conference on the Interplay Between Natural and Artificial Computation (5th : 2013 : Mallorca, Spain)]
Estensione 1 online resource (xxv, 436 pages).
Disciplina 006.3
Accesso persona Ferrández Vicente, José Manuel
Soggetto non controllato Computer science
Computer software
Artificial intelligence
Computation by Abstract Devices
Algorithm Analysis and Problem Complexity
Computational Biology/Bioinformatics
Pattern Recognition
Information Systems Applications (incl. Internet)
ISBN 9783642386374
3642386377
3642386369
9783642386367
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto A Neural Network Simulation of Spreading Depression / Daniel Castello Paiva, Diego Andina -- Robustness of Artificial Metaplasticity Learning to Erroneous Input Distribution Assumptions / Marta de Pablos Álvaro, Diego Andina -- Neuron Threshold Variability in an Olfactory Model Improves Odorant Discrimination / Aaron Montero, Ramon Huerta -- Contrast Enhancement Mechanisms in the Retinothalamic Circuitry / Rubén Ferreiroa -- Neural Spike Activation in Hippocampal Cultures Using Hebbian Electrical Stimulation / V. Lorente, José Manuel Ferrández-Vicente -- Thalamo-Cortical Network and Seizure Dynamics: A Computational Study / F. Vallone, S. Chillemi, M. Barbi -- Modelling Prior and Retrospective Awareness of Actions / Dilhan J. Thilakarathne, Jan Treur -- Emotional Stress Detection in Contradictory versus Self-consistent Speech by Means of Voice Biometrical Signature / Victoria Rodellar-Biarge -- Vision Substitution Experiments with See ColOr / Guido Bologna, Juan Diego Gomez, Thierry Pun.
Robot Cognitive Stimulation for the Elderly / Adriana Tapus, Alexandra-Maria Vieru -- The Intelligent Room for Elderly Care / Oscar Martinez Mozos, Tokuo Tsuji -- A Method for Estimating Patient Specific Parameters for Simulation of Tissue Deformation by Finite Element Analysis / Ken'ichi Morooka, Shuji Sonoki, Ryo Kurazume -- REEM Service Robot: How May I Help You? / Luca Marchionni, Jordi Pages, Jordi Adell -- Training Study Approaches for a SVM-Based BCI: Adaptation to the Model vs Adaptation to the User / Enrique Hortal, Eduardo Iáñez, Andrés Úbeda -- Evaluation of a Telepresence Robot for the Elderly: A Spanish Experience / Javier Gonzalez-Jimenez, Cipriano Galindo -- Empirical Analysis of the Integration of a BCI and an EOG Interface to Control a Robot Arm / Eduardo Iáñez, Andrés Úbeda, Enrique Hortal -- Interplay between Natural and Artificial Intelligence in Training Autistic Children with Robots / Emilia Barakova, Tino Lourens.
Use of Multilayer Perceptron vs. Distance Measurement Methods for Classification of Exercises in Telerehabilitation / Oscar Marin-Alonso, Daniel Ruiz-Fernández -- Application of Artificial Metaplasticity Neural Networks to Cardiac Arrhythmias Classification / Y. Benchaib, Alexis Marcano-Cedeño -- SBRS: Bridging the Gap between Biomedical Research and Clinical Practice / Santiago Timón-Reina, Rafael Martínez-Tomás -- Perceptual Analysis of Speech Signals from People with Parkinson's Disease / J.R. Orozco-Arroyave, J.D. Arias-Londoño -- Characterization of Speech from Amyotrophic Lateral Sclerosis by Neuromorphic Processing / Pedro Gómez-Vilda, Ana Rita M. Londral -- Fast Approximate Inference in Hybrid Bayesian Networks Using Dynamic Discretisation / Helge Langseth, David Marquez, Martin Neil -- An Influence Diagram for the Collaboration in E-learning Environments / Antonio R. Anaya, Manuel Luque -- A Bayesian Model for Lexical Availability of Chilean High School Students in Mathematics / Pedro Salcedo L., Anita Ferreira C.
Heart Sound Segmentation in Noisy Environments / C. Castro Hoyos, S. Murillo-Rendón -- Kernel Spectral Clustering for Motion Tracking: A First Approach / D. Peluffo-Ordóñez, S. García-Vega -- Multi-labeler Analysis for Bi-class Problems Based on Soft-Margin Support Vector Machines / S. Murillo-Rendón, D. Peluffo-Ordóñez -- New Cues in Low-Frequency of Speech for Automatic Detection of Parkinson's Disease / E.A. Belalcazar-Bolaños -- Computer-Aided Detection of Microcalcifications in Digital Mammograms to Support Early Diagnosis of Breast Cancer / Nayid Triana -- Influence of Interactions between Virtual Channels in Cochlear Implants / Ernesto A. Martínez-Rams -- Dealing with Bullying through Genetic Algorithms / M. Angélica Pinninghoff, Pedro L. Salcedo -- Using Ant Colony Optimization for Edge Detection in Gray Scale Images / Ricardo Contreras, M. Angélica Pinninghoff -- Modeling the Effect of Fixational Eye Movements in Natural Scenes / Andrés Olmedo-Payá, Antonio Martínez-Álvarez.
A Novel Approach for Quantitative Analysis of 3D Phosphenes / C. Soto-Sanchez, Andrés Olmedo-Payá -- Inverse Allometry: Foundations for a Bioinspired LVH-Prediction Model / María Paula Bonomini, Fernando Ingallina -- Cochlear Implant: Transcutaneous Transmission Link with OFDM / Vicente Garcerán-Hernández -- Deficitary Nervous Excitability and Subjective Contraction of Time: Time-Dispersive Model / Isabel Gonzalo-Fonrodona, Miguel A. Porras -- Hybrid Tabu Search for Fuzzy Job Shop / Juan José Palacios, Jorge Puente -- Statistical Characteristics of Portal Images and Their Influence in Noise Reduction / Antonio González-López -- Self Organized Biogeography Algorithm for Clustering / Leila Hamdad, Anissa Achab -- Automatic Orientation of Functional Brain Images for Multiplataform Software / I. Alvarez Illán, Juan Manuel Górriz -- Solving Number Series with Simple Recurrent Networks / Stefan Glüge, Andreas Wendemuth -- Detection Method for Phase Synchronization in a Population of Spiking Neurons / Manuel Lopez, Francisco B. Rodríguez.
Cognitive robotics -- Natural computing -- Wetware computation -- Quality of life technologies -- Biomedical and industrial perception applications -- Web intelligence and neuroscience.
Record Nr. STANFORD-a10173832
[International Work-Conference on the Interplay Between Natural and Artificial Computation (5th : 2013 : Mallorca, Spain)]  
Materiale a stampa
Lo trovi qui: Stanford University