foundations of coding theory and applications of error correcting codes with an introduction to cryptography and information theory. Book lovers, when you need a new book to read, find the book here. Never worry not to find what you need. Is the foundations of coding theory and applications of error correcting codes with an introduction to cryptography and information theory your needed book no...

A data link protocol developed and used by Philips Electronics is modeled and veriied using I/O automata theory. Correctness is computer-checked with the Coq proof development system. AMS Subject Classiication (1991): 03B15 Mathematical logic and foundations]: Higher-order logic and type theory; 03B35 Mathematical logic and foundations]: Mechanization of proofs and logical operations; 68Q22 Com...

Universities typically offer graduate-level courses in computer science that focus either on implementing software systems or on the theoretical foundations of these systems. In such an environment students who enjoy programming select elective courses that focus on software implementation. Likewise, students who enjoy theoretical topics select elective courses that focus on foundational topics...

Our aim in this paper is to point out a surprising formal connection, between two topics which seem on face value to have nothing to do with each other: relational database theory, and the study of non-locality and contextuality in the foundations of quantum mechanics. We shall show that there is a remarkably direct correspondence between central results such as Bell’s theorem in the foundation...

We always start the solving of a problem with the formulation of its theoretical foundations. If we would like to use mathematical machines (computers) in problem solving, we need to formalize its theoretical foundations as logical reasoning because the programs should really prove the correctness of their results. In our paper we present central ideas of our approach regarding programming as l...

the present study aims to investigate language learners’ cognitive processes in on-line esp courses. three modes of inquiry are used: think-aloud protocol analysis, screen capture analysis, and correlation analysis. the theoretical foundations for the evaluation of the cognitive aspect of ferdowsi univeristy of mashhad e-learning system are drawn from cognitive load theory, cognitive apprentice...

According to Moral Foundations Theory, people endorse “individualizing” foundations (Harm/care, Fairness/reciprocity) or “binding” foundations (Ingroup/loyalty, Authority/respect, Purity/sanctity) to varying degrees. As societies with higher pathogen prevalence have been found to exhibit more pronounced antipathogen psychological tendencies and cultural practices (e.g., conformity, collectivism...