Computer science

2017-07-28T13:54:19+03:00[Europe/Moscow] en true Business informatics, Telematics, Digital object identifier, Data integrity, Dublin Core, Encapsulation (computer programming), Information model, Signed number representations, Hoare logic, High availability, Formal verification, Quantum information science, Data science, Open system (computing), French Institute for Research in Computer Science and Automation, Information hiding, N-gram, Turmite, The Road Ahead (Bill Gates book), Data buffer, Linked data, Geomatics, Visual computing, Australian Research Council Centre of Excellence for Robotic Vision, Polymorphism (computer science), Message, Mayank Prakash, IBM Tivoli System Automation, Turing test flashcards Computer science
Click to flip
  • Business informatics
    Business informatics (BI) or organizational informatics is a discipline combining information technology (IT), informatics and management concepts.
  • Telematics
    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.).
  • Digital object identifier
    A digital object identifier (DOI) is a type of persistent identifier used to uniquely identify objects.
  • Data integrity
    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.
  • Dublin Core
    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.
  • Encapsulation (computer programming)
    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.
  • Information model
    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.
  • Signed number representations
    In computing, signed number representations are required to encode negative numbers in binary number systems.
  • Hoare logic
    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
    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.
  • Formal verification
    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
    Quantum information science is an area of study based on the idea that information science depends on quantum effects in physics.
  • Data science
    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 system (computing)
    Open systems are computer systems that provide some combination of interoperability, portability, and open software standards.
  • French Institute for Research in Computer Science and Automation
    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.
  • Information hiding
    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.
  • N-gram
    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.
  • Turmite
    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 (Bill Gates book)
    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.
  • Data buffer
    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.
  • Linked data
    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
    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
    Visual computing is a generic term for all computer science disciplines handling with images and 3D models, i.
  • Australian Research Council Centre of Excellence for Robotic Vision
    The Australian Centre for Robotic Vision is an unincorporated collaborative venture with funding of $25.
  • Polymorphism (computer science)
    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.
  • Message
    A message is a discrete unit of communication intended by the source for consumption by some recipient or group of recipients.
  • Mayank Prakash
    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
    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.
  • Turing test
    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.