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.
Security protocols XX [electronic resource] : 20th International Workshop, Cambridge, UK, April 12-13, 2012, Revised selected papers / Bruce Christianson [and others] (eds.).
Security protocols XX [electronic resource] : 20th International Workshop, Cambridge, UK, April 12-13, 2012, Revised selected papers / Bruce Christianson [and others] (eds.).
Creatore [International Workshop on Security Protocols (20th : 2012 : Cambridge, England)]
Estensione 1 online resource.
Disciplina 005.8
Accesso persona Christianson, Bruce
Genere/Forma Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Computer Communication Networks
Data encryption (Computer science)
Computer software
Information Systems
Management of Computing and Information Systems
Computers and Society
ISBN 9783642356940
364235694X
3642356931
9783642356933
Classificazione 54.62
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Introduction: Bringing Protocols to Life (Transcript of Discussion) / Bruce Christianson -- Secure Internet Voting Protocol for Overseas Military Voters / Todd R. Andel, Alec Yasinsac -- Secure Internet Voting Protocol for Overseas Military Voters (Transcript of Discussion) / Todd R. Andel -- Self-enforcing Electronic Voting / Feng Hao, Brian Randell, Dylan Clarke -- Self-enforcing Electronic Voting (Transcript of Discussion) / Feng Hao -- Approaches to Modelling Security Scenarios with Domain-Specific Languages / Phillip J. Brooke, Richard F. Paige, Christopher Power -- Approaches to Modelling Security Scenarios with Domain-Specific Languages (Transcript of Discussion) / Phillip J. Brooke -- The Casino and the OODA Loop / Sandy Clark, Matt Blaze, Jonathan M. Smith -- The Casino and the OODA Loop: Why Our Protocols Always Eventually Fail (Transcript of Discussion) / Matt Blaze -- Statistical Metrics for Individual Password Strength / Joseph Bonneau.
Statistical Metrics for Individual Password Strength (Transcript of Discussion) / Joseph Bonneau -- Street-Level Trust Semantics for Attribute Authentication / Tiffany Hyun-Jin Kim, Virgil Gligor, Adrian Perrig -- Street-Level Trust Semantics for Attribute Authentication (Transcript of Discussion) / Virgil Gligor -- Analysis of Issues and Challenges of E-Voting in the UK / Dylan Clarke, Feng Hao, Brian Randell -- Analysis of Issues and Challenges of E-Voting in the UK (Transcript of Discussion) / Dylan Clarke -- Protocol Governance: The Elite, or the Mob? / Ross Anderson -- Protocol Governance: The Elite, or the Mob? (Transcript of Discussion) / Ross Anderson -- Usability Issues in Security / Yuko Murayama, Yasuhiro Fujihara, Yoshia Saito, Dai Nishioka -- Usability Issues in Security (Transcript of Discussion) / Yuko Murayama -- Usable Privacy by Visual and Interactive Control of Information Flow / Shah Mahmood, Yvo Desmedt.
Usable Privacy by Visual and Interactive Control of Information Flow (Transcript of Discussion) / Shah Mahmood -- Sense-And-Trace: A Privacy Preserving Distributed Geolocation Tracking System / Eyüp S. Canlar, Mauro Conti, Bruno Crispo, Roberto Di Pietro -- Sense-And-Trace: A Privacy Preserving Distributed Geolocation Tracking System (Transcript of Discussion) / Mauro Conti -- Am I in Good Company? A Privacy-Protecting Protocol for Cooperating Ubiquitous Computing Devices / Oliver Stannard, Frank Stajano -- Am I in Good Company? A Privacy-Protecting Protocol for Cooperating Ubiquitous Computing Devices (Transcript of Discussion) / Frank Stajano -- Stayin' Alive: Aliveness as an Alternative to Authentication / Jonathan Anderson, Robert N.M. Watson -- Stayin' Alive: Aliveness as an Alternative to Authentication (Transcript of Discussion) / Jonathan Anderson -- Paul Revere Protocols / Paul Syverson -- Paul Revere Protocols (Transcript of Discussion) / Paul Syverson.
Record Nr. NYU-004389354
[International Workshop on Security Protocols (20th : 2012 : Cambridge, England)]  
Materiale a stampa
Lo trovi qui: New York University
Biomedical engineering systems and technologies : 4th International Joint Conference, BIOSTEC 2011, Rome, Italy, January 26-29, 2011, Revised selected papers / Ana Fred, Joaquim Filipe, Hugo Gamboa (eds.).
Biomedical engineering systems and technologies : 4th International Joint Conference, BIOSTEC 2011, Rome, Italy, January 26-29, 2011, Revised selected papers / Ana Fred, Joaquim Filipe, Hugo Gamboa (eds.).
Creatore [BIOSTEC (Conference) (4th : 2011 : Rome, Italy)]
Estensione 1 online resource (xv, 396 pages) : illustrations.
Disciplina 610.28
Accesso persona Fred, Ana, editor
Filipe, Joaquim, editor
Gamboa, Hugo, editor
Genere/Forma Congresses
Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Computer software
Data mining
Computer simulation
Bioinformatics
Algorithm Analysis and Problem Complexity
Pattern Recognition
Simulation and Modeling
ISBN 9783642297526
3642297528
9783642297519
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Invited Speaker -- Informatics-Driven Infectious Disease Research / Bruno Sobral, Chunhong Mao, Maulik Shukla, Dan Sullivan, Chengdong Zhang -- Part I: Biomedical Electronics and Devices -- A Simple and Low Cost Device for Automatically Supervising Urine Output of Critical Patients / Abraham Otero, Francisco Palacios, Andrey Apalkov, Roemi Fernández -- Photoplethysmogram Processing Using an Adaptive Single Frequency Phase Vocoder Algorithm / Walter Karlen, Chris Petersen, Jennifer Gow, J. Mark Ansermino, Guy Dumont -- A Configurable Integrated Circuit for Biomedical Signal Acquisition / Jakob M. Tomasik, Wjatscheslaw Galjan, Kristian M. Hafkemeyer, Dietmar Schroeder -- Movement Disorder Assessment and Attenuation Techniques for Removal of Tremor / Wesley Teskey, Mohamed Elhabiby, Naser El-Sheimy.
A New Approach for Diagnostic Investigation of Total Hip Replacement Loosening / Catherine Ruther, Ulrich Timm, Andreas Fritsche, Hartmut Ewald, Wolfram Mittelmeier -- Wearable Monitoring Unit for Swimming Performance Analysis / Ana S. Silva, Antonio J. Salazar, Carla M. Borges, Miguel V. Correia -- Part II: Bioinformatics Models, Methods and Algorithms -- 3D Protein Surface Segmentation through Mathematical Morphology / Virginio Cantoni, Riccardo Gatti, Luca Lombardi -- Simple Tool for Semi-automated Evaluation of Yeast Colony Images / Jan Schier, Bohumil Kovář -- Reconstructing Gapless Ancestral Metabolic Networks / Esa Pitkänen, Mikko Arvas, Juho Rousu -- Discretized Kinetic Models for Abductive Reasoning in Systems Biology / Gabriel Synnaeve, Katsumi Inoue, Andrei Doncescu, Hidetomo Nabeshima, Yoshitaka Kameya.
Quasi-Steady State Approximations and Multistability in the Double Phosphorylation-Dephosphorylation Cycle / Guido Dell'Acqua, Alberto Maria Bersani -- Improving Latent Semantic Analysis of Biomedical Literature Integrating UMLS Metathesaurus and Biomedical Pathways Databases / Francesco Abate, Elisa Ficarra, Andrea Acquaviva, Enrico Macii -- Part III: Bio-inspired Systems and Signal Processing -- Towards a Patient-Specific Model of Lung Volume Using Absolute Electrical Impedance Tomography (aEIT) / Suzani Mohamad Samuri, George Panoutsos, Mahdi Mahfouf, G.H. Mills, M. Denaï -- Auditory Processing Inspired Robust Feature Enhancement for Speech Recognition / Hari Krishna Maganti, Marco Matassoni -- A Robust and Efficient Spatio-Temporal Feature Selection for Interpretation of EEG Single Trials / Yehudit Meir-Hasson, Andrey Zhdanov, Talma Hendler, Nathan Intrator -- Time Series Clustering Algorithm for Two-Modes Cyclic Biosignals / Neuza Nunes, Tiago Araújo, Hugo Gamboa.
Non-contact Pulse Wave Velocity Assessment Using Optical Methods / T. Pereira, M. Cabeleira, P. Matos, E. Borges, V. Almeida, H.C. Pereira, J. Cardoso -- Fractal-Based Brain State Recognition from EEG in Human Computer Interaction / Olga Sourina, Qiang Wang, Yisi Liu, Minh Khoa Nguyen -- Understanding Cerebral Activations during the Observation of Marketing Stimuli: A Neuroelectrical Perspective / Giovanni Vecchiato, Laura Astolfi, Fabrizio De Vico Fallani, Jlenia Toppi, Fabio Aloise -- Part IV: Health Informatics -- Semantic-Based Conformance Checking of Computer Interpretable Medical Guidelines / M.A. Grando, M.H. Schonenberg, W. van der Aalst -- REST-Style Architecture and the Development of Mobile Health Care Solutions / François Andry, Lin Wan, Daren Nicholson.
Biomedical Literature Retrieval Based on Patient Information / Ana Jimenez-Castellanos, Izaskun Fernandez, David Perez-Rey, Elisa Viejo -- Evaluating Information Security Effectiveness with Health Professionals / Robin Krens, Marco Spruit, Nathalie Urbanus -- Using Social Network Analysis to Study the Knowledge Sharing Patterns of Health Professionals Using Web 2.0 Tools / Samuel Alan Stewart, Syed Sibte Raza Abidi -- A Semantic-Based Platform for Medical Image Storage and Sharing Using the Grid / Daniela Giordano, Carmelo Pino, Concetto Spampinato, Marco Fargetta, Angela Di Stefano -- Securing the Access to Electronic Health Records on Mobile Phones / Alexandra Dmitrienko, Zecir Hadzic, Hans Löhr, Ahmad-Reza Sadeghi, Marcel Winandy -- Similarity Grouping of Human Sleep Recordings Using EEG and ECG / Amro Khasawneh, Sergio A. Alvarez, Carolina Ruiz, Shivin Misra, Majaz Moonis.
Record Nr. NYU-004389872
[BIOSTEC (Conference) (4th : 2011 : Rome, Italy)]  
Materiale a stampa
Lo trovi qui: New York University
Selected areas in cryptography : 19th International Conference, SAC 2012, Windsor, ON, Canada, August 15-16, 2012, Revised selected papers / Lars R. Knudsen, Huapeng Wu (eds.).
Selected areas in cryptography : 19th International Conference, SAC 2012, Windsor, ON, Canada, August 15-16, 2012, Revised selected papers / Lars R. Knudsen, Huapeng Wu (eds.).
Creatore [SAC (Conference) (19th : 2012 : Windsor, Ont.)]
Estensione 1 online resource.
Disciplina 005.8/2
Accesso persona Knudsen, Lars, 1962-
Wu, Huapeng, 1965-
Genere/Forma Congresses
Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Computer Communication Networks
Data protection
Data encryption (Computer science)
Computer software
Systems and Data Security
Algorithm Analysis and Problem Complexity
ISBN 9783642359996
364235999X
3642359981
9783642359989
Classificazione 54.62
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Cryptanalysis -- An All-In-One Approach to Differential Cryptanalysis for Small Block Ciphers / Martin R. Albrecht, Gregor Leander -- A New Method for Solving Polynomial Systems with Noise over F2 and Its Applications in Cold Boot Key Recovery / Zhenyu Huang, Dongdai Lin -- Cryptanalysis of the Xiao -- Lai White-Box AES Implementation / Yoni De Mulder, Peter Roelse, Bart Preneel -- Digital Signatures -- A Practical Leakage-Resilient Signature Scheme in the Generic Group Model / David Galindo, Srinivas Vivek -- Forward Secure Signatures on Smart Cards / Andreas Hülsing, Christoph Busold, Johannes Buchmann -- The Stafford Tavares Lecture -- Extracts from the SHA-3 Competition / Vincent Rijmen -- Stream Ciphers -- Cryptanalysis of the "Kindle" Cipher / Alex Biryukov, Gaëtan Leurent, Arnab Roy -- Cryptographically Strong de Bruijn Sequences with Large Periods / Kalikinkar Mandal, Guang Gong -- Cryptanalysis of the Loiss Stream Cipher / Alex Biryukov, Aleksandar Kircanski, Amr M. Youssef.
Implementations -- Efficient Arithmetic on Elliptic Curves over Fields of Characteristic Three / Reza R. Farashahi, Hongfeng Wu, Chang-An Zhao -- Efficient Implementation of Bilinear Pairings on ARM Processors / Gurleen Grewal, Reza Azarderakhsh, Patrick Longa, Shi Hu, David Jao -- Towards Faster and Greener Cryptoprocessor for Eta Pairing on Supersingular Elliptic Curve over F21223 / Jithra Adikari, M. Anwar Hasan, Christophe Negre -- Feasibility and Practicability of Standardized Cryptography on 4-bit Micro Controllers / Nisha Jacob, Sirote Saetang, Chien-Ning Chen, Sebastian Kutzner, San Ling -- Block Cipher Cryptanalysis -- All Subkeys Recovery Attack on Block Ciphers: Extending Meet-in-the-Middle Approach / Takanori Isobe, Kyoji Shibutani -- Improved Cryptanalysis of the Block Cipher KASUMI / Keting Jia, Leibo Li, Christian Rechberger, Jiazhe Chen, Xiaoyun Wang -- Meet-in-the-Middle Technique for Integral Attacks against Feistel Ciphers / Yu Sasaki, Lei Wang -- Lattices -- Attacking (EC)DSA Given Only an Implicit Hint / Jean-Charles Faugère, Christopher Goyet, Guénaël Renault.
Lattice Reduction for Modular Knapsack / Thomas Plantard, Willy Susilo, Zhenfei Zhang -- Hash Functions -- The Boomerang Attacks on the Round-Reduced Skein-512 / Hongbo Yu, Jiazhe Chen, Xiaoyun Wang -- Boomerang and Slide-Rotational Analysis of the SM3 Hash Function / Aleksandar Kircanski, Yanzhao Shen, Gaoli Wang, Amr M. Youssef -- Hash Functions -- Provable Security of BLAKE with Non-ideal Compression Function / Elena Andreeva, Atul Luykx, Bart Mennink -- Block Cipher Constructions -- \textnormal\textscTWINE : A Lightweight Block Cipher for Multiple Platforms / Tomoyasu Suzaki, Kazuhiko Minematsu, Sumio Morioka, Eita Kobayashi -- Recursive Diffusion Layers for (Lightweight) Block Ciphers and Hash Functions / Shengbao Wu, Mingsheng Wang, Wenling Wu -- Miscellaneous -- Private Stream Search at Almost the Same Communication Cost as a Regular Search / Matthieu Finiasz, Kannan Ramchandran -- An Optimal Key Enumeration Algorithm and Its Application to Side-Channel Attacks / Nicolas Veyrat-Charvillon, Benoît Gérard, Mathieu Renauld, François-Xavier Standaert.
Record Nr. NYU-004389908
[SAC (Conference) (19th : 2012 : Windsor, Ont.)]  
Materiale a stampa
Lo trovi qui: New York University
Runtime verification : third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised selected papers / Shaz Qadeer, Serdar Tasiran (eds.).
Runtime verification : third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised selected papers / Shaz Qadeer, Serdar Tasiran (eds.).
Creatore [RV (Conference) (3rd : 2012 : Istanbul, Turkey)]
Estensione 1 online resource.
Disciplina 005.1/4
Accesso persona Qadeer, Shaz
Tasiran, Serdar
Genere/Forma Congresses
Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Software engineering
Computer software
Algorithm Analysis and Problem Complexity
Logics and Meanings of Programs
Programming Languages, Compilers, Interpreters
Mathematical Logic and Formal Languages
ISBN 9783642356322
364235632X
3642356311
9783642356315
Classificazione 54.52
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Dynamic Analyses for Data-Race Detection / John Erickson, Stephen Freund, Madanlal Musuvathi -- Symbolic Execution / Cristian Cadar, Koushik Sen -- Dynamic Livelock Analysis of Multi-threaded Programs / Malay K. Ganai -- Scalable Dynamic Partial Order Reduction / Jiri Simsa, Randy Bryant, Garth Gibson, Jason Hickey -- ANaConDA: A Framework for Analysing Multi-threaded C/C++ Programs on the Binary Level / Jan Fiedor, Tomáš Vojnar -- PaRV: Parallelizing Runtime Detection and Prevention of Concurrency Errors / Ismail Kuru, Hassan Salehe Matar, Adrián Cristal, Gokcen Kestor -- It's the End of the World as We Know It (And I Feel Fine) / Jim R. Larus -- Detecting Unread Memory Using Dynamic Binary Translation / Jon Eyolfson, Patrick Lam -- Sparse Coding for Specification Mining and Error Localization / Wenchao Li, Sanjit A. Seshia -- Sliding between Model Checking and Runtime Verification / Martin Leucker.
Runtime Verification and Enforcement for Android Applications with RV-Droid / Yliès Falcone, Sebastian Currea, Mohamad Jaber -- Temporal Monitors for TinyOS / Doina Bucur -- Real-Time Runtime Verification on Chip / Thomas Reinbacher, Matthias Függer, Jörg Brauer -- BabelTrace: A Collection of Transducers for Trace Validation / Aouatef Mrad, Samatar Ahmed, Sylvain Hallé, Éric Beaudet -- Quantitative Trace Analysis Using Extended Timing Diagrams / Andreas Richter, Klaus Kabitzsch -- Maximal Causal Models for Sequentially Consistent Systems / Traian Florin Şerbănuţă, Feng Chen, Grigore Roşu -- Monitoring Compliance Policies over Incomplete and Disagreeing Logs / David Basin, Felix Klaedtke, Srdjan Marinovic, Eugen Zălinescu -- Adaptive Runtime Verification / Ezio Bartocci, Radu Grosu, Atul Karmarkar, Scott A. Smolka -- Malware Riding Badware: Challenges in Analyzing (Malicious/Benign) Web Applications / Giovanni Vigna -- MapReduce for Parallel Trace Validation of LTL Properties / Benjamin Barre, Mathieu Klein, Maxime Soucy-Boivin.
Path-Aware Time-Triggered Runtime Verification / Samaneh Navabpour, Borzoo Bonakdarpour, Sebastian Fischmeister -- Fast-Forward Runtime Monitoring -- An Industrial Case Study / Christian Colombo, Gordon J. Pace -- Runtime Enforcement of Timed Properties / Srinivas Pinisetty, Yliès Falcone, Thierry Jéron, Hervé Marchand -- Monitoring Dense-Time, Continuous-Semantics, Metric Temporal Logic / Kevin Baldor, Jianwei Niu -- Rewrite-Based Statistical Model Checking of WMTL / Peter Bulychev, Alexandre David, Kim G. Larsen, Axel Legay -- From Runtime Verification to Runtime Intervention and Adaptation / Martin Rinard -- Certifying Solutions for Numerical Constraints / Eva Darulova, Viktor Kuncak -- Profiling Field Initialisation in Java / Stephen Nelson, David J. Pearce, James Noble -- Defense against Stack-Based Attacks Using Speculative Stack Layout Transformation / Benjamin D. Rodes, Anh Nguyen-Tuong, Jason D. Hiser, John C. Knight -- Incremental Runtime Verification of Probabilistic Systems / Vojtěch Forejt, Marta Kwiatkowska, David Parker, Hongyang Qu.
Record Nr. NYU-004390118
[RV (Conference) (3rd : 2012 : Istanbul, Turkey)]  
Materiale a stampa
Lo trovi qui: New York University
Security and privacy protection in information processing systems : 28th IFIP TC 11 International Conference, SEC 2013, Auckland, New Zealand, July 8-10, 2013. Proceedings / Lech J. Janczewski, Henry B. Wolfe, Sujeet Shenoi (eds.).
Security and privacy protection in information processing systems : 28th IFIP TC 11 International Conference, SEC 2013, Auckland, New Zealand, July 8-10, 2013. Proceedings / Lech J. Janczewski, Henry B. Wolfe, Sujeet Shenoi (eds.).
Creatore [IFIP TC11 International Conference on Information Security (28th : 2013 : Auckland, N.Z.)]
Estensione 1 online resource (xiii, 436 pages) : illustrations.
Disciplina 005.8
Accesso persona Janczewski, Lech, 1943-editor
Wolfe, Henry B., editor.
Shenoi, Sujeet, editor
Genere/Forma Congresses
Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Computer Communication Networks
Data encryption (Computer science)
Computer software
Information Systems
Management of Computing and Information Systems
Computers and Society
Algorithm Analysis and Problem Complexity
Information Systems Applications (incl. Internet)
ISBN 9783642392184
3642392180
9783642392177
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Malware, authentication and authorization -- Network security/cryptography -- Software security, policy compliance and obligations -- Privacy protection -- Risk analysis and security metrics -- Social engineering -- Security management/forensics.
Record Nr. NYU-004423413
[IFIP TC11 International Conference on Information Security (28th : 2013 : Auckland, N.Z.)]  
Materiale a stampa
Lo trovi qui: New York University
Pattern recognition in bioinformatics : 8th IAPR International Conference, PRIB 2013, Nice, France, June 17-20, 2013. Proceedings / Alioune Ngom, Enrico Formenti, Jin-Kao Hao, Xing-Ming Zhao, Twan van Laarhoven (eds.).
Pattern recognition in bioinformatics : 8th IAPR International Conference, PRIB 2013, Nice, France, June 17-20, 2013. Proceedings / Alioune Ngom, Enrico Formenti, Jin-Kao Hao, Xing-Ming Zhao, Twan van Laarhoven (eds.).
Creatore [PRIB (Meeting) (8th : 2013 : Nice, France)]
Estensione 1 online resource (xix, 290 pages) : illustrations.
Disciplina 570.285
Accesso persona Ngom, Alioune, editor
Formenti, Enrico, 1968-editor
Hao, J.-K. (Jin-Kao), editor.
Zhao, Xing-Ming, editor
Laarhoven, Twan van, editor
Genere/Forma Congresses
Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Computer software
Artificial intelligence
Optical pattern recognition
Bioinformatics
Computational Biology/Bioinformatics
Health Informatics
Pattern Recognition
ISBN 9783642391590
3642391591
9783642391583
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Bio-molecular networks and pathway analysis -- Learning, classification, and clustering -- Data mining and knowledge discovery -- Protein: structure, function, and interaction -- Motifs, sites, and sequence analysis.
Record Nr. NYU-004423424
[PRIB (Meeting) (8th : 2013 : Nice, France)]  
Materiale a stampa
Lo trovi qui: New York University
Informatics engineering and information science : International Conference, ICIEIS 2011, Kuala Lumpur, Malaysia, November 14-16, 2011, proceedings. Part III / Azizah Abd Manaf [and others] (eds.).
Informatics engineering and information science : International Conference, ICIEIS 2011, Kuala Lumpur, Malaysia, November 14-16, 2011, proceedings. Part III / Azizah Abd Manaf [and others] (eds.).
Creatore [ICIEIS 2011 (2011 : Kuala Lumpur, Malaysia)]
Estensione 1 online resource (xxvi, 717 pages) : color illustrations.
Disciplina 004
Accesso persona Azizah Abd Manaf
Genere/Forma Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Computer Communication Networks
Computer software
Database management
Information storage and retrieval systems
Artificial intelligence
Algorithm Analysis and Problem Complexity
Information Storage and Retrieval
ISBN 9783642254628
3642254624
9783642254611
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. NYU-004372490
[ICIEIS 2011 (2011 : Kuala Lumpur, Malaysia)]  
Materiale a stampa
Lo trovi qui: New York University
Graph drawing : 20th International Symposium, GD 2012, Redmond, WA, USA, September 19-21, 2012, Revised selected papers / Walter Didimo, Maurizio Patrignani (eds.).
Graph drawing : 20th International Symposium, GD 2012, Redmond, WA, USA, September 19-21, 2012, Revised selected papers / Walter Didimo, Maurizio Patrignani (eds.).
Creatore [GD (Symposium) (20th : 2012 : Redmond, Wash.)]
Estensione 1 online resource.
Disciplina 006.6
Accesso persona Didimo, Walter
Patrignani, Maurizio
Genere/Forma Congresses
Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Computer Communication Networks
Computer software
Algebra -- Data processing
Discrete Mathematics in Computer Science
Symbolic and Algebraic Manipulation
ISBN 9783642367632
3642367631
3642367623
9783642367625
Classificazione 54.73
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Invited Talks -- Flips / Prosenjit Bose -- Interactive Network Exploration to Derive Insights: Filtering, Clustering, Grouping, and Simplification / Ben Shneiderman, Cody Dunne -- Papers -- Counting Plane Graphs: Cross-Graph Charging Schemes / Micha Sharir, Adam Sheffer -- Disconnectivity and Relative Positions in Simultaneous Embeddings / Thomas Bläsius, Ignaz Rutter -- Graph Drawing in the Cloud: Privately Visualizing Relational Data Using Small Working Storage / Michael T. Goodrich, Olga Ohrimenko, Roberto Tamassia -- Graph Drawing by Classical Multidimensional Scaling: New Perspectives / Mirza Klimenta, Ulrik Brandes -- Progress on Partial Edge Drawings / Till Bruckdorfer, Sabine Cornelsen, Carsten Gutwenger, Michael Kaufmann -- Implementing a Partitioned 2-Page Book Embedding Testing Algorithm / Patrizio Angelini, Marco Di Bartolomeo, Giuseppe Di Battista -- Shrinking the Search Space for Clustered Planarity / Markus Chimani, Karsten Klein -- Open Rectangle-of-Influence Drawings of Non-triangulated Planar Graphs / Soroush Alamdari, Therese Biedl.
The Approximate Rectangle of Influence Drawability Problem / Emilio Di Giacomo, Giuseppe Liotta, Henk Meijer -- Planar Lombardi Drawings for Subcubic Graphs / David Eppstein -- Circle-Representations of Simple 4-Regular Planar Graphs / Michael A. Bekos, Chrysanthi N. Raftopoulou -- Smooth Orthogonal Layouts / Michael A. Bekos, Michael Kaufmann, Stephen G. Kobourov, Antonios Symvonis -- Toward a Theory of Planarity: Hanani-Tutte and Planarity Variants / Marcus Schaefer -- Planar Graphs as VPG-Graphs / Steven Chaplick, Torsten Ueckerdt -- On Representing Graphs by Touching Cuboids / David Bremner, William Evans, Fabrizio Frati, Laurie Heyer, Stephen G. Kobourov -- Touching Triangle Representations for 3-Connected Planar Graphs / Stephen G. Kobourov, Debajyoti Mondal, Rahnuma Islam Nishat -- Proportional Contact Representations of 4-Connected Planar Graphs / Md. Jawaherul Alam, Stephen G. Kobourov -- Edge-Weighted Contact Representations of Planar Graphs / Martin Nöllenburg, Roman Prutkin, Ignaz Rutter.
Column-Based Graph Layouts / Gregor Betz, Christoph Doll, Andreas Gemsa, Ignaz Rutter, Dorothea Wagner -- Upward Planarity Testing via SAT / Markus Chimani, Robert Zeranski -- Self-approaching Graphs / Soroush Alamdari, Timothy M. Chan, Elyot Grant, Anna Lubiw, Vinayak Pathak -- Homotopic C -Oriented Routing / Kevin Verbeek -- Kinetic and Stationary Point-Set Embeddability for Plane Graphs / Zahed Rahmati, Sue H. Whitesides, Valerie King -- Point-Set Embeddability of 2-Colored Trees / Fabrizio Frati, Marc Glisse, William J. Lenhart, Giuseppe Liotta, Tamara Mchedlidze -- Covering Paths for Planar Point Sets / Adrian Dumitrescu, Csaba D. Tóth -- Grid Drawings and the Chromatic Number / Martin Balko -- On the Density of Maximal 1-Planar Graphs / Franz J. Brandenburg, David Eppstein, Andreas Gleißner, Michael T. Goodrich -- Testing Maximal 1-Planarity of Graphs with a Rotation System in Linear Time / Peter Eades, Seok-Hee Hong, Naoki Katoh, Giuseppe Liotta, Pascal Schweitzer.
Tangles and Degenerate Tangles / Andres J. Ruiz-Vargas -- Density Theorems for Intersection Graphs of t-Monotone Curves / Andrew Suk -- The Visible Perimeter of an Arrangement of Disks / Gabriel Nivasch, János Pach, Gábor Tardos -- Canonical Ordering for Triangulations on the Cylinder, with Applications to Periodic Straight-Line Drawings / Luca Castelli Aleardi, Olivier Devillers, Éric Fusy -- Planar Preprocessing for Spring Embedders / J. Joseph Fowler, Stephen G. Kobourov -- StreamEB: Stream Edge Bundling. / Quan Nguyen, Peter Eades, Seok-Hee Hong -- Force-Directed Graph Drawing Using Social Gravity and Scaling / Michael J. Bannister, David Eppstein, Michael T. Goodrich, Lowell Trott -- Drawing Clustered Graphs as Topographic Maps / Martin Gronemann, Michael Jünger -- Visualizing Streaming Text Data with Dynamic Graphs and Maps / Emden R. Gansner, Yifan Hu, Stephen North -- On the Usability of Lombardi Graph Drawings / Helen C. Purchase, John Hamer, Martin Nöllenburg, Stephen G. Kobourov.
Drawing Metro Maps Using Bézier Curves / Martin Fink, Herman Haverkort, Martin Nöllenburg, Maxwell Roberts, Julian Schuhmann -- Mental Map Preservation Helps User Orientation in Dynamic Graphs / Daniel Archambault, Helen C. Purchase -- Clustering, Visualizing, and Navigating for Large Dynamic Graphs / Arnaud Sallaberry, Chris Muelder, Kwan-Liu Ma -- DAGView: An Approach for Visualizing Large Graphs / Evgenios M. Kornaropoulos, Ioannis G. Tollis -- Time-Space Maps from Triangulations / Sandra Bies, Marc van Kreveld -- Graph Drawing in TikZ / Till Tantau -- Optical Graph Recognition / Christopher Auer, Christian Bachmaier, Franz J. Brandenburg, Andreas Gleißner -- Interactive Random Graph Generation with Evolutionary Algorithms / Benjamin Bach, Andre Spritzer, Evelyne Lutton, Jean-Daniel Fekete -- Posters -- Visualizing Large Hierarchically Clustered Graphs with a Landscape Metaphor / Jan Christoph Athenstädt, Robert Görke, Marcus Krug, Martin Nöllenburg.
On Sparse Maximal 2-Planar Graphs / Christopher Auer, Franz J. Brandenburg, Andreas Gleißner, Kathrin Hanauer -- Testing Planarity by Switching Trains / Christopher Auer, Andreas Gleißner, Kathrin Hanauer, Sebastian Vetter -- Weak Dominance Drawings for Directed Acyclic Graphs / Evgenios M. Kornaropoulos, Ioannis G. Tollis -- Planar Lombardi Drawings of Outerpaths / Maarten Löffler, Martin Nöllenburg -- The First Simple Symmetric 11-Venn Diagram / Khalegh Mamakani, Frank Ruskey -- On the Faithfulness of Graph Visualizations / Quan Nguyen, Peter Eades, Seok-Hee Hong -- More Graph Drawing in the Cloud: Data-Oblivious st-Numbering, Visibility Representations, and Orthogonal Drawing of Biconnected Planar Graphs / Michael T. Goodrich, Joseph A. Simons -- Workshop on Theory and Practice of Graph Drawing -- Theory and Practice of Graph Drawing / Tim Dwyer, Fabrizio Frati, Seok-Hee Hong, Karsten Klein -- Graph Drawing Contest -- Graph Drawing Contest Report / Christian A. Duncan, Carsten Gutwenger, Lev Nachmanson, Georg Sander.
Record Nr. NYU-004390465
[GD (Symposium) (20th : 2012 : Redmond, Wash.)]  
Materiale a stampa
Lo trovi qui: New York University
Developments in language theory : 17th International Conference, DLT 2013, Marne-la-Vallée, France, June 18-21, 2013. Proceedings / Marie-Pierre Béal, Olivier Carton (eds.).
Developments in language theory : 17th International Conference, DLT 2013, Marne-la-Vallée, France, June 18-21, 2013. Proceedings / Marie-Pierre Béal, Olivier Carton (eds.).
Creatore [Conference on Developments in Language Theory (17th : 2013 : Marne-la-Vallée, France)]
Estensione 1 online resource (xiii, 460 pages) : illustrations.
Disciplina 005.13/1
Accesso persona Béal, Marie-Pierre
Carton, Olivier
Genere/Forma Congresses
Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Computer software
Computational complexity
Computation by Abstract Devices
Mathematical Logic and Formal Languages
Algorithm Analysis and Problem Complexity
Discrete Mathematics in Computer Science
ISBN 9783642387715
3642387713
3642387705
9783642387708
Classificazione 54.10
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Invited Talks. Ultrametric Finite Automata and Turing Machines / Rūsiņš Freivalds -- Recompression: Word Equations and Beyond / Artur Jeż -- Joint Spectral Characteristics: A Tale of Three Disciplines / Raphaël M. Jungers -- Unambiguous Finite Automata / Christof Löding -- An Explicit Formula for the Intersection of Two Polynomials of Regular Languages / Jean-Éric Pin.
Regular Papers. Two Dimensional Prefix Codes of Pictures / Marcella Anselmo, Dora Giammarresi, Maria Madonia -- Adjacent Ordered Multi-Pushdown Systems / Mohamed Faouzi Atig, K. Narayan Kumar, Prakash Saivasan -- Cuts in Regular Expressions / Martin Berglund, Henrik Björklund, Frank Drewes, Brink van der Merwe, Bruce Watson -- Quantum Finite Automata and Linear Context-Free Languages: A Decidable Problem / Alberto Bertoni, Christian Choffrut, Flavio D'Alessandro -- On the Asymptotic Abelian Complexity of Morphic Words / Francine Blanchet-Sadri, Nathan Fox -- Strict Bounds for Pattern Avoidance / Francine Blanchet-Sadri, Brent Woodhouse -- A Fresh Approach to Learning Register Automata / Benedikt Bollig, Peter Habermehl, Martin Leucker, Benjamin Monmege -- Suffixes, Conjugates and Lyndon Words / Silvia Bonomo, Sabrina Mantaci, Antonio Restivo, Giovanna Rosone, Marinella Sciortino -- Extremal Words in the Shift Orbit Closure of a Morphic Sequence / James D. Currie, Narad Rampersad, Kalle Saari -- Inner Palindromic Closure / Jürgen Dassow, Florin Manea, Robert Mercaş, Mike Müller -- On the Dual Post Correspondence Problem / Joel D. Day, Daniel Reidenbach, Johannes C. Schneider.
One-Way Multi-Head Finite Automata with Pebbles But No States / Martin Kutrib, Andreas Malcher, Matthias Wendlandt -- Regular Expressions with Binding over Data Words for Querying Graph Databases / Leonid Libkin, Tony Tan, Domagoj Vrgoč -- Factorizations and Universal Automaton of Omega Languages / Vincent Carnino, Sylvain Lombardy -- Deciding Determinism of Unary Languages Is coNP-Complete / Ping Lu, Feifei Peng, Haiming Chen -- Ultimate Periodicity of b-Recognisable Sets: A Quasilinear Procedure / Victor Marsault, Jacques Sakarovitch -- 3-Abelian Cubes Are Avoidable on Binary Alphabets / Robert Mercaş, Aleksi Saarela -- Repetition Avoidance in Circular Factors / Hamoon Mousavi, Jeffrey Shallit -- Operator Precedence ω-Languages / Federica Panella, Matteo Pradella, Violetta Lonati, Dino Mandrioli -- New Results on Deterministic Sgraffito Automata / Daniel Průša, František Mráz, Friedrich Otto -- On the Number of Abelian Bordered Words / Narad Rampersad, Michel Rigo, Pavel Salimov -- Proof of a Phase Transition in Probabilistic Cellular Automata / Damien Regnault -- Languages with a Finite Antidictionary: Growth-Preserving Transformations and Available Orders of Growth / Arseny M. Shur.
Brzozowski Algorithm Is Generically Super-Polynomial for Deterministic Automata / Sven De Felice, Cyril Nicaud -- A Coloring Problem for Sturmian and Episturmian Words / Aldo de Luca, Elena V. Pribavkina, Luca Q. Zamboni -- The Chomsky-Schützenberger Theorem for Quantitative Context-Free Languages / Manfred Droste, Heiko Vogler -- Operational Characterization of Scattered MCFLs / Zoltán Ésik, Szabolcs Iván -- Abelian Repetitions in Sturmian Words / Gabriele Fici, Alessio Langiu, Thierry Lecroq, Arnaud Lefebvre, Filippo Mignosi -- Composition Closure of ε-Free Linear Extended Top-Down Tree Transducers / Zoltán Fülöp, Andreas Maletti -- Subword Complexity and k-Synchronization / Daniel Goč, Luke Schaeffer, Jeffrey Shallit -- Some Decision Questions Concerning the Time Complexity of Language Acceptors / Oscar H. Ibarra, Bala Ravikumar -- Unambiguous Conjunctive Grammars over a One-Letter Alphabet / Artur Jeż, Alexander Okhotin -- Alternative Automata Characterization of Piecewise Testable Languages / Ondřej Klíma, Libor Polák -- Finite Automata with Advice Tapes / Uğur Küçük, A.C. Cem Say, Abuzer Yakaryılmaz.
Record Nr. NYU-004402759
[Conference on Developments in Language Theory (17th : 2013 : Marne-la-Vallée, France)]  
Materiale a stampa
Lo trovi qui: New York University
Artificial general intelligence : 6th International Conference, AGI 2013, Beijing, China, July 31-August 3, 2013 : proceedings / Kai-Uwe Kühnberger, Sebastian Rudolph, Pei Wang (eds.).
Artificial general intelligence : 6th International Conference, AGI 2013, Beijing, China, July 31-August 3, 2013 : proceedings / Kai-Uwe Kühnberger, Sebastian Rudolph, Pei Wang (eds.).
Creatore [AGI Conference (6th : 2013 : Beijing, China)]
Estensione 1 online resource (xii, 205 pages) : illustrations.
Disciplina 006.3
Accesso persona Kühnberger, Kai-Uwe, editior of compilation
Rudolph, Sebastian (Computer scientist), editor
Wang, Pei, 1958-editor
Genere/Forma Congresses
Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Software engineering
Computer software
Artificial intelligence
Optical pattern recognition
Pattern Recognition
Algorithm Analysis and Problem Complexity
ISBN 9783642395215
364239521X
9783642395208
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Full Papers. Utilizing Cognitive Mechanisms in the Analysis of Counterfactual Conditionals by AGI Systems / Ahmed M.H. Abdel-Fattah, Ulf Krumnack, Kai-Uwe Kühnberger -- When Almost Is Not Even Close: Remarks on the Approximability of HDTP / Tarek Richard Besold, Robert Robere -- Lojban++: An Interlingua for Communication between Humans and AGIs / Ben Goertzel -- Integrating Feature Selection into Program Learning / Ben Goertzel [and others] -- Integrating Deep Learning Based Perception with Probabilistic Logic via Frequent Pattern Mining / Ben Goertzel, Ted Sanders, Jade O'Neill -- Predictive Heuristics for Decision-Making in Real-World Environments / Helgi Páll Helgason [and others] -- Knowledge Representation, Learning, and Problem Solving for General Intelligence / Seng-Beng Ho, Fiona Liausvia -- Metacomputations and Program-Based Knowledge Representation / Vitaly Khudobakhshov.
Towards a Programming Paradigm for Control Systems with High Levels of Existential Autonomy / Eric Nivel, Kristinn R. Thórisson -- Universal Induction with Varying Sets of Combinators / Alexey Potapov, Sergey Rodionov -- Modeling Two-Player Games in the Sigma Graphical Cognitive Architecture / David V. Pynadath [and others] -- Model Construction in General Intelligence / Stefan Schneider [and others] -- Resource-Bounded Machines are Motivated to be Effective, Efficient, and Curious / Bas R. Steunebrink [and others] -- Bounded Kolmogorov Complexity Based on Cognitive Models / Claes Strannegård [and others] -- A Cognitive Architecture Based on Dual Process Theory / Claes Strannegård [and others] -- Learning Agents with Evolving Hypothesis Classes / Peter Sunehag, Marcus Hutter -- Natural Language Processing by Reasoning and Learning / Pei Wang.
Technical Communications. A Note on Tractability and Artificial Intelligence / Tarek Richard Besold, Robert Robere -- Human-Level Artificial Intelligence Must Be a Science / Tarek Richard Besold -- The Role of Specialized Intelligent Body-System Networks in Guiding General-Purpose Cognition / Ben Goertzel -- Special Session on Cognitive Robotics and AGI. Knowledgeable Talking Robots / Luigia Carlucci Aiello [and others] -- Cognitivist and Emergent Cognition -- An Alternative Perspective / Michael James Gratton -- Skill Learning and Inference Framework / Sang Hyoung Lee, Il Hong Suh.
Record Nr. NYU-004420386
[AGI Conference (6th : 2013 : Beijing, China)]  
Materiale a stampa
Lo trovi qui: New York University