Formal methods terminology

Reification (computer science)

Reification is the process by which an abstract idea about a computer program is turned into an explicit data model or other object created in a programming language. A computable/addressable object—a resource—is created in a system as a proxy for a non computable/addressable object. By means of reification, something that was previously implicit, unexpressed, and possibly inexpressible is explicitly formulated and made available to conceptual (logical or computational) manipulation. Informally, reification is often referred to as "making something a first-class citizen" within the scope of a particular system. Some aspect of a system can be reified at language design time, which is related to reflection in programming languages. It can be applied as a stepwise refinement at system design time. Reification is one of the most frequently used techniques of conceptual analysis and knowledge representation. (Wikipedia).

Reification (computer science)
Video thumbnail

COMPUTER SCIENCE TERMINOLOGY

Welcome to part one of computer science terminology, where we take a dive into understanding some of the terms used in computer science and software development. We've started with the basics and will continue to get more complex as this series progresses. --------------------------------

From playlist Computer Science

Video thumbnail

Quantum Computer in a Nutshell (Documentary)

The reservoir of possibilities offered by the fundamental laws of Nature, is the key point in the development of science and technology. Quantum computing is the next step on the road to broaden our perspective from which we currently look at the Universe. The movie shows the history of pr

From playlist Quantum computing

Video thumbnail

Computer Science Terminology

Learn computer science terminology. We'll take a dive into understanding some of the terms used in computer science and software development. The video starts with the basics and then gets more advanced. Video from Forrest Knight. Check out his channel: https://www.youtube.com/channel/UC

From playlist Computer Science Concepts

Video thumbnail

Unix for Programmers - My Computer Science Degree in the Real World

I took a unix for programmers in college while pursuing my computer science degree. Today as a software engineer, I want to see what was carried over from that classroom to the real world of software development. ---------------------------------------------------------- I share and docu

From playlist Computer Science

Video thumbnail

What is Machine Learning?

In this video, you’ll learn more about the evolution of machine learning and its impact on daily life. Visit https://www.gcflearnfree.org/thenow/what-is-machine-learning/1/ for our text-based lesson. This video includes information on: • How machine learning works • How machine learning i

From playlist Machine Learning

Video thumbnail

What Is Machine Learning? | What Is Machine Learning And How Does It Work? | Simplilearn

This Machine Learning tutorial will help you understand what is Machine Learning, Artificial Intelligence vs Machine Learning vs Deep Learning, how does Machine Learning work, types of Machine Learning, Machine Learning pre-requisites and applications of Machine Learning. Machine learning

From playlist 🔥Machine Learning | Machine Learning Tutorial For Beginners | Machine Learning Projects | Simplilearn | Updated Machine Learning Playlist 2023

Video thumbnail

Quantum Computers, Explained With Quantum Physics

Quantum computers aren’t the next generation of supercomputers—they’re something else entirely. Before we can even begin to talk about their potential applications, we need to understand the fundamental physics that drives the theory of quantum computing. (Featuring Scott Aaronson, John Pr

From playlist Explainers

Video thumbnail

Ethics and Computational Social Science (Part 2)

In the second of two videos, Professor Matt Salganik of Princeton University discusses ethical issues in the field of Computational Social Science. Link to slides used in this video: https://github.com/compsocialscience/summer-institute/blob/master/2020/materials/day1-intro-ethics/ethics_p

From playlist SICSS 2020

Video thumbnail

What Is Quantum Computing | Quantum Computing Explained | Quantum Computer | #Shorts | Simplilearn

🔥Explore Our Free Courses With Completion Certificate by SkillUp: https://www.simplilearn.com/skillup-free-online-courses?utm_campaign=QuantumComputingShorts&utm_medium=ShortsDescription&utm_source=youtube Quantum computing is a branch of computing that focuses on developing computer tech

From playlist #Shorts | #Simplilearn

Video thumbnail

11. Marx's Theory of Historical Materialism (cont.)

Foundations of Modern Social Thought (SOCY 151) Today we cover the transition from the young Marx, with his emphasis on change and action, to the mature Marx who turns toward positivist science and determinism, arguing that capitalism will have to fail. Through a closer look at Marx's "

From playlist Foundations of Modern Social Theory with Iván Szelényi

Video thumbnail

Introduction to Scientific Visualization

Presented by Bill Sherman. 2018-2019 Scientific Visualization Workshop at Indiana University. Filmed Aug 29, 2018. This workshop series highlights a variety of topics related to scientific visualization. Principles of perception, along with techniques and tools for creating visualizatio

From playlist Scientific Visualization Workshop Series

Video thumbnail

The Meat of It - Ryan Kitchens - REdeploy 2019

Incident Reviews in Software have a tendency to rely on seemingly satisfying yet shallow and misleading oversimplifications, hiding from us that what we think is ‘the meat of it’ is rather an empty bite. Resilience Engineering warns us about boiling down complex situations to simple expla

From playlist REdeploy 2019

Video thumbnail

Computer Science Basics: Algorithms

We use computers every day, but how often do we stop and think, “How do they do what they do?” This video series explains some of the core concepts behind computer science. To view the entire playlist, visit https://www.youtube.com/playlist?list=PLpQQipWcxwt-Q9izCl0mm-QZ4seuBdUtr. We hop

From playlist Computer Science Basics

Video thumbnail

The Mismeasure of Man

September 5, 2007 presentation by Ralph Horwitz for the Stanford School of Medicine Medcast lecture series. Ralph Horwitz, MD, professor of medicine at Stanford discusses how measurement can both strengthen and weaken clinical science and care. Often overlooked amid today's enthusiasm

From playlist Feature | Medcast

Video thumbnail

Sally Applin interviewed at Strata 2011

Sally Applin is a Ph.D. student at the University of Kent at Canterbury, UK, in the Centre for Social Anthropology and Computing (CSAC). She holds a Masters degree from the graduate Interactive Telecommunications Program (ITP) within New York University's Tisch School of the Arts, and a BA

From playlist Strata 2011

Video thumbnail

Ethics Additions and Extensions

Professor Matt Salganik discusses ethics and computational social science in the third of a three-part video series. Link to the slides used in this video are here: https://github.com/compsocialscience/summer-institute/blob/master/2020/materials/day1-intro-ethics/ethics_additions_extension

From playlist SICSS 2020

Video thumbnail

What Is Machine Learning?

Machine learning describes computer systems that are able to automatically perform tasks based on data. A machine learning system takes data as input and produces an approach or solution to a task as output, without the need for human intervention. Machine learning is closely tied to th

From playlist Data Science Dictionary

Related pages

Formal specification | Lambda calculus | Logic programming | Metaprogramming | Parametric polymorphism | Prolog | Logtalk | Resource Description Framework | Vienna Development Method | Denotational semantics | Abstract syntax tree | Web Ontology Language | Operational semantics | Actor model | Abstract data type