Waterways are often first and severely affected by pollution. In this context, fish embryos – which constitute a good model for sensitivity to chemicals – are widely used in environmental toxicology studies. Such studies are devoted to the analysis of a wide spectrum of physiological parameters, for instance mortality ratio. In this article, we develop an assay to determine the mortality rate o...

Neural structures of interaction between thinking and language are unknown. This paper suggests a possible architecture motivated by neural and mathematical considerations. A mathematical requirement of computability imposes significant constraints on possible architectures consistent with brain neural structure and with a wealth of psychological knowledge. How language interacts with cognition...

Computational thinking is a new problem solving method named for its extensive use of computer science techniques. It synthesizes critical thinking and existing knowledge and applies them to solve complex technological problems. The term was coined by J. Wing [1], but the relationship between computational and critical thinking, the two modes of thinking in solving problems, has not been yet cl...

The authors are part of a committee that has been designing a new high-school curriculum in computer science and supervising the preparation of a comprehensive study program based on it. The new program emphasizes the foundations of algorithmic thinking, and teaches programming as a way to get the computer to carry out an algorithm. The paper discusses the program and its initial implementation.

We first show some successes of discrete mathematical chemistry (DMC), a branch of theoretical chemistry born in the 1960s and 1970s. Then we explore the social context in which the emergence of DMC took place, initiated mainly in East European countries. The availability of knowledge, especially of mathematical knowledge, and the lack of research funds were the main conditions that helped get ...

Recently, we proposed a systematic method for top-down synthesis and verification of lemmata and algorithms called ”lazy thinking method” as a part of systematic mathematical theory exploration (mathematical knowledge management). The lazy thinking method is characterized: • by using a library of theorem and algorithm schemes • and by using the information contained in failing attempts to prove...

We describe a robotics assignment for a General Education course. This assignment is part of an Introduction to Computer Technology course designed for the General Education requirements at The College of Staten Island. The goal for this assignment was to acquaint students with basic robotics while satisfying the course goals of algorithmic thinking, limitations of computers, problem solving, a...

This paper presents cMinds, a learning intervention that deploys game-based visual programming towards building analytical, computational, and critical thinking skills in primary education. The proposed learning method exploits the structured nature of programming, which is inherently logical and transcends cultural barriers, towards inclusive learning that exposes learners to algorithmic think...