Results 1 to 10 of about 883,491 (25)
Saying Hello World with MOLA - A Solution to the TTC 2011 Instructive Case [PDF]
EPTCS 74, 2011, pp. 237-252, 2011 This paper describes the solution of Hello World transformations in MOLA transformation language. Transformations implementing the task are relatively straightforward and easily inferable from the task specification. The required additional steps related to model import and export are also described.
arxiv +1 more source
Proceedings 11th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science [PDF]
EPTCS 233, 2016, 2016 MEMICS provides a forum for doctoral students interested in applications of mathematical and engineering methods in computer science. Besides a rich technical programme (including invited talks, regular papers, and presentations), MEMICS also offers friendly social activities and exciting opportunities for meeting like-minded people. MEMICS submissions
arxiv +1 more source
On translating conditional statements into mathematical logic [PDF]
arXiv, 2022 In this paper, we highlight a profound difference between conditional statements in mathematical logic and natural languages. This difference exists even when the conditional statements are used in mathematical theorems.
arxiv
Sequentiality vs. Concurrency in Games and Logic [PDF]
Mathematical Structures in Computer Science, Volume 13 Issue 4,
pages 531-565, August 2003, 2011 Connections between the sequentiality/concurrency distinction and the semantics of proofs are investigated, with particular reference to games and Linear Logic.
arxiv +1 more source
Ubiquity of Fourier Transformation in Optical Sciences [PDF]
Published in Applied Optics 59, pp. G47-G63 (2020), 2020 The Fourier transform operation is an important conceptual as well as computational tool in the arsenal of every practitioner of physical and mathematical sciences. We discuss some of its applications in optical science and engineering, with the goal of providing a broad perspective on the intimate relation between the physical and mathematical ...
arxiv +1 more source
A new course `Algebra + Computer Science': What should be its outcomes and where it should start [PDF]
arXiv, 2022 The words ``Programming is the second literacy'' were coined more than 40 years ago but never came to life. This paper is one in the series of papers aimed at the analysis of mathematical requirements for a merge of school mathematics with computer science and computer programming.
arxiv
Conceptual Mathematics via Literate Programming [PDF]
arXiv, 2022 Recent developments in computer programming and in mathematics suggest that there is a strong case for a new way of introducing programming to enhance the learning of school mathematics. The article describes a collaboration of mathematics and computer science teachers to solve the Josephus problem.
arxiv
Ten Research Challenge Areas in Data Science [PDF]
arXiv, 2020 Although data science builds on knowledge from computer science, mathematics, statistics, and other disciplines, data science is a unique field with many mysteries to unlock: challenging scientific questions and pressing questions of societal importance.
arxiv
Cloudifying the Curriculum with AWS [PDF]
arXiv, 2020 The Cloud has become a principal paradigm of computing in the last ten years, and Computer Science curricula must be updated to reflect that reality. This paper examines simple ways to accomplish curriculum cloudification using Amazon Web Services (AWS), for Computer Science and other disciplines such as Business, Communication and Mathematics.
arxiv
Mathematical Logic in Computer Science [PDF]
arXiv, 2018 The article retraces major events and milestones in the mutual influences between mathematical logic and computer science since the 1950s.
arxiv