Computation, Physics and Beyond International Workshop on Theoretical Computer Science, WTCS 2012, Dedicated to Cristian S. Calude on the Occasion of His 60th Birthday, Auckland, New Zealand, February 21-24, 2012, Revised Selected and Invited Papers /
Keywords
Computer Science.Algorithm Analysis and Problem Complexity.
Mathematical Logic and Formal Languages.
Computation by Abstract Devices.
Logics and Meanings of Programs.
Mathematics of Computing.
Theory of Computation.
Computer science.
Information theory.
Computer software.
Logic design.
Informatique
Théorie de l'information
Logiciels
Structure logique
Full record
Show full item recordOnline Access
https://dx.doi.org/10.1007/978-3-642-27654-5Abstract
edited by Michael J. Dinneen, Bakhadyr Khoussainov, André Nies.The Art of Reaching the Age of Sixty -- Calude as Father of One of the Computer Science Journals -- Random Semicomputable Reals Revisited -- Constructing the In mum of Two Projections -- Bounded Randomness -- A Note on Blum Static Complexity Measures -- A Program-Size Complexity Measure for Mathematical Problems and Conjectures -- On Degrees of Randomness and Genetic Randomness -- Hartmanis-Stearns Conjecture on Real Time and Transcendence -- Learning Families of Closed Sets in Matroids -- Invariance and Universality of Complexity -- Demuth's Path to Randomness (extended abstract) -- Correcting Codes -- Some Transfinite Generalisations of Gödel's Incompleteness Theorem -- Phase Transition between Unidirectionality and Bidirectionality -- Computer Runtimes and the Length of Proofs -- Symmetry of Information: A Closer Look -- How Much Information Can There Be in a Real Number? -- Mathematics, Metaphysics and the Multiverse -- Exponential Decay in Quantum Mechanics -- Randomness Increases Order in Biological Evolution -- Haunted Quantum Contextuality Versus Value Indefiniteness -- Outerplanar Graphs and Delaunay Triangulations -- Representing Reaction Systems by Trees -- Derivatives of Regular Expressions and An Application -- Triangular and Hexagonal Tile Self-Assembly Systems -- dP Automata versus Right-Linear Simple Matrix Grammars -- State Complexity of Kleene-Star Operations on Trees -- Composition Sequences and Synchronizing Automata -- On the Connected Partition Dimension of a Wheel Related Graph.
Identifier
oai:ulbcat:10205739783642276545 (ebook)
9783642276538
http://dx.doi.org/10.1007/978-3-642-27654-5
Collections
Related items
Showing items related by title, author, creator and subject.
-
Actes du CARI 2014 (Colloque africain sur la recherche en informatique et mathématiques appliquées)Université Badji Mokhtar - Annaba [Annaba] ( UBMA ); SUpervision of large MOdular and distributed systems ( SUMO ) ; Inria Rennes – Bretagne Atlantique ; Institut National de Recherche en Informatique et en Automatique ( Inria ) -Institut National de Recherche en Informatique et en Automatique ( Inria ) -LANGAGE ET GÉNIE LOGICIEL ( IRISA-D4 ) ; Institut de Recherche en Informatique et Systèmes Aléatoires ( IRISA ) ; CentraleSupélec-Université de Rennes 1 ( UR1 ) ; Université de Rennes ( UNIV-RENNES ) -Université de Rennes ( UNIV-RENNES ) -Télécom Bretagne-Institut National des Sciences Appliquées ( INSA ) -Institut National de Recherche en Informatique et en Automatique ( Inria ) -École normale supérieure - Rennes ( ENS Rennes ) -Centre National de la Recherche Scientifique ( CNRS ) -Université de Bretagne Sud ( UBS ) -CentraleSupélec-Université de Rennes 1 ( UR1 ) ; Université de Rennes ( UNIV-RENNES ) -Université de Rennes ( UNIV-RENNES ) -Télécom Bretagne-Institut National des Sciences Appliquées ( INSA ) -Institut National de Recherche en Informatique et en Automatique ( Inria ) -École normale supérieure - Rennes ( ENS Rennes ) -Centre National de la Recherche Scientifique ( CNRS ) -Université de Bretagne Sud ( UBS ) -Institut de Recherche en Informatique et Systèmes Aléatoires ( IRISA ) ; CentraleSupélec-Université de Rennes 1 ( UR1 ) ; Université de Rennes ( UNIV-RENNES ) -Université de Rennes ( UNIV-RENNES ) -Télécom Bretagne-Institut National des Sciences Appliquées ( INSA ) -Institut National de Recherche en Informatique et en Automatique ( Inria ) -École normale supérieure - Rennes ( ENS Rennes ) -Centre National de la Recherche Scientifique ( CNRS ) -Université de Bretagne Sud ( UBS ) -CentraleSupélec-Université de Rennes 1 ( UR1 ) ; Université de Rennes ( UNIV-RENNES ) -Université de Rennes ( UNIV-RENNES ) -Télécom Bretagne-Institut National des Sciences Appliquées ( INSA ) -École normale supérieure - Rennes ( ENS Rennes ) -Centre National de la Recherche Scientifique ( CNRS ) -Université de Bretagne Sud ( UBS ); Laboratoire d'Analyse Numérique et Informatique [Sénégal] ( LANI ) ; Université Gaston Berger de Saint-Louis Sénégal ( UGB ); Mokhtar Sellami; Eric Badouel; Moussa Lo; Sellami , Mokhtar; Badouel , Eric; Lo , Moussa (HAL CCSDInria, 2014-10-17)International audience
-
An Intelligent Mediating Model for Collaborative e-Learning Management SystemsAkanbi Caleb Olufisoye; Adagunodo E Rotimi (IJCSI Press, 2011-07-01)E-learning management systems(e- LMSs) lack ontologies for sharing their domain knowledge learning objects with others due to differences or non-uniformity in architectures, platforms, protocols and representations. The effect of this on e-learners is that collaboration with other e-LMS during learning processes is not permitted. Hence, learning process is restricted only to the knowledge base of a particular E-LMS adopted by an institution, which may limit the mastery level of learners. To provide a remedy to this problem, an intelligent multi-agent mediating system model is proposed in this study using hybrid rule and case based reasoning scheme. Unified Modeling Language(UML) is used as a design tool to specify the active and passive entities of the model in form class The model proposed provides a collaborative platform for sharing of the learning objects across multiple e-LMSs, during learning processes.
-
E-learning Materials Development: Applying and Implementing Software Reuse Principles and Granularity Levels in the SmallNabil Arman (SERSC, 2010-06-01)E-learning materials development is typically acknowledged as an expensive, complicated, and lengthy process, often producing materials that are of low quality and difficult to adaptand maintain. It has always been a challenge to identify proper e-learning materials that can be reused at a reasonable cost and effort. In this paper, software engineering reuse principlesare applied to e-learning materials development process. These principles are then applied and implemented in a prototype that is integrated with an open-source course management systems. The reuse of existing e-learning materials is beneficial in improving developers of elearning materials productivity. E-learning material reuse is performed, in this research, based on construct’s granularity rather than on unified constructs of one size.