Results 31 to 40 of about 923,302 (188)
Journal of Industrial Design and Engineering Graphics, 2019 The main goal of this paper is to highlight the vulnerability during the life time of kula buildings from Oltenia and Muntenia Regions from Romania. This research highlights the characteristic features of massive kula type buildings by masonry built ...
Anca Mihaela Barbu +4 more
doaj +2 more sources
A Normalizing Intuitionistic Set Theory with Inaccessible Sets [PDF]
Logical Methods in Computer Science, 2007 We propose a set theory strong enough to interpret powerful type theories underlying proof assistants such as LEGO and also possibly Coq, which at the same time enables program extraction from its constructive proofs.
Wojciech Moczydlowski
doaj +1 more source
Mathematics, 2021 We study a boundary value problem for nonlinear partial differential equations of the hyperbolic type on the plain in a domain with a complex boundary.
Vasyl Marynets +2 more
doaj +1 more source
Classical Mathematics for a Constructive World
, 2010 Interactive theorem provers based on dependent type theory have the flexibility to support both constructive and classical reasoning. Constructive reasoning is supported natively by dependent type theory and classical reasoning is typically supported by ...
Geuvers +8 more
core +1 more source
Error-Correcting Codes for Automatic Control [PDF]
, 2008 Systems with automatic feedback control may consist of several remote devices, connected only by unreliable communication channels. It is necessary in these conditions to have a method for accurate, real-time state estimation in the presence of channel ...
Ostrovsky, Rafail +2 more
core +3 more sources
Towards a constructive simplicial model of Univalent Foundations
, 2021 We provide a partial solution to the problem of defining a constructive version of Voevodsky's simplicial model of univalent foundations. For this, we prove constructive counterparts of the necessary results of simplicial homotopy theory, building on the
Gambino, Nicola, Henry, Simon
core
On some peculiar aspects of the constructive theory of point-free spaces
, 2010 This paper presents several independence results concerning the topos-valid and the intuitionistic (generalized) predicative theories of locales. In particular, certain consequences of the consistency of a general form of Troelstra's uniformity principle
Blass, Gutierres, Herrlich
core +1 more source
Virtual Evidence: A Constructive Semantics for Classical Logics [PDF]
, 2014 This article presents a computational semantics for classical logic using constructive type theory. Such semantics seems impossible because classical logic allows the Law of Excluded Middle (LEM), not accepted in constructive logic since it does not have
Constable, Robert L.
core
STUDY ON VERTICAL AXIS WIND TURBINE PERFORMANCE BASED ON IMPROVED SAVONIUS ROTOR TYPE
Journal of Industrial Design and Engineering Graphics, 2020 In the context of environmental policies aimed at gradual reduction of carbon emissions around the world today must be considered the methods of obtaining energy from renewable sources at hand.
Fanel Scheaua
doaj
Approximations of Sobolev norms in Carnot groups [PDF]
, 2010 This paper deals with a notion of Sobolev space $W^{1,p}$ introduced by J.Bourgain, H.Brezis and P.Mironescu by means of a seminorm involving local averages of finite differences. This seminorm was subsequently used by A.Ponce to obtain a Poincar\'e-type
Adams R. +14 more
core +1 more source