Informatik (15 757 Artikel)

There is no royal road to science, and only those who do not dread the fatiguing climb of its steep paths have a chance of gaining its luminous summits. Karl Marx A Universial Genius of the 19th Ce...

First-Order Universality for Real Programs.- Skolem + Tetration Is Well-Ordered.- Structures of Some Strong Reducibilities.- Complexity of Existential Positive First-Order Logic.- Stochastic Progra...

Invited Papers.- The Maturing Semantic Web: Lessons in Web-Scale Knowledge Representation.- Concept Formation in Linguistic Ontologies.- Conceptual Graph Rules and Equivalent Rules: A Synthesis.- T...

Sicherheit in der drahtlosen Kommunikation

International Conference, ILC 2007, Cape Town, South Africa, November 3-5, 2007, Revised Selected Papers

9th International Conference, ICA3PP 2009, Taipei, Taiwan, June 8-11, 2009, Proceedings

Journal on Data Semantics XIII

Beachnote.- What Else Is Broken? Can We Fix It?.- Architectures for Multimedia.- Programmable and Scalable Architecture for Graphics Processing Units.- The Abstract Streaming Machine: Compile-Time ...

to Type Theory.- Dependent Types at Work.- A Tutorial on Type-Based Termination.- Structural Abstract Interpretation: A Formal Study Using Coq.- Extended Static Checking by Calculation Using the Po...

This book constitutes the proceedings of the second International Workshop on Advanced Computational Intelligence (IWACI 2009), with a sequel of IWACI 2008 successfully held in Macao, China. IWACI ...

9th International Symposium, PETS 2009, Seattle, WA, USA, August 5-7, 2009, Proceedings

Innovations in Digital Watermarking Techniques

Intelligent computing covers a hybrid palette of methods and techniques - rived from classical arti?cial intelligence, computational intelligence, multi-agent systems a.o. Distributed computing stu...

This volume contains the papers selected for presentation at the 4th Brazilian Sym- sium on Bioinformatics, BSB 2009, which was held in Porto Alegre, Brazil, during August 29-31, 2009. The BSB symp...

An International Perspective