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.
Approximation, randomization, and combinatorial optimization [electronic resource] : algorithms and techniques : 15th International Workshop, APPROX 2012, and 16th International Workshop, RANDOM 2012, Cambridge, MA, USA, August 15-17, 2012. Proceedings / Anupam Gupta... [et al.] (eds.).
Approximation, randomization, and combinatorial optimization [electronic resource] : algorithms and techniques : 15th International Workshop, APPROX 2012, and 16th International Workshop, RANDOM 2012, Cambridge, MA, USA, August 15-17, 2012. Proceedings / Anupam Gupta... [et al.] (eds.).
Creatore [International Workshop on Randomization and Approximation Techniques in Computer Science (15th : 2012 : Cambridge, MA)]
Estensione 1 online resource (xv, 674 p.) : ill
Disciplina 519.64
Accesso persona Gupta, Anupam
Genere/Forma Electronic books
Soggetto non controllato Electronic data processing
Computer vision
Probability and Statistics in Computer Science
Computer Imaging, Vision, Pattern Recognition and Graphics
ISBN 9783642325120 (electronic bk.)
3642325122 (electronic bk.)
9783642325113
3642325113
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto A New Point of NP-Hardness for 2-to-1 Label Cover / Per Austrin, Ryan O'Donnell and John Wright -- Inapproximability of Treewidth, One-Shot Pebbling, and Related Layout Problems / Per Austrin, Toniann Pitassi and Yu Wu -- Additive Approximation for Near-Perfect Phylogeny Construction / Pranjal Awasthi, Avrim Blum, Jamie Morgenstern and Or Sheffet -- Improved Spectral-Norm Bounds for Clustering / Pranjal Awasthi and Or Sheffet -- Primal-Dual Approximation Algorithms for Node-Weighted Network Design in Planar Graphs / Piotr Berman and Grigory Yaroslavtsev -- What's the Frequency, Kenneth?: Sublinear Fourier Sampling Off the Grid / Petros Boufounos, Volkan Cevher, Anna C. Gilbert, Yi Li and Martin J. Strauss -- Improved Hardness Results for Profit Maximization Pricing Problems with Unlimited Supply / Parinya Chalermsook, Julia Chuzhoy, Sampath Kannan and Sanjeev Khanna -- Online Flow Time Scheduling in the Presence of Preemption Overhead / Ho-Leung Chan, Tak-Wah Lam and Rongbin Li -- Prize-Collecting Survivable Network Design in Node-Weighted Graphs / Chandra Chekuri, Alina Ene and Ali Vakilian -- Approximating Minimum-Cost Connected T-Joins / Joseph Cheriyan, Zachary Friggstad and Zhihan Gao -- iBGP and Constrained Connectivity / Michael Dinitz and Gordon Wilfong -- Online Scheduling of Jobs with Fixed Start Times on Related Machines / Leah Epstein, Łukasz Jeż, Jiří Sgall and Rob van Stee -- A Systematic Approach to Bound Factor Revealing LPs and Its Application to the Metric and Squared Metric Facility Location Problems / Cristina G. Fernandes, Luís A. A. Meira, Flávio K. Miyazawa and Lehilton L. C. Pedrosa -- Approximating Bounded Occurrence Ordering CSPs / Venkatesan Guruswami and Yuan Zhou -- On the NP-Hardness of Max-Not-2 / Johan Håstad -- The Remote Set Problem on Lattices / Ishay Haviv -- Approximation Algorithms for Generalized and Variable-Sized Bin Covering / Matthias Hellwig and Alexander Souza -- Approximating Minimum Linear Ordering Problems / Satoru Iwata, Prasad Tetali and Pushkar Tripathi -- New Approximation Results for Resource Replication Problems / Samir Khuller, Barna Saha and Kanthi K. Sarpatwar -- Maximum Matching in Semi-streaming with Few Passes / Christian Konrad, Frédéric Magniez and Claire Mathieu -- Improved Inapproximability for TSP / Michael Lampis -- Approximation Algorithm for Non-boolean MAX k-CSP / Konstantin Makarychev and Yury Makarychev -- Planarizing an Unknown Surface / Yury Makarychev and Anastasios Sidiropoulos -- The Projection Games Conjecture and the NP-Hardness of ln n-Approximating Set-Cover / Dana Moshkovitz -- New and Improved Bounds for the Minimum Set Cover Problem / Rishi Saket and Maxim Sviridenko -- Hardness of Vertex Deletion and Project Scheduling / Ola Svensson -- Approximation Guarantees for the Minimum Linear Arrangement Problem by Higher Eigenvalues / Suguru Tamaki and Yuichi Yoshida -- Circumventing d-to-1 for Approximation Resistance of Satisfiable Predicates Strictly Containing Parity of Width Four (Extended Abstract) / Cenny Wenner -- Spectral Norm of Symmetric Functions / Anil Ada, Omar Fawzi and Hamed Hatami -- Almost K-Wise vs. K-Wise Independent Permutations, and Uniformity for General Group Actions / Noga Alon and Shachar Lovett -- Testing Permanent Oracles - Revisited / Sanjeev Arora, Arnab Bhattacharyya, Rajsekar Manokaran and Sushant Sachdeva -- Limitations of Local Filters of Lipschitz and Monotone Functions / Pranjal Awasthi, Madhav Jha, Marco Molinaro and Sofya Raskhodnikova -- Testing Lipschitz Functions on Hypergrid Domains / Pranjal Awasthi, Madhav Jha, Marco Molinaro and Sofya Raskhodnikova -- Extractors for Polynomials Sources over Constant-Size Fields of Small Characteristic / Eli Ben-Sasson and Ariel Gabizon -- Multiple-Choice Balanced Allocation in (Almost) Parallel / Petra Berenbrink, Artur Czumaj, Matthias Englert, Tom Friedetzky and Lars Nagel -- Optimal Hitting Sets for Combinatorial Shapes / Aditya Bhaskara, Devendra Desai and Srikanth Srinivasan -- Tight Bounds for Testing k-Linearity / Eric Blais and Daniel Kane -- Pseudorandomness for Linear Length Branching Programs and Stack Machines / Andrej Bogdanov, Periklis A. Papakonstantinou and Andrew Wan -- A Discrepancy Lower Bound for Information Complexity / Mark Braverman and Omri Weinstein -- On the Coin Weighing Problem with the Presence of Noise / Nader H. Bshouty -- Information Complexity versus Corruption and Applications to Orthogonality and Gap-Hamming / Amit Chakrabarti, Ranganath Kondapally and Zhenghui Wang -- An Explicit VC-Theorem for Low-Degree Polynomials / Eshan Chattopadhyay, Adam Klivans and Pravesh Kothari -- Tight Bounds on the Threshold for Permuted k-Colorability / Varsha Dani, Cristopher Moore and Anna Olson -- Sparse and Lopsided Set Disjointness via Information Theory / Anirban Dasgupta, Ravi Kumar and D. Sivakumar -- Maximal Empty Boxes Amidst Random Points / Adrian Dumitrescu and Minghui Jiang -- Rainbow Connectivity of Sparse Random Graphs / Alan Frieze and Charalampos E. Tsourakakis -- Invertible Zero-Error Dispersers and Defective Memory with Stuck-At Errors / Ariel Gabizon and Ronen Shaltiel -- Two-Sided Error Proximity Oblivious Testing (Extended Abstract) / Oded Goldreich and Igor Shinkar -- Mirror Descent Based Database Privacy / Prateek Jain and Abhradeep Thakurta -- Analysis of k-Means++ for Separable Data / Ragesh Jaiswal and Nitin Garg -- A Sharper Local Lemma with Improved Applications / Kashyap Kolipaka, Mario Szegedy and Yixin Xu -- Finding Small Sparse Cuts by Random Walk / Tsz Chiu Kwok and Lap Chi Lau -- On Deterministic Sketching and Streaming for Sparse Recovery and Norm Estimation / Jelani Nelson, Huy L. Nguy{circ}ẽn and David P. Woodruff -- A New Upper Bound on the Query Complexity for Testing Generalized Reed-Muller codes / Noga Ron-Zewi and Madhu Sudan -- A Combination of Testability and Decodability by Tensor Products / Michael Viderman -- Extractors for Turing-Machine Sources / Emanuele Viola.
Record Nr. UPENN-9960097493503681
[International Workshop on Randomization and Approximation Techniques in Computer Science (15th : 2012 : Cambridge, MA)]  
Materiale a stampa
Lo trovi qui: University of Pennsylvania
Optical supercomputing [electronic resource] : 4th International Workshop, OSC 2012, in memory of H. John Caulfield, Bertinoro, Italy, July 19-21, 2012. Revised selected papers / Shlomi Dolev, Mihai Oltean (eds.).
Optical supercomputing [electronic resource] : 4th International Workshop, OSC 2012, in memory of H. John Caulfield, Bertinoro, Italy, July 19-21, 2012. Revised selected papers / Shlomi Dolev, Mihai Oltean (eds.).
Creatore [OSC 2012 (2012 : Bertinoro, Italy)]
Estensione 1 online resource.
Disciplina 621.39/1
Accesso persona Dolev, Shlomi
Oltean, Mihai
Genere/Forma Electronic books
Soggetto non controllato Computer science
Information theory
Electronic data processing
Quantum theory
Computing Methodologies
Quantum Information Technology, Spintronics
Quantum Physics
Quantum Optics
Laser Technology, Photonics
Theory of Computation
ISBN 9783642382505 (electronic bk.)
3642382509 (electronic bk.)
9783642382499
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UPENN-9960107453503681
[OSC 2012 (2012 : Bertinoro, Italy)]  
Materiale a stampa
Lo trovi qui: University of Pennsylvania
Similarity search and applications [electronic resource] : 5th International Conference, SISAP 2012, Toronto, ON, Canada, August 9-10, 2012. Proceedings / Gonzalo Navarro, Vladimir Pestov (eds.).
Similarity search and applications [electronic resource] : 5th International Conference, SISAP 2012, Toronto, ON, Canada, August 9-10, 2012. Proceedings / Gonzalo Navarro, Vladimir Pestov (eds.).
Creatore [International Workshop on Similarity Search and Applications (5th : 2012 : Toronto, Ont.)]
Estensione 1 online resource (x, 243 p.) : ill
Disciplina 025.04
Accesso persona Navarro, Gonzalo, 1969-
Pestov, Vladimir, 1956-
Genere/Forma Electronic books
Soggetto non controllato Computer science
Computer software
Electronic data processing
Database management
Information storage and retrieval systems
Optical pattern recognition
Information Storage and Retrieval
Data Structures
Algorithm Analysis and Problem Complexity
ISBN 9783642321535 (electronic bk.)
3642321534 (electronic bk.)
9783642321528
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Effective Principal Component Analysis / Santosh S. Vempala -- Future Trends in Similarity Searching / Pavel Zezula -- Snake Table: A Dynamic Pivot Table for Streams of k-NN Searches / Juan Manuel Barrios, Benjamin Bustos and Tomáš Skopal -- Algorithmic Exploration of Axiom Spaces for Efficient Similarity Search at Large Scale / Tomáš Skopal and Tomáš Bartoš -- Polyphasic Metric Index: Reaching the Practical Limits of Proximity Searching / Eric Sadit Tellez, Edgar Chavez and Karina Figueroa -- Efficient Similarity Search in Metric Spaces with Cluster Reduction / Luis G. Ares, Nieves R. Brisaboa, Alberto Ordóñez Pereira and Oscar Pedreira -- Cut-Region: A Compact Building Block for Hierarchical Metric Indexing / Jakub Lokoč, Přemysl Čech, Jiří Novák and Tomáš Skopal -- Static-to-Dynamic Transformation for Metric Indexing Structures / Bilegsaikhan Naidan and Magnus Lie Hetland -- DSACL+-tree: A Dynamic Data Structure for Similarity Search in Secondary Memory / Luis Britos, A. Marcela Printista and Nora Reyes -- Scalable Distributed Algorithm for Approximate Nearest Neighbor Search Problem in High Dimensional General Metric Spaces / Yury Malkov, Alexander Ponomarenko, Andrey Logvinov and Vladimir Krylov -- Parallel Approaches to Permutation-Based Indexing Using Inverted Files / Hisham Mohamed and Stéphane Marchand-Maillet -- Super-Linear Indices for Approximate Dictionary Searching / Leonid Boytsov -- Visual Image Search: Feature Signatures or/and Global Descriptors / Jakub Lokoč, David Novák, Michal Batko and Tomáš Skopal -- Revisiting Techniques for Lowerbounding the Dynamic Time Warping Distance / Tomáš Bartoš and Tomáš Skopal -- A Multivariate Correlation Distance for Vector Spaces / Richard Connor and Robert Moss -- Fast Similarity Computation in Factorized Tensors / Michael E. Houle, Hisashi Kashima and Michael Nett -- SIR: The Smart Image Retrieval Engine / Jakub Lokoč, Tomáš Grošup and Tomáš Skopal -- SimTandem: Similarity Search in Tandem Mass Spectra / Jiří Novák, Jakub Galgonek, David Hoksza and Tomáš Skopal.
Record Nr. UPENN-9960097733503681
[International Workshop on Similarity Search and Applications (5th : 2012 : Toronto, Ont.)]  
Materiale a stampa
Lo trovi qui: University of Pennsylvania
Algorithmic game theory [electronic resource] : 5th International Symposium, SAGT 2012, Barcelona, Spain, October 22-23, 2012. Proceedings / Maria Serna (ed.).
Algorithmic game theory [electronic resource] : 5th International Symposium, SAGT 2012, Barcelona, Spain, October 22-23, 2012. Proceedings / Maria Serna (ed.).
Creatore [SAGT 2012 (2012 : Barcelona, Spain)]
Estensione 1 online resource.
Disciplina 519.3
Accesso persona Serna, Maria, 1959-
Genere/Forma Electronic books
Soggetto non controllato Computer science
Electronic data processing
Computer simulation
Simulation and Modeling
e-Commerce/e-business
Models and Principles
Computers and Society
Numeric Computing
Probability and Statistics in Computer Science
ISBN 9783642339967 (electronic bk.)
3642339964 (electronic bk.)
9783642339950
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto A Classification of Weakly Acyclic Games / Krzysztof R. Apt and Sunil Simon -- Selfishness Level of Strategic Games / Krzysztof R. Apt and Guido Schäfer -- Mechanisms for Scheduling with Single-Bit Private Values / Vincenzo Auletta, George Christodoulou and Paolo Penna -- The Complexity of Decision Problems about Nash Equilibria in Win-Lose Games / Vittorio Bilò and Marios Mavronicolas -- An Optimal Bound to Access the Core in TU-Games / Sylvain Béal, Eric Rémila and Philippe Solal -- Convergence of Ordered Improvement Paths in Generalized Congestion Games / K. Ruben Brokkelkamp and Mees J. de Vries -- Basic Network Creation Games with Communication Interests / Andreas Cord-Landwehr, Martina Hüllmann, Peter Kling and Alexander Setzer -- Common Knowledge and State-Dependent Equilibria / Nuh Aygun Dalkiran, Moshe Hoffman, Ramamohan Paturi, Daniel Ricketts and Andrea Vattani -- Approximating the Minmax Value of Three-Player Games within a Constant is as Hard as Detecting Planted Cliques / Kord Eickmeyer, Kristoffer Arnstfelt Hansen and Elad Verbin -- Approximate Well-Supported Nash Equilibria Below Two-Thirds / John Fearnley, Paul W. Goldberg, Rahul Savani and Troels Bjerre Sørensen -- Mechanisms and Impossibilities for Truthful, Envy-Free Allocations / Michal Feldman and John Lai -- Capacitated Network Design Games / Michal Feldman and Tom Ron -- Decentralized Dynamics for Finite Opinion Games / Diodato Ferraioli, Paul W. Goldberg and Carmine Ventre -- On the Hardness of Network Design for Bottleneck Routing Games / Dimitris Fotakis, Alexis C. Kaporis, Thanasis Lianeas and Paul G. Spirakis -- Ad Auctions with Data / Hu Fu, Patrick Jordan, Mohammad Mahdian, Uri Nadav and Inbal Talgam-Cohen, et al. -- Commodity Auctions and Frugality Ratios / Paul W. Goldberg and Antony McCabe -- On the Communication Complexity of Approximate Nash Equilibria / Paul W. Goldberg and Arnoud Pastink -- Congestion Games with Capacitated Resources / Laurent Gourvès, Jérôme Monnot, Stefano Moretti and Nguyen Kim Thang -- Network Bargaining: Using Approximate Blocking Sets to Stabilize Unstable Instances / Jochen Könemann, Kate Larson and David Steiner -- Uniform Price Auctions: Equilibria and Efficiency / Evangelos Markakis and Orestis Telelis -- Minimizing Expectation Plus Variance / Marios Mavronicolas and Burkhard Monien -- A Theoretical Examination of Practical Game Playing: Lookahead Search / Vahab Mirrokni, Nithum Thain and Adrian Vetta.
Record Nr. UPENN-9960101483503681
[SAGT 2012 (2012 : Barcelona, Spain)]  
Materiale a stampa
Lo trovi qui: University of Pennsylvania
Principles and practice of constraint programming [electronic resource] : 18th International Conference, CP 2012, Québec City, QC, Canada, October 8-12, 2012. Proceedings / Michela Milano (ed.).
Principles and practice of constraint programming [electronic resource] : 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
Genere/Forma Electronic books
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 (electronic bk.)
3642335586 (electronic bk.)
9783642335570
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. UPENN-9960101343503681
[CP (Conference) (18th : 2012 : Québec, Québec)]  
Materiale a stampa
Lo trovi qui: University of Pennsylvania
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).
Accesso persona Dehne, F. (Frank), 1960-editor.
Solis-Oba, Roberto, editor
Sack, J.-R. (Jörg-Rüdiger), 1954-editor.
Genere/Forma Electronic books
Conference papers and proceedings
Ebook
Congresses
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. UCHICAGO-11079742
[WADS (Symposium) (13th : 2013 : London, Ont.)]  
Materiale a stampa
Lo trovi qui: University of Chicago
LATIN 2012: Theoretical informatics : 10th Latin American Symposium, Arequipa, Peru, April 16-20, 2012. Proceedings / David Fernández-Baca (ed.).
LATIN 2012: Theoretical informatics : 10th Latin American Symposium, Arequipa, Peru, April 16-20, 2012. Proceedings / David Fernández-Baca (ed.).
Creatore [Latin American Symposium on Theoretical Informatics (10th : 2012 : Arequipa, Peru)]
Estensione 1 online resource (xvii, 669 pages).
Accesso persona Fernández-Baca, David
Genere/Forma Electronic books
Conference papers and proceedings
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
Information Systems Applications (incl. Internet)
Computation by Abstract Devices
ISBN 9783642293443
3642293441
9783642293436
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto A Generalization of the Convex Kakeya Problem / Hee-Kap Ahn, Sang Won Bae, Otfried Cheong, Joachim Gudmundsson and Takeshi Tokuyama, et al. -- Low Complexity Scheduling Algorithm Minimizing the Energy for Tasks with Agreeable Deadlines / Eric Angel, Evripidis Bampis and Vincent Chau -- Bichromatic 2-Center of Pairs of Points / Esther M. Arkin, José Miguel Díaz-Báñez, Ferran Hurtado, Piyush Kumar and Joseph S.B. Mitchell, et al. -- Erdős-Rényi Sequences and Deterministic Construction of Expanding Cayley Graphs / Vikraman Arvind, Partha Mukhopadhyay and Prajakta Nimbhorkar -- A Better Approximation Ratio and an IP Formulation for a Sensor Cover Problem / Rafael da Ponte Barbosa and Yoshiko Wakabayashi -- On the Advice Complexity of the Knapsack Problem / Hans-Joachim Böckenhauer, Dennis Komm, Richard Královič and Peter Rossmanith -- Reoptimization of Some Maximum Weight Induced Hereditary Subgraph Problems / Nicolas Boria, Jérôme Monnot and Vangelis Th. Paschos -- On Plane Constrained Bounded-Degree Spanners / Prosenjit Bose, Rolf Fagerberg, André van Renssen and Sander Verdonschot.
Space-Efficient Approximation Scheme for Circular Earth Mover Distance / Joshua Brody, Hongyu Liang and Xiaoming Sun -- Density Classification on Infinite Lattices and Trees / Ana Bušić, Nazim Fatès, Jean Mairesse and Irène Marcovici -- Coloring Planar Homothets and Three-Dimensional Hypergraphs / Jean Cardinal and Matias Korman -- An Equivariance Theorem with Applications to Renaming / Armando Castañeda, Maurice Herlihy and Sergio Rajsbaum -- Renaming Is Weaker Than Set Agreement But for Perfect Renaming: A Map of Sub-consensus Tasks / Armando Castañeda, Damien Imbs, Sergio Rajsbaum and Michel Raynal -- Pseudorandomness of a Random Kronecker Sequence / Eda Cesaratto and Brigitte Vallée -- Revisiting the Cache Miss Analysis of Multithreaded Algorithms / Richard Cole and Vijaya Ramachandran -- Parameterized Complexity of MaxSat above Average / Robert Crowston, Gregory Gutin, Mark Jones, Venkatesh Raman and Saket Saurabh -- Solving the 2-Disjoint Connected Subgraphs Problem Faster Than 2n / Marek Cygan, Marcin Pilipczuk, Michał Pilipczuk and Jakub Onufry Wojtaszczyk.
On the Non-progressive Spread of Influence through Social Networks / MohammadAmin Fazli, Mohammad Ghodsi, Jafar Habibi, Pooya Jalaly Khalilabadi and Vahab Mirrokni, et al. -- Forbidden Patterns / Johannes Fischer, Travis Gagie, Tsvi Kopelowitz, Moshe Lewenstein and Veli Mäkinen, et al. -- Structural Complexity of Multiobjective NP Search Problems / Krzysztof Fleszar, Christian Glaßer, Fabian Lipp, Christian Reitwießner and Maximilian Witek -- k-Gap Interval Graphs / Fedor V. Fomin, Serge Gaspers, Petr Golovach, Karol Suchan and Stefan Szeider, et al. -- Decidability Classes for Mobile Agents Computing / Pierre Fraigniaud and Andrzej Pelc -- NE Is Not NP Turing Reducible to Nonexponentially Dense NP Sets / Bin Fu -- Efficient Arbitrary and Resolution Proofs of Unsatisfiability for Restricted Tree-Width / Martin Fürer -- Indexed Multi-pattern Matching / Travis Gagie, Kalle Karhu, Juha Kärkkäinen, Veli Mäkinen and Leena Salmela, et al. -- New Lower Bound on Max Cut of Hypergraphs with an Application to r-Set Splitting / Archontia C. Giannopoulou, Sudeshna Kolay and Saket Saurabh.
Cache Me If You Can: Capacitated Selfish Replication Games / Ragavendran Gopalakrishnan, Dimitrios Kanoulas, Naga Naresh Karuturi, C. Pandu Rangan and Rajmohan Rajaraman, et al. -- The Efficiency of MapReduce in Parallel External Memory / Gero Greiner and Riko Jacob -- Algorithms for Some H-Join Decompositions / Michel Habib, Antoine Mamcarz and Fabien de Montgolfier -- On the Bend-Number of Planar and Outerplanar Graphs / Daniel Heldt, Kolja Knauer and Torsten Ueckerdt -- Hiring above the m-th Best Candidate: A Generalization of Records in Permutations / Ahmed Helmi, Conrado Martínez and Alois Panholzer -- On the Performance of Smith's Rule in Single-Machine Scheduling with Nonlinear Cost / Wiebke Höhn and Tobias Jacobs -- Advantage of Overlapping Clusters for Minimizing Conductance / Rohit Khandekar, Guy Kortsarz and Vahab Mirrokni -- Independence of Tabulation-Based Hash Classes / Toryn Qwyllyn Klassen and Philipp Woelfel -- Oblivious Two-Way Finite Automata: Decidability and Complexity / Martin Kutrib, Andreas Malcher and Giovanni Pighizzini.
Clique-Colouring and Biclique-Colouring Unichord-Free Graphs / Hélio B. Macêdo Filho, Raphael C.S. Machado and Celina M.H. Figueiredo -- Random Walks and Bisections in Random Circulant Graphs / Bernard Mans and Igor E. Shparlinski -- The Feedback Arc Set Problem with Triangle Inequality Is a Vertex Cover Problem / Monaldo Mastrolilli -- Fully Analyzing an Algebraic Pólya Urn Model / Basile Morcrette -- Degree-Constrained Node-Connectivity / Zeev Nutov -- Survivable Network Activation Problems / Zeev Nutov -- On the Integrality Gap of the Subtour LP for the 1,2-TSP / Jiawei Qian, Frans Schalekamp, David P. Williamson and Anke van Zuylen -- A Theory and Algorithms for Combinatorial Reoptimization / Hadas Shachnai, Gal Tamir and Tami Tamir -- Capacity Achieving Two-Write WOM Codes / Amir Shpilka -- The Relationship between Inner Product and Counting Cycles / Xiaoming Sun, Chengu Wang and Wei Yu -- Approximating Minimum Label s-t Cut via Linear Programming / Linqing Tang and Peng Zhang.
Record Nr. UCHICAGO-11076805
[Latin American Symposium on Theoretical Informatics (10th : 2012 : Arequipa, Peru)]  
Materiale a stampa
Lo trovi qui: University of Chicago
Intelligent control and innovative computing [electronic resource] / Sio Iong Ao, Oscar Castillo, Xu Huang, editors
Intelligent control and innovative computing [electronic resource] / Sio Iong Ao, Oscar Castillo, Xu Huang, editors
Estensione 1 online resource (ix, 436 p.)
Disciplina 629.132/6
Accesso persona Ao, Sio-Iong
Castillo, Oscar, 1959-
Huang, Xu, Dr
Genere/Forma Electronic books
Soggetto non controllato Engineering
Electronic data processing
Computer engineering
Control
Computing Methodologies
Electrical Engineering
ISBN 9781461416951 (electronic bk.)
1461416957 (electronic bk.)
1461416949 (Cloth)
9781461416944 (Cloth)
9781461416944
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UCHICAGO-8872585
Materiale a stampa
Lo trovi qui: University of Chicago
System modeling and optimization : 25th IFIP TC 7 Conference, CSMO 2011, Berlin, Germany, September 12-16, 2011, Revised selected papers / Dietmar Hömberg, Fredi Tröltzsch (eds.).
System modeling and optimization : 25th IFIP TC 7 Conference, CSMO 2011, Berlin, Germany, September 12-16, 2011, Revised selected papers / Dietmar Hömberg, Fredi Tröltzsch (eds.).
Creatore [IFIP Conference on System Modeling and Optimization (25th : 2011 : Berlin, Germany)]
Estensione 1 online resource (xi, 568 pages) : illustrations (black and white).
Accesso persona Hömberg, Dietmar, editor
Tröltzsch, Fredi, 1951-editor
Genere/Forma Electronic books
Conference papers and proceedings
Congresses
Soggetto non controllato Computer science
Computer system performance
Electronic data processing
Computer simulation
Mathematical optimization
Numeric Computing
System Performance and Evaluation
Probability and Statistics in Computer Science
Mathematical Logic and Formal Languages
Simulation and Modeling
ISBN 9783642360626
3642360629
9783642360619
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Plenary Talks -- Second Order Conditions for L ² Local Optimality in PDE Control / Eduardo Casas -- Quadratic ODE and PDE Models of Drug Release Kinetics from Biodegradable Polymers / Michel C. Delfour, André Garon -- A Critical Note on Empirical (Sample Average, Monte Carlo) Approximation of Solutions to Chance Constrained Programs / René Henrion -- Convergence Rates for the Iteratively Regularized Landweber Iteration in Banach Space / Barbara Kaltenbacher -- Control of Distributed Parameter Systems -- Weak Compactness in the Space of Operator Valued Measures and Optimal Control / Nasiruddin Ahmed -- Adaptive Methods for Control Problems with Finite-Dimensional Control Space / Saheed Akindeinde, Daniel Wachsmuth -- Dynamic Contact Problem for Viscoelastic von Kármán-Donnell Shells / Igor Bock, Jiří Jarušek -- On Existence, Uniqueness, and Convergence of Optimal Control Problems Governed by Parabolic Variational Inequalities / Mahdi Boukrouche, Domingo A. Tarzia.
A Note on Linear Differential Variational Inequalities in Hilbert Space / Joachim Gwinner -- Model Order Reduction for Networks of ODE and PDE Systems / Michael Hinze, Ulrich Matthes -- Path-Planning with Collision Avoidance in Automotive Industry / Chantal Landry, Matthias Gerdts, René Henrion, Dietmar Hömberg -- Regularized Extremal Shift in Problems of Stable Control / Vyacheslav Maksimov -- New Necessary Conditions for Optimal Control Problems in Discontinuous Dynamic Systems / Ekaterina Kostina, Olga Kostyukova, Werner Schmidt -- Numerical Methods for the Optimal Control of Scalar Conservation Laws / Sonja Steffensen, Michael Herty, Lorenzo Pareschi -- Necessary Conditions for Convergence Rates of Regularizations of Optimal Control Problems / Daniel Wachsmuth, Gerd Wachsmuth -- Stochastic Optimization and Control -- Robustness Analysis of Stochastic Programs with Joint Probabilistic Constraints / Jitka Dupačová
State Estimation for Control Systems with a Multiplicative Uncertainty through Polyhedral Techniques / Elena K. Kostousova -- An Algorithm for Two-Stage Stochastic Quadratic Problems / Eugenio Mijangos -- Risk Minimizing Strategies for Tracking a Stochastic Target / Andrzej Palczewski -- Harvesting in Stochastic Environments: Optimal Policies in a Relaxed Model / Richard H. Stockbridge, Chao Zhu -- Estimation of Loan Portfolio Risk on the Basis of Markov Chain Model / Nikolay Timofeev, Galina Timofeeva -- Stabilization, Feedback, and Model Predictive Control -- MPC/LQG for Infinite-Dimensional Systems Using Time-Invariant Linearizations / Peter Benner, Sabine Hein -- On an Algorithm for Dynamic Reconstruction in Systems with Delay in Control / Marina Blizorukova -- Computation of Value Functions in Nonlinear Differential Games with State Constraints / Nikolai Botkin, Karl-Heinz Hoffmann, Natalie Mayer, Varvara Turova.
Geometric Conditions for Regularity of Viscosity Solution to the Simplest Hamilton-Jacobi Equation / Vladimir V. Goncharov, Fátima F. Pereira -- Stabilization of the Gas Flow in Star-Shaped Networks by Feedback Controls with Varying Delay / Martin Gugat, Markus Dick, Günter Leugering -- Real-Time Nonlinear Model Predictive Control of a Glass Forming Process Using a Finite Element Model / Janko Petereit, Thomas Bernard -- Exponential Stability of the System of Transmission of the Wave Equation with a Delay Term in the Boundary Feedback / Salah-Eddine Rebiai -- Nonlinear Stabilizers in Optimal Control Problems with Infinite Time Horizon / Alexander Tarasyev, Anastasia Usova -- Combined Feedforward/Model Predictive Tracking Control Design for Nonlinear Diffusion-Convection-Reaction-Systems / Tilman Utz, Knut Graichen, Andreas Kugi -- Temporal and One-Step Stabilizability and Detectability of Time-Varying Discrete-Time Linear Systems / L. Gerard Van Willigenburg, Willem L. De Koning -- Flow Control.
Optimal Control of Unsteady Flows Using a Discrete and a Continuous Adjoint Approach / Angelo Carnarius, Frank Thiele, Emre Özkaya, Anil Nemili, Nicolas R. Gauger -- Well-Posedness and Long Time Behavior for a Class of Fluid-Plate Interaction Models / Igor Chueshov, Iryna Ryzhkova -- On the Normal Semilinear Parabolic Equations Corresponding to 3D Navier-Stokes System / Andrei Fursikov -- A Nonlinear Model Predictive Concept for Control of Two-Phase Flows Governed by the Cahn-Hilliard Navier-Stokes System / Michael Hinze, Christian Kahle -- Embedding Domain Technique for a Fluid-Structure Interaction Problem / Cornel Marius Murea, Andrei Halanay -- Shape and Structural Optimization -- Note on Level Set Functions / Piotr Fulmański, Alicja Miniak-Górecka -- Fixed Domain Algorithms in Shape Optimization for Stationary Navier-Stokes Equations / Andrei Halanay, Cornel Marius Murea -- An Electrohydrodynamic Equilibrium Shape Problem for Polymer Electrolyte Membranes in Fuel Cells / Sven-Joachim Kimmerle, Peter Berg, Arian Novruzi.
Reduction Strategies for Shape Dependent Inverse Problems in Haemodynamics / Toni Lassila, Andrea Manzoni, Gianluigi Rozza -- Structural Optimization of Variational Inequalities Using Piecewise Constant Level Set Method / Andrzej Myśliński -- Numerical Shape Optimization via Dynamic Programming / Jan Pustelnik -- Shape Sensitivity Analysis of Incompressible Non-Newtonian Fluids / Jan Sokołowski, Jan Stebel -- Finite Element Discretization in Shape Optimization Problems for the Stationary Navier-Stokes Equation / Dan Tiba -- Strong Shape Derivative for the Wave Equation with Neumann Boundary Condition / Jean-Paul Zolésio, Lorena Bociu -- Applications and Control of Lumped Parameter Systems -- The Exact l 1 Penalty Function Method for Constrained Nonsmooth Invex Optimization Problems / Tadeusz Antczak -- The Minimum Energy Building Temperature Control / Marek Długosz -- Introducing Periodic Parameters in a Marine Ecosystem Model Using Discrete Linear Quadratic Control / Mustapha El Jarbi, Thomas Slawig, Andreas Oschlies.
Avoidance Trajectories Using Reachable Sets and Parametric Sensitivity Analysis / Matthias Gerdts, Ilaria Xausa -- Theoretical Analysis and Optimization of Nonlinear ODE Systems for Marine Ecosystem Models / Anna Heinle, Thomas Slawig -- Solving Electric Market Quadratic Problems by Branch and Fix Coordination Methods / F. Javier Heredia, Cristina Corchero, Eugenio Mijangos -- Asymptotic Behavior of Nonlinear Transmission Plate Problem / Mykhailo Potomkin -- p-th Order Optimality Conditions for Singular Lagrange Problem in Calculus of Variations. Elements of p-Regularity Theory / Agnieszka Prusińska, Ewa Szczepanik, Alexey Tret'yakov -- Mathematical and Implementation Challenges Associated with Testing of the Dynamical Systems / Pawel Skruch -- Numerical Parameters Estimation in Models of Pollutant Transport with Chemical Reaction / Fabiana Zama, Roberta Ciavarelli, Dario Frascari, Davide Pinelli -- N Dimensional Crowd Motion / Jean-Paul Zolésio, Paola Goatin.
Record Nr. UCHICAGO-11078229
[IFIP Conference on System Modeling and Optimization (25th : 2011 : Berlin, Germany)]  
Materiale a stampa
Lo trovi qui: University of Chicago
GPU solutions to multi-scale problems in science and engineering / edited by David A. Yuen [and others]
GPU solutions to multi-scale problems in science and engineering / edited by David A. Yuen [and others]
Estensione 1 online resource.
Accesso persona Yuen, David A.
Accesso convegno International Workshop of GPU Solutions to Multiscale Problems in Science and Engineering (1st : 2010 : Harbin, China)
Genere/Forma Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Electronic data processing
Materials
Numeric Computing
Geophysics/Geodesy
Continuum Mechanics and Mechanics of Materials
ISBN 9783642164057
3642164056
3642164048
9783642164040
1299197469
9781299197466
Classificazione 54.73
54.79
54.29
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Introductory Material -- Why Do Scientists and Engineers Need GPU's Today? / Matthew G. Knepley, David A. Yuen -- Happenings at the GPU Conference / Xian-yu Lang, Long Wang, David A. Yuen -- Hardware and Installations -- Efficiency, Energy Efficiency and Programming of Accelerated HPC Servers: Highlights of PRACE Studies / Lennart Johnsson -- GRAPE and GRAPE-DR / Junichiro Makino -- Software libraries -- Parray: A Unifying Array Representation for Heterogeneous Parallelism / Yifeng Chen, Xiang Cui, Hong Mei -- Practical Random Linear Network Coding on GPUs / Xiaowen Chu, Kaiyong Zhao -- Preliminary Implementation of PETSc Using GPUs / Victor Minden, Barry Smith, Matthew G. Knepley -- Industrial Applications -- Multi-scale Continuum-Particle Simulation on CPU-GPU Hybrid Supercomputer / Wei Ge, Ji Xu, Qingang Xiong, Xiaowei Wang, Feiguo Chen, Limin Wang, Chaofeng Hou.
GPU Best Practices for HPC Applications at Industry Scale / Peng Wang, Stan Posey -- Simulation of 1D Condensing Flows with CESE Method on GPU Cluster / Wei Ran, Wan Cheng, Fenghua Qin, Xisheng Luo -- Two-Way Coupled Sprays and Liquid Surface: A GPU-Based Multi-Scale Fluid Animation Method / Guijuan Zhang, Gaojin Wen, Shengzhong Feng -- High Performance Implementation of Binomial Option Pricing Using CUDA / Yechen Gui, Shenzhong Feng, Gaojin Wen, Guijuan Zhang, Yanyi Wan, Tao Liu -- Research of Acceleration MS-Alignment Identifying Post-Translational Modifications on GPU / Zhai Yantang, Tu Qiang, Lang Xianyu, Lu Zhonghua, Chi Xuebin -- Chemical Physical Applications -- GPU Tuning for First-Principle Electronic Structure Simulations / Yue Wu, Weile Jia, Lin-Wang Wang, Weiguo Gao, Long Wang, Xuebin Chi -- Nucleation and Reaction of Dislocations in Some Metals and Intermetallic Compound TiAl / D.S. Xu, H. Wang, R. Yang.
Geophysical and Fluid Dynamical Application -- Large-Scale Numerical Weather Prediction on GPU Supercomputer / Takayuki Aoki, Takashi Shimokawabe -- Targeting Atmospheric Simulation Algorithms for Large, Distributed-Memory, GPU-Accelerated Computers / Matthew R. Norman -- Investigation of Solving 3D Navier-Stokes Equations with Hybrid Spectral Scheme Using GPU / Ying Xu, Lei Xu, D.D. Zhang, J.F. Yao -- Correlation of Reservoir and Earthquake by Multi Temporal-Spatial Scale Flow Driven Pore-Network Crack Model in Parallel CPU and GPU Platform / B.J. Zhu, C. Liu, Y.L. Shi, D.A. Yuen -- A Full GPU Simulation of Evolving Fracture Networks in a Heterogeneous Poro-Elasto-Plastic Medium with Effective-Stress-Dependent Permeability / Boris Galvan, Stephen Miller -- GPU Implementation of Multigrid Solver for Stokes Equation with Strongly Variable Viscosity / Liang Zheng, Taras Gerya, Matthew Knepley, David A. Yuen, Huai Zhang, Yaolin Shi.
High Rayleigh Number Mantle Convection on GPU / David A. Sanchez, Christopher Gonzalez, David A. Yuen, Grady B. Wright -- High-Order Discontinuous Galerkin Methods by GPU Metaprogramming / Andreas Klöckner, Timothy Warburton, Jan S. Hesthaven -- Accelerating Large-Scale Simulation of Seismic Wave Propagation by Multi-GPUs and Three-Dimensional Domain Decomposition / Taro Okamoto, Hiroshi Takenaka, Takeshi Nakamura, Takayuki Aoki -- Support Operator Rupture Dynamics on GPU / Shenyi Song, Yichen Zhou, Tingxing Dong, David A. Yuen -- Algorithms and Solvers -- A Geometric Multigrid Solver on GPU Clusters / Harald Koestler, Daniel Ritter, Christian Feichtinger -- Accelerating 2-Dimensional CFD on Multi-GPU Supercomputer / Sen Li, Xinliang Li, Long Wang, Zhonghua Lu, Xuebin Chi -- Efficient Rendering of Order Independent Transparency on the GPUs / Fang Liu.
Performance Evaluation of Fast Fourier Transform Application on Heterogeneous Platforms / Xiaojun Li, Yang Gao, Xinyu Ma, Ying Liu -- Accurate Evaluation of Local Averages on GPGPUs / Dmitry A. Karpeev, Matthew G. Knepley, Peter R. Brune -- Accelerating Swarm Intelligence Algorithms with GPU-Computing / Robin M. Weiss -- Asynchronous Parallel Logic Simulation on Modern Graphics Processors / Yangdong Deng, Yuhao Zhu, Wang Bo -- Implementations of Main Algorithms for Generalized Symmetric Eigenproblem on GPU Accelerator / Yonghua Zhao, Fang Liu, Yangang Wang, Xuebin Chi -- Using Mixed Precision Algorithm for LINPACK Benchmark on AMD GPU / Xianyi Zhang, Yunquan Zhang, Lei Wang -- Parallel Lattice Boltzmann Method on CUDA Architecture / Weibing Feng, Wu Zhang, Bing He, Kai Wang.
Visualization -- Iterative Deblurring of Large 3D Datasets from Cryomicrotome Imaging Using an Array of GPUs / Thomas Geenen, Pepijn van Horssen, Jos A.E. Spaan, Maria Siebes -- WebViz: A Web-Based Collaborative Interactive Visualization System for Large-Scale Data Sets / Yichen Zhou, Robin M. Weiss, Elizabeth McArthur, David Sanchez, Xiang Yao, Dave Yuen -- Interactive Visualization Tool for Planning Cancer Treatment / R. Wcisło, W. Dzwinel, P. Gosztyla, D.A. Yuen, W. Czech -- High Throughput Heterogeneous Computing and Interactive Visualization on a Desktop Supercomputer / S. Zhang, R. Weiss, S. Wang, G.A. Barnett Jr., D.A. Yuen -- Applications of Microtomography to Multiscale System Dynamics: Visualisation, Characterisation and High Performance Computation / Jie Liu, Klaus Regenauer-Lieb, Chris Hines, Shuxia Zhang, Paul Bourke, Florian Fusseis -- Three-Dimensional Reconstruction of Electron Tomography Using Graphic Processing Units (GPUs) / Xiaohua Wan, Fa Zhang, Qi Chu, Zhiyong Liu.
Record Nr. UCHICAGO-11078025
Materiale a stampa
Lo trovi qui: University of Chicago