ROLE OF DISCRETE STRUCTURES IN ALGORITHM DESIGN AND DATA SYSTEMS FOR COMPUTER SCIENCE STUDENTS
Discrete structures constitute the basic tools for algorithmic design and data ...
PECAJAS, ELVIRA S.
+4 more sources
Scientific notes of Taurida National V.I. Vernadsky University. Series: Technical Sciences, 2021 Yu.V. Prokop +2 more
openaire +2 more sources
Recursive Combinatorial Structures: Enumeration, Probabilistic Analysis and Random Generation [PDF]
, 2018 In a probabilistic context, the main data structures of computer science are viewed as random combinatorial objects. Analytic Combinatorics, as described in the book by Flajolet and Sedgewick, provides a set of high-level tools for their probabilistic
Salvy, Bruno
core +3 more sources
A Direct Manipulation Language for Explaining Algorithms [PDF]
, 2014 Instructors typically explain algorithms in computer science by tracing their behavior, often on blackboards, sometimes with algorithm visualizations.
Davis, Randall +2 more
core +1 more source
Curriculum Guidelines for Undergraduate Programs in Data Science [PDF]
, 2017 The Park City Math Institute (PCMI) 2016 Summer Undergraduate Faculty Program met for the purpose of composing guidelines for undergraduate programs in Data Science.
Agarwal, Mahesh +24 more
core +3 more sources
Prospects and limitations of full-text index structures in genome analysis [PDF]
, 2012 The combination of incessant advances in sequencing technology producing large amounts of data and innovative bioinformatics approaches, designed to cope with this data flood, has led to new interesting results in the life sciences.
Dawyndt, Peter +3 more
core +2 more sources
Chemoinformatics Research at the University of Sheffield: A History and Citation Analysis [PDF]
, 2003 This paper reviews the work of the Chemoinformatics Research Group in the Department of Information Studies at the University of Sheffield, focusing particularly on the work carried out in the period 1985-2002.
Bishop, N. +3 more
core +1 more source
On the enumeration of closures and environments with an application to random generation [PDF]
, 2019 Environments and closures are two of the main ingredients of evaluation in lambda-calculus. A closure is a pair consisting of a lambda-term and an environment, whereas an environment is a list of lambda-terms assigned to free variables.
Bendkowski, Maciej, Lescanne, Pierre
core +3 more sources
Symbolic and analytic techniques for resource analysis of Java bytecode [PDF]
, 2010 Recent work in resource analysis has translated the idea of amortised resource analysis to imperative languages using a program logic that allows mixing of assertions about heap shapes, in the tradition of separation logic, and assertions about ...
Aspinall, David +3 more
core +3 more sources
Path-tracing Monte Carlo Library for 3D Radiative Transfer in Highly Resolved Cloudy Atmospheres [PDF]
, 2019 Interactions between clouds and radiation are at the root of many difficulties in numerically predicting future weather and climate and in retrieving the state of the atmosphere from remote sensing observations. The large range of issues related to these
Blanco, Stéphane +7 more
core +2 more sources