Results 31 to 40 of about 10,898,978 (363)
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
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
Parity Games with Weights [PDF]
Logical Methods in Computer Science, 2019 Quantitative extensions of parity games have recently attracted significant interest. These extensions include parity games with energy and payoff conditions as well as finitary parity games and their generalization to parity games with costs.
Sven Schewe +2 more
doaj +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
Computer science in Dutch secondary education: independent or integrated? [PDF]
, 1992 Nowadays, in Dutch secondary education, computer science is integrated within school subjects. About ten years ago computer science was considered an independent subject, but in the mid-1980s this idea changed.
Doornekamp, B. Gerard +1 more
core +2 more sources
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
, 2018 Every new technology brings new opportunity for crime, and information and communication technology (ICT) is no exception. This short article offers students of crime insights in the two main connections between ICT and criminology. On the one hand we show how ICT can be used as a tool, target, or location of crime.
Hartel, P.H. (author) +1 more
openaire +6 more sources
Serious computer games in computer science education
EAI Endorsed Transactions on Serious Games, 2015 The role and importance of serious computer games in contemporary educational practice is presented in this paper as well as the theoretical fundamentals that justify their use in different forms of education.
Jože Rugelj
doaj +1 more source
The natural science of computing [PDF]
Communications of the ACM, 2017 As unconventional computing comes of age, we believe a revolution is needed in our view of computer science.
Horsman, Dominic +2 more
openaire +4 more sources
From computational science to Internetics: Integration of science with computer science [PDF]
Mathematics and Computers in Simulation, 2000 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +2 more sources