Mathematics of Discrete Structures for Computer Science

This work is an extension of Electromagnetic Modelling of Wire Antenna Structures by D. Poljak (a co-author of this volume), which described a variant of the Galerkin Bubnov Indirect Boundary Element

Today, learning to program and understanding the basics of computation isn't just indispensable for every science and engineering student: it's crucial for everyone who wants to understand the world t

There has been an enormous increase in research activity aimed at elucidating the basis for cortical activity in the brain. Among modern techniques used in this area of scientific endeavour, few have proved as popular as computer simulation. Model neural networks are the subject of intense study, and some remarkable properties have already come to light: these networks are able to discriminate, remember and associate. Professor Cotterill has assembled leading experts in this burgeoning field to produce an exciting review of advances. The volume covers the creation of computer models of neural networks, and their use in the study of neural function, of cognition, memory and vision. The results and future directions explored here will have an important bearing on research into brain function, physiology, psychology, biophysics and artificial intelligence.

There has been an enormous increase in research activity aimed at elucidating the basis for cortical activity in the brain. Among modern techniques used in this area of scientific endeavour, few have proved as popular as computer simulation. Model neural networks are the subject of intense study, and some remarkable properties have already come to light: these networks are able to discriminate, remember and associate. Professor Cotterill has assembled leading experts in this burgeoning field to produce an exciting review of advances. The volume covers the creation of computer models of neural networks, and their use in the study of neural function, of cognition, memory and vision. The results and future directions explored here will have an important bearing on research into brain function, physiology, psychology, biophysics and artificial intelligence.

Linear logic is a branch of proof theory which provides refined tools for the study of the computational aspects of proofs. These tools include a duality-based categorical semantics, an intrinsic graphical representation of proofs, the introduction of well-behaved non-commutative logical connectives, and the concepts of polarity and focalisation. These various aspects are illustrated here through introductory tutorials as well as more specialised contributions, with a particular emphasis on applications to computer science: denotational semantics, lambda-calculus, logic programming and concurrency theory. The volume is rounded-off by two invited contributions on new topics rooted in recent developments of linear logic. The book derives from a summer school that was the climax of the EU Training and Mobility of Researchers project 'Linear Logic in Computer Science'. It is an excellent introduction to some of the most active research topics in the area.

A hands-on introduction to computer science concepts for non-technical readers. Activities include word searches, mazes, "Find the Bug!" hunts, matching games, "Color by Boolean" (a twist on the class

The updated manual includes three AP practice tests for the Level A course (including a diagnostic test); test questions answered and explained in detail; and much more. FREE access to one additional

The updated manual includes three AP practice tests for the Level A course (including a diagnostic test); test questions answered and explained in detail; and much more. The enclosed CD-ROM presents t

The updated combination test prep manual and CD-ROM presents computer science test takers with-- Three full-length AP practice tests in the manual for the Level A course, including a diagnostic test

While maintaining the lucidity of the first edition, Discrete Chaos, Second Edition: With Applications in Science and Engineering now includes many recent results on global stability, bifurcation, cha

A presentation of the central and basic concepts, techniques, and tools of computer science, with the emphasis on presenting a problem-solving approach and on providing a survey of all of the most imp

This book is aimed to provide a comprehensive insight into the field of computer science. Computer science is a multidisciplinary field that incorporates both theory and applications of computations.

Today, everyone recognizes the importance of safeguarding computer systems and networks from vulnerability, attack, and compromise. But computer security is neither an easy art nor a simple science: i

The series "Studies in Computational Intelligence" (SCI) publishes new developments and advances in the various areas of computational intelligence – quickly and with a high quality. The intent is to

The series "Studies in Computational Intelligence" (SCI) publishes new developments and advances in the various areas of computational intelligence – quickly and with a high quality. The intent is to

This book focuses on ambient intelligence and addresses various issues related to data management, networking and HCI in this context. Taking a holistic view, it covers various levels of abstraction,

Provides diagnostic tools to assess strengths and weaknesses, explains the current Level A test and the elimination of the Level AB, offers subject reviews on static variables and other topics, and in

This edited book presents scientific results of the 14th IEEE/ACIS International Conference on Computer and Information Science (ICIS 2015) which was held on June 28 – July 1, 2015 in Las Vegas, USA.

This edited book presents scientific results of the 13th IEEE/ACIS International Conference on Computer and Information Science (ICIS 2014) which was held on June 4-6, 2014 in Taiyuan, China. The aim

This textbook addresses the mathematical description of sets, categories, topologies and measures, as part of the basis for advanced areas in theoretical computer science like semantics, programming l

Adams is an educational consultant in Canada; Hamm teaches science and math education at San Francisco State U. They offer teachers a wide range of creative ways to build on the social nature of learn

The digital era provides researchers with greatly enhanced ability to analyze and share data, but a new report warns that technology also makes it easier for data to be distorted. The report, from the