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.
Wireless algorithms, systems, and applications : 8th International Conference, WASA 2013, Zhangjiajie, China, August 7-10, 2013. Proceedings / Kui Ren, Xue Liu, Weifa Liang, Ming Xu, Xiaohua Jia, Kai Xing (eds.).
Wireless algorithms, systems, and applications : 8th International Conference, WASA 2013, Zhangjiajie, China, August 7-10, 2013. Proceedings / Kui Ren, Xue Liu, Weifa Liang, Ming Xu, Xiaohua Jia, Kai Xing (eds.).
Creatore [WASA (Conference) (8th : 2013 : Zhangjiajie Shi, China)]
Estensione 1 online resource (xiv, 536 pages) : illustrations (black and white).
Accesso persona Ren, Kui, editor
Liu, Xue, editor
Liang, Weifa, editor
Xu, Ming, editor
Jia, Xiaohua, editor
Xing, Kai, editor
Genere/Forma Electronic books
Conference papers and proceedings
Ebook
Congresses
Soggetto non controllato Computer science
Computer Communication Networks
Computer system performance
Computer software
Algorithm Analysis and Problem Complexity
Information Systems Applications (incl. Internet)
System Performance and Evaluation
ISBN 9783642397011
3642397018
9783642397004
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Improving Particle Filter with Better Proposal Distribution for Nonlinear Filtering Problems -- Performance Evaluation with Control Channel on the Coexistence Scenario of TD-LTE and LTE-FDD -- Buffer Occupation in Wireless Social Networks -- Efficient Identity-Based Encryption without Pairings and Key Escrow for Mobile Devices -- A Network Forensics System for Information Leak Events -- Maximum Independent Set of Links with a Monotone and Sublinear Power Assignment -- An Auction Mechanism for Resource Allocation in Mobile Cloud Computing Systems -- A Novel Delay-Resilient Remote Memory Attestation for Smart Grid -- A Source-Relay Selection Scheme with Power Allocation for Asymmetric Two-Way Relaying Networks in Underground Mines -- Performance Analysis of Broadcast in Multi-channel Multi-radio Wireless Mesh Networks -- SAFE: A Strategy-Proof Auction Mechanism for Multi-radio, Multi-channel Spectrum Allocation -- A Context-Aware MAC Protocol for VANETs -- A Balance Storage Nodes Assignment for Wireless Sensor Networks -- A Trustworthiness Evaluation Method for Wireless Sensor Nodes Based on D-S Evidence Theory -- UCOR: An Unequally Clustering-Based Hierarchical Opportunistic Routing Protocol for WSNs -- A Quadri-Stage Contention MAC Protocol with Opportunistic Network Coding Support for Underwater Acoustic Networks -- Fast Encryption of JPEG 2000 Images in Wireless Multimedia Sensor Networks -- Evaluating Selective ARQ and Slotted Handshake Based Access in Real World Underwater Networks -- ActiviTune: A Multi-stage System for Activity Recognition of Passive Entities from Ambient FM-Radio Signals -- From Decision Fusion to Localization in Radar Sensor Networks: A Game Theoretical View -- Characterizing the Impact of Non-uniform Deployment of APs on Network Performance under Partially Overlapped Channels -- Patient's Motion Recognition Based on SOM-Decision Tree -- Range-Free Mobile Node Localization Using Static Anchor -- Neighbor Discovery Algorithm Based on the Regulation of Duty-Cycle in Mobile Sensor Network -- Diversity between Human Behaviors and Metadata Analysis: A Measurement of Mobile App Recommendation -- An Urban Area-Oriented Improving Particle Filter with Better Proposal Distribution for Nonlinear Filtering Problems -- Performance Evaluation with Control Channel on the Coexistence Scenario of TD-LTE and LTE-FDD -- Buffer Occupation in Wireless Social Networks -- Efficient Identity-Based Encryption without Pairings and Key Escrow for Mobile Devices -- A Network Forensics System for Information Leak Events -- Maximum Independent Set of Links with a Monotone and Sublinear Power Assignment -- An Auction Mechanism for Resource Allocation in Mobile Cloud Computing Systems -- A Novel Delay-Resilient Remote Memory Attestation for Smart Grid -- A Source-Relay Selection Scheme with Power Allocation for Asymmetric Two-Way Relaying Networks in Underground Mines -- Performance Analysis of Broadcast in Multi-channel Multi-radio Wireless Mesh Networks -- SAFE: A Strategy-Proof Auction Mechanism for Multi-radio, Multi-channel Spectrum Allocation -- A Context-Aware MAC Protocol for VANETs -- A Balance Storage Nodes Assignment for Wireless Sensor Networks -- A Trustworthiness Evaluation Method for Wireless Sensor Nodes Based on D-S Evidence Theory -- UCOR: An Unequally Clustering-Based Hierarchical Opportunistic Routing Protocol for WSNs -- A Quadri-Stage Contention MAC Protocol with Opportunistic Network Coding Support for Underwater Acoustic Networks -- Fast Encryption of JPEG 2000 Images in Wireless Multimedia Sensor Networks -- Evaluating Selective ARQ and Slotted Handshake Based Access in Real World Underwater Networks -- ActiviTune: A Multi-stage System for Activity Recognition of Passive Entities from Ambient FM-Radio Signals -- From Decision Fusion to Localization in Radar Sensor Networks: A Game Theoretical View -- Characterizing the Impact of Non-uniform Deployment of APs on Network Performance under Partially Overlapped Channels -- Patient's Motion Recognition Based on SOM-Decision Tree -- Range-Free Mobile Node Localization Using Static Anchor -- Neighbor Discovery Algorithm Based on the Regulation of Duty-Cycle in Mobile Sensor Network -- Diversity between Human Behaviors and Metadata Analysis: A Measurement of Mobile App Recommendation -- An Urban Area-Oriented Traffic Information Query Strategy in VANETs -- Navigation for Indoor Mobile Robot Based on Wireless Sensor Network -- iMac: Strategy-Proof Incentive Mechanism for Mobile Crowdsourcing -- Social Welfare Maximization in Participatory Smartphone Sensing -- An Optimal Solution for Round Rotation Time Setting in LEACH -- UPC-MAC: A Power Control MAC Protocol for Underwater Sensor Networks -- FMAC for Coexisting Ad Hoc Cognitive Radio Networks -- Effective RSS Sampling for Forensic Wireless Localization -- An Optimal Leakage Detection Strategy for Underground Pipelines Using Magnetic Induction-Based Sensor Networks -- Compressive Data Retrieval with Tunable Accuracy in Vehicular Sensor Networks -- Enforcing Spectrum Access Rules in Cognitive Radio Networks through Cooperative Jamming -- Photo Forensics on Shanzhai Mobile Phone -- Local Information Storage Protocol for Urban Vehicular Networks -- Maximum Independent Set of Links with Power Control -- Sweep-Coverage with Energy-Restricted Mobile Wireless Sensor Nodes -- The Trading between Virtual Mobile Operator and Wireless Service Provider in the Two-Tier Femtocell Network -- Truthful Online Reverse Auction with Flexible Preemption for Access Permission Transaction in Macro-Femtocell Networks -- Social Communications Assisted Epidemic Disease Influence Minimization.
Record Nr. UCHICAGO-11079673
[WASA (Conference) (8th : 2013 : Zhangjiajie Shi, China)]  
Materiale a stampa
Lo trovi qui: University of Chicago
Hardware and software : verification and testing ; 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers / Armin Biere, Amir Nahir, Tanja Vos (eds.).
Hardware and software : verification and testing ; 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers / Armin Biere, Amir Nahir, Tanja Vos (eds.).
Creatore [International Haifa Verification Conference (8th : 2012 : Haifa, Israel)]
Estensione 1 online resource (xi, 279 pages) : illustrations.
Accesso persona Biere, Armin, editor
Nahir, Amir, editor
Vos, Tanja, editor
Genere/Forma Electronic books
Conference papers and proceedings
Ebook
Congresses
Soggetto non controllato Computer science
Software engineering
Logic design
Artificial intelligence
Programming Languages, Compilers, Interpreters
Logics and Meanings of Programs
Mathematical Logic and Formal Languages
ISBN 9783642396113
3642396119
9783642396106
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto On Behavioral Programming -- Verifying Real-Time Software Is Not Reasonable: Abstract of Invited Talk -- SMT in Verification, Modeling, and Testing at Microsoft -- Reducing Costs While Increasing Quality -- Special Session on Security Verification -- Circuit Primitives for Monitoring Information Flow and Enabling Redundancy -- Formal Analysis of Security Data Paths in RTL Design -- Precise Detection of Atomicity Violations -- Proving Mutual Termination of Programs -- Knowledge Based Transactional Behavior -- Repair with On-The-Fly Program Analysis -- Computing Interpolants without Proofs -- MaxSAT-Based MCS Enumeration -- Automated Reencoding of Boolean Formulas.
Record Nr. UCHICAGO-11079676
[International Haifa Verification Conference (8th : 2012 : Haifa, Israel)]  
Materiale a stampa
Lo trovi qui: University of Chicago
Advances in neural networks - ISNN 2013 : 10th International Symposium on Neural Networks, Dalian, China, July 4-6, 2013, Proceedings. Part I / Chengan Guo, Zeng-Guang Hou, Zhigang Zeng (eds.).
Advances in neural networks - ISNN 2013 : 10th International Symposium on Neural Networks, Dalian, China, July 4-6, 2013, Proceedings. Part I / Chengan Guo, Zeng-Guang Hou, Zhigang Zeng (eds.).
Creatore [International Symposium on Neural Networks (10th : 2013 : Dalian Shi, China)]
Estensione 1 online resource.
Accesso persona Guo, Chengan
Hou, Zeng-Guang
Zeng, Zhigang (Professor)
Genere/Forma Electronic books
Conference papers and proceedings
Ebook
Congresses
Soggetto non controllato Computer science
Computer software
Artificial intelligence
Computer vision
Optical pattern recognition
Computation by Abstract Devices
Pattern Recognition
Mathematical Modeling and Industrial Mathematics
Algorithm Analysis and Problem Complexity
ISBN 9783642390654
364239065X
9783642390647
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Computational Neuroscience and Cognitive Science -- Information Transfer Characteristic in Memristic Neuromorphic Network -- Generation and Analysis of 3D Virtual Neurons Using Genetic Regulatory Network Model -- A Finite-Time Convergent Recurrent Neural Network Based Algorithm for the L Smallest k-Subsets Sum Problem -- Spike Train Pattern and Firing Synchronization in a Model of the Olfactory Mitral Cell -- Efficiency Improvements for Fuzzy Associative Memory -- A Study of Neural Mechanism in Emotion Regulation by Simultaneous Recording of EEG and fMRI Based on ICA -- Emotion Cognitive Reappraisal Research Based on Simultaneous Recording of EEG and BOLD Responses -- Convergence of Chaos Injection-Based Batch Backpropagation Algorithm For Feedforward Neural Networks -- Discovering the Multi-neuronal Firing Patterns Based on a New Binless Spike Trains Measure -- A Study on Dynamic Characteristics of the Hippocampal Two-Dimension Reduced Neuron Model under Current Conductance Changes -- Neural Network Models, Learning Algorithms, Stability and Convergence Analysis -- Overcoming the Local-Minimum Problem in Training Multilayer Perceptrons with the NRAE-MSE Training Method -- Generalized Single-Hidden Layer Feedforward Networks -- An Approach for Designing Neural Cryptography -- Bifurcation of a Discrete-Time Cohen-Grossberg-Type BAM Neural Network with Delays -- Stability Criteria for Uncertain Linear Systems with Time-Varying Delay -- Generalized Function Projective Lag Synchronization between Two Different Neural Networks -- Application of Local Activity Theory of CNN to the Coupled Autocatalator Model -- Passivity Criterion of Stochastic T-S Fuzzy Systems with Time-Varying Delays -- Parallel Computation of a New Data Driven Algorithm for Training Neural Networks -- Stability Analysis of a Class of High Order Fuzzy Cohen-Grossberg Neural Networks with Mixed Delays and Reaction-Diffusion Terms -- A Study on the Randomness Reduction Effect of Extreme Learning Machine with Ridge Regression -- Stability of Nonnegative Periodic Solutions of High-Ordered Neural Networks -- Existence of Periodic Solution for Competitive Neural Networks with Time-Varying and Distributed Delays on Time Scales -- Global Exponential Stability in the Mean Square of Stochastic Cohen-Grossberg Neural Networks with Time-Varying and Continuous Distributed Delays -- A Delay-Partitioning Approach to Stability Analysis of Discrete-Time Recurrent Neural Networks with Randomly Occurred Nonlinearities -- The Universal Approximation Capabilities of Mellin Approximate Identity Neural Networks -- H[infinity] Filtering of Markovian Jumping Neural Networks with Time Delays -- Convergence Analysis for Feng's MCA Neural Network Learning Algorithm -- Anti-periodic Solutions for Cohen-Grossberg Neural Networks with Varying-Time Delays and Impulses -- Global Robust Exponential Stability in Lagrange Sense for Interval Delayed Neural Networks -- The Binary Output Units of Neural Network -- Kernel Methods, Large Margin Methods and SVM -- Support Vector Machine with Customized Kernel -- Semi-supervised Kernel Minimum Squared Error Based on Manifold Structure -- Noise Effects on Spatial Pattern Data Classification Using Wavelet Kernel PCA: A Monte Carlo Simulation Study -- SVM-SVDD: A New Method to Solve Data Description Problem with Negative Examples -- Applying Wavelet Packet Decomposition and One-Class Support Vector Machine on Vehicle Acceleration Traces for Road Anomaly Detection -- Aeroengine Turbine Exhaust Gas Temperature Prediction Using Process Support Vector Machines -- The Effect of Lateral Inhibitory Connections in Spatial Architecture Neural Network -- Empirical Mode Decomposition Based LSSVM for Ship Motion Prediction -- Optimization Algorithms / Variational Methods -- Optimal Calculation of Tensor Learning Approaches -- Repeatable Optimization Algorithm Based Discrete PSO for Virtual Network Embedding -- An Energy-Efficient Coverage Optimization Method for the Wireless Sensor Networks Based on Multi-objective Quantum-Inspired Cultural Algorithm -- Artificial Bee Colony Algorithm for Modular Neural Network -- An Intelligent Optimization Algorithm for Power Control in Wireless Communication Systems -- Optimized Neural Network Ensemble by Combination of Particle Swarm Optimization and Differential Evolution -- Feature Analysis, Clustering, Pattern Recognition and Classification -- SOR Based Fuzzy K-Means Clustering Algorithm for Classification of Remotely Sensed Images -- UMPCA Based Feature Extraction for ECG -- Genetic Algorithm Based Neural Network for License Plate Recognition -- Optimizing Fuzzy ARTMAP Ensembles Using Hierarchical Parallel Genetic Algorithms and Negative Correlation -- Improvement of Panchromatic IKONOS Image Classification Based on Structural Neural Network -- Local Feature Coding for Action Recognition Using RGB-D Camera -- Circular Projection for Pattern Recognition -- A Tensor Factorization Based Least Squares Support Tensor Machine for Classification -- A Remote Sensing Image Classification Method Based on Extreme Learning Machine Ensemble -- Model Identification of an Unmanned Helicopter Using ELSSVM -- A Feature Point Clustering Algorithm Based on GG-RNN -- Local Fisher Discriminant Analysis with Locally Linear Embedding Affinity Matrix -- A Facial Expression Recognition Method by Fusing Multiple Sparse Representation Based Classifiers -- Image Data Classification Using Fuzzy c-Means Algorithm with Different Distance Measures -- Global Matching to Enhance the Strength of Local Intensity Order Pattern Feature Descriptor -- An Approach of Power Quality Disturbances Recognition Based on EEMD and Probabilistic Neural Network -- Chinese Text Classification Based on Neural Network -- The Angular Integral of the Radon Transform (aniRT) as a Feature Vector in Categorization of Visual Objects -- A Fast Algorithm for Clustering with MapReduce -- Gaussian Message Propagation in d-order Neighborhood for Gaussian Graphical Model -- Fast Image Classification Algorithms Based on Random Weights Networks -- A Convolutional Neural Network for Pedestrian Gender Recognition -- The Novel Seeding-Based Semi-supervised Fuzzy Clustering Algorithm Inspired by Diffusion Processes -- Fault Detection for Nonlinear Discrete-Time Systems via Deterministic Learning -- Loose Particle Classification Using a New Wavelet Fisher Discriminant Method -- L1 Graph Based on Sparse Coding for Feature Selection -- Vision Modeling and Image Processing -- An Image Segmentation Method for Maize Disease Based on IGA-PCNN -- A Vector Quantization Approach for Image Segmentation Based on SOM Neural Network -- A Fast Approximate Sparse Coding Networks and Application to Image Denoising -- Residual Image Compensations for Enhancement of High-Frequency Components in Face Hallucination -- Recognition Approach of Human Motion with Micro-accelerometer Based on PCA-BP Neural Network Algorithm -- A Stable Dual Purpose Adaptive Algorithm for Subspace Tracking on Noncompact Stiefel Manifold -- Invariant Object Recognition Using Radon and Fourier Transforms -- An Effective Method for Signal Extraction from Residual Image, with Application to Denoising Algorithms -- Visual Attention Computational Model Using Gabor Decomposition and 2D Entropy -- Human Detection Algorithm Based on Bispectrum Analysis for IR-UWB Radar.
Record Nr. UCHICAGO-11079678
[International Symposium on Neural Networks (10th : 2013 : Dalian Shi, China)]  
Materiale a stampa
Lo trovi qui: University of Chicago
Cross-cultural design : methods, practice, and case studies : 5th International Conference, CCD 2013, held as part of HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings. Part I / P.L. Patrick Rau (ed.).
Cross-cultural design : methods, practice, and case studies : 5th International Conference, CCD 2013, held as part of HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings. Part I / P.L. Patrick Rau (ed.).
Creatore [CCD (Conference) (5th : 2013 : Las Vegas, Nev.)]
Estensione 1 online resource.
Accesso persona Rau, P. L. Patrick
Accesso convegno International Conference on Human-Computer Interaction (15th : 2013 : Las Vegas, Nev.)
Genere/Forma Electronic books
Conference papers and proceedings
Ebook
Congresses
Soggetto non controllato Computer science
Information storage and retrieval systems
User Interfaces and Human Computer Interaction
Media Design
Information Storage and Retrieval
Information Systems Applications (incl. Internet)
ISBN 9783642391439
3642391435
9783642391422
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Table of Contents -- Part I -- Cross-cultural Product Design -- Re-engaging with Cultural Engagement: Innovative Product Design of Cultural Field Experience -- An Exploration on Tactile Styles of Products -- The Study of Style for Kogi Pottery Art in Life -- The Study of Modern Emergency Products under the Direction of New Ergonomics -- Designing "Hometown Feeling" Into Products -- Human Factors Design Research with Persona for Kids Furniture in Shanghai Middle-Class Family -- A Study of the Attraction Factors of Japanese Pop-Culture by Young People in Taiwan -- Interaction Design Research of Home Integrated Ceiling Based on Neo-Ergonomics -- Some Thoughts on Haptic Aesthetics for Design Transmodal Aesthetics -- RFID-Based Road Guiding Cane System for the Visually Impaired -- Exploring Local Characteristic Product Analysis from an Emotional Design Perspective -- The Cognitive Difference of Visual and Imaged Tactile Sense of Product Forms -- Discovering the Use of a Home Smart Telephone: A Persona Approach -- A Study of Aesthetic Analysis on Modern Crafts -- Research on Symbol Expression for Eye Image in Product Design: The Usage of the Chinese Traditional "Yun Wen" -- An Empirical Research on Experience Evaluation and Image Promotion of Wuxi Fruit Brand: The Case of the Brand Package of Yangshan Shuimi Peaches -- A Study of Applying Qualia to Business Model of Creative Industries -- Analysis of Cognition Difference of Visual and Imagined Haptic Inputs on Product Texture -- An Empirical Research on Designing and Promoting the Brand Logo of Yangshan Shuimi Peaches Based on the Theory of Brand Experience -- Service Design Research about Redesign Sedentary Office Guided by New Ergonomics Theory -- Cross-cultural Design Methods and Techniques -- A Policy or a Silent Revolution: Experience Sharing on Aligning UX Process with Product Development Process -- From Global Terminology to Local Terminology: A Review on Cross-Cultural Interface Design Solutions -- Integration of Characteristics of Culture into Product Design: A Perspective from Symbolic Interactions -- Modality-Independent Interaction Framework for Cross-Disability Accessibility -- "I Know U" -- A Proposed VUI Design for Improving User Experience in HRI -- Defining Cross-Culture Theoretical Framework of User Interface -- Integrating Internationalization in the User-Centered Software Development Process -- Lessons Learned during a HCI Design Process in Intercultural Context -- Conception Pyramid Method for Cultural Product Form Development -- Employing Poetry Culture for Creative Design with a Polyphonic Pattern. International Usability Evaluation -- The Influence of the Nature of Need for Touch, Handcraft Material and Material Color on the Motivation for Touch -- Evaluation of Human-System Interfaces with Different Information Organization Using an Eye Tracker -- The Effects of Emotion on Judgments of Effectiveness and Good-Design -- Identifying Usability Problems in a Smart TV Music Service -- A Human Factors Evaluation of the Spatial Gesture Interface for In-Vehicle Information Systems -- Characteristics of UI English: From Non-native's Viewpoint -- The Effects of Age, Viewing Distance and Font Type on the Legibility of Chinese Characters -- A Study of a Human Interface Device Controlled by Formant Frequencies for the Disabled -- Secondary Task Method for Workload Measurement in Alarm Monitoring and Identification Tasks -- Case Studies in Cross-Cultural Design -- A Cross-Cultural Comparison of UI Components Preference between Chinese and Czech Users -- Use Second Screen to Enhance TV Viewing Experiences -- A Study about the Culture Service Process and Tools Design -- User Experience with Chinese Handwriting Input on Touch-Screen Mobile Phones -- Reception of Space: Inspiring Design without a Designer. The Influence of Design Training and Spatial Solution Strategies on Spatial Ability Performance -- Service Based Design Solutions -- A Case of Migrant Workers' Affective Links with Their Families in Rural Areas of China -- Affective Fusion of PAD Model-Based Tactile Sense: A Case Study of Teacups -- What's Your Point?: How Chinese and Americans Achieve Their Conversational Aims in Cross-Cultural and Gender Interactions in CMC -- Improving the User Interface for Reading News Articles through Smartphones in Persian Language -- The Acceptance and Adoption of Smartphone Use among Chinese College Students -- Modeling of a Human Decision-Making Process with Prospect Theory -- Designing Government Funded Religious E-Readers by Adopting User Experience Methods -- Social Media's Impact on Teenagers -- An Analysis of Microblogging Behavior on Sina Weibo: Personality, Network Size and Demographics -- The Research on Cognition Design in Chinese Opera Mask -- Feature Extraction of Individual Differences for Identification Recognition Based on Resting EEG -- Enhancing People's Television Experience by Capturing, Memoing, Sharing, and Mixing -- The Application of Consistent User Interface in Common Use Self Service (CUSS) -- A Qualitative Study of Older Adults' Acceptance of New Functions on Smart Phones and Tablets -- On Class Design Using Multi-Mouse Quiz by Elementary Schoolteachers.
Record Nr. UCHICAGO-11079685
[CCD (Conference) (5th : 2013 : Las Vegas, Nev.)]  
Materiale a stampa
Lo trovi qui: University of Chicago
The personal web : a research agenda / Mark Chignell, James R. Cordy, Ryan Kealey, Joanna Ng, Yelena Yesha (eds.).
The personal web : a research agenda / Mark Chignell, James R. Cordy, Ryan Kealey, Joanna Ng, Yelena Yesha (eds.).
Estensione 1 online resource (viii, 220 pages) : illustrations.
Accesso persona Chignell, Mark, editor
Cordy, James R., editor.
Kealey, Ryan, editor
Ng, Joanna, editor
Yesha, Yelena, 1962-editor
Genere/Forma Electronic books
Ebook
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
3642399959
9783642399947
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto The Personal Web -- PWWM: A Personal Web Workflow Methodology -- Service Subscription and Consumption for Personal Web Applications -- A Framework for Composing Personalized Web Resources -- A Privacy Framework for the Personal Web -- Intelligence for the Personal Web -- Communities, Artifacts, Interaction and Contribution on the Web -- The SmarterContext Ontology and Its Application to the Smart Internet: A Smarter Commerce Case Study -- Simplifying the Task of Group Gift Giving.
Record Nr. UCHICAGO-11079890
Materiale a stampa
Lo trovi qui: University of Chicago
ICT as key technology against global warming : second International Conference, ICT-GLOW 2012, Vienna, Austria, September 6, 2012. Proceedings / Axel Auweter [and others] (eds.).
ICT as key technology against global warming : second International Conference, ICT-GLOW 2012, Vienna, Austria, September 6, 2012. Proceedings / Axel Auweter [and others] (eds.).
Creatore [ICT-GLOW (Conference) (2nd : 2012 : Vienna, Austria)]
Estensione 1 online resource.
Accesso persona Auweter, Axel
Genere/Forma Electronic books
Soggetto non controllato Computer science
Software engineering
Information systems
Climatic changes
Information Systems Applications (incl. Internet)
Software Engineering/Programming and Operating Systems
Computer Appl. in Administrative Data Processing
Management of Computing and Information Systems
ISBN 9783642326066
3642326064
9783642326059
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto IT-Cooling Collaborative Control Methods for Battery-Aware IT-Systems Targeting India / Tadayuki Matsumura and Tetsuya Yamada -- Research for IT Driven Energy Efficiency Based on a Multidimensional Comfort Control* / Afef Denguir, François Trousset and Jacky Montmain -- The ECOS Green Buildings Project: Data Dramatization, Visualization and Manipulation / Deb Polson and Cassandra Selin -- Case Studies of Multi-core Energy Efficiency in Task Based Programs / Hallgeir Lien, Lasse Natvig, Abdullah Al Hasib and Jan Christian Meyer -- Leveraging Task-Parallelism in Energy-Efficient ILU Preconditioners / José I. Aliaga, Manuel F. Dolz, Alberto F. Martín, Rafael Mayo and Enrique S. Quintana-Ortí -- Evaluating Energy Consumption in CDN Servers / Saif ul Islam and Jean-Marc Pierson -- Green Performance Indicators Aggregation through Composed Weighting System / Alexandre Mello Ferreira, Barbara Pernici and Pierluigi Plebani -- EC4MACS -- An Integrated Assessment Toolbox of Well-Established Modeling Tools to Explore the Synergies and Interactions between Climate Change, Air Quality and Other Policy Objectives / Thanh Binh Nguyen, Fabian Wagner and Wolfgang Schoepp -- Semantic Modelling of Dependency Relations between Life Cycle Analysis Processes / Benjamin Bertin, Marian Scuturici, Jean-Marie Pinon and Emmanuel Risler.
Record Nr. UCHICAGO-11077311
[ICT-GLOW (Conference) (2nd : 2012 : Vienna, Austria)]  
Materiale a stampa
Lo trovi qui: University of Chicago
Algorithms-- ESA 2012 [electronic resource] : 20th Annual European Symposium, Ljubljana, Slovenia, September 10-12, 2012. Proceedings / Leah Epstein, Paolo Ferragina (eds.).
Algorithms-- ESA 2012 [electronic resource] : 20th Annual European Symposium, Ljubljana, Slovenia, September 10-12, 2012. Proceedings / Leah Epstein, Paolo Ferragina (eds.).
Creatore [ESA (Symposium) (20th : 2012 : Ljubljana, Slovenia)]
Estensione 1 online resource.
Accesso persona Epstein, Leah
Ferragina, Paolo, 1969-
Genere/Forma Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Computer Communication Networks
Data structures (Computer science)
Computer software
Electronic data processing
Computational complexity
Computer graphics
Algorithm Analysis and Problem Complexity
Discrete Mathematics in Computer Science
Numeric Computing
ISBN 9783642330902 (electronic bk.)
3642330908 (electronic bk.)
9783642330896
3642330894
Classificazione 54.51
54.70
54.10
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto On Big Data Algorithmics / Yossi Matias -- Open Problems in Throughput Scheduling / Jiří Sgall -- Preemptive Coordination Mechanisms for Unrelated Machines / Fidaa Abed and Chien-Chung Huang -- Hierarchical Hub Labelings for Shortest Paths / Ittai Abraham, Daniel Delling, Andrew V. Goldberg and Renato F. Werneck -- Bottleneck Non-crossing Matching in the Plane / A. Karim Abu-Affash, Paz Carmi, Matthew J. Katz and Yohai Trabelsi -- Lower Bounds for Sorted Geometric Queries in the I/O Model / Peyman Afshani and Norbert Zeh -- Constructing Street Networks from GPS Trajectories / Mahmuda Ahmed and Carola Wenk -- I/O-efficient Hierarchical Diameter Approximation / Deepak Ajwani, Ulrich Meyer and David Veith -- On the Value of Job Migration in Online Makespan Minimization / Susanne Albers and Matthias Hellwig -- Simplifying Massive Contour Maps / Lars Arge, Lasse Deleuran, Thomas Mølhave, Morten Revsbæk and Jakob Truelsen -- Explicit and Efficient Hash Families Suffice for Cuckoo Hashing with a Stash / Martin Aumüller, Martin Dietzfelbinger and Philipp Woelfel -- On Online Labeling with Polynomially Many Labels / Martin Babka, Jan Bulánek, Vladimír Čunát, Michal Koucký and Michael Saks -- A 5-Approximation for Capacitated Facility Location / Manisha Bansal, Naveen Garg and Neelima Gupta -- Weighted Geometric Set Multi-cover via Quasi-uniform Sampling / Nikhil Bansal and Kirk Pruhs -- A Bicriteria Approximation for the Reordering Buffer Problem / Siddharth Barman, Shuchi Chawla and Seeun Umboh -- Time-Dependent Route Planning with Generalized Objective Functions / Gernot Veit Batz and Peter Sanders -- New Lower and Upper Bounds for Representing Sequences / Djamal Belazzougui and Gonzalo Navarro -- Span Programs and Quantum Algorithms for st-Connectivity and Claw Detection / Aleksandrs Belovs and Ben W. Reichardt -- The Stretch Factor of L₁- and L∞-Delaunay Triangulations / Nicolas Bonichon, Cyril Gavoille, Nicolas Hanusse and Ljubomir Perković -- Two Dimensional Range Minimum Queries and Fibonacci Lattices / Gerth Stølting Brodal, Pooya Davoodi, Moshe Lewenstein, Rajeev Raman and Satti Srinivasa Rao -- Locally Correct Fréchet Matchings / Kevin Buchin, Maike Buchin, Wouter Meulemans and Bettina Speckmann -- The Clique Problem in Ray Intersection Graphs / Sergio Cabello, Jean Cardinal and Stefan Langerman -- Revenue Guarantees in Sponsored Search Auctions / Ioannis Caragiannis, Christos Kaklamanis, Panagiotis Kanellopoulos and Maria Kyropoulou -- Optimizing Social Welfare for Network Bargaining Games in the Face of Unstability, Greed and Spite / T. -H. Hubert Chan, Fei Chen and Li Ning -- Optimal Lower Bound for Differentially Private Multi-party Aggregation / T-H. Hubert Chan, Elaine Shi and Dawn Song -- A Model for Minimizing Active Processor Time / Jessica Chang, Harold N. Gabow and Samir Khuller -- Polynomial-Time Algorithms for Energy Games with Special Weight Structures / Krishnendu Chatterjee, Monika Henzinger, Sebastian Krinninger and Danupon Nanongkai -- Data Structures on Event Graphs / Bernard Chazelle and Wolfgang Mulzer -- Improved Distance Oracles and Spanners for Vertex-Labeled Graphs / Shiri Chechik -- The Quantum Query Complexity of Read-Many Formulas / Andrew M. Childs, Shelby Kimmel and Robin Kothari -- A Path-Decomposition Theorem with Applications to Pricing and Covering on Trees / Marek Cygan, Fabrizio Grandoni, Stefano Leonardi, Marcin Pilipczuk and Piotr Sankowski -- Steiner Forest Orientation Problems / Marek Cygan, Guy Kortsarz and Zeev Nutov -- A Dual-Fitting \frac3223-Approximation Algorithm for Some Minimum-Cost Graph Problems / James M. Davis and David P. Williamson -- Kinetic Compressed Quadtrees in the Black-Box Model with Applications to Collision Detection for Low-Density Scenes / Mark de Berg, Marcel Roeloffzen and Bettina Speckmann -- Finding Social Optima in Congestion Games with Positive Externalities / Bart de Keijzer and Guido Schäfer -- Better Bounds for Graph Bisection / Daniel Delling and Renato F. Werneck -- On the Complexity of Metric Dimension / Josep Díaz, Olli Pottonen, Maria Serna and Erik Jan van Leeuwen -- Embedding Paths into Trees: VM Placement to Minimize Congestion / Debojyoti Dutta, Michael Kapralov, Ian Post and Rajendra Shinde -- Faster Geometric Algorithms via Dynamic Determinant Computation / Vissarion Fisikopoulos and Luis Peñaranda -- Lines through Segments in 3D Space / Efi Fogel, Michael Hemmer, Asaf Porat and Dan Halperin -- A Polynomial Kernel for Proper Interval Vertex Deletion / Fedor V. Fomin, Saket Saurabh and Yngve Villanger -- Knowledge, Level of Symmetry, and Time of Leader Election / Emanuele G. Fusco and Andrzej Pelc -- An Experimental Study of Dynamic Dominators / Loukas Georgiadis, Giuseppe F. Italiano, Luigi Laura and Federico Santaroni -- Optimizing over the Growing Spectrahedron / Joachim Giesen, Martin Jaggi and Sören Laue -- Induced Disjoint Paths in Claw-Free Graphs / Petr A. Golovach, Daniël Paulusma and Erik Jan van Leeuwen -- On Min-Power Steiner Tree / Fabrizio Grandoni -- Maximum Multicommodity Flows over Time without Intermediate Storage / Martin Groß and Martin Skutella -- Approximating Earliest Arrival Flows in Arbitrary Networks / Martin Groß, Jan-Philipp W. Kappmeier, Daniel R. Schmidt and Melanie Schmidt -- Resource Buying Games / Tobias Harks and Britta Peis -- Succinct Data Structures for Path Queries / Meng He, J. Ian Munro and Gelin Zhou -- Approximation of Minimum Cost Homomorphisms / Pavol Hell, Monaldo Mastrolilli, Mayssam Mohammadi Nevisi and Arash Rafiey -- Property Testing in Sparse Directed Graphs: Strong Connectivity and Subgraph-Freeness / Frank Hellweg and Christian Sohler -- Improved Implementation of Point Location in General Two-Dimensional Subdivisions / Michael Hemmer, Michal Kleinbort and Dan Halperin -- Parameterized Complexity of Induced H-Matching on Claw-Free Graphs / Danny Hermelin, Matthias Mnich and Erik Jan van Leeuwen -- Solving Simple Stochastic Games with Few Coin Toss Positions / Rasmus Ibsen-Jensen and Peter Bro Miltersen -- Efficient Communication Protocols for Deciding Edit Distance / Hossein Jowhari -- Approximation Algorithms for Wireless Link Scheduling with Flexible Data Rates / Thomas Kesselheim -- Extending Partial Representations of Function Graphs and Permutation Graphs / Pavel Klavík, Jan Kratochvíl, Tomasz Krawczyk and Bartosz Walczak -- A Fast and Simple Subexponential Fixed Parameter Algorithm for One-Sided Crossing Minimization / Yasuaki Kobayashi and Hisao Tamaki -- Minimum Average Distance Triangulations / László Kozma -- Colouring AT-Free Graphs / Dieter Kratsch and Haiko Müller -- Routing Regardless of Network Stability / Bundit Laekhanukit, Adrian Vetta and Gordon Wilfong -- The Simplex Tree: An Efficient Data Structure for General Simplicial Complexes / Jean-Daniel Boissonnat and Clément Maria -- Succinct Posets / J. Ian Munro and Patrick K. Nicholson -- Polynomial-Time Approximation Schemes for Shortest Path with Alternatives / Tim Nonner -- On Computing Straight Skeletons by Means of Kinetic Triangulations / Peter Palfrader, Martin Held and Stefan Huber -- A Self-adjusting Data Structure for Multidimensional Point Sets / Eunhui Park and David M. Mount -- TSP Tours in Cubic Graphs: Beyond 4/3 / José R. Correa, Omar Larré and José A. Soto -- FPT Algorithms for Domination in Biclique-Free Graphs / Jan Arne Telle and Yngve Villanger -- Maximum Flow Networks for Stability Analysis of LEGO® Structures / Martin Waßmann and Karsten Weicker -- Average Case Analysis of Java 7's Dual Pivot Quicksort / Sebastian Wild and Markus E. Nebel.
Record Nr. UCHICAGO-11077328
[ESA (Symposium) (20th : 2012 : Ljubljana, Slovenia)]  
Materiale a stampa
Lo trovi qui: University of Chicago
Theoretical aspects of computing-- ICTAC 2012 : 9th International Colloquium, Bangalore, India, September 24-27, 2012. Proceedings / Abhik Roychoudhury, Meenakshi D'Souza (eds.).
Theoretical aspects of computing-- ICTAC 2012 : 9th International Colloquium, Bangalore, India, September 24-27, 2012. Proceedings / Abhik Roychoudhury, Meenakshi D'Souza (eds.).
Creatore [ICTAC (Colloquium) (9th : 2012 : Bangalore, India)]
Estensione 1 online resource.
Accesso persona Roychoudhury, Abhik
D'Souza, Meenakshi
Genere/Forma Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Software engineering
Information theory
Logic design
Logics and Meanings of Programs
Computation by Abstract Devices
Mathematical Logic and Formal Languages
Programming Languages, Compilers, Interpreters
Theory of Computation
ISBN 9783642329432
3642329438
9783642329425
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Symbolically Bounding the Drift in Time-Constrained MSC Graphs / S. Akshay, Blaise Genest, Loïc Hélouët and Shaofa Yang -- A Compositional Hierarchical Monitoring Automaton Construction for LTL / Deepak D'Souza and Raj Mohan Matteplackel -- How to Translate Efficiently Extensions of Temporal Logics into Alternating Automata / César Sánchez and Julian Samborski-Forlese -- Correctness of Object Oriented Models by Extended Type Inference / Simon Foster, Ondřej Rypáček and Georg Struth -- Non-termination Sets of Simple Linear Loops / Liyun Dai and Bican Xia -- Definite Expression Aliasing Analysis for Java Bytecode / {Dstrok}urica Nikolić and Fausto Spoto -- Using Semantics Specified in Maude to Generate Test Cases / Adrián Riesco -- A Locally Nameless Representation for a Natural Semantics for Lazy Evaluation / Lidia Sánchez-Gil, Mercedes Hidalgo-Herrero and Yolanda Ortega-Mallén -- Modal Process Rewrite Systems / Nikola Beneš and Jan Křetínský
S-Narrowing for Constructor Systems / Adrián Riesco and Juan Rodríguez-Hortalá -- Data Privacy Using MASKETEERTM / Sachin Lodha, Nikhil Patwardhan, Ashim Roy, Sharada Sundaram and Dilys Thomas -- A Conformance Checker Tool CSPConCheck / Suman Roy, Sidharth Bihary and Jose Alfonso Corso Laos -- SmartTestGen+: A Test Suite Booster for Enhanced Structural Coverage / S. Raviram, P. Peranandam, M. Satpathy and S. Ramesh -- Model Checking under Fairness in ProB and Its Application to Fair Exchange Protocols / David M. Williams, Joeri de Ruiter and Wan Fokkink -- Model Checking of OSEK/VDX OS Design Model Based on Environment Modeling / Kenro Yatake and Toshiaki Aoki -- A Cure for Stuttering Parity Games / Sjoerd Cranen, Jeroen J.A. Keiren and Tim A.C. Willemse -- Ensuring Reachability by Design / Benoît Caillaud and Jean-Baptiste Raclet -- Approximate Verification and Enumeration Problems / Sylvain Peyronnet, Michel De Rougemont and Yann Strozecki -- Undecidability of Quantized State Feedback Control for Discrete Time Linear Hybrid Systems / Federico Mari, Igor Melatti, Ivano Salvo and Enrico Tronci.
Record Nr. UCHICAGO-11077337
[ICTAC (Colloquium) (9th : 2012 : Bangalore, India)]  
Materiale a stampa
Lo trovi qui: University of Chicago
Information and software technologies : 18th International Conference, ICIST 2012, Kaunas, Lithuania, September 13-14, 2012. Proceedings / Tomas Skersys, Rimantas Butleris, Rita Butkiene (eds.).
Information and software technologies : 18th International Conference, ICIST 2012, Kaunas, Lithuania, September 13-14, 2012. Proceedings / Tomas Skersys, Rimantas Butleris, Rita Butkiene (eds.).
Creatore [International Conference on Information Science and Technology (18th : 2012 : Kaunas, Lithuania)]
Estensione 1 online resource : illustrations (some color).
Accesso persona Skersys, Tomas
Butleris, Rimantas
Butkiene, Rita
Genere/Forma Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Software engineering
Information storage and retrieval systems
Artificial intelligence
Information systems
Computer Appl. in Administrative Data Processing
Computers and Education
Information Systems Applications (incl. Internet)
ISBN 9783642333088
3642333087
3642333079
9783642333071
Classificazione 54.00
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto pt. 1. Artificial Intelligence and Knowledge Engineering -- Automation of Merging in ERP Revision Control / Algirdas Laukaitis -- A Variable Neighbourhood Search Enhancement for the Shift Sequence Based Method of the Personal Scheduling in Hospitals / Mindaugas Liogys and Antanas Zilinskas -- Computational Study of Four Genetic Algorithm Variants for Solving the Quadratic Assignment Problem / Alfonsas Misevicius and Evaldas Guogis -- Generating Xpath Expressions for Structured Web Data Record Segmentation / Tomas Grigalis and Antanas Čenys -- News Media Analysis Using Focused Crawl and Natural Language Processing: Case of Lithuanian News Websites / Tomas Krilavičius, Žygimantas Medelis, Jurgita Kapočiūtė-Dzikienė and Tomas Žalandauskas -- Generating High Quality Candidate Sets by Tour Merging for the Traveling Salesman Problem / Andrius Blazinskas and Alfonsas Misevicius--
pt. 2. Business Process Modelling, Analysis and Design -- Towards Evaluating Efficiency of Enterprise Modeling Methods / Banafsheh Khademhosseinieh and Ulf Seigerroth -- On the Multi-objective Optimization Aided Drawing of Connectors for Graphs Related to Business Process Management / Vytautas Jancauskas, Ausra Mackute-Varoneckiene, Audrius Varoneckas and Antanas Zilinskas--
pt. 3. Formal Analysis and Design Methods -- Evaluation of Elasticity Parameters for Heterogeneous Material with Periodic Microstructure / Dalia Calneryte -- Change Impact Analysis of Feature Models / Paulius Paskevicius, Robertas Damasevicius and Vytautas Štuikys -- A Graph Transformation Approach for Testing Timed Systems / Hiba Hachichi, Ilham Kitouni, Kenza Bouaroudj and Djamel-Eddine Saidouni -- FSM Based Functional Test Generation Framework for VHDL / Vacius Jusas and Tomas Neverdauskas -- Segmentation Algorithm for Algebraic Progressions / Dovile Karaliene, Zenonas Navickas and Alfonsas Vainoras--
pt. 4. Information and Software Systems Engineering -- An Approach: A Service-Oriented Functional Business and IT Alignment / Aurelijus Morkevicius and Saulius Gudas -- Adaptation of the Presentation in a Multi-tenant Web Information System / Aivars Niedritis and Laila Niedrite -- Domain Driven Development and Feature Driven Development for Development of Decision Support Systems / Paulius Danenas and Gintautas Garsva -- From UML Communication Diagrams to Aspect-Oriented Communication Diagrams Using Graph Transformation / Mouna Aouag, Wafa Chama and Allaoua Chaoui -- Methodology and Experiments to Transform Heterogeneous Meta-program into Meta-meta-programs / Vytautas Štuikys and Kristina Bespalova -- The Business Graph Protocol / Daniel Ritter -- Quality-Oriented Product Line Modeling Using Feature Diagrams and Preference Logic / Paulius Paskevicius, Robertas Damasevicius and Vytautas Štuikys -- Distributed System Automated Testing Design / Robertas Jasaitis and Eduardas Bareisa -- Generating Test Data Using Symbolic Execution: Challenges with Floating Point Data Types / Justinas Prelgauskas and Eduardas Bareisa--
pt. 5. Information Technology Applications and Computer Networks -- Service-Oriented Architecture for Designing of Physical Systems with Efficient Power Consumption / Tomas Blazauskas, Tomas Iesmantas and Robertas Alzbutas -- Voice Controlled Interface for the Medical-Pharmaceutical Information System / Vytautas Rudzionis, Kastytis Ratkevicius, Algimantas Rudzionis, Rytis Maskeliunas and Gailius Raskinis -- Design of a Neural Interface Based System for Control of Robotic Devices / Ignas Martisius, Mindaugas Vasiljevas, Kestutis Sidlauskas, Rutenis Turcinas and Ignas Plauska, et al. -- Influence of Network Communications to the Final Performance of Grid Visualization Software / Arnas Kaceniauskas and Ruslan Pacevic--
pt. 6. Information Technology in Teaching and Learning -- Influence of Blended Learning on Outcomes of Postgraduate Studies / Algimantas Venckauskas, Audrone Janaviciute, Stasys Maciulevicius and Irena Mikuckiene -- Two-Stage Generative Learning Objects / Vytautas Štuikys and Renata Burbaite -- Usability Evaluation of a LMS Mobile Web Interface / Daniel Ivanc, Radu Vasiu and Mihai Onita -- Interdisciplinarity in e-Learning Platforms Based on Textual Annotation / Andrei Marius Gabor and Radu Vasiu -- ICT Architecture for Online Learning Approach / Danguole Rutkauskiene, Daina Gudoniene, Gytis Cibulskis and Oleksandr Suk -- Competition Based Online Social Learning / Tomas Blazauskas, Virginija Limanauskiene and Vitalija Kersiene -- Agent System as Complex Support for the Learning Process / Aleksandras Targamadze and Ruta Petrauskiene--
pt. 7. Ontology, Conceptual Modelling and Databases -- Methodology for Developing Topic Maps Based on Principles of Ontology Engineering / Gintare Bernotaityte, Lina Nemuraite and Milda Stankeviciene -- Requirements for Semantic Business Vocabularies and Rules for Transforming Them into Consistent OWL2 Ontologies / Jaroslav Karpovic, Lina Nemuraite and Milda Stankeviciene -- Representing and Transforming SBVR Question Patterns into SPARQL / Algirdas Sukys, Lina Nemuraite and Bronius Paradauskas -- The Ten Best Practices for Test Case Prioritization / Cagatay Catal--
pt. 8. Requirements Engineering and Business Rules -- Using a Semantic Wiki to Improve the Consistency and Analyzability of Functional Requirements / Jing Ma, Wuping Yao, Zheying Zhang and Jyrki Nummenmaa -- Towards Software Testing Process Improvement from Requirements / Kristina Smilgyte and Rimantas Butleris -- Extracting Business Rules from Existing Enterprise Software System / Kestutis Normantas and Olegas Vasilecas.
Record Nr. UCHICAGO-11077351
[International Conference on Information Science and Technology (18th : 2012 : Kaunas, Lithuania)]  
Materiale a stampa
Lo trovi qui: University of Chicago
Automated technology for verification and analysis : 10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012. Proceedings / Supratik Chakraborty, Madhavan Mukund (eds.).
Automated technology for verification and analysis : 10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012. Proceedings / Supratik Chakraborty, Madhavan Mukund (eds.).
Creatore [ATVA (Symposium) (10th : 2012 : Trivandrum, India)]
Estensione 1 online resource.
Accesso persona Chakraborty, Supratik
Mukund, Madhavan
Genere/Forma Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Computer Communication Networks
Software engineering
Logic design
Programming Techniques
Logics and Meanings of Programs
Programming Languages, Compilers, Interpreters
Software Engineering/Programming and Operating Systems
ISBN 9783642333866
3642333869
3642333850
9783642333859
Classificazione 54.52
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Verification of Computer Switching Networks: An Overview / Shuyuan Zhang, Sharad Malik and Rick McGeer -- Dynamic Bayesian Networks: A Factored Model of Probabilistic Dynamics / Sucheendra K. Palaniappan and P.S. Thiagarajan -- Interpolant Automata (Invited Talk) / Andreas Podelski -- Approximating Deterministic Lattice Automata / Shulamit Halamish and Orna Kupferman -- Tight Bounds for the Determinisation and Complementation of Generalised Büchi Automata / Sven Schewe and Thomas Varghese -- A Succinct Canonical Register Automaton Model for Data Domains with Binary Relations / Sofia Cassel, Bengt Jonsson, Falk Howar and Bernhard Steffen -- Rabinizer: Small Deterministic Automata for LTL(F, G) / Andreas Gaiser, Jan Křetínský and Javier Esparza -- The Unary Fragments of Metric Interval Temporal Logic: Bounded versus Lower Bound Constraints / Paritosh K. Pandya and Simoni S. Shah.
On Temporal Logic and Signal Processing / Alexandre Donzé, Oded Maler, Ezio Bartocci, Dejan Nickovic and Radu Grosu, et al. -- Improved Single Pass Algorithms for Resolution Proof Reduction / Ashutosh Gupta -- Model Checking Systems and Specifications with Parameterized Atomic Propositions / Orna Grumberg, Orna Kupferman and Sarai Sheinvald -- Reachability Analysis of Polynomial Systems Using Linear Programming Relaxations / Mohamed Amin Ben Sassi, Romain Testylier, Thao Dang and Antoine Girard -- Linear-Time Model-Checking for Multithreaded Programs under Scope-Bounding / Mohamed Faouzi Atig, Ahmed Bouajjani, K. Narayan Kumar and Prakash Saivasan -- Accurate Invariant Checking for Programs Manipulating Lists and Arrays with Infinite Data / Ahmed Bouajjani, Cezara Drăgoi, Constantin Enea and Mihaela Sighireanu -- A Verifier for Functional Properties of Sequence-Manipulating Programs / Carlo A. Furia -- Accelerating Interpolants / Hossein Hojjat, Radu Iosif, Filip Konečný, Viktor Kuncak and Philipp Rümmer.
FunFrog: Bounded Model Checking with Interpolation-Based Function Summarization / Ondrej Sery, Grigory Fedyukovich and Natasha Sharygina -- Synthesis of Succinct Systems / John Fearnley, Doron Peled and Sven Schewe -- Controllers with Minimal Observation Power (Application to Timed Systems) / Peter Bulychev, Franck Cassez, Alexandre David, Kim Guldstrand Larsen and Jean-François Raskin, et al. -- Counterexample Guided Synthesis of Monitors for Realizability Enforcement / Matthias Güdemann, Gwen Salaün and Meriem Ouederni -- Parallel Assertions for Architectures with Weak Memory Models / Daniel Schwartz-Narbonne, Georg Weissenbacher and Sharad Malik -- Improved Multi-Core Nested Depth-First Search / Sami Evangelista, Alfons Laarman, Laure Petrucci and Jaco van de Pol -- An Experiment on Parallel Model Checking of a CTL Fragment / Rodrigo T. Saad, Silvano Dal Zilio and Bernard Berthomieu -- Variable Probabilistic Abstraction Refinement / Luis María Ferrer Fioriti, Ernst Moritz Hahn, Holger Hermanns and Björn Wachter.
Pareto Curves for Probabilistic Model Checking / Vojtěch Forejt, Marta Kwiatkowska and David Parker -- Verification of Partial-Information Probabilistic Systems Using Counterexample-Guided Refinements / Sergio Giro and Markus N. Rabe -- The COMICS Tool -- Computing Minimal Counterexamples for DTMCs / Nils Jansen, Erika Ábrahám, Matthias Volk, Ralf Wimmer and Joost-Pieter Katoen, et al. -- Computing Minimal Separating DFAs and Regular Invariants Using SAT and SMT Solvers / Daniel Neider -- ALLQBF Solving by Computational Learning / Bernd Becker, Rüdiger Ehlers, Matthew Lewis and Paolo Marin -- Equivalence of Games with Probabilistic Uncertainty and Partial-Observation Games / Krishnendu Chatterjee, Martin Chmelík and Rupak Majumdar -- A Probabilistic Kleene Theorem / Benedikt Bollig, Paul Gastin, Benjamin Monmege and Marc Zeitoun -- Higher-Order Approximations for Verification of Stochastic Hybrid Systems / Sadegh Esmaeil Zadeh Soudjani and Alessandro Abate.
Record Nr. UCHICAGO-11077481
[ATVA (Symposium) (10th : 2012 : Trivandrum, India)]  
Materiale a stampa
Lo trovi qui: University of Chicago