Search results: Found 112

Listing 1 - 10 of 112 << page
of 12
>>
Sort by
Computer and Information Sciences: 31st International Symposium, ISCIS 2016, Kraków, Poland, October 27–28, 2016, Proceedings

Authors: --- --- ---
Book Series: Communications in Computer and Information Science ISSN: 1865-0929 ISBN: 9783319472164 9783319472171 Year: Volume: 659 Pages: 278 DOI: 10.1007/978-3-319-47217-1 Language: English
Publisher: Springer
Subject: Business and Management --- Transportation --- Manufactures --- Biotechnology --- Therapeutics --- Electrical and Nuclear Engineering
Added to DOAB on : 2017-03-08 12:46:55
License:

Loading...
Export citation

Choose an application

Abstract

This book constitutes the refereed proceedings of the 31st International Symposium on Computer and Information Sciences, ISCIS 2016, held in Krakow, Poland, in October 2016.The 29 revised full papers presented were carefully reviewed and selected from 65 submissions. The papers are organized in topical sections on smart algorithms; data classification and processing; stochastic modelling; performance evaluation; queuing systems; wireless networks and security; image processing and computer vision.

12 Computer science (Book chapter)

Authors: ---
Book Series: Routledge International Handbooks ISBN: 9780415826266 9780203431405 Year: Pages: 13 Language: English
Publisher: Routledge
Subject: Computer Science
Added to DOAB on : 2019-04-26 11:21:02
License:

Loading...
Export citation

Choose an application

Abstract

In this chapter we will explore the relationship between crime and computers and networks by answering the following questions:&#xD;••&#xD;Which techniques from computer science can be used to prevent crime?&#xD;••&#xD;Which techniques from computer science can be used to study crime?&#xD;To address the first question we use the 25 techniques of situational crime prevention to provide a systematic assessment of how computer and network technology can be used to prevent crime. The second question will be addressed by discussing computer simulation methods in cases where real experiments with crime prevention would be too costly or impractical.

Structure and Interpretation of Computer Programs

Authors: ---
Book Series: MIT Electrical Engineering and Computer Science ISBN: 9780262011532 9780262510875 Year: Pages: 688 Language: English
Publisher: The MIT Press
Subject: Computer Science
Added to DOAB on : 2019-01-17 11:41:37
License:

Loading...
Export citation

Choose an application

Abstract

Structure and Interpretation of Computer Programs has had a dramatic impact on computer science curricula over the past decade. This long-awaited revision contains changes throughout the text. There are new implementations of most of the major programming systems in the book, including the interpreters and compilers, and the authors have incorporated many small changes that reflect their experience teaching the course at MIT since the first edition was published. A new theme has been introduced that emphasizes the central role played by different approaches to dealing with time in computational models: objects with state, concurrent programming, functional programming and lazy evaluation, and nondeterministic programming. There are new example sections on higher-order procedures in graphics and on applications of stream processing in numerical programming, and many new exercises. In addition, all the programs have been reworked to run in any Scheme implementation that adheres to the IEEE standard.

Keywords

Insight into Theoretical and Applied Informatics. Introduction to Information Technologies and Computer Science

Authors: ---
ISBN: 9783110469882 9783110469929 Year: Pages: 122 DOI: 10.1515/9783110469882 Language: English
Publisher: De Gruyter
Subject: Computer Science
Added to DOAB on : 2018-02-19 14:21:39
License:

Loading...
Export citation

Choose an application

Abstract

The book is addressed to young people interested in computer technologies and computer science. The objective of this book is to provide the reader with all the necessary elements to get him or her started in the modern field of informatics and to allow him or her to become aware of the relationship between key areas of computer science. The book is addressed not only to future software developers, but also to all who are interested in computing in a widely understood sense. The authors also expect that some computer professionals will want to review this book to lift themselves above the daily grind and to embrace the excellence of the whole field of computer science. Unlike existing books, this one bypasses issues concerning the construction of computers and focuses only on information processing. Recognizing the importance of the human factor in information processing, the authors intend to present the theoretical foundations of computer science, software development rules, and some business aspects of informatics in non-technocratic, humanistic terms.

Foundations of Software Science and Computation Structures: 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. Proceedings

Authors: ---
Book Series: Theoretical Computer Science and General Issues ISSN: 0302-9743 ISBN: 9783319893655 9783319893662 Year: Pages: 583 DOI: https://doi.org/10.1007/978-3-319-89366-2 Language: English
Publisher: Springer Grant: ETAPS e.V.
Subject: Computer Science
Added to DOAB on : 2018-06-26 16:52:58
License:

Loading...
Export citation

Choose an application

Abstract

This book constitutes the proceedings of the 21st International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2018, which took place in Thessaloniki, Greece, in April 2018, held as part of the European Joint Conference on Theory and Practice of Software, ETAPS 2018.The 31 papers presented in this volume were carefully reviewed and selected from 103 submissions. The papers are organized in topical sections named: semantics; linearity; concurrency; lambda-calculi and types; category theory and quantum control; quantitative models; logics and equational theories; and graphs and automata.

Scientific Programming and Computer Architecture

Author:
Book Series: Scientific and Engineering Computation ISBN: 9780262340472 9780262036290 Year: Pages: 624 Language: English
Publisher: The MIT Press
Subject: Computer Science
Added to DOAB on : 2019-01-17 11:41:31
License:

Loading...
Export citation

Choose an application

Abstract

