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.
Privacy enhancing technologies : 13th international symposium, PETS 2013, Bloomington, IN, USA, July 10-12, 2013, proceedings / Emiliano De Cristofaro, Matthew Wright (eds.).
Privacy enhancing technologies : 13th international symposium, PETS 2013, Bloomington, IN, USA, July 10-12, 2013, proceedings / Emiliano De Cristofaro, Matthew Wright (eds.).
Creatore [PETS (Symposium) (13th : 2013 : Bloomington, Ind.)]
Estensione 1 online resource (x, 264 pages) : illustrations.
Accesso persona De Cristofaro, Emiliano, editor
Wright, Matthew (Computer scientist), editor
Genere/Forma Electronic books
Conference papers and proceedings
Ebook
Congresses
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 9783642390777
3642390773
9783642390760
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Optimizing ORAM and Using It Efficiently for Secure Computation / Craig Gentry, Kenny A. Goldman, Shai Halevi -- Anonymity-Preserving Public-Key Encryption: A Constructive Approach / Markulf Kohlweiss, Ueli Maurer, Cristina Onete -- Efficient E-Cash in Practice: NFC-Based Payments for Public Transportation Systems / Gesine Hinterwälder, Christian T. Zenger -- Efficient Privacy-Preserving Stream Aggregation in Mobile Sensing with Low Aggregation Error / Qinghua Li, Guohong Cao -- Broadening the Scope of Differential Privacy Using Metrics / Konstantinos Chatzikokolakis, Miguel E. Andrés -- Turning Off GPS Is Not Enough: Cellular Location Leaks over the Internet / Hamed Soroush, Keen Sung, Erik Learned-Miller -- How Others Compromise Your Location Privacy: The Case of Shared Public IPs at Hotspots / Nevena Vratonjic, Kévin Huguenin, Vincent Bindschaedler -- The Path Less Travelled: Overcoming Tor's Bottlenecks with Traffic Splitting / Mashael AlSabah, Kevin Bauer, Tariq Elahi, Ian Goldberg -- How Low Can You Go: Balancing Performance with Anonymity in Tor / John Geddes, Rob Jansen, Nicholas Hopper -- OSS: Using Online Scanning Services for Censorship Circumvention / David Fifield, Gabi Nakibly, Dan Boneh -- The Need for Flow Fingerprints to Link Correlated Network Flows / Amir Houmansadr, Nikita Borisov -- How Much Is Too Much? Leveraging Ads Audience Estimation to Evaluate Public Profile Uniqueness / Terence Chen, Abdelberi Chaabane, Pierre Ugo Tournoux -- On the Acceptance of Privacy-Preserving Authentication Technology: The Curious Case of National Identity Cards / Marian Harbach, Sascha Fahl, Matthias Rieger.
Record Nr. UCHICAGO-11078829
[PETS (Symposium) (13th : 2013 : Bloomington, Ind.)]  
Materiale a stampa
Lo trovi qui: University of Chicago
Computational Science and Its Applications-- ICCSA 2013 : 13th International Conference, Ho Chi Minh City, Vietnam, June 24-27, 2013, Proceedings. Part V / Beniamino Murgante ... [and seven others] (eds.).
Computational Science and Its Applications-- ICCSA 2013 : 13th International Conference, Ho Chi Minh City, Vietnam, June 24-27, 2013, Proceedings. Part V / Beniamino Murgante ... [and seven others] (eds.).
Creatore [ICCSA (Conference) (13th : 2013 : Ho Chi Minh City, Vietnam)]
Estensione 1 online resource (xxxv, 659 pages) : illustrations (black and white), maps (black and white).
Accesso persona Murgante, Beniamino, editor
Misra, Sanjay, editior
Carlini, Maurizio, editor
Torre, Carmelo, editor
Nguyen, Hong-Quang, editor
Taniar, David, editor
Apduhan, Bernady O., editor.
Gervasi, Osvaldo, editor
Genere/Forma Electronic books
Conference papers and proceedings
Ebook
Congresses
Soggetto non controllato Computer science
Computer Communication Networks
Software engineering
Computer software
Data mining
Computer simulation
Algorithm Analysis and Problem Complexity
Simulation and Modeling
ISBN 9783642396403
3642396402
9783642396397
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Computational Methods, Algorithms, and Scientific Applications. Improvements of the Methods of Radiation Fields Numerical Modeling on the Basis of Mirror Reflection Principle / Oleg I. Smokty -- A Multiphase Convection-Diffusion Model for the Simulation of Interacting Pedestrian Flows / Hartmut Schwandt [and others] -- Aspects of Linearity in Cryptographic Sequence Generators / Amparo Fúster-Sabater -- An Incremental Linear Programming Based Tool for Analyzing Gene Expression Data / Satish Ch. Panigrahi, Md. Shafiul Alam, Asish Mukhopadhyay -- An Accurate Numerical Method for Systems of Differentio-Integral Equations / Jian-Jun Shu -- Option Pricing under an Exponential Lévy Model Using Mathematica / Aslam Aly El-Faïdal Saib, Arshad Ahmud Iqbal Peer, Muddun Bhuruth -- Modeling and Numerical Simulation of Multi-destination Pedestrian Crowds / Günter Bärwolff [and others] -- A Highly Efficient Implementation on GPU Clusters of PDE-Based Pricing Methods for Path-Dependent Foreign Exchange Interest Rate Derivatives / Duy-Minh Dang, Christina C. Christara, Kenneth R. Jackson.
Extreme Load Estimation for a Large Wind Turbine Using CFD and Unsteady BEM / Thanh-Toan Tran, Dong-Hyun Kim, Kang-Sik Bae -- High Performance Computing and Networks. Selecting LTE and Wireless Mesh Networks for Indoor/Outdoor Applications / Sahithi Chintapalli, Nishan Weragama, Dharma P. Agrawal -- Improved Heuristics for Online Node and Link Mapping Problem in Network Virtualization / Hoang Viet Tran, Son Hong Ngo -- Accelerating Metric Space Similarity Joins with Multi-core and Many-core Processors / Shichao Jin, Okhee Kim, Wenya Feng -- Using a Multitasking GPU Environment for Content-Based Similarity Measures of Big Data / Ayman Tarakji [and others] -- Hierarchical Tori Connected Mesh Network / M.M. Hafizur Rahman [and others] -- Optimization of Sparse Matrix-Vector Multiplication for CRS Format on NVIDIA Kepler Architecture GPUs / Daichi Mukunoki, Daisuke Takahashi -- Parallel Two-Phase K-Means / Cuong Duc Nguyen, Dung Tien Nguyen, Van-Hau Pham.
MobiPDA: A Systematic Approach to Mobile-Application Development / Khoi-Nguyen Tran, Hong-Quang Nguyen -- On the Effectiveness of Using the GPU for Numerical Solution of Stochastic Collection Equation / Nikita O. Raba, Elena N. Stankova -- Graph-Based Interference Avoidance Scheme for Radio Resource Assignment in Two-Tier Networks / Hsiu-Lang Wang, Shang-Juh Kao -- An Efficient Handover Mechanism by Adopting Direction Prediction and Adaptive Time-to-Trigger in LTE Networks / Fu-Min Chang [and others] -- Constructing Elastic Scientific Applications Using Elasticity Primitives / Guilherme Galante, Luis Carlos Erpen Bona -- A Private Cloud-Based Architecture for the Brazilian Weather and Climate Virtual Observatory / Rafael Duarte Coelho dos Santos, Luiz Alberto R. Correa, Eduardo Martins Guerra -- Geometric Modeling, Graphics, and Visualization. Interactive Face Labeling System in Real-World Videos / Hai-Trieu Nguyen [and others].
Combining Descriptors Extracted from Feature Maps of Deconvolutional Networks and SIFT Descriptors in Scene Image Classification / Dung A. Doan [and others] -- Tensor Field Visualization Using Eulerian Fluid Simulation / Marcelo Caniato Renhe, José Luiz de Souza Filho, Marcelo Bernardes Vieira -- Interactive Photographic Shooting Assistance Based on Composition and Saliency / Hiroko Mitarai, Yoshihiro Itamiya, Atsuo Yoshitaka -- Advanced and Emerging Applications. Development of an Endocrine Genomics Virtual Research Environment for Australia: Building on Success / Richard O. Sinnott [and others] -- Using MaxGWMA Control Chart to Monitor the Quality of TFT-LCD / Bi-Min Hsu [and others] -- An Interactive System Building 3D Environment Using a Moving Depth Sensor / Duy Pham [and others] -- Information Systems and Technologies. Analysis of the Linear Complexity in Pseudorandom Sequence Generators / Amparo Fúster-Sabater -- Communication-Efficient Exact Clustering of Distributed Streaming Data / Dang-Hoan Tran, Kai-Uwe Sattler.
Towards a Flexible Framework to Support a Generalized Extension of XACML for Spatio-temporal RBAC Model with Reasoning Ability / Tuan Ngoc Nguyen [and others] -- Automatic Triggering of Constraint Propagation / Eric Monfroy, Broderick Crawford, Ricardo Soto -- Semantic Annotation and Publication of Linked Open Data / Serena Sorrentino [and others] -- A Novel Approach to Developing Applications in the Pervasive Healthcare Environment through the Use of Archetypes / João Luís Cardoso de Moraes, Wanderley Lopes de Souza, Luís Ferreira Pires -- Observing Community Resiliency in Social Media / Robert M. Patton [and others] -- Robust Secure Dynamic ID Based Remote User Authentication Scheme for Multi-server Environment / Toan-Thinh Truong, Minh-Triet Tran, Anh-Duc Duong -- Detection of Probabilistic Dangling References in Multi-core Programs Using Proof-Supported Tools / Mohamed A. El-Zawawy.
A Proposal for Native Java Language Support for Handling Asynchronous Events / Carlos Rafael Gimenes das Neves, Eduardo Martins Guerra, Clovis Torres Fernandes -- An Improved Approach to the Recovery of Traceability Links between Requirement Documents and Source Codes Based on Latent Semantic Indexing / Jianwei Shao, Wei Wu, Peng Geng -- Local Logo Recognition System for Mobile Devices / Phong Hoang Nguyen, Tien Ba Dinh, Thang Ba Dinh -- MX-tree: A Double Hierarchical Metric Index with Overlap Reduction / Shichao Jin, Okhee Kim, Wenya Feng -- Integrating Behavior Driven Development and Programming by Contract / Larry Schoeneman, Jiang B. Liu -- Personalized Semantic Search Using ODP: A Study Case in Academic Domain / Trong Hai Duong, Mohammed Nazim Uddin, Cuong Duc Nguyen -- An Effective Keyword Search Method for Graph-Structured Data Using Extended Answer Structure / Chang-Sup Park -- Semantic Representation of Public Web Service Descriptions / Maricela Bravo, Jorge Pascual, José Rodríguez.
Record Nr. UCHICAGO-11079051
[ICCSA (Conference) (13th : 2013 : Ho Chi Minh City, Vietnam)]  
Materiale a stampa
Lo trovi qui: University of Chicago
Application and Theory of Petri Nets 1994 [electronic resource] : 15th International Conference, Zaragoza, Spain, June 20-24, 1994. Proceedings / by Robert Valette
Application and Theory of Petri Nets 1994 [electronic resource] : 15th International Conference, Zaragoza, Spain, June 20-24, 1994. Proceedings / by Robert Valette
Creatore [Valette, Robert]
Accesso ente SpringerLink (Online service)
Soggetto non controllato Computer Science
Algorithm Analysis and Problem Complexity
Computation by Abstract Devices
Computer Communication Networks
Logics and Meanings of Programs
Operating Systems
Processor Architectures
ISBN 9783540581529
Formato Software
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UCHICAGO-7355229
[Valette, Robert]  
Software
Lo trovi qui: University of Chicago
Treewidth [electronic resource] : Computations and Approximations / by Ton Kloks
Treewidth [electronic resource] : Computations and Approximations / by Ton Kloks
Creatore [Kloks, Ton.]
Accesso ente SpringerLink (Online service)
Soggetto non controllato Computer Science
Algorithm Analysis and Problem Complexity
Combinatorics
Computer Graphics
ISBN 9783540583561
Formato Software
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UCHICAGO-7355256
[Kloks, Ton.]  
Software
Lo trovi qui: University of Chicago
Evolution and Biocomputation [electronic resource] : Computational Models of Evolution / by Wolfgang Banzhaf, Frank H. Eckman
Evolution and Biocomputation [electronic resource] : Computational Models of Evolution / by Wolfgang Banzhaf, Frank H. Eckman
Creatore [Banzhaf, Wolfgang]
Accesso persona Eckman, Frank H.
Accesso ente SpringerLink (Online service)
Soggetto non controllato Computer Science
Algorithm Analysis and Problem Complexity
Artificial Intelligence (incl. Robotics)
Cell Biology
Combinatorics
Mathematical Biology in General
Statistics for Life Sciences, Medicine, Health Sciences
ISBN 9783540590460
Formato Software
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UCHICAGO-7355313
[Banzhaf, Wolfgang]  
Software
Lo trovi qui: University of Chicago
Computational Learning Theory [electronic resource] : Second European Conference, EuroCOLT '95, Barcelona, Spain, March 13 - 15, 1995. Proceedings / by Paul Vitanyi
Computational Learning Theory [electronic resource] : Second European Conference, EuroCOLT '95, Barcelona, Spain, March 13 - 15, 1995. Proceedings / by Paul Vitanyi
Creatore [Vitanyi, Paul]
Accesso ente SpringerLink (Online service)
Soggetto non controllato Computer Science
Algorithm Analysis and Problem Complexity
Artificial Intelligence (incl. Robotics)
Mathematical Logic and Formal Languages
ISBN 9783540591191
Formato Software
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UCHICAGO-7355317
[Vitanyi, Paul]  
Software
Lo trovi qui: University of Chicago
Algorithms and Data Structures [electronic resource] : 4th International Workshop, WADS '95, Kingston, Canada, August 16 - 18, 1995. Proceedings / by Selim G. Akl, Frank Dehne, Jörg-Rüdiger Sack
Algorithms and Data Structures [electronic resource] : 4th International Workshop, WADS '95, Kingston, Canada, August 16 - 18, 1995. Proceedings / by Selim G. Akl, Frank Dehne, Jörg-Rüdiger Sack
Creatore [Akl, Selim G.]
Accesso persona Dehne, Frank
Sack, Jörg-Rüdiger
Santoro, Nicola
Accesso ente SpringerLink (Online service)
Soggetto non controllato Computer Science
Algorithm Analysis and Problem Complexity
Combinatorics
Computation by Abstract Devices
Computer Graphics
Data Structures
Information Storage and Retrieval
ISBN 9783540602200
Formato Software
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UCHICAGO-7355374
[Akl, Selim G.]  
Software
Lo trovi qui: University of Chicago
Algorithms, Concurrency and Knowledge [electronic resource] : 1995 Asian Computing Science Conference, ACSC '95 Pathumthani, Thailand, December 11 - 13, 1995. Proceedings / by Kanchana Kanchanasut, Jean-Jacques Levy
Algorithms, Concurrency and Knowledge [electronic resource] : 1995 Asian Computing Science Conference, ACSC '95 Pathumthani, Thailand, December 11 - 13, 1995. Proceedings / by Kanchana Kanchanasut, Jean-Jacques Levy
Creatore [Kanchanasut, Kanchana]
Accesso persona Levy, Jean-Jacques
Accesso ente SpringerLink (Online service)
Soggetto non controllato Computer Science
Algorithm Analysis and Problem Complexity
ISBN 9783540606888
Formato Software
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UCHICAGO-7355433
[Kanchanasut, Kanchana]  
Software
Lo trovi qui: University of Chicago
Trees in Algebra and Programming - CAAP '96 [electronic resource] : 21st International Colloquium, Linköping, Sweden, April 22-24, 1996. Proceedings / by Helene Kirchner
Trees in Algebra and Programming - CAAP '96 [electronic resource] : 21st International Colloquium, Linköping, Sweden, April 22-24, 1996. Proceedings / by Helene Kirchner
Creatore [Kirchner, H. (Hélène)]
Accesso ente SpringerLink (Online service)
Soggetto non controllato Computer Science
Algorithm Analysis and Problem Complexity
Computation by Abstract Devices
Discrete Mathematics in Computer Science
Logics and Meanings of Programs
Mathematical Logic and Formal Languages
Programming Techniques
ISBN 9783540610649
Formato Software
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UCHICAGO-7355471
[Kirchner, H. (Hélène)]  
Software
Lo trovi qui: University of Chicago
Artificial Evolution [electronic resource] : European Conference, AE '95, Brest, France, September 4 - 6, 1995. Selected Papers. / by Jean-Marc Alliot, Evelyne Lutton, Edmund Ronald
Artificial Evolution [electronic resource] : European Conference, AE '95, Brest, France, September 4 - 6, 1995. Selected Papers. / by Jean-Marc Alliot, Evelyne Lutton, Edmund Ronald
Creatore [Alliot, Jean-Marc]
Accesso persona Lutton, Evelyne
Ronald, Edmund
Schoenauer, Marc
Snyers, Dominique
Accesso ente SpringerLink (Online service)
Soggetto non controllato Computer Science
Algorithm Analysis and Problem Complexity
Artificial Intelligence (incl. Robotics)
Calculus of Variations and Optimal Control; Optimization
Computation by Abstract Devices
Discrete Mathematics in Computer Science
Pattern Recognition
ISBN 9783540611080
Formato Software
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UCHICAGO-7355473
[Alliot, Jean-Marc]  
Software
Lo trovi qui: University of Chicago