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 reasoning and rule systems [electronic resource] : 7th International Conference, RR 2013, Mannheim, Germany, July 27-29, 2013. Proceedings / Wolfgang Faber, Domenico Lembo (eds.).
Web reasoning and rule systems [electronic resource] : 7th International Conference, RR 2013, Mannheim, Germany, July 27-29, 2013. Proceedings / Wolfgang Faber, Domenico Lembo (eds.).
Creatore [RR (Conference) (7th : 2013 : Mannheim, Germany)]
Estensione 1 online resource.
Disciplina 025.042/7
Accesso persona Faber, Wolfgang
Lembo, Domenico
Genere/Forma Electronic books
Soggetto non controllato Computer science
Software engineering
Logic design
Information systems
Data mining
Information storage and retrieval systems
Information Systems Applications (incl. Internet)
Information Systems and Communication Service
Logics and Meanings of Programs
ISBN 9783642396663 (electronic bk.)
3642396666 (electronic bk.)
9783642396656
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UPENN-9960108973503681
[RR (Conference) (7th : 2013 : Mannheim, Germany)]  
Materiale a stampa
Lo trovi qui: University of Pennsylvania
Progress in pattern recognition, image analysis, computer vision, and applications [electronic resource] : 16th Iberoamerican Congress, CIARP 2011, Pucón, Chile, November 15-18, 2011. Proceedings / César San Martin, Sang-Woon Kim (eds.).
Progress in pattern recognition, image analysis, computer vision, and applications [electronic resource] : 16th Iberoamerican Congress, CIARP 2011, Pucón, Chile, November 15-18, 2011. Proceedings / César San Martin, Sang-Woon Kim (eds.).
Creatore [Iberoamerican Congress on Pattern Recognition (16th : 2011 : Pucón, Chile)]
Estensione 1 online resource (xviii, 721 p.)
Disciplina 006.3
Accesso persona San Martin, César
Kim, Sang-Woon
Genere/Forma Electronic books
Soggetto non controllato Computer science
Computer software
Artificial intelligence
Computer vision
Optical pattern recognition
Biometrics
Pattern Recognition
Image Processing and Computer Vision
Artificial Intelligence (incl. Robotics)
ISBN 9783642250859 (electronic bk.)
3642250858 (electronic bk.)
9783642250842
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UPENN-9960089703503681
[Iberoamerican Congress on Pattern Recognition (16th : 2011 : Pucón, Chile)]  
Materiale a stampa
Lo trovi qui: University of Pennsylvania
Human behavior unterstanding [ie: understanding] [electronic resource] : second international workshop, HBU 2011, Amsterdam, The Netherlands, November 16, 2011, proceedings / Albert Ali Salah, Bruno Lepri (eds.).
Human behavior unterstanding [ie: understanding] [electronic resource] : second international workshop, HBU 2011, Amsterdam, The Netherlands, November 16, 2011, proceedings / Albert Ali Salah, Bruno Lepri (eds.).
Creatore [HBU (Workshop) (2nd : 2011 : Amsterdam, Netherlands)]
Estensione 1 online resource (x, 157 p.) : ill
Disciplina 006.3
Accesso persona Salah, Albert Ali.
Lepri, Bruno
Genere/Forma Electronic books
Soggetto non controllato Computer science
Artificial intelligence
Computer vision
Optical pattern recognition
Biometrics
Pattern Recognition
User Interfaces and Human Computer Interaction
Artificial Intelligence (incl. Robotics)
Image Processing and Computer Vision
Computer Imaging, Vision, Pattern Recognition and Graphics
ISBN 9783642254468 (electronic bk.)
3642254462 (electronic bk.)
9783642254451
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UPENN-9960089583503681
[HBU (Workshop) (2nd : 2011 : Amsterdam, Netherlands)]  
Materiale a stampa
Lo trovi qui: University of Pennsylvania
Computational methods in systems biology [electronic resource] : 10th International Conference, CMSB 2012, London, UK, October 3-5, 2012. Proceedings / David Gilbert, Monika Heiner (eds.).
Computational methods in systems biology [electronic resource] : 10th International Conference, CMSB 2012, London, UK, October 3-5, 2012. Proceedings / David Gilbert, Monika Heiner (eds.).
Creatore [CMSB 2012 (2012 : London, England)]
Estensione 1 online resource.
Disciplina 570.285
Accesso persona Gilbert, David, Dr
Heiner, Monika, 1954-
Genere/Forma Electronic books
Soggetto non controllato Computer science
Software engineering
Computer simulation
Bioinformatics
Computational Biology/Bioinformatics
Computation by Abstract Devices
Computer Appl. in Life Sciences
Symbolic and Algebraic Manipulation
ISBN 9783642336362 (electronic bk.)
3642336361 (electronic bk.)
9783642336355
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Differential and Integral Views of Gene-Phenotype Relations: A Systems Biological Insight / Denis Noble -- Resolving the Three-Dimensional Histology of the Heart / Matthew Gibb, Rebecca A. B. Burton, Christian Bollensdorff, Carlos Afonso and Tahir Mansoori, et al. -- Bimodal Protein Distributions in Heterogeneous Oscillating Systems / Maciej Dobrzyński, Dirk Fey, Lan K. Nguyen and Boris N. Kholodenko -- Expressive Statistical Model Checking of Genetic Networks with Delayed Stochastic Dynamics / Paolo Ballarini, Jarno Mäkelä and Andre S. Ribeiro -- Symmetry-Based Model Reduction for Approximate Stochastic Analysis / Kirill Batmanov, Celine Kuttler, Francois Lemaire, Cédric Lhoussaine and Cristian Versari -- Detection of Multi-clustered Genes and Community Structure for the Plant Pathogenic Fungus Fusarium graminearum / Laura Bennett, Artem Lysenko, Lazaros G. Papageorgiou, Martin Urban and Kim Hammond-Kosack, et al. -- Predicting Phenotype from Genotype through Automatically Composed Petri Nets / Mary Ann Blätke, Monika Heiner and Wolfgang Marwan --
A Simple Model to Control Growth Rate of Synthetic E. coli during the Exponential Phase: Model Analysis and Parameter Estimation / Alfonso Carta, Madalena Chaves and Jean-Luc Gouzé -- Multi-objective Optimisation, Sensitivity and Robustness Analysis in FBA Modelling / Jole Costanza, Giovanni Carapezza, Claudio Angione, Pietro Liò and Giuseppe Nicosia -- Analysis of Modular Organisation of Interaction Networks Based on Asymptotic Dynamics / Franck Delaplace, Hanna Klaudel, Tarek Melliti and Sylvain Sené -- Concretizing the Process Hitting into Biological Regulatory Networks / Maxime Folschette, Loïc Paulevé, Katsumi Inoue, Morgan Magnin and Olivier Roux -- Abstraction of Graph-Based Models of Bio-molecular Reaction Systems for Efficient Simulation / Ibuki Kawamata, Nathanael Aubert, Masahiro Hamano and Masami Hagiya -- Parameter Identification and Model Ranking of Thomas Networks / Hannes Klarner, Adam Streck, David Šafránek, Juraj Kolčák and Heike Siebert --
Investigating Co-infection Dynamics through Evolution of Bio-PEPA Model Parameters: A Combined Process Algebra and Evolutionary Computing Approach / David Marco, Erin Scott, David Cairns, Andrea Graham and Judi Allen, et al. -- Population Dynamics P Systems on CUDA / Miguel A. Martínez-del-Amor, Ignacio Pérez-Hurtado, Adolfo Gastalver-Rubio, Anne C. Elster and Mario J. Pérez-Jiménez -- Approximate Bisimulations for Sodium Channel Dynamics / Abhishek Murthy, Md. Ariful Islam, Ezio Bartocci, Elizabeth M. Cherry and Flavio H. Fenton, et al. -- Efficient Handling of Large Signalling-Regulatory Networks by Focusing on Their Core Control / Aurélien Naldi, Pedro T. Monteiro and Claudine Chaouiya -- Sequence Dependent Properties of the Expression Dynamics of Genes and Gene Networks / Ilya Potapov, Jarno Mäkelä, Olli Yli-Harja and Andre Ribeiro -- Simulating Insulin Infusion Pump Risks by In-Silico Modeling of the Insulin-Glucose Regulatory System / Sriram Sankaranarayanan and Georgios Fainekos --
Revisiting the Training of Logic Models of Protein Signaling Networks with ASP / Santiago Videla, Carito Guziolowski, Federica Eduati, Sven Thiele and Niels Grabe, et al. -- JAK-STAT Signalling as Example for a Database-Supported Modular Modelling Concept / Mary Ann Blätke, Anna Dittrich, Monika Heiner, Fred Schaper and Wolfgang Marwan -- ManyCell: A Multiscale Simulator for Cellular Systems / Joseph O. Dada and Pedro Mendes -- Inferring Reaction Models from ODEs / François Fages, Steven Gay and Sylvain Soliman -- Modelling Trafficking of Proteins within the Mammalian Cell Using Bio-PEPA / Vashti Galpin -- Models of Tet-On System with Epigenetic Effects / Russ Harmer, Jean Krivine, Élise Laruelle, Cédric Lhoussaine and Guillaume Madelaine, et al. -- GeneFuncster: A Web Tool for Gene Functional Enrichment Analysis and Visualisation / Asta Laiho, András Király and Attila Gyenesei -- Effects of Molecular Noise on the Multistability in a Synthetic Genetic Oscillator / Ilya Potapov and Evgenii Volkov -- Towards an Ontology of Biomodelling / Larisa Soldatova, Qian Gao and David Gilbert.
Record Nr. UPENN-9960101013503681
[CMSB 2012 (2012 : London, England)]  
Materiale a stampa
Lo trovi qui: University of Pennsylvania
Computer vision-- ECCV 2012 [electronic resource] : 12th European Conference on Computer Vision, Florence, Italy, October 7-13, 2012, Proceedings. Part II / Andrew Fitzgibbon...[et al.] (eds.).
Computer vision-- ECCV 2012 [electronic resource] : 12th European Conference on Computer Vision, Florence, Italy, October 7-13, 2012, Proceedings. Part II / Andrew Fitzgibbon...[et al.] (eds.).
Creatore [European Conference on Computer Vision (12th : 2012 : Florence, Italy)]
Estensione 1 online resource : ill. (some col.
Disciplina 006.3/7
Accesso persona Fitzgibbon, A. W. (Andrew W.)
Genere/Forma Electronic books
Soggetto non controllato Computer science
Computer software
Computer vision
Computer graphics
Optical pattern recognition
Computer Imaging, Vision, Pattern Recognition and Graphics
Image Processing and Computer Vision
ISBN 9783642337093 (electronic bk.)
3642337090 (electronic bk.)
9783642337086
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Object-Centric Spatial Pooling for Image Classification / Olga Russakovsky, Yuanqing Lin, Kai Yu and Li Fei-Fei -- Statistics of Patch Offsets for Image Completion / Kaiming He and Jian Sun -- Spectral Demons - Image Registration via Global Spectral Correspondence / Herve Lombaert, Leo Grady, Xavier Pennec, Nicholas Ayache and Farida Cheriet -- MatchMiner: Efficient Spanning Structure Mining in Large Image Collections / Yin Lou, Noah Snavely and Johannes Gehrke -- V1-Inspired Features Induce a Weighted Margin in SVMs / Hilton Bristow and Simon Lucey -- Unsupervised Discovery of Mid-Level Discriminative Patches / Saurabh Singh, Abhinav Gupta and Alexei A. Efros -- Self-similar Sketch / Andrea Vedaldi and Andrew Zisserman -- Depth Matters: Influence of Depth Cues on Visual Saliency / Congyan Lang, Tam V. Nguyen, Harish Katti, Karthik Yadati and Mohan Kankanhalli, et al. -- Quaternion-Based Spectral Saliency Detection for Eye Fixation Prediction / Boris Schauerte and Rainer Stiefelhagen -- Human Activities as Stochastic Kronecker Graphs / Sinisa Todorovic -- Facial Action Transfer with Personalized Bilinear Regression / Dong Huang and Fernando De La Torre --
Point of Gaze Estimation through Corneal Surface Reflection in an Active Illumination Environment / Atsushi Nakazawa and Christian Nitschke -- Order-Preserving Sparse Coding for Sequence Classification / Bingbing Ni, Pierre Moulin and Shuicheng Yan -- Min-Space Integral Histogram / Séverine Dubuisson and Christophe Gonzales -- On Learning Higher-Order Consistency Potentials for Multi-class Pixel Labeling / Kyoungup Park and Stephen Gould -- Sparse Coding and Dictionary Learning for Symmetric Positive Definite Matrices: A Kernel Approach / Mehrtash T. Harandi, Conrad Sanderson, Richard Hartley and Brian C. Lovell -- Learning Class-to-Image Distance via Large Margin and L1-Norm Regularization / Zhengxiang Wang, Shenghua Gao and Liang-Tien Chia -- Taxonomic Multi-class Prediction and Person Layout Using Efficient Structured Ranking / Arpit Mittal, Matthew B. Blaschko, Andrew Zisserman and Philip H. S. Torr -- Robust Point Matching Revisited: A Concave Optimization Approach / Wei Lian and Lei Zhang -- Learning Discriminative Spatial Relations for Detector Dictionaries: An Application to Pedestrian Detection / Enver Sangineto, Marco Cristani, Alessio Del Bue and Vittorio Murino --
Learning Deformations with Parallel Transport / Donglai Wei, Dahua Lin and John Fisher III -- Multi-channel Shape-Flow Kernel Descriptors for Robust Video Event Detection and Retrieval / Pradeep Natarajan, Shuang Wu, Shiv Vitaladevuni, Xiaodan Zhuang and Unsang Park, et al. -- Tracking Using Motion Patterns for Very Crowded Scenes / Xuemei Zhao, Dian Gong and Gérard Medioni -- Long-Range Spatio-Temporal Modeling of Video with Application to Fire Detection / Avinash Ravichandran and Stefano Soatto -- GMCP-Tracker: Global Multi-object Tracking Using Generalized Minimum Clique Graphs / Amir Roshan Zamir, Afshin Dehghan and Mubarak Shah -- Heliometric Stereo: Shape from Sun Position / Austin Abrams, Christopher Hawley and Robert Pless -- Shape from Single Scattering for Translucent Objects / Chika Inoshita, Yasuhiro Mukaigawa, Yasuyuki Matsushita and Yasushi Yagi -- Scale Invariant Optical Flow / Li Xu, Zhenlong Dai and Jiaya Jia -- Structured Image Segmentation Using Kernelized Features / Aurélien Lucchi, Yunpeng Li, Kevin Smith and Pascal Fua -- Salient Object Detection: A Benchmark / Ali Borji, Dicky N. Sihite and Laurent Itti --
Automatic Segmentation of Unknown Objects, with Application to Baggage Security / Leo Grady, Vivek Singh, Timo Kohlberger, Christopher Alvino and Claus Bahlmann -- Multi-scale Clustering of Frame-to-Frame Correspondences for Motion Segmentation / Ralf Dragon, Bodo Rosenhahn and Jörn Ostermann -- Fourier Kernel Learning / Eduard Gabriel Băzăvan, Fuxin Li and Cristian Sminchisescu -- Efficient Optimization for Low-Rank Integrated Bilinear Classifiers / Takumi Kobayashi and Nobuyuki Otsu -- Metric Learning for Large Scale Image Classification: Generalizing to New Classes at Near-Zero Cost / Thomas Mensink, Jakob Verbeek, Florent Perronnin and Gabriela Csurka -- Leafsnap: A Computer Vision System for Automatic Plant Species Identification / Neeraj Kumar, Peter N. Belhumeur, Arijit Biswas, David W. Jacobs and W. John Kress, et al. -- Large Scale Visual Geo-Localization of Images in Mountainous Terrain / Georges Baatz, Olivier Saurer, Kevin Köser and Marc Pollefeys -- Manifold Statistics for Essential Matrices / Gijs Dubbelman, Leo Dorst and Henk Pijls --
Covariance Propagation and Next Best View Planning for 3D Reconstruction / Sebastian Haner and Anders Heyden -- Dilated Divergence Based Scale-Space Representation for Curve Analysis / Max W. K. Law, KengYeow Tay, Andrew Leung, Gregory J. Garvin and Shuo Li -- A Parameterless Line Segment and Elliptical Arc Detector with Enhanced Ellipse Fitting / Viorica Pătrăucean, Pierre Gurdjos and Rafael Grompone von Gioi -- Detecting and Reconstructing 3D Mirror Symmetric Objects / Sudipta N. Sinha, Krishnan Ramnath and Richard Szeliski -- 3D Reconstruction of Dynamic Scenes with Multiple Handheld Cameras / Hanqing Jiang, Haomin Liu, Ping Tan, Guofeng Zhang and Hujun Bao -- Joint Face Alignment: Rescue Bad Alignments with Good Ones by Regularized Re-fitting / Xiaowei Zhao, Xiujuan Chai and Shiguang Shan -- Dynamic Facial Expression Recognition Using Longitudinal Facial Expression Atlases / Yimo Guo, Guoying Zhao and Matti Pietikäinen -- Crosstalk Cascades for Frame-Rate Pedestrian Detection / Piotr Dollár, Ron Appel and Wolf Kienzle --
Query Specific Fusion for Image Retrieval / Shaoting Zhang, Ming Yang, Timothee Cour, Kai Yu and Dimitris N. Metaxas -- Size Matters: Exhaustive Geometric Verification for Image Retrieval Accepted for ECCV 2012 / Henrik Stewénius, Steinar H. Gunderson and Julien Pilet -- Scene Aligned Pooling for Complex Video Recognition / Liangliang Cao, Yadong Mu, Apostol Natsev, Shih-Fu Chang and Gang Hua, et al. -- Discovering Latent Domains for Multisource Domain Adaptation / Judy Hoffman, Brian Kulis, Trevor Darrell and Kate Saenko -- Visual Recognition Using Local Quantized Patterns / Sibt ul Hussain and Bill Triggs -- Randomized Spatial Partition for Scene Recognition / Yuning Jiang, Junsong Yuan and Gang Yu -- Nested Sparse Quantization for Efficient Feature Coding / Xavier Boix, Gemma Roig, Christian Leistner and Luc Van Gool -- Comparative Evaluation of Binary Features / Jared Heinly, Enrique Dunn and Jan-Michael Frahm --
Negative Evidences and Co-occurences in Image Retrieval: The Benefit of PCA and Whitening / Hervé Jégou and Ondřej Chum -- W[alpha]SH: Weighted [alpha]-Shapes for Local Feature Detection / Christos Varytimidis, Konstantinos Rapantzikos and Yannis Avrithis -- Sparselet Models for Efficient Multiclass Object Detection / Hyun Oh Song, Stefan Zickler, Tim Althoff, Ross Girshick and Mario Fritz, et al. -- Nested Pictorial Structures / Steve Gu, Ying Zheng and Carlo Tomasi -- Performance Capture of Interacting Characters with Handheld Kinects / Genzhi Ye, Yebin Liu, Nils Hasler, Xiangyang Ji and Qionghai Dai, et al. -- Dynamic Eye Movement Datasets and Learnt Saliency Models for Visual Action Recognition / Stefan Mathe and Cristian Sminchisescu -- Coherent Filtering: Detecting Coherent Motions from Crowd Clutters / Bolei Zhou, Xiaoou Tang and Xiaogang Wang -- Robust 3D Action Recognition with Random Occupancy Patterns / Jiang Wang, Zicheng Liu, Jan Chorowski, Zhuoyuan Chen and Ying Wu.
Record Nr. UPENN-9960101173503681
[European Conference on Computer Vision (12th : 2012 : Florence, Italy)]  
Materiale a stampa
Lo trovi qui: University of Pennsylvania
The personal web [electronic resource] : a research agenda / Mark Chignell...[et al.] (eds.).
The personal web [electronic resource] : a research agenda / Mark Chignell...[et al.] (eds.).
Estensione 1 online resource.
Disciplina 004.01/9
Accesso persona Chignell, Mark
Genere/Forma Electronic books
Soggetto non controllato Computer science
Software engineering
Information storage and retrieval systems
Artificial intelligence
Information Systems Applications (incl. Internet)
User Interfaces and Human Computer Interaction
ISBN 9783642399954 (electronic bk.)
3642399959 (electronic bk.)
9783642399947
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UPENN-9960108983503681
Materiale a stampa
Lo trovi qui: University of Pennsylvania
Software engineering and formal methods [electronic resource] : 9th international conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011 : proceedings / Gilles Barthe, Alberto Pardo, Gerardo Schneider (eds.).
Software engineering and formal methods [electronic resource] : 9th international conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011 : proceedings / Gilles Barthe, Alberto Pardo, Gerardo Schneider (eds.).
Creatore [International Conference on Software Engineering and Formal Methods (9th : 2011 : Montevideo, Uruguay)]
Estensione 1 online resource (xiv, 504 p.) : ill. (some col.
Disciplina 005.3
Accesso persona Barthe, Gilles
Pardo, Alberto
Schneider, Gerardo
Genere/Forma Electronic books
Soggetto non controllato Computer science
Computer Communication Networks
Software engineering
Logic design
Artificial intelligence
Logics and Meanings of Programs
Programming Languages, Compilers, Interpreters
Programming Techniques
Artificial Intelligence (incl. Robotics)
ISBN 9783642246906 (electronic bk.)
3642246907 (electronic bk.)
9783642246890
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UPENN-9960088593503681
[International Conference on Software Engineering and Formal Methods (9th : 2011 : Montevideo, Uruguay)]  
Materiale a stampa
Lo trovi qui: University of Pennsylvania
Provenance and annotation of data and processes [electronic resource] : 4th International Provenance and Annotation Workshop, IPAW 2012, Santa Barbara, CA, USA, June 19-21, 2012, Revised selected papers / Paul Groth, James Frew (eds.).
Provenance and annotation of data and processes [electronic resource] : 4th International Provenance and Annotation Workshop, IPAW 2012, Santa Barbara, CA, USA, June 19-21, 2012, Revised selected papers / Paul Groth, James Frew (eds.).
Creatore [International Provenance and Annotation Workshop (4th : 2012 : Santa Barbara, Calif.)]
Estensione 1 online resource.
Disciplina 005.74
Accesso persona Groth, Paul
Frew, James
Genere/Forma Electronic books
Soggetto non controllato Computer science
Database management
Information storage and retrieval systems
Artificial intelligence
Information Systems
Information Storage and Retrieval
Information Systems Applications (incl. Internet)
Management of Computing and Information Systems
Computers and Society
ISBN 9783642342226 (electronic bk.)
3642342221 (electronic bk.)
9783642342219
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto SourceTrac: Tracing Data Sources within Spreadsheets / Hazeline U. Asuncion -- Towards Integrating Workflow and Database Provenance / Fernando Chirigati and Juliana Freire -- DEEP: A Provenance-Aware Executable Document System / Huanjia Yang, Danius T. Michaelides, Chris Charlton, William J. Browne and Luc Moreau -- Towards Unified Provenance Granularities / Timothy Lebo, Ping Wang, Alvaro Graves and Deborah L. McGuinness -- Functional Requirements for Information Resource Provenance on the Web / James P. McCusker, Timothy Lebo, Alvaro Graves, Dominic Difranzo and Paulo Pinheiro, et al. -- A PROV Encoding for Provenance Analysis Using Deductive Rules / Paolo Missier and Khalid Belhajjame -- Declarative Rules for Inferring Fine-Grained Data Provenance from Scientific Workflow Execution Traces / Shawn Bowers, Timothy McPhillips and Bertram Ludäscher -- Automatic Discovery of High-Level Provenance Using Semantic Similarity / Tom De Nies, Sam Coppens, Davy Van Deursen, Erik Mannens and Rik Van de Walle --
Transparent Provenance Derivation for User Decisions / Ingrid Nunes, Yuhui Chen, Simon Miles, Michael Luck and Carlos Lucena -- Detecting Duplicate Records in Scientific Workflow Results / Khalid Belhajjame, Paolo Missier and Carole A. Goble -- The Xeros Data Model: Tracking Interpretations of Archaeological Finds / Michael O. Jewell, Enrico Costanza, Tom Frankland, Graeme Earl and Luc Moreau -- Using Domain-Specific Data to Enhance Scientific Workflow Steering Queries / João Carlos de A.R. Gonçalves, Daniel de Oliveira, Kary A. C. S. Ocaña, Eduardo Ogasawara and Marta Mattoso -- Network Analysis on Provenance Graphs from a Crowdsourcing Application / Mark Ebden, Trung Dong Huynh, Luc Moreau, Sarvapali Ramchurn and Stephen Roberts -- Modelling Provenance Using Structured Occurrence Networks / Paolo Missier, Brian Randell and Maciej Koutny -- DEMO: ourSpaces - A Provenance Enabled Virtual Research Environment / Peter Edwards, Chris Mellish, Edoardo Pignotti, Kapila Ponnamperuma and Thomas Bouttaz, et al. --
SOLE: Linking Research Papers with Science Objects / Quan Pham, Tanu Malik, Ian Foster, Roberto Di Lauro and Raffaele Montella -- DEMO: Managing the Provenance of Crowdsourced Disruption Reports / Milan Markovic, Peter Edwards, David Corsar and Jeff Z. Pan -- Designing a Provenance-Based Climate Data Analysis Application / Emanuele Santos, David Koop, Thomas Maxwell, Charles Doutriaux and Tommy Ellqvist, et al. -- Quality Assessment, Provenance, and the Web of Linked Sensor Data / Chris Baillie, Peter Edwards and Edoardo Pignotti -- Integrating Text and Graphics to Present Provenance Information / Thomas Bouttaz, Alan Eckhardt, Chris Mellish and Peter Edwards -- Exploring Provenance in a Linked Data Ecosystem / David Corsar, Peter Edwards, Nagendra Velaga, John Nelson and Jeff Z. Pan -- Enabling Re-executions of Parallel Scientific Workflows Using Runtime Provenance Data / Flávio Costa, Daniel de Oliveira, Kary A. C. S. Ocaña, Eduardo Ogasawara and Marta Mattoso -- Access Control for OPM Provenance Graphs / Roxana Danger, Robin Campbell Joy, John Darlington and Vasa Curcin -- Improving the Understanding of Provenance and Reproducibility of a Multi-Sensor Merged Climate Data Record / Hook Hua, Brian Wilson, Gerald Manipon, Lei Pan and Eric Fetzer -- Provenance Tracking in R / Andrew Runnalls and Chris Silles -- The Provenance Store prOOst for the Open Provenance Model / Andreas Schreiber, Miriam Ney and Heinrich Wendel -- A Comprehensive Model for Provenance / Salmin Sultana and Elisa Bertino -- Provenance Representation in the Global Change Information System (GCIS) / Curt Tilmes -- Integrating Provenance into an Operational Data Product Information System / Stephan Zednik, James Michaelis and Peter Fox -- On Presenting Apropos Provenance for Situation Awareness and Data Forensics / Jing Zhao, Yogesh Simmhan and Viktor Prasanna.
Record Nr. UPENN-9960101443503681
[International Provenance and Annotation Workshop (4th : 2012 : Santa Barbara, Calif.)]  
Materiale a stampa
Lo trovi qui: University of Pennsylvania
Human-computer interaction [electronic resource] : interaction modalities and techniques : 15th International Conference, HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings. Part IV / Masaaki Kurosu (ed.).
Human-computer interaction [electronic resource] : interaction modalities and techniques : 15th International Conference, HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings. Part IV / Masaaki Kurosu (ed.).
Creatore [International Conference on Human-Computer Interaction (15th : 2013 : Las Vegas, Nev.)]
Estensione 1 online resource.
Disciplina 004.01/9
Accesso persona Kurosu, Masaaki
Genere/Forma Electronic books
Soggetto non controllato Computer science
Multimedia systems
User Interfaces and Human Computer Interaction
Computers and Society
Multimedia Information Systems
ISBN 9783642393303 (electronic bk.)
3642393306 (electronic bk.)
9783642393297
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UPENN-9960108413503681
[International Conference on Human-Computer Interaction (15th : 2013 : Las Vegas, Nev.)]  
Materiale a stampa
Lo trovi qui: University of Pennsylvania
Smart grid security [electronic resource] : first International Workshop, SmartGridSec 2012, Berlin, Germany, December 3, 2012 : revised selected papers / Jorge Cuellar (ed.).
Smart grid security [electronic resource] : first International Workshop, SmartGridSec 2012, Berlin, Germany, December 3, 2012 : revised selected papers / Jorge Cuellar (ed.).
Creatore [SmartGridSec (Workshop) (1st : 2012 : Berlin, Germany)]
Estensione 1 online resource (vi, 149 p.) : ill
Disciplina 621.319
Accesso persona Cuellar, Jorge
Genere/Forma Electronic books
Soggetto non controllato Computer science
Operating systems (Computers)
Data protection
Information Systems
Systems and Data Security
Computers and Society
Management of Computing and Information Systems
ISBN 9783642380303 (electronic bk.)
3642380301 (electronic bk.)
9783642380297
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto IT Security Architecture Approaches for Smart Metering and Smart Grid / David von Oheimb -- Smart Grid Information Exchange - Securing the Smart Grid from the Ground / Steffen Fries, Rainer Falk, Ariane Sutor -- A Tool Set for the Evaluation of Security and Reliability in Smart Grids / Joël Chinnow, Jakob Tonn, Karsten Bsufka, Thomas Konnerth, Sahin Albayrak -- Regular Papers -- A Holistic View of Security and Privacy Issues in Smart Grids / Muhammad Rizwan Asghar, Daniele Miorandi -- Hardware Security for Device Authentication in the Smart Grid / Andrew J. Paverd, Andrew P. Martin -- Maintaining Privacy in Data Rich Demand Response Applications / Markus Karwe, Jens Strüker -- Data Protection in a Cloud-Enabled Smart Grid / Alexander Fromm, Florian Kelbert, Alexander Pretschner -- Formal Analysis of a Privacy-Preserving Billing Protocol / Alessandro Armando, Roberto Carbone, Alessio Merlo -- Privacy in Smart Metering Ecosystems / Peter Ebinger, José Luis Hernández Ramos, Panayotis Kikiras, Mario Lischka -- Energy@home Leveraging ZigBee to Enable Smart Grid in Residential Environment / Andrea Ranalli, Claudio Borean.
Record Nr. UPENN-9960105833503681
[SmartGridSec (Workshop) (1st : 2012 : Berlin, Germany)]  
Materiale a stampa
Lo trovi qui: University of Pennsylvania