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.
Web-age information management : WAIM 2011 International Workshops: WGIM 2011, XMLDM 2011, SNA 2011, Wuhan, China, September 14-16, 2011, Revised selected papers / Liwei Wang [and others] (eds.).
Web-age information management : WAIM 2011 International Workshops: WGIM 2011, XMLDM 2011, SNA 2011, Wuhan, China, September 14-16, 2011, Revised selected papers / Liwei Wang [and others] (eds.).
Creatore [WAIM (Conference) (12th : 2011 : Wuhan, China)]
Estensione 1 online resource (xiv, 222 pages).
Disciplina 004
Accesso persona Wang, Liwei
Accesso convegno WGIM 2011 (2011 : Wuhan, China)
XMLDM 2011 (2011 : Wuhan, China)
SNA 2011 (2011 : Wuhan, China)
Genere/Forma Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Computer Communication Networks
Database management
Information storage and retrieval systems
Artificial intelligence
Information Systems Applications (incl. Internet)
Information Storage and Retrieval
Data Mining and Knowledge Discovery
ISBN 9783642286353
3642286356
9783642286346
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Enhancing the Quality of Place Resources in Geo-folksonomies / Ehab ElGindy and Alia Abdelmoty -- Generating Semantic-Based Trajectories for Indoor Moving Objects / Huaishuai Wang, Peiquan Jin, Lei Zhao, Lanlan Zhang and Lihua Yue -- HTPR*-Tree: An Efficient Index for Moving Objects to Support Predictive Query and Partial History Query / Ying Fang, Jiaheng Cao, Junzhou Wang, Yuwei Peng and Wei Song -- Developing Rich Web GIS Applications for Visual Analytics / Michael Meyers and Bruce A. Ralston -- Single-Source Multi-Target A* Algorithm for POI Queries on Road Network / Htoo Htoo, Yutaka Ohsawa and Noboru Sonehara -- Combining Top-k Query in Road Networks / Weimo Liu, Yinan Jing, Kunjie Chen and Weiwei Sun -- Extracting Focused Locations for Web Pages / Qingqing Zhang, Peiquan Jin, Sheng Lin and Lihua Yue -- Searching Similar Trajectories in Real Time: An Effectiveness and Efficiency Study / Yuchi Ma, Chunyan Qu, Tingting Liu, Ning Yang and Changjie Tang -- Multidimensional Implementation of Stream ADT / Filip Křižka, Michal Krátký, Radim Bača and Peter Chovanec -- Measuring XML Structured-ness with Entropy / Ruiming Tang, Huayu Wu and Stéphane Bressan -- Similarity Join on XML Based on k-Generation Set Distance / Yue Wang, Hongzhi Wang, Yang Wang and Hong Gao -- XML Query Processing Using Views / Caiyun Yao, Jiaheng Lu, Wei Wang and Xiaofang Zhou -- XIO-SLCA: Optimize SLCA for Effective Keyword Search in XML Documents / Xia Li, Zhanhuai Li, PeiYing Wang, Qun Chen and Lijun Zhang, et al. -- The Development of XML Stored Procedures in XML Enabled Databases / Fahad Alahmari and Eric Pardede -- A Slope One Collaborative Filtering Recommendation Algorithm Using Uncertain Neighbors Optimizing / Jingjiao Li, Limei Sun and Jiao Wang -- A Social Reputation Management for Web Communities / Di He, Zhiyong Peng, Liang Hong and Yu Zhang -- A Collaborative Filtering Recommendation System by Unifying User Similarity and Item Similarity / Dongzhan Zhang and Chao Xu -- Supporting Query over Dynamic Combination of Data Sources for Social Media / Rongrong Li, Weixiang Zhai and Zhiyong Peng -- Detecting Opinion Leader Dynamically in Chinese News Comments / Kaisong Song, Daling Wang, Shi Feng and Ge Yu -- An Approach of Semi-automatic Public Sentiment Analysis for Opinion and District / Daling Wang, Shi Feng, Chao Yan and Ge Yu.
Record Nr. NYU-004374522
[WAIM (Conference) (12th : 2011 : Wuhan, China)]  
Materiale a stampa
Lo trovi qui: New York University
Transactions on petri nets and other models of concurrency V / Kurt Jensen, Susanna Donatelli, Jetty Kleijn (eds.).
Transactions on petri nets and other models of concurrency V / Kurt Jensen, Susanna Donatelli, Jetty Kleijn (eds.).
Estensione 1 online resource (xiv, 291 pages).
Disciplina 004.01/51
Accesso persona Jensen, K. (Kurt), 1950-
Donatelli, Susanna
Kleijn, Jetty
Accesso convegno International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency (31st : 2010 : Braga, Portugal)
Genere/Forma Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Computer Communication Networks
Software engineering
Information theory
Computer software
Computer simulation
Models and Principles
Theory of Computation
Algorithm Analysis and Problem Complexity
ISBN 9783642290725
3642290728
9783642290718
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Cycle Structure in SR and DSR Graphs: Implications for Multiple Equilibria and Stable Oscillation in Chemical Reaction Networks / Murad Banaji -- Modeling and Mining of Learnflows / Robin Bergenthum, Jörg Desel, Andreas Harrer and Sebastian Mauser -- Ten Years of Saturation: A Petri Net Perspective / Gianfranco Ciardo, Yang Zhao and Xiaoqing Jin -- Refinement and Asynchronous Composition of Modal Petri Nets / Dorsaf Elhog-Benzina, Serge Haddad and Rolf Hennicker -- Computing a Hierarchical Static Order for Decision Diagram-Based Representation from P/T Nets / Silien Hong, Fabrice Kordon, Emmanuel Paviot-Adet and Sami Evangelista -- Bounded Model Checking for Parametric Timed Automata / Michał Knapik and Wojciech Penczek -- Synthesis Problem for Petri Nets with Localities / Maciej Koutny and Marta Pietkiewicz-Koutny -- A Petri Net Perspective on the Resource Allocation Problem in Software Engineering / Juan-Pablo López-Grao and José-Manue Colom -- Nets-Within-Nets Paradigm and Grid Computing / Marco Mascheroni and Fabio Farina -- Incremental Process Discovery / Marc Solé and Josep Carmona -- Providing an Agent Flavored Integration for Workflow Management / Thomas Wagner, José Quenum, Daniel Moldt and Christine Reese -- A Graphical Approach to Component-Based and Extensible Model Checking Platforms / Michael Westergaard and Lars Michael Kristensen.
Record Nr. NYU-004374687
Materiale a stampa
Lo trovi qui: New York University
Database systems for advanced applications : 17th International Conference, DASFAA 2012, International Workshops: FlashDB, ITEMS, SNSM, SIM³, DQDI, Busan, South Korea, April 15-19, 2012. Proceedings / Hwanjo Yu, Ge Yu [and others] (eds.).
Database systems for advanced applications : 17th International Conference, DASFAA 2012, International Workshops: FlashDB, ITEMS, SNSM, SIM³, DQDI, Busan, South Korea, April 15-19, 2012. Proceedings / Hwanjo Yu, Ge Yu [and others] (eds.).
Creatore [DASFAA (Conference : Database systems) (17th : 2012 : Pusan, Korea)]
Estensione 1 online resource (xxiv, 336 pages).
Disciplina 005.74068
Accesso persona Yu, Hwanjo
Accesso convegno International Workshop on Flash-Based Database Systems (2012 : Pusan, Korea)
ITEMS 2012 (2012 : Pusan, Korea)
SNSM 2012 (2012 : Pusan, Korea)
International Workshop on Spatial Information Modeling, Management and Mining (2012 : Pusan, Korea)
DQDI 2012 (2012 : Pusan, Korea)
Genere/Forma Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Computer Communication Networks
Database management
Data mining
Information storage and retrieval systems
Artificial intelligence
Information Systems Applications (incl. Internet)
Information Storage and Retrieval
Data Mining and Knowledge Discovery
ISBN 9783642290237
364229023X
3642290221
9783642290220
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Commercial SSD Products -- Status Quo and Next / Bumsoo Kim -- Improving Database Performance Using a Flash-Based Write Cache / Yi Ou and Theo Härder -- h-Buffer: An Adaptive Buffer Management Scheme for Flash-Based Storage Devices / Rui Wang, Lihua Yue, Peiquan Jin and Junjie Wang -- A Study of Space Reclamation on Flash-Based Append-only Storage Management / Yulei Fan, Wei Cao and Xiaofeng Meng -- A Dual-Grained FTL for Flash Memory / Junjie Wang, Lihua Yue, Peiquan Jin and Rui Wang -- Impact of Storage Technology on the Efficiency of Cluster-Based High-Dimensional Index Creation / Gylfi Þór Gudmundsson, Laurent Amsaleg and Björn Þór Jónsson -- Implementation of the Aggregated R-Tree over Flash Memory / Maciej Pawlik and Wojciech Macyna -- A Flash-Based Decomposition Storage Model / Qingling Cao, Zhichao Liang, Yulei Fan and Xiaofeng Meng.
The Contribution of Bayesian Networks to Manage Risks of Maritime Piracy against Oil Offshore Fields / Xavier Chaze, Amal Bouejla, Aldo Napoli, Franck Guarnieri and Thibaut Eude, et al. -- A Scalable Object Based Discovery Service for Global Tracing of RFID Products / Gihong Kim, Bonghee Hong and Joonho Kwon -- On Smart and Accurate Contextual Advertising / Guandong Xu and Zongda Wu -- Review Summarization Based on Linguistic Knowledge / Kyung-Mi Park, Hogun Park, Hyoung-Gon Kim and Heedong Ko -- Finding Related Micro-blogs Based on WordNet / Lin Li, Huifan Xiao and Guandong Xu -- An Efficient Path Nearest Neighbor Query Processing Scheme for Location Based Services / Yonghun Park, Kyoungsoo Bok and Jaesoo Yoo -- Social Community Based Blog Search Framework / Ok-Ran Jeong and Jehwan Oh -- LSA as Ground Truth for Recommending "Flickr-Aware" Representative Tags / Xian Chen, Hyoseop Shin and Minsoo Lee.
Adaptive Access Control Enforcement in Social Network Using Aspect Weaving / Frédéric Cuppens, Nora Cuppens-Boulahia and Eduardo Pena Viña -- Exploring Reflection of Urban Society through Cyber-Physical Crowd Behavior on Location-Based Social Network / Shoko Wakamiya, Ryong Lee and Kazutoshi Sumiya -- Mining Social Networks for Significant Friend Groups / Carson Kai-Sang Leung and Syed K. Tanbeer -- Ranking Structural Parameters for Social Networks / Nidhi R. Arora, Wookey Lee and Simon Soon-Hyoung Park -- Collaborative Similarity Measure for Intra Graph Clustering / Waqas Nawaz, Young-Koo Lee and Sungyoung Lee -- A Grid-Based Index and Queries for Large-Scale Geo-tagged Video Collections / He Ma, Sakire Arslan Ay, Roger Zimmermann and Seon Ho Kim -- Indexing Partial History Trajectory and Future Position of Moving Objects Using HTPR*-Tree / Ying Fang, Jiaheng Cao, Yuwei Peng and Nengcheng Chen -- A Linear Broadcast Indexing Scheme in Road Environments with Sensor Networks / Soo Kang, Dongkyo Hwang, Junho Park, Dongook Seong and Jaesoo Yoo.
Spatial Keyword Queries / Gao Cong -- Evaluating Spatial Keyword Queries under the MapReduce Framework / Wengen Li, Weili Wang and Ting Jin -- Detection of High-Risk Zones and Potential Infected Neighbors from Infectious Disease Monitoring Data / Biying Tan, Lei Duan, Chi Gou, Shuyang Huang and Yuhao Fang, et al. -- Bayesian Network-Based Probabilistic XML Keywords Filtering / Chenjing Zhang, Kun Yue, Jinghua Zhu, Xiaoling Wang and Aoying Zhou -- Provenance Based Conflict Handling Strategies / Domenico Beneventano -- Incomplete Databases: Missing Records and Missing Values / Werner Nutt, Simon Razniewski and Gil Vegliach -- User Interface Design Guidelines Arrangement in a Recommender System with Frame Ontology / Maxim Bakaev and Tatiana Avdeenko -- Assessing Information Quality by Six Sigma Method / Sang Hyun Lee and Abrar Haider.
Record Nr. NYU-004374913
[DASFAA (Conference : Database systems) (17th : 2012 : Pusan, Korea)]  
Materiale a stampa
Lo trovi qui: New York University
E-Infrastructure and e-Services for developing countries : third International ICST Conference, AFRICOMM 2011, Zanzibar, Tanzania, November 23-24, 2011, Revised selected papers / Radu Popescu-Zeletin [and others] (eds.).
E-Infrastructure and e-Services for developing countries : third International ICST Conference, AFRICOMM 2011, Zanzibar, Tanzania, November 23-24, 2011, Revised selected papers / Radu Popescu-Zeletin [and others] (eds.).
Creatore [AFRICOMM 2011 (2011 : Zanzibar, Tanzania)]
Estensione 1 online resource (xiii, 259 pages).
Disciplina 004.6
Accesso persona Popescu-Zeletin, R.
Genere/Forma Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Computer Communication Networks
Information systems
Education
Computers and Society
Computers and Education
Management of Computing and Information Systems
Computer Appl. in Administrative Data Processing
Personal Computing
ISBN 9783642290930
3642290930
3642290922
9783642290923
Classificazione 54.32
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Part 1. Track I: Communication Infrastructures for Developing Countries -- Scenario to Serve Remote Areas in Emerging Countries with the Village Internet Service Station / Gaël Fromentoux, Arnaud Braud and Xavier Marjou -- Enhancing Service Provisioning within Heterogeneous Wireless Networks for Emergency Situations / Christian Lottermann, Andreas Klein, Hans D. Schotten and Christian Mannweiler -- Providing Some Quality of Service for Secondary Users in Cognitive Radios Using Time Slotted Systems / Hudson Okii and Idris A. Rai -- Fair Usage and Capping for Providing Internet for All in Developing Countries / Yvon Gourhant, Ali Gouta and Venmani Daniel Philip -- OpenFlow as an Architecture for e-Node B Virtualization / Venmani Daniel Philip, Yvon Gourhant and Djamal Zeghlache -- The White Space Opportunity in Southern Africa: Measurements with Meraka Cognitive Radio Platform / Moshe T. Masonta, David Johnson and Mjumo Mzyece -- Strategies for Energy-Efficient Mobile Web Access: An East African Case Study / Le Wang, Edward Mutafungwa, Yeswanth Puvvala and Jukka Manner -- Scalable Scheduling with Burst Mapping in IEEE 802.16e (Mobile) WiMAX Networks / Mukakanya Abel Muwumba and Idris A. Rai -- A Pilot of a QoS-Aware Wireless Back-Haul Network for Rural Areas / Philipp Batroff, George Ghinea, Thorsten Horstmann, Karl Jonas and Jens Moedeker -- SolarMesh -- Energy-Efficient, Autonomous Wireless Networks for Developing Countries / Christian Mannweiler, Christian Lottermann, Andreas Klein and Hans D. Schotten -- Critical Information Infrastructure Protection (CIIP) and Cyber Security in Africa -- Has the CIIP and Cyber Security Rubicon Been Crossed? / Basie von Solms and Elmarie Kritzinger -- Geographic Information System as a Tool for Integration of District Health Information System and Drug Logistics Management Information System in Malawi / Patrick Albert Chikumba and Auxilia Nyaukaya Kaunda.
Part 2. Track II: Electronic Services, ICT Policy, and Regulatory Issues for Developing Countries -- A Socio-technical Perspective on the Use of Mobile Phones for Remote Data Collection in Home Community Based Care in Developing Countries / Nobubele Angel Shozi, Dalenca Pottas and Nicky Mostert-Phipps -- Open Source Software Solution for Healthcare: The Case of Health Information System in Zanzibar / Yahya Hamad Sheikh and Abubakar Diwani Bakar -- A Software Business Incubation Model Using ICTs for Sustainable Economic Development in Uganda / Hugh Cameron, Benjamin Kanagwa and Michael Niyitegeka -- Crowdsourcing ICTD Best Practices / Aaron Ciaghi and Adolfo Villafiorita -- Information and Communication Technologies and Firms Productivity in Cameroon / Pierre Valére Nketcha Nana and Christophe Péguy Choub Faha -- e-Health for Rural Areas in Developing Countries: Lessons from the Sebokeng Experience / Massimiliano Masi, Rosario Pugliese and Francesco Tiezzi -- On Development of a Collaborative ICT Infrastructure for Online HIV/AIDS Advisory Service Provision / Simon Samwel Msanjila -- Socio-technical Arrangements for mHealth: Extending the Mobile Device Use and Adoption Framework / Tiwonge Davis Manda and Yamiko Msosa -- Power Dynamics in E-commerce Adoption in Least Developing Countries: The Case of Dar-es-Salaam SMEs, Tanzania / Salah Kabanda -- The Expansion of the Siyakhula Living Lab: A Holistic Perspective / Lorenzo Dalvit, Ingrid Siebörger and Hannah Thinyane -- Effect of Attitude towards SMS Technology and Its Applications on Blood Donation Behaviour / Harry H. Gombachika and Maganizo D. Monawe -- The Intelligent City Operations Centre: An Integrated Platform for Crisis Management / Mweene Monze -- Enabling New Interaction Forms and Applications through Next Generation Mobile Platforms for Urban and Rural Africa / Kasper Løvborg Jensen and Gary Marsden.
Record Nr. NYU-004374949
[AFRICOMM 2011 (2011 : Zanzibar, Tanzania)]  
Materiale a stampa
Lo trovi qui: New York University
Euro-Par 2011: Parallel processing workshops [electronic resource] : CCPI, CGWS, HeteroPar, HiBB, HPCVirt, HPPC, HPSS, MDGS, ProPer, Resilience, UCHPC, VHPC, Bordeaux, France, August 29-September 2, 2011, Revised selected papers. Part I / Michael Alexander [and others] (eds.).
Euro-Par 2011: Parallel processing workshops [electronic resource] : CCPI, CGWS, HeteroPar, HiBB, HPCVirt, HPPC, HPSS, MDGS, ProPer, Resilience, UCHPC, VHPC, Bordeaux, France, August 29-September 2, 2011, Revised selected papers. Part I / Michael Alexander [and others] (eds.).
Creatore [International EURO-PAR Conference (17th : 2011 : Bordeaux, France)]
Estensione 1 online resource (xxix, 524 pages).
Disciplina 004.6/185
Accesso persona Alexander, Michael, 1970 September 25-
Accesso convegno CCPI 2011 (2011 : Bordeaux, France)
CGWS 2011 (2011 : Bordeaux, France)
International Workshop on Algorithms, Models, and Tools for Parallel Computing on Heterogenous Networks (2011 : Bordeaux, France)
HiBB 2011 (2011 : Bordeaux, France)
HPCVirt 2011 (2011 : Bordeaux, France)
HPPC 2011 (2011 : Bordeaux, France)
HPSS 2011 (2011 : Bordeaux, France)
MDGS 2011 (2011 : Bordeaux, France)
ProPer 2011 (2011 : Bordeaux, France)
Resilience (Conference) (2011 : Bordeaux, France)
UCHPC 2011 (2011 : Bordeaux, France)
VHPC 2011 (2011 : Bordeaux, France)
Genere/Forma Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Computer Communication Networks
Software engineering
Computer system performance
Computer software
System Performance and Evaluation
Algorithm Analysis and Problem Complexity
Programming Techniques
Special Purpose and Application-Based Systems
ISBN 9783642297373
3642297374
3642297366
9783642297366
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto CCPI 2011: Workshop on Cloud Computing Projects and Initiatives / Beniamino Di Martino and Dana Petcu -- Towards Cross-Platform Cloud Computing / Magdalena Slawinska, Jaroslaw Slawinski and Vaidy Sunderam -- QoS Monitoring in a Cloud Services Environment: The SRT-15 Approach / Giuseppe Cicotti, Luigi Coppolino, Rosario Cristaldi, Salvatore D'Antonio and Luigi Romano -- Enabling e-Science Applications on the Cloud with COMPSs / Daniele Lezzi, Roger Rafanell, Abel Carrión, Ignacio Blanquer Espert and Vicente Hernández, et al. -- OPTIMIS and VISION Cloud: How to Manage Data in Clouds / Spyridon V. Gogouvitis, George Kousiouris, George Vafiadis, Elliot K. Kolodner and Dimosthenis Kyriazis -- Integrated Monitoring of Infrastructures and Applications in Cloud Environments / Roberto Palmieri, Pierangelo di Sanzo, Francesco Quaglia, Paolo Romano and Sebastiano Peluso, et al. -- Towards Collaborative Data Management in the VPH-Share Project / Siegfried Benkner, Jesus Bisbal, Gerhard Engelbrecht, Rod D. Hose and Yuriy Kaniovskyi, et al. -- SLM and SDM Challenges in Federated Infrastructures / Matti Heikkurinen and Owen Appleton -- Rapid Prototyping of Architectures on the Cloud Using Semantic Resource Description / Houssam Haitof.
Cloud Patterns for mOSAIC-Enabled Scientific Applications / Teodor-Florin Fortiş, Gorka Esnal Lopez, Imanol Padillo Cruz, Gábor Ferschl and Tamás Máhr -- Enhancing an Autonomic Cloud Architecture with Mobile Agents / A. Cuomo, M. Rak, S. Venticinque and U. Villano -- Mapping Application Requirements to Cloud Resources / Yih Leong Sun, Terence Harmer, Alan Stewart and Peter Wright -- CoreGRID/ERCIM Workshop on Grids, Clouds and P2P Computing -- CGWS2011 / Marco Danelutto, Frédéric Desprez, Vladimir Getov and Wolfgang Ziegler -- A Perspective on the CoreGRID Grid Component Model / Françoise Baude -- Towards Scheduling Evolving Applications / Cristian Klein and Christian Pérez -- Model Checking Support for Conflict Resolution in Multiple Non-functional Concern Management / Marco Danelutto, P. Kilpatrick, C. Montangero and L. Semini -- Consistent Rollback Protocols for Autonomic ASSISTANT Applications / Carlo Bertolli, Gabriele Mencagli and Marco Vanneschi -- A Dynamic Resource Management System for Real-Time Online Applications on Clouds / Dominik Meiländer, Alexander Ploss, Frank Glinka and Sergei Gorlatch -- Cloud Federations in Contrail / Emanuele Carlini, Massimo Coppola, Patrizio Dazzi, Laura Ricci and Giacomo Righetti.
Semi-automatic Composition of Ontologies for ASKALON Grid Workflows / Muhammad Junaid Malik, Thomas Fahringer and Radu Prodan -- The Chemical Machine: An Interpreter for the Higher Order Chemical Language / Vilmos Rajcsányi and Zsolt Németh -- Design and Performance of the OP2 Library for Unstructured Mesh Applications / Carlo Bertolli, Adam Betts, Gihan Mudalige, Mike Giles and Paul Kelly -- Mining Association Rules on Grid Platforms / Raja Tlili and Yahya Slimani -- 5th Workshop on System-Level Virtualization for High Performance Computing (HPCVirt 2011) / Stephen L. Scott, Geoffroy Vallée and Thomas Naughton -- Performance Evaluation of HPC Benchmarks on VMware's ESXi Server / Qasim Ali, Vladimir Kiriansky, Josh Simons and Puneet Zaroo -- Virtualizing Performance Counters / Benjamin Serebrin and Daniel Hecht -- A Case for Virtual Machine Based Fault Injection in a High-Performance Computing Environment / Thomas Naughton, Geoffroy Vallée, Christian Engelmann and Stephen L. Scott -- HPPC 2010: 5th Workshop on Highly Parallel Processing on a Chip / Martti Forsell and Jesper Larsson Träff -- Thermal Management of a Many-Core Processor under Fine-Grained Parallelism / Fuat Keceli, Tali Moreshet and Uzi Vishkin.
Mainstream Parallel Array Programming on Cell / Paul Keir, Paul W. Cockshott and Andrew Richards -- Generating GPU Code from a High-Level Representation for Image Processing Kernels / Richard Membarth, Anton Lokhmotov and Jürgen Teich -- A Greedy Heuristic Approximation Scheduling Algorithm for 3D Multicore Processors / Thomas Canhao Xu, Pasi Liljeberg and Hannu Tenhunen -- Algorithms and Programming Tools for Next-Generation High-Performance Scientific Software HPSS 2011 / Stefania Corsaro, Pasqua D'Ambra and Francesca Perla -- European Exascale Software Initiative: Numerical Libraries, Solvers and Algorithms / Iain S. Duff -- On Reducing I/O Overheads in Large-Scale Invariant Subspace Projections / Hasan Metin Aktulga, Chao Yang, Ümit V. Çatalyürek, Pieter Maris and James P. Vary, et al. -- Enabling Next-Generation Parallel Circuit Simulation with Trilinos / Chris Baker, Erik Boman, Mike Heroux, Eric Keiter and Siva Rajamanickam, et al. -- DAG-Based Software Frameworks for PDEs / Martin Berzins, Qingyu Meng, John Schmidt and James C. Sutherland -- On Partitioning Problems with Complex Objectives / Kamer Kaya, François-Henry Rouet and Bora Uçar.
A Communication-Avoiding Thick-Restart Lanczos Method on a Distributed-Memory System / Ichitaro Yamazaki and Kesheng Wu -- Spherical Harmonic Transform with GPUs / Ioan Ovidiu Hupca, Joel Falcou, Laura Grigori and Radek Stompor -- Design Patterns for Scientific Computations on Sparse Matrices / Davide Barbieri, Valeria Cardellini, Salvatore Filippone and Damian Rouson -- High-Performance Matrix-Vector Multiplication on the GPU / Hans Henrik Brandenborg Sørensen -- Relaxed Synchronization with Ordered Read-Write Locks / Jens Gustedt and Emmanuel Jeanvoine -- The Parallel C++ Statistical Library 'QUESO': Quantification of Uncertainty for Estimation, Simulation and Optimization / Ernesto E. Prudencio and Karl W. Schulz -- Use of HPC-Techniques for Large-Scale Data Migration / Jan Dünnweber, Valentin Mihaylov, René Glettler, Volker Maiborn and Holger Wolff -- Algorithms, Models and Tools for Parallel Computing on Heterogeneous Platforms (HeteroPar 2011) / George Bosilca -- A Genetic Algorithm with Communication Costs to Schedule Workflows on a SOA-Grid / Jean-Marc Nicod, Laurent Philippe and Lamiel Toch -- An Extension of XcalableMP PGAS Lanaguage for Multi-node GPU Clusters / Jinpil Lee, Minh Tuan Tran, Tetsuya Odajima, Taisuke Boku and Mitsuhisa Sato -- Performance Evaluation of List Based Scheduling on Heterogeneous Systems / Hamid Arabnejad and Jorge G. Barbosa.
Column-Based Matrix Partitioning for Parallel Matrix Multiplication on Heterogeneous Processors Based on Functional Performance Models / David Clarke, Alexey Lastovetsky and Vladimir Rychkov -- A Framework for Distributing Agent-Based Simulations / Gennaro Cordasco, Rosario De Chiara, Ada Mancuso, Dario Mazzeo and Vittorio Scarano, et al. -- Parallel Sparse Linear Solver GMRES for GPU Clusters with Compression of Exchanged Data / Jacques M. Bahi, Raphaël Couturier and Lilia Ziane Khodja -- Two-Dimensional Discrete Wavelet Transform on Large Images for Hybrid Computing Architectures: GPU and CELL / Marek Błażewicz, Miłosz Ciżnicki, Piotr Kopta, Krzysztof Kurowski and Paweł Lichocki -- Scheduling Divisible Loads on Heterogeneous Desktop Systems with Limited Memory / Aleksandar Ilic and Leonel Sousa -- Peer Group and Fuzzy Metric to Remove Noise in Images Using Heterogeneous Computing / Ma. Guadalupe Sánchez, Vicente Vidal and Jordi Bataller -- Estimation of MPI Application Performance on Volunteer Environments / Girish Nandagudi, Jaspal Subhlok, Edgar Gabriel and Judit Gimenez.
Record Nr. NYU-004374970
[International EURO-PAR Conference (17th : 2011 : Bordeaux, France)]  
Materiale a stampa
Lo trovi qui: New York University
Games, actions and social software : multidisciplinary aspects / Jan van Eijck, Rineke Verbrugge (eds.).
Games, actions and social software : multidisciplinary aspects / Jan van Eijck, Rineke Verbrugge (eds.).
Estensione 1 online resource (xiv, 212 pages).
Disciplina 005.1
Accesso persona Eijck, J. van (Jan)
Verbrugge, Rineke
Genere/Forma Electronic books
Soggetto non controllato Computer science
Computer Communication Networks
Software engineering
Artificial intelligence
Computer simulation
Simulation and Modeling
Information Systems Applications (incl. Internet)
ISBN 9783642293269
3642293263
9783642293276
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto What Is Social Software? / Rohit Parikh and Marc Pauly -- Freedom, Rights and Social Software / Keith Dowding and Martin van Hees -- Time Discounting and Time Consistency / Nicola Dimitri and Jan van Eijck -- On the Logic of Lying / Hans van Ditmarsch, Jan van Eijck, Floor Sietsma and Yanjing Wang -- Strategies for Belief Revision / Krister Segerberg -- In Praise of Strategies / Johan van Benthem -- Perception and Change in Update Logic / Jan van Eijck -- Agents in Approximate Environments / Barbara Dunin-Kęplicz and Andrzej Szałas -- The Cognitive and Communicative Demands of Cooperation / Peter Gärdenfors -- A Logical View on Teamwork / Barbara Dunin-Kęplicz and Rineke Verbrugge.
Record Nr. NYU-004375074
Materiale a stampa
Lo trovi qui: New York University
Mobile multimedia communications : 7th International ICST Conference, MOBIMEDIA 2011, Cagliari, Italy, September 5-7, 2011, Revised selected papers / Luigi Atzori, Jaime Delgado, Daniele Giusto (eds.).
Mobile multimedia communications : 7th International ICST Conference, MOBIMEDIA 2011, Cagliari, Italy, September 5-7, 2011, Revised selected papers / Luigi Atzori, Jaime Delgado, Daniele Giusto (eds.).
Creatore [MOBIMEDIA 2011 (2011 : Cagliari, Italy)]
Estensione 1 online resource (xiii, 320 pages).
Disciplina 621.382/1
Accesso persona Atzori, Luigi, 1971-
Delgado, Jaime
Giusto, Daniel
Genere/Forma Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Computer Communication Networks
Software engineering
Information storage and retrieval systems
Artificial intelligence
Computer vision
Information Systems Applications (incl. Internet)
Information Storage and Retrieval
Computer Imaging, Vision, Pattern Recognition and Graphics
ISBN 9783642304194
3642304192
3642304184
9783642304187
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Part 1. Quality of Experience / Tackling the Sheer Scale of Subjective QoE / Vlado Menkovski, Georgios Exarchakos and Antonio Liotta -- On the Quality Assessment of H.264/AVC Video under Seamless Handoffs / Ilias Politis, Tasos Dagiuklas and Lampros Dounis -- Reduced-Reference Image Quality Assessment Based on Edge Preservation / Maria G. Martini, Barbara Villarini and Federico Fiorucci -- On Measuring the Perceptual Quality of Video Streams over Lossy Wireless Networks / Ilias Politis, Michail Tsagkaropoulos, Tasos Dagiuklas and Lampros Dounis -- The Correlation Dimension: A Video Quality Measure / Bogdan Budescu, Alexandru Căliman and Mihai Ivanovici.
Part 2. Dynamic Spectrum Access Wireless Networks in the TV White Spaces / TV White Spaces Exploitation for Signal Distribution / Mauro Fadda, Maurizio Murroni, Vlad Popescu and Vlad Cristian Stoianovici -- A Spectrum Sensing Algorithm for White Spaces Detection Validated in Real Environments / Irati Lázaro, Maurizio Murroni, Iratxe Redondo, Mikel Sánchez and Manuel Vélez -- Cooperative Spectrum Sensing for Geo-Location Databases / Mauro Fadda, Maurizio Murroni, Vlad Popescu and Vlad Cristian Stoianovici -- Spectrum Occupancy and Hidden Node Margins for Cognitive Radio Applications in the UHF Band / Miren Alonso, Irati Lázaro, Maurizio Murroni, Pablo Angueira and Manuel Vélez, et al.
Part 3. Media Streaming / Delay Model for Super-Frame Based Resource Reservation in Distributed Wireless Networks / Xiaobo Yu, Pirabakaran Navaratnam and Klaus Moessner -- A Method for Detection/Deletion via Network Coding for Unequal Error Protection of Scalable Video over Error-Prone Networks / Michele Sanna and Ebroul Izquierdo -- Multiple Description Coded Video Streaming with Multipath Transport in Wireless Ad Hoc Networks / Yuanyuan Xu and Ce Zhu -- Mobile Multipath Cooperative Network for Real-Time Streaming / Viji Raveendran, Phanikumar Bhamidipati, Xun Luo and Xiaolong Huang -- Multi-stream Rate Adaptation Using Scalable Video Coding with Medium Grain Scalability / Sergio Cicalò, Abdul Haseeb and Velio Tralli -- The Role of Log Entries in the Quality Control of Video Distribution / Ismo Hakala, Sanna Laine, Mikko Myllymäki and Jari Penttilä.
Part 4. Mobile Visual Search / Standards for Query Formalization in Mobile Visual Search / Ruben Tous and Jaime Delgado -- 3D Wide Baseline Correspondences Using Depth-Maps / Marco Marcon, Eliana Frigerio, Augusto Sarti and Stefano Tubaro -- Automatic Object Classification and Image Retrieval by Sobel Edge Detection and Latent Semantic Methods / Vesna Zeljkovic and Pavel Praks.
Part 5. Image Processing and Transmission / Optimal Interleaving for Robust Wireless JPEG 2000 Images and Video Transmission / Daniel Pascual Biosca and Max Agueh -- Interactive Image Viewing in Mobile Devices Based on JPEG XR / Bernardetta Saba, Cristian Perra and Daniele D. Giusto -- The Use of Selected Transforms to Improve the Accuracy of Face Recognition for Images with Uneven Illumination / Tomasz Marcin Orzechowski, Andrzej Dziech, Tomasz Lukanko and Tomasz Rusc -- Objective Evaluation of WebP Image Compression Efficiency / Maurizio Pintus, Giaime Ginesu, Luigi Atzori and Daniele D. Giusto.
Part 6. Mobile Applications / Implementing Mobile Applications with the MIPAMS Content Management Platform / Xavier Maroñas, Silvia Llorente, Eva Rodríguez and Jaime Delgado -- Virtual Device: Media Service Fitness, Selection and Composition Considering Composition Interactivity and Synchronization / Niall Murray, Brian Lee, A.K. Karunakar, Yuansong Qiao and Enda Fallon -- Location Based Abstraction of User Generated Mobile Videos / Onni Ojutkangas, Johannes Peltola and Sari Järvinen -- Modeling of Network Connectivity in Multi-Homed Hybrid Ad Hoc Networks / Michele Nitti and Luigi Atzori.
Record Nr. NYU-004375174
[MOBIMEDIA 2011 (2011 : Cagliari, Italy)]  
Materiale a stampa
Lo trovi qui: New York University
The semantic web: Research and applications : 9th Extended Semantic Web Conference, ESWC 2012, Heraklion, Crete, Greece, May 27-31, 2012. Proceedings / Elena Simperl [and others] (eds.).
The semantic web: Research and applications : 9th Extended Semantic Web Conference, ESWC 2012, Heraklion, Crete, Greece, May 27-31, 2012. Proceedings / Elena Simperl [and others] (eds.).
Creatore [Extended Semantic Web Conference (9th : 2012 : Ērakleion, Greece)]
Estensione 1 online resource.
Disciplina 025.04/27
Accesso persona Simperl, Elena
Genere/Forma Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Computer Communication Networks
Information systems
Database management
Artificial intelligence
Information Systems and Communication Service
User Interfaces and Human Computer Interaction
ISBN 9783642302848
364230284X
3642302831
9783642302831
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Semantic Web/LD at a Crossroads: Into the Garbage Can or To Theory? / Abraham Bernstein -- New Audiences for Ontologies: Dealing with Complexity in Business Processes / Jeroen van Grondelle -- Bringing (Web) Databases to the Masses / Alon Halevy -- Large Scale Learning at Twitter / Aleksander Kołcz -- Musubi: A Decentralized Mobile Social Web / Monica S. Lam -- Data Value Chain in Europe / Márta Nagy-Rothengass -- Cutting through the Noise: How to Shape Public Perception, Frame the Debate and Effectively Engage Your Audience in the Digital Age / Julius van de Laar -- SPARQL for a Web of Linked Data: Semantics and Computability / Olaf Hartig -- Linked Data-Based Concept Recommendation: Comparison of Different Methods in Open Innovation Scenario / Danica Damljanovic, Milan Stankovic and Philippe Laublet -- Finding Co-solvers on Twitter, with a Little Help from Linked Data / Milan Stankovic, Matthew Rowe and Philippe Laublet -- Top-k Linked Data Query Processing / Andreas Wagner, Thanh Tran Duc, Günter Ladwig, Andreas Harth and Rudi Studer -- Preserving Information Content in RDF Using Bounded Homomorphisms / Audun Stolpe and Martin G. Skjæveland -- Assessing Linked Data Mappings Using Network Measures / Christophe Guéret, Paul Groth, Claus Stadler and Jens Lehmann -- A Novel Concept-Based Search for the Web of Data Using UMBEL and a Fuzzy Retrieval Model / Melike Sah and Vincent Wade.
Unsupervised Learning of Link Discovery Configuration / Andriy Nikolov, Mathieu d'Aquin and Enrico Motta -- Graph Kernels for RDF Data / Uta Lösch, Stephan Bloehdorn and Achim Rettinger -- EAGLE: Efficient Active Learning of Link Specifications Using Genetic Programming / Axel-Cyrille Ngonga Ngomo and Klaus Lyko -- Combining Information Extraction, Deductive Reasoning and Machine Learning for Relation Prediction / Xueyan Jiang, Yi Huang, Maximilian Nickel and Volker Tresp -- Automatic Configuration Selection Using Ontology Matching Task Profiling / Isabel F. Cruz, Alessio Fabiani, Federico Caimi, Cosmin Stroe and Matteo Palmonari -- TELIX: An RDF-Based Model for Linguistic Annotation / Emilio Rubiera, Luis Polo, Diego Berrueta and Adil El Ghali -- LODifier: Generating Linked Data from Unstructured Text / Isabelle Augenstein, Sebastian Padó and Sebastian Rudolph -- POWLA: Modeling Linguistic Corpora in OWL/DL / Christian Chiarcos -- Representing Mereotopological Relations in OWL Ontologies with OntoPartS / C. Maria Keet, Francis C. Fernández-Reyes and Annette Morales-González -- Evaluation of the Music Ontology Framework / Yves Raimond and Mark Sandler -- The Current State of SKOS Vocabularies on the Web / Nor Azlinayati Abdul Manaf, Sean Bechhofer and Robert Stevens -- The ISOcat Registry Reloaded / Claus Zinn, Christina Hoppermann and Thorsten Trippel.
SCHEMA -- An Algorithm for Automated Product Taxonomy Mapping in E-commerce / Steven S. Aanen, Lennart J. Nederstigt, Damir Vandić and Flavius Frăsincar -- Voting Theory for Concept Detection / Amal Zouaq, Dragan Gasevic and Marek Hatala -- Modelling Structured Domains Using Description Graphs and Logic Programming / Despoina Magka, Boris Motik and Ian Horrocks -- Extending Description Logic Rules / David Carral Martínez and Pascal Hitzler -- Prexto: Query Rewriting under Extensional Constraints in DL-Lite / Riccardo Rosati -- Semi-automatically Mapping Structured Sources into the Semantic Web / Craig A. Knoblock, Pedro Szekely, José Luis Ambite, Aman Goel and Shubham Gupta, et al. -- Castor: A Constraint-Based SPARQL Engine with Active Filter Processing / Vianney le Clément de Saint-Marcq, Yves Deville, Christine Solnon and Pierre-Antoine Champin -- A Structural Approach to Indexing Triples / François Picalausa, Yongming Luo, George H.L. Fletcher, Jan Hidders and Stijn Vansummeren -- Domain Specific Data Retrieval on the Semantic Web / Tuukka Ruotsalo -- Exchange and Consumption of Huge RDF Data / Miguel A. Martínez-Prieto, Mario Arias Gallego and Javier D. Fernández -- Impact of Using Relationships between Ontologies to Enhance the Ontology Search Results / Carlo Allocca, Mathieu d'Aquin and Enrico Motta.
Enhancing OLAP Analysis with Web Cubes / Lorena Etcheverry and Alejandro A. Vaisman -- Query-Independent Learning to Rank for RDF Entity Search / Lorand Dali, Blaž Fortuna, Thanh Tran Duc and Dunja Mladenić -- COV4SWS. KOM: Information Quality-Aware Matchmaking for Semantic Services / Stefan Schulte, Ulrich Lampe, Matthias Klusch and Ralf Steinmetz -- Automatic Identification of Best Answers in Online Enquiry Communities / Grégoire Burel, Yulan He and Harith Alani -- Characterising Emergent Semantics in Twitter Lists / Andrés García-Silva, Jeon-Hyung Kang, Kristina Lerman and Oscar Corcho -- Crowdsourcing Taxonomies / Dimitris Karampinas and Peter Triantafillou -- Generating Possible Interpretations for Statistics from Linked Open Data / Heiko Paulheim -- Green-Thumb Camera: LOD Application for Field IT / Takahiro Kawamura and Akihiko Ohsuga -- Assembling Rule Mashups in the Semantic Web / Guillermo González-Moriyón, Luis Polo, Diego Berrueta, Carlos Tejo-Alonso and Miguel Iglesias -- Product Customization as Linked Data / Edouard Chevalier and François-Paul Servant -- From Web 1.0 to Social Semantic Web: Lessons Learnt from a Migration to a Medical Semantic Wiki / Thomas Meilender, Jean Lieber, Fabien Palomares and Nicolas Jay -- Semantics Visualization for Fostering Search Result Comprehension / Christian Stab, Kawa Nazemi, Matthias Breyer, Dirk Burkhardt and Jörn Kohlhammer.
Evaluating Scientific Hypotheses Using the SPARQL Inferencing Notation / Alison Callahan and Michel Dumontier -- Declarative Representation of Programming Access to Ontologies / Stefan Scheglmann, Ansgar Scherp and Steffen Staab -- Clinical Trial and Disease Search with Ad Hoc Interactive Ontology Alignments / Daniel Sonntag, Jochen Setz, Maha Ahmed-Baker and Sonja Zillner -- Towards Fuzzy Query-Relaxation for RDF / Aidan Hogan, Marc Mellotte, Gavin Powell and Dafni Stampouli -- Learning Driver Preferences of POIs Using a Semantic Web Knowledge System / Rahul Parundekar and Kentaro Oguchi -- An Approach for Named Entity Recognition in Poorly Structured Data / Nuno Freire, José Borbinha and Pável Calado -- Supporting Linked Data Production for Cultural Heritage Institutes: The Amsterdam Museum Case Study / Victor de Boer, Jan Wielemaker, Judith van Gent, Michiel Hildebrand and Antoine Isaac, et al. -- Curate and Storyspace: An Ontology and Web-Based Environment for Describing Curatorial Narratives / Paul Mulholland, Annika Wolff and Trevor Collins -- Bringing Mathematics to the Web of Data: The Case of the Mathematics Subject Classification / Christoph Lange, Patrick Ion, Anastasia Dimou, Charalampos Bratsas and Wolfram Sperber, et al.
A Publishing Pipeline for Linked Government Data / Fadi Maali, Richard Cyganiak and Vassilios Peristeras -- Achieving Interoperability through Semantic Technologies in the Public Administration / Chiara Di Francescomarino, Mauro Dragoni, Matteo Gerosa, Chiara Ghidini and Marco Rospocher, et al. -- Tackling Incompleteness in Information Extraction -- A Complementarity Approach / Christina Feilmayr -- A Framework for Ontology Usage Analysis / Jamshaid Ashraf -- Formal Specification of Ontology Networks / Edelweis Rohrer -- Leveraging Linked Data Analysis for Semantic Recommender Systems / Andreas Thalhammer -- Sharing Statistics for SPARQL Federation Optimization, with Emphasis on Benchmark Quality / Kjetil Kjernsmo -- A Reuse-Based Lightweight Method for Developing Linked Data Ontologies and Vocabularies / María Poveda-Villalón -- Optimising XML-RDF Data Integration / A Formal Approach to Improve XSPARQL Efficiency / Stefan Bischof -- Software Architectures for Scalable Ontology Networks / Alessandro Adamou -- Identifying Complex Semantic Matches / Brian Walshe -- Data Linking with Ontology Alignment / Zhengjie Fan -- A Semantic Policy Sharing Infrastructure for Pervasive Communities / Vikash Kumar -- Involving Domain Experts in Ontology Construction: A Template Based Approach / Muhammad Tahir Khan -- Quality Assurance in Collaboratively Created Web Vocabularies / Christian Mader.
Record Nr. NYU-004375404
[Extended Semantic Web Conference (9th : 2012 : Ērakleion, Greece)]  
Materiale a stampa
Lo trovi qui: New York University
Automata, languages, and programming : 39th International Colloquium, ICALP 2012, Warwick, UK, July 9-13, 2012, Proceedings. Part II / Artur Czumaj [and others] (eds.).
Automata, languages, and programming : 39th International Colloquium, ICALP 2012, Warwick, UK, July 9-13, 2012, Proceedings. Part II / Artur Czumaj [and others] (eds.).
Creatore [International Colloquium on Automata, Languages, and Programming (39th : 2012 : Warwick, England)]
Estensione 1 online resource.
Disciplina 005.1/3
Accesso persona Czumaj, Artur
Genere/Forma Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Computer Communication Networks
Computer software
Computational complexity
Information storage and retrieval systems
Algorithm Analysis and Problem Complexity
Computation by Abstract Devices
Information Storage and Retrieval
Information Systems Applications (incl. Internet)
Discrete Mathematics in Computer Science
ISBN 9783642315855
3642315852
9783642315848
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto On Multiple Keyword Sponsored Search Auctions with Budgets / Riccardo Colini-Baldeschi, Monika Henzinger, Stefano Leonardi and Martin Starnberger -- A Theory Independent Curry-De Bruijn-Howard Correspondence / Gilles Dowek -- Standing on the Shoulders of a Giant: One Persons Experience of Turings Impact (Summary of the Alan M. Turing Lecture) / David Harel -- Session Types and Distributed Computing / Kohei Honda -- Algorithms, Graph Theory, and the Solution of Laplacian Linear Equations / Daniel A. Spielman -- Randomized Mechanisms for Multi-unit Auctions (Extended Abstract) / Berthold Vöcking -- Algebraic Synchronization Trees and Processes / Luca Aceto, Arnaud Carayol, Zoltán Ésik and Anna Ingólfsdóttir -- Streaming Tree Transducers / Rajeev Alur and Loris D'Antoni -- Causal Graph Dynamics / Pablo Arrighi and Gilles Dowek -- Degree Lower Bounds of Tower-Type for Approximating Formulas with Parity Quantifiers / Albert Atserias and Anuj Dawar -- Monadic Datalog Containment / Michael Benedikt, Pierre Bourhis and Pierre Senellart -- A Machine-Independent Characterization of Timed Languages / Mikołaj Bojańczyk and Sławomir Lasota -- Regular Languages of Infinite Trees That Are Boolean Combinations of Open Sets / Mikołaj Bojańczyk and Thomas Place -- Toward Model Theory with Data Values / Mikołaj Bojańczyk and Thomas Place -- Robust Reachability in Timed Automata: A Game-Based Approach / Patricia Bouyer, Nicolas Markey and Ocan Sankur.
Minimizing Expected Termination Time in One-Counter Markov Decision Processes / Tomáš Brázdil, Antonín Kučera, Petr Novotný and Dominik Wojtczak -- Prefix Rewriting for Nested-Words and Collapsible Pushdown Automata / Christopher Broadbent -- A Saturation Method for Collapsible Pushdown Systems / Chris Broadbent, Arnaud Carayol, Matthew Hague and Olivier Serre -- Regular Languages Are Church-Rosser Congruential / Volker Diekert, Manfred Kufleitner, Klaus Reinhardt and Tobias Walter -- Time and Parallelizability Results for Parity Games with Bounded Treewidth / John Fearnley and Sven Schewe -- Nominal Completion for Rewrite Systems with Binders / Maribel Fernández and Albert Rubio -- Discrete Generalised Polynomial Functors (Extended Abstract) / Marcelo Fiore -- Computing Game Metrics on Markov Decision Processes / Hongfei Fu -- Deciding First Order Properties of Matroids / Tomáš Gavenčiak, Daniel Král and Sang-il Oum -- Pebble Games with Algebraic Rules / Anuj Dawar and Bjarki Holm -- Exponential Lower Bounds and Separation for Query Rewriting / Stanislav Kikot, Roman Kontchakov, Vladimir Podolskii and Michael Zakharyaschev -- Lattices of Logical Fragments over Words (Extended Abstract) / Manfred Kufleitner and Alexander Lauser -- On the Expressive Power of Cost Logics over Infinite Words / Denis Kuperberg and Michael Vanden Boom -- Coalgebraic Predicate Logic / Tadeusz Litak, Dirk Pattinson, Katsuhiko Sano and Lutz Schröder.
Algorithmic Games for Full Ground References / Andrzej S. Murawski and Nikos Tzevelekos -- Two-Level Game Semantics, Intersection Types, and Recursion Schemes / C.-H. Luke Ong and Takeshi Tsukada -- An Automata-Theoretic Model of Idealized Algol (Extended Abstract) / Uday S. Reddy and Brian P. Dunphy -- Towards a Unified Theory of Operational and Axiomatic Semantics / Grigore Roşu and Andrei Ştefănescu -- Loader and Urzyczyn Are Logically Related / Sylvain Salvati, Giulio Manzonetto, Mai Gehrke and Henk Barendregt -- Languages of Profinite Words and the Limitedness Problem / Szymon Toruńczyk -- The Complexity of Mean-Payoff Automaton Expression / Yaron Velner -- On the Locality of Some NP-Complete Problems / Leonid Barenboim -- Growing Half-Balls: Minimizing Storage and Communication Costs in CDNs / Reuven Bar-Yehuda, Erez Kantor, Shay Kutten and Dror Rawitz -- Super-Fast Distributed Algorithms for Metric Facility Location / Andrew Berns, James Hegeman and Sriram V. Pemmaraju -- Preventing Unraveling in Social Networks: The Anchored k-Core Problem / Kshipra Bhawalkar, Jon Kleinberg, Kevin Lewi, Tim Roughgarden and Aneesh Sharma -- Edge Fault Tolerance on Sparse Networks / Nishanth Chandran, Juan Garay and Rafail Ostrovsky -- Incentive Ratios of Fisher Markets / Ning Chen, Xiaotie Deng, Hongyang Zhang and Jie Zhang -- Computational Complexity of Traffic Hijacking under BGP and S-BGP / Marco Chiesa, Giuseppe Di Battista, Thomas Erlebach and Maurizio Patrignani -- Efficiency-Revenue Trade-Offs in Auctions / Ilias Diakonikolas, Christos Papadimitriou, George Pierrakos and Yaron Singer.
Deterministic Network Exploration by Anonymous Silent Agents with Local Traffic Reports / Yoann Dieudonné and Andrzej Pelc -- A QPTAS for -Envy-Free Profit-Maximizing Pricing on Line Graphs / Khaled Elbassioni -- Minimizing Rosenthal Potential in Multicast Games / Fedor V. Fomin, Petr Golovach, Jesper Nederlof and Michał Pilipczuk -- Multiparty Proximity Testing with Dishonest Majority from Equality Testing / Ran Gelles, Rafail Ostrovsky and Kina Winoto -- Anonymous Card Shuffling and Its Applications to Parallel Mixnets / Michael T. Goodrich and Michael Mitzenmacher -- Byzantine Agreement with a Rational Adversary / Adam Groce, Jonathan Katz, Aishwarya Thiruvengadam and Vassilis Zikas -- Random Hyperbolic Graphs: Degree Sequence and Clustering (Extended Abstract) / Luca Gugelmann, Konstantinos Panagiotou and Ueli Peter -- Topology-Aware VM Migration in Bandwidth Oversubscribed Datacenter Networks / Navendu Jain, Ishai Menache, Joseph (Seffi) Naor and F. Bruce Shepherd -- Counting Arbitrary Subgraphs in Data Streams / Daniel M. Kane, Kurt Mehlhorn, Thomas Sauerwald and He Sun -- k-Chordal Graphs: From Cops and Robber to Compact Routing via Treewidth / Adrian Kosowski, Bi Li, Nicolas Nisse and Karol Suchan -- Contention Issues in Congestion Games / Elias Koutsoupias and Katia Papakonstantinopoulou -- Online Mechanism Design (Randomized Rounding on the Fly) / Piotr Krysta and Berthold Vöcking -- Online Packing with Gradually Improving Capacity Estimations and Applications to Network Lifetime Maximization / Marcel Ochel, Klaus Radke and Berthold Vöcking -- Distributed Algorithms for Network Diameter and Girth / David Peleg, Liam Roditty and Elad Tal.
Record Nr. NYU-004375809
[International Colloquium on Automata, Languages, and Programming (39th : 2012 : Warwick, England)]  
Materiale a stampa
Lo trovi qui: New York University
Cryptology and network security : 10th International Conference, CANS 2011, Sanya, China, December 10-12, 2011, proceedings / Dongdai Lin, Gene Tsudik, Xiaoyun Wang (eds.).
Cryptology and network security : 10th International Conference, CANS 2011, Sanya, China, December 10-12, 2011, proceedings / Dongdai Lin, Gene Tsudik, Xiaoyun Wang (eds.).
Creatore [International Conference on Cryptology and Network Security (10th : 2011 : Sanya, China)]
Estensione 1 online resource (xii, 311 pages).
Disciplina 005.8/2
Accesso persona Lin, Dongdai
Tsudik, G. (Gene)
Wang, Xiaoyun, 1966-
Genere/Forma Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Computer Communication Networks
Data protection
Data structures (Computer science)
Data encryption (Computer science)
Coding theory
Computational complexity
Coding and Information Theory
Data Structures, Cryptology and Information Theory
Systems and Data Security
ISBN 9783642255137
3642255132
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. NYU-004373214
[International Conference on Cryptology and Network Security (10th : 2011 : Sanya, China)]  
Materiale a stampa
Lo trovi qui: New York University