Formal methods publications | Logic in computer science
The Journal of Automated Reasoning was established in 1983 by Larry Wos, who was its editor in chief until 1992. It covers research and advances in automated reasoning, mechanical verification of theorems, and other deductions in classical and non-classical logic. The journal is published by Springer Science+Business Media. As of 2021, the editor-in-chief is Jasmin Blanchette, an associate professor of computer science at the Vrije Universiteit Amsterdam. The journal's 2019 impact factor is 1.431, and it is indexed by several science indexing services, including the Science Citation Index Expanded and Scopus. (Wikipedia).
IMS Public Lecture: The Automated-Reasoning Revolution: From Theory to Practice and Back
Moshe Y. Vardi, Rice University, USA
From playlist Public Lectures
If you are interested in learning more about this topic, please visit http://www.gcflearnfree.org/ to view the entire tutorial on our website. It includes instructional text, informational graphics, examples, and even interactives for you to practice and apply what you've learned.
From playlist Automation
Logic: The Structure of Reason
As a tool for characterizing rational thought, logic cuts across many philosophical disciplines and lies at the core of mathematics and computer science. Drawing on Aristotle’s Organon, Russell’s Principia Mathematica, and other central works, this program tracks the evolution of logic, be
From playlist Logic & Philosophy of Mathematics
Check out our weekly system design newsletter: https://bit.ly/3tfAlYD Checkout our bestselling System Design Interview books: Volume 1: https://amzn.to/3Ou7gkd Volume 2: https://amzn.to/3HqGozy Digital version of System Design Interview books: https://bit.ly/3mlDSk9 ABOUT US: Covering
From playlist Computer Science Fundamentals
Professor Eric Meyer, University of Oxford
Bio Eric T. Meyer’s work focuses on shifts in work, knowledge creation, and interactions when digital technologies replace their previously non-digital counterparts. His research in this area has included studies of data sharing in dementia research, the use of digital images in biology,
From playlist Short Talks
27c3: Three jobs that journalists will do in 2050 (en)
Speaker: Annalee Newitz Why future media may be more powerful (and more subversive) than ever before Print media are dying, but what is rising up to take their place? In this presentation, I'll answer that question by describing three new kinds of jobs for journalists that do not exist i
From playlist 27C3: We come in peace
Turning coal miners into coders is not the answer to automation | Andrew Yang | Big Think
Turning coal miners into coders is not the answer to automation Watch the newest video from Big Think: https://bigth.ink/NewVideo Join Big Think Edge for exclusive videos: https://bigth.ink/Edge ---------------------------------------------------------------------------------- Andrew Yan
From playlist Future of Work | Big Think
We'll be covering happenings, learnings and new challenges running and supporting systemd in production on the Facebook fleet throughout the past year. EVENT: All Systems Go 2019 SPEAKER: Davide Cavalca PUBLICATION PERMISSIONS: Original video was published with the Creative Commons A
From playlist Linux
Achieving a State of Flow Continuous Integration and Practical Event Sourcing w PostgreSQL Paolo
We will demonstrate modern, pragmatic tools and approaches to implementing an immutable event sourcing system that serves as the foundation of our data storage strategy. Our team built on significant experiences at scale and hypergrowth with experience from Gilt, Blue Apron, and Hudson’s B
From playlist 2016
Materialism Podcast Ep 58: Materials Informatics at General Electric
How does a company like GE use machine learning to further their research into new materials and technology? Find out in the first episode of our General Electric sponsored series where we sit down with two experts at GE Andrew Detor and Kareem Aggour. This episode is sponsored by GE, a l
From playlist Materialism Podcast
Stanford Seminar - Entrepreneurial Thought Leaders: DJ Kleinbaum of Emerald Therapeutics
DJ Kleinbaum Emerald Therapeutics In this seminar, entrepreneurial leaders share lessons from real-world experiences across entrepreneurial settings. Speakers include entrepreneurs, leaders from global technology companies, venture capitalists, and best-selling authors. Half-hour talks ar
From playlist MS&E472 - Entrepreneurial Thought Leaders - Stanford Seminars
COMM 125: Perspectives on American Journalism
Professor James Hamilton, director of Stanford’s Journalism Program, examines how news is produced, distributed and financially supported, with an emphasis on current media controversies and puzzles, and on designing innovations in discovering and telling stories. This was the first lectur
From playlist Fall 2018 Course Sampler
(ML 7.1) Bayesian inference - A simple example
Illustration of the main idea of Bayesian inference, in the simple case of a univariate Gaussian with a Gaussian prior on the mean (and known variances).
From playlist Machine Learning
Velocity Europe Conference 2013, Tom Maslen: Slowing Down To Go Faster
http://velocityconf.com SLOWING DOWN TO GO FASTER: Responsive Web Design And The Problem Of Agility vs Robustness: The great irony of modern web development is that to make a website as fast as possible requires much more of your time. In an environment where you have to develop swiftly,
From playlist Velocity Europe 2013
(ML 7.2) Aspects of Bayesian inference
An informal overview of Bayesian inference, Bayesian procedures, Objective versus Subjective Bayes, Pros/Cons of a Bayesian approach, and priors.
From playlist Machine Learning
Lechaudel-Porquet : Counter - EzPaarse
Find this video and other talks given by worldwide mathematicians on CIRM's Audiovisual Mathematics Library: http://library.cirm-math.fr. And discover all its functionalities: - Chapter markers and keywords to watch the parts of your choice in the video - Videos enriched with abstracts, b
From playlist Documentation mathématique