Results 21 to 30 of about 10,600,895 (351)
The 10th Annual Computer Science Workshop, Submissions, Abstract Template [PDF]
, 2022 This is the abstract template for the 10th Annual Computer Science Graduate Research Workshop (2022). To learn more about this workshop, please visit: https://digitalcommons.unomaha.edu/csworkshop/2022/
Computer Science Department,
core +1 more source
Parity and Streett Games with Costs [PDF]
Logical Methods in Computer Science, 2014 We consider two-player games played on finite graphs equipped with costs on edges and introduce two winning conditions, cost-parity and cost-Streett, which require bounds on the cost between requests and their responses.
Nathanaël Fijalkow, Martin Zimmermann
doaj +1 more source
Calibration of the Computer Science and Applications, Inc. accelerometer.
Medicine & Science in Sports & Exercise, 1998 PURPOSE We established accelerometer count ranges for the Computer Science and Applications, Inc. (CSA) activity monitor corresponding to commonly employed MET categories.
P. Freedson, E. Melanson, J. Sirard
semanticscholar +1 more source
Flexible Correct-by-Construction Programming [PDF]
Logical Methods in Computer Science, 2023 Correctness-by-Construction (CbC) is an incremental program construction process to construct functionally correct programs. The programs are constructed stepwise along with a specification that is inherently guaranteed to be satisfied. CbC is complex to
Tobias Runge +4 more
doaj +1 more source
An introduction to computer science for non-majors using principles of computation
Technical Symposium on Computer Science Education, 2007 In this paper, the design and implementation of a novel introductory computer science course for non-majors is presented. This course focuses on the major contributions in computer science from the perspective of the process of computation.
Thomas J. Cortina
semanticscholar +1 more source
Smart Choices and the Selection Monad [PDF]
Logical Methods in Computer Science, 2023 Describing systems in terms of choices and their resulting costs and rewards offers the promise of freeing algorithm designers and programmers from specifying how those choices should be made; in implementations, the choices can be realized by ...
Martin Abadi, Gordon Plotkin
doaj +1 more source
, 2022 https://scholarlycommons.pacific.edu/the-rock/1007/thumbnail ...
School of Engineering and Computer Science
core +4 more sources
Opportunities and challenges in using AI Chatbots in Higher Education [PDF]
, 2019 Artificial intelligence (AI) conversational chatbots have gained popularity over time, and have been widely used in the fields of e-commerce, online banking, and digital healthcare and well-being, among others. The technology has the potential to provide
Evans, Chris +1 more
core +1 more source
Reliability of computational science [PDF]
Numerical Methods for Partial Differential Equations, 2007 AbstractToday's computers allow us to simulate large, complex physical problems. Many times the mathematical models describing such problems are based on a relatively small amount of available information such as experimental measurements. The question arises whether the computed data could be used as the basis for decision in critical engineering ...
Babuska, I., Nobile, F., Tempone, R.
openaire +3 more sources
Relative Entailment Among Probabilistic Implications [PDF]
Logical Methods in Computer Science, 2019 We study a natural variant of the implicational fragment of propositional logic. Its formulas are pairs of conjunctions of positive literals, related together by an implicational-like connective; the semantics of this sort of implication is defined in ...
Albert Atserias +2 more
doaj +1 more source