We review the growing literature on relationship between venture capital (VC) booms and start-up financing, focusing three broad areas. First, we discuss drivers of large inflows into VC asset class, particularly in recent years, which are related to but also distinct from macroeconomic business cycles stock market fluctuations. Second, emerging real effects financing booms. A particular focus ...

We start from Reiter’s solution to the frame problem in terms of successor state axioms and Scherl& Levesque’s extension to knowledge, as formulated by Lakemeyer&Levesque in their logic ES. While it was believed up to now that quantification over actions is a characteristic feature of Reiter’s solution, we here show that for a reasonably large subset of Reiter’s basic action theories one can do...

Abstract Decades of work have gone into developing efficient proof calculi, data structures, algorithms, and heuristics for first-order automatic theorem proving. Higher-order provers lag behind in terms efficiency. Instead a new higher-order prover from the ground up, we propose to start with state-of-the-art superposition E gradually enrich it features. We explain how extend prover’s $$\lambd...

INTRODUCTION This article investigates various improvements to two existing finite volume (fv) algorithms, specifically constructed to solve transient viscoelastic flow problems. Here, we consider model problems to identify fundamental algorithmic advances. Two alternative fv-approaches are advocated and contrasted for their properties, a hybrid cell-vertex scheme and a cell-centred staggered-g...