A variety of programming models relevant to scientists explained, with an emphasis on how programming constructs map to parts of the computer.What makes computer programs fast or slow? To answer this question, we have to get behind the abstractions of programming languages and look at how a computer really works. This book examines and explains a variety of scientific programming models (programming models relevant to scientists) with an emphasis on how programming constructs map to different parts of the computer's architecture. Two themes emerge: program speed and program modularity. Throughout this book, the premise is to "get under the hood," and the discussion is tied to specific programs. The book digs into linkers, compilers, operating systems, and computer architecture to understand how the different parts of the computer interact with programs. It begins with a review of C/C++ and explanations of how libraries, linkers, and Makefiles work. Programming models covered include Pthreads, OpenMP, MPI, TCP/IP, and CUDA.The emphasis on how computers work leads the reader into computer architecture and occasionally into the operating system kernel. The operating system studied is Linux, the preferred platform for scientific computing. Linux is also open source, which allows users to peer into its inner workings. A brief appendix provides a useful table of machines used to time programs. The book's website (https://github.com/divakarvi/bk-spca) has all the programs described in the book as well as a link to the html text.

Computer Science and Engineering Education for Pre-collegiate Students and Teachers

Author:
ISBN: 9783038979401 / 9783038979418 Year: Pages: 142 DOI: 10.3390/books978-3-03897-941-8 Language: eng
Publisher: MDPI - Multidisciplinary Digital Publishing Institute
Subject: Social Sciences --- Education
Added to DOAB on : 2019-06-26 08:44:06
License:

Loading...
Export citation

Choose an application

Abstract

Now more than ever, as a worldwide STEM community, we need to know what pre-collegiate teachers and students explore, learn, and implement in relation to computer science and engineering education. As computer science and engineering education are not always “stand-alone” courses in pre-collegiate schools, how are pre-collegiate teachers and students learning about these topics? How can these subjects be integrated? Explore six articles in this book that directly relate to the currently hot topics of computer science and engineering education as they tie into pre-collegiate science, technology, and mathematics realms. There is a systematic review article to set the stage of the problem. Following this overview are two teacher-focused articles on professional development in computer science and entrepreneurship venture training. The final three articles focus on varying levels of student work including pre-collegiate secondary students’ exploration of engineering design technology, future science teachers’ (collegiate students) perceptions of engineering, and pre-collegiate future engineers’ exploration of environmental radioactivity. All six articles speak to computer science and engineering education in pre-collegiate forums, but blend into the collegiate world for a look at what all audiences can bring to the conversation about these topics.

Supercomputing Frontiers: 4th Asian Conference, SCFA 2018, Singapore, March 26-29, 2018, Proceedings

Authors: ---
Book Series: Theoretical Computer Science and General Issues ISBN: 9783319699523 9783319699530 Year: Volume: 10776 Pages: 293 DOI: https://doi.org/10.1007/978-3-319-69953-0 Language: English
Publisher: Springer Grant: National Supercomputing Centre (NSCC), Singapore
Subject: Computer Science
Added to DOAB on : 2018-07-20 15:24:25
License:

Loading...
Export citation

Choose an application

Abstract

It constitutes the refereed proceedings of the 4th Asian Supercomputing Conference, SCFA 2018, held in Singapore in March 2018. Supercomputing Frontiers will be rebranded as Supercomputing Frontiers Asia (SCFA), which serves as the technical programme for SCA18. The technical programme for SCA18 consists of four tracks: Application, Algorithms & LibrariesProgramming System SoftwareArchitecture, Network/Communications & ManagementData, Storage & VisualisationThe 20 papers presented in this volume were carefully reviewed nd selected from 60 submissions.

Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part I

Authors: ---
Book Series: Theoretical Computer Science and General Issues ISBN: 9783319899596 9783319899602 Year: Volume: 10805 Pages: 429 DOI: https://doi.org/10.1007/978-3-319-89960-2 Language: English
Publisher: Springer Grant: ETAPS e.V.
Subject: Computer Science
Added to DOAB on : 2018-07-19 14:22:46
License:

Loading...
Export citation

Choose an application

Abstract

The LNCS 10805 and 10806 proceedings set constitutes the proceedings of the 24th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2018, which took place in Thessaloniki, Greece, in April 2018, held as part of the European Joint Conference on Theory and Practice of Software, ETAPS 2018.The total of 43 full and 11 short papers presented in these volumes was carefully reviewed and selected from 154submissions. The papers are organized in topical sections as follows:Part I: theorem proving; SAT and SMT I; deductive verification; software verification and optimization; model checking; and machine learning.Part II: concurrent and distributed systems; SAT and SMT II; security and reactive systems; static and dynamic program analysis; hybrid and stochastic systems; temporal logic and mu-calculus; 7th Competition on Software Verification – SV-COMP.

Chapter: 'Introducing the U.S. Cyberlearning Community' from book: Adaptive and Adaptable Learning: 11th European Conference on Technology Enhanced Learning, EC-TEL 2016, Lyon, France, September 13-16, 2016, Proceedings (Book chapter)

Authors: --- ---
Book Series: Lecture Notes in Computer Science ISSN: 0302-9743 / 1611-3349 ISBN: 9783319451527 9783319451534 Year: Pages: 3 DOI: 10.1007/978-3-319-45153-4_82 Language: English
Publisher: Springer
Subject: Education
Added to DOAB on : 2017-11-27 16:55:08
License:

Loading...
Export citation

Choose an application

Abstract

The term “Cyberlearning” is used in the United States to describe a community of researchers, largely funded by the US National Science Foundation, who are exploring the integration of computer science research with learning sciences research. The Cyberlearning community is parallel to the EC-TEL community and the purpose of this poster is to foster mutual engagement between the communities. The paper describes the origin of the term, the conception of the field, the kinds of research being conducted, and some of the exemplary projects. The paper will also introduce the Center for Innovative Research in Cyberlearning (CIRCL), which is the hub of the knowledge network (research community) for cyberlearning and hosts a useful collection of resources.

Keywords

innovation --- learning --- technology

Listing 1 - 10 of 112 << page
of 12
>>
Sort by