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.
Transactions on computational science XIV : Special issue on voronoi diagrams and delaunay triangulation / Marina L. Gavrilova, C.J. Kenneth Tan, Mir Abolfazl Mostafavi (eds.).
Transactions on computational science XIV : Special issue on voronoi diagrams and delaunay triangulation / Marina L. Gavrilova, C.J. Kenneth Tan, Mir Abolfazl Mostafavi (eds.).
Estensione 1 online resource (x, 238 pages).
Disciplina 004
Accesso persona Gavrilova, Marina L.
Tan, C. J. Kenneth (Chih Jeng Kenneth)
Mostafavi, Mir Abolfazl, 1969-
Genere/Forma Electronic books
Soggetto non controllato Computer science
Data structures (Computer science)
Computer software
Electronic data processing
Computational complexity
Artificial intelligence
Computer graphics
Algorithm Analysis and Problem Complexity
Discrete Mathematics in Computer Science
Artificial Intelligence (incl. Robotics)
Data Structures
Numeric Computing
ISBN 9783642252495
3642252494
3642252486
9783642252488
Classificazione 54.10
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. NYU-006478984
Materiale a stampa
Lo trovi qui: New York University
Algorithms in bioinformatics : 12th International Workshop, WABI 2012, Ljubljana, Slovenia, September 10-12, 2012. Proceedings / Ben Raphael, Jijun Tang (eds.).
Algorithms in bioinformatics : 12th International Workshop, WABI 2012, Ljubljana, Slovenia, September 10-12, 2012. Proceedings / Ben Raphael, Jijun Tang (eds.).
Creatore [WABI (Workshop) (12th : 2012 : Ljubljana, Slovenia)]
Estensione 1 online resource.
Accesso persona Raphael, Benjamin J., 1974-
Tang, Jijun
Genere/Forma Electronic books
Congresses
Soggetto non controllato Computer science
Computer software
Computational complexity
Data mining
Computational Biology/Bioinformatics
Algorithm Analysis and Problem Complexity
Discrete Mathematics in Computer Science
Numeric Computing
ISBN 9783642331220
364233122X
3642331211
9783642331213
Classificazione 42.11
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Preserving Inversion Phylogeny Reconstruction / Matthias Bernt, Kun-Mao Chao, Jyun-Wei Kao, Martin Middendorf and Eric Tannier -- Fast Phylogenetic Tree Reconstruction Using Locality-Sensitive Hashing / Daniel G. Brown and Jakub Truszkowski -- Efficient Computation of Popular Phylogenetic Tree Measures / Constantinos Tsirogiannis, Brody Sandel and Dimitris Cheliotis -- SibJoin: A Fast Heuristic for Half-Sibling Reconstruction / Daniel G. Brown and Daniel Dexter -- Reconstructing the Evolution of Molecular Interaction Networks under the DMC and Link Dynamics Models / Yun Zhu and Luay Nakhleh -- Estimating Population Size via Line Graph Reconstruction / Bjarni V. Halldórsson, Dima Blokh and Roded Sharan -- Extracting Conflict-Free Information from Multi-labeled Trees / Akshay Deepak, David Fernández-Baca and Michelle M. McMahon -- Reducing Problems in Unrooted Tree Compatibility to Restricted Triangulations of Intersection Graphs / Rob Gysel, Kristian Stevens and Dan Gusfield -- An Optimal Reconciliation Algorithm for Gene Trees with Polytomies / Manuel Lafond, Krister M. Swenson and Nadia El-Mabrouk.
Accounting for Gene Tree Uncertainties Improves Gene Trees and Reconciliation Inference / Thi Hau Nguyen, Jean-Philippe Doyon, Stéphanie Pointet, Anne-Muriel Arigon Chifolleau and Vincent Ranwez, et al. -- RNA Tree Comparisons via Unrooted Unordered Alignments / Nimrod Milo, Shay Zakov, Erez Katzenelson, Eitan Bachmat and Yefim Dinitz, et al. -- Tree Decomposition and Parameterized Algorithms for RNA Structure-Sequence Alignment Including Tertiary Interactions and Pseudoknots / (Extended Abstract) / Philippe Rinaudo, Yann Ponty, Dominique Barth and Alain Denise -- [delta]-TRIMAX: Extracting Triclusters and Analysing Coregulation in Time Series Gene Expression Data / Anirban Bhar, Martin Haubrock, Anirban Mukhopadhyay, Ujjwal Maulik and Sanghamitra Bandyopadhyay, et al. -- CLIIQ: Accurate Comparative Detection and Quantification of Expressed Isoforms in a Population / Yen-Yi Lin, Phuong Dao, Faraz Hach, Marzieh Bakhshi and Fan Mo, et al. -- Improved Lower Bounds on the Compatibility of Quartets, Triplets, and Multi-state Characters / Brad Shutters, Sudheer Vakati and David Fernández-Baca -- Succinct Multibit Tree: Compact Representation of Multibit Trees by Using Succinct Data Structures in Chemical Fingerprint Searches / Yasuo Tabei.
Comparing DNA Sequence Collections by Direct Comparison of Compressed Text Indexes / Anthony J. Cox, Tobias Jakobi, Giovanna Rosone and Ole B. Schulz-Trieglaff -- Succinct de Bruijn Graphs / Alexander Bowe, Taku Onodera, Kunihiko Sadakane and Tetsuo Shibuya -- Space-Efficient and Exact de Bruijn Graph Representation Based on a Bloom Filter / Rayan Chikhi and Guillaume Rizk -- From de Bruijn Graphs to Rectangle Graphs for Genome Assembly / Nikolay Vyahhi, Alex Pyshkin, Son Pham and Pavel A. Pevzner -- MORPH-PRO: A Novel Algorithm and Web Server for Protein Morphing / Natalie E. Castellana, Andrey Lushnikov, Piotr Rotkiewicz, Natasha Sefcovic and Pavel A. Pevzner, et al. -- How Accurately Can We Model Protein Structures with Dihedral Angles? / Xuefeng Cui, Shuai Cheng Li, Dongbo Bu, Babak Alipanahi Ramandi and Ming Li -- Resolving Spatial Inconsistencies in Chromosome Conformation Data / Geet Duggal, Rob Patro, Emre Sefer, Hao Wang and Darya Filippova, et al. -- MS-DPR: An Algorithm for Computing Statistical Significance of Spectral Identifications of Non-linear Peptides / Hosein Mohimani, Sangtae Kim and Pavel A. Pevzner.
FinIS: Improved in silico Finishing Using an Exact Quadratic Programming Formulation / Song Gao, Denis Bertrand and Niranjan Nagarajan -- Lightweight LCP Construction for Next-Generation Sequencing Datasets / Markus J. Bauer, Anthony J. Cox, Giovanna Rosone and Marinella Sciortino -- Sign Assignment Problems on Protein Networks / Shay Houri and Roded Sharan -- Sparse Learning Based Linear Coherent Bi-clustering / Yi Shi, Xiaoping Liao, Xinhua Zhang, Guohui Lin and Dale Schuurmans -- A Simplified View of DCJ-Indel Distance / Phillip E.C. Compeau -- DCJ-indel Distance with Distinct Operation Costs / Poly H. da Silva, Marília D.V. Braga, Raphael Machado and Simone Dantas -- Hidden Breakpoints in Genome Alignments / Birte Kehr, Knut Reinert and Aaron E. Darling -- A Probabilistic Approach to Accurate Abundance-Based Binning of Metagenomic Reads / Olga Tanaseichuk, James Borneman and Tao Jiang -- Tandem Halving Problems by DCJ / Antoine Thomas, Aïda Ouangraoua and Jean-Stéphane Varré -- A Practical Approximation Algorithm for Solving Massive Instances of Hybridization Number / Leo van Iersel, Steven Kelk, Nela Lekić and Celine Scornavacca -- Distributed String Mining for High-Throughput Sequencing Data / Niko Välimäki and Simon J. Puglisi.
Record Nr. UCHICAGO-11077339
[WABI (Workshop) (12th : 2012 : Ljubljana, Slovenia)]  
Materiale a stampa
Lo trovi qui: University of Chicago
Applications of graph transformations with industrial relevance : 4th International Symposium, AGTIVE 2011, Budapest, Hungary, October 4-7, 2011, Revised selected and invited papers / Andy Schürr, Dániel Varró, Gergely Varró (eds.).
Applications of graph transformations with industrial relevance : 4th International Symposium, AGTIVE 2011, Budapest, Hungary, October 4-7, 2011, Revised selected and invited papers / Andy Schürr, Dániel Varró, Gergely Varró (eds.).
Creatore [AGTIVE (Symposium) (4th : 2011 : Budapest, Hungary)]
Estensione 1 online resource.
Accesso persona Schürr, Andreas
Varró, Dániel
Varró, Gergely
Genere/Forma Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Software engineering
Data structures (Computer science)
Computer software
Logic design
Computational complexity
Discrete Mathematics in Computer Science
Algorithm Analysis and Problem Complexity
Logics and Meanings of Programs
Mathematical Logic and Formal Languages
ISBN 9783642341762
3642341764
3642341756
9783642341755
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Best Practices to Model Business Services in Complex IT Environments / Zsolt Kocsis -- Drools: A Rule Engine for Complex Event Processing / Mark Proctor -- Graph Transformation Concepts for Meta-model Evolution Guaranteeing Permanent Type Conformance throughout Model Migration / Florian Mantz, Stefan Jurack and Gabriele Taentzer -- A Graph Transformation-Based Semantics for Deep Metamodelling / Alessandro Rossini, Juan de Lara, Esther Guerra, Adrian Rutle and Yngve Lamo -- Reusable Graph Transformation Templates / Juan de Lara and Esther Guerra -- Towards an Automated 3D Reconstruction of Plant Architecture / Florian Schöler and Volker Steinhage -- Generating Graph Transformation Rules from AML/GT State Machine Diagrams for Building Animated Model Editors / Torsten Strobl and Mark Minas -- AGG 2.0 -- New Features for Specifying and Analyzing Algebraic Graph Transformations / Olga Runge, Claudia Ermel and Gabriele Taentzer -- Integration of a Pattern-Based Layout Engine into Diagram Editors / Sonja Maier and Mark Minas -- Tool Demonstration of the Transformation Judge / Steffen Mazanek, Christian Rutetzki and Mark Minas -- Knowledge-Based Graph Exploration Analysis / Ismênia Galvão, Eduardo Zambon, Arend Rensink, Lesley Wevers and Mehmet Aksit -- Graph Grammar Induction as a Parser-Controlled Heuristic Search Process / Luka Fürst, Marjan Mernik and Viljan Mahnič -- Planning Self-adaption with Graph Transformations / Matthias Tichy and Benjamin Klöpper -- From Graph Transformation Units via MiniSat to GrGen.NET / Marcus Ermler, Hans-Jörg Kreowski, Sabine Kuske and Caroline von Totth -- Locality in Reasoning about Graph Transformations / Martin Strecker -- Contextual Hyperedge Replacement / Frank Drewes, Berthold Hoffmann and Mark Minas -- The Added Value of Programmed Graph Transformations -- A Case Study from Software Configuration Management / Thomas Buchmann, Bernhard Westfechtel and Sabine Winetzhammer -- A Case Study Based Comparison of ATL and SDM / Sven Patzina and Lars Patzina -- Applying Advanced TGG Concepts for a Complex Transformation of Sequence Diagram Specifications to Timed Game Automata / Joel Greenyer and Jan Rieke -- Automatic Conformance Testing of Optimized Triple Graph Grammar Implementations / Stephan Hildebrandt, Leen Lambers, Holger Giese, Dominic Petrick and Ingo Richter.
Record Nr. UCHICAGO-11077552
[AGTIVE (Symposium) (4th : 2011 : Budapest, Hungary)]  
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
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.
Accesso persona Milano, Michela
Genere/Forma Electronic books
Conference papers and proceedings
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. UCHICAGO-11077538
[CP (Conference) (18th : 2012 : Québec, Québec)]  
Materiale a stampa
Lo trovi qui: University of Chicago
Automated deduction in geometry : 8th International Workshop, ADG 2010, Munich, Germany, July 22-24, 2010, revised selected papers / Pascal Schreck, Julien Narboux, Jürgen Richter-Gebert (eds.).
Automated deduction in geometry : 8th International Workshop, ADG 2010, Munich, Germany, July 22-24, 2010, revised selected papers / Pascal Schreck, Julien Narboux, Jürgen Richter-Gebert (eds.).
Creatore [International Workshop on Automated Deduction in Geometry (8th : 2010 : Munich, Germany)]
Estensione 1 online resource (x, 258 pages).
Accesso persona Schreck, Pascal
Narboux, Julien
Richter-Gebert, Jürgen, 1963-
Genere/Forma Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Software engineering
Computational complexity
Artificial intelligence
Computer graphics
Artificial Intelligence (incl. Robotics)
Mathematical Logic and Formal Languages
Symbolic and Algebraic Manipulation
Discrete Mathematics in Computer Science
ISBN 9783642250705
364225070X
9783642250699
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UCHICAGO-11076224
[International Workshop on Automated Deduction in Geometry (8th : 2010 : Munich, Germany)]  
Materiale a stampa
Lo trovi qui: University of Chicago
Graph drawing : 19th international symposium, GD 2011, Eindhoven, the Netherlands, September 21-23, 2011 : revised selected papers / Marc van Kreveld, Bettina Speckmann (eds.).
Graph drawing : 19th international symposium, GD 2011, Eindhoven, the Netherlands, September 21-23, 2011 : revised selected papers / Marc van Kreveld, Bettina Speckmann (eds.).
Creatore [GD (Symposium) (19th : 2011 : Eindhoven, Netherlands)]
Estensione 1 online resource (xiv, 458 pages) : illustrations.
Accesso persona Kreveld, Marc van.
Speckmann, Bettina
Genere/Forma Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Computer software
Computational complexity
Discrete Mathematics in Computer Science
Math Applications in Computer Science
Algorithm Analysis and Problem Complexity
Models and Principles
Symbolic and Algebraic Manipulation
User Interfaces and Human Computer Interaction
ISBN 9783642258787
3642258786
3642258778
9783642258770
Classificazione 54.73
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UCHICAGO-11076360
[GD (Symposium) (19th : 2011 : Eindhoven, Netherlands)]  
Materiale a stampa
Lo trovi qui: University of Chicago
Mathematical modeling and computational science : international conference, MMCP 2011, Stará Lesná, Slovakia, July 4-8, 2011, Revised selected papers / Gheorghe Adam, Ján Buša, Michal Hnatič (eds.).
Mathematical modeling and computational science : international conference, MMCP 2011, Stará Lesná, Slovakia, July 4-8, 2011, Revised selected papers / Gheorghe Adam, Ján Buša, Michal Hnatič (eds.).
Creatore [MMCP 2011 (2011 : Stará Lesná, Slovakia)]
Estensione 1 online resource (xii, 336 pages).
Accesso persona Adam, Gheorghe
Buša, Ján
Hnatič, Michal
Genere/Forma Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Information theory
Computer software
Electronic data processing
Computational complexity
Computer simulation
Theory of Computation
Algorithm Analysis and Problem Complexity
Computation by Abstract Devices
Simulation and Modeling
Discrete Mathematics in Computer Science
Numeric Computing
ISBN 9783642282126
3642282121
9783642282119
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Bayesian Automatic Adaptive Quadrature: An Overview -- Computational Challenges for the CBM Experiment -- Consistency Analysis of Finite Difference Approximations to PDE Systems -- The Circuit Model of Quantum Computation and Its Simulation with Mathematica -- Proteins Studied by Computer Simulations -- Functional Methods in Stochastic Systems -- Mathematical Modeling of Finite Quantum Systems -- Multi-channel Computations in Low-Dimensional Few-Body Physics -- Mathematical Models to Predict the Critical Conditions for Bacterial Self-healing of Concrete -- A New Discretization Scheme in Field Theory -- Two-Loop Calculation of the Anomalous Exponents in the Kazantsev-Kraichnan Model of Magnetic Hydrodynamics -- Mathematical Modeling of Irregular Integrated Optical Waveguides -- Two Notes on Continuous-Time Neurodynamical Systems -- On the Mathematical Modelling of the Annihilation Process -- The Crossing Numbers of Join of Paths and Cycles with Two Graphs of Order Five -- Exact Solution of a Moisture Drying System with Phase Transition -- Pseudo-Differential Operators in an Operational Model of the Quantum Measurement of Observables -- Exactly Solvable Models for the Generalized Schrödinger Equation -- Floating Point Degree of Precision in Numerical Quadrature -- Numerical Simulations of Heat and Moisture Transfer Subject to the Phase Transition -- Numerical Study of Fluxon Solutions of Sine-Gordon Equation under the Influence of the Boundary Conditions.
Computer Modeling of the Immune System Reconstruction after Peripheral Blood Stem Cell Transplantation -- Comparison of Some Finite Difference Schemes for Boussinesq Paradigm Equation -- Simulation of Shapiro Steps in Current-Voltage Characteristics of Intrinsic Josephson Junctions in High Temperature Superconductors -- Second Order Scheme for Maxwell's Equations with Discontinuous Electromagnetic Properties -- Simulation of Current Voltage Characteristics of Intrinsic Josephson Junctions in HTSC -- Numerical Study of Stationary, Time-Periodic, and Quasiperiodic Two-Soliton Complexes in the Damped-Driven Nonlinear Schrödinger Equation -- Algorithms and Software for Event Reconstruction in the RICH, TRD and MUCH Detectors of the CBM Experiment -- On-Line Data Processing in the Dubna Gas Filled Recoil Separator Experiments -- Automatic Calibration of Multi-strip Position-Sensitive Detector -- Numerical Simulation of Heat Conductivity in Composite Object with Cylindrical Symmetry -- Simulation of Holography Using Multiprocessor Systems -- GPU Computing in Biomolecular Modeling and Nanodesign -- Numerical Modeling of Nanoparticles Tracking in the Blood Stream -- Parallel Numerical Calculations of Quantum Trimer Systems -- A Graph Annihilation Problem -- Piecewise Scaling in a Model of Neural Network Dynamics -- Prediction of Financial Markets Using Agent-Based Modeling with Optimization Driven by Statistical Evaluation of Historical Data -- Multi-agent Based Analysis of Financial Data -- Constraints on Control Parameters of Asynchronous Differential Evolution -- Asynchronous Differential Evolution.
Record Nr. UCHICAGO-11076680
[MMCP 2011 (2011 : Stará Lesná, Slovakia)]  
Materiale a stampa
Lo trovi qui: University of Chicago
Topics in cryptology-- CT-RSA 2012 : the Cryptographers' track at the RSA Conference 2012, San Francisco, CA, USA, February 27-March 2, 2012. Proceedings / Orr Dunkelman (ed.).
Topics in cryptology-- CT-RSA 2012 : the Cryptographers' track at the RSA Conference 2012, San Francisco, CA, USA, February 27-March 2, 2012. Proceedings / Orr Dunkelman (ed.).
Creatore [Cryptographers' Track at RSA Conference (2012 : San Francisco, Calif.)]
Estensione 1 online resource (xiii, 434 pages).
Accesso persona Dunkelman, Orr.
Genere/Forma Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Computer Communication Networks
Data protection
Data encryption (Computer science)
Computer software
Computational complexity
Discrete Mathematics in Computer Science
Systems and Data Security
Algorithm Analysis and Problem Complexity
ISBN 9783642279546
3642279546
9783642279539
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UCHICAGO-11076699
[Cryptographers' Track at RSA Conference (2012 : San Francisco, Calif.)]  
Materiale a stampa
Lo trovi qui: University of Chicago
Formal concept analysis : 10th International Conference, ICFCA 2012, Leuven, Belgium, May 7-10, 2012. Proceedings / Florent Domenach, Dmitry I. Ignatov, Jonas Poelmans (eds.).
Formal concept analysis : 10th International Conference, ICFCA 2012, Leuven, Belgium, May 7-10, 2012. Proceedings / Florent Domenach, Dmitry I. Ignatov, Jonas Poelmans (eds.).
Creatore [International Conference on Formal Concept Analysis (16th : 2012 : Leuven, Belgium)]
Estensione 1 online resource (xii, 308 pages) : illustrations.
Accesso persona Domenach, Florent
Ignatov, Dmitry I.
Poelmans, Jonas
Genere/Forma Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Software engineering
Computational complexity
Artificial intelligence
Data Mining and Knowledge Discovery
Mathematical Logic and Formal Languages
Discrete Mathematics in Computer Science
Order, Lattices, Ordered Algebraic Structures
ISBN 9783642298929
3642298923
9783642298912
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Dark Web: Exploring and Mining the Dark Side of the Web / Hsinchun Chen -- Declarative Modeling for Machine Learning and Data Mining / Luc De Raedt -- Can Concepts Reveal Criminals? / Paul Elzinga -- Cartification: From Similarities to Itemset Frequencies / Bart Goethals -- Processes Are Concepts, Aren't They? / Ir. Edward Peters -- Rough Sets and FCA -- Scalability Challenges / Dominik Ślęzak -- Approximating Concept Stability / Mikhail A. Babin and Sergei O. Kuznetsov -- Logical Analysis of Concept Lattices by Factorization / Eduard Bartl and Michal Krupka -- Basic Level of Concepts in Formal Concept Analysis / Radim Belohlavek and Martin Trnecka -- A Peep through the Looking Glass: Articulation Points in Lattices / Anne Berry and Alain Sigayret -- Practical Use of Formal Concept Analysis in Service-Oriented Computing / Stéphanie Chollet, Vincent Lestideau, Yoann Maurel, Etienne Gandrille and Philippe Lalanda, et al. -- Publication Analysis of the Formal Concept Analysis Community / Stephan Doerfel, Robert Jäschke and Gerd Stumme -- Understanding the Semantic Structure of Human fMRI Brain Recordings with Formal Concept Analysis / Dominik Endres, Ruth Adam, Martin A. Giese and Uta Noppeney -- Cubes of Concepts: Multi-dimensional Exploration of Multi-valued Contexts / Sébastien Ferré, Pierre Allard and Olivier Ridoux -- Ordinal Factor Analysis / Bernhard Ganter and Cynthia Vera Glodeanu -- A Macroscopic Approach to FCA and Its Various Fuzzifications / Tim B. Kaiser and Stefan E. Schmidt -- A Connection between Clone Theory and FCA Provided by Duality Theory / Sebastian Kerkhoff -- Formal Concept Discovery in Semantic Web Data / Markus Kirchberg, Erwin Leonardi, Yu Shyang Tan, Sebastian Link and Ryan K.L. Ko, et al. -- Concept Lattices of Incomplete Data / Michal Krupka and Jan Lastovicka -- Formal Concept Analysis as a Framework for Business Intelligence Technologies / Juraj Macko -- Good Classification Tests as Formal Concepts / Xenia A. Naidenova -- Modeling Preferences over Attribute Sets in Formal Concept Analysis / Sergei Obiedkov -- Finding Top-N Colossal Patterns Based on Clique Search with Dynamic Update of Graph / Yoshiaki Okubo and Makoto Haraguchi -- Quantitative Concept Analysis / Dusko Pavlovic -- Some Notes on Managing Closure Operators / Sebastian Rudolph -- Distributed Formal Concept Analysis Algorithms Based on an Iterative MapReduce Framework / Biao Xu, Ruairí de Fréin, Eric Robson and Mícheál Ó Foghlú.
Record Nr. UCHICAGO-11077038
[International Conference on Formal Concept Analysis (16th : 2012 : Leuven, Belgium)]  
Materiale a stampa
Lo trovi qui: University of Chicago