Ditemukan 6 dokumen yang sesuai dengan query
Tom Schrijvers, editor
"
This book constitutes the refereed proceedings of the 11th International Symposium on Functional and Logic Programming, FLOPS 2012, held in Kobe, Japan, in May 2012. The 19 research papers and 3 system demonstrations presented in this volume were carefully reviewed and selected from 39 submissions. They deal with declarative programming, including functional programming and logic programming ...
"
Berlin: [, Springer-Verlag], 2012
e20409517
eBooks Universitas Indonesia Library
"
This book attempts to consolidate contemporary thinking and research on the role of scientific argumentation in education.
Perspectives on scientific argumentation brings together prominent scholars in the field to share the sum of their knowledge about the place of scientific argumentation in teaching and learning. Chapters explore scientific argumentation as a means of addressing and solving problems in conceptual change, reasoning, knowledge-building and the promotion of scientific literacy. Others interrogate topics such as the importance ...
"
Dordrecht, Netherlands: Springer, 2012
e20400552
eBooks Universitas Indonesia Library
Jeroen Janssen, editor
"
We specifically focus on the following issues: 1. An important question when modeling continuous optimization problems is how we should handle overconstrained problems, i.e. problems that have no solutions. 2. Users of a programming language often want a rich language that is easy to model in. 3. A well-known technique for solving ASP consists of translating a program P to a propositional theory whose models exactly correspond to the answer sets of P. ...
"
Paris: Atlantis Press, 2012
e20406539
eBooks Universitas Indonesia Library
Ricardo Pena, editor
"
This book constitutes the thoroughly refereed post-conference proceedings of the 12th International Symposium on Trends in Functional Programming, TFP 2011, held in Madrid, Spain, in May 2011. The 12 papers presented were carefully reviewed and selected from 21 submissions. They deal with all aspects of functional programming, taking a broad view of current and future trends in this area. The topical sections the papers are organized in are named as follows, types, compiling, paralelelism and ...
"
Berlin: [, Springer-Verlag], 2012
e20410119
eBooks Universitas Indonesia Library
"
[The essays in this volume concern the points of intersection between analytic philosophy and the philosophy of the exact sciences. More precisely, it concern connections between knowledge in mathematics and the exact sciences, on the one hand, and the conceptual foundations of knowledge in general. Its guiding idea is that, in contemporary philosophy of science, there are profound problems of theoretical interpretation, problems that transcend both the methodological concerns of general philosophy of science, and ...
"
Dordrecht, Netherlands: [Springer, Springer], 2012
e20399554
eBooks Universitas Indonesia Library
"
This book describes the state-of-the art of industrial and academic research in the architectural design of heterogeneous, multi/many-core processors. The authors describe methods and tools to enable next-generation embedded and high-performance heterogeneous processors to confront cost-effectively the inevitable variations by providing Dependable-Performance: correct functionality and timing guarantees throughout the expected lifetime of a platform under thermal, power, and energy constraints. Various aspects of the reliability problem are discussed, at both the circuit and architecture level, ...
"
Switzerland: Springer Nature, 2019
e20508941
eBooks Universitas Indonesia Library
