Results 251 to 260 of about 774,920 (290)

Computer Simulation in Social Sciences [PDF]

, 2015
With different fortunes and oscillating enthusiasm, computer simulation (CS hereafter) has supported theoretical investigation in managerial disciplines since the 60’s without really becoming part of mainstream approach to research (Harrison et al., 2007).
openaire   +2 more sources

Some of the next articles are maybe not open access.

Related searches:

Logic versus mathematics in computer science education

Proceedings of the fourteenth SIGCSE technical symposium on Computer science education - SIGCSE '83, 1983
Informal mathematical proofs admit and require interpretation while formal logic proofs suppress (abstract from) meanings. The former is closely related to problem solving and computer programming. The latter, which is commonly used for proving program correctness, complicates this procedure because it separates problem solving from programming.
K. Culik, M. M. Rizki
openaire   +1 more source

Handbook of Logic in Computer Science

1992
Abstract The Handbook of Logic in Computer Science is a multi-volume work covering all major areas of application of logic to theoretical computer science. The Handbook comprises six volumes. Each volume contains five or six chapters giving an in-depth overview of one of the major topics in the field. It is the result of many years of
openaire   +2 more sources

Logic and Proof in Computer Science

2017
Computer software pervades our lives today. Nevertheless, software is one of the few products for which producers generally provide no express or implied warranties, a truly striking fact since peoples' lives depend in such fundamental ways on these products. This article addresses why such an unintuitive (and undesirable) situation might exist.
openaire   +1 more source

Panelist position statement: logic and models in computer science

Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences, 2005
Modern computing products are among the most complex engineering artefacts so far created. For example, Microsoft's Windows operating system has around 100 million lines of code, predicted to grow by 33% a year.
openaire   +2 more sources

Logic in Computer Science

2004
Michael Huth, Mark Ryan
openaire   +1 more source

Trends in Logic: Relations with Computer Science

1989
It is suggested that computer science has borrowed much from logic and has repaid the debt, providing many new and interesting problems. The “culture” of computer science is contrasted with that of mathematical logic. The P = NP problem is discussed in this connection.
openaire   +1 more source

Improving patient and caregiver outcomes in oncology: Team‐based, timely, and targeted palliative care

Ca-A Cancer Journal for Clinicians, 2018
David Hui, Camilla Zimmermann, Eduardo Bruera   +2 more
exaly  

Logic in Computer Science

1993
openaire   +1 more source

Patient navigation: An update on the state of the science

Ca-A Cancer Journal for Clinicians, 2011
Kristen J Wells
exaly