Sentence examples for computer science section from inspiring English sources

Last week the Khan Academy revamped its computer science section to include a set of in-browser JavaScript tutorials.

In "Modelling for behavioural computer science" section we discuss various aspects of modelling and how these can best be applied to the notions identified in "Behavioural and social aspects of humans and technology" section while having the goal to be combined with computer science models.

She works as a Lecture of computer science in Mathematics and computer science Department, Faculty of science, Alazhar University.

A good example of justifications is provided by formal proofs, which have long been objects of study in mathematical logic and computer science (cf. Section 1.2).

Finally we mention logics that incorporate notions from game theory to reason about multi-agent systems, such as game logic, coalition logic (Pauly 2001) and alternating temporal logic (ATL, which we also encountered at the end of the section on mainstream computer science!), and its epistemic variant ATEL (Van der Hoek and Wooldridge 2003, Van der Hoek et al. 2007).

All theoretical computer science and software implementation details are provided in the " Methods" section, while the application of the methodology to two biological case studies is described in the section " Results".

Science, Mathematics and Computing (referred to as [applied] computer science).

Section "Parallelization" briefly introduces the definition of parallelization in computer science.

The first case is referred to as Model 1, the second - as Model 2 in the above sub-section 1. Model 2 exploits the standard computer science technique of inverse solution, i.e. a multicriteria optimization.

The brief profiles of African American scientists in the Past section are divided by professional fields including biochemistry, chemistry, biology, computer science, and veterinary medicine.

This section gives an idea of the implementation of our main results in computer science applications that uses graph theoretical concepts.