Computer science

Business informatics (BI) or organizational informatics is a discipline combining information technology (IT), informatics and management concepts.

Telematics is an interdisciplinary field that encompasses telecommunications, vehicular technologies, road transportation, road safety, electrical engineering (sensors, instrumentation, wireless communications, etc.), and computer science (multimedia, Internet, etc.).

A digital object identifier (DOI) is a type of persistent identifier used to uniquely identify objects.

Data integrity is the maintenance of, and the assurance of the accuracy and consistency of, data over its entire life-cycle, and is a critical aspect to the design, implementation and usage of any system which stores, processes, or retrieves data.

The Dublin Core Schema is a small set of vocabulary terms that can be used to describe web resources (video, images, web pages, etc.), as well as physical resources such as books or CDs, and objects like artworks.

In programming languages, encapsulation is used to refer to one of two related but distinct notions, and sometimes to the combination thereof: * A language mechanism for restricting direct access to some of the object's components.

An information model in software engineering is a representation of concepts and the relationships, constraints, rules, and operations to specify data semantics for a chosen domain of discourse.

In computing, signed number representations are required to encode negative numbers in binary number systems.

Hoare logic (also known as Floyd–Hoare logic or Hoare rules) is a formal system with a set of logical rules for reasoning rigorously about the correctness of computer programs.

High availability is a characteristic of a system, which aims to ensure an agreed level of operational performance, usually uptime, for a higher than normal period.

In the context of hardware and software systems, formal verification is the act of proving or disproving the correctness of intended algorithms underlying a system with respect to a certain formal specification or property, using formal methods of mathematics.

Quantum information science is an area of study based on the idea that information science depends on quantum effects in physics.

Data science is an interdisciplinary field about processes and systems to extract knowledge or insights from data in various forms, either structured or unstructured, which is a continuation of some of the data analysis fields such as statistics, machine learning, data mining, and predictive analytics, similar to Knowledge Discovery in Databases (KDD).

Open systems are computer systems that provide some combination of interoperability, portability, and open software standards.

The French Institute for Research in Computer Science and Automation (French: Institut national de recherche en informatique et en automatique) is a French national research institution focusing on computer science and applied mathematics.

In computer science, information hiding is the principle of segregation of the design decisions in a computer program that are most likely to change, thus protecting other parts of the program from extensive modification if the design decision is changed.

In the fields of computational linguistics and probability, an n-gram is a contiguous sequence of n items from a given sequence of text or speech.

In computer science, a turmite is a Turing machine which has an orientation as well as a current state and a "tape" that consists of an infinite two-dimensional grid of cells.

The Road Ahead is a book written by Bill Gates, co-founder and then-CEO of the Microsoft software company, together with Microsoft executive Nathan Myhrvold and journalist Peter Rinearson.

In computer science, a data buffer (or just buffer) is a region of a physical memory storage used to temporarily store data while it is being moved from one place to another.

In computing, linked data (often capitalized as Linked Data) is a method of publishing structured data so that it can be interlinked and become more useful through semantic queries.

Geomatics (including geomatics engineering), also known as geospatial science (including geospatial engineering and geospatial technology), is the discipline of gathering, storing, processing, and delivering geographic information or spatially referenced information.

Visual computing is a generic term for all computer science disciplines handling with images and 3D models, i.

The Australian Centre for Robotic Vision is an unincorporated collaborative venture with funding of $25.

In programming languages and type theory, polymorphism (from Greek πολύς, polys, "many, much" and μορφή, morphē, "form, shape") is the provision of a single interface to entities of different types.

A message is a discrete unit of communication intended by the source for consumption by some recipient or group of recipients.

Mayank Prakash (born 1973) is a technology executive who is currently the Director General for Digital, Data, Technology and Security (Chief Digital Officer, Chief Information Officer) of Department for Work and Pensions.

IBM Tivoli System Automation for z/OS (SA z/OS) is a Policy-based automation solution to ensure the availability of applications and system resources.

The Turing test is a test, developed by Alan Turing in 1950, of a machine's ability to exhibit intelligent behaviour equivalent to, or indistinguishable from, that of a human.