top

  Info

  • Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.

  Info

  • Utilizzare questo link per rimuovere la selezione effettuata.
Algorithms and data structures : 13th international symposium, WADS 2013, London, ON, Canada, August 12-14, 2013, proceedings / Frank Dehne, Roberto Solis-Oba, Jörg-Rüdiger Sack (eds.).
Algorithms and data structures : 13th international symposium, WADS 2013, London, ON, Canada, August 12-14, 2013, proceedings / Frank Dehne, Roberto Solis-Oba, Jörg-Rüdiger Sack (eds.).
Creatore [WADS (Symposium) (13th : 2013 : London, Ont.)]
Estensione 1 online resource (xiv, 538 pages) : illustrations (black and white).
Disciplina 005.7/2
Accesso persona Dehne, F. (Frank), 1960-editor.
Solis-Oba, Roberto, editor
Sack, J.-R. (Jörg-Rüdiger), 1954-editor.
Genere/Forma Congresses
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
Algorithm Analysis and Problem Complexity
Discrete Mathematics in Computer Science
Numeric Computing
ISBN 9783642401046
364240104X
9783642401039
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Algorithms and data structures in bioinformatics -- Algorithms and data structures incombinatorics -- Algorithms and data structures in computational geometry -- Algorithms and data structures in databases -- Algorithms and data structures in graphics -- Parallel and distributed computing.
Record Nr. NYU-004425975
[WADS (Symposium) (13th : 2013 : London, Ont.)]  
Materiale a stampa
Lo trovi qui: New York University
Euclidean shortest paths : exact or approximate algorithms / Fajie Li, Reinhard Klette
Euclidean shortest paths : exact or approximate algorithms / Fajie Li, Reinhard Klette
Creatore [Li, Fajie]
Estensione 1 online resource (xvii, 376 pages) : color illustrations
Disciplina 512.7
Accesso persona Klette, Reinhard
Soggetto non controllato Computer science
Computer software
Electronic data processing
Computational complexity
Algorithm Analysis and Problem Complexity
Numeric Computing
Discrete Mathematics in Computer Science
Math Applications in Computer Science
ISBN 9781447122562
1447122569
1283477211
9781283477215
1447122550
1447160649
9781447160649
9781447122555
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto pt. 1. Discrete or continuous shortest paths -- pt. 2. Paths in the plane -- pt. 3. Paths in 3-dimensional space -- pt. 4. Art galleries.
Record Nr. STANFORD-a9393918
[Li, Fajie]  
Materiale a stampa
Lo trovi qui: Stanford University
Advances in information and computer security : 7th International Workshop on Security, IWSEC 2012, Fukuoka, Japan, November 7-9, 2012. Proceedings / Goichiro Hanaoka, Toshihiro Yamauchi (eds.).
Advances in information and computer security : 7th International Workshop on Security, IWSEC 2012, Fukuoka, Japan, November 7-9, 2012. Proceedings / Goichiro Hanaoka, Toshihiro Yamauchi (eds.).
Creatore [International Workshop on Security (7th : 2012 : Fukuoka-ken, Japan)]
Estensione 1 online resource
Disciplina 005.8
Accesso persona Hanaoka, Goichiro
Yamauchi, Toshihiro (Computer scientist)
Soggetto non controllato Computer science
Computer Communication Networks
Data protection
Data encryption (Computer science)
Computer software
Computational complexity
Systems and Data Security
Management of Computing and Information Systems
ISBN 9783642341175
3642341179
9783642341168
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Model-Based Conformance Testing for Android / Yiming Jing, Gail-Joon Ahn and Hongxin Hu -- Application of Scalar Multiplication of Edwards Curves to Pairing-Based Cryptography / Takanori Yasuda, Tsuyoshi Takagi and Kouichi Sakurai -- Standardized Signature Algorithms on Ultra-constrained 4-Bit MCU / Chien-Ning Chen, Nisha Jacob, Sebastian Kutzner, San Ling and Axel Poschmann, et al. -- Very Short Critical Path Implementation of AES with Direct Logic Gates / Kenta Nekado, Yasuyuki Nogami and Kengo Iokibe -- One-Round Authenticated Key Exchange with Strong Forward Secrecy in the Standard Model against Constrained Adversary / Kazuki Yoneyama -- Compact Stateful Encryption Schemes with Ciphertext Verifiability / S. Sree Vivek, S. Sharmila Deva Selvi and C. Pandu Rangan -- Structured Encryption for Conceptual Graphs / Geong Sen Poh, Moesfa Soeheila Mohamad and Muhammad Reza Z'aba -- Symmetric-Key Encryption Scheme with Multi-ciphertext Non-malleability / Akinori Kawachi, Hirotoshi Takebe and Keisuke Tanaka -- Slide Cryptanalysis of Lightweight Stream Cipher RAKAPOSHI / Takanori Isobe, Toshihiro Ohigashi and Masakatu Morii -- Boomerang Distinguishers for Full HAS-160 Compression Function / Yu Sasaki, Lei Wang, Yasuhiro Takasaki, Kazuo Sakiyama and Kazuo Ohta -- Polynomial-Advantage Cryptanalysis of 3D Cipher and 3D-Based Hash Function / Lei Wang, Yu Sasaki, Kazuo Sakiyama and Kazuo Ohta -- Annihilators of Fast Discrete Fourier Spectra Attacks / Jingjing Wang, Kefei Chen and Shixiong Zhu -- Meet-in-the-Middle Attack on Reduced Versions of the Camellia Block Cipher / Jiqiang Lu, Yongzhuang Wei, Enes Pasalic and Pierre-Alain Fouque -- Efficient Concurrent Oblivious Transfer in Super-Polynomial-Simulation Security / Susumu Kiyoshima, Yoshifumi Manabe and Tatsuaki Okamoto -- Efficient Secure Primitive for Privacy Preserving Distributed Computations / Youwen Zhu, Tsuyoshi Takagi and Liusheng Huang -- Generic Construction of GUC Secure Commitment in the KRK Model / Itsuki Suzuki, Maki Yoshida and Toru Fujiwara.
Record Nr. STANFORD-a13353735
[International Workshop on Security (7th : 2012 : Fukuoka-ken, Japan)]  
Materiale a stampa
Lo trovi qui: Stanford University
Conceptual structures for STEM research and education : 20th International Conference on Conceptual Structures, ICCS 2013, Mumbai, India, January 10-12, 2013. Proceedings / Heather D. Pfeiffer, Dmitry I. Ignatov, Jonas Poelmans, Nagarjuna Gadiraju (Eds.).
Conceptual structures for STEM research and education : 20th International Conference on Conceptual Structures, ICCS 2013, Mumbai, India, January 10-12, 2013. Proceedings / Heather D. Pfeiffer, Dmitry I. Ignatov, Jonas Poelmans, Nagarjuna Gadiraju (Eds.).
Creatore [International Conference on Conceptual Structures (20th : 2013 : Mumbai, India)]
Estensione 1 online resource (xi, 331 pages) : illustrations.
Disciplina 003/.54
Accesso persona Pfeiffer, Heather D., editor
Ignatov, Dmitry I., editor
Poelmans, Jonas, editor
Gadiraju, Nagarjuna, editor
Soggetto non controllato Computer science
Computational complexity
Database management
Artificial intelligence
Optical pattern recognition
Discrete Mathematics in Computer Science
Information Storage and Retrieval
Pattern Recognition
ISBN 9783642357862
3642357865
3642357857
9783642357855
Classificazione 54.72
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Invited Talks -- Conceptual Structures for STEM Data / Su White -- Relating Language to Perception, Action, and Feelings / Arun K. Majumdar, John F. Sowa -- PurposeNet: A Knowledge Base Organized around Purpose / Rajeev Sangal, Soma Paul, P. Kiran Mayee -- Accepted Papers -- Classical Syllogisms in Logic Teaching / Peter Øhrstrøm, Ulrik Sandborg-Petersen, Steinar Thorvaldsen, Thomas Ploug -- A Model to Compare and Manipulate Situations Represented as Semantically Labeled Graphs / Michał K. Szczerbak, Ahmed Bouabdallah, François Toutain, Jean-Marie Bonnin -- Analyzing Clusters and Constellations from Untwisting Shortened Links on Twitter Using Conceptual Graphs / Emma L. Tonkin, Heather D. Pfeiffer, Gregory J.L. Tourte -- Taking SPARQL 1.1 Extensions into Account in the SWIP System / Fabien Amarger, Ollivier Haemmerlé, Nathalie Hernandez, Camille Pradel -- System Architecture to Implement a Conceptual Graphs Storage in an RDF Quad Store / Khalil Ben Mohamed, Benjamin Chu Min Xian, Dickson Lukose.
Medical Archetypes and Information Extraction Templates in Automatic Processing of Clinical Narratives / Ivelina Nikolova, Galia Angelova, Dimitar Tcharaktchiev, Svetla Boytcheva -- Using Conceptual Structures in the Design of Computer-Based Assessment Software / Uta Priss, Nils Jensen, Oliver Rod -- Modeling Ontological Structures with Type Classes in Coq / Richard Dapoigny, Patrick Barlatier -- Parse Thicket Representation for Multi-sentence Search / Boris A. Galitsky, Sergei O. Kuznetsov, Daniel Usikov -- FCA-Based Models and a Prototype Data Analysis System for Crowdsourcing Platforms / Dmitry I. Ignatov, Alexandra Yu. Kaminskaya, Anastasya A. Bezzubtseva -- Toward a Peircean Theory of Human Learning: Revealing the Misconception of Belief Revision / Mary Keeler, Uta Priss -- The First-Order Logical Environment / Robert E. Kent -- Designing Learning to Research the Formal Concept Analysis of Transactional Data / Martin Watmough, Simon Polovina, Simon Andrews.
Cross-Domain Inference Using Conceptual Graphs in Context of Laws of Science / Shreya Inamdar -- Summarizing Conceptual Graphs for Automatic Summarization Task / Sabino Miranda-Jiménez, Alexander Gelbukh, Grigori Sidorov -- Logical Form vs. Logical Form: How Does the Difference Matter for Semantic Computationality? / Prakash Mondal -- Model for Knowledge Representation of Multidimensional Measurements Processing Results in the Environment of Intelligent GIS / Alexander Vitol, Nataly Zhukova, Andrey Pankin -- Accepted Papers -- Transformation of SBVR Business Rules to UML Class Model / Stuti Awasthi, Ashalatha Nayak -- Representation of the Event Bush Approach in Terms of Directed Hypergraphs / Cyril A. Pshenichny, Dmity I. Mouromtsev -- Concept Lattices of a Relational Structure / Jens Kötters -- Representing Median Networks with Concept Lattices / Uta Priss -- Txt2vz: A New Tool for Generating Graph Clouds / Laurie Hirsch, David Tian.
Record Nr. STANFORD-a10092144
[International Conference on Conceptual Structures (20th : 2013 : Mumbai, India)]  
Materiale a stampa
Lo trovi qui: Stanford University
Algorithms and models for the web graph : 9th International Workshop, WAW 2012, Halifax, NS, Canada, June 22-23, 2012. Proceedings / Anthony Bonato, Jeannette Janssen (eds.).
Algorithms and models for the web graph : 9th International Workshop, WAW 2012, Halifax, NS, Canada, June 22-23, 2012. Proceedings / Anthony Bonato, Jeannette Janssen (eds.).
Creatore [WAW (Workshop) (9th : 2012 : Halifax, N.S.)]
Estensione 1 online resource (viii, 178 pages) : illustrations.
Disciplina 005.1
Accesso persona Bonato, Anthony, 1971-
Janssen, Jeannette
Soggetto non controllato Computer science
Computer Communication Networks
Computer software
Computational complexity
Data mining
Information storage and retrieval systems
Algorithm Analysis and Problem Complexity
Discrete Mathematics in Computer Science
Information Systems Applications (incl. Internet)
Information Storage and Retrieval
ISBN 9783642305412
3642305415
3642305407
9783642305405
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Hypergraph Coloring Games and Voter Models / Fan Chung and Alexander Tsiatas -- On a DAG Partitioning Problem / Soroush Alamdari and Abbas Mehrabian -- Some Typical Properties of the Spatial Preferred Attachment Model / Colin Cooper, Alan Frieze and Paweł Prałat -- A Sublinear Time Algorithm for PageRank Computations / Christian Borgs, Michael Brautbar, Jennifer Chayes and Shang-Hua Teng -- Quick Detection of Nodes with Large Degrees / Konstantin Avrachenkov, Nelly Litvak, Marina Sokol and Don Towsley -- Ranking and Sparsifying a Connection Graph / Fan Chung and Wenbo Zhao -- A Game-Theoretic Model of Attention in Social Networks / Ashish Goel and Farnaz Ronaghi -- On Certain Properties of Random Apollonian Networks / Alan Frieze and Charalampos E. Tsourakakis -- Mutual or Unrequited Love: Identifying Stable Clusters in Social Networks with Uni- and Bi-directional Links / Yanhua Li, Zhi-Li Zhang and Jie Bao -- Dynamic PageRank Using Evolving Teleportation / Ryan A. Rossi and David F. Gleich -- Multi-commodity Allocation for Dynamic Demands Using PageRank Vectors / Fan Chung, Paul Horn and Jacob Hughes -- Are We There Yet? When to Stop a Markov Chain while Generating Random Graphs / Jaideep Ray, Ali Pinar and C. Seshadhri -- A Fast Algorithm to Find All High Degree Vertices in Graphs with a Power Law Degree Sequence / Colin Cooper, Tomasz Radzik and Yiannis Siantos.
Record Nr. STANFORD-a9656540
[WAW (Workshop) (9th : 2012 : Halifax, N.S.)]  
Materiale a stampa
Lo trovi qui: Stanford University
Combinatorial optimization : Second International Symposium, ISCO 2012, Athens, Greece, April 19-21, 2012, Revised selected papers / A. Ridha Mahjoub [and others] (eds.).
Combinatorial optimization : Second International Symposium, ISCO 2012, Athens, Greece, April 19-21, 2012, Revised selected papers / A. Ridha Mahjoub [and others] (eds.).
Creatore [ISCO (Symposium : Combinatorial optimization) (2nd : 2012 : Athens, Greece)]
Estensione 1 online resource (xiv, 476 pages) : illustrations.
Disciplina 519.6/4
Accesso persona Mahjoub, A. Ridha (Ali Ridha)
Soggetto non controllato Computer science
Computer Communication Networks
Computer software
Electronic data processing
Computational complexity
Algorithm Analysis and Problem Complexity
Discrete Mathematics in Computer Science
Numeric Computing
ISBN 9783642321474
364232147X
3642321461
9783642321467
Classificazione 31.12
54.10
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Structure Theorems for Optimum Hyperpaths in Directed Hypergraphs / Giorgio Ausiello, Giuseppe F. Italiano, Luigi Laura, Umberto Nanni and Fabiano Sarracco -- Branch-and-Price Guided Search (Extended Abstract) / Mike Hewitt, George L. Nemhauser and Martin Savelsbergh -- The New Faces of Combinatorial Optimization / Christos H. Papadimitriou -- Models and Algorithms for the Train Unit Assignment Problem / Valentina Cacchiani, Alberto Caprara and Paolo Toth -- The Minimum Stabbing Triangulation Problem: IP Models and Computational Evaluation / Breno Piva and Cid C. de Souza -- Orbital Shrinking / Matteo Fischetti and Leo Liberti -- Using Symmetry to Optimize Over the Sherali-Adams Relaxation / James Ostrowski -- A Second-Order Cone Programming Approximation to Joint Chance-Constrained Linear Programs / Jianqiang Cheng, Céline Gicquel and Abdel Lisser -- Semidefinite Relaxations for Mixed 0-1 Second-Order Cone Program / Agnès Gorge, Abdel Lisser and Riadh Zorgati -- The Non-Disjoint m-Ring-Star Problem: Polyhedral Results and SDH/SONET Network Design / Pierre Fouilhoux and Aurélien Questel -- The Uncapacitated Asymmetric Traveling Salesman Problem with Multiple Stacks / Sylvie Borne, Roland Grappe and Mathieu Lacroix -- Polyhedral Analysis and Branch-and-Cut for the Structural Analysis Problem / Mathieu Lacroix, A. Ridha Mahjoub and Sébastien Martin -- Extended Formulations, Nonnegative Factorizations, and Randomized Communication Protocols / Yuri Faenza, Samuel Fiorini, Roland Grappe and Hans Raj Tiwary -- An Algebraic Approach to Symmetric Extended Formulations / Gábor Braun and Sebastian Pokutta -- Dual Consistent Systems of Linear Inequalities and Cardinality Constrained Polytopes / Satoru Fujishige and Jens Massberg -- Minimum Ratio Cover of Matrix Columns by Extreme Rays of Its Induced Cone / A.S. Freire, V. Acuña, P. Crescenzi, C.E. Ferreira and V. Lacroix, et al. -- Gap Inequalities for the Max-Cut Problem: A Cutting-Plane Algorithm / Laura Galli, Konstantinos Kaparis and Adam N. Letchford -- Fast Separation Algorithms for Three-Index Assignment Problems / Trivikram Dokka, Ioannis Mourtos and Frits C.R. Spieksma -- On the Hop Constrained Steiner Tree Problem with Multiple Root Nodes / Luis Gouveia, Markus Leitner and Ivana Ljubić -- Theoretical Investigation of Aggregation in Pseudo-polynomial Network-Flow Models / Marie-Emilie Voge and François Clautiaux.
On Solving the Rooted Delay- and Delay-Variation-Constrained Steiner Tree Problem / Mario Ruthmair and Günther R. Raidl -- A Parallel Lagrangian Relaxation Algorithm for the Min-Degree Constrained Minimum Spanning Tree Problem / Leonardo Conegundes Martinez and Alexandre Salles da Cunha -- Layered Formulation for the Robust Vehicle Routing Problem with Time Windows / Agostinho Agra, Marielle Christiansen, Rosa Figueiredo, Lars Magnus Hvattum and Michael Poss, et al. -- Models and Algorithms for Robust Network Design with Several Traffic Scenarios / Eduardo Álvarez-Miranda, Valentina Cacchiani, Tim Dorneth, Michael Jünger and Frauke Liers, et al. -- Aircraft Sequencing Problems via a Rolling Horizon Algorithm / Fabio Furini, Carlo Alfredo Persiani and Paolo Toth -- On the Solution of a Graph Partitioning Problem under Capacity Constraints / Pierre Bonami, Viet Hung Nguyen, Michel Klein and Michel Minoux -- Sum-Max Graph Partitioning Problem / R. Watrigant, M. Bougeret, R. Giroudeau and J. -C. König -- The Packing Coloring Problem for (q, q-4) Graphs / G. Argiroffo, G. Nasini and P. Torres -- Selective Graph Coloring in Some Special Classes of Graphs / Marc Demange, Jérôme Monnot, Petrica Pop and Bernard Ries -- Graph Orientations Optimizing the Number of Light or Heavy Vertices / Yuichi Asahiro, Jesper Jansson, Eiji Miyano and Hirotaka Ono -- Constrained Matching Problems in Bipartite Graphs / Monaldo Mastrolilli and Georgios Stamoulis -- The Gram Dimension of a Graph / Monique Laurent and Antonios Varvitsiotis -- Exploiting a Hypergraph Model for Finding Golomb Rulers / Manuel Sorge, Hannes Moser, Rolf Niedermeier and Mathias Weller -- Counting Homomorphisms via Hypergraph-Based Structural Restrictions / Tommy Färnqvist -- Hardness Results for the Probabilistic Traveling Salesman Problem with Deadlines / Dennis Weyland, Roberto Montemanni and Luca Maria Gambardella -- Differential Approximation of the Multiple Stacks TSP / Sophie Toulouse -- Completion Time Scheduling and the WSRPT Algorithm / Bo Xiong and Christine Chung -- Two-Agent Scheduling on an Unbounded Serial Batching Machine / Mikhail Y. Kovalyov, Ammar Oulamara and Ameur Soukhal -- Second-Price Ad Auctions with Binary Bids and Markets with Good Competition / Cristina G. Fernandes and Rafael C.S. Schouery -- Towards Minimizing k-Submodular Functions / Anna Huber and Vladimir Kolmogorov -- Recognition Algorithms for Binary Signed-Graphic Matroids / Konstantinos Papalamprou and Leonidas Pitsoulis.
Record Nr. STANFORD-a9668003
[ISCO (Symposium : Combinatorial optimization) (2nd : 2012 : Athens, Greece)]  
Materiale a stampa
Lo trovi qui: Stanford University
Graph transformations : 6th International Conference, ICGT 2012, Bremen, Germany, September 24-29, 2012. Proceedings / Hartmut Ehrig [and others] (eds.).
Graph transformations : 6th International Conference, ICGT 2012, Bremen, Germany, September 24-29, 2012. Proceedings / Hartmut Ehrig [and others] (eds.).
Creatore [ICGT (Conference) (6th : 2012 : Bremen, Germany)]
Estensione 1 online resource.
Disciplina 511/.5
Accesso persona Ehrig, Hartmut
Soggetto non controllato Computer science
Software engineering
Data structures (Computer science)
Computer software
Logic design
Computational complexity
Discrete Mathematics in Computer Science
Logics and Meanings of Programs
Algorithm Analysis and Problem Complexity
Mathematical Logic and Formal Languages
ISBN 9783642336546
364233654X
9783642336539
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto A Graph-Based Design Framework for Services / Antónia Lopes and José Luiz Fiadeiro -- Evolutionary Togetherness: How to Manage Coupled Evolution in Metamodeling Ecosystems / Davide Di Ruscio, Ludovico Iovino and Alfonso Pierantonio -- Completeness-Driven Development / Rolf Drechsler, Melanie Diepenbeck, Daniel Große, Ulrich Kühne and Hoang M. Le, et al. -- Exploiting Over- and Under-Approximations for Infinite-State Counterpart Models / Fabio Gadducci, Alberto Lluch Lafuente and Andrea Vandin -- Pattern-Based Graph Abstraction / Arend Rensink and Eduardo Zambon -- Well-Structured Graph Transformation Systems with Negative Application Conditions / Barbara König and Jan Stückrath -- Parallelism and Concurrency of Stochastic Graph Transformations / Reiko Heckel, Hartmut Ehrig, Ulrike Golas and Frank Hermann -- Refined Graph Rewriting in Span-Categories / A Framework for Algebraic Graph Transformation / Michael Löwe -- Borrowed Contexts for Attributed Graphs / Fernando Orejas, Artur Boronat and Nikos Mylonakis.
Toward Bridging the Gap between Formal Foundations and Current Practice for Triple Graph Grammars: Flexible Relations between Source and Target Elements / Ulrike Golas, Leen Lambers, Hartmut Ehrig and Holger Giese -- Graph Transformation with Focus on Incident Edges / Dominique Duval, Rachid Echahed and Frédéric Prost -- Rational Term Rewriting Revisited: Decidability and Confluence / Takahito Aoto and Jeroen Ketema -- A General Attribution Concept for Models in M-Adhesive Transformation Systems / Ulrike Golas -- DPO Transformation with Open Maps / Reiko Heckel -- M, N-Adhesive Transformation Systems / Annegret Habel and Detlef Plump -- Generalised Compositionality in Graph Transformation / Amir Hossein Ghamarian and Arend Rensink -- Towards Automatic Verification of Behavior Preservation for Model Transformation via Invariant Checking / Holger Giese and Leen Lambers -- Efficient Symbolic Implementation of Graph Automata with Applications to Invariant Checking / Christoph Blume, H.J. Sander Bruggink, Dominik Engelke and Barbara König -- Testing against Visual Contracts: Model-Based Coverage / Tamim Ahmed Khan, Olga Runge and Reiko Heckel.
A Truly Concurrent Semantics for the \mathbbKK Framework Based on Graph Transformations / Traian Florin Şerbănuţă and Grigore Roşu -- Probabilistic Graph Transformation Systems / Christian Krause and Holger Giese -- Co-transformation of Graphs and Type Graphs with Application to Model Co-evolution / Gabriele Taentzer, Florian Mantz and Yngve Lamo -- Graph Transformations for Evolving Domain Knowledge / Bernhard Westfechtel and Manfred Nagl -- Construction of Integrity Preserving Triple Graph Grammars / Anthony Anjorin, Andy Schürr and Gabriele Taentzer -- Applying Incremental Graph Transformation to Existing Models in Relational Databases / Gábor Bergmann, Dóra Horváth and Ákos Horváth -- Incremental Pattern Matching for the Efficient Computation of Transitive Closure / Gábor Bergmann, István Ráth, Tamás Szabó, Paolo Torrini and Dániel Varró -- Efficient Model Synchronization with Precedence Triple Graph Grammars / Marius Lauder, Anthony Anjorin, Gergely Varró and Andy Schürr -- ICGT 2012 Doctoral Symposium / Andrea Corradini and Gabriele Taentzer -- Multi-scale Rule-Based Graph Transformation Using the Programming Language XL / Yongzhi Ong -- Verification of Graph Programs / Christopher M. Poskitt -- Specification and Verification of Modal Properties for Structured Systems / Andrea Vandin.
Record Nr. STANFORD-a9731960
[ICGT (Conference) (6th : 2012 : Bremen, Germany)]  
Materiale a stampa
Lo trovi qui: Stanford University
Principles and practice of constraint programming : 18th International Conference, CP 2012, Québec City, QC, Canada, October 8-12, 2012. Proceedings / Michela Milano (ed.).
Principles and practice of constraint programming : 18th International Conference, CP 2012, Québec City, QC, Canada, October 8-12, 2012. Proceedings / Michela Milano (ed.).
Creatore [CP (Conference) (18th : 2012 : Québec, Québec)]
Estensione 1 online resource.
Disciplina 005.1/16
Accesso persona Milano, Michela
Soggetto non controllato Computer science
Computer software
Logic design
Electronic data processing
Computational complexity
Mathematical Logic and Formal Languages
Numeric Computing
Algorithm Analysis and Problem Complexity
Logics and Meanings of Programs
Discrete Mathematics in Computer Science
Programming Languages, Compilers, Interpreters
ISBN 9783642335587
3642335586
3642335578
9783642335570
Classificazione 54.51
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Constraint Programming and a Usability Quest / Laurent D. Michel -- Optimization Challenges in Smart Grid Operations / Miguel F. Anjos -- Where Are the Interesting Problems? / Barry O'Sullivan -- A Generic Method for Identifying and Exploiting Dominance Relations / Geoffrey Chu and Peter J. Stuckey -- Scheduling Scientific Experiments on the Rosetta/Philae Mission / Gilles Simonin, Christian Artigues, Emmanuel Hebrard and Pierre Lopez -- Max-Sur-CSP on Two Elements / Hannes Uppman -- An Optimal Arc Consistency Algorithm for a Chain of Atmost Constraints with Cardinality / Mohamed Siala, Emmanuel Hebrard and Marie-José Huguet -- Conflict Directed Lazy Decomposition / Ignasi Abío and Peter J. Stuckey -- Improving SAT-Based Weighted MaxSAT Solvers / Carlos Ansótegui, Maria Luisa Bonet, Joel Gabàs and Jordi Levy -- Distributed Tree Decomposition with Privacy / Vincent Armant, Laurent Simon and Philippe Dague -- Refining Restarts Strategies for SAT and UNSAT / Gilles Audemard and Laurent Simon -- Boosting Local Consistency Algorithms over Floating-Point Numbers / Mohammed Said Belaid, Claude Michel and Michel Rueher.
A Model Seeker: Extracting Global Constraint Models from Positive Examples / Nicolas Beldiceanu and Helmut Simonis -- On Computing Minimal Equivalent Subformulas / Anton Belov, Mikoláš Janota, Inês Lynce and Joao Marques-Silva -- Including Soft Global Constraints in DCOPs / Christian Bessiere, Patricia Gutierrez and Pedro Meseguer -- The Weighted Average Constraint / Alessio Bonfietti and Michele Lombardi -- Weibull-Based Benchmarks for Bin Packing / Ignacio Castiñeiras, Milan De Cauwer and Barry O'Sullivan -- Space-Time Tradeoffs for the Regular Constraint / Kenil C.K. Cheng, Wei Xia and Roland H.C. Yap -- Inter-instance Nogood Learning in Constraint Programming / Geoffrey Chu and Peter J. Stuckey -- Solving Temporal Problems Using SMT: Strong Controllability / Alessandro Cimatti, Andrea Micheli and Marco Roveri -- A Characterisation of the Complexity of Forbidding Subproblems in Binary Max-CSP / Martin C. Cooper, Guillaume Escamocher and Stanislav Živný -- Optimisation Modelling for Software Developers / Kathryn Francis, Sebastian Brand and Peter J. Stuckey -- Adaptive Bisection of Numerical CSPs / Laurent Granvilliers.
Resource Constrained Shortest Paths with a Super Additive Objective Function / Stefano Gualandi and Federico Malucelli -- Relating Proof Complexity Measures and Practical Hardness of SAT / Matti Järvisalo, Arie Matsliah, Jakob Nordström and Stanislav Živný -- The SeqBin Constraint Revisited / George Katsirelos, Nina Narodytska and Toby Walsh -- Eigenvector Centrality in Industrial SAT Instances / George Katsirelos and Laurent Simon -- Classifying and Propagating Parity Constraints / Tero Laitinen, Tommi Junttila and Ilkka Niemelä -- Consistencies for Ultra-Weak Solutions in Minimax Weighted CSPs Using the Duality Principle / Arnaud Lallouet, Jimmy H.M. Lee and Terrence W.K. Mak -- Propagating Soft Table Constraints / Christophe Lecoutre, Nicolas Paris, Olivier Roussel and Sébastien Tabary -- WCSP Integration of Soft Neighborhood Substitutability / Christophe Lecoutre, Olivier Roussel and Djamel E. Dehani -- Increasing Symmetry Breaking by Preserving Target Symmetries / Jimmy H.M. Lee and Jingying Li -- A Scalable Sweep Algorithm for the cumulative Constraint / Arnaud Letort, Nicolas Beldiceanu and Mats Carlsson.
A New Encoding from MinSAT into MaxSAT / Zhu Zhu, Chu-Min Li, Felip Manyà and Josep Argelich -- Solving Minimal Constraint Networks in Qualitative Spatial and Temporal Reasoning / Weiming Liu and Sanjiang Li -- Containment, Equivalence and Coreness from CSP to QCSP and Beyond / Florent Madelaine and Barnaby Martin -- An Optimal Filtering Algorithm for Table Constraints / Jean-Baptiste Mairy, Pascal Van Hentenryck and Yves Deville -- Parallel SAT Solver Selection and Scheduling / Yuri Malitsky, Ashish Sabharwal, Horst Samulowitz and Meinolf Sellmann -- Constraint Satisfaction over Bit-Vectors / Laurent D. Michel and Pascal Van Hentenryck -- Towards Solver-Independent Propagators / Jean-Noël Monette, Pierre Flener and Justin Pearson -- Interactive Algorithm for Multi-Objective Constraint Optimization / Tenda Okimoto, Yongjoon Joe, Atsushi Iwasaki, Toshihiro Matsui and Katsutoshi Hirayama, et al. -- Focus : A Constraint for Concentrating High Costs / Thierry Petit -- Refining Abstract Interpretation Based Value Analysis with Constraint Programming Techniques / Olivier Ponsini, Claude Michel and Michel Rueher -- Time-Dependent Simple Temporal Networks / Cédric Pralet and Gérard Verfaillie.
Improved Bounded Max-Sum for Distributed Constraint Optimization / Emma Rollon and Javier Larrosa -- A Hybrid MIP/CP Approach for Multi-activity Shift Scheduling / Domenico Salvagnin and Toby Walsh -- Contributions to the Theory of Practical Quantified Boolean Formula Solving / Allen Van Gelder -- Breaking Variable Symmetry in Almost Injective Problems / Philippe Vismara and Remi Coletta -- Understanding, Improving and Parallelizing MUS Finding Using Model Rotation / Siert Wieringa -- Revisiting Neighborhood Inverse Consistency on Binary CSPs / Robert J. Woodward, Shant Karakashian, Berthe Y. Choueiry and Christian Bessiere -- Syntactically Characterizing Local-to-Global Consistency in ORD-Horn / Michał Wrona -- A Hybrid Paradigm for Adaptive Parallel Search / Xi Yun and Susan L. Epstein -- A Constraint Programming Approach for the Traveling Purchaser Problem / Hadrien Cambazard and Bernard Penz -- Constraint-Based Register Allocation and Instruction Scheduling / Roberto Castañeda Lozano, Mats Carlsson, Frej Drejhammar and Christian Schulte -- Maximising the Net Present Value of Large Resource-Constrained Projects / Hanyu Gu, Peter J. Stuckey and Mark G. Wallace.
Comparing Solution Methods for the Machine Reassignment Problem / Deepak Mehta, Barry O'Sullivan and Helmut Simonis -- A Boolean Model for Enumerating Minimal Siphons and Traps in Petri Nets / Faten Nabli, François Fages, Thierry Martinez and Sylvain Soliman -- Cardinality Reasoning for Bin-Packing Constraint: Application to a Tank Allocation Problem / Pierre Schaus, Jean-Charles Régin, Rowan Van Schaeren, Wout Dullaert and Birger Raa -- The Offshore Resources Scheduling Problem: Detailing a Constraint Programming Approach / Thiago Serra, Gilberto Nishioka and Fernando J.M. Marcellino -- Computational Protein Design as a Cost Function Network Optimization Problem / David Allouche, Seydou Traoré, Isabelle André, Simon de Givry and George Katsirelos, et al. -- A Filtering Technique for Fragment Assembly- Based Proteins Loop Modeling with Constraints / Federico Campeotto, Alessandro Dal Palù, Agostino Dovier, Ferdinando Fioretto and Enrico Pontelli -- A Branch and Prune Algorithm for the Computation of Generalized Aspects of Parallel Robots / Stéphane Caro, Damien Chablat, Alexandre Goldsztejn, Daisuke Ishii and Christophe Jermann.
The Semigroups of Order 10 / Andreas Distler, Chris Jefferson, Tom Kelsey and Lars Kotthoff -- Exploring Chemistry Using SMT / Rolf Fagerberg, Christoph Flamm, Daniel Merkle and Philipp Peters -- A Pseudo-Boolean Set Covering Machine / Pascal Germain, Sébastien Giguère, Jean-Francis Roy, Brice Zirakiza and François Laviolette, et al. -- Finding a Nash Equilibrium by Asynchronous Backtracking / Alon Grubshtein and Amnon Meisels -- Reasoning over Biological Networks Using Maximum Satisfiability / João Guerra and Inês Lynce -- Properties of Energy-Price Forecasts for Scheduling / Georgiana Ifrim, Barry O'Sullivan and Helmut Simonis -- Aggregating Conditionally Lexicographic Preferences on Multi-issue Domains / Jérôme Lang, Jérôme Mengin and Lirong Xia -- Constraint Programming for Path Planning with Uncertainty / Solving the Optimal Search Path Problem / Michael Morin, Anika-Pascale Papillon, Irène Abi-Zeid, François Laviolette and Claude-Guy Quimper -- Feature Term Subsumption Using Constraint Programming with Basic Variable Symmetry / Santiago Ontañón and Pedro Meseguer.
Record Nr. STANFORD-a9745672
[CP (Conference) (18th : 2012 : Québec, Québec)]  
Materiale a stampa
Lo trovi qui: Stanford University
Hypergraph theory : an introduction / Alain Bretto
Hypergraph theory : an introduction / Alain Bretto
Creatore [Bretto, Alain]
Estensione 1 online resource.
Disciplina 511/.5
Soggetto non controllato Mathematics
Computational complexity
Algorithms
Engineering mathematics
Graph Theory
Discrete Mathematics in Computer Science
ISBN 9783319000800
3319000802
3319000799
9783319000794
1299694187
9781299694187
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Hypergraphs: basic concepts -- Hypergraphs: first properties -- Hypergraph colorings -- Some particular hypergraphs -- Reduction-Contraction of hypergraph -- Dirhypergraphs: basic concepts -- Applications of hypergraph theory: a brief overview.
Record Nr. STANFORD-a10152519
[Bretto, Alain]  
Materiale a stampa
Lo trovi qui: Stanford University
Graph-based representations in pattern recognition : 9th IAPR-TC-15 International Workshop, GbRPR 2013, Vienna, Austria, May 15-17, 2013. Proceedings / Walter G. Kropatsch, Nicole M. Arthner, YII Haxhimusa, Xiaoyi Jiang (eds.).
Graph-based representations in pattern recognition : 9th IAPR-TC-15 International Workshop, GbRPR 2013, Vienna, Austria, May 15-17, 2013. Proceedings / Walter G. Kropatsch, Nicole M. Arthner, YII Haxhimusa, Xiaoyi Jiang (eds.).
Creatore [GbRPR (Workshop) (9th : 2013 : Vienna, Austria)]
Estensione 1 online resource (xi, 253 pages) : illustrations.
Disciplina 006.3
Accesso persona Kropatsch, W. (Walter), editor
Arthner, Nicole M., editor
Haxhimusa, YII, editor
Jiang, Xiaoyi, editor
Soggetto non controllato Computer science
Data structures (Computer science)
Computational complexity
Computer graphics
Optical pattern recognition
Pattern Recognition
Image Processing and Computer Vision
Discrete Mathematics in Computer Science
ISBN 9783642382215
3642382215
3642382207
9783642382208
Classificazione 54.74
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto A One Hour Trip in the World of Graphs, Looking at the Papers of the Last Ten Years / Mario Vento -- A Unified Framework for Strengthening Topological Node Features and Its Application to Subgraph Isomorphism Detection / Nicholas Dahm, Horst Bunke, Terry Caelli -- On the Complexity of Submap Isomorphism / Christine Solnon, Guillaume Damiand -- Flooding Edge Weighted Graphs / Fernand Meyer -- Graph Matching with Nonnegative Sparse Model / Bo Jiang, Jin Tang, Bin Luo -- TurboTensors for Entropic Image Comparison / Francisco Escolano, Edwin R. Hancock -- Active-Learning Query Strategies Applied to Select a Graph Node Given a Graph Labelling / Xavier Cortés, Francesc Serratosa -- GMTE: A Tool for Graph Transformation and Exact/Inexact Graph Matching / Mohamed Amine Hannachi.
A Comparison of Explicit and Implicit Graph Embedding Methods for Pattern Recognition / Donatello Conte, Jean-Yves Ramel -- Adjunctions on the Lattice of Dendrograms / Fernand Meyer -- A Continuous-Time Quantum Walk Kernel for Unattributed Graphs / Luca Rossi, Andrea Torsello -- Relevant Cycle Hypergraph Representation for Molecules / Benoît Gaüzère, Luc Brun, Didier Villemin -- A Quantum Jensen-Shannon Graph Kernel Using the Continuous-Time Quantum Walk / Lu Bai, Edwin R. Hancock, Andrea Torsello -- Treelet Kernel Incorporating Chiral Information / Pierre-Anthony Grenier, Luc Brun -- A Novel Software Toolkit for Graph Edit Distance Computation / Kaspar Riesen, Sandro Emmenegger -- Map Edit Distance vs. Graph Edit Distance for Matching Images / Camille Combier, Guillaume Damiand.
An Algorithm for Maximum Common Subgraph of Planar Triangulation Graphs / Yao Lu, Horst Bunke, Cheng-Lin Liu -- Graph Characteristics from the Schrödinger Operator / Pablo Suau, Edwin R. Hancock -- Persistent Homology in Image Processing / Herbert Edelsbrunner -- Towards Minimal Barcodes / Rocío González-Díaz, María-José Jiménez -- A Fast Matching Algorithm for Graph-Based Handwriting Recognition / Andreas Fischer, Ching Y. Suen -- On the Evaluation of Graph Centrality for Shape Matching / Samuel de Sousa, Nicole M. Artner -- Shape Recognition as a Constraint Satisfaction Problem / Aline Deruyver, Yann Hodé -- Gaussian Wave Packet on a Graph / Furqan Aziz, Richard C. Wilson -- Exact Computation of Median Surfaces Using Optimal 3D Graph Search / Zhengwang Wu, Xiaoyi Jiang, Nanning Zheng -- Estimation of Distribution Algorithm for the Max-Cut Problem / Samuel de Sousa, Yll Haxhimusa.
Record Nr. STANFORD-a10166030
[GbRPR (Workshop) (9th : 2013 : Vienna, Austria)]  
Materiale a stampa
Lo trovi qui: Stanford University