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.
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
Variational analysis and aerospace engineering [electronic resource] : Mathematical challenges for aerospace design ; contributions from a workshop held at the School of Mathematics in Erice, Italy / Giuseppe Buttazzo, Aldo Frediani, editors
Variational analysis and aerospace engineering [electronic resource] : Mathematical challenges for aerospace design ; contributions from a workshop held at the School of Mathematics in Erice, Italy / Giuseppe Buttazzo, Aldo Frediani, editors
Estensione 1 online resource (xiv, 462 p.)
Disciplina 515/.64
Accesso persona Buttazzo, Giuseppe
Frediani, Aldo
Genere/Forma Electronic books
Soggetto non controllato Mathematics
Global analysis (Mathematics)
Engineering mathematics
Engineering design
Analysis
Appl.Mathematics/Computational Methods of Engineering
Numeric Computing
Continuum Mechanics and Mechanics of Materials
Applications of Mathematics
ISBN 9781461424352 (electronic bk.)
1461424356 (electronic bk.)
9781461424345
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto PrandtlPlane Propelled with Liquid Hydrogen: A Preliminary Study / Nicola Beccasio, Marco Tesconi and Aldo Frediani -- Aeroacousto-Elastic Modeling for Response Analysis of Helicopter Rotors / Massimo Gennaretti and Giovanni Bernardini -- Crack Extension Energy Rate and Energetic Approaches in Elastic-Plastic Fracture Mechanics / Vincenzo Binante -- A Criterion for Ductile Crack Growth Based on the Energy-Momentum Tensor / Vincenzo Binante and Aldo Frediani -- Optimal Location of Support Points in the Kirchhoff Plate / Giuseppe Buttazzo and Sergey A. Nazarov -- A Code for Shape Generation and Aerodynamic Design of Aircraft / Rauno Cavallaro and Aldo Frediani -- Design of Solar Powered Unmanned Biplanes for HALE Missions / Vittorio Cipolla and Aldo Frediani -- The PrandtlPlane Configuration: Overview on Possible Applications to Civil Aviation / Aldo Frediani, Vittorio Cipolla and Emanuele Rizzo -- The Lifting System of a PrandtlPlane, Part 1: Design and Analysis of a Light Alloy Structural Solution / Dario Dal Canto, Aldo Frediani, Gian Luca Ghiringhelli and Mauro Terraneo.
The Lifting System of a PrandtlPlane, Part 2: Preliminary Study on Flutter Characteristics / N. Divoux and A. Frediani -- The Lifting System of a PrandtlPlane, Part 3: Structures Made in Composites / Aldo Frediani, Flavio Quattrone and Francesco Contini -- Elastic Structures in Adhesion Interaction / Francesco Maddalena, Danilo Percivale and Franco Tomarelli -- Conceptual Design of a Very Large PrandtlPlane Freighter / Fabrizio Oliviero and Aldo Frediani -- Mesh Adaptivity and Optimal Shape Design for Aerospace / Frédéric Alauzet, Bijan Mohammadi and Olivier Pironneau -- Numerical Simulation of Sailing Boats: Dynamics, FSI, and Shape Optimization / Matteo Lombardi, Nicola Parolini, Alfio Quarteroni and Gianluigi Rozza -- On the Way to ACARE 2020 and Beyond / Dieter Schmitt -- Design Problems of Anisotropic Structures: Some Recent Results / Paolo Vannucci, Boris Desmorat and Angela Vincenti -- The Warlike Interest in Impact Theories / Piero Villaggio -- Flight Mechanics Modeling of the PrandtlPlane for Conceptual and Preliminary Design / Mark Voskuijl, Jan de Klerk and Daan van Ginneken.
Record Nr. UCHICAGO-8873799
Materiale a stampa
Lo trovi qui: University of Chicago
High-Performance Scientific Computing [electronic resource] : Algorithms and Applications / edited by Michael W. Berry, Kyle A. Gallivan, Efstratios Gallopoulos, Ananth Grama, Bernard Philippe, Yousef Saad, Faisal Saied
High-Performance Scientific Computing [electronic resource] : Algorithms and Applications / edited by Michael W. Berry, Kyle A. Gallivan, Efstratios Gallopoulos, Ananth Grama, Bernard Philippe, Yousef Saad, Faisal Saied
Creatore [Berry, Michael W.]
Edizione [2012.]
Accesso persona Gallivan, Kyle A.
Gallopoulos, Efstratios
Grama, Ananth
Philippe, Bernard
Saad, Y.
Saied, Faisal
Accesso ente SpringerLink (Online service)
Soggetto non controllato Numeric Computing
Information Storage and Retrieval
Math Applications in Computer Science
Computer Science
ISBN 9781447124375
Formato Risorse elettroniche
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UCHICAGO-8618544
[Berry, Michael W.]  
Risorse elettroniche
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
Mathematical foundations of computer science 2012 : 37th International Symposium, MFCS 2012, Bratislava, Slovakia, August 27-31, 2012. Proceedings / Branislav Rovan, Vladimiro Sassone, Peter Widmayer (eds.).
Mathematical foundations of computer science 2012 : 37th International Symposium, MFCS 2012, Bratislava, Slovakia, August 27-31, 2012. Proceedings / Branislav Rovan, Vladimiro Sassone, Peter Widmayer (eds.).
Creatore [Symposium on Mathematical Foundations of Computer Science (1972- ) (37th : 2012 : Bratislava, Slovakia)]
Estensione 1 online resource (xv, 838 pages) : illustrations.
Accesso persona Rovan, B. (Branislav)
Sassone, Vladimiro
Widmayer, Peter
Genere/Forma Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Data structures (Computer science)
Computational complexity
Algorithm Analysis and Problem Complexity
Discrete Mathematics in Computer Science
Numeric Computing
Mathematical Logic and Formal Languages
Math Applications in Computer Science
ISBN 9783642325892
3642325890
9783642325885
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto On the Complexity of Ontological Reasoning under Disjunctive Existential Rules / Georg Gottlob, Marco Manna, Michael Morak and Andreas Pieris -- New Races in Parameterized Algorithmics / Christian Komusiewicz and Rolf Niedermeier -- Scott Is Always Simple / Antonino Salibra -- A Toolkit for Proving Limitations of the Expressive Power of Logics / Nicole Schweikardt -- How to Reconstruct a Genome / Esko Ukkonen -- Simple Models for Recursive Schemes / Igor Walukiewicz -- Transportation under Nasty Side Constraints / Gerhard J. Woeginger -- Computation of Least Fixed Points / Mihalis Yannakakis -- Unordered Constraint Satisfaction Games / Lauri Ahlroth and Pekka Orponen -- A Polynomial-Time Algorithm for Computing the Maximum Common Subgraph of Outerplanar Graphs of Bounded Degree / Tatsuya Akutsu and Takeyuki Tamura -- Reductions to the Set of Random Strings: The Resource-Bounded Case / Eric Allender, Harry Buhrman, Luke Friedman and Bruno Loff -- Approximate Graph Isomorphism / Vikraman Arvind, Johannes Köbler, Sebastian Kuhnert and Yadu Vasudev -- Near-Optimal Expanding Generator Sets for Solvable Permutation Groups / Vikraman Arvind, Partha Mukhopadhyay, Prajakta Nimbhorkar and Yadu Vasudev -- Generating Functions of Timed Languages / Eugene Asarin, Nicolas Basset, Aldric Degorre and Dominique Perrin -- The Robust Set Problem: Parameterized Complexity and Approximation / Cristina Bazgan and Morgan Chopin -- Mortality for 2 x 2 Matrices Is NP-Hard / Paul C. Bell, Mika Hirvensalo and Igor Potapov -- Solving Counter Parity Games / Dietmar Berwanger, Łukasz Kaiser and Simon Le{szlig}enich -- Drawing Planar Graphs on Points Inside a Polygon / Therese Biedl and Peter Floderus -- New Advances in Reoptimizing the Minimum Steiner Tree Problem / Davide Bilò and Anna Zych -- Smoothed Complexity Theory / Markus Bläser and Bodo Manthey -- Abelian Pattern Avoidance in Partial Words / Francine Blanchet-Sadri and Sean Simmons -- The Complexity of Rerouting Shortest Paths / Paul Bonsma -- Computing with Large Populations Using Interactions / Olivier Bournez, Pierre Fraigniaud and Xavier Koegler -- Pancake Flipping Is Hard / Laurent Bulteau, Guillaume Fertin and Irena Rusu -- In-place Heap Construction with Optimized Comparisons, Moves, and Cache Misses / Jingsen Chen, Stefan Edelkamp, Amr Elmasry and Jyrki Katajainen -- Model Checking Stochastic Branching Processes / Taolue Chen, Klaus Dräger and Stefan Kiefer.
Parameterized Study of the Test Cover Problem / Robert Crowston, Gregory Gutin, Mark Jones, Saket Saurabh and Anders Yeo -- Sitting Closer to Friends Than Enemies, Revisited / Marek Cygan, Marcin Pilipczuk, Michał Pilipczuk and Jakub Onufry Wojtaszczyk -- A Dichotomy Theorem for Homomorphism Polynomials / Nicolas de Rugy-Altherre -- Finite State Transducers for Modular Möbius Number Systems / Martin Delacourt and Petr Kůrka -- Zero-Knowledge Proofs via Polynomial Representations / Giovanni Di Crescenzo and Vadym Fedyukovych -- Cluster Vertex Deletion: A Parameterization between Vertex Cover and Clique-Width / Martin Doucha and Jan Kratochvíl -- On the Impact of Fair Best Response Dynamics / Angelo Fanelli, Luca Moscardelli and Alexander Skopalik -- Fast Balanced Partitioning Is Hard Even on Grids and Trees / Andreas Emil Feldmann -- A Characterization of Bispecial Sturmian Words / Gabriele Fici -- Online Sum-Radii Clustering / Dimitris Fotakis and Paraschos Koutris -- Observe and Remain Silent (Communication-Less Agent Location Discovery) / Tom Friedetzky, Leszek Gąsieniec, Thomas Gorry and Russell Martin -- When Trees Grow Low: Shrubs and Fast MSO1 / Robert Ganian, Petr Hliněný, Jaroslav Nešetřil, Jan Obdržálek and Patrice Ossona de Mendez, et al. -- Strategy Machines and Their Complexity / Marcus Gelderie -- Coloring Graphs Characterized by a Forbidden Subgraph / Petr A. Golovach, Daniël Paulusma and Bernard Ries -- Obtaining Planarity by Contracting Few Edges / Petr A. Golovach, Pim van 't Hof and Daniël Paulusma -- Light Spanners in Bounded Pathwidth Graphs / Michelangelo Grigni and Hao-Hsiang Hung -- Planarizing Gadgets for Perfect Matching Do Not Exist / Rohit Gurjar, Arpita Korwar, Jochen Messner, Simon Straub and Thomas Thierauf -- Kernels for Edge Dominating Set: Simpler or Smaller / Torben Hagerup -- Categories of Coalgebraic Games / Furio Honsell, Marina Lenisa and Rekha Redamalla -- Quasi-recognizable vs MSO Definable Languages of One-Dimensional Overlapping Tiles / (Extended Abstract) / David Janin -- An Improved Approximation Scheme for Variable-Sized Bin Packing / Klaus Jansen and Stefan Kraft -- Gathering an Even Number of Robots in an Odd Ring without Global Multiplicity Detection / Sayaka Kamei, Anissa Lamani, Fukuhito Ooshita and Sébastien Tixeuil -- Reversal Hierarchies for Small 2DFAs / Christos A. Kapoutsis and Giovanni Pighizzini.
Strictness of the Collapsible Pushdown Hierarchy / Alexander Kartzow and Paweł Parys -- Computational Complexity of Smooth Differential Equations / Akitoshi Kawamura, Hiroyuki Ota, Carsten Rösnick and Martin Ziegler -- The Lower Reaches of Circuit Uniformity / Christoph Behle, Andreas Krebs, Klaus-Jörn Lange and Pierre McKenzie -- The Join Levels of the Trotter-Weil Hierarchy Are Decidable / Manfred Kufleitner and Alexander Lauser -- Equations X+A=B and (X+X)+C=(X -- X)+D over Sets of Natural Numbers / Tommi Lehtinen -- Weakly-Synchronized Ground Tree Rewriting (with Applications to Verifying Multithreaded Programs) / Anthony Widjaja Lin -- Descriptional Complexity of Deterministic Regular Expressions / Katja Losemann, Wim Martens and Matthias Niewerth -- Identity Testing, Multilinearity Testing, and Monomials in Read-Once/Twice Formulas and Branching Programs / Meena Mahajan, B.V. Raghavendra Rao and Karteek Sreenivasaiah -- Fine and Wilf's Theorem and Pseudo-repetitions / Florin Manea, Robert Mercaş and Dirk Nowotka -- Taking It to the Limit: Approximate Reasoning for Markov Processes / Kim Guldstrand Larsen, Radu Mardare and Prakash Panangaden -- Asymmetric Swap-Equilibrium: A Unifying Equilibrium Concept for Network Creation Games / Matúš Mihalák and Jan Christoph Schlegel -- Between Tree Patterns and Conjunctive Queries: Is There Tractability beyond Acyclicity? / Filip Murlak, Michał Ogiński and Marcin Przybyłko -- Reducing a Target Interval to a Few Exact Queries / Jesper Nederlof, Erik Jan van Leeuwen and Ruben van der Zwaan -- Maximum Cliques in Graphs with Small Intersection Number and Random Intersection Graphs / Sotiris Nikoletseas, Christoforos Raptopoulos and Paul G. Spirakis -- A Finite Basis for 'Almost Future' Temporal Logic over the Reals / Dorit Pardo (Ordentlich) and Alexander Rabinovich -- Constructing Premaximal Ternary Square-Free Words of Any Level / Elena A. Petrova and Arseny M. Shur -- Regularity Problems for Weak Pushdown [omega]-Automata and Games / Christof Löding and Stefan Repke -- Computational Aspects of Cellular Automata on Countable Sofic Shifts / Ville Salo and Ilkka Törmä -- Computing Lempel-Ziv Factorization Online / Tatiana Starikovskaya -- On Two Stronger Versions of Dejean's Conjecture / Igor N. Tunev and Arseny M. Shur -- Probabilistic Automata and Probabilistic Logic / Thomas Weidner -- A Quadratic Vertex Kernel for Feedback Arc Set in Bipartite Tournaments / Mingyu Xiao and Jiong Guo.
Record Nr. UCHICAGO-11077231
[Symposium on Mathematical Foundations of Computer Science (1972- ) (37th : 2012 : Bratislava, Slovakia)]  
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
Combinatorial pattern matching : 23rd Annual Symposium, CPM 2012, Helsinki, Finland, July 3-5, 2012. Proceedings / Juha Kärkkäinen, Jens Stoye (eds.).
Combinatorial pattern matching : 23rd Annual Symposium, CPM 2012, Helsinki, Finland, July 3-5, 2012. Proceedings / Juha Kärkkäinen, Jens Stoye (eds.).
Creatore [CPM (Symposium) (23rd : 2012 : Helsinki, Finland)]
Estensione 1 online resource.
Accesso persona Kärkkäinen, Juha
Stoye, Jens
Genere/Forma Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Data structures (Computer science)
Computer software
Electronic data processing
Computational complexity
Optical pattern recognition
Bioinformatics
Pattern Recognition
Algorithm Analysis and Problem Complexity
Numeric Computing
Discrete Mathematics in Computer Science
Data Structures
Computational Biology/Bioinformatics
ISBN 9783642312656
3642312659
9783642312649
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Gene Regulation, Protein Networks and Disease: A Computational Perspective / Ron Shamir -- Wavelet Trees for All / Gonzalo Navarro -- The Maximum Number of Squares in a Tree / Maxime Crochemore, Costas S. Iliopoulos, Tomasz Kociumaka, Marcin Kubica and Jakub Radoszewski, et al. -- Faster and Simpler Minimal Conflicting Set Identification / (Extended Abstract) / Aïda Ouangraoua and Mathieu Raffinot -- Partitioning into Colorful Components by Minimum Edge Deletions / Sharon Bruckner, Falk Hüffner, Christian Komusiewicz, Rolf Niedermeier and Sven Thiel, et al. -- Approximation Algorithms and Hardness Results for Shortest Path Based Graph Orientations / Dima Blokh, Danny Segev and Roded Sharan -- Constant-Time Word-Size String Matching / Dany Breslauer, Leszek Gąsieniec and Roberto Grossi -- Pattern Matching in Multiple Streams / Raphaël Clifford, Markus Jalsenius, Ely Porat and Benjamin Sach -- An Efficient Linear Pseudo-minimization Algorithm for Aho-Corasick Automata / Omar AitMous, Frédérique Bassino and Cyril Nicaud -- Efficient Two-Dimensional Pattern Matching with Scaling and Rotation and Higher-Order Interpolation / Christian Hundt and Florian Wendland -- Hardness of Longest Common Subsequence for Sequences with Bounded Run-Lengths / Guillaume Blin, Laurent Bulteau, Minghui Jiang, Pedro J. Tejada and Stéphane Vialette -- Near Linear Time Construction of an Approximate Index for All Maximum Consecutive Sub-sums of a Sequence / Ferdinando Cicalese, Eduardo Laber, Oren Weimann and Raphael Yuster -- The Complexity of String Partitioning / Anne Condon, Ján Maňuch and Chris Thachuk -- Towards an Optimal Space-and-Query-Time Index for Top-k Document Retrieval / Wing-Kai Hon, Rahul Shah and Sharma V. Thankachan -- Document Listing for Queries with Excluded Pattern / Wing-Kai Hon, Rahul Shah, Sharma V. Thankachan and Jeffrey Scott Vitter -- Cross-Document Pattern Matching / Gregory Kucherov, Yakov Nekrich and Tatiana Starikovskaya -- FEMTO: Fast Search of Large Sequence Collections / Michael P. Ferguson -- Speeding Up q-Gram Mining on Grammar-Based Compressed Texts / Keisuke Goto, Hideo Bannai, Shunsuke Inenaga and Masayuki Takeda -- Simple and Efficient LZW-Compressed Multiple Pattern Matching / Paweł Gawrychowski -- Computing the Burrows-Wheeler Transform of a String and Its Reverse / Enno Ohlebusch, Timo Beller and Mohamed I. Abouelhoda -- Efficient Algorithm for Circular Burrows-Wheeler Transform / Wing-Kai Hon, Tsung-Han Ku, Chen-Hua Lu, Rahul Shah and Sharma V. Thankachan -- Least Random Suffix/Prefix Matches in Output-Sensitive Time / Niko Välimäki -- Compressed String Dictionary Look-Up with Edit Distance One / Djamal Belazzougui and Rossano Venturini -- Time-Space Trade-Offs for Longest Common Extensions / Philip Bille, Inge Li Gørtz, Benjamin Sach and Hjalte Wedel Vildhøj -- Local Exact Pattern Matching for Non-fixed RNA Structures / Mika Amit, Rolf Backofen, Steffen Heyne, Gad M. Landau and Mathias Möhl, et al. -- Impact of the Energy Model on the Complexity of RNA Folding with Pseudoknots / Saad Sheikh, Rolf Backofen and Yann Ponty -- Finding Longest Common Segments in Protein Structures in Nearly Linear Time / Yen Kaow Ng, Hirotaka Ono, Ling Ge and Shuai Cheng Li -- A Linear Kernel for the Complementary Maximal Strip Recovery Problem / Haitao Jiang and Binhai Zhu -- Efficient Exponential Time Algorithms for Edit Distance between Unordered Trees / Tatsuya Akutsu, Takeyuki Tamura, Daiji Fukagawa and Atsuhiro Takasu -- Fixed-Parameter Algorithms for Finding Agreement Supertrees / David Fernández-Baca, Sylvain Guillemot, Brad Shutters and Sudheer Vakati -- Computing the Rooted Triplet Distance between Galled Trees by Counting Triangles / Jesper Jansson and Andrzej Lingas -- Minimum Leaf Removal for Reconciliation: Complexity and Algorithms / Riccardo Dondi and Nadia El-Mabrouk -- On the Closest String via Rank Distance / Liviu P. Dinu and Alexandru Popa -- On Approximating String Selection Problems with Outliers / Christina Boucher, Gad M. Landau, Avivit Levy, David Pritchard and Oren Weimann -- The Parameterized Complexity of the Shared Center Problem / Zhi-Zhong Chen, Lusheng Wang and Wenji Ma.
Record Nr. UCHICAGO-11076949
[CPM (Symposium) (23rd : 2012 : Helsinki, Finland)]  
Materiale a stampa
Lo trovi qui: University of Chicago