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.
Graph-based representations in pattern recognition [electronic resource] : 9th IAPR-TC-15 International Workshop, GbRPR 2013, Vienna, Austria, May 15-17, 2013. Proceedings / Walter G. Kropatsch...[et al.] (eds.).
Graph-based representations in pattern recognition [electronic resource] : 9th IAPR-TC-15 International Workshop, GbRPR 2013, Vienna, Austria, May 15-17, 2013. Proceedings / Walter G. Kropatsch...[et al.] (eds.).
Creatore [GbRPR (Workshop) (9th : 2013 : Vienna, Austria)]
Estensione 1 online resource.
Disciplina 006.3
Accesso persona Kropatsch, W. (Walter)
Genere/Forma Electronic books
Soggetto non controllato Computer science
Data structures (Computer science)
Computational complexity
Computer graphics
Optical pattern recognition
Pattern Recognition
Image Processing and Computer Vision
Discrete Mathematics in Computer Science
ISBN 9783642382215 (electronic bk.)
3642382215 (electronic bk.)
9783642382208
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto A One Hour Trip in the World of Graphs, Looking at the Papers of the Last Ten Years / Mario Vento -- A Unified Framework for Strengthening Topological Node Features and Its Application to Subgraph Isomorphism Detection / Nicholas Dahm, Horst Bunke, Terry Caelli -- On the Complexity of Submap Isomorphism / Christine Solnon, Guillaume Damiand -- Flooding Edge Weighted Graphs / Fernand Meyer -- Graph Matching with Nonnegative Sparse Model / Bo Jiang, Jin Tang, Bin Luo -- TurboTensors for Entropic Image Comparison / Francisco Escolano, Edwin R. Hancock -- Active-Learning Query Strategies Applied to Select a Graph Node Given a Graph Labelling / Xavier Cortés, Francesc Serratosa -- GMTE: A Tool for Graph Transformation and Exact/Inexact Graph Matching / Mohamed Amine Hannachi --
A Comparison of Explicit and Implicit Graph Embedding Methods for Pattern Recognition / Donatello Conte, Jean-Yves Ramel -- Adjunctions on the Lattice of Dendrograms / Fernand Meyer -- A Continuous-Time Quantum Walk Kernel for Unattributed Graphs / Luca Rossi, Andrea Torsello -- Relevant Cycle Hypergraph Representation for Molecules / Benoît Gaüzère, Luc Brun, Didier Villemin -- A Quantum Jensen-Shannon Graph Kernel Using the Continuous-Time Quantum Walk / Lu Bai, Edwin R. Hancock, Andrea Torsello -- Treelet Kernel Incorporating Chiral Information / Pierre-Anthony Grenier, Luc Brun -- A Novel Software Toolkit for Graph Edit Distance Computation / Kaspar Riesen, Sandro Emmenegger -- Map Edit Distance vs. Graph Edit Distance for Matching Images / Camille Combier, Guillaume Damiand --
An Algorithm for Maximum Common Subgraph of Planar Triangulation Graphs / Yao Lu, Horst Bunke, Cheng-Lin Liu -- Graph Characteristics from the Schrödinger Operator / Pablo Suau, Edwin R. Hancock -- Persistent Homology in Image Processing / Herbert Edelsbrunner -- Towards Minimal Barcodes / Rocío González-Díaz, María-José Jiménez -- A Fast Matching Algorithm for Graph-Based Handwriting Recognition / Andreas Fischer, Ching Y. Suen -- On the Evaluation of Graph Centrality for Shape Matching / Samuel de Sousa, Nicole M. Artner -- Shape Recognition as a Constraint Satisfaction Problem / Aline Deruyver, Yann Hodé -- Gaussian Wave Packet on a Graph / Furqan Aziz, Richard C. Wilson -- Exact Computation of Median Surfaces Using Optimal 3D Graph Search / Zhengwang Wu, Xiaoyi Jiang, Nanning Zheng -- Estimation of Distribution Algorithm for the Max-Cut Problem / Samuel de Sousa, Yll Haxhimusa.
Record Nr. UPENN-9960106543503681
[GbRPR (Workshop) (9th : 2013 : Vienna, Austria)]  
Materiale a stampa
Lo trovi qui: University of Pennsylvania
Decreasing the bandwidth of a transition matrix
Decreasing the bandwidth of a transition matrix
Creatore [University of Rochester.Department of Computer Science505]
Accesso persona Macarie, Ioan I.
Soggetto non controllato Computational complexity
Log-space probabilistic Turing machines
Log-space complete problem
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. STANFORD-a4638249
[University of Rochester.Department of Computer Science505]  
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.
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
Algorithms and data structures [electronic resource] : 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 [electronic resource] : 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 2013 (2013 : London, Ont.)]
Estensione 1 online resource (xiv, 538 p.)
Disciplina 005.7/2
Accesso persona Dehne, F. (Frank), 1960-
Solis-Oba, Roberto
Sack, J.-R. (Jörg-Rüdiger), 1954-
Genere/Forma Electronic books
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 (electronic bk.)
364240104X (electronic bk.)
9783642401039
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UPENN-9960108903503681
[WADS 2013 (2013 : London, Ont.)]  
Materiale a stampa
Lo trovi qui: University of Pennsylvania
Approximation and online algorithms : 10th International Workshop, WAOA 2012, Ljubljana, Slovenia, September 13-14, 2012 : revised selected papers / Thomas Erlebach, Giuseppe Persiano (eds.).
Approximation and online algorithms : 10th International Workshop, WAOA 2012, Ljubljana, Slovenia, September 13-14, 2012 : revised selected papers / Thomas Erlebach, Giuseppe Persiano (eds.).
Creatore [WAOA (Workshop) (10th : 2012 : Ljubljana, Slovenia)]
Estensione 1 online resource (xi, 297 pages) : illustrations.
Disciplina 005.1
Accesso persona Erlebach, Thomas
Persiano, Giuseppe
Genere/Forma Electronic books
Conference papers and proceedings
Congresses
Soggetto non controllato Computer science
Computer software
Electronic data processing
Computational complexity
Computer graphics
Algorithms
Algorithm Analysis and Problem Complexity
Discrete Mathematics in Computer Science
Numeric Computing
Information Systems Applications (incl. Internet)
ISBN 9783642380167
3642380166
3642380158
9783642380150
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Invited Contribution. The Primal-Dual Approach for Online Algorithms / Nikhil Bansal -- Session 1: Graphs and Networks. Independent Set with Advice: The Impact of Graph Knowledge / Stefan Dobrev, Rastislav Královič, Richard Královič -- Online Multi-Commodity Flow with High Demands / Guy Even, Moti Medina -- Approximating Spanning Trees with Few Branches / Markus Chimani, Joachim Spoerhase -- On the Complexity of the Regenerator Location Problem -- Treewidth and Other Parameters / Itamar Hartstein, Mordechai Shalom, Shmuel Zaks.
Session 2: Geometric Problems. Online Exploration of Polygons with Holes / Robert Georges, Frank Hoffmann, Klaus Kriegel -- Probabilistic k-Median Clustering in Data Streams / Christiane Lammersen, Melanie Schmidt, Christian Sohler -- Linear Time Approximation for Dominating Sets and Independent Dominating Sets in Unit Disk Graphs / Guilherme D. da Fonseca, Celina M.H. de Figueiredo, Vinícius G.P. de Sá -- On Minimum-and Maximum-Weight Minimum Spanning Trees with Neighborhoods / Reza Dorrigiv [and others].
Session 3: Online Algorithms. Asymptotically Optimal Online Page Migration on Three Points / Akira Matsubayashi -- R-LINE: A Better Randomized 2-Server Algorithm on the Line / Lucas Bang, Wolfgang Bein, Lawrence L. Larmore -- Black and White Bin Packing / János Balogh [and others] -- Minimizing Cache Usage in Paging / Alejandro López-Ortiz, Alejandro Salinger.
Session 4: Scheduling. Competitive-Ratio Approximation Schemes for Makespan Scheduling Problems / Adam Kurpisz, Monaldo Mastrolilli, Georgios Stamoulis -- Online Primal-Dual for Non-linear Optimization with Applications to Speed Scaling / Anupam Gupta, Ravishankar Krishnaswamy, Kirk Pruhs -- Approximating the Throughput by Coolest First Scheduling / Christoph Dürr [and others] -- Algorithms for Cost-Aware Scheduling / Janardhan Kulkarni, Kamesh Munagala.
Session 5: Algorithmic Game Theory. A Unifying Tool for Bounding the Quality of Non-cooperative Solutions in Weighted Congestion Games / Vittorio Bilò -- Some Anomalies of Farsighted Strategic Behavior / Vittorio Bilò [and others].
Session 6: Approximation Algorithms. Scheduling with an Orthogonal Resource Constraint / Martin Niemeier, Andreas Wiese -- Improved Approximation Guarantees for Lower-Bounded Facility Location / Sara Ahmadian, Chaitanya Swamy -- A 4-Approximation for the Height of Drawing 2-Connected Outer-Planar Graphs / Therese Biedl -- Approximation Algorithms for the Wafer to Wafer Integration Problem / Trivikram Dokka [and others].
Record Nr. NYU-004637189
[WAOA (Workshop) (10th : 2012 : Ljubljana, Slovenia)]  
Materiale a stampa
Lo trovi qui: New York University
Advances in swarm intelligence : 4th International Conference, ICSI 2013, Harbin, China, June 12-15, 2013, Proceedings. Part II / Ying Tan, Yuhui Shi, Hongwei Mo (eds.).
Advances in swarm intelligence : 4th International Conference, ICSI 2013, Harbin, China, June 12-15, 2013, Proceedings. Part II / Ying Tan, Yuhui Shi, Hongwei Mo (eds.).
Creatore [ICSI (Conference) (4th : 2013 : Harbin, China)]
Estensione 1 online resource (xxii, 534 pages).
Disciplina 006.3
Accesso persona Tan, Ying, editor
Shi, Yuhui, editor
Mo, Hongwei, 1973-editor
Genere/Forma Electronic books
Conference papers and proceedings
Ebook
Congresses
Soggetto non controllato Computer science
Computer software
Electronic data processing
Computational complexity
Data mining
Artificial intelligence
Algorithm Analysis and Problem Complexity
Numeric Computing
Discrete Mathematics in Computer Science
ISBN 9783642387159
3642387152
3642387144
9783642387142
Classificazione 54.10
54.72
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Hybrid Algorithms. Hybrid Gravitational Search and Clonal Selection Algorithm for Global Optimization / Shangce Gao [and others] -- A Hybrid Genetic Programming with Particle Swarm Optimization / Feng Qi [and others] -- A Physarum Network Evolution Model Based on IBTM / Yuxin Liu [and others] -- Cultural Algorithms for the Set Covering Problem / Broderick Crawford, Ricardo Soto, Eric Monfroy -- Impulse Engine Ignition Algorithm Based on Genetic Particle Swarm Optimization / Xiaolong Liang [and others].
Swarm-Robot and Multi-agent Systems. Learning by Imitation for the Improvement of the Individual and the Social Behaviors of Self-organized Autonomous Agents / Abdelhak Chatty [and others] -- An Indexed K-D Tree for Neighborhood Generation in Swarm Robotics Simulation / Zhongyang Zheng, Ying Tan -- Agent-Based Social Simulation and PSO / Andreas Janecek, Tobias Jordan, Fernando Buarque de Lima-Neto -- Multi-agent Oriented Stable Payoff with Cooperative Game / Tianwen Li, Feng Ma, Weiyi Liu.
Support Vector Machines. Use the Core Clusters for the Initialization of the Clustering Based on One-Class Support Vector Machine / Lei Gu -- Terrain Image Classification with SVM / Mu-Song Chen, Chipan Hwang, Tze-Yee Ho -- A Novel Algorithm for Kernel Optimization of Support Vector Machine / Lijie Li -- Training Least-Square SVM by a Recurrent Neural Network Based on Fuzzy c-mean Approach / Fengqiu Liu, Jianmin Wang, Sitian Qin.
Data Mining Methods. A Locality Sensitive K-Means Clustering Method Based on Genetic Algorithms / Lei Gu -- Using Graph Clustering for Community Discovery in Web-Based Social Networks / Jackson Gomes Souza, Edeilson Milhomem Silva, Parcilene Fernandes Brito -- Application of Dynamic Rival Penalized Competitive Learning on the Clustering Analysis of Seismic Data / Hui Wang, Yan Li, Lei Li -- An Online Trend Analysis Method for Measuring Data Based on Historical Data Clustering / Jianfeng Qu [and others] -- Measuring Micro-blogging User Influence Based on User-Tweet Interaction Model / Dong Liu, Quanyuan Wu, Weihong Han -- Discover Community Leader in Social Network with PageRank / Rui Wang [and others] -- Forecasting Chinese GDP with Mixed Frequency Data Set: A Generalized Lasso Granger Method / Zhe Gao, Jianjun Yang, Shaohua Tan -- Poison Identification Based on Bayesian Network: A Novel Improvement on K2 Algorithm via Markov Blanket / Jinke Jiang [and others] -- A New Efficient Text Clustering Ensemble Algorithm Based on Semantic Sequences / Zhonghui Feng, Junpeng Bao, Kaikai Liu -- Credit Scoring Analysis Using B-Cell Algorithm and K-Nearest Neighbor Classifiers* / Cheng-An Li -- Text Categorization Based on Semantic Cluster-Hidden Markov Models / Fang Li, Tao Dong.
System and Information Security. Reversible Data Embedment for Encrypted Cartoon Images Using Unbalanced Bit Flipping / Wien Hong [and others] -- A Robust Watermarking Algorithm for 2D CAD Engineering Graphics Based on DCT and Chaos System / Jingwen Wu [and others] -- Detection of Human Abnormal Behavior of the Ship's Security / Fengxu Guan, Xiaolong Liu, Xiangyu Meng -- HYBit: A Hybrid Taint Analyzing Framework for Binary Programs / Erzhou Zhu [and others] -- The Application of the Pattern Recognition Algorithms in Security Assessment of Structural Health Monitoring for Bridges / Yilin Guo -- Experimentation of Data Mining Technique for System's Security: A Comparative Study / Ahmed Chaouki Lokbani, Ahmed Lehireche, Reda Mohamed Hamou.
Intelligent Control. Brownian Snake Measure-Valued Markov Decision Process / Zhenzhen Wang, Hancheng Xing -- A Strategy to Regulate WSN Nodes' Energy Consumption Based on Emission Rate / Bo Song, Yan Wang, Hailong Zhang -- Contact Network Model with Covert Infection / Xiaomei Yang, Jianchao Zeng, Jiye Liang -- Genetic Evolution of Control Systems / Mu-Song Chen, Tze-Yee Ho, Chipan Hwang -- An Intelligent Fusion Algorithm for Uncertain Information Processing / Peiyi Zhu, Benlian Xu, Mingli Lu -- A New Target Tracking Algorithm Based on Online Adaboost / Zhuowen Lv, Kejun Wang, Tao Yan.
Wireless Sensor Network. False Data Attacks Judgment Based on Consistency Loop Model in Wireless Sensor Networks / Ping Li [and others] -- Multi-cell Interaction Tracking Algorithm for Colliding and Dividing Cell Dynamic Analysis / Mingli Lu [and others] -- An Study of Indoor Localization Algorithm Based on Imperfect Signal Coverage in Wireless Networks / Ping Li [and others] -- Group-Based Overhead Limiting for Stability Routing in Ad Hoc Networks / Xi Hu [and others].
Scheduling and Path Planning. Path Planning in RoboCup Soccer Simulation 3D Using Evolutionary Artificial Neural Network / Saleha Raza, Sajjad Haider -- Solving Hamilton Path Problem with P System / Laisheng Xiang, Jie Xue -- Dynamic Comprehensive Evaluation of Manufacturing Capability for a Job Shop / Huachen Liu [and others] -- A Study of Aviation Swarm Convoy and Transportation Mission / Xiaolong Liang [and others] -- A Multiple Interfaces and Multiple Services Residential Gateway Scheme / Wenyao Yan [and others] -- Particle Swarm Optimization Combined with Tabu Search in a Multi-agent Model for Flexible Job Shop Problem / Abir Henchiri, Meriem Ennigrou.
Image and Video Processing. A Novel Preprocessing Method for Illumination-Variant Color Face Image / Wei Li, Qinghua Yang, Wei Pan -- Design of Face Detection System Based on FPGA / Yujie Zhang, Meihua Xu, Huaming Shen -- Remote Sensing Image Segmentation Based on Rough Entropy / Hui-jie Sun, Ting-quan Deng, Ying-ying Jiao -- A Real-Time Noise Image Edge Detector Based on FPGA / Meihua Xu, Chenjun Xia, Shuping Huang -- Optimization Algorithm and Implementation of Pedestrian Detection / Meihua Xu, Huaimeng Zheng, Tao Wang -- Video Image Clarity Algorithm Research of USV Visual System under the Sea Fog / Zhongli Ma, Jie Wen, Xiumei Liang -- A Study of Vision-Based Lane Recognition Algorithm for Driver Assistance / Feng Ran [and others] -- New Approach to Image Retrieval Based on Color Histogram / Muhammad Imran, Rathiah Hashim, Noor Eliza Abd Khalid -- Comparison and Evaluation of Human Locomotion Traits with Different Prosthetic Feet Using Graphical Methods from Control Area / Lulu Gong, Qirong Tang, Hongwei Mo.
Other Applications. An Improved Intelligent Water Drop Algorithm for a Real-Life Waste Collection Problem / Mohammad Raihanul Islam, M. Sohel Rahman -- The Extension of Linear Coding Method for Automated Analog Circuit Design / Zhi Li, Jingsong He -- The Design and Implementation of Motor Drive for an Electric Bicycle / Tze-Yee Ho [and others] -- The UML Diagram to VHDL Code Transformation Based on MDA Methodology / Chi-Pan Hwang, Mu-Song Chen -- Generating Mask from the Structural Layer of Micro Device / Zheng Liu -- Parallel Process of Virtual Screening Result File Based on Hadoop / Ning Ma, Rongjing Hu, Ruisheng Zhang -- 3D Modeling Environment Development for Micro Device Design / Zheng Liu -- Data Reconciliation of Release Mechanism Research of LDH-Based Drug / Xiaoxia Liu.
Record Nr. NYU-004637857
[ICSI (Conference) (4th : 2013 : Harbin, China)]  
Materiale a stampa
Lo trovi qui: New York University
Automata, languages, and programming : 39th International Colloquium, ICALP 2012, Warwick, UK, July 9-13, 2012, Proceedings. Part II / Artur Czumaj [and others] (eds.).
Automata, languages, and programming : 39th International Colloquium, ICALP 2012, Warwick, UK, July 9-13, 2012, Proceedings. Part II / Artur Czumaj [and others] (eds.).
Creatore [International Colloquium on Automata, Languages, and Programming (39th : 2012 : Warwick, England)]
Estensione 1 online resource.
Disciplina 005.1/3
Accesso persona Czumaj, Artur
Genere/Forma Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Computer Communication Networks
Computer software
Computational complexity
Information storage and retrieval systems
Algorithm Analysis and Problem Complexity
Computation by Abstract Devices
Information Storage and Retrieval
Information Systems Applications (incl. Internet)
Discrete Mathematics in Computer Science
ISBN 9783642315855
3642315852
9783642315848
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto On Multiple Keyword Sponsored Search Auctions with Budgets / Riccardo Colini-Baldeschi, Monika Henzinger, Stefano Leonardi and Martin Starnberger -- A Theory Independent Curry-De Bruijn-Howard Correspondence / Gilles Dowek -- Standing on the Shoulders of a Giant: One Persons Experience of Turings Impact (Summary of the Alan M. Turing Lecture) / David Harel -- Session Types and Distributed Computing / Kohei Honda -- Algorithms, Graph Theory, and the Solution of Laplacian Linear Equations / Daniel A. Spielman -- Randomized Mechanisms for Multi-unit Auctions (Extended Abstract) / Berthold Vöcking -- Algebraic Synchronization Trees and Processes / Luca Aceto, Arnaud Carayol, Zoltán Ésik and Anna Ingólfsdóttir -- Streaming Tree Transducers / Rajeev Alur and Loris D'Antoni -- Causal Graph Dynamics / Pablo Arrighi and Gilles Dowek -- Degree Lower Bounds of Tower-Type for Approximating Formulas with Parity Quantifiers / Albert Atserias and Anuj Dawar -- Monadic Datalog Containment / Michael Benedikt, Pierre Bourhis and Pierre Senellart -- A Machine-Independent Characterization of Timed Languages / Mikołaj Bojańczyk and Sławomir Lasota -- Regular Languages of Infinite Trees That Are Boolean Combinations of Open Sets / Mikołaj Bojańczyk and Thomas Place -- Toward Model Theory with Data Values / Mikołaj Bojańczyk and Thomas Place -- Robust Reachability in Timed Automata: A Game-Based Approach / Patricia Bouyer, Nicolas Markey and Ocan Sankur.
Minimizing Expected Termination Time in One-Counter Markov Decision Processes / Tomáš Brázdil, Antonín Kučera, Petr Novotný and Dominik Wojtczak -- Prefix Rewriting for Nested-Words and Collapsible Pushdown Automata / Christopher Broadbent -- A Saturation Method for Collapsible Pushdown Systems / Chris Broadbent, Arnaud Carayol, Matthew Hague and Olivier Serre -- Regular Languages Are Church-Rosser Congruential / Volker Diekert, Manfred Kufleitner, Klaus Reinhardt and Tobias Walter -- Time and Parallelizability Results for Parity Games with Bounded Treewidth / John Fearnley and Sven Schewe -- Nominal Completion for Rewrite Systems with Binders / Maribel Fernández and Albert Rubio -- Discrete Generalised Polynomial Functors (Extended Abstract) / Marcelo Fiore -- Computing Game Metrics on Markov Decision Processes / Hongfei Fu -- Deciding First Order Properties of Matroids / Tomáš Gavenčiak, Daniel Král and Sang-il Oum -- Pebble Games with Algebraic Rules / Anuj Dawar and Bjarki Holm -- Exponential Lower Bounds and Separation for Query Rewriting / Stanislav Kikot, Roman Kontchakov, Vladimir Podolskii and Michael Zakharyaschev -- Lattices of Logical Fragments over Words (Extended Abstract) / Manfred Kufleitner and Alexander Lauser -- On the Expressive Power of Cost Logics over Infinite Words / Denis Kuperberg and Michael Vanden Boom -- Coalgebraic Predicate Logic / Tadeusz Litak, Dirk Pattinson, Katsuhiko Sano and Lutz Schröder.
Algorithmic Games for Full Ground References / Andrzej S. Murawski and Nikos Tzevelekos -- Two-Level Game Semantics, Intersection Types, and Recursion Schemes / C.-H. Luke Ong and Takeshi Tsukada -- An Automata-Theoretic Model of Idealized Algol (Extended Abstract) / Uday S. Reddy and Brian P. Dunphy -- Towards a Unified Theory of Operational and Axiomatic Semantics / Grigore Roşu and Andrei Ştefănescu -- Loader and Urzyczyn Are Logically Related / Sylvain Salvati, Giulio Manzonetto, Mai Gehrke and Henk Barendregt -- Languages of Profinite Words and the Limitedness Problem / Szymon Toruńczyk -- The Complexity of Mean-Payoff Automaton Expression / Yaron Velner -- On the Locality of Some NP-Complete Problems / Leonid Barenboim -- Growing Half-Balls: Minimizing Storage and Communication Costs in CDNs / Reuven Bar-Yehuda, Erez Kantor, Shay Kutten and Dror Rawitz -- Super-Fast Distributed Algorithms for Metric Facility Location / Andrew Berns, James Hegeman and Sriram V. Pemmaraju -- Preventing Unraveling in Social Networks: The Anchored k-Core Problem / Kshipra Bhawalkar, Jon Kleinberg, Kevin Lewi, Tim Roughgarden and Aneesh Sharma -- Edge Fault Tolerance on Sparse Networks / Nishanth Chandran, Juan Garay and Rafail Ostrovsky -- Incentive Ratios of Fisher Markets / Ning Chen, Xiaotie Deng, Hongyang Zhang and Jie Zhang -- Computational Complexity of Traffic Hijacking under BGP and S-BGP / Marco Chiesa, Giuseppe Di Battista, Thomas Erlebach and Maurizio Patrignani -- Efficiency-Revenue Trade-Offs in Auctions / Ilias Diakonikolas, Christos Papadimitriou, George Pierrakos and Yaron Singer.
Deterministic Network Exploration by Anonymous Silent Agents with Local Traffic Reports / Yoann Dieudonné and Andrzej Pelc -- A QPTAS for -Envy-Free Profit-Maximizing Pricing on Line Graphs / Khaled Elbassioni -- Minimizing Rosenthal Potential in Multicast Games / Fedor V. Fomin, Petr Golovach, Jesper Nederlof and Michał Pilipczuk -- Multiparty Proximity Testing with Dishonest Majority from Equality Testing / Ran Gelles, Rafail Ostrovsky and Kina Winoto -- Anonymous Card Shuffling and Its Applications to Parallel Mixnets / Michael T. Goodrich and Michael Mitzenmacher -- Byzantine Agreement with a Rational Adversary / Adam Groce, Jonathan Katz, Aishwarya Thiruvengadam and Vassilis Zikas -- Random Hyperbolic Graphs: Degree Sequence and Clustering (Extended Abstract) / Luca Gugelmann, Konstantinos Panagiotou and Ueli Peter -- Topology-Aware VM Migration in Bandwidth Oversubscribed Datacenter Networks / Navendu Jain, Ishai Menache, Joseph (Seffi) Naor and F. Bruce Shepherd -- Counting Arbitrary Subgraphs in Data Streams / Daniel M. Kane, Kurt Mehlhorn, Thomas Sauerwald and He Sun -- k-Chordal Graphs: From Cops and Robber to Compact Routing via Treewidth / Adrian Kosowski, Bi Li, Nicolas Nisse and Karol Suchan -- Contention Issues in Congestion Games / Elias Koutsoupias and Katia Papakonstantinopoulou -- Online Mechanism Design (Randomized Rounding on the Fly) / Piotr Krysta and Berthold Vöcking -- Online Packing with Gradually Improving Capacity Estimations and Applications to Network Lifetime Maximization / Marcel Ochel, Klaus Radke and Berthold Vöcking -- Distributed Algorithms for Network Diameter and Girth / David Peleg, Liam Roditty and Elad Tal.
Record Nr. NYU-004623417
[International Colloquium on Automata, Languages, and Programming (39th : 2012 : Warwick, England)]  
Materiale a stampa
Lo trovi qui: New York University
Computer science-- Theory and applications : 7th International Computer Science Symposium in Russia, CSR 2012, Nizhny Novgorod, Russia, July 3-7, 2012. Proceedings / Edward A. Hirsch [and others] (eds.).
Computer science-- Theory and applications : 7th International Computer Science Symposium in Russia, CSR 2012, Nizhny Novgorod, Russia, July 3-7, 2012. Proceedings / Edward A. Hirsch [and others] (eds.).
Creatore [International Computer Science Symposium in Russia (7th : 2012 : Nizhniĭ Novgorod, Russia)]
Estensione 1 online resource (xxiii, 325 pages) : illustrations.
Disciplina 004
Accesso persona Hirsch, Edward A.
Genere/Forma Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Computer software
Logic design
Computational complexity
Algorithm Analysis and Problem Complexity
Mathematical Logic and Formal Languages
Discrete Mathematics in Computer Science
Computation by Abstract Devices
Mathematics of Computing
ISBN 9783642306426
364230642X
9783642306419
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Can the Theory of Algorithms Ratify the "Invisible Hand of the Market"? / Vijay V. Vazirani -- Resilient Quicksort and Selection / Maxim Babenko and Ivan Pouzyrevsky -- General Quantitative Specification Theories with Modalities / Sebastian S. Bauer, Uli Fahrenberg, Axel Legay and Claus Thrane -- The Complexity of Intersecting Finite Automata Having Few Final States / Michael Blondin and Pierre McKenzie -- News about Semiantichains and Unichain Coverings / Bartłomiej Bosek, Stefan Felsner, Kolja Knauer and Grzegorz Matecki -- Checking Tests for Read-Once Functions over Arbitrary Bases / Dmitry V. Chistikov -- Approximating Minimum Power Edge-Multi-Covers / Nachshon Cohen and Zeev Nutov -- A Lower Bound on Circuit Complexity of Vector Function in U2 / Evgeny Demenkov -- Computing All MOD-Functions Simultaneously / Evgeny Demenkov, Alexander S. Kulikov, Ivan Mihajlin and Hiroki Morizumi -- Bounded Synchronization Delay in Omega-Rational Expressions / Volker Diekert and Manfred Kufleitner -- Towards Optimal Degree-Distributions for Left-Perfect Matchings in Random Bipartite Graphs / Martin Dietzfelbinger and Michael Rink -- Robust Sensor Range for Constructing Strongly Connected Spanning Digraphs in UDGs / Stefan Dobrev, Evangelos Kranakis, Oscar Morales Ponce and Milan Plžík -- Worst-Case Optimal Priority Queues via Extended Regular Counters / Amr Elmasry and Jyrki Katajainen -- The Complexity of Minor-Ancestral Graph Properties with Forbidden Pairs / Eli Fox-Epstein and Danny Krizanc -- Satisfiability Thresholds beyond k-XORSAT / Andreas Goerdt and Lutz Falke -- Finding Vertex-Surjective Graph Homomorphisms / Petr A. Golovach, Bernard Lidický, Barnaby Martin and Daniël Paulusma -- Broadcast Domination on Block Graphs in Linear Time / Pinar Heggernes and Sigve H. Sæther -- Characterizing Certain Topological Specifications / Bernhard Heinemann -- Descriptional Complexity of Operations on Alternating and Boolean Automata / Galina Jirásková -- Consistency of Multidimensional Combinatorial Substitutions / Timo Jolivet and Jarkko Kari -- Two-Way Automata Characterizations of L/poly versus NL / Christos A. Kapoutsis and Giovanni Pighizzini -- Cutting through Regular Post Embedding Problems / Prateek Karandikar and Philippe Schnoebelen -- On the Advice Complexity of the Set Cover Problem / Dennis Komm, Richard Královič and Tobias Mömke -- Constraint Satisfaction with Counting Quantifiers / Florent Madelaine, Barnaby Martin and Juraj Stacho -- Space-Bounded Kolmogorov Extractors / Daniil Musatov -- Some Results on more Flexible Versions of Graph Motif / Romeo Rizzi and Florian Sikora -- A Characterization of Cellular Automata Generated by Idempotents on the Full Shift / Ville Salo -- Constructing Polynomials for Functions over Residue Rings Modulo a Composite Number in Linear Time / Svetlana N. Selezneva -- Boolean Composition of Visual Secret Sharing Schemes / Hans Ulrich Simon.
Record Nr. NYU-004624138
[International Computer Science Symposium in Russia (7th : 2012 : Nizhniĭ Novgorod, Russia)]  
Materiale a stampa
Lo trovi qui: New York University
Computing and Combinatorics : 18th Annual International Conference, COCOON 2012, Sydney, Australia, August 20-22, 2012. Proceedings / Joachim Gudmundsson, Julián Mestre, Taso Viglas (eds.).
Computing and Combinatorics : 18th Annual International Conference, COCOON 2012, Sydney, Australia, August 20-22, 2012. Proceedings / Joachim Gudmundsson, Julián Mestre, Taso Viglas (eds.).
Creatore [COCOON 2012 (2012 : Sydney, N.S.W.)]
Estensione 1 online resource.
Disciplina 511/.6
Accesso persona Gudmundsson, Joachim
Mestre, Julián
Viglas, Taso
Genere/Forma Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Computer Communication Networks
Computer software
Computational complexity
Artificial intelligence
Computer graphics
Algorithm Analysis and Problem Complexity
Discrete Mathematics in Computer Science
Computation by Abstract Devices
ISBN 9783642322419
3642322417
9783642322402
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto A Linear Time Algorithm for Computing Minmax Regret 1-Median on a Tree / Binay Bhattacharya and Tsunehiko Kameda -- A Simple D2-Sampling Based PTAS for k-Means and other Clustering Problems / Ragesh Jaiswal, Amit Kumar and Sandeep Sen -- Speed Scaling for Maximum Lateness / Evripidis Bampis, Dimitrios Letsios, Ioannis Milis and Georgios Zois -- Induced Subgraph Isomorphism: Are Some Patterns Substantially Easier Than Others? / Peter Floderus, Mirosław Kowaluk, Andrzej Lingas and Eva-Marta Lundell -- Contiguous Minimum Single-Source-Multi-Sink Cuts in Weighted Planar Graphs / Ivona Bezáková and Zachary Langley -- Online Knapsack Problem with Removal Cost / Xin Han, Yasushi Kawase and Kazuhisa Makino -- An Improved Exact Algorithm for TSP in Degree-4 Graphs / Mingyu Xiao and Hiroshi Nagamochi -- Dynamic Programming for H-minor-free Graphs / Juanjo Rué, Ignasi Sau and Dimitrios M. Thilikos -- Restricted Max-Min Fair Allocations with Inclusion-Free Intervals / Monaldo Mastrolilli and Georgios Stamoulis -- An Improved Algorithm for Packing T-Paths in Inner Eulerian Networks / Maxim A. Babenko, Kamil Salikhov and Stepan Artamonov -- Towards Optimal and Expressive Kernelization for d-Hitting Set / René van Bevern.
Maximum Number of Minimal Feedback Vertex Sets in Chordal Graphs and Cographs / Jean-François Couturier, Pinar Heggernes, Pim van 't Hof and Yngve Villanger -- A Local Algorithm for Finding Dense Bipartite-Like Subgraphs / Pan Peng -- Algorithms for the Strong Chromatic Index of Halin Graphs, Distance-Hereditary Graphs and Maximal Outerplanar Graphs / Ton Kloks, Sheung-Hung Poon, Chin-Ting Ung and Yue-Li Wang -- On the Minimum Degree Hypergraph Problem with Subset Size Two and the Red-Blue Set Cover Problem with the Consecutive Ones Property / Biing-Feng Wang and Chih-Hsuan Li -- Rainbow Colouring of Split and Threshold Graphs / L. Sunil Chandran and Deepak Rajendraprasad -- Approximating the Rainbow -- Better Lower and Upper Bounds / Alexandru Popa -- Ramsey Numbers for Line Graphs and Perfect Graphs / Rémy Belmonte, Pinar Heggernes, Pim van 't Hof and Reza Saei -- Geodesic Order Types / Oswin Aichholzer, Matias Korman, Alexander Pilz and Birgit Vogtenhuber -- Computing Partitions of Rectilinear Polygons with Minimum Stabbing Number / Stephane Durocher and Saeed Mehrabi -- Monotone Paths in Planar Convex Subdivisions / Adrian Dumitrescu, Günter Rote and Csaba D. Tóth -- The Cost of Bounded Curvature / Hyo-Sil Kim and Otfried Cheong.
Optimally Solving a Transportation Problem Using Voronoi Diagrams / Darius Geiß, Rolf Klein and Rainer Penninger -- Unexplored Steiner Ratios in Geometric Networks / Paz Carmi and Lilach Chaitman-Yerushalmi -- Geometric RAC Simultaneous Drawings of Graphs / Evmorfia Argyriou, Michael Bekos, Michael Kaufmann and Antonios Symvonis -- Simultaneous Embeddings with Vertices Mapping to Pre-specified Points / Taylor Gordon -- Multilevel Drawings of Clustered Graphs / Fabrizio Frati -- Outerplanar Graph Drawings with Few Slopes / Kolja Knauer, Piotr Micek and Bartosz Walczak -- Fáry's Theorem for 1-Planar Graphs / Seok-Hee Hong, Peter Eades, Giuseppe Liotta and Sheung-Hung Poon -- Constant Time Enumeration of Bounded-Size Subtrees in Trees and Its Application / Kunihiro Wasa, Yusaku Kaneta, Takeaki Uno and Hiroki Arimura -- External Memory Soft Heap, and Hard Heap, a Meldable Priority Queue / Alka Bhushan and Sajith Gopalan -- Partially Specified Nearest Neighbor Search / Tomas Hruz and Marcel Schöngens -- Multi-pattern Matching with Bidirectional Indexes / Simon Gog, Kalle Karhu, Juha Kärkkäinen, Veli Mäkinen and Niko Välimäki -- Succinct Representations of Binary Trees for Range Minimum Queries / Pooya Davoodi, Rajeev Raman and Srinivasa Rao Satti.
Lower Bounds against Weakly Uniform Circuits / Ruiwen Chen and Valentine Kabanets -- On TC0 Lower Bounds for the Permanent / Jeff Kinne -- Formula Complexity of Ternary Majorities / Kenya Ueno -- On the Kernelization Complexity of Problems on Graphs without Long Odd Cycles / Fahad Panolan and Ashutosh Rai -- The Complexity of Unary Subset Sum / Nutan Limaye, Meena Mahajan and Karteek Sreenivasaiah -- On the Advice Complexity of Tournaments / Sebastian Ben Daniel -- A Remark on One-Wayness versus Pseudorandomness / Periklis A. Papakonstantinou and Guang Yang -- Integral Mixed Unit Interval Graphs / Van Bang Le and Dieter Rautenbach -- Complementary Vertices and Adjacency Testing in Polytopes / Benjamin A. Burton -- Online Coloring of Bipartite Graphs with and without Advice / Maria Paola Bianchi, Hans-Joachim Böckenhauer, Juraj Hromkovič and Lucia Keller -- Deep Coalescence Reconciliation with Unrooted Gene Trees: Linear Time Algorithms / Paweł Górecki and Oliver Eulenstein -- On the 2-Central Path Problem / Yongding Zhu and Jinhui Xu -- Making Profit in a Prediction Market / Jen-Hou Chou, Chi-Jen Lu and Mu-En Wu -- Computing Shapley Value in Supermodular Coalitional Games / David Liben-Nowell, Alexa Sharp, Tom Wexler and Kevin Woods -- Equilibria of GSP for Range Auction / H.F. Ting and Xiangzhong Xiang -- Stretch in Bottleneck Games / Costas Busch and Rajgopal Kannan.
Record Nr. NYU-004624193
[COCOON 2012 (2012 : Sydney, N.S.W.)]  
Materiale a stampa
Lo trovi qui: New York University
The nature of computation : logic, algorithms, applications : 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013. Proceedings / Paola Bonizzoni, Vasco Brattka, Benedikt Löwe (eds.).
The nature of computation : logic, algorithms, applications : 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013. Proceedings / Paola Bonizzoni, Vasco Brattka, Benedikt Löwe (eds.).
Creatore [Conference on Computability in Europe (9th : 2013 : Milan, Italy)]
Estensione 1 online resource.
Disciplina 511.3/52
Accesso persona Bonizzoni, Paola
Brattka, Vasco, 1966-
Löwe, Benedikt
Genere/Forma Electronic books
Conference papers and proceedings
Ebook
Congresses
Soggetto non controllato Computer science
Computer software
Logic design
Computational complexity
Logic, Symbolic and mathematical
Computation by Abstract Devices
Algorithm Analysis and Problem Complexity
Discrete Mathematics in Computer Science
Math Applications in Computer Science
Mathematical Logic and Foundations
ISBN 9783642390531
3642390536
3642390528
9783642390524
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Real Benefit of Promises and Advice / Klaus Ambos-Spies, Ulrike Brandt -- Computability and Computational Complexity of the Evolution of Nonlinear Dynamical Systems / Olivier Bournez, Daniel S. Graça -- An Overview of Genomic Distances Modeled with Indels / Marília D.V. Braga -- Noise versus Computational Intractability in Dynamics / Mark Braverman -- Cluster Editing / Sebastian Böcker -- Beyond Rogers' Non-constructively Computable Function / John Case, Michael Ralston -- Constructing Continuous Systems from Discrete Cellular Automata / Julien Cervelle -- Latency-Bounded Target Set Selection in Social Networks / Ferdinando Cicalese, Gennaro Cordasco -- Summary Data Structures for Massive Data / Graham Cormode -- Determinant versus Permanent: Salvation via Generalization? / Nicolas de Rugy-Altherre -- Aligning and Labeling Genomes under the Duplication-Loss Model / Riccardo Dondi, Nadia El-Mabrouk -- Irrationality Is Needed to Compute with Signal Machines with Only Three Speeds / Jérôme Durand-Lose.
Language Forbidding-Enforcing Systems Defining DNA Codewords / Daniela Genova -- Computing K-Trivial Sets by Incomplete Random Sets / Noam Greenberg -- Cardinal-Recognizing Infinite Time Turing Machines / Miha E. Habič -- 'Stored Program Concept' Considered Harmful: History and Historiography / Thomas Haigh -- The Complexity of Interior Point Methods for Solving Discounted Turn-Based Stochastic Games / Thomas Dueholm Hansen, Rasmus Ibsen-Jensen -- The Computation of Nature, Or: Does the Computer Drive Science and Technology? / Ulf Hashagen -- Negative Glues and Non-determinism in Nanocomputations by Self-assembly / Lila Kari -- Structures without Scattered-Automatic Presentation / Alexander Kartzow, Philipp Schlicht -- Some Classes of Generalised Communicating P Systems and Simple Kernel P Systems / Shankara Narayanan Krishna, Marian Gheorghe -- Closed Choice for Finite and for Convex Sets / Stéphane Le Roux, Arno Pauly -- Realizability Models Separating Various Fan Theorems / Robert S. Lubarsky, Michael Rathjen -- Towards a Theory of Homomorphic Compression / Andrew McGregor -- The Classification Problem for Compact Computable Metric Spaces / Alexander G. Melnikov, André Nies.
Processes Inspired by the Functioning of Living Cells: Natural Computing Approach / Andrzej Ehrenfeucht, Grzegorz Rozenberg -- Recent Developments in Collective Decision Making in Combinatorial Domains / Ulle Endriss -- Software Streams: Big Data Challenges in Dynamic Program Analysis / Irene Finocchi -- On λ-Definable Functions on Ordinals / Tim Fischbach, Benjamin Seyfferth -- A Personal View of the P versus NP Problem / Lance Fortnow -- An Investigation on Genomic Repeats / Giuditta Franco, Alessio Milanese -- Local Computability for Ordinals / Johanna N.Y. Franklin, Asher M. Kach -- A Note on the Sequential Version of Π12 Statements / Makoto Fujiwara, Keita Yokoyama -- On Conservative Learning of Recursively Enumerable Languages / Ziyuan Gao, Sanjay Jain, Frank Stephan -- Topology of Asymptotic Cones and Non-deterministic Polynomial Time Computations / Anthony Gasperin -- On Decidable and Computable Models of Theories / Alexander Gavruskin, Bakhadyr Khoussainov -- Discovering Hidden Repetitions in Words / Paweł Gawrychowski, Florin Manea.
Exploiting Co-evolution across Protein Families for Predicting Native Contacts and Protein-Protein Interaction Surfaces / Andrea Pagnani -- A Compositional Semantics of Reaction Systems with Restriction / Giovanni Pardini, Roberto Barbuti -- Using Random Graphs in Population Genomics / Laxmi Parida -- The Tarski-Lindenbaum Algebra of the Class of All Strongly Constructivizable Countable Saturated Models / Mikhail G. Peretyat'kin -- The Burrows-Wheeler Transform between Data Compression and Combinatorics on Words / Giovanna Rosone, Marinella Sciortino -- A Note on ω-Jump Inversion of Degree Spectra of Structures / Ivan N. Soskov -- The Turing Universe in the Context of Enumeration Reducibility / Mariya I. Soskova -- Computing Game Strategies / Darko Stefanovic, Milan N. Stojanovic -- On Processes and Structures / Alexey Stukachev -- Various Regularity Lemmas in Graphs and Hypergraphs / Endre Szemerédi -- Three Debates about Computing / Matti Tedre -- Another Jump Inversion Theorem for Structures / Stefan Vatev -- On Algorithmic Strong Sufficient Statistics / Nikolay Vereshchagin -- Analytic Root Clustering: A Complete Algorithm Using Soft Zero Tests / Chee Yap, Michael Sagraloff, Vikram Sharma.
Record Nr. NYU-004638948
[Conference on Computability in Europe (9th : 2013 : Milan, Italy)]  
Materiale a stampa
Lo trovi qui: New York University