This book features the refereed proceedings of the 2nd International Symposium on Computer Science in Russia held in September 2007. The 35 papers cover theory track deals with algorithms, protocols, and data structures; complexity and cryptography; formal languages, automata and their applications to computer science; computational models and concepts; proof theory; and applications of logic to computer science. Many applications are presented.
The five-volume set LNCS 7971-7975 constitutes the refereed proceedings of the 13th International Conference on Computational Science and Its Applications, ICCSA 2013, held in Ho Chi Minh City, Vietnam in June 2013. The 248 revised papers presented in five tracks and 33 special sessions and workshops were carefully reviewed and selected. The 46 papers included in the five general tracks are organized in the following topical sections: computational methods, algorithms and scientific applications; high-performance computing and networks; geometric modeling, graphics and visualization; advanced and emerging applications; and information systems and technologies. The 202 papers presented in special sessions and workshops cover a wide range of topics in computational sciences ranging from computational science technologies to specific areas of computational sciences such as computer graphics and virtual reality.
Author: Michel Rigo
Publisher: John Wiley & Sons
Release Date: 2014-09-10
Formal Languages, Automaton and Numeration Systems presents readers with a review of research related to formal language theory, combinatorics on words or numeration systems, such as Words, DLT (Developments in Language Theory), ICALP, MFCS (Mathematical Foundation of Computer Science), Mons Theoretical Computer Science Days, Numeration, CANT (Combinatorics, Automata and Number Theory). Combinatorics on words deals with problems that can be stated in a non-commutative monoid, such as subword complexity of finite or infinite words, construction and properties of infinite words, unavoidable regularities or patterns. When considering some numeration systems, any integer can be represented as a finite word over an alphabet of digits. This simple observation leads to the study of the relationship between the arithmetical properties of the integers and the syntactical properties of the corresponding representations. One of the most profound results in this direction is given by the celebrated theorem by Cobham. Surprisingly, a recent extension of this result to complex numbers led to the famous Four Exponentials Conjecture. This is just one example of the fruitful relationship between formal language theory (including the theory of automata) and number theory. Contents to include: • algebraic structures, homomorphisms, relations, free monoid • finite words, prefixes, suffixes, factors, palindromes • periodicity and Fine–Wilf theorem • infinite words are sequences over a finite alphabet • properties of an ultrametric distance, example of the p-adic norm • topology of the set of infinite words • converging sequences of infinite and finite words, compactness argument • iterated morphism, coding, substitutive or morphic words • the typical example of the Thue–Morse word • the Fibonacci word, the Mex operator, the n-bonacci words • wordscomingfromnumbertheory(baseexpansions,continuedfractions,...) • the taxonomy of Lindenmayer systems • S-adic sequences, Kolakoski word • repetition in words, avoiding repetition, repetition threshold • (complete) de Bruijn graphs • concepts from computability theory and decidability issues • Post correspondence problem and application to mortality of matrices • origins of combinatorics on words • bibliographic notes • languages of finite words, regular languages • factorial, prefix/suffix closed languages, trees and codes • unambiguous and deterministic automata, Kleene’s theorem • growth function of regular languages • non-deterministic automata and determinization • radix order, first word of each length and decimation of a regular language • the theory of the minimal automata • an introduction to algebraic automata theory, the syntactic monoid and the syntactic complexity • star-free languages and a theorem of Schu ̈tzenberger • rational formal series and weighted automata • context-free languages, pushdown automata and grammars • growth function of context-free languages, Parikh’s theorem • some decidable and undecidable problems in formal language theory • bibliographic notes • factor complexity, Morse–Hedlund theorem • arithmetic complexity, Van Der Waerden theorem, pattern complexity • recurrence, uniform recurrence, return words • Sturmian words, coding of rotations, Kronecker’s theorem • frequencies of letters, factors and primitive morphism • critical exponent • factor complexity of automatic sequences • factor complexity of purely morphic sequences • primitive words, conjugacy, Lyndon word • abelianisation and abelian complexity • bibliographic notes • automatic sequences, equivalent definitions • a theorem of Cobham, equivalence of automatic sequences with constant length morphic sequences • a few examples of well-known automatic sequences • about Derksen’s theorem • some morphic sequences are not automatic • abstract numeration system and S-automatic sequences • k − ∞-automatic sequences • bibliographic notes • numeration systems, greedy algorithm • positional numeration systems, recognizable sets of integers • divisibility criterion and recognizability of N • properties of k-recognizable sets of integers, ratio and difference of consec- utive elements: syndeticity • integer base and Cobham’s theorem on the base dependence of the recog- nizability • non-standard numeration systems based on sequence of integers • linear recurrent sequences, Loraud and Hollander results • Frougny’s normalization result and addition • morphic numeration systems/sets of integers whose characteristic sequence is morphic • towards a generalization of Cobham’s theorem • a few words on the representation of real numbers, β-integers, finiteness properties • automata associated with Parry numbers and numeration systems • bibliographic notes First order logic • Presburger arithmetic and decidable theory • Muchnik’s characterization of semi-linear sets • Bu ̈chi’s theorem: k-recognizable sets are k-definable • extension to Pisot numeration systems • extension to real numbers • decidability issues for numeration systems • applications in combinatorics on words
Author: Ding-Zhu Du
Publisher: Springer Science & Business Media
Release Date: 1995-08-02
This book constitutes the proceedings of the First Annual International Conference on Computing and Combinatorics, COCOON '95, held in Xi'an, China in August 1995. The 52 thoroughly refereed full papers and the 22 short presentations included in this volume were selected from a total of 120 submissions. All current aspects of theoretical computer science and combinatorial mathematics related to computing are addressed; in particular, there are sections on complexity theory, graph drawing, computational geometry, databases, graph algorithms, distributed programming and logic, combinatorics, machine models, combinatorial designs, algorithmic learning, algorithms, distributed computing, and scheduling.
The human brain has some capabilities that the brains of other animals lack. It is to these distinctive capabilities that our species owes its dominant position. Other animals have stronger muscles or sharper claws, but we have cleverer brains. If machine brains one day come to surpass human brains in general intelligence, then this new superintelligence could become very powerful. As the fate of the gorillas now depends more on us humans than on the gorillas themselves, so the fate of our species then would come to depend on the actions of the machine superintelligence. But we have one advantage: we get to make the first move. Will it be possible to construct a seed AI or otherwise to engineer initial conditions so as to make an intelligence explosion survivable? How could one achieve a controlled detonation? To get closer to an answer to this question, we must make our way through a fascinating landscape of topics and considerations. Read the book and learn about oracles, genies, singletons; about boxing methods, tripwires, and mind crime; about humanity's cosmic endowment and differential technological development; indirect normativity, instrumental convergence, whole brain emulation and technology couplings; Malthusian economics and dystopian evolution; artificial intelligence, and biological cognitive enhancement, and collective intelligence. This profoundly ambitious and original book picks its way carefully through a vast tract of forbiddingly difficult intellectual terrain. Yet the writing is so lucid that it somehow makes it all seem easy. After an utterly engrossing journey that takes us to the frontiers of thinking about the human condition and the future of intelligent life, we find in Nick Bostrom's work nothing less than a reconceptualization of the essential task of our time.
Author: Kai Zeng
Publisher: John Wiley & Sons
Release Date: 2011-07-13
Genre: Technology & Engineering
This book provides an introduction to opportunistic routing an emerging technology designed to improve the packet forwarding reliability, network capacity and energy efficiency of multihop wireless networks This book presents a comprehensive background to the technological challenges lying behind opportunistic routing. The authors cover many fundamental research issues for this new concept, including the basic principles, performance limit and performance improvement of opportunistic routing compared to traditional routing, energy efficiency and distributed opportunistic routing protocol design, geographic opportunistic routing, opportunistic broadcasting, and security issues associated with opportunistic routing, etc. Furthermore, the authors discuss technologies such as multi-rate, multi-channel, multi-radio wireless communications, energy detection, channel measurement, etc. The book brings together all the new results on this topic in a systematic, coherent and unified presentation and provides a much needed comprehensive introduction to this topic. Key Features: Addresses opportunistic routing, an emerging technology designed to improve the packet forwarding reliability, network capacity and energy efficiency of multihop wireless networks Discusses the technological challenges lying behind this new technology, and covers a wide range of practical implementation issues Explores many fundamental research issues for this new concept, including the basic principles of opportunistic routing, performance limits and performance improvement, and compares them to traditional routing (e.g. energy efficiency and distributed opportunistic routing protocol design, broadcasting, and security issues) Covers technologies such as multi-rate, multi-channel, multi-radio wireless communications, energy detection, channel measurement, etc. This book provides an invaluable reference for researchers working in the field of wireless networks and wireless communications, and Wireless professionals. Graduate students will also find this book of interest.