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.
Parameterized and exact computation : 6th International Symposium, IPEC 2011, Saarbrücken, Germany, September 6-8, 2011. Revised selected papers / edited by Dániel Marx, Peter Rossmanith
Parameterized and exact computation : 6th International Symposium, IPEC 2011, Saarbrücken, Germany, September 6-8, 2011. Revised selected papers / edited by Dániel Marx, Peter Rossmanith
Creatore [IPEC (Symposium) (6th : 2011 : Saarbrücken, Germany)]
Estensione 1 online resource (viii, 271 pages).
Accesso persona Marx, Dániel
Rossmanith, Peter
Genere/Forma Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Information theory
Computer software
Computational complexity
Algebra -- Data processing
Algorithms
Algorithm Analysis and Problem Complexity
Discrete Mathematics in Computer Science
Theory of Computation
Symbolic and Algebraic Manipulation
Computation by Abstract Devices
ISBN 9783642280504
3642280501
9783642280498
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto On Multiway Cut Parameterized above Lower Bounds / Marek Cygan, Marcin Pilipczuk, Michał Pilipczuk and Jakub Onufry Wojtaszczyk -- Parameterized Complexity of Firefighting Revisited / Marek Cygan, Fedor V. Fomin and Erik Jan van Leeuwen -- Parameterized Complexity in Multiple-Interval Graphs: Domination / Minghui Jiang and Yong Zhang -- A Faster Algorithm for Dominating Set Analyzed by the Potential Method / Yoichi Iwata -- Contracting Graphs to Paths and Trees / Pinar Heggernes, Pim van 't Hof, Benjamin Lévêque, Daniel Lokshtanov and Christophe Paul -- Increasing the Minimum Degree of a Graph by Contractions / Petr A. Golovach, Marcin Kamiński, Daniël Paulusma and Dimitrios M. Thilikos -- Planar Disjoint-Paths Completion / Isolde Adler, Stavros G. Kolliopoulos and Dimitrios M. Thilikos -- Sparse Solutions of Sparse Linear Systems: Fixed-Parameter Tractability and an Application of Complex Group Testing / Peter Damaschke -- New Upper Bounds for MAX-2-SAT and MAX-2-CSP w.r.t. the Average Variable Degree / Alexander Golovnev -- Improved Parameterized Algorithms for above Average Constraint Satisfaction / Eun Jung Kim and Ryan Williams -- On Polynomial Kernels for Structural Parameterizations of Odd Cycle Transversal / Bart M.P. Jansen and Stefan Kratsch -- Kernel Bounds for Path and Cycle Problems / Hans L. Bodlaender, Bart M.P. Jansen and Stefan Kratsch -- On the Hardness of Losing Width / Marek Cygan, Daniel Lokshtanov, Marcin Pilipczuk, Michał Pilipczuk and Saket Saurabh -- Safe Approximation and Its Relation to Kernelization / Jiong Guo, Iyad Kanj and Stefan Kratsch -- Simpler Linear-Time Kernelization for Planar Dominating Set / Torben Hagerup -- Linear-Time Computation of a Linear Problem Kernel for Dominating Set on Planar Graphs / René van Bevern, Sepp Hartung, Frank Kammer, Rolf Niedermeier and Mathias Weller -- Tight Complexity Bounds for FPT Subgraph Problems Parameterized by Clique-Width / Hajo Broersma, Petr A. Golovach and Viresh Patel -- Finding Good Decompositions for Dynamic Programming on Dense Graphs / Eivind Magnus Hvidevold, Sadia Sharmin, Jan Arne Telle and Martin Vatshelle -- Parameterized Maximum Path Coloring / Michael Lampis -- On Cutwidth Parameterized by Vertex Cover / Marek Cygan, Daniel Lokshtanov, Marcin Pilipczuk, Michał Pilipczuk and Saket Saurabh -- Twin-Cover: Beyond Vertex Cover in Parameterized Algorithmics / Robert Ganian.
Record Nr. UCHICAGO-11076741
[IPEC (Symposium) (6th : 2011 : Saarbrücken, Germany)]  
Materiale a stampa
Lo trovi qui: University of Chicago
How the world computes : Turing Centenary Conference and 8th Conference on Computability in Europe, CiE 2012, Cambridge, UK, June 18-23, 2012. Proceedings / edited by S. Barry Cooper, Anuj Dawar, Benedikt Löwe
How the world computes : Turing Centenary Conference and 8th Conference on Computability in Europe, CiE 2012, Cambridge, UK, June 18-23, 2012. Proceedings / edited by S. Barry Cooper, Anuj Dawar, Benedikt Löwe
Creatore [Conference on Computability in Europe (8th : 2012 : Cambridge, England)]
Estensione 1 online resource.
Accesso persona Cooper, S. B. (S. Barry)
Dawar, Anuj
Löwe, Benedikt
Genere/Forma Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Computer software
Computational complexity
Algebra -- Data processing
Logic, Symbolic and mathematical
Computation by Abstract Devices
Algorithm Analysis and Problem Complexity
Discrete Mathematics in Computer Science
Symbolic and Algebraic Manipulation
Mathematical Logic and Foundations
ISBN 9783642308703
3642308708
9783642308697
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Ordinal Analysis and the Infinite Ramsey Theorem / Bahareh Afshari and Michael Rathjen -- Curiouser and Curiouser: The Link between Incompressibility and Complexity / Eric Allender -- Information and Logical Discrimination / Patrick Allo -- Robustness of Logical Depth / Luís Antunes, Andre Souto and Andreia Teixeira -- Turing's Normal Numbers: Towards Randomness / Verónica Becher -- Logic of Ruler and Compass Constructions / Michael Beeson -- On the Computational Content of the Brouwer Fixed Point Theorem / Vasco Brattka, Stéphane Le Roux and Arno Pauly -- Square Roots and Powers in Constructive Banach Algebra Theory / Douglas S. Bridges and Robin S. Havea -- The Mate-in-n Problem of Infinite Chess Is Decidable / Dan Brumleve, Joel David Hamkins and Philipp Schlicht -- A Note on Ramsey Theorems and Turing Jumps / Lorenzo Carlucci and Konrad Zdanowski -- Automatic Functions, Linear Time and Learning / John Case, Sanjay Jain, Samuel Seah and Frank Stephan -- An Undecidable Nested Recurrence Relation / Marcel Celaya and Frank Ruskey -- Hard Instances of Algorithms and Proof Systems / Yijia Chen, Jörg Flum and Moritz Müller -- On Mathias Generic Sets / Peter A. Cholak, Damir D. Dzhafarov and Jeffry L. Hirst -- Complexity of Deep Inference via Atomic Flows / Anupam Das -- Connecting Partial Words and Regular Languages / Jürgen Dassow, Florin Manea and Robert Mercaş
Randomness, Computation and Mathematics / Rod Downey -- Learning, Social Intelligence and the Turing Test / Why an "Out-of-the-Box" Turing Machine Will Not Pass the Turing Test / Bruce Edmonds and Carlos Gershenson -- Confluence in Data Reduction: Bridging Graph Transformation and Kernelization / Hartmut Ehrig, Claudia Ermel, Falk Hüffner, Rolf Niedermeier and Olga Runge -- Highness and Local Noncappability / Chengling Fang, Wang Shenling and Guohua Wu -- Turing Progressions and Their Well-Orders / David Fernández Duque and Joost J. Joosten -- A Short Note on Spector's Proof of Consistency of Analysis / Fernando Ferreira -- Sets of Signals, Information Flow, and Folktales / Mark Alan Finlayson -- On the Foundations and Philosophy of Info-metrics / Amos Golan -- On Mathematicians Who Liked Logic / The Case of Max Newman / Ivor Grattan-Guinness -- Densities and Entropies in Cellular Automata / Pierre Guillon and Charalampos Zinoviadis -- Foundational Analyses of Computation / Yuri Gurevich -- Turing Machine-Inspired Computer Science Results / Juris Hartmanis -- NP-Hardness and Fixed-Parameter Tractability of Realizing Degree Sequences with Directed Acyclic Graphs / Sepp Hartung and André Nichterlein -- A Direct Proof of Wiener's Theorem / Matthew Hendtlass and Peter Schuster -- Effective Strong Nullness and Effectively Closed Sets / Kojiro Higuchi and Takayuki Kihara.
Word Automaticity of Tree Automatic Scattered Linear Orderings Is Decidable / Martin Huschenbett -- On the Relative Succinctness of Two Extensions by Definitions of Multimodal Logic / Wiebe van der Hoek, Petar Iliev and Barteld Kooi -- On Immortal Configurations in Turing Machines / Emmanuel Jeandel -- A Slime Mold Solver for Linear Programming Problems / Anders Johannson and James Zou -- Multi-scale Modeling of Gene Regulation of Morphogenesis / Jaap A. Kaandorp, Daniel Botman, Carlos Tamulonis and Roland Dries -- Tree-Automatic Well-Founded Trees / Alexander Kartzow, Jiamou Liu and Markus Lohrey -- Infinite Games and Transfinite Recursion of Multiple Inductive Definitions / Keisuke Yoshii and Kazuyuki Tanaka -- A Hierarchy of Immunity and Density for Sets of Reals / Takayuki Kihara -- How Much Randomness Is Needed for Statistics? / Bjørn Kjos-Hanssen, Antoine Taveneaux and Neil Thapen -- Towards a Theory of Infinite Time Blum-Shub-Smale Machines / Peter Koepke and Benjamin Seyfferth -- Turing Pattern Formation without Diffusion / Shigeru Kondo -- Degrees of Total Algorithms versus Degrees of Honest Functions / Lars Kristiansen -- A 5n -- o(n) Lower Bound on the Circuit Size over U2 of a Linear Boolean Function / Alexander S. Kulikov, Olga Melanich and Ivan Mihajlin -- Local Induction and Provably Total Computable Functions: A Case Study / Andrés Cordón-Franco and F. Félix Lara-Martín.
What is Turing's Comparison between Mechanism and Writing Worth? / Jean Lassègue and Giuseppe Longo -- Substitutions and Strongly Deterministic Tilesets / Bastien Le Gloannec and Nicolas Ollinger -- The Computing Spacetime / Fotini Markopoulou -- Unifiability and Admissibility in Finite Algebras / George Metcalfe and Christoph Röthlisberger -- Natural Signs / Ruth Garrett Millikan -- Characteristics of Minimal Effective Programming Systems / Samuel E. Moelius III -- After Turing: Mathematical Modelling in the Biomedical and Social Sciences / From Animal Coat Patterns to Brain Tumours to Saving Marriages / James D. Murray -- Existence of Faster than Light Signals Implies Hypercomputation already in Special Relativity / Péter Németi and Gergely Székely -- Turing Computable Embeddings and Coding Families of Sets / Víctor A. Ocasio-González -- On the Behavior of Tile Assembly System at High Temperatures / Shinnosuke Seki and Yasushi Okuno -- Abstract Partial Cylindrical Algebraic Decomposition I: The Lifting Phase / Grant Olney Passmore and Paul B. Jackson -- Multi-valued Functions in Computability Theory / Arno Pauly -- Relative Randomness for Martin-Löf Random Sets / NingNing Peng, Kojiro Higuchi, Takeshi Yamazaki and Kazuyuki Tanaka -- On the Tarski-Lindenbaum Algebra of the Class of all Strongly Constructivizable Prime Models / Mikhail G. Peretyat'kin.
Record Nr. UCHICAGO-11076935
[Conference on Computability in Europe (8th : 2012 : Cambridge, England)]  
Materiale a stampa
Lo trovi qui: University of Chicago
Logic, rationality, and interaction [electronic resource] : Third International Workshop, LORI 2011, Guangzhou, China, October 10-13, 2011 : proceedings / Hans Ditmarsch, Jérôme Lang, Shier Ju (eds.).
Logic, rationality, and interaction [electronic resource] : Third International Workshop, LORI 2011, Guangzhou, China, October 10-13, 2011 : proceedings / Hans Ditmarsch, Jérôme Lang, Shier Ju (eds.).
Creatore [LORI (Workshop) (3rd : 2011 : Guangzhou, China)]
Estensione 1 online resource (xi, 401 p.) : ill
Disciplina 005.1
Accesso persona Ditmarsch, Hans van, 1959-
Lang, Jérôme
Ju, Shier
Genere/Forma Electronic books
Soggetto non controllato Computer science
Information theory
Logic design
Computational complexity
Algebra -- Data processing
Logic, Symbolic and mathematical
Mathematical Logic and Formal Languages
Mathematical Logic and Foundations
Discrete Mathematics in Computer Science
Symbolic and Algebraic Manipulation
Logics and Meanings of Programs
Theory of Computation
ISBN 9783642241307 (electronic bk.)
3642241301 (electronic bk.)
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UPENN-9960088203503681
[LORI (Workshop) (3rd : 2011 : Guangzhou, China)]  
Materiale a stampa
Lo trovi qui: University of Pennsylvania
Logic, language, information and computation : 19th International Workshop, WoLLIC 2012, Buenos Aires, Argentina, September 3-6, 2012. Proceedings / Luke Ong, Ruy de Queiroz (eds.).
Logic, language, information and computation : 19th International Workshop, WoLLIC 2012, Buenos Aires, Argentina, September 3-6, 2012. Proceedings / Luke Ong, Ruy de Queiroz (eds.).
Creatore [Workshop on Logic, Language, Information and Computation (19th : 2012 : Buenos Aires, Argentina)]
Estensione 1 online resource.
Accesso persona Ong, Luke
Queiroz, Ruy J. G. B. de.
Genere/Forma Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Computer software
Logic design
Computational complexity
Algebra -- Data processing
Algorithm Analysis and Problem Complexity
Mathematical Logic and Formal Languages
Discrete Mathematics in Computer Science
Logics and Meanings of Programs
Computation by Abstract Devices
Symbolic and Algebraic Manipulation
ISBN 9783642326219
3642326218
9783642326202
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Formalizing Turing Machines / Andrea Asperti and Wilmer Ricciotti -- Equivalence Relations That Are S0303 Complete for Computable Reducibility (Extended Abstract) / Ekaterina Fokina, Sy Friedman and André Nies -- An Analysis of Directed Motion Expressions with Lexicalized Tree Adjoining Grammars and Frame Semantics / Laura Kallmeyer and Rainer Osswald -- Admissible Rules: From Characterizations to Applications / George Metcalfe -- On Distributed Monitoring of Asynchronous Systems / Volker Diekert and Anca Muscholl -- On the Expressive Power of Logics with Invariant Uses of Arithmetic Predicates / Nicole Schweikardt -- Logical Methods in Quantum Information Theory / Peter Selinger -- Quantifying Notes / Hans van Ditmarsch -- Linearizing Bad Sequences: Upper Bounds for the Product and Majoring Well Quasi-orders / Sergio Abriola, Santiago Figueira and Gabriel Senno -- Initiality for Typed Syntax and Semantics / Benedikt Ahrens -- Moving Arrows and Four Model Checking Results / Carlos Areces, Raul Fervari and Guillaume Hoffmann -- Standard Completeness for Extensions of MTL: An Automated Approach / Paolo Baldi, Agata Ciabattoni and Lara Spendier.
The Logic of Justified Belief Change, Soft Evidence and Defeasible Knowledge / Alexandru Baltag, Bryan Renne and Sonja Smets -- Minimization via Duality / Nick Bezhanishvili, Clemens Kupke and Prakash Panangaden -- On Some Subclasses of the Fodor-Roubens Fuzzy Bi-implication / Claudio Callejas, João Marcos and Benjamín René Callejas Bedregal -- Linearity in the Non-deterministic Call-by-Value Setting / Alejandro Díaz-Caro and Barbara Petit -- Polynomial-Time Solution of Initial Value Problems Using Polynomial Enclosures / Amin Farjudian -- Algorithmic Randomness and Ramsey Properties of Countable Homogeneous Structures / Willem L. Fouché -- Propositional Reasoning about Saturated Conditional Probabilistic Independence / Sebastian Link -- Contracting Logics / Márcio M. Ribeiro and Marcelo E. Coniglio -- A Tight Upper Bound on the Number of Variables for Average-Case k-Clique on Ordered Graphs / Benjamin Rossman -- Preservation under Substructures modulo Bounded Cores / Abhisekh Sankaran, Bharat Adsul, Vivek Madan, Pritish Kamath and Supratik Chakraborty -- A Logic of Plausible Justifications / L. Menasché Schechter -- Classic-Like Cut-Based Tableau Systems for Finite-Valued Logics / Marco Volpe, João Marcos and Carlos Caleiro.
Record Nr. UCHICAGO-11077287
[Workshop on Logic, Language, Information and Computation (19th : 2012 : Buenos Aires, Argentina)]  
Materiale a stampa
Lo trovi qui: University of Chicago
Typed Lambda Calculi and Applications : 11th International Conference, TLCA 2013, Eindhoven, the Netherlands, June 26-28, 2013. Proceedings / Masahito Hasegawa (ed.).
Typed Lambda Calculi and Applications : 11th International Conference, TLCA 2013, Eindhoven, the Netherlands, June 26-28, 2013. Proceedings / Masahito Hasegawa (ed.).
Creatore [International Conference on Typed Lambda Calculi and Applications (11th : 2013 : Eindhoven, Netherlands)]
Estensione 1 online resource (xii, 249 pages).
Disciplina 511.3/5
Accesso persona Hasegawa, Masahito, 1970-editor
Genere/Forma Electronic books
Conference papers and proceedings
Ebook
Congresses
Soggetto non controllato Computer science
Logic design
Algebra -- Data processing
Electronic data processing
Logic, Symbolic and mathematical
Mathematical Logic and Formal Languages
Mathematics of Computing
Logics and Meanings of Programs
Symbolic and Algebraic Manipulation
Computing Methodologies
ISBN 9783642389467
3642389465
9783642389450
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Type-Directed Compilation in the Wild: Haskell and Core. Type-Directed Compilation in the Wild: Haskell and Core / Simon Peyton-Jones -- Proving with Side Effects / Hugo Herbelin -- Non-linearity as the Metric Completion of Linearity / Damiano Mazza -- Contributed Papers. System F i / Ki Yung Ahn, Tim Sheard, Marcelo Fiore, Andrew M. Pitts -- Non-determinism, Non-termination and the Strong Normalization of System T / Federico Aschieri, Margherita Zorzi -- Proof-Relevant Logical Relations for Name Generation / Nick Benton, Martin Hofmann, Vivek Nigam -- Games with Sequential Backtracking and Complete Game Semantics for Subclassical Logics / Stefano Berardi, Makoto Tatsuta -- Realizability for Peano Arithmetic with Winning Conditions in HON Games / Valentin Blot -- The Resource Lambda Calculus Is Short-Sighted in Its Relational Model / Flavien Breuvart -- Bounding Skeletons, Locally Scoped Terms and Exact Bounds for Linear Head Reduction / Pierre Clairambault -- Intersection Type Matching with Subtyping / Boris Düdder, Moritz Martens, Jakob Rehof -- A Type-Checking Algorithm for Martin-Löf Type Theory with Subtyping Based on Normalisation by Evaluation / Daniel Fridlender, Miguel Pagano -- Small Induction Recursion / Peter Hancock, Conor McBride, Neil Ghani, Lorenzo Malatesta, Thorsten Altenkirch -- Generalizations of Hedberg's Theorem / Nicolai Kraus, Martín Escardó, Thierry Coquand, Thorsten Altenkirch -- Using Models to Model-Check Recursive Schemes / Sylvain Salvati, Igor Walukiewicz -- On Interaction, Continuations and Defunctionalization / Ulrich Schöpp -- Completeness of Conversion between Reactive Programs for Ultrametric Models / Paula Severi, Fer-Jan de Vries -- A Constructive Model of Uniform Continuity / Chuangjie Xu, Martín Escardó.
Record Nr. NYU-004638139
[International Conference on Typed Lambda Calculi and Applications (11th : 2013 : Eindhoven, Netherlands)]  
Materiale a stampa
Lo trovi qui: New York University
Graph drawing : 20th International Symposium, GD 2012, Redmond, WA, USA, September 19-21, 2012, Revised selected papers / Walter Didimo, Maurizio Patrignani (eds.).
Graph drawing : 20th International Symposium, GD 2012, Redmond, WA, USA, September 19-21, 2012, Revised selected papers / Walter Didimo, Maurizio Patrignani (eds.).
Creatore [GD (Symposium) (20th : 2012 : Redmond, Wash.)]
Estensione 1 online resource.
Accesso persona Didimo, Walter
Patrignani, Maurizio
Genere/Forma Electronic books
Conference papers and proceedings
Congresses
Soggetto non controllato Computer science
Computer Communication Networks
Computer software
Algebra -- Data processing
Discrete Mathematics in Computer Science
Symbolic and Algebraic Manipulation
ISBN 9783642367632
3642367631
3642367623
9783642367625
Classificazione 54.73
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Invited Talks -- Flips / Prosenjit Bose -- Interactive Network Exploration to Derive Insights: Filtering, Clustering, Grouping, and Simplification / Ben Shneiderman, Cody Dunne -- Papers -- Counting Plane Graphs: Cross-Graph Charging Schemes / Micha Sharir, Adam Sheffer -- Disconnectivity and Relative Positions in Simultaneous Embeddings / Thomas Bläsius, Ignaz Rutter -- Graph Drawing in the Cloud: Privately Visualizing Relational Data Using Small Working Storage / Michael T. Goodrich, Olga Ohrimenko, Roberto Tamassia -- Graph Drawing by Classical Multidimensional Scaling: New Perspectives / Mirza Klimenta, Ulrik Brandes -- Progress on Partial Edge Drawings / Till Bruckdorfer, Sabine Cornelsen, Carsten Gutwenger, Michael Kaufmann -- Implementing a Partitioned 2-Page Book Embedding Testing Algorithm / Patrizio Angelini, Marco Di Bartolomeo, Giuseppe Di Battista -- Shrinking the Search Space for Clustered Planarity / Markus Chimani, Karsten Klein -- Open Rectangle-of-Influence Drawings of Non-triangulated Planar Graphs / Soroush Alamdari, Therese Biedl.
The Approximate Rectangle of Influence Drawability Problem / Emilio Di Giacomo, Giuseppe Liotta, Henk Meijer -- Planar Lombardi Drawings for Subcubic Graphs / David Eppstein -- Circle-Representations of Simple 4-Regular Planar Graphs / Michael A. Bekos, Chrysanthi N. Raftopoulou -- Smooth Orthogonal Layouts / Michael A. Bekos, Michael Kaufmann, Stephen G. Kobourov, Antonios Symvonis -- Toward a Theory of Planarity: Hanani-Tutte and Planarity Variants / Marcus Schaefer -- Planar Graphs as VPG-Graphs / Steven Chaplick, Torsten Ueckerdt -- On Representing Graphs by Touching Cuboids / David Bremner, William Evans, Fabrizio Frati, Laurie Heyer, Stephen G. Kobourov -- Touching Triangle Representations for 3-Connected Planar Graphs / Stephen G. Kobourov, Debajyoti Mondal, Rahnuma Islam Nishat -- Proportional Contact Representations of 4-Connected Planar Graphs / Md. Jawaherul Alam, Stephen G. Kobourov -- Edge-Weighted Contact Representations of Planar Graphs / Martin Nöllenburg, Roman Prutkin, Ignaz Rutter.
Column-Based Graph Layouts / Gregor Betz, Christoph Doll, Andreas Gemsa, Ignaz Rutter, Dorothea Wagner -- Upward Planarity Testing via SAT / Markus Chimani, Robert Zeranski -- Self-approaching Graphs / Soroush Alamdari, Timothy M. Chan, Elyot Grant, Anna Lubiw, Vinayak Pathak -- Homotopic C -Oriented Routing / Kevin Verbeek -- Kinetic and Stationary Point-Set Embeddability for Plane Graphs / Zahed Rahmati, Sue H. Whitesides, Valerie King -- Point-Set Embeddability of 2-Colored Trees / Fabrizio Frati, Marc Glisse, William J. Lenhart, Giuseppe Liotta, Tamara Mchedlidze -- Covering Paths for Planar Point Sets / Adrian Dumitrescu, Csaba D. Tóth -- Grid Drawings and the Chromatic Number / Martin Balko -- On the Density of Maximal 1-Planar Graphs / Franz J. Brandenburg, David Eppstein, Andreas Gleißner, Michael T. Goodrich -- Testing Maximal 1-Planarity of Graphs with a Rotation System in Linear Time / Peter Eades, Seok-Hee Hong, Naoki Katoh, Giuseppe Liotta, Pascal Schweitzer.
Tangles and Degenerate Tangles / Andres J. Ruiz-Vargas -- Density Theorems for Intersection Graphs of t-Monotone Curves / Andrew Suk -- The Visible Perimeter of an Arrangement of Disks / Gabriel Nivasch, János Pach, Gábor Tardos -- Canonical Ordering for Triangulations on the Cylinder, with Applications to Periodic Straight-Line Drawings / Luca Castelli Aleardi, Olivier Devillers, Éric Fusy -- Planar Preprocessing for Spring Embedders / J. Joseph Fowler, Stephen G. Kobourov -- StreamEB: Stream Edge Bundling. / Quan Nguyen, Peter Eades, Seok-Hee Hong -- Force-Directed Graph Drawing Using Social Gravity and Scaling / Michael J. Bannister, David Eppstein, Michael T. Goodrich, Lowell Trott -- Drawing Clustered Graphs as Topographic Maps / Martin Gronemann, Michael Jünger -- Visualizing Streaming Text Data with Dynamic Graphs and Maps / Emden R. Gansner, Yifan Hu, Stephen North -- On the Usability of Lombardi Graph Drawings / Helen C. Purchase, John Hamer, Martin Nöllenburg, Stephen G. Kobourov.
Drawing Metro Maps Using Bézier Curves / Martin Fink, Herman Haverkort, Martin Nöllenburg, Maxwell Roberts, Julian Schuhmann -- Mental Map Preservation Helps User Orientation in Dynamic Graphs / Daniel Archambault, Helen C. Purchase -- Clustering, Visualizing, and Navigating for Large Dynamic Graphs / Arnaud Sallaberry, Chris Muelder, Kwan-Liu Ma -- DAGView: An Approach for Visualizing Large Graphs / Evgenios M. Kornaropoulos, Ioannis G. Tollis -- Time-Space Maps from Triangulations / Sandra Bies, Marc van Kreveld -- Graph Drawing in TikZ / Till Tantau -- Optical Graph Recognition / Christopher Auer, Christian Bachmaier, Franz J. Brandenburg, Andreas Gleißner -- Interactive Random Graph Generation with Evolutionary Algorithms / Benjamin Bach, Andre Spritzer, Evelyne Lutton, Jean-Daniel Fekete -- Posters -- Visualizing Large Hierarchically Clustered Graphs with a Landscape Metaphor / Jan Christoph Athenstädt, Robert Görke, Marcus Krug, Martin Nöllenburg.
On Sparse Maximal 2-Planar Graphs / Christopher Auer, Franz J. Brandenburg, Andreas Gleißner, Kathrin Hanauer -- Testing Planarity by Switching Trains / Christopher Auer, Andreas Gleißner, Kathrin Hanauer, Sebastian Vetter -- Weak Dominance Drawings for Directed Acyclic Graphs / Evgenios M. Kornaropoulos, Ioannis G. Tollis -- Planar Lombardi Drawings of Outerpaths / Maarten Löffler, Martin Nöllenburg -- The First Simple Symmetric 11-Venn Diagram / Khalegh Mamakani, Frank Ruskey -- On the Faithfulness of Graph Visualizations / Quan Nguyen, Peter Eades, Seok-Hee Hong -- More Graph Drawing in the Cloud: Data-Oblivious st-Numbering, Visibility Representations, and Orthogonal Drawing of Biconnected Planar Graphs / Michael T. Goodrich, Joseph A. Simons -- Workshop on Theory and Practice of Graph Drawing -- Theory and Practice of Graph Drawing / Tim Dwyer, Fabrizio Frati, Seok-Hee Hong, Karsten Klein -- Graph Drawing Contest -- Graph Drawing Contest Report / Christian A. Duncan, Carsten Gutwenger, Lev Nachmanson, Georg Sander.
Record Nr. UCHICAGO-11078314
[GD (Symposium) (20th : 2012 : Redmond, Wash.)]  
Materiale a stampa
Lo trovi qui: University of Chicago
Guide to computational geometry processing : foundations, algorithms, and methods / Jakob Andreas Bærentzen [and others]
Guide to computational geometry processing : foundations, algorithms, and methods / Jakob Andreas Bærentzen [and others]
Estensione 1 online resource
Disciplina 516.00285
Accesso persona Bærentzen, Jakob Andreas
Soggetto non controllato Computer science
Algebra -- Data processing
Artificial intelligence
Computer graphics
Computer vision
Computer aided design
Math Applications in Computer Science
Symbolic and Algebraic Manipulation
Artificial Intelligence (incl. Robotics)
Image Processing and Computer Vision
Computer-Aided Engineering (CAD, CAE) and Design
ISBN 9781447140757
1447140753
1447140745
9781447140740
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Part 1. Mathematical Preliminaries -- Vector Spaces, Affine Spaces, and Metric Spaces -- Differential Geometry -- Finite Difference Methods for Partial Differential Equations -- Introduction -- Part 2. Computational Geometry Processing -- Polygonal Meshes -- Splines -- Subdivision -- Curvature in Triangle Meshes -- Mesh Smoothing and Variational Subdivision -- Parametrization of Meshes -- Simplifying and Optimizing Triangle Meshes -- Spatial Data Indexing and Point Location -- Convex Hulls -- Triangle Mesh Generation: Delaunay Triangulation -- 3D Surface Registration via Iterative Closest Point (ICP) -- Surface Reconstruction using Radial Basis Functions -- Volumetric Methods for Surface Reconstruction and Manipulation -- Isosurface Polygonization.
Record Nr. STANFORD-a9634567
Materiale a stampa
Lo trovi qui: Stanford University
Symmetry and pattern in projective geometry / Eric Lord
Symmetry and pattern in projective geometry / Eric Lord
Creatore [Lord, Eric A.]
Estensione 1 online resource
Disciplina 516/.5
Soggetto non controllato Mathematics
Algebra -- Data processing
Projective Geometry
Symbolic and Algebraic Manipulation
ISBN 9781447146315
144714631X
1447146301
9781447146308
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Foundations: The Synthetic Approach -- The Analytic Approach -- Linear Figures -- Quadratic Figures -- Cubic Figures -- Quartic Figures -- Finite Geometries.
Record Nr. STANFORD-a10091861
[Lord, Eric A.]  
Materiale a stampa
Lo trovi qui: Stanford University
Arithmetic of finite fields : 4th International Workshop, WAIFI 2012, Bochum, Germany, July 16-19, 2012. Proceedings / Ferruh Özbudak, Francisco Rodríguez-Henríquez (eds.).
Arithmetic of finite fields : 4th International Workshop, WAIFI 2012, Bochum, Germany, July 16-19, 2012. Proceedings / Ferruh Özbudak, Francisco Rodríguez-Henríquez (eds.).
Creatore [WAIFI (Workshop) (4th : 2012 : Bochum, Germany)]
Estensione 1 online resource (xii, 246 pages) : illustrations.
Disciplina 512/.3
Accesso persona Özbudak, Ferruh
Rodríguez-Henríquez, Francisco
Soggetto non controllato Computer science
Computer Communication Networks
Data structures (Computer science)
Data encryption (Computer science)
Computer software
Computational complexity
Algebra -- Data processing
Symbolic and Algebraic Manipulation
Discrete Mathematics in Computer Science
Algorithm Analysis and Problem Complexity
Data Structures, Cryptology and Information Theory
ISBN 9783642316623
364231662X
3642316611
9783642316616
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Generalised Jacobians in Cryptography and Coding Theory / Florian Hess -- The Weight Distribution of a Family of Reducible Cyclic Codes / Gerardo Vega and Carlos A. Vázquez -- A New Method for Constructing Small-Bias Spaces from Hermitian Codes / Olav Geil, Stefano Martin and Ryutaroh Matsumoto -- An Improved Threshold Ring Signature Scheme Based on Error Correcting Codes / Pierre-Louis Cayrel, Sidi Mohamed El Yousfi Alaoui, Gerhrad Hoffmann and Pascal Véron -- Sequences and Functions Derived from Projective Planes and Their Difference Sets / Alexander Pott, Qi Wang and Yue Zhou -- On Formally Self-dual Boolean Functions in 2,4 and 6 Variables / Lin Sok and Patrick Solé -- On the Algebraic Normal Form and Walsh Spectrum of Symmetric Functions over Finite Rings / Boris Batteux -- Verification of Restricted EA-Equivalence for Vectorial Boolean Functions / Lilya Budaghyan and Oleksandr Kazymyrov -- Software Implementation of Modular Exponentiation, Using Advanced Vector Instructions Architectures / Shay Gueron and Vlad Krasnov -- Efficient Multiplication over Extension Fields / Nadia El Mrabet and Nicolas Gama -- GF(2m)GF(2m) Finite-Field Multipliers with Reduced Activity Variations / Danuta Pamula and Arnaud Tisserand -- Finding Optimal Formulae for Bilinear Maps / Razvan Barbulescu, Jérémie Detrey, Nicolas Estibals and Paul Zimmermann -- Solving Binary Linear Equation Systems over the Rationals and Binaries / Benedikt Driessen and Christof Paar -- Hashing with Elliptic Curve L-Functions / Sami Omar, Raouf Ouni and Saber Bouanani -- Square Root Algorithms for the Number Field Sieve / Emmanuel Thomé -- Improving the Berlekamp Algorithm for Binomials xn -- a / Ryuichi Harasawa, Yutaka Sueyoshi and Aichi Kudo -- On Some Permutation Binomials of the Form x\frac2n-1k+1 +axxk2n-1+1+ax over \mathbbF2nF2n : Existence and Count / Sumanta Sarkar, Srimanta Bhattacharya and Ayça Çeşmelioğlu.
Record Nr. STANFORD-a9667992
[WAIFI (Workshop) (4th : 2012 : Bochum, Germany)]  
Materiale a stampa
Lo trovi qui: Stanford University
Logic, language, information and computation : 19th International Workshop, WoLLIC 2012, Buenos Aires, Argentina, September 3-6, 2012. Proceedings / Luke Ong, Ruy de Queiroz (eds.).
Logic, language, information and computation : 19th International Workshop, WoLLIC 2012, Buenos Aires, Argentina, September 3-6, 2012. Proceedings / Luke Ong, Ruy de Queiroz (eds.).
Creatore [Workshop on Logic, Language, Information and Computation (19th : 2012 : Buenos Aires, Argentina)]
Estensione 1 online resource.
Disciplina 005.13/1
Accesso persona Ong, Luke
Queiroz, Ruy J. G. B. de.
Soggetto non controllato Computer science
Computer software
Logic design
Computational complexity
Algebra -- Data processing
Algorithm Analysis and Problem Complexity
Mathematical Logic and Formal Languages
Discrete Mathematics in Computer Science
Logics and Meanings of Programs
Computation by Abstract Devices
Symbolic and Algebraic Manipulation
ISBN 9783642326219
3642326218
9783642326202
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Formalizing Turing Machines / Andrea Asperti and Wilmer Ricciotti -- Equivalence Relations That Are S0303 Complete for Computable Reducibility (Extended Abstract) / Ekaterina Fokina, Sy Friedman and André Nies -- An Analysis of Directed Motion Expressions with Lexicalized Tree Adjoining Grammars and Frame Semantics / Laura Kallmeyer and Rainer Osswald -- Admissible Rules: From Characterizations to Applications / George Metcalfe -- On Distributed Monitoring of Asynchronous Systems / Volker Diekert and Anca Muscholl -- On the Expressive Power of Logics with Invariant Uses of Arithmetic Predicates / Nicole Schweikardt -- Logical Methods in Quantum Information Theory / Peter Selinger -- Quantifying Notes / Hans van Ditmarsch -- Linearizing Bad Sequences: Upper Bounds for the Product and Majoring Well Quasi-orders / Sergio Abriola, Santiago Figueira and Gabriel Senno -- Initiality for Typed Syntax and Semantics / Benedikt Ahrens -- Moving Arrows and Four Model Checking Results / Carlos Areces, Raul Fervari and Guillaume Hoffmann -- Standard Completeness for Extensions of MTL: An Automated Approach / Paolo Baldi, Agata Ciabattoni and Lara Spendier.
The Logic of Justified Belief Change, Soft Evidence and Defeasible Knowledge / Alexandru Baltag, Bryan Renne and Sonja Smets -- Minimization via Duality / Nick Bezhanishvili, Clemens Kupke and Prakash Panangaden -- On Some Subclasses of the Fodor-Roubens Fuzzy Bi-implication / Claudio Callejas, João Marcos and Benjamín René Callejas Bedregal -- Linearity in the Non-deterministic Call-by-Value Setting / Alejandro Díaz-Caro and Barbara Petit -- Polynomial-Time Solution of Initial Value Problems Using Polynomial Enclosures / Amin Farjudian -- Algorithmic Randomness and Ramsey Properties of Countable Homogeneous Structures / Willem L. Fouché -- Propositional Reasoning about Saturated Conditional Probabilistic Independence / Sebastian Link -- Contracting Logics / Márcio M. Ribeiro and Marcelo E. Coniglio -- A Tight Upper Bound on the Number of Variables for Average-Case k-Clique on Ordered Graphs / Benjamin Rossman -- Preservation under Substructures modulo Bounded Cores / Abhisekh Sankaran, Bharat Adsul, Vivek Madan, Pritish Kamath and Supratik Chakraborty -- A Logic of Plausible Justifications / L. Menasché Schechter -- Classic-Like Cut-Based Tableau Systems for Finite-Valued Logics / Marco Volpe, João Marcos and Carlos Caleiro.
Record Nr. STANFORD-a9708909
[Workshop on Logic, Language, Information and Computation (19th : 2012 : Buenos Aires, Argentina)]  
Materiale a stampa
Lo trovi qui: Stanford University