2017-07-27T22:00:14+03:00[Europe/Moscow] en true Geomatics, Polymorphism (computer science), Open system (computing), N-gram, Business informatics, Data buffer, Dublin Core, Hoare logic, Message, Turing test, Data integrity, Linked data, Digital object identifier, High availability, Quantum information science, Turmite, Formal verification, Information model, Signed number representations, Encapsulation (computer programming), Telematics, Data science, Information hiding, Visual computing, Australian Research Council Centre of Excellence for Robotic Vision flashcards
Computer science

Computer science

  • 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.
  • 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.
  • Open system (computing)
    Open systems are computer systems that provide some combination of interoperability, portability, and open software standards.
  • 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.
  • Business informatics
    Business informatics (BI) or organizational informatics is a discipline combining information technology (IT), informatics and management concepts.
  • 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.
  • 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.
  • 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.
  • Message
    A message is a discrete unit of communication intended by the source for consumption by some recipient or group of recipients.
  • 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.
  • 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.
  • 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.
  • Digital object identifier
    A digital object identifier (DOI) is a type of persistent identifier used to uniquely identify objects.
  • 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.
  • Quantum information science
    Quantum information science is an area of study based on the idea that information science depends on quantum effects in physics.
  • 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.
  • 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.
  • 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.
  • 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.
  • 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.).
  • 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).
  • 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.
  • 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.