Search Results - theory of computation→programming (logic OR login)

Automatic Loop Invariant Generation for Data Dependence Analysis by Tabar, Asmae Heydari, Bubel, Richard, Hahnle, Reiner

“…Parallelization of programs relies on sound and precise analysis of data dependences in the code, specifically, when dealing with loops. State-of-art tools are…”
Get full text

Design and Implementation of Pavlovian Associative Memory Based on DNA Neurons by Sun, Junwei, Xu, Wanting, Liu, Peng, Wang, Yanfeng

“…) technology performs well in computation, programming, and information processing. In this article, the multiplication gate, addition gate, and threshold gate based on DSD are used to cascade into a single DNA neuron…”
Get full text

The Everyday Life of an Algorithm by Neyland, Daniel

“…This open access book begins with an algorithm–a set of IF…THEN rules used in the development of a new, ethical, video surveillance architecture for transport…”
Get full text

Agent zero: toward neurocognitive foundations for generative social science. by Epstein, Joshua M, Epstein, Joshua M

“…The Final Volume of the Groundbreaking Trilogy on Agent-Based Modeling In this pioneering synthesis, Joshua Epstein introduces a new theoretical entity:…”
Get full text

Distributed Control of Robotic Networks: A Mathematical Approach to Motion Coordination Algorithms by Bullo, Francesco, Cortés, Jorge, Martínez, Sonia

“…This self-contained introduction to the distributed control of robotic networks offers a distinctive blend of computer science and control theory…”
Get full text

Computer Aided Verification: 30th International Conference, CAV 2018, Held As Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I by Chockler, Hana, Weissenbacher, Georg

Get full text

Computer Aided Verification: 30th International Conference, CAV 2018, Held As Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II by Chockler, Hana, Weissenbacher, Georg

Get full text

Fundamental Approaches to Software Engineering: 21st International Conference, FASE 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings by Alessandra Russo, Andy Schürr

“… as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018…”
Get full text

Cunning Machines: Your Pocket Guide to the World of Artificial Intelligence by Osinski, James

“…There are many myths and mistakes which make the topics of artificial intelligence complex and confusing. But the truth is that the foundations of AI are not…”
Get full text

A computational model of wind power penetration limit considering transient stability by Lin, Hai-Ming, Liu, Tian-Qi, Li, Xing-Yuan, Wang, Jian, Li, Qian

“…A model for calculating the wind power penetration limit with transient stability constraints is presented based on fuzzy random chance constraints programming…”
Get full text

Theory of computation by Tourlakis, George J.

“…Learn the skills and acquire the intuition to assess the theoretical limitations of computer programmingOffering an accessible approach to the topic, Theory of Computation focuses on the metatheory…”
Get full text

Nonplussed: mathematical proof of implausible ideas. by Havil, Julian, Havil, Julian

“…Math--the application of reasonable logic to reasonable assumptions--usually produces reasonable results…”
Get full text

Automata and computability by Kozen, Dexter C

“…This textbook provides undergraduate students with an introduction to the basic theoretical models of computability. Students who have already some experience…”
Get full text

Beginning Mathematica and Wolfram for Data Science - Applications in Data Analysis, Machine Learning, and Neural Networks by Alva, Jalil Villalobos

“…Enhance your data science programming and analysis with the Wolfram programming language and Mathematica, an applied mathematical tools suite…”
Get full text

Reconfigurable Computing - The Theory and Practice of FPGA-Based Computation by Hauck, Scott, DeHon, André

“… (including FPGA architectures, FPGA logic applications, and FPGA CAD tools) and the skills they must have for optimizing a computation…”
Get full text

Computability, complexity, and languages : fundamentals of theoretical computer science by Davis, Martin, Weyuker, Elaine J

Get full text

Complexity and Real Computation by Blum, Lenore, Cucker, Felipe, Shub, Michael, Smale, Steve

“…Computational complexity theory provides a framework for understanding the cost of solving computational problems, as measured by the requirement for resources such as time and space…”
Get full text

CHR(PRISM)-based probabilistic logic learning by Sneyers, Jon, Meert, Wannes, Vennekens, Joost, Kameya, Yoshitaka, Sato, Taisuke

Get full text

Systematic Program Design: From Clarity to Efficiency by Liu, Yanhong Annie

“… The method applies to problems specified in imperative, database, functional, logic and object-oriented programming languages with different data, control and module abstractions…”
Get full text

Computer mathematics : proceedings of fifth Asian Symposium(ASCM 2001), Matsuyama, Japan, 26-28 September 2001 by Asian symposium on computer mathematics (5th : 2001 : Matsuyama, Japan), 白柳, 潔, Yokoyama, Kazuhiro

“…This volume covers some of the most recent and significant advances in computer mathematics, including algebraic, symbolic, numeric and geometric computation, automated mathematical reasoning…”
Get full text