Communism is for us not a state of affairs which is to be established, an ideal to which reality [will] have to adjust itself. We call communism the real movement which abolishes the present state of ...

Abstract: We consider temporal logic verification of (possibly nonlinear) dynamical systems evolving over continuous state spaces. Our approach combines automata-based verification and the use of ...

Abstract: Manufacturing systems may be subject to external attacks and failures, so it is important to deal with the recovery of the system after these situations. This article deals with the problem ...

Adam Hayes, Ph.D., CFA, is a financial writer with 15+ years Wall Street experience as a derivatives trader. Besides his extensive derivative trading expertise, Adam is an expert in economics and ...

This repo contains the working files for my personal lecture notes for Algebraic Topology 1 being taught in the Winter term of 2023/4 by Prof. Dr. Markus Hausmann at the University of Bonn. A compiled ...

This repository contains my personal notes for the lecture course Foundations in Representation Theory, which was given by Dr. Hans Franzen at the University of Bonn in the winter semester of 2018/19.

Ask the publishers to restore access to 500,000+ books. An icon used to represent a menu that can be toggled by interacting with this icon. A line drawing of the Internet Archive headquarters building ...