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.
Theory and applications of models of computation : 10th International Conference, TAMC 2013, Hong Kong, China, May 20-22, 2013 : proceedings / T-H. Hubert Chan, Lap Chi Lau, Luca Trevisan (eds.).
Theory and applications of models of computation : 10th International Conference, TAMC 2013, Hong Kong, China, May 20-22, 2013 : proceedings / T-H. Hubert Chan, Lap Chi Lau, Luca Trevisan (eds.).
Creatore [TAMC (Conference) (10th : 2013 : Hong Kong, China)]
Estensione 1 online resource (xv, 356 pages) : illustrations.
Disciplina 004.01/51
Accesso persona Chan, Hubert T-H.
Lau, Lap Chi.
Trevisan, Luca
Genere/Forma Electronic books
Conference papers and proceedings
Congresses
Soggetto non controllato Computer science
Data structures (Computer science)
Information theory
Computer software
Logic design
Theory of Computation
Mathematics of Computing
Algorithm Analysis and Problem Complexity
Logics and Meanings of Programs
Data Structures, Cryptology and Information Theory
Mathematical Logic and Formal Languages
ISBN 9783642382369
3642382363
9783642382352
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Computability -- complexity -- algorithms -- present current research.
Online Scheduling on a CPU-GPU Cluster / Lin Chen, Deshi Ye, Guochuan Zhang -- Throughput Maximization for Speed-Scaling with Agreeable Deadlines / Eric Angel, Evripidis Bampis, Vincent Chau -- Temperature Aware Online Algorithms for Minimizing Flow Time / Martin Birks, Stanley Fung -- Priority Queues and Sorting for Read-Only Data / Tetsuo Asano, Amr Elmasry, Jyrki Katajainen -- (1 + ε)-Distance Oracles for Vertex-Labeled Planar Graphs / Mingfei Li, Chu Chung Christopher Ma -- Group Nearest Neighbor Queries in the L 1 Plane / Hee-Kap Ahn, Sang Won Bae, Wanbin Son -- Modelling the Power Supply Network -- Hardness and Approximation / Alexandru Popa -- Approximation Algorithms for a Combined Facility Location Buy-at-Bulk Network Design Problem / Andreas Bley, S. Mehdi Hashemi -- k-means++ under Approximation Stability / Manu Agarwal, Ragesh Jaiswal, Arindam Pal -- An Exact Algorithm for TSP in Degree-3 Graphs via Circuit Procedure and Amortization on Connectivity Structure / Mingyu Xiao, Hiroshi Nagamochi.
Record Nr. NYU-004637063
[TAMC (Conference) (10th : 2013 : Hong Kong, China)]  
Materiale a stampa
Lo trovi qui: New York University
Pen-and-paper user interfaces [electronic resource] : integrating printed and digital documents / Jürgen Steimle ; foreword by James D. Hollan and Max Mühlhäuser
Pen-and-paper user interfaces [electronic resource] : integrating printed and digital documents / Jürgen Steimle ; foreword by James D. Hollan and Max Mühlhäuser
Creatore [Steimle, Jürgen]
Estensione 1 online resource (xii, 189 pages) : illustrations.
Disciplina 004.01/9
Genere/Forma Electronic books
Soggetto non controllato Mathematics
Computer science
Applications of Mathematics
User Interfaces and Human Computer Interaction
ISBN 9783642202766
3642202764
3642202756
9783642202759
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto 1. Introduction -- 2.-Survey of Pen-and-Paper Computing -- 3. Interaction Model of Pen-and-Paper User Interfaces -- 4. Collaborative Cross-media Annotation of Documents -- 5. Hyperlinking between Printed and Digital Documents -- 6. Paper-based Tagging of Documents -- 7. Conclusions -- References -- Index.
Record Nr. NYU-004373544
[Steimle, Jürgen]  
Materiale a stampa
Lo trovi qui: New York University
Advanced agent technology : AAMAS 2011 Workshops, AMPLE, AOSE, ARMS, DOCM3AS, ITMAS, Taipei, Taiwan, May 2-6, 2011. Revised selected papers / Francien Dechesne [and others] (eds.).
Advanced agent technology : AAMAS 2011 Workshops, AMPLE, AOSE, ARMS, DOCM3AS, ITMAS, Taipei, Taiwan, May 2-6, 2011. Revised selected papers / Francien Dechesne [and others] (eds.).
Creatore [International Joint Conference on Autonomous Agents and Multiagent Systems (2011 : Taipei, Taiwan)]
Estensione 1 online resource (xx, 506 pages) : illustrations (some color).
Disciplina 006.3
Accesso persona Dechesne, Francien
Accesso convegno AMPLE 2011 (2011 : Taipei, Taiwan)
AOSE 2011 (2011 : Taipei, Taiwan)
ARMS 2011 (2011 : Taipei, Taiwan)
DOCM³AS 2011 (2011 : Taipei, Taiwan)
ITMAS 2011 (2011 : Taipei, Taiwan)
Genere/Forma Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Computer Communication Networks
Data mining
Management information systems
Artificial Intelligence (incl. Robotics)
Computers and Society
Data Mining and Knowledge Discovery
User Interfaces and Human Computer Interaction
Business Information Systems
ISBN 9783642272165
3642272169
9783642272158
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. NYU-004373642
[International Joint Conference on Autonomous Agents and Multiagent Systems (2011 : Taipei, Taiwan)]  
Materiale a stampa
Lo trovi qui: New York University
From research to practice in the design of cooperative systems: Results and open challenges : Proceedings of the 10th International Conference on the Design of Cooperative Systems, May 30-1 June, 2012 / Julie Dugdale [and others], editors
From research to practice in the design of cooperative systems: Results and open challenges : Proceedings of the 10th International Conference on the Design of Cooperative Systems, May 30-1 June, 2012 / Julie Dugdale [and others], editors
Creatore [International Conference on the Design of Cooperative Systems (10th : 2012 : Marseille, France)]
Estensione 1 online resource
Disciplina 004.2/1
Accesso persona Dugdale, Julie
Genere/Forma Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Economics
Applied psychology
Consciousness
Information Systems Applications (incl. Internet)
User Interfaces and Human Computer Interaction
Business/Management Science, general
Industrial and Organisational Psychology
Cognitive Psychology
Computer Applications
ISBN 9781447140931
1447140931
1447140923
9781447140924
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Establishing a Core Health Record; A Case Study from Norwegian Healthcare / Eli Larsen and Gunnar Ellingsen -- Standardizing Work in Healthcare Through Architecture, Routines and Technologies / Rune Pedersen -- The Clinical Work of Secretaries: Exploring the Intersection of Administrative and Clinical Work in the Diagnosing Process / Naja L. Holten Møller and Signe Vikkelsø -- Exploring the Virtual Space of Academia / Maria Menendez, Antonella de Angeli and Zeno Menestrina -- The Not-So-Open Wikis: Structures of Collaboration At Work / Osama Mansour -- Harvesting Collective Agreement in Community Oriented Surveys: The Medical Case / Federico Cabitza -- Classifying Communities for Design: A Review of the Continuum from CoIs to CoPs / Sergio Herranz, David Díez, Paloma Díaz and Starr Roxanne Hiltz -- The Trouble with 'Knowledge Transfer': On Conduit Metaphors and Semantic Pathologies in Our Understanding of Didactic Practice / Lars Rune Christensen -- Divergence and Convergence in Global Software Development: Cultural Complexities as Social Worlds / Rasmus Eskild Jensen and Pernille Bjørn -- Creating Metaphors for Tangible User Interfaces in Collaborative Urban Planning: Questions for Designers and Developers / Valérie Maquil, Olivier Zephir and Eric Ras -- Collaborative Problem Solving with Objects: Physical Aspects of a Tangible Tabletop in Technology-based Assessment / Valérie Maquil and Eric Ras -- End-users' Integration of Applications and Devices: A Cooperation Based Approach / Marco P. Locatelli and Carla Simone -- Social Aspects of Place Experience in Mobile Work/Life Practices / Luigina Ciolfi, Breda Gray and Anthony D'Andrea -- Maintaining the Instant Connection--Social Media Practices of Smartphone Users / Sanna Malinen and Jarno Ojala -- Supporting Collaborative Work in Socio-Physical Environments: A Normative Approach / Catherine Garbay, Fabien Badeig and Jean Caelen -- Exploring Collaboration in Group-to-Group Videoconferencing / Petr Slovák, Peter Novák, Pavel Troubil, Vít Rusňák and Petr Holub, et al. -- Use of Graphical Modality in a Collaborative Design Distant Setting / Stéphane Safin, Roland Juchmes and Pierre Leclercq -- Struggling Against Social Isolation of the Elderly--The Design of SmartTV Applications / Malek Alaoui and Myriam Lewkowicz -- Examining Multiactivity Using Multi-camera Recordings: The Use of Text Chat in a Call Center / Karine Lan Hing Ting -- Agentville: Supporting Situational Awareness and Motivation in Call Centres / Tommaso Colombino, Stefania Castellani, Antonietta Grasso and Jutta Willamowski.
Record Nr. NYU-004375756
[International Conference on the Design of Cooperative Systems (10th : 2012 : Marseille, France)]  
Materiale a stampa
Lo trovi qui: New York University
Lectures on logic and computation : ESSLLI 2010 Copenhagen, Denmark, August 2010, ESSLLI 2011, Ljubljana, Slovenia, August 2011, Selected lecture notes / Nick Bezhanishvili, Valentin Goranko (eds.).
Lectures on logic and computation : ESSLLI 2010 Copenhagen, Denmark, August 2010, ESSLLI 2011, Ljubljana, Slovenia, August 2011, Selected lecture notes / Nick Bezhanishvili, Valentin Goranko (eds.).
Creatore [European Summer School in Logic, Language, and Information (22nd : 2010 : Copenhagen, Denmark)]
Estensione 1 online resource (263 pages) : illustrations.
Disciplina 005.101/5113
Accesso persona Bezhanishvili, Nick
Goranko, Valentin
Accesso convegno European Summer School in Logic, Language, and Information (23rd : 2011 : Ljubljana, Slovenia)
Genere/Forma Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Computer software
Logic design
Computational complexity
Artificial intelligence
Logic, Symbolic and mathematical
Logics and Meanings of Programs
Algorithm Analysis and Problem Complexity
Mathematical Logic and Formal Languages
Mathematical Logic and Foundations
Discrete Mathematics in Computer Science
ISBN 9783642314858
3642314856
9783642314841
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Proof Complexity of Non-classical Logics / Olaf Beyersdorff and Oliver Kutz -- Ten Problems of Deontic Logic and Normative Reasoning in Computer Science / Jan Broersen and Leendert van der Torre -- A Short Introduction to Implicit Computational Complexity / Ugo Dal Lago -- Strategies in Games: A Logic-Automata Study / Sujata Ghosh and R. Ramanujam -- Introduction to Judgment Aggregation / Davide Grossi and Gabriella Pigozzi -- Specification and Verification of Multi-Agent Systems / Wojciech Jamroga and Wojciech Penczek.
Record Nr. NYU-004375805
[European Summer School in Logic, Language, and Information (22nd : 2010 : Copenhagen, Denmark)]  
Materiale a stampa
Lo trovi qui: New York University
Formal aspects of security and trust : 8th International Workshop, FAST 2011, Leuven, Belgium, September 12-14, 2011. Revised selected papers / Gilles Barthe, Anupam Datta, Sandro Etalle (eds.).
Formal aspects of security and trust : 8th International Workshop, FAST 2011, Leuven, Belgium, September 12-14, 2011. Revised selected papers / Gilles Barthe, Anupam Datta, Sandro Etalle (eds.).
Creatore [FAST (Workshop) (8th : 2011 : Leuven, Belgium)]
Estensione 1 online resource (x, 277 pages) : illustrations.
Disciplina 005.8
Accesso persona Barthe, Gilles, 1967-
Datta, Anupam
Etalle, Sandro
Genere/Forma Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Computer Communication Networks
Data protection
Data encryption (Computer science)
Information storage and retrieval systems
Information Systems
Systems and Data Security
Computers and Society
Management of Computing and Information Systems
Information Storage and Retrieval
ISBN 9783642294204
3642294200
9783642294198
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Verifying Cryptographic Code in C: Some Experience and the Csec Challenge / Mihhail Aizatulin, François Dupressoir, Andrew D. Gordon and Jan Jürjens -- Better Security and Privacy for Web Browsers: A Survey of Techniques, and a New Implementation / Willem De Groef, Dominique Devriese and Frank Piessens -- Differential Privacy: On the Trade-Off between Utility and Information Leakage / Mário S. Alvim, Miguel E. Andrés, Konstantinos Chatzikokolakis, Pierpaolo Degano and Catuscia Palamidessi -- On-the-Fly Inlining of Dynamic Dependency Monitors for Secure Information Flow / Luciano Bello and Eduardo Bonelli -- Min-Entropy Leakage of Channels in Cascade / Barbara Espinoza and Geoffrey Smith -- Secure Recharge of Disposable RFID Tickets / Riccardo Focardi and Flaminia L. Luccio -- Avoiding Delegation Subterfuge Using Linked Local Permission Names / Simon N. Foley and Samane Abdi -- Verifiable Control Flow Policies for Java Bytecode / Arnaud Fontaine, Samuel Hym and Isabelle Simplot-Ryl -- Concepts and Proofs for Configuring PKCS#11 / Sibylle Fröschle and Nils Sommer -- Service Automata / Richard Gay, Heiko Mantel and Barbara Sprick -- Analysing Applications Layered on Unilaterally Authenticating Protocols / Thomas Gibson-Robinson and Gavin Lowe -- Type-Based Enforcement of Secure Programming Guidelines -- Code Injection Prevention at SAP / Robert Grabowski, Martin Hofmann and Keqin Li -- TBA : A Hybrid of Logic and Extensional Access Control Systems / Timothy L. Hinrichs, William C. Garrison III, Adam J. Lee, Skip Saunders and John C. Mitchell -- Diffie-Hellman without Difficulty / Sebastian Mödersheim -- Is Cryptyc Able to Detect Insider Attacks? / Behnam Sattarzadeh and Mehran S. Fallah -- Formal Analysis of Anonymity in ECC-Based Direct Anonymous Attestation Schemes / Ben Smyth, Mark Ryan and Liqun Chen -- Risk Balance in Optimistic Non-repudiation Protocols / Mohammad Torabi Dashti, Jan Cederquist and Yanjing Wang.
Record Nr. NYU-004375844
[FAST (Workshop) (8th : 2011 : Leuven, Belgium)]  
Materiale a stampa
Lo trovi qui: New York University
Formal methods for model-driven engineering : 12th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2012, Bertinoro, Italy, June 18-23, 2012. Advanced lectures / Marco Bernardo, Vittorio Cortellessa, Alfonso Pierantonio (eds.).
Formal methods for model-driven engineering : 12th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2012, Bertinoro, Italy, June 18-23, 2012. Advanced lectures / Marco Bernardo, Vittorio Cortellessa, Alfonso Pierantonio (eds.).
Creatore [International School on Formal Methods for the Design of Computer, Communication, and Software Systems (12th : 2012 : Bertinoro, Italy)]
Estensione 1 online resource (vii, 437 pages) : illustrations.
Disciplina 004.01/51
Accesso persona Bernardo, Marco
Cortellessa, Vittorio
Pierantonio, Alfonso
Genere/Forma Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Software engineering
Information Systems
Software Engineering/Programming and Operating Systems
Mathematical Logic and Formal Languages
Programming Languages, Compilers, Interpreters
Information Systems Applications (incl. Internet)
Management of Computing and Information Systems
ISBN 9783642309823
3642309828
9783642309816
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto The Less Well Known UML: A Short User Guide / Bran Selic -- MDE Basics with a DSL Focus / Suzana Andova, Mark G.J. van den Brand, Luc J.P. Engelen and Tom Verhoeff -- Object Constraint Language (OCL): A Definitive Guide / Jordi Cabot and Martin Gogolla -- Model Transformations / Davide Di Ruscio, Romina Eramo and Alfonso Pierantonio -- Graph Transformations for MDE, Adaptation, and Models at Runtime / Holger Giese, Leen Lambers, Basil Becker, Stephan Hildebrandt and Stefan Neumann, et al. -- Abstractions for Validation in Action / Guido de Caso, Victor Braberman, Diego Garbervetsky and Sebastian Uchitel -- Software Performance Modeling / Dorina C. Petriu, Mohammad Alhaj and Rasha Tawhid -- Model Transformations in Non-functional Analysis / Steffen Becker -- Software Performance Antipatterns: Modeling and Analysis / Vittorio Cortellessa, Antinisca Di Marco and Catia Trubiani -- An Introduction to Model Versioning / Petra Brosch, Gerti Kappel, Philip Langer, Martina Seidl and Konrad Wieland, et al. -- Formal Specification and Testing of Model Transformations / Antonio Vallecillo, Martin Gogolla, Loli Burgueño, Manuel Wimmer and Lars Hamann.
Record Nr. NYU-004375860
[International School on Formal Methods for the Design of Computer, Communication, and Software Systems (12th : 2012 : Bertinoro, Italy)]  
Materiale a stampa
Lo trovi qui: New York University
Pervasive computing : 10th International Conference, Pervasive 2012, Newcastle, UK, June 18-22, 2012. Proceedings / Judy Kay [and others] (eds.).
Pervasive computing : 10th International Conference, Pervasive 2012, Newcastle, UK, June 18-22, 2012. Proceedings / Judy Kay [and others] (eds.).
Creatore [Pervasive (Conference) (10th : 2012 : Newcastle upon Tyne, England)]
Estensione 1 online resource (xvi, 480 pages) : illustrations.
Disciplina 004
Accesso persona Kay, Judy
Genere/Forma Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Computer Communication Networks
Data protection
Computer simulation
Information Systems Applications (incl. Internet)
User Interfaces and Human Computer Interaction
Systems and Data Security
Simulation and Modeling
Computers and Society
ISBN 9783642312052
3642312055
9783642312045
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Personalized Driving Behavior Monitoring and Analysis for Emerging Hybrid Vehicles / Kun Li, Man Lu, Fenglong Lu, Qin Lv and Li Shang, et al. -- Mimic Sensors: Battery-Shaped Sensor Node for Detecting Electrical Events of Handheld Devices / Takuya Maekawa, Yasue Kishino, Yutaka Yanagisawa and Yasushi Sakurai -- Leveraging Children's Behavioral Distribution and Singularities in New Interactive Environments: Study in Kindergarten Field Trips / Inseok Hwang, Hyukjae Jang, Taiwoo Park, Aram Choi and Youngki Lee, et al. -- Urban Traffic Modelling and Prediction Using Large Scale Taxi GPS Traces / Pablo Samuel Castro, Daqing Zhang and Shijian Li -- A Unified Framework for Modeling and Predicting Going-Out Behavior / Shoji Tominaga, Masamichi Shimosaka, Rui Fukui and Tomomasa Sato -- The Hidden Image of the City: Sensing Community Well-Being from Urban Mobility / Neal Lathia, Daniele Quercia and Jon Crowcroft -- Scalable Mining of Common Routes in Mobile Communication Network Traffic Data / Olof Görnerup -- Accounting for Energy-Reliant Services within Everyday Life at Home / Oliver Bates, Adrian K. Clear, Adrian Friday, Mike Hazas and Janine Morley -- Smart Blueprints: Automatically Generated Maps of Homes and the Devices Within Them / Jiakang Lu and Kamin Whitehouse -- Hacking the Natural Habitat: An In-the-Wild Study of Smart Homes, Their Development, and the People Who Live in Them / Sarah Mennicken and Elaine M. Huang -- The Design of a Segway AR-Tactile Navigation System / Ming Li, Lars Mahnkopf and Leif Kobbelt -- Route Guidance Modality for Elder Driver Navigation / SeungJun Kim, Jin-Hyuk Hong, Kevin A. Li, Jodi Forlizzi and Anind K. Dey -- Interactive Environment-Aware Handheld Projectors for Pervasive Computing Spaces / David Molyneaux, Shahram Izadi, David Kim, Otmar Hilliges and Steve Hodges, et al. -- .NET Gadgeteer: A Platform for Custom Devices / Nicolas Villar, James Scott, Steve Hodges, Kerry Hammil and Colin Miller -- Recognizing Handheld Electrical Device Usage with Hand-Worn Coil of Wire / Takuya Maekawa, Yasue Kishino, Yutaka Yanagisawa and Yasushi Sakurai -- Self-calibration of RFID Reader Probabilities in a Smart Real-Time Factory / Bilal Hameed, Farhan Rashid, Frank Dürr and Kurt Rothermel -- AWESOM: Automatic Discrete Partitioning of Indoor Spaces for WiFi Fingerprinting / Teemu Pulkkinen and Petteri Nurmi -- Indoor Pedestrian Navigation Based on Hybrid Route Planning and Location Modeling / Kari Rye Schougaard, Kaj Grønbæk and Tejs Scharling -- Estimating Position Relation between Two Pedestrians Using Mobile Phones / Daisuke Kamisaka, Takafumi Watanabe, Shigeki Muramatsu, Arei Kobayashi and Hiroyuki Yokoyama -- Clearing a Crowd: Context-Supported Neighbor Positioning for People-Centric Navigation / Takamasa Higuchi, Hirozumi Yamaguchi and Teruo Higashino -- Paying in Kind for Crowdsourced Work in Developing Regions / Navkar Samdaria, Akhil Mathur and Ravin Balakrishnan -- Tangible and Casual NFC-Enabled Mobile Games / Luis F.G. Sarmenta -- Big Brother Knows Your Friends: On Privacy of Social Communities in Pervasive Networks / Igor Bilogrevic, Murtuza Jadliwala, István Lám, Imad Aad and Philip Ginzboorg, et al. -- Map-Aware Position Sharing for Location Privacy in Non-trusted Systems / Pavel Skvortsov, Frank Dürr and Kurt Rothermel -- Sense and Sensibility in a Pervasive World / Christos Efstratiou, Ilias Leontiadis, Marco Picone, Kiran K. Rachuri and Cecilia Mascolo, et al. -- From School Food to Skate Parks in a Few Clicks: Using Public Displays to Bootstrap Civic Engagement of the Young / Simo Hosio, Vassilis Kostakos, Hannu Kukka, Marko Jurmu and Jukka Riekki, et al. -- Increasing Brand Attractiveness and Sales through Social Media Comments on Public Displays -- Evidence from a Field Experiment in the Retail Industry / Erica Dubach Spiegler, Christian Hildebrand and Florian Michahelles -- Automatic Description of Context-Altering Services through Observational Learning / Katharina Rasch, Fei Li, Sanjin Sehic, Rassul Ayani and Schahram Dustdar.
Record Nr. NYU-004375880
[Pervasive (Conference) (10th : 2012 : Newcastle upon Tyne, England)]  
Materiale a stampa
Lo trovi qui: New York University
The logic of categorial grammars : a deductive account of natural language syntax and semantics / Richard Moot, Christian Retoré
The logic of categorial grammars : a deductive account of natural language syntax and semantics / Richard Moot, Christian Retoré
Creatore [Moot, Richard]
Estensione 1 online resource (xviii, 302 pages) : illustrations.
Disciplina 006.3/5
Accesso persona Retoré, Christian
Genere/Forma Electronic books
Soggetto non controllato Computer science
Computer software
Logic design
Artificial intelligence
Logic, Symbolic and mathematical
Mathematical Logic and Formal Languages
Logics and Meanings of Programs
Algorithm Analysis and Problem Complexity
Mathematical Logic and Foundations
Programming Languages, Compilers, Interpreters
ISBN 9783642315558
3642315550
9783642315541
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Classical Categorial Grammars: AB Grammars -- A Logic for Categorial Grammars: Lambek's Syntactic Calculus -- Lambek Calculus and Montague Grammar -- The Non-associative Lambek Calculus -- The Multimodal Lambek Calculus -- Lambek Calculus and Linear Logic: Proof Nets as Parse Structures -- Proof Nets for the Multimodal Lambek Calculus: From Theory to a Wide-Coverage Categorial Parser.
Record Nr. NYU-004375901
[Moot, Richard]  
Materiale a stampa
Lo trovi qui: New York University
Ad-hoc, mobile, and wireless networks [electronic resource] : 11th International Conference, ADHOC-NOW 2012, Belgrade, Serbia, July 9-11, 2012. Proceedings / Xiang-Yang Li, Symeon Papavassiliou, Stefan Ruehrup (eds.).
Ad-hoc, mobile, and wireless networks [electronic resource] : 11th International Conference, ADHOC-NOW 2012, Belgrade, Serbia, July 9-11, 2012. Proceedings / Xiang-Yang Li, Symeon Papavassiliou, Stefan Ruehrup (eds.).
Creatore [ADHOC-NOW 2012 (2012 : Belgrade, Serbia)]
Estensione 1 online resource (xiv, 486 pages) : illustrations.
Disciplina 621.382
Accesso persona Li, Xiang-Yang, 1971-
Papavassiliou, Symeon
Ruehrup, Stefan
Genere/Forma Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Computer Communication Networks
Software engineering
Information storage and retrieval systems
Information Systems
Telecommunication
Communications Engineering, Networks
Management of Computing and Information Systems
Information Storage and Retrieval
ISBN 9783642316388
3642316387
9783642316371
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto On Message Complexity of Extrema Propagation Techniques / Jacek Cichoń, Jakub Lemiesz and Marcin Zawada -- Improved Approximation Bounds for Maximum Lifetime Problems in Wireless Ad-Hoc Network / Sang Hyuk Lee and Tomasz Radzik -- Distributed Geometric Distance Estimation in Ad Hoc Networks / Sabrina Merkel, Sanaz Mostaghim and Hartmut Schmeck -- 1-D Coordinate Based on Local Information for MAC and Routing Issues in WSNs / Alexandre Mouradian and Isabelle Augé-Blum -- Uninterrupted Coverage of a Planar Region with Rotating Directional Antennae / Evangelos Kranakis, Fraser MacQuarie, Oscar Morales-Ponce and Jorge Urrutia -- Social Aspects to Support Opportunistic Networks in an Academic Environment / Radu Ioan Ciobanu, Ciprian Dobre and Valentin Cristea -- Analysing Delay-Tolerant Networks with Correlated Mobility / Mikael Asplund and Simin Nadjm-Tehrani -- Study on the Effect of Network Dynamics on Opportunistic Routing / Waldir Moreira, Manuel de Souza, Paulo Mendes and Susana Sargento -- Autonomic Cooperative Networking for Vehicular Communications / Michał Wódczak -- Protocol Design for Farm Animal Monitoring Using Simulation / Shikha Sarkar, Lina Stankovic and Ivan Andonovic.
Minimum Latency Aggregation Scheduling for Arbitrary Tree Topologies under the SINR Model / Guanyu Wang, Qiang-Sheng Hua and Yuexuan Wang -- An Optimized In-Network Aggregation Scheme for Data Collection in Periodic Sensor Networks / Jacques M. Bahi, Abdallah Makhoul and Maguy Medlej -- Impulsive Interference Avoidance in Dense Wireless Sensor Networks / Nicholas M. Boers, Ioanis Nikolaidis and Pawel Gburzynski -- Resilient Secure Localization and Detection of Colluding Attackers in WSNs / Wei Shi, Meng Yao and Jean-Pierre Corriveau -- Low Cost Data Gathering Using Mobile Hybrid Sensor Networks / Dan Tao, Shaojie Tang and Huadong Ma -- Debugging the Internet of Things: A 6LoWPAN/CoAP Testbed Infrastructure / Daniel Bimschas, Oliver Kleine and Dennis Pfisterer -- Evaluating the Effectiveness of a QoS Framework for MANETs in a Real Testbed / Álvaro Torres, Carlos T. Calafate, Juan-Carlos Cano and Pietro Manzoni -- Wireless Sensor Network for Continuous Temperature Monitoring in Air-Cooled Data Centers: Applications and Measurement Results / Thomas Scherer, Clemens Lombriser, Wolfgang Schott, Hong Linh Truong and Beat Weiss -- Open Platform Semi-passive RFID Tag / Tzu Hao Li, Alexey Borisenko and Miodrag Bolic.
Study of the Optimum Frequency at 2.4GHz ISM Band for Underwater Wireless Ad Hoc Communications / Sandra Sendra, Jose V. Lamparero, Jaime Lloret and Miguel Ardid -- A Parameter-Based Service Discovery Protocol for Mobile Ad-Hoc Networks / Unai Aguilera and Diego López-de-Ipiña -- RCDP: A Novel Content Delivery Solution for Wireless Networks Based on Raptor Codes / Miguel Báguena, Carlos T. Calafate, Juan-Carlos Cano and Pietro Manzoni -- Impact of Different Content Placement and Delivery Strategies on Content Delivery Capacity of the Wireless Mesh Networks / Milenko Tošić, Mirko Ćirilović, Ognjen Iković, Daniel Kesler and Staniša Dautović, et al. -- Bonjour Contiki: A Case Study of a DNS-Based Discovery Service for the Internet of Things / Ronny Klauck and Michael Kirsche -- Application-Level Operations Latency Control in Networked WSAN / Pedro Furtado and Jose Cecilio -- Intelligent Multicast Tree Construction Protocol with Optimal Bandwidth Allocation for WSNs / Nedal Ababneh, Antonio M. Ortiz, Nicholas Timmons and Jim Morrison -- Reliable Broadcast Protocol Independent of System Parameters for Ad Hoc Networks with Liveness Property / Jerzy Brzeziński, Michał Kalewski and Cezary Sobaniec.
Exploiting Asymmetric Links in a Convergecast Routing Protocol for Wireless Sensor Networks / Bilel Romdhani, Dominique Barthel and Fabrice Valois -- Energy Efficient k-Anycast Routing in Multi-sink Wireless Networks with Guaranteed Delivery / Nathalie Mitton, David Simplot-Ryl, Marie-Emilie Voge and Lei Zhang -- An Admission Control Scheme Based on Links' Activity Scheduling for Wireless Mesh Networks / Juliette Dromard, Lyes Khoukhi and Rida Khatoun -- Capillary Machine-to-Machine Communications: The Road Ahead / Vojislav B. Mišić, Jelena Mišić, Xiaodong Lin and Dragan Nerandzic -- Providing QoS in the Integration of RFID and Wi-Fi WLAN / Nargis Khan, Jelena Mišić, Vojislav B. Mišić and Lutful Karim -- Distributed Distance Sensitive iMesh Based Service Discovery in Dense WSAN / Milan Lukic and Ivan Mezei -- Quorum Based Image Retrieval in Large Scale Visual Sensor Networks / Stojan Milovanovic and Milos Stojmenovic -- From Real Neighbors to Imaginary Destination: Emulation of Large Scale Wireless Sensor Networks / Bogdan Pavkovic, Jovan Radak, Nathalie Mitton, Franck Rousseau and Ivan Stojmenovic -- Enhancing TCP Congestion Control for Improved Performance in Wireless Networks / Breeson Francis, Venkat Narasimhan and Amiya Nayak.
Record Nr. NYU-004375953
[ADHOC-NOW 2012 (2012 : Belgrade, Serbia)]  
Materiale a stampa
Lo trovi qui: New York University