Results 11 to 20 of about 30,746,315 (244)
Hypercompositional Algebra, Computer Science and Geometry [PDF]
Mathematics, 2020 The various branches of Mathematics are not separated between themselves. On the contrary, they interact and extend into each other’s sometimes seemingly different and unrelated areas and help them advance. In this sense, the Hypercompositional Algebra’s path has crossed, among others, with the paths of the theory of Formal Languages, Automata and ...
Gerasimos Massouros
exaly +4 more sources
Learning objectives for courses in the Department of Computer Science, Oregon State University [PDF]
This document describes the overall learning objectives for courses in the department of computer science at Oregon State ...
Oregon State University. Department of Computer Science
core +6 more sources
Logic, Algebra, and Geometry at the Foundation of Computer Science [PDF]
, 2019 This paper shows by examples how the Theory of Programming can be taught to first-year CS undergraduates. The only prerequisite is their High School acquaintance with algebra, geometry, and propositional calculus. The main purpose of teaching the subject is to support practical programming assignments and projects throughout the degree course. The aims
Tony Hoare +2 more
openaire +2 more sources
, 2017 An important task in trajectory analysis is clustering. The results of a clustering are often summarized by a single representative trajectory and an associated size of each cluster. We study the problem of computing a suitable representative of a set of
Staals, F. +7 more
core +1 more source
Dynamic stabbing queries with sub-logarithmic local updates for overlapping intervals: Proc. 12th International Computer Science Symposium in Russia [PDF]
, 2017 We present a data structure to maintain a set of intervals on the real line subject to fast insertions and deletions of the intervals, stabbing queries, and local updates.
Sub Computational Geometry +3 more
core +1 more source
A Study on Computational Thinking for Major of Computer Science [PDF]
, 2023 Recent advances in artificial intelligence and Software have resulted in a paradigm shift in education, necessitating greater changes in educational methods and environments.
Jo, Jaechoon; Department of Computer Education, Jeju National University, 102,Jejudaehak-ro, Jeju-si, 63243, Republic of Korea +2 more
core +1 more source
A Comparative Study of k-Nearest Neighbour Techniques in Crowd Simulation [PDF]
, 2017 The k-nearest neighbour (kNN) problem appears in many different fields of computer science, such as computer animation and robotics. In crowd simulation, kNN queries are typically used by a collision-avoidance method to prevent unnecessary computations ...
Hillebrand, A. +5 more
core +2 more sources
Geometry, analysis, and computation in mathematics and applied sciences. Final report [PDF]
, 1995 Since 1993, the GANG laboratory has been co-directed by David Hoffman, Rob Kusner and Peter Norman. A great deal of mathematical research has been carried out here by them and by GANG faculty members Franz Pedit and Nate Whitaker. Also new communication tools, such as the GANG Webserver have been developed. GANG has trained and supported nearly a dozen
Kusner, R. B. +5 more
openaire +2 more sources
Interfacing Coq + SSReflect with GAP [PDF]
, 2012 Presentation slides and preprint both provided by author. Preprint published in Electronic Notes in Theoretical Computer Science: Proceedings of the 9th International Workshop On User Interfaces for Theorem Provers (UITP10).We report on an extendable ...
Komendantsky, Vladimir +3 more
core +1 more source
On recent trends in discrete geometry in computer science [PDF]
, 1996 This paper could be called “pieces on recent trends ...”. It is a set of remarks and thoughts about the actual and the potential development of discrete geometry; especially in computer imagery, and its interaction with geometrical modelling. My personnal view on some recent trends are exposed.
openaire +2 more sources