information and computer science  (1 671 Angebote unter 18 301 360 Artikeln)

The connection between modal logic and algorithmic logics.- The algebraic semantics of recursive program schemes.- Finding the correctness proof of a concurrent program.- An algebra for parallelism...

This volume contains papers selected for presentation at the 15th Symposium on Mathematical Foundations of Computer Science, MFCS '90, held at Banská Bystrica, Czechoslovakia, August 27-31, 1990. P...

A sound and complete proof system for partial program correctness.- The problem of reachability and verification of programs.- Assertion programming.- Complexity classes of formal languages.- Fast ...

Invited Talks.- A New Category for Semantics.- On Implications between P-NP-Hypotheses: Decision versus Computation in Algebraic Complexity.- Playing Games with Algorithms: Algorithmic Combinatoria...

Invited Lectures.- Page Migration in Dynamic Networks.- Knot Theory, Jones Polynomial and Quantum Computing.- Interactive Algorithms 2005.- Some Computational Issues in Membrane Computing.- The Gen...

This book constitutes the refereed proceedings of the 12th International Conference on Brain Informatics, BI 2019, held in Haikou, China, in December 2019.The 26 revised full papers were carefully ...

This open access book constitutes selected papers presented during the 30th Irish Conference on Artificial Intelligence and Cognitive Science, held in Munster, Ireland, in December 2022. The 41 pre...

Thisisthe?rstissueofanewjournaloftheLNCSjournalsubline.Theaimofthe journal is to encourage inter- and multidisciplinary research in the ?elds of c- puter science and life sciences. The recent parad...

This two-volume set (CCIS 1601-1602) constitutes the proceedings of the 19th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, IPMU 2021, ...

Modelling.- A Formal Model for Mobile Map Adaptation.- Using Activity Theory to Identify Relevant Context Parameters.- Congestion Visualization Based on Probe Vehicle Data.- Where do you Roll Today...

n-Colored Maps and Multilabel n-Colored Trees.- Limit Laws for Basic Parameters of Lattice Paths with Unbounded Jumps.- Counting Walks in the Quarter Plane.- Bijective Construction of Equivalent Ec...

n-Colored Maps and Multilabel n-Colored Trees.- Limit Laws for Basic Parameters of Lattice Paths with Unbounded Jumps.- Counting Walks in the Quarter Plane.- Bijective Construction of Equivalent Ec...

Keynote Lectures.- Enabling Numerical and Software Technologies for Studying the Electrical Activity in Human Heart.- Parallel Patient-Specific Computational Haemodynamics.- High Performance Comput...

This volume contains selected and invited papers presented at the International Conference on Computing and Information, ICCI '90, Niagara Falls, Ontario, Canada, May 23-26, 1990. ICCI conferences ...

This volume contains papers presented at the Third International Conference on Computing and Information, ICCI '91, held at Carleton University in Ottawa, Canada, May 27-29, 1991. The conference wa...