Determinant versus Permanent: Salvation via Generalization? (Englisch)
- Neue Suche nach: de Rugy-Altherre, N.
- Neue Suche nach: de Rugy-Altherre, N.
- Neue Suche nach: Bonizzoni, Paola
- Neue Suche nach: Brattka, Vasco
- Neue Suche nach: Lowe, Benedikt
In:
The nature of computation: logic, algorithms, applications : 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013 : proceedings /
7921
;
87-96
;
2013
-
ISBN:
-
ISSN:
- Aufsatz (Konferenz) / Print
-
Titel:Determinant versus Permanent: Salvation via Generalization?
-
Beteiligte:
-
Kongress:Conference; 9th, The nature of computation: logic, algorithms, applications : 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013 : proceedings / ; 2013 ; Milan, Italy
-
Erschienen in:LECTURE NOTES IN COMPUTER SCIENCE , 7921 ; 87-96
-
Verlag:
- Neue Suche nach: Springer
-
Erscheinungsort:Heidelberg
-
Erscheinungsdatum:01.01.2013
-
Format / Umfang:10 pages
-
Anmerkungen:Includes bibliographical references and index. Also issued online. CiE 2013.
-
ISBN:
-
ISSN:
-
Medientyp:Aufsatz (Konferenz)
-
Format:Print
-
Sprache:Englisch
-
Schlagwörter:
-
Datenquelle:
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Inhaltsverzeichnis Konferenzband
Die Inhaltsverzeichnisse werden automatisch erzeugt und basieren auf den im Index des TIB-Portals verfügbaren Einzelnachweisen der enthaltenen Beiträge. Die Anzeige der Inhaltsverzeichnisse kann daher unvollständig oder lückenhaft sein.
- 1
-
Real Benefit of Promises and AdviceAmbos-Spies, K. / Brandt, U. / Ziegler, M. et al. | 2013
- 12
-
Computability and Computational Complexity of the Evolution of Nonlinear Dynamical SystemsBournez, O. / Graca, D.S. / Pouly, A. / Zhong, N. et al. | 2013
- 22
-
An Overview of Genomic Distances Modeled with IndelsBraga, M.D.V. et al. | 2013
- 32
-
Noise versus Computational Intractability in DynamicsBraverman, M. et al. | 2013
- 33
-
Cluster EditingBocker, S. / Baumbach, J. et al. | 2013
- 45
-
Beyond Rogers' Non-constructively Computable FunctionCase, J. / Ralston, M. et al. | 2013
- 55
-
Constructing Continuous Systems from Discrete Cellular AutomataCervelle, J. et al. | 2013
- 65
-
Latency-Bounded Target Set Selection in Social NetworksCicalese, F. / Cordasco, G. / Gargano, L. / Milanic, M. / Vaccaro, U. et al. | 2013
- 78
-
Summary Data Structures for Massive DataCormode, G. et al. | 2013
- 87
-
Determinant versus Permanent: Salvation via Generalization?de Rugy-Altherre, N. et al. | 2013
- 97
-
Aligning and Labeling Genomes under the Duplication-Loss ModelDondi, R. / El-Mabrouk, N. et al. | 2013
- 108
-
Irrationality Is Needed to Compute with Signal Machines with Only Three SpeedsDurand-Lose, J. et al. | 2013
- 120
-
Processes Inspired by the Functioning of Living Cells: Natural Computing ApproachEhrenfeucht, A. / Rozenberg, G. et al. | 2013
- 123
-
Recent Developments in Collective Decision Making in Combinatorial DomainsEndriss, U. et al. | 2013
- 124
-
Software Streams: Big Data Challenges in Dynamic Program AnalysisFinocchi, I. et al. | 2013
- 135
-
On λ-Definable Functions on OrdinalsFischbach, T. / Seyfferth, B. et al. | 2013
- 147
-
A Personal View of the P versus NP ProblemFortnow, L. et al. | 2013
- 149
-
An Investigation on Genomic RepeatsFranco, G. / Milanese, A. et al. | 2013
- 161
-
Local Computability for OrdinalsFranklin, J.N.Y. / Kach, A.M. / Miller, R. / Solomon, R. et al. | 2013
- 171
-
A Note on the Sequential Version of Pi 1/2 StatementsFujiwara, M. / Yokoyama, K. et al. | 2013
- 181
-
On Conservative Learning of Recursively Enumerable LanguagesGao, Z. / Jain, S. / Stephan, F. et al. | 2013
- 191
-
Topology of Asymptotic Cones and Non-deterministic Polynomial Time ComputationsGasperin, A. et al. | 2013
- 200
-
On Decidable and Computable Models of TheoriesGavruskin, A. / Khoussainov, B. et al. | 2013
- 210
-
Discovering Hidden Repetitions in WordsGawrychowski, P. / Manea, F. / Nowotka, D. et al. | 2013
- 220
-
Language Forbidding-Enforcing Systems Defining DNA CodewordsGenova, D. et al. | 2013
- 230
-
Computing K-Trivial Sets by Incomplete Random SetsGreenberg, N. et al. | 2013
- 231
-
Cardinal-Recognizing Infinite Time Turing MachinesHabic, M.E. et al. | 2013
- 241
-
`Stored Program Concept' Considered Harmful: History and HistoriographyHaigh, T. et al. | 2013
- 252
-
The Complexity of Interior Point Methods for Solving Discounted Turn-Based Stochastic GamesHansen, T.D. / Ibsen-Jensen, R. et al. | 2013
- 263
-
The Computation of Nature, Or: Does the Computer Drive Science and Technology?Hashagen, U. et al. | 2013
- 271
-
Negative Glues and Non-determinism in Nanocomputations by Self-assemblyKari, L. et al. | 2013
- 273
-
Structures without Scattered-Automatic PresentationKartzow, A. / Schlicht, P. et al. | 2013
- 284
-
Some Classes of Generalised Communicating P Systems and Simple Kernel P SystemsKrishna, S.N. / Gheorghe, M. / Dragomir, C. et al. | 2013
- 294
-
Closed Choice for Finite and for Convex SetsLe Roux, S. / Pauly, A. et al. | 2013
- 306
-
Realizability Models Separating Various Fan TheoremsLubarsky, R.S. / Rathjen, M. et al. | 2013
- 316
-
Towards a Theory of Homomorphic CompressionMcGregor, A. et al. | 2013
- 320
-
The Classification Problem for Compact Computable Metric SpacesMelnikov, A.G. / Nies, A. et al. | 2013
- 329
-
Exploiting Co-evolution across Protein Families for Predicting Native Contacts and Protein-Protein Interaction SurfacesPagnani, A. et al. | 2013
- 330
-
A Compositional Semantics of Reaction Systems with RestrictionPardini, G. / Barbuti, R. / Maggiolo-Schettini, A. / Milazzo, P. / Tini, S. et al. | 2013
- 340
-
Using Random Graphs in Population GenomicsParida, L. et al. | 2013
- 342
-
The Tarski-Lindenbaum Algebra of the Class of All Strongly Constructivizable Countable Saturated ModelsPeretyat kin, M.G. et al. | 2013
- 353
-
The Burrows-Wheeler Transform between Data Compression and Combinatorics on WordsRosone, G. / Sciortino, M. et al. | 2013
- 365
-
A Note on omega -Jump Inversion of Degree Spectra of StructuresSoskov, I.N. et al. | 2013
- 371
-
The Turing Universe in the Context of Enumeration ReducibilitySoskova, M.I. et al. | 2013
- 383
-
Computing Game StrategiesStefanovic, D. / Stojanovic, M.N. et al. | 2013
- 393
-
On Processes and StructuresStukachev, A. et al. | 2013
- 403
-
Various Regularity Lemmas in Graphs and HypergraphsSzemeredi, E. et al. | 2013
- 404
-
Three Debates about ComputingTedre, M. et al. | 2013
- 414
-
Another Jump Inversion Theorem for StructuresVatev, S. et al. | 2013
- 424
-
On Algorithmic Strong Sufficient StatisticsVereshchagin, N. et al. | 2013
- 434
-
Analytic Root Clustering: A Complete Algorithm Using Soft Zero TestsYap, C. / Sagraloff, M. / Sharma, V. et al. | 2013