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.
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
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
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
Approximation and Online Algorithms : 9th International Workshop, WAOA 2011, Saarbrücken, Germany, September 8-9, 2011, Revised selected papers / Roberto Solis-Oba, Giuseppe Persiano (eds.).
Approximation and Online Algorithms : 9th International Workshop, WAOA 2011, Saarbrücken, Germany, September 8-9, 2011, Revised selected papers / Roberto Solis-Oba, Giuseppe Persiano (eds.).
Creatore [WAOA 2011 (2011 : Saarbrücken, Germany)]
Estensione 1 online resource (x, 273 pages).
Disciplina 005.1
Accesso persona Solis-Oba, Roberto
Persiano, Giuseppe
Genere/Forma Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Computer software
Electronic data processing
Computational complexity
Algorithms
Algorithm Analysis and Problem Complexity
Discrete Mathematics in Computer Science
Numeric Computing
Information Systems Applications (incl. Internet)
ISBN 9783642291166
3642291163
3642291155
9783642291159
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Approximation Algorithms for Scheduling and Packing Problems / Klaus Jansen -- Approximating Subset k-Connectivity Problems / Zeev Nutov -- Learning in Stochastic Machine Scheduling / Sebastián Marbán, Cyriel Rutten and Tjark Vredeveld -- An Online Algorithm Optimally Self-tuning to Congestion for Power Management Problems / Wolfgang Bein, Naoki Hatta, Nelson Hernandez-Cons, Hiro Ito and Shoji Kasahara, et al. -- Single Approximation for Biobjective Max TSP / Cristina Bazgan, Laurent Gourvès, Jérôme Monnot and Fanny Pascual -- Parameterized Approximation Algorithms for Hitting Set / Ljiljana Brankovic and Henning Fernau -- Approximation Algorithms for the Maximum Leaf Spanning Tree Problem on Acyclic Digraphs / Nadine Schwartges, Joachim Spoerhase and Alexander Wolff -- Optimization over Integers with Robustness in Cost and Few Constraints / Kai-Simon Goetzmann, Sebastian Stiller and Claudio Telha -- A Lower Bound on Deterministic Online Algorithms for Scheduling on Related Machines without Preemption / Tomáš Ebenlendr and Jiří Sgall -- Scheduling Jobs on Identical and Uniform Processors Revisited / Klaus Jansen and Christina Robenek.
Approximation Algorithms for Fragmenting a Graph against a Stochastically-Located Threat / David B. Shmoys and Gwen Spencer -- Non-clairvoyant Weighted Flow Time Scheduling on Different Multi-processor Models / Jianqiao Zhu, Ho-Leung Chan and Tak-Wah Lam -- A New Perspective on List Update: Probabilistic Locality and Working Set / Reza Dorrigiv and Alejandro López-Ortiz -- OnlineMin: A Fast Strongly Competitive Randomized Paging Algorithm / Gerth Stølting Brodal, Gabriel Moruz and Andrei Negoescu -- Faster and Simpler Approximation of Stable Matchings / Katarzyna Paluch -- Simpler 3/4-Approximation Algorithms for MAX SAT / Anke van Zuylen -- On Online Algorithms with Advice for the k-Server Problem / Marc P. Renault and Adi Rosén -- Improved Lower Bound for Online Strip Packing / (Extended Abstract) / Rolf Harren and Walter Kern -- Competitive Router Scheduling with Structured Data / Yishay Mansour, Boaz Patt-Shamir and Dror Rawitz -- Approximation with a Fixed Number of Solutions of Some Biobjective Maximization Problems / Cristina Bazgan, Laurent Gourvès and Jérôme Monnot -- Generalized Maximum Flows over Time / Martin Groß and Martin Skutella -- The Price of Anarchy for Minsum Related Machine Scheduling / Ruben Hoeksma and Marc Uetz.
Record Nr. NYU-004622260
[WAOA 2011 (2011 : Saarbrücken, Germany)]  
Materiale a stampa
Lo trovi qui: New York University
LATIN 2012: Theoretical informatics : 10th Latin American Symposium, Arequipa, Peru, April 16-20, 2012. Proceedings / David Fernández-Baca (ed.).
LATIN 2012: Theoretical informatics : 10th Latin American Symposium, Arequipa, Peru, April 16-20, 2012. Proceedings / David Fernández-Baca (ed.).
Creatore [Latin American Symposium on Theoretical Informatics (10th : 2012 : Arequipa, Peru)]
Estensione 1 online resource (xvii, 669 pages).
Disciplina 004
Accesso persona Fernández-Baca, David
Genere/Forma Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Computer Communication Networks
Computer software
Electronic data processing
Computational complexity
Algorithm Analysis and Problem Complexity
Discrete Mathematics in Computer Science
Numeric Computing
Information Systems Applications (incl. Internet)
Computation by Abstract Devices
ISBN 9783642293443
3642293441
9783642293436
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto A Generalization of the Convex Kakeya Problem / Hee-Kap Ahn, Sang Won Bae, Otfried Cheong, Joachim Gudmundsson and Takeshi Tokuyama, et al. -- Low Complexity Scheduling Algorithm Minimizing the Energy for Tasks with Agreeable Deadlines / Eric Angel, Evripidis Bampis and Vincent Chau -- Bichromatic 2-Center of Pairs of Points / Esther M. Arkin, José Miguel Díaz-Báñez, Ferran Hurtado, Piyush Kumar and Joseph S.B. Mitchell, et al. -- Erdős-Rényi Sequences and Deterministic Construction of Expanding Cayley Graphs / Vikraman Arvind, Partha Mukhopadhyay and Prajakta Nimbhorkar -- A Better Approximation Ratio and an IP Formulation for a Sensor Cover Problem / Rafael da Ponte Barbosa and Yoshiko Wakabayashi -- On the Advice Complexity of the Knapsack Problem / Hans-Joachim Böckenhauer, Dennis Komm, Richard Královič and Peter Rossmanith -- Reoptimization of Some Maximum Weight Induced Hereditary Subgraph Problems / Nicolas Boria, Jérôme Monnot and Vangelis Th. Paschos -- On Plane Constrained Bounded-Degree Spanners / Prosenjit Bose, Rolf Fagerberg, André van Renssen and Sander Verdonschot.
Space-Efficient Approximation Scheme for Circular Earth Mover Distance / Joshua Brody, Hongyu Liang and Xiaoming Sun -- Density Classification on Infinite Lattices and Trees / Ana Bušić, Nazim Fatès, Jean Mairesse and Irène Marcovici -- Coloring Planar Homothets and Three-Dimensional Hypergraphs / Jean Cardinal and Matias Korman -- An Equivariance Theorem with Applications to Renaming / Armando Castañeda, Maurice Herlihy and Sergio Rajsbaum -- Renaming Is Weaker Than Set Agreement But for Perfect Renaming: A Map of Sub-consensus Tasks / Armando Castañeda, Damien Imbs, Sergio Rajsbaum and Michel Raynal -- Pseudorandomness of a Random Kronecker Sequence / Eda Cesaratto and Brigitte Vallée -- Revisiting the Cache Miss Analysis of Multithreaded Algorithms / Richard Cole and Vijaya Ramachandran -- Parameterized Complexity of MaxSat above Average / Robert Crowston, Gregory Gutin, Mark Jones, Venkatesh Raman and Saket Saurabh -- Solving the 2-Disjoint Connected Subgraphs Problem Faster Than 2n / Marek Cygan, Marcin Pilipczuk, Michał Pilipczuk and Jakub Onufry Wojtaszczyk.
On the Non-progressive Spread of Influence through Social Networks / MohammadAmin Fazli, Mohammad Ghodsi, Jafar Habibi, Pooya Jalaly Khalilabadi and Vahab Mirrokni, et al. -- Forbidden Patterns / Johannes Fischer, Travis Gagie, Tsvi Kopelowitz, Moshe Lewenstein and Veli Mäkinen, et al. -- Structural Complexity of Multiobjective NP Search Problems / Krzysztof Fleszar, Christian Glaßer, Fabian Lipp, Christian Reitwießner and Maximilian Witek -- k-Gap Interval Graphs / Fedor V. Fomin, Serge Gaspers, Petr Golovach, Karol Suchan and Stefan Szeider, et al. -- Decidability Classes for Mobile Agents Computing / Pierre Fraigniaud and Andrzej Pelc -- NE Is Not NP Turing Reducible to Nonexponentially Dense NP Sets / Bin Fu -- Efficient Arbitrary and Resolution Proofs of Unsatisfiability for Restricted Tree-Width / Martin Fürer -- Indexed Multi-pattern Matching / Travis Gagie, Kalle Karhu, Juha Kärkkäinen, Veli Mäkinen and Leena Salmela, et al. -- New Lower Bound on Max Cut of Hypergraphs with an Application to r-Set Splitting / Archontia C. Giannopoulou, Sudeshna Kolay and Saket Saurabh.
Cache Me If You Can: Capacitated Selfish Replication Games / Ragavendran Gopalakrishnan, Dimitrios Kanoulas, Naga Naresh Karuturi, C. Pandu Rangan and Rajmohan Rajaraman, et al. -- The Efficiency of MapReduce in Parallel External Memory / Gero Greiner and Riko Jacob -- Algorithms for Some H-Join Decompositions / Michel Habib, Antoine Mamcarz and Fabien de Montgolfier -- On the Bend-Number of Planar and Outerplanar Graphs / Daniel Heldt, Kolja Knauer and Torsten Ueckerdt -- Hiring above the m-th Best Candidate: A Generalization of Records in Permutations / Ahmed Helmi, Conrado Martínez and Alois Panholzer -- On the Performance of Smith's Rule in Single-Machine Scheduling with Nonlinear Cost / Wiebke Höhn and Tobias Jacobs -- Advantage of Overlapping Clusters for Minimizing Conductance / Rohit Khandekar, Guy Kortsarz and Vahab Mirrokni -- Independence of Tabulation-Based Hash Classes / Toryn Qwyllyn Klassen and Philipp Woelfel -- Oblivious Two-Way Finite Automata: Decidability and Complexity / Martin Kutrib, Andreas Malcher and Giovanni Pighizzini.
Clique-Colouring and Biclique-Colouring Unichord-Free Graphs / Hélio B. Macêdo Filho, Raphael C.S. Machado and Celina M.H. Figueiredo -- Random Walks and Bisections in Random Circulant Graphs / Bernard Mans and Igor E. Shparlinski -- The Feedback Arc Set Problem with Triangle Inequality Is a Vertex Cover Problem / Monaldo Mastrolilli -- Fully Analyzing an Algebraic Pólya Urn Model / Basile Morcrette -- Degree-Constrained Node-Connectivity / Zeev Nutov -- Survivable Network Activation Problems / Zeev Nutov -- On the Integrality Gap of the Subtour LP for the 1,2-TSP / Jiawei Qian, Frans Schalekamp, David P. Williamson and Anke van Zuylen -- A Theory and Algorithms for Combinatorial Reoptimization / Hadas Shachnai, Gal Tamir and Tami Tamir -- Capacity Achieving Two-Write WOM Codes / Amir Shpilka -- The Relationship between Inner Product and Counting Cycles / Xiaoming Sun, Chengu Wang and Wei Yu -- Approximating Minimum Label s-t Cut via Linear Programming / Linqing Tang and Peng Zhang.
A O(1/ε2)n-Time Sieving Algorithm for Approximate Integer Programming / Daniel Dadush -- Two-Dimensional Range Diameter Queries / Pooya Davoodi, Michiel Smid and Freek van Walderveen -- An Improved Upper Bound on the Density of Universal Random Graphs / Domingos Dellamonica, Yoshiharu Kohayakawa, Vojtěch Rödl and Andrzej Ruciński -- Logspace Computations in Graph Groups and Coxeter Groups / Volker Diekert, Jonathan Kausch and Markus Lohrey -- Approximating the Edge Length of 2-Edge Connected Planar Geometric Graphs on a Set of Points / Stefan Dobrev, Evangelos Kranakis, Danny Krizanc, Oscar Morales-Ponce and Ladislav Stacho -- On the Radon Number for P3-Convexity / Mitre C. Dourado, Dieter Rautenbach, Vinícius Fernandes dos Santos, Philipp M. Schäfer and Jayme L. Szwarcfiter, et al. -- Computing Minimum Geodetic Sets of Proper Interval Graphs / Tınaz Ekim, Aysel Erey, Pinar Heggernes, Pim van 't Hof and Daniel Meister -- Hausdorff Rank of Scattered Context-Free Linear Orders / Zoltán Ésik and Szabolcs Iván -- Opportunistic Information Dissemination in Mobile Ad-Hoc Networks: Adaptiveness vs. Obliviousness and Randomization vs. Determinism / Martín Farach-Colton, Antonio Fernández Anta, Alessia Milani, Miguel A. Mosteiro and Shmuel Zaks.
Record Nr. NYU-004622594
[Latin American Symposium on Theoretical Informatics (10th : 2012 : Arequipa, Peru)]  
Materiale a stampa
Lo trovi qui: New York University
Frontiers in algorithmics and algorithmic aspects in information and management : joint international conference, FAW-AAIM 2012, Beijing, China, May 14-16, 2012. Proceedings / Jack Snoeyink, Pinyan Lu, Kaile Su, Lusheng Wang (eds.).
Frontiers in algorithmics and algorithmic aspects in information and management : joint international conference, FAW-AAIM 2012, Beijing, China, May 14-16, 2012. Proceedings / Jack Snoeyink, Pinyan Lu, Kaile Su, Lusheng Wang (eds.).
Creatore [FAW-AAIM (Conference) (2012 : Beijing, China)]
Estensione 1 online resource (xvii, 370 pages).
Disciplina 005.1
Accesso persona Snoeyink, Jack
Genere/Forma Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Data structures (Computer science)
Information theory
Computer software
Computational complexity
Information Systems
Algorithm Analysis and Problem Complexity
Discrete Mathematics in Computer Science
Mathematics of Computing
Theory of Computation
Management of Computing and Information Systems
ISBN 9783642297007
3642297005
3642296998
9783642296994
Classificazione 54.10
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Optimal Binary Representation of Mosaic Floorplans and Baxter Permutations / Bryan He -- Succinct Strictly Convex Greedy Drawing of 3-Connected Plane Graphs / Jiun-Jie Wang and Xin He -- Weighted Inverse Minimum Cut Problem under the Sum-Type Hamming Distance / Longcheng Liu, Yong Chen, Biao Wu and Enyu Yao -- Voronoi Diagram with Visual Restriction / Chenglin Fan, Jun Luo, Wencheng Wang and Binhai Zhu -- Minimization of the Maximum Distance between the Two Guards Patrolling a Polygonal Region / Xuehou Tan and Bo Jiang -- On Covering Points with Minimum Turns / Minghui Jiang -- On Envy-Free Pareto Efficient Pricing / Xia Hua -- Online Pricing for Multi-type of Items / Yong Zhang, Francis Y.L. Chin and Hing-Fung Ting -- Algorithms with Limited Number of Preemptions for Scheduling on Parallel Machines / Yiwei Jiang, Zewei Weng and Jueliang Hu -- Computing Maximum Non-crossing Matching in Convex Bipartite Graphs / Danny Z. Chen, Xiaomin Liu and Haitao Wang -- Algorithms for Bandwidth Consecutive Multicolorings of Graphs / (Extended Abstract) / Kazuhide Nishikawa, Takao Nishizeki and Xiao Zhou.
Independent Domination on Tree Convex Bipartite Graphs / Yu Song, Tian Liu and Ke Xu -- On-Line Scheduling of Parallel Jobs in Heterogeneous Multiple Clusters / Deshi Ye and Lili Mei -- On Multiprocessor Temperature-Aware Scheduling Problems / Evripidis Bampis, Dimitrios Letsios, Giorgio Lucarelli, Evangelos Markakis and Ioannis Milis -- Online Minimum Makespan Scheduling with a Buffer / Yan Lan, Xin Chen, Ning Ding, György Dósa and Xin Han -- A Dense Hierarchy of Sublinear Time Approximation Schemes for Bin Packing / Richard Beigel and Bin Fu -- Multivariate Polynomial Integration and Differentiation Are Polynomial Time Inapproximable Unless P=NP / Bin Fu -- Some Remarks on the Incompressibility of Width-Parameterized SAT Instances / Bangsheng Tang -- Kernels for Packing and Covering Problems / (Extended Abstract) / Jianer Chen, Henning Fernau, Peter Shaw, Jianxin Wang and Zhibiao Yang -- The Worst-Case Upper Bound for Exact 3-Satisfiability with the Number of Clauses as the Parameter / Junping Zhou and Minghao Yin -- Fixed-Parameter Tractability of almost CSP Problem with Decisive Relations / Chihao Zhang and Hongyang Zhang -- On Editing Graphs into 2-Club Clusters / Hong Liu, Peng Zhang and Daming Zhu.
Solving Generalized Optimization Problems Subject to SMT Constraints / Feifei Ma, Jun Yan and Jian Zhang -- Solving Difficult SAT Problems by Using OBDDs and Greedy Clique Decomposition / Yanyan Xu, Wei Chen, Kaile Su and Wenhui Zhang -- Zero-Sum Flow Numbers of Regular Graphs / Tao-Ming Wang and Shih-Wei Hu -- More Efficient Parallel Integer Sorting / Yijie Han and Xin He -- Fast Relative Lempel-Ziv Self-index for Similar Sequences / Huy Hoang Do, Jesper Jansson, Kunihiko Sadakane and Wing-Kin Sung -- A Comparison of Performance Measures via Online Search / Joan Boyar, Kim S. Larsen and Abyayananda Maiti -- Online Exploration of All Vertices in a Simple Polygon / Yuya Higashikawa and Naoki Katoh -- In-Place Algorithms for Computing a Largest Clique in Geometric Intersection Graphs / Minati De, Subhas C. Nandy and Sasanka Roy -- The Black-and-White Coloring Problem on Distance-Hereditary Graphs and Strongly Chordal Graphs / Ton Kloks, Sheung-Hung Poon, Feng-Ren Tsai and Yue-Li Wang -- An Improved Approximation Algorithm for the Bandpass Problem / Weitian Tong, Randy Goebel, Wei Ding and Guohui Lin -- Partial Degree Bounded Edge Packing Problem / Peng Zhang -- Erratum: The Approximability of the Exemplar Breakpoint Distance Problem / Zhixiang Chen, Bin Fu and Binhai Zhu.
Record Nr. NYU-004622799
[FAW-AAIM (Conference) (2012 : Beijing, China)]  
Materiale a stampa
Lo trovi qui: New York University