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.
Language and automata theory and applications : 6th International Conference, LATA 2012, A Coruña, Spain, March 5-9, 2012. Proceedings / Adrian-Horia Dediu, Carlos Martín-Vide (eds.).
Language and automata theory and applications : 6th International Conference, LATA 2012, A Coruña, Spain, March 5-9, 2012. Proceedings / Adrian-Horia Dediu, Carlos Martín-Vide (eds.).
Creatore [LATA (Conference) (6th : 2012 : La Coruña, Spain)]
Estensione 1 online resource (xiv, 552 pages).
Disciplina 004
Accesso persona Horia Dediu, Adrian
Martín Vide, Carlos
Genere/Forma Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Computer software
Logic design
Artificial intelligence
Computation by Abstract Devices
Mathematical Logic and Formal Languages
Algorithm Analysis and Problem Complexity
Artificial Intelligence (incl. Robotics)
Logics and Meanings of Programs
Computer Appl. in Social and Behavioral Sciences
ISBN 9783642283321
3642283322
9783642283314
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. NYU-004374448
[LATA (Conference) (6th : 2012 : La Coruña, Spain)]  
Materiale a stampa
Lo trovi qui: New York University
Language and automata theory and applications : 4th International Conference, LATA 2010, Trier, Germany, May 24-28, 2010 : proceedings / Adrian Horia Dediu, Henning Fernau, Carlos Martín-Vide (eds.).
Language and automata theory and applications : 4th International Conference, LATA 2010, Trier, Germany, May 24-28, 2010 : proceedings / Adrian Horia Dediu, Henning Fernau, Carlos Martín-Vide (eds.).
Creatore [LATA (4th International Conference : 2010 : Trier, Germany)]
Edizione [1st ed.]
Estensione 1 online resource (xiv, 622 pages) : illustrations (some color).
Disciplina 004
Accesso persona Horia Dediu, Adrian
Fernau, Henning
Martín Vide, Carlos
Genere/Forma Electronic books
Conference papers and proceedings
Congresses
ISBN 9783642130892
3642130895
9783642130885
3642130887
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Invited talks: Complexity in convex languages / Janusz Brzozowski -- Three learnable models for the description of language / Alexander Clark -- Arbology : trees and pushdown automata / Bořivoj Melichar -- Analysis of communicating automata / Anca Muscholl -- Regular papers: Complexity of the satisfiability problem for a class of propositional schemata / Vincent Aravantinos, Ricardo Caferra, and Nicolas Peltier -- A simple n-dimensional intrinsically universal quantum cellular automation / Pablo Arrighi and Jonathan Grattage -- A fast longest common subsequence algorithm for similar strings / Abdullah N. Arslan -- Abelian square-free partial words / Francine Blanchet-Sadri, Jane I. Kim, Robert Merca̧s, William Severa, and Sean Simmons -- Avoidable binary patterns in partial words / Francine Blanchet-Sadri, Robert Merca̧s, Sean Simmons, and Eric Weissenstein -- Equivalence and inclusion problem for strongly unambiguous Büchi automata / Nicolas Bousquet and Christof Löding -- Pregroup grammars with letter promotions / Wojciech Buszkowski and Zhe Lin -- A hierarchical classification of first-order recurrent neural networks / Jérémie Cabessa and Alessandro E.P. Villa -- Choosing word occurrences for the smallest grammar problem / Rafael Carrascosa, François Coste, Matthias Gallé, and Gabriel Infante-Lopez -- Agreement and cliticization in Italian : a pregroup analysis / Claudia Casadio -- Geometricity of binary regular languages / Jean-Marc Champarnaud, Jean-Philippe Dubernard, and Hadrien Jeanne -- On the expressive power of FO[+] / Christian Choffrut, Andreas Malcher, Carlo Mereghetti, and Beatrice Palano -- Finding consistent categorial grammars of bounded value : a parameterized approach / Christophe Costa Florêncio and Henning Fernau -- Operator precedence and the visibly pushdown property / Stefano Crespi Reghizzi and Dino Mandrioli -- On the maximal number of cubic runs in a string / Maxime Crochemore, Costas Iliopoulos, Marcin Kubica, Jakub Radoszewski, Wojciech Rytter, and Tomasz Waleń -- On the Hamiltonian operators for adiabatic quantum reduction of SAT / William Cruz-Santos and Guillermo Morales-Luna -- Parametric metric interval temporal logic / Barbara Di Giampaolo, Salvatore La Torre, and Margherita Napoli -- Short witnesses and accepting lassos in omega-automata / Rüdiger Ehlers -- Grammar-based compression in a streaming model / Travis Gagie and Pawel Gawrychowski -- Simplifying regular expressions : a quantitative perspective / Hermann Gruber and Stefan Gulan -- A programming language tailored to the specification and solution of differential equations describing processes on networks / Reinhard Hemmerling, Katarína Smoleňová, and Winfried Kurth -- The inclusion problem for regular expressions / Dag Hovland -- Learnability of automatic classes / Sanjay Jain, Qinglong Luo, and Frank Stephan -- Untestable properties expressible with four first-order quantifiers / Charles Jordan and Thomas Zeugmann -- The copying power of well-nested multiple context-free grammars / Makoto Kanazawa and Sylvain Salvati -- Post correspondence problem with partially commutative alphabets / Barbara Klunder and Wojciech Rytter -- Reversible pushdown automata / Martin Kutrib and Andreas Malcher -- String extension learning using lattices / Anna Kasprzik and Timo Kötzing -- The equivalence problem of deterministic multitape finite automata : a new proof of solvability using a multidimensional tape / Alexander A. Letichevsky, Arsen S. Shoukourian, and Samvel K. Shoukourian -- Primitive words are unavoidable for context-free languages / Peter Leupold -- Modal Nonassociative Lambek Calculus with assumptions : complexity and context-freeness / Zhe Lin -- Hard counting problems for partial words / Florin Manea and Cǎtǎlin Tiseanu -- Exact analysis of Horspool's and Sunday's pattern matching algorithms with probabilistic arithmetic automata / Tobias Marschall and Sven Rahmann -- SA-REPC : Sequence Alignment with Regular Expression Path constraint / Nimrod Milo, Tamar Pinhas, and Michal Ziv-Ukelson -- CD-systems of stateless deterministic R(1)-automata accept all rational trace languages / Benedek Nagy and Friedrich Otto -- A boundary between universality and non-universality in extended spiking neural P systems / Turlough Neary -- Using sums-of-products for non-standard reasoning / Rafael Peñaloza -- Restarting automata with structured output and functional generative description / Martin Plátek, František Mráz, and Markéta Lopatková -- A randomized Numerical Aligner (rNA) / Alberto Policriti, Alexandru I. Tomescu, and Francesco Vezzi -- Language-based comparison of Petri nets with black tokens, pure names and ordered data / Fernando Rosa-Velardo and Giorgio Delzanno -- Verifying complex continuous real-time systems with coinductive CLP(R) / Neda Saeedloei and Gopal Gupta -- Incremental building in peptide computing to solve Hamiltonian path problem / Muthiah Sakthi Balan and Parameswaran Seshan -- Variable automata over infinite alphabets / Orna Grumberg, Orna Kupferman, and Sarai Sheinvald -- Some minimality results on biresidual and biseparable automata / Hellis Tamm -- Extending stochastic context-free grammars for an application in bioinformatics / Frank Weinberg and Markus E. Nebel -- Chomsky-Schützenberger-type characterization of multiple context-free languages / Ryo Yoshinaka, Yuichi Kaji, and Hiroyuki Seki -- Complexity of guided insertion-deletion in RNA-editing / Hans Zantema
Record Nr. NYU-004617050
[LATA (4th International Conference : 2010 : Trier, Germany)]  
Materiale a stampa
Lo trovi qui: New York University
New developments in formal languages and applications / Gemma Bel-Enguix, M. Dolores Jiménez-López, Carlos Martín-Vide (eds.).
New developments in formal languages and applications / Gemma Bel-Enguix, M. Dolores Jiménez-López, Carlos Martín-Vide (eds.).
Estensione 1 online resource (vi, 275 pages) : illustrations.
Disciplina 005.13/1
Accesso persona Bel-Enguix, Gemma
Jiménez-López, M. Dolores
Martín Vide, Carlos
Genere/Forma Electronic books
ISBN 9783540782919
3540782915
9783540782902
3540782907
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Basic Notation and Terminology -- Open Problems on Partial Words -- Alignments and Approximate String Matching -- An Introductory Course on Communication Complexity -- Formal Languages and Concurrent Behaviours -- Cellular Automata {u2013} A Computational Point of View -- Probabilistic Parsing -- DNA-Based Memories: A Survey.
Record Nr. NYU-004350132
Materiale a stampa
Lo trovi qui: New York University
Scientific applications of language methods [electronic resource] / edited by Carlos Martín-Vide
Scientific applications of language methods [electronic resource] / edited by Carlos Martín-Vide
Estensione xi, 739 p. : ill. (some col.).
Accesso persona Martín Vide, Carlos
Accesso ente ebrary, Inc.
Genere/Forma Electronic books
ISBN 1848165447
9781848165441
9781848165458
Formato Risorse elettroniche
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UMICH-011219279
Risorse elettroniche
Lo trovi qui: University of Michigan Ann Arbor
Membrane computing [electronic resource] : International Workshop, WMC 2003 : Tarragona, Spain, July 17-22, 2003 : revised papers / Carlos Martín-Vide ... [et al.] (eds.).
Membrane computing [electronic resource] : International Workshop, WMC 2003 : Tarragona, Spain, July 17-22, 2003 : revised papers / Carlos Martín-Vide ... [et al.] (eds.).
Creatore [WMC 2003 (2003 : Tarragona, Spain)]
Accesso persona Martín Vide, Carlos
Accesso ente SpringerLink (Online service)
ISBN 354020895X
Formato Risorse elettroniche
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UMICH-004958881
[WMC 2003 (2003 : Tarragona, Spain)]  
Risorse elettroniche
Lo trovi qui: University of Michigan Ann Arbor
Theory and Practice of Natural Computing [electronic resource] : First International Conference, TPNC 2012, Tarragona, Spain, October 2-4, 2012. Proceedings / edited by Adrian-Horia Dediu, Carlos Martín-Vide, Bianca Truthe
Theory and Practice of Natural Computing [electronic resource] : First International Conference, TPNC 2012, Tarragona, Spain, October 2-4, 2012. Proceedings / edited by Adrian-Horia Dediu, Carlos Martín-Vide, Bianca Truthe
Creatore [Dediu, Adrian-Horia]
Estensione digital.
Disciplina 005.1
Accesso persona Martín Vide, Carlos
Truthe, Bianca
Accesso ente SpringerLink (Online service)
ISBN 9783642338601
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UMICH-011798292
[Dediu, Adrian-Horia]  
Materiale a stampa
Lo trovi qui: University of Michigan Ann Arbor
Current issues in mathematical linguistics / edited by Carlos Martín-Vide
Current issues in mathematical linguistics / edited by Carlos Martín-Vide
Estensione 1 online resource (xvii, 461 pages) : illustrations.
Disciplina 410/.1/51
Accesso persona Martín Vide, Carlos
Genere/Forma Electronic books
Soggetto non controllato Mathematical linguistics
ISBN 0444816933
9780444816931
Classificazione 17.46
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. NYU-004788130
Materiale a stampa
Lo trovi qui: New York University
Issues in mathematical linguistics : Workshop on Mathematical Linguistics, State College, PA, April 1998 / edited by Carlos Martín-Vide
Issues in mathematical linguistics : Workshop on Mathematical Linguistics, State College, PA, April 1998 / edited by Carlos Martín-Vide
Creatore [Workshop on Mathematical Linguistics (1998 : Philadelphia, Pa.)]
Estensione xi, 214 p. : ill. ; 23 cm.
Disciplina 410/.1/51
Accesso persona Martín Vide, Carlos
ISBN 1556198981 (alk. paper)
9027215561 (Eur.)
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. NYU-001585034
[Workshop on Mathematical Linguistics (1998 : Philadelphia, Pa.)]  
Materiale a stampa
Lo trovi qui: New York University
Where mathematics, computer science, linguistics, and biology meet : essays in honour of Gheorghe Păun / edited by Carlos Martín-Vide and Victor Mitrana
Where mathematics, computer science, linguistics, and biology meet : essays in honour of Gheorghe Păun / edited by Carlos Martín-Vide and Victor Mitrana
Estensione xv, 446 p. : ill. ; 25 cm.
Disciplina 511.3
Accesso persona Martín Vide, Carlos
Mitrana, Victor
Păun, Gheorghe, 1950-
Soggetto-Autore Păun, Gheorghe, 1950-
ISBN 079236693X (alk. paper)
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. NYU-001723205
Materiale a stampa
Lo trovi qui: New York University
Membrane computing : International Workshop, WMC 2003 : Tarragona, Spain, July 17-22, 2003 : revised papers / Carlos Martín-Vide [and others] (eds.).
Membrane computing : International Workshop, WMC 2003 : Tarragona, Spain, July 17-22, 2003 : revised papers / Carlos Martín-Vide [and others] (eds.).
Creatore [WMC 2003 (2003 : Tarragona, Spain)]
Estensione 1 online resource (viii, 382 pages) : illustrations.
Disciplina 511.3
Accesso persona Martín Vide, Carlos
Genere/Forma Conference papers and proceedings
Electronic book
ISBN 3540246193
9783540246190
354020895X
9783540208952
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Proton Pumping P Systems -- A Binary Data Structure for Membrane Processors: Connectivity Arrays -- Parsing with Active P Automata -- Universality of Minimal Symport/Antiport: Five Membranes Suffice -- Collapsing Hierarchies of Parallel Rewriting P Systems without Target Conflicts -- Evolution and Observation: A New Way to Look at Membrane Systems -- Tiling Rectangular Pictures with P Systems -- Simulating Boolean Circuits with P Systems -- P Systems Running on a Cluster of Computers -- Implementing in Prolog an Effective Cellular Solution to the Knapsack Problem -- On the Dynamics of PB Systems: A Petri Net View -- P Systems Generating Hexagonal Picture Languages -- A Membrane System for the Leukocyte Selective Recruitment -- P Systems with Cutting/Recombination Rules Assigned to Membranes --? -P Automata with Communication Rules -- The Number of Membranes Matters -- An Agent-Based Behavioural Model of Monomorium Pharaonis Colonies -- Can Hyperbolic Geometry Be of Help for P Systems? -- A Linear-Time Solution to the Knapsack Problem Using P Systems with Active Membranes -- A Reconfigurable Hardware Membrane System -- P Systems and Petri Nets -- Simulation of Mobile Ambients by P Systems. Part 1 -- Computing Partial Recursive Functions by Transition P Systems -- P Systems with External Input and Learning Strategies -- A Distributed Simulation of Transition P Systems -- About Splicing P Systems with Immediate Communication and Non-extended Splicing P Systems.
Record Nr. UALBERTA-8416687
[WMC 2003 (2003 : Tarragona, Spain)]  
Materiale a stampa
Lo trovi qui: University of Alberta / NEOS Library Consortium