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.
Algorithms and computation : 22nd International Symposium, ISAAC 2011, Yokohama, Japan, December 5-8, 2011, proceedings / Takao Asano [and others] (eds.).
Algorithms and computation : 22nd International Symposium, ISAAC 2011, Yokohama, Japan, December 5-8, 2011, proceedings / Takao Asano [and others] (eds.).
Creatore [ISAAC (Symposium) (22nd : 2011 : Yokohama-shi, Japan)]
Estensione 1 online resource (xvii, 775 pages).
Accesso persona Asano, Takao, 1949-
Genere/Forma Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Computer Communication Networks
Data structures (Computer science)
Computer software
Electronic data processing
Computational complexity
Computer graphics
Algorithm Analysis and Problem Complexity
Discrete Mathematics in Computer Science
Data Structures
Numeric Computing
ISBN 9783642255915
3642255914
9783642255908
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UCHICAGO-11076389
[ISAAC (Symposium) (22nd : 2011 : Yokohama-shi, Japan)]  
Materiale a stampa
Lo trovi qui: University of Chicago
Multimedia, computer graphics and broadcasting : international conference, MulGraB 2011, held as part of the Future Generation Information Technology Conference, FGIT 2011, in conjunction with GDC 2011, Jeju Island, Korea, December 8-10, 2011, proceedings. Part II / Tai-hoon Kim [and others] (eds.).
Multimedia, computer graphics and broadcasting : international conference, MulGraB 2011, held as part of the Future Generation Information Technology Conference, FGIT 2011, in conjunction with GDC 2011, Jeju Island, Korea, December 8-10, 2011, proceedings. Part II / Tai-hoon Kim [and others] (eds.).
Creatore [MulGraB (Conference) (2011 : Cheju Island, Korea)]
Estensione 1 online resource (xxii, 357 pages) : illustrations.
Accesso persona Kim, Tai-hoon
Accesso convegno FGIT (Conference) (3rd : 2011 : Cheju Island, Korea)
GDC 2011 (2011 : Cheju Island, Korea)
Genere/Forma Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Computer Communication Networks
Software engineering
Computer software
Information storage and retrieval systems
Artificial intelligence
Information Systems Applications (incl. Internet)
Artificial Intelligence (incl. Robotics)
Algorithm Analysis and Problem Complexity
Information Storage and Retrieval
ISBN 9783642271861
3642271863
9783642271854
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UCHICAGO-11076390
[MulGraB (Conference) (2011 : Cheju Island, Korea)]  
Materiale a stampa
Lo trovi qui: University of Chicago
Wireless sensor networks : 9th European conference, EWSN 2012, Trento, Italy, February 15-17, 2012 : proceedings / Gian Pietro Picco, Wendi Heinzelman (eds.).
Wireless sensor networks : 9th European conference, EWSN 2012, Trento, Italy, February 15-17, 2012 : proceedings / Gian Pietro Picco, Wendi Heinzelman (eds.).
Creatore [EWSN (Conference) (9th : 2012 : Trento, Italy)]
Estensione 1 online resource (xii, 260 pages) : illustrations.
Accesso persona Picco, Gian Pietro
Heinzelman, Wendi
Genere/Forma Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Computer Communication Networks
Software engineering
Computer software
Computer simulation
Algorithm Analysis and Problem Complexity
Programming Techniques
Information Systems Applications (incl. Internet)
Simulation and Modeling
ISBN 9783642281693
3642281699
9783642281686
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Opportunistic, Receiver-Initiated Data-Collection Protocol -- TCP Performance Optimizations for Wireless Sensor Networks -- Immune Size Approximation Algorithms in Ad Hoc Radio Network -- Foisting and Stealing of Keys in Sensor Networks -- SenShare: Transforming Sensor Networks into Multi-application Sensing Infrastructures -- Realistic Simulation of Energy Consumption in Wireless Sensor Networks -- Low Power or High Performance? A Tradeoff Whose Time Has Come (and Nearly Gone) -- Fault-Tolerant Relay Deployment Based on Length-Constrained Connectivity and Rerouting Centrality in Wireless Sensor Networks -- Smart-HOP: A Reliable Handoff Mechanism for Mobile Wireless Sensor Networks -- On the Optimal Blacklisting Threshold for Link Selection in Wireless Sensor Networks -- Multi-channel Two-Way Time of Flight Sensor Network Ranging -- GPS-Equipped Wireless Sensor Network Node for High-Accuracy Positioning Applications -- ScanTraffic: Smart Camera Network for Traffic Information Collection -- Towards Extending Sensor Node Lifetime with Printed Supercapacitors -- On-the-Fly Calibration of Low-Cost Gas Sensors -- Energy-Aware Gas Sensing Using Wireless Sensor Networks.
Record Nr. UCHICAGO-11076577
[EWSN (Conference) (9th : 2012 : Trento, Italy)]  
Materiale a stampa
Lo trovi qui: University of Chicago
Financial cryptography and data security : 15th International Conference, FC 2011, Gros Islet, St. Lucia, February 28 - March 4, 2011, Revised selected papers / George Danezis (ed.).
Financial cryptography and data security : 15th International Conference, FC 2011, Gros Islet, St. Lucia, February 28 - March 4, 2011, Revised selected papers / George Danezis (ed.).
Creatore [FC (Conference) (15th : 2011 : Gros Islet, Saint Lucia)]
Estensione 1 online resource (xiii, 332 pages).
Accesso persona Danezis, George, 1979-
Genere/Forma Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Computer Communication Networks
Data protection
Data encryption (Computer science)
Computer software
Information Systems
Systems and Data Security
Management of Computing and Information Systems
Computers and Society
Algorithm Analysis and Problem Complexity
ISBN 9783642275760
3642275761
9783642275753
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UCHICAGO-11076587
[FC (Conference) (15th : 2011 : Gros Islet, Saint Lucia)]  
Materiale a stampa
Lo trovi qui: University of Chicago
VLSI-SoC: Forward-Looking Trends in IC and Systems Design : 18th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2010, Madrid, Spain, September 27-29, 2010, Revised Selected Papers / José L. Ayala, David Atienza Alonso, Ricardo Reis (eds.).
VLSI-SoC: Forward-Looking Trends in IC and Systems Design : 18th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2010, Madrid, Spain, September 27-29, 2010, Revised Selected Papers / José L. Ayala, David Atienza Alonso, Ricardo Reis (eds.).
Creatore [IFIP TC10/WG10.5 International Conference on Very Large Scale Integration of Systems-on-Chip (18th : 2010 : Madrid, Spain)]
Estensione 1 online resource (x, 353 pages).
Accesso persona Ayala, Jose L.
Atienza Alonso, David
Reis, Ricardo
Genere/Forma Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Microprogramming
Software engineering
Coding theory
Computer software
Control Structures and Microprogramming
Software Engineering/Programming and Operating Systems
Coding and Information Theory
Algorithm Analysis and Problem Complexity
ISBN 9783642285660
364228566X
3642285651
9783642285653
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UCHICAGO-11076706
[IFIP TC10/WG10.5 International Conference on Very Large Scale Integration of Systems-on-Chip (18th : 2010 : Madrid, Spain)]  
Materiale a stampa
Lo trovi qui: University of Chicago
Parameterized and exact computation : 6th International Symposium, IPEC 2011, Saarbrücken, Germany, September 6-8, 2011. Revised selected papers / edited by Dániel Marx, Peter Rossmanith
Parameterized and exact computation : 6th International Symposium, IPEC 2011, Saarbrücken, Germany, September 6-8, 2011. Revised selected papers / edited by Dániel Marx, Peter Rossmanith
Creatore [IPEC (Symposium) (6th : 2011 : Saarbrücken, Germany)]
Estensione 1 online resource (viii, 271 pages).
Accesso persona Marx, Dániel
Rossmanith, Peter
Genere/Forma Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Information theory
Computer software
Computational complexity
Algebra -- Data processing
Algorithms
Algorithm Analysis and Problem Complexity
Discrete Mathematics in Computer Science
Theory of Computation
Symbolic and Algebraic Manipulation
Computation by Abstract Devices
ISBN 9783642280504
3642280501
9783642280498
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto On Multiway Cut Parameterized above Lower Bounds / Marek Cygan, Marcin Pilipczuk, Michał Pilipczuk and Jakub Onufry Wojtaszczyk -- Parameterized Complexity of Firefighting Revisited / Marek Cygan, Fedor V. Fomin and Erik Jan van Leeuwen -- Parameterized Complexity in Multiple-Interval Graphs: Domination / Minghui Jiang and Yong Zhang -- A Faster Algorithm for Dominating Set Analyzed by the Potential Method / Yoichi Iwata -- Contracting Graphs to Paths and Trees / Pinar Heggernes, Pim van 't Hof, Benjamin Lévêque, Daniel Lokshtanov and Christophe Paul -- Increasing the Minimum Degree of a Graph by Contractions / Petr A. Golovach, Marcin Kamiński, Daniël Paulusma and Dimitrios M. Thilikos -- Planar Disjoint-Paths Completion / Isolde Adler, Stavros G. Kolliopoulos and Dimitrios M. Thilikos -- Sparse Solutions of Sparse Linear Systems: Fixed-Parameter Tractability and an Application of Complex Group Testing / Peter Damaschke -- New Upper Bounds for MAX-2-SAT and MAX-2-CSP w.r.t. the Average Variable Degree / Alexander Golovnev -- Improved Parameterized Algorithms for above Average Constraint Satisfaction / Eun Jung Kim and Ryan Williams -- On Polynomial Kernels for Structural Parameterizations of Odd Cycle Transversal / Bart M.P. Jansen and Stefan Kratsch -- Kernel Bounds for Path and Cycle Problems / Hans L. Bodlaender, Bart M.P. Jansen and Stefan Kratsch -- On the Hardness of Losing Width / Marek Cygan, Daniel Lokshtanov, Marcin Pilipczuk, Michał Pilipczuk and Saket Saurabh -- Safe Approximation and Its Relation to Kernelization / Jiong Guo, Iyad Kanj and Stefan Kratsch -- Simpler Linear-Time Kernelization for Planar Dominating Set / Torben Hagerup -- Linear-Time Computation of a Linear Problem Kernel for Dominating Set on Planar Graphs / René van Bevern, Sepp Hartung, Frank Kammer, Rolf Niedermeier and Mathias Weller -- Tight Complexity Bounds for FPT Subgraph Problems Parameterized by Clique-Width / Hajo Broersma, Petr A. Golovach and Viresh Patel -- Finding Good Decompositions for Dynamic Programming on Dense Graphs / Eivind Magnus Hvidevold, Sadia Sharmin, Jan Arne Telle and Martin Vatshelle -- Parameterized Maximum Path Coloring / Michael Lampis -- On Cutwidth Parameterized by Vertex Cover / Marek Cygan, Daniel Lokshtanov, Marcin Pilipczuk, Michał Pilipczuk and Saket Saurabh -- Twin-Cover: Beyond Vertex Cover in Parameterized Algorithmics / Robert Ganian.
Record Nr. UCHICAGO-11076741
[IPEC (Symposium) (6th : 2011 : Saarbrücken, Germany)]  
Materiale a stampa
Lo trovi qui: University of Chicago
Mobile lightweight wireless systems : third International ICST Conference, MOBILIGHT 2011, Bilbao, Spain, May 9-10, 2011, Revised selected papers / Javier Del Ser [and others] (eds.).
Mobile lightweight wireless systems : third International ICST Conference, MOBILIGHT 2011, Bilbao, Spain, May 9-10, 2011, Revised selected papers / Javier Del Ser [and others] (eds.).
Creatore [MOBILIGHT 2011 (2011 : Bilbao, Spain)]
Estensione 1 online resource (xi, 358 pages).
Accesso persona Ser, Javier del.
Genere/Forma Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Operating systems (Computers)
Computer Communication Networks
Software engineering
Computer software
Information Systems
Performance and Reliability
Algorithm Analysis and Problem Complexity
Management of Computing and Information Systems
Simulation and Modeling
ISBN 9783642294792
3642294790
9783642294785
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Part 1. Track 1 Capacity Region of the Two-Way Multi-antenna Relay Channel with Analog Tx-Rx Beamforming / Cristian Lameiro, Alfredo Nazábal, Fouad Gholam, Javier Vía and Ignacio Santamaría -- Analytical Foundation for Energy Efficiency Optimisation in Cellular Networks with Elastic Traffic / Zhijiat Chong and Eduard Jorswieck -- A Note on the Wiener Filter for Vector Random Processes / Jesús Gutiérrez-Gutiérrez, Adam Podhorski, Iñaki Iglesias and Javier Del Ser -- Energy Efficient Network Coding-based Cooperative ARQ Scheme for Wireless Networks / Angelos Antonopoulos and Christos Verikoukis -- A Real-Time FPGA-Based Implementation of a High-Performance MIMO-OFDM Mobile WiMAX Transmitter / Oriol Font-Bach, Nikolaos Bartzoudis, Antonio Pascual-Iserte and David López Bueno.
Part 2. Track 2 Delay Modeling for 3G Mobile Multimedia Services QoE Estimation / Ianire Taboada, Fidel Liberal and Jose Oscar Fajardo -- Route Recovery Algorithm for QoS-Aware Routing in MANETs / Wilder Castellanos, Pau Arce, Patricia Acelas and Juan C. Guerri -- Cross-Layer Adaptation of H.264/AVC over 3G UMTS Mobile Video Services / Jose Oscar Fajardo, Ianire Taboada, Fidel Liberal and Armando Ferro -- Concurrent and Distributed Projection through Local Interference for Wireless Sensor Networks / Xabier Insausti, Pedro M. Crespo, Baltasar Beferull and Javier Del Ser -- SA-RI-MAC: Sender-Assisted Receiver-Initiated Asynchronous Duty Cycle MAC Protocol for Dynamic Traffic Loads in Wireless Sensor Networks / Shagufta Henna.
Part 3. Track 3 Bluetooth Indoor Positioning System Using Fingerprinting / Christian Frost, Casper Svenning Jensen, Kasper Søe Luckow, Bent Thomsen and René Hansen -- User Movements Forecasting by Reservoir Computing Using Signal Streams Produced by Mote-Class Sensors / Claudio Gallicchio, Alessio Micheli, Paolo Barsocchi and Stefano Chessa -- Bayesian Filtering Methods for Target Tracking in Mixed Indoor/Outdoor Environments / Katrin Achutegui, Javier Rodas, Carlos J. Escudero and Joaquín Míguez -- Social Acceptance and Usage Experiences from a Mobile Location-Aware Service Environment / Bernhard Klein, Jorge Perez, Christian Guggenmos, Olli Pihlajamaa and Immo Heino, et al.
Part 4. Track 4 Mobile-Human Interaction Monitoring System / Ivan Pretel and Ana Belen Lago -- Design and Implementation of a Simulation Environment for the Evaluation of Authentication Protocols in IEEE 802.11s Networks / Ikbel Daly, Faouzi Zarai and Lotfi Kamoun -- Re-authentication Protocol for Vertical Handoff in Heterogeneous Wireless Networks / Ikbel Daly, Faouzi Zarai and Lotfi Kamoun -- A Distributed Framework for Organizing an Internet of Things / Jamie Walters, Theo Kanter and Enrico Savioli -- An Analysis of Smart Antenna Usage for WiMAX Vehicular Communications / Mihai Constantinescu, Eugen Borcoci, Tinku Rasheed and David Hayes -- Real Time Traffic Capabilities Evaluation of a Hybrid Testbed for WiMAX Networks with Smart Antenna Support / Şerban Obreja, Irinel Olariu, Alexey Baraev and Eugen Borcoci -- Multipath Network Coding in Wireless Mesh Networks / Velmurugan Ayyadurai, Klaus Moessner and Rahim Tafazolli -- 2G/3G-Connect: A Tool for Strategic Techno-Economical Studies on National-Wide Mobile Networks under a Hybrid 2G/3G Architecture / Alberto E. García, Laura Rodríguez de Lope, Klaus D. Hackbarth, Dragan Illich and Werner Neu -- Strategic Mobile Network Planning Tool for 2G/3G Regulatory Studies / Juan Eulogio Sánchez-García, Amir M. Ahmadzadeh, Beatriz Saavedra-Moreno, Sancho Salcedo-Sanz and J. Antonio Portilla-Figueras -- Impact of the HSPDA-Based Mobile Broadband Access on the Investment of the 3G Access Network / Juan Eulogio Sánchez-García, Amir M. Ahmadzadeh, Silvia Jiménez-Fernández, Sancho Salcedo-Sanz and J. Antonio Portilla-Figueras -- Challenging Wireless Networks, an Underground Experience / David Palma, Joao Goncalves and Marilia Curado -- Operational Support of Wireless Mesh Networks Deployed for Extending Network Connectivity / Thomas Staub, Benjamin Nyffenegger, Desislava C. Dimitrova and Torsten Braun -- A Shared Opportunistic Infrastructure for Long-Lived Wireless Sensor Networks / Xiuchao Wu, Cormac J. Sreenan and Kenneth N. Brown -- Wireless Sensor Networks for a Zero-Energy Home / Rangarao Venkatesha Prasad, Vijay S. Rao, Ignas Niemegeers and Sonia Heemstra de Groot -- Analysis Methodology for Flow-Level Evaluation of a Hybrid Mobile-Sensor Network / Desislava C. Dimitrova, Geert Heijenk and Torsten Braun.
Record Nr. UCHICAGO-11076821
[MOBILIGHT 2011 (2011 : Bilbao, Spain)]  
Materiale a stampa
Lo trovi qui: University of Chicago
Public key infrastructures, services and applications : 8th European Workshop, EuroPKI 2011, Leuven, Belgium, September 15-16, 2011, Revised selected papers / Svetla Petkova-Nikova, Andreas Pashalidis, Günther Pernul (eds.).
Public key infrastructures, services and applications : 8th European Workshop, EuroPKI 2011, Leuven, Belgium, September 15-16, 2011, Revised selected papers / Svetla Petkova-Nikova, Andreas Pashalidis, Günther Pernul (eds.).
Creatore [European PKI Workshop (8th : 2011 : Leuven, Belgium)]
Estensione 1 online resource (x, 208 pages).
Accesso persona Petkova-Nikova, Svetla
Pashalidis, Andreas, 1978-
Pernul, Günther, 1961-
Genere/Forma Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Computer Communication Networks
Data protection
Data encryption (Computer science)
Computer software
Information Systems
Management of Computing and Information Systems
Algorithm Analysis and Problem Complexity
Computers and Society
Systems and Data Security
ISBN 9783642298042
3642298044
3642298036
9783642298035
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Secret Handshake Scheme with Request-Based-Revealing / Yutaka Kawai and Noboru Kunihiro -- Password-Based Signatures / Kristian Gjøsteen and Øystein Thuen -- Isolating Partial Information of Indistinguishable Encryptions / Jean Lancrenon and Roland Gillard -- A Universal Client-Based Identity Management Tool / Haitham S. Al-Sinani and Chris J. Mitchell -- Design and Evaluation of a Privacy-Preserving Architecture for Vehicle-to-Grid Interaction / Mark Stegelmann and Dogan Kesdogan -- Insider Attacks and Privacy of RFID Protocols / Ton van Deursen and Saša Radomirović -- Cell-Based Roadpricing / Flavio D. Garcia, Eric R. Verheul and Bart Jacobs -- Ballot Aggregation and Mixnet Based Open-Audit Elections / (Extended Abstract) / Olivier Pereira -- PKI as Part of an Integrated Risk Management Strategy for Web Security / Peter Gutmann -- A PKI-Based Mobile Banking Demonstrator / Gauthier Van Damme, Nicolas Luyckx and Karel Wouters -- Certification Validation: Back to the Past / Moez Ben M'Barka and Julien P. Stern -- A Hijacker's Guide to the LPC Bus / Johannes Winter and Kurt Dietrich -- Secure Event Logging in Sensor Networks / An Braeken, Antonio De La Piedro and Karel Wouters.
Record Nr. UCHICAGO-11076886
[European PKI Workshop (8th : 2011 : Leuven, Belgium)]  
Materiale a stampa
Lo trovi qui: University of Chicago
Advances in grid and pervasive computing : 7th international conference, GPC 2012, Hong Kong, China, May 11-13, 2012 : proceedings / Ruixuan Li, Jiannong Cao, Julien Bourgeois (eds.).
Advances in grid and pervasive computing : 7th international conference, GPC 2012, Hong Kong, China, May 11-13, 2012 : proceedings / Ruixuan Li, Jiannong Cao, Julien Bourgeois (eds.).
Creatore [GPC (Conference) (7th : 2012 : Hong Kong, China)]
Estensione 1 online resource (xiii, 378 pages) : illustrations.
Accesso persona Li, Ruixuan
Cao, Jiannong
Bourgeois, Julien
Genere/Forma Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Computer Communication Networks
Software engineering
Operating systems (Computers)
Computer software
Algorithm Analysis and Problem Complexity
Information Systems Applications (incl. Internet)
Operating Systems
Programming Techniques
ISBN 9783642307676
3642307671
9783642307669
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto From Web Cache to Cloud Cache / Thepparit Banditwattanawong -- pCloud: An Adaptive I/O Resource Allocation Algorithm with Revenue Consideration over Public Clouds / Jianzong Wang, Yanjun Chen, Daniel Gmach, Changsheng Xie and Jiguang Wan, et al. -- A Gossip-Based Mutual Exclusion Algorithm for Cloud Environments / JongBeom Lim, Kwang-Sik Chung, Sung-Ho Chin and Heon-Chang Yu -- An Effective Partition Approach for Elastic Application Development on Mobile Cloud Computing / Zhuoran Qin, Jixian Zhang and Xuejie Zhang -- Memory Virtualization for MIPS Processor Based Cloud Server / Li Ruan, Huixiang Wang, Limin Xiao, Mingfa Zhu and Feibo Li -- Implementation of a Distributed Data Storage System with Resource Monitoring on Cloud Computing / Chao-Tung Yang, Wen-Chung Shih and Chih-Lin Huang -- Design, Verification and Prototyping the Next Generation of Desktop Grid Middleware / Leila Abidi, Christophe Cérin and Kais Klai -- A Request Multiplexing Method Based on Multiple Tenants in SaaS / Pingli Gu, Yanlei Shang, Junliang Chen, Bo Cheng and Yan Jiang -- An Adaptive Design Pattern for Genetic Algorithm-Based Composition of Web Services in Autonomic Computing Systems Using SOA / Vishnuvardhan Mannava and T. Ramesh -- Service-Oriented Ontology and Its Evolution / Weisen Pan, Shizhan Chen and Zhiyong Feng -- Energy Efficient Activity Recognition Based on Low Resolution Accelerometer in Smart Phones / Yunji Liang, Xingshe Zhou, Zhiwen Yu, Bin Guo and Yue Yang.
Energy Efficient Allocation of Virtual Machines in Cloud Computing Environments Based on Demand Forecast / Jian Cao, Yihua Wu and Minglu Li -- Energy Conservative Mobile Cloud Infrastructure / Ashok Chandrasekar, Karthik Chandrasekar, Harini Ramasatagopan and Rafica Abdul Rahim -- Power-Constrained Actuator Coordination for Agricultural Sensor Networks / Junghoon Lee, Gyung-Leen Park, Ho-Young Kwak and Jikwang Han -- Design and Evaluation of Mobile Applications with Full and Partial Offloadings / Jennifer Kim -- A Cross-Layer Scheme to Improve TCP Performance in Wireless Multi-hop Networks / Fu-Quan Zhang and Inwhee Joe -- A Fully Abstract View for Local Cause Semantics / Jianxin Xue and Xiaoju Dong -- Efficiency Considerations in Policy Based Management in Resource Constrained Devices / Jignesh Kakkad and Nandan Parameswaran -- Agent Based Quality Management Middleware for Context-Aware Pervasive Applications / Di Zheng, Jun Wang and Ke-rong Ben -- A Virtual File System for Streaming Loading of Virtual Software on Windows NT / Yabing Cui, Chunming Hu, Tianyu Wo and Hanwen Wang -- TBF: A High-Efficient Query Mechanism in De-duplication Backup System / Bin Zhou, Hai Jin, Xia Xie and PingPeng Yuan -- Estimating Deadline-Miss Probabilities of Tasks in Large Distributed Systems / Dongping Wang, Bin Gong and Guoling Zhao -- Global Pricing in Large Scale Computational Markets / Lilia Chourou, Ahmed Elleuch and Mohamed Jemni.
A New RBAC Based Access Control Model for Cloud Computing / Zhuo Tang, Juan Wei, Ahmed Sallam, Kenli Li and Ruixuan Li -- QoS Monitoring and Dynamic Trust Establishment in the Cloud / Ashok Chandrasekar, Karthik Chandrasekar, Malairaja Mahadevan and P. Varalakshmi -- Multihop-Based Key Management in Hierarchical Wireless Sensor Network / Yiying Zhang, Xiangzhen Li, Yan Zhen and Lingkang Zeng -- A Bullet-Proof Verification Using Distributed Watchdogs (BPV-DW) to Detect Black Hole Attack in Mobile Ad Hoc Networks / Firoz Ahmed, Seok Hoon Yoon and Hoon Oh -- Performance Analysis for Workflow Management Systems under Role-Based Authorization Control / Limin Liu, Ligang He and Stephen A. Jarvis -- A Medical Image File Accessing System with Virtualization Fault Tolerance on Cloud / Chao-Tung Yang, Cheng-Ta Kuo, Wen-Hung Hsu and Wen-Chung Shih -- Enhanced Password-Based User Authentication Using Smart Phone / Inkyung Jeun, Mijin Kim and Dongho Won -- Development of m-TMS for Trusted Computing in Mobile Cloud / Hyun-Woo Kim, Eun-Ha Song, Jun-Ho Kim, Sang Oh Park and Young-Sik Jeong -- An Efficient Cloud Storage Model for Cloud Computing Environment / HwaYoung Jeong and JongHyuk Park.
Record Nr. UCHICAGO-11076893
[GPC (Conference) (7th : 2012 : Hong Kong, China)]  
Materiale a stampa
Lo trovi qui: University of Chicago
How the world computes : Turing Centenary Conference and 8th Conference on Computability in Europe, CiE 2012, Cambridge, UK, June 18-23, 2012. Proceedings / edited by S. Barry Cooper, Anuj Dawar, Benedikt Löwe
How the world computes : Turing Centenary Conference and 8th Conference on Computability in Europe, CiE 2012, Cambridge, UK, June 18-23, 2012. Proceedings / edited by S. Barry Cooper, Anuj Dawar, Benedikt Löwe
Creatore [Conference on Computability in Europe (8th : 2012 : Cambridge, England)]
Estensione 1 online resource.
Accesso persona Cooper, S. B. (S. Barry)
Dawar, Anuj
Löwe, Benedikt
Genere/Forma Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Computer software
Computational complexity
Algebra -- Data processing
Logic, Symbolic and mathematical
Computation by Abstract Devices
Algorithm Analysis and Problem Complexity
Discrete Mathematics in Computer Science
Symbolic and Algebraic Manipulation
Mathematical Logic and Foundations
ISBN 9783642308703
3642308708
9783642308697
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Ordinal Analysis and the Infinite Ramsey Theorem / Bahareh Afshari and Michael Rathjen -- Curiouser and Curiouser: The Link between Incompressibility and Complexity / Eric Allender -- Information and Logical Discrimination / Patrick Allo -- Robustness of Logical Depth / Luís Antunes, Andre Souto and Andreia Teixeira -- Turing's Normal Numbers: Towards Randomness / Verónica Becher -- Logic of Ruler and Compass Constructions / Michael Beeson -- On the Computational Content of the Brouwer Fixed Point Theorem / Vasco Brattka, Stéphane Le Roux and Arno Pauly -- Square Roots and Powers in Constructive Banach Algebra Theory / Douglas S. Bridges and Robin S. Havea -- The Mate-in-n Problem of Infinite Chess Is Decidable / Dan Brumleve, Joel David Hamkins and Philipp Schlicht -- A Note on Ramsey Theorems and Turing Jumps / Lorenzo Carlucci and Konrad Zdanowski -- Automatic Functions, Linear Time and Learning / John Case, Sanjay Jain, Samuel Seah and Frank Stephan -- An Undecidable Nested Recurrence Relation / Marcel Celaya and Frank Ruskey -- Hard Instances of Algorithms and Proof Systems / Yijia Chen, Jörg Flum and Moritz Müller -- On Mathias Generic Sets / Peter A. Cholak, Damir D. Dzhafarov and Jeffry L. Hirst -- Complexity of Deep Inference via Atomic Flows / Anupam Das -- Connecting Partial Words and Regular Languages / Jürgen Dassow, Florin Manea and Robert Mercaş
Randomness, Computation and Mathematics / Rod Downey -- Learning, Social Intelligence and the Turing Test / Why an "Out-of-the-Box" Turing Machine Will Not Pass the Turing Test / Bruce Edmonds and Carlos Gershenson -- Confluence in Data Reduction: Bridging Graph Transformation and Kernelization / Hartmut Ehrig, Claudia Ermel, Falk Hüffner, Rolf Niedermeier and Olga Runge -- Highness and Local Noncappability / Chengling Fang, Wang Shenling and Guohua Wu -- Turing Progressions and Their Well-Orders / David Fernández Duque and Joost J. Joosten -- A Short Note on Spector's Proof of Consistency of Analysis / Fernando Ferreira -- Sets of Signals, Information Flow, and Folktales / Mark Alan Finlayson -- On the Foundations and Philosophy of Info-metrics / Amos Golan -- On Mathematicians Who Liked Logic / The Case of Max Newman / Ivor Grattan-Guinness -- Densities and Entropies in Cellular Automata / Pierre Guillon and Charalampos Zinoviadis -- Foundational Analyses of Computation / Yuri Gurevich -- Turing Machine-Inspired Computer Science Results / Juris Hartmanis -- NP-Hardness and Fixed-Parameter Tractability of Realizing Degree Sequences with Directed Acyclic Graphs / Sepp Hartung and André Nichterlein -- A Direct Proof of Wiener's Theorem / Matthew Hendtlass and Peter Schuster -- Effective Strong Nullness and Effectively Closed Sets / Kojiro Higuchi and Takayuki Kihara.
Word Automaticity of Tree Automatic Scattered Linear Orderings Is Decidable / Martin Huschenbett -- On the Relative Succinctness of Two Extensions by Definitions of Multimodal Logic / Wiebe van der Hoek, Petar Iliev and Barteld Kooi -- On Immortal Configurations in Turing Machines / Emmanuel Jeandel -- A Slime Mold Solver for Linear Programming Problems / Anders Johannson and James Zou -- Multi-scale Modeling of Gene Regulation of Morphogenesis / Jaap A. Kaandorp, Daniel Botman, Carlos Tamulonis and Roland Dries -- Tree-Automatic Well-Founded Trees / Alexander Kartzow, Jiamou Liu and Markus Lohrey -- Infinite Games and Transfinite Recursion of Multiple Inductive Definitions / Keisuke Yoshii and Kazuyuki Tanaka -- A Hierarchy of Immunity and Density for Sets of Reals / Takayuki Kihara -- How Much Randomness Is Needed for Statistics? / Bjørn Kjos-Hanssen, Antoine Taveneaux and Neil Thapen -- Towards a Theory of Infinite Time Blum-Shub-Smale Machines / Peter Koepke and Benjamin Seyfferth -- Turing Pattern Formation without Diffusion / Shigeru Kondo -- Degrees of Total Algorithms versus Degrees of Honest Functions / Lars Kristiansen -- A 5n -- o(n) Lower Bound on the Circuit Size over U2 of a Linear Boolean Function / Alexander S. Kulikov, Olga Melanich and Ivan Mihajlin -- Local Induction and Provably Total Computable Functions: A Case Study / Andrés Cordón-Franco and F. Félix Lara-Martín.
What is Turing's Comparison between Mechanism and Writing Worth? / Jean Lassègue and Giuseppe Longo -- Substitutions and Strongly Deterministic Tilesets / Bastien Le Gloannec and Nicolas Ollinger -- The Computing Spacetime / Fotini Markopoulou -- Unifiability and Admissibility in Finite Algebras / George Metcalfe and Christoph Röthlisberger -- Natural Signs / Ruth Garrett Millikan -- Characteristics of Minimal Effective Programming Systems / Samuel E. Moelius III -- After Turing: Mathematical Modelling in the Biomedical and Social Sciences / From Animal Coat Patterns to Brain Tumours to Saving Marriages / James D. Murray -- Existence of Faster than Light Signals Implies Hypercomputation already in Special Relativity / Péter Németi and Gergely Székely -- Turing Computable Embeddings and Coding Families of Sets / Víctor A. Ocasio-González -- On the Behavior of Tile Assembly System at High Temperatures / Shinnosuke Seki and Yasushi Okuno -- Abstract Partial Cylindrical Algebraic Decomposition I: The Lifting Phase / Grant Olney Passmore and Paul B. Jackson -- Multi-valued Functions in Computability Theory / Arno Pauly -- Relative Randomness for Martin-Löf Random Sets / NingNing Peng, Kojiro Higuchi, Takeshi Yamazaki and Kazuyuki Tanaka -- On the Tarski-Lindenbaum Algebra of the Class of all Strongly Constructivizable Prime Models / Mikhail G. Peretyat'kin.
Record Nr. UCHICAGO-11076935
[Conference on Computability in Europe (8th : 2012 : Cambridge, England)]  
Materiale a stampa
Lo trovi qui: University of Chicago