Results 11 to 20 of about 2,359,634 (264)
Learning Computer Science Languages in Enki [PDF]
Proceedings of the 2016 ACM Conference on Innovation and Technology in Computer Science Education, 2016 This paper presents an overview and main features of Enki, a web-based learning environment for computer science languages. Enki was designed to be a sort of entry level IDE, aggregating tools for navigating and viewing course materials, for solving exercises and receiving automated feedback, as well as promoting the learning process.
Paiva, José Carlos +2 more
openaire +3 more sources
A Computational Science Agenda for Programming Language Research [PDF]
Procedia Computer Science, 2014 AbstractScientific models are often expressed as large and complicated programs. These programs embody numerous assumptions made by the developer (e.g., for differential equations, the discretization strategy and resolution). The complexity and pervasiveness of these assumptionsmeans that often the only true description of the model is the software ...
Dominic Orchard, Andrew Rice
openaire +2 more sources
IT LANGUAGE AND COMPUTER SCIENCE
, 2023 In this article, the main purpose of teaching students in the middle school to clarify personal skills of every student, giving them proper education, life enhancing innovative technological world. Principal goal is to teach students to speak fluently in English, writing and reading comprehension skills.
openaire +1 more source
Functional Automata - Formal Languages for Computer Science Students [PDF]
Electronic Proceedings in Theoretical Computer Science, 2014 An introductory formal languages course exposes advanced undergraduate and early graduate students to automata theory, grammars, constructive proofs, computability, and decidability. Programming students find these topics to be challenging or, in many cases, overwhelming and on the fringe of Computer Science.
Marco T. Morazán, Rosario Antunez
openaire +3 more sources
A game engine to learn computer science languages
2014 IEEE Frontiers in Education Conference (FIE) Proceedings, 2014 There is an increasing interest in providing Computer Science (CS) instruction to a wider sector of the population. On the one hand, it would be convenient to include CS instruction in higher education beyond engineering disciplines, since CS has become a powerful catalyzer for development of society, and therefore the need for a workforce with solid ...
Torrente, Javier +3 more
openaire +3 more sources
Data science as a language: challenges for computer science—a position paper [PDF]
International Journal of Data Science and Analytics, 2018 In this paper, I posit that from a research point of view, Data Science is a language. More precisely Data Science is doing Science using computer science as a language for datafied sciences; much as mathematics is the language of, e.g., physics. From this viewpoint, three (classes) of challenges for computer science are identified; complementing the ...
openaire +2 more sources
Quantum patterns and types for entanglement and separability [PDF]
, 2007 As a first step toward a notion of quantum data structures, we introduce a typing system for reflecting entanglement and separability. This is presented in the context of classically controlled quantum computation where a classical program controls a ...
Perdrix, S.
core +2 more sources
Taurine promotes glucagon‐like peptide‐1 secretion in enteroendocrine L cells
FEBS Letters, EarlyView.Taurine, a sulfur‐containing amino acid, is likely taken up by enteroendocrine L cells via the taurine transporter. This process increases the levels of cytosolic ATP. The increase in intracellular Ca2+ concentrations and glucagon‐like peptide‐1 secretion through membrane depolarization is caused by the closure of ATP‐sensitive potassium channels ...
Yuri Osuga +6 more
wiley +1 more source
Toward a Theory of Programming Language and Reasoning Assistant Design: Minimizing Cognitive Load [PDF]
arXiv, 2021 Current approaches to making programming languages and reasoning assistants more effective for people focus on leveraging feedback from users and on evaluating the success of particular techniques. These approaches, although helpful, may not result in systems that are as usable as possible, and may not lead to general design principles.
arxiv
, 2016 The first issue of CIT’s Vol. 24 consists of seven papers from areas covering a range of topics in computer science, namely theory of computation, operations research, computer networks, decision support systems, clustering application and natural ...
Vlado Glavinić
core +1 more source