Results 271 to 280 of about 7,198 (311)
Some of the next articles are maybe not open access.
2005
Participating in electronic markets and conducting business online inadvertedly involves the decision to trust other participants. In this paper we consider trust as a concept that self-interested agents populating an electronic marketplace can use to take decisions on who they are going to transact with.
Michael Michalakopoulos, Maria Fasli
openaire +1 more source
Participating in electronic markets and conducting business online inadvertedly involves the decision to trust other participants. In this paper we consider trust as a concept that self-interested agents populating an electronic marketplace can use to take decisions on who they are going to transact with.
Michael Michalakopoulos, Maria Fasli
openaire +1 more source
Decidability and Constructivism
2009 Sixth International Conference on Information Technology: New Generations, 2009Occasionally, computer science college instructors are concerned with what to teach but not with the how to teach it. However, the application of the learning theory of constructivism in computer science education has a positive impact on student achievement.
openaire +1 more source
Emergency Nurse, 2016
Part of a series of free medical apps, Knee Decide provides health professionals with an aid for communicating basic knee anatomy to patients.
openaire +2 more sources
Part of a series of free medical apps, Knee Decide provides health professionals with an aid for communicating basic knee anatomy to patients.
openaire +2 more sources
1999
Aristotle is often blamed for developing the theory of syllogism instead of writing a Greek version of Frege’s Begriffsschrift. With hindsight, however, one must admit that he had a good reason for doing so: syllogism, and more generally monadic logic, is decidable whereas polyadic and even dyadic logic is undecidable. As van Heijenoort [10] points out,
openaire +2 more sources
Aristotle is often blamed for developing the theory of syllogism instead of writing a Greek version of Frege’s Begriffsschrift. With hindsight, however, one must admit that he had a good reason for doing so: syllogism, and more generally monadic logic, is decidable whereas polyadic and even dyadic logic is undecidable. As van Heijenoort [10] points out,
openaire +2 more sources
A short proof of the decidability of bisimulation for normed bpa-processes
Information Processing Letters, 1992Jan Friso Groote
exaly
Some decidability problems of sentential formst †
International Journal of Computer Mathematics, 1979Tero Harju, Martti Penttonen
exaly