In the late 1990s, researchers analyzed what distinguishes great companies from simply good ones. They found several features that are typical for great companies. Interestingly, most of these features seem counter-in...
详细信息
In many countries, the demands are getting louder to bring computer science education into primary schools. Curricula and teaching approaches are evolving and educators have to work their way into new topics. Many pri...
详细信息
ISBN:
(纸本)9781450365888
In many countries, the demands are getting louder to bring computer science education into primary schools. Curricula and teaching approaches are evolving and educators have to work their way into new topics. Many primary school teachers feel overstrained by these developments and the need for appropriate teacher training is rising. In this paper, we describe the structure and contents of an in-service professional development workshop for primary school teachers without any previous knowledge in computer science ( CS) as well as first results of the pilot run with 40 teachers. Throughout the three-day workshop, the teachers get the chance to follow the students' path of learning by taking a primary school programming course themselves, engage intensively with the underlying algorithmic concepts through in-depth exercises and work on their own ideas for implementations in the classroom.
algorithmics for Hard Problems [electronic Resource] : Introduction to Combinatorial Optimization, Randomization, Approximation, and Heuristics by Hromkovič, Juraj; published by Berlin, Heidelberg : Springer Berlin H...
详细信息
algorithmics for Hard Problems [electronic Resource] : Introduction to Combinatorial Optimization, Randomization, Approximation, and Heuristics by Hromkovič, Juraj; published by Berlin, Heidelberg : Springer Berlin Heidelberg
In this paper, we study the problem of sorting unichromosomal linear genomes by prefix double- cut-and-joins (or DCJs) in both the signed and the unsigned settings. Prefix DCJs cut the leftmost segment of a genome and...
详细信息
In this paper, we study the problem of sorting unichromosomal linear genomes by prefix double- cut-and-joins (or DCJs) in both the signed and the unsigned settings. Prefix DCJs cut the leftmost segment of a genome and any other segment, and recombine the severed endpoints in one of two possible ways: one of these options corresponds to a prefix reversal, which reverses the order of elements between the two cuts (as well as their signs in the signed case). Our main results are: (1) new structural lower bounds based on the breakpoint graph for sorting by unsigned prefix reversals, unsigned prefix DCJs, and signed prefix DCJs;(2) two polynomial-time algorithms for sorting by prefix DCJs, both in the signed case (which answers an open question of Labarre [1]) and in the unsigned case;(3) a 1-absolute approximation algorithm for sorting by unsigned prefix reversals for a specific class of permutations.
Information is everywhere, especially in the digital, artificial intelligence, and big data worlds we live in. In fact, information has always played a pivotal role;however, that role is, as the years of history accum...
详细信息
Information is everywhere, especially in the digital, artificial intelligence, and big data worlds we live in. In fact, information has always played a pivotal role;however, that role is, as the years of history accumulate, becoming even more significant. It is, therefore, a pursuit of scientific inquiry to quantify the functionality and semantics of information-this is also the goal of the article one reads. We have constructively and critically reviewed state-of-the-art approaches, presented challenges, and suggested a new approach that deals with the issues of information quantification. The developed approach represents a method for general quantification of functional information, including the total functional information of a system and the semantics revealed by functionality. Such a general method can potentially have significance far beyond the shores of information quantification, especially considering the importance of information in computer and information science, quantum physics, and chemistry. We have also made first steps of placing functional information in a computational complexity framework, which will potentially foster algorithmics around it, especially in terms of optimality or degeneracy, and possibly even in terms of work around classes of computational complexity.
We provide a mathematically proven parallelization scheme for particle methods on distributed-memory computer systems. Particle methods are a versatile and widely used class of algorithms for computer simulations and ...
详细信息
We provide a mathematically proven parallelization scheme for particle methods on distributed-memory computer systems. Particle methods are a versatile and widely used class of algorithms for computer simulations and numerical predictions in various applications, ranging from continuum fluid dynamics to discrete granular flows and molecular dynamics simulations. Particle methods naturally lend themselves to implementation on parallel computing systems. So far, however, a mathematical proof of correctness and equivalence to sequential implementations has only been available for shared-memory parallelism. Here, we leverage a formal definition of the algorithmic class of particle methods to provide a proven parallelization scheme for distributed-memory computers. We prove that thus parallelized particle methods on distributed-memory computers are formally equivalent to their sequential counterpart for a well-defined class of particle methods, and we provide analytical expressions for the speedup and scalability bounds of this class of algorithms in function of their parameters. The parallelization scheme analyzed here is the basis of many real-world software designs for parallel particle methods. The present analysis is, therefore, of direct relevance to existing and new parallel implementations of particle methods and places them on solid theoretical grounds, rationalizing best practices and providing useful scalability and speedup bounds for benchmarking.
Particle methods are a widely used class of algorithms for computer simulation of complex phenomena in various fields, such as fluid dynamics, plasma physics, molecular chemistry, and granular flows, using diverse sim...
详细信息
Particle methods are a widely used class of algorithms for computer simulation of complex phenomena in various fields, such as fluid dynamics, plasma physics, molecular chemistry, and granular flows, using diverse simulation methods, including Smoothed Particle Hydrodynamics (SPH), Particle-in-Cell (PIC) methods, Molecular Dynamics (MD), and Discrete Element Methods (DEM). Despite the increasing use of particle methods driven by improved computing performance, the relation between these algorithms remains formally unclear, and a unifying formal definition of particle methods is lacking. Here, we present a rigorous mathematical definition of particle methods and demonstrate its importance by applying it to various canonical and non-canonical algorithms, using it to prove a theorem about multi-core parallelizability, and designing a principled scientific computing software based on it. We anticipate that our formal definition will facilitate the solution of complex computational problems and the implementation of understandable and maintainable software frameworks for computer simulation.
The technology-driven gig-platform sector has emerged as a new source of employment generation both globally as well domestically. This recent transformation in the labour market is reshaping the nature of labour prac...
详细信息
In this article, we focus on the use of mental tools of computational thinking (CT) to solve selected problems in school mathematics. We suggest how to expand and enrich some of the traditional school mathematics topi...
详细信息
This paper addresses a generalization of polyominoes called (a, b)-connected discrete figures, where a and b represent the connectivity of the foreground (i.e. black pixels) and background (i.e. white pixels), respect...
详细信息
This paper addresses a generalization of polyominoes called (a, b)-connected discrete figures, where a and b represent the connectivity of the foreground (i.e. black pixels) and background (i.e. white pixels), respectively. Formally, a finite set of pixels P is (a, b)-connected if P is a-connected and P is b-connected. By adapting a combinatorial structure enumeration algorithm by J. L. Martin and employing breadth-first search ordering on the pixels of the figures, we sequentially generate all (a, b)-connected discrete figures up to size n = 18, utilizing minimal storage space. This paper presents an extended version of the research presented at the 2022 GASCom conference.
暂无评论