LIVIVO - The Search Portal for Life Sciences

zur deutschen Oberfläche wechseln
Advanced search

Search results

Result 1 - 10 of total 75

Search options

  1. Book ; Online: In Memoriam, Solomon Marcus

    Calude, Cristian S. / Păun, Gheorghe

    2022  

    Keywords Information technology industries ; Computer science ; automata theory ; formal language theory ; bio-informatics ; recursive function theory ; evolutionary processor ; network of evolutionary processors ; network topology ; theory of computation ; computational models ; intrinsic perception ; Hausdorff dimension ; fractal ; computational complexity ; Turing machine ; oracle Turing machine ; shortest computations ; quasiperiod ; formal language ; asymptotic growth ; polynomial ; membrane computing ; computational complexity theory ; P vs. NP problem ; evolutional communication ; symport/antiport ; Kolmogorov complexity ; random strings ; extractors ; finite languages ; deterministic finite cover automata ; multiple entry automata ; automata with "do not care" symbols ; similarity relations ; process calculus ; communication patterns ; control structures ; hypergraph model ; P systems ; cP systems ; NP-complete ; NP-hard ; SAT ; logarithmic time complexity
    Language 0|e
    Size 1 electronic resource (148 pages)
    Publisher MDPI - Multidisciplinary Digital Publishing Institute
    Publishing place Basel
    Document type Book ; Online
    Note English ; Open Access
    HBZ-ID HT021609332
    ISBN 9783036534763 ; 3036534768
    Database ZB MED Catalogue: Medicine, Health, Nutrition, Environment, Agriculture

    More links

    Kategorien

    Order via subito

    This service is chargeable due to the Delivery terms set by subito. Orders including an article and supplementary material will be classified as separate orders. In these cases, fees will be demanded for each order.

    Inter-library loan at ZB MED

    Your chosen title can be delivered directly to ZB MED Cologne location if you are registered as a user at ZB MED Cologne.

  2. Book: The human face of computing

    Calude, Cristian S

    (Advances in computer science and engineering. Texts ; Vol. 9)

    2016  

    Author's details ed. Cristian S. Calude
    Series title Advances in computer science and engineering. Texts ; Vol. 9
    Keywords Computer scientists ; Computers and civilization
    Language English
    Size XVI, 432 S., Ill.
    Publisher Imperial College Press
    Publishing place London
    Document type Book
    ISBN 9781783266432 ; 1783266430
    Database Former special subject collection: coastal and deep sea fishing

    More links

    Kategorien

    Order via subito

    This service is chargeable due to the Delivery terms set by subito. Orders including an article and supplementary material will be classified as separate orders. In these cases, fees will be demanded for each order.

    Inter-library loan at ZB MED

    Your chosen title can be delivered directly to ZB MED Cologne location if you are registered as a user at ZB MED Cologne.

  3. Book ; Conference proceedings ; Online: Theoretical Computer Science

    Calude, Cristian S

    6th IFIP TC 1/WG 2.2 International Conference, TCS 2010, Held as Part of WCC 2010, Brisbane, Australia, September 20-23, 2010. Proceedings

    (IFIP Advances in Information and Communication Technology ; 323)

    2010  

    Institution International Federation for Information Processing
    TCS
    World Computer Congress
    Event/congress IFIP World Computer Congress (21, 2010.09.20-23, Brisbane) ; International Conference on Theoretical Computer Science (6, 2010.09-20-23, Brisbane) ; TCS (6, 2010.09-20-23, Brisbane) ; WCC (21, 2010.09.20-23, Brisbane)
    Author's details edited by Cristian S. Calude, Vladimiro Sassone
    Series title IFIP Advances in Information and Communication Technology ; 323
    Keywords Computer Communication Networks ; Computer science ; Computer software ; Logic design ; Software engineering
    Language English
    Size Online-Ressource, v.: digital
    Publisher IFIP International Federation for Information Processing
    Publishing place Berlin, Heidelberg
    Document type Book ; Conference proceedings ; Online
    ISBN 9783642152399 ; 9783642152405 ; 3642152392 ; 3642152406
    DOI 10.1007/978-3-642-15240-5
    Database Library catalogue of the German National Library of Science and Technology (TIB), Hannover

    More links

    Kategorien

    Order via subito

    This service is chargeable due to the Delivery terms set by subito. Orders including an article and supplementary material will be classified as separate orders. In these cases, fees will be demanded for each order.

    Inter-library loan at ZB MED

    Your chosen title can be delivered directly to ZB MED Cologne location if you are registered as a user at ZB MED Cologne.

  4. Book ; Conference proceedings: Special issue "Unconventional computing 2008"

    Calude, Cristian S

    [... papers presented at the 7th International Conference on Unconventional Computing, UC 2008 held in Vienna, Austria on 25 - 28 August 2008]

    (Natural computing ; 9.2010,4)

    2010  

    Title variant Unconventional computing 2008
    Event/congress International Conference on Unconventional Computing (7, 2008.08.25-28, Vienna) ; UC (7, 2008.08.25-28, Vienna)
    Author's details guest ed.: Cristian S. Calude
    Series title Natural computing ; 9.2010,4
    Language English
    Publisher Springer
    Publishing place Dordrecht
    Document type Book ; Conference proceedings
    Note Die Vorlage enth. insgesamt 2 Kongresse
    Database Library catalogue of the German National Library of Science and Technology (TIB), Hannover

    More links

    Kategorien

    Inter-library loan at ZB MED

    Your chosen title can be delivered directly to ZB MED Cologne location if you are registered as a user at ZB MED Cologne.

  5. Book ; Conference proceedings ; Online: Theoretical Computer Science

    Calude, Cristian S

    6th IFIP TC 1/WG 2.2 International Conference, TCS 2010, Held as Part of WCC 2010, Brisbane, Australia, September 20-23, 2010. Proceedings

    (IFIP Advances in Information and Communication Technology ; 323)

    2010  

    Institution International Federation for Information Processing
    TCS
    World Computer Congress
    Event/congress IFIP World Computer Congress (21, 2010.09.20-23, Brisbane) ; International Conference on Theoretical Computer Science (6, 2010.09-20-23, Brisbane) ; TCS (6, 2010.09-20-23, Brisbane) ; WCC (21, 2010.09.20-23, Brisbane)
    Author's details edited by Cristian S. Calude, Vladimiro Sassone
    Series title IFIP Advances in Information and Communication Technology ; 323
    Keywords Computer Communication Networks ; Computer science ; Computer software ; Logic design ; Software engineering
    Language English
    Size Online-Ressource, v.: digital
    Publisher IFIP International Federation for Information Processing
    Publishing place Berlin, Heidelberg
    Document type Book ; Conference proceedings ; Online
    ISBN 9783642152399 ; 9783642152405 ; 3642152392 ; 3642152406
    DOI 10.1007/978-3-642-15240-5
    Database Former special subject collection: coastal and deep sea fishing

    More links

    Kategorien

    Order via subito

    This service is chargeable due to the Delivery terms set by subito. Orders including an article and supplementary material will be classified as separate orders. In these cases, fees will be demanded for each order.

    Inter-library loan at ZB MED

    Your chosen title can be delivered directly to ZB MED Cologne location if you are registered as a user at ZB MED Cologne.

  6. Book ; Online: How Real is Incomputability in Physics?

    Trejo, José Manuel Agüero / Calude, Cristian S. / Dinneen, Michael J. / Fedorov, Arkady / Kulikov, Anatoly / Navarathna, Rohit / Svozil, Karl

    2023  

    Abstract: A physical system is determined by a finite set of initial conditions and laws represented by equations. The system is computable if we can solve the equations in all instances using a ``finite body of mathematical knowledge". In this case, if the laws ... ...

    Abstract A physical system is determined by a finite set of initial conditions and laws represented by equations. The system is computable if we can solve the equations in all instances using a ``finite body of mathematical knowledge". In this case, if the laws of the system can be coded into a computer program, then given the system's initial conditions of the system, one can compute the system's evolution. This scenario is tacitly taken for granted. But is this reasonable? The answer is negative, and a straightforward example is when the initial conditions or equations use irrational numbers, like Chaitin's Omega Number: no program can deal with such numbers because of their ``infinity''. Are there incomputable physical systems? This question has been theoretically studied in the last 30--40 years. This article presents a class of quantum protocols producing quantum random bits. Theoretically, we prove that every infinite sequence generated by these quantum protocols is strongly incomputable -- no algorithm computing any bit of such a sequence can be proved correct. This theoretical result is not only more robust than the ones in the literature: experimental results support and complement it.

    Comment: 21 pages, 3 figures, 2 tables
    Keywords Quantum Physics ; Computer Science - Computational Complexity
    Subject code 190
    Publishing date 2023-11-01
    Publishing country us
    Document type Book ; Online
    Database BASE - Bielefeld Academic Search Engine (life sciences selection)

    Full text online

    More links

    Kategorien

    Inter-library loan at ZB MED

    Your chosen title can be delivered directly to ZB MED Cologne location if you are registered as a user at ZB MED Cologne.

  7. Book ; Conference proceedings: Physics and computation

    Calude, Cristian S

    [selection of papers presented at the (Renaissance) International Workshop "Physics and Computation" held in Vienna, Austria, August 25 - 28, 2008]

    (Applied mathematics and computation ; 215.2009,4)

    2009  

    Event/congress International Workshop "Physics and Computation" (2008.08.25-28, ViennaAustria)
    Author's details guest ed.: Cristian S. Calude
    Series title Applied mathematics and computation ; 215.2009,4
    Language English
    Size S. 1309 - 1646, Ill., graph. Darst.
    Publisher Elsevier
    Publishing place Amsterdam u.a.
    Document type Book ; Conference proceedings
    Database Library catalogue of the German National Library of Science and Technology (TIB), Hannover

    More links

    Kategorien

    Inter-library loan at ZB MED

    Your chosen title can be delivered directly to ZB MED Cologne location if you are registered as a user at ZB MED Cologne.

  8. Book ; Conference proceedings: Special issue on physics and computation

    Calude, Cristian S

    [ ... a selection of papers on natural computing presented at the (Renaissance) International Workshop "Physics and Computation" held in Vienna, Austria, August 25 - 28, 2008]

    (Natural computing ; 8.2009,3)

    2009  

    Event/congress International Workshop "Physics and Computation" (2008.08.25-28, Vienna)
    Author's details guest ed.: Cristian S. Calude
    Series title Natural computing ; 8.2009,3
    Language English
    Size S. 429 - 641, Ill., graph. Darst.
    Publisher Springer
    Publishing place Dordrecht
    Document type Book ; Conference proceedings
    Database Library catalogue of the German National Library of Science and Technology (TIB), Hannover

    More links

    Kategorien

    Inter-library loan at ZB MED

    Your chosen title can be delivered directly to ZB MED Cologne location if you are registered as a user at ZB MED Cologne.

  9. Book: Rainbow of computer science

    Calude, Cristian S / Maurer, Hermann

    dedicated to Hermann Maurer on the occasion if His 70th birthday

    (Festschrift ; Lecture notes in computer science ; 6570)

    2011  

    Author's details Cristian S. Calude ... (eds.)
    Series title Festschrift
    Lecture notes in computer science ; 6570
    Keywords Formale Sprache ; Berechenbarkeit ; Informatik ; Algorithmische Lerntheorie ; Automat
    Language English
    Size XII, 283 S., Ill., graph. Darst.
    Publisher Springer
    Publishing place Heidelberg u.a.
    Document type Book
    Note Literaturangaben
    ISBN 9783642193903 ; 9783642193910 ; 3642193900 ; 3642193919
    Database Library catalogue of the German National Library of Science and Technology (TIB), Hannover

    More links

    Kategorien

    Order via subito

    This service is chargeable due to the Delivery terms set by subito. Orders including an article and supplementary material will be classified as separate orders. In these cases, fees will be demanded for each order.

    Inter-library loan at ZB MED

    Your chosen title can be delivered directly to ZB MED Cologne location if you are registered as a user at ZB MED Cologne.

  10. Book: Rainbow of computer science

    Calude, Cristian S / Maurer, Hermann

    dedicated to Hermann Maurer on the occasion if His 70th birthday

    (Festschrift ; Lecture notes in computer science ; 6570)

    2011  

    Author's details Cristian S. Calude ... (eds.)
    Series title Festschrift
    Lecture notes in computer science ; 6570
    Keywords Formale Sprache ; Berechenbarkeit ; Informatik ; Algorithmische Lerntheorie ; Automat
    Language English
    Size XII, 283 S., Ill., graph. Darst.
    Publisher Springer
    Publishing place Heidelberg u.a.
    Document type Book
    Note Literaturangaben
    ISBN 9783642193903 ; 9783642193910 ; 3642193900 ; 3642193919
    Database Former special subject collection: coastal and deep sea fishing

    More links

    Kategorien

    Order via subito

    This service is chargeable due to the Delivery terms set by subito. Orders including an article and supplementary material will be classified as separate orders. In these cases, fees will be demanded for each order.

    Inter-library loan at ZB MED

    Your chosen title can be delivered directly to ZB MED Cologne location if you are registered as a user at ZB MED Cologne.

To top