102,146 research outputs found
Primo Levi e Pierre Bayle. "Soffro dunque sono": una lettura dei moderni
No full text(Dall'introduzione del volume) Nel terzo capitolo Simone Ghelli si lancia nell’impresa di ipotizzare un percorso di lettura leviano di cui non è dato trovare riscontri filologici precisi, ma che è tuttavia percepibile “nell’aria” e nelle opere del torinese. Si tratta di una risonanza con il pensiero filosofico di Pierre Bayle e della sua riflessione sulla sofferenza nell’orizzonte speculativo di Levi, il quale tornò sovente a meditare sul problema del male e sulla spinosa questione dell’assenza di Dio e dell’impossibilità di fornire una giustificazione della vita e del mondo. Ghelli arriva così a sostenere che «la posizione di Levi esprime una profonda consapevolezza filosofica, una concatenazione non casuale di concetti e argomenti riconducibile a una tradizione ben precisa: quella dell’ateismo moderno
Decidability of freshness, undecidability of revelation (extended abstract)
No full textWe study decidability of a logic for describing processes with restricted names. We choose a minimal fragment of the Ambient Logic, but the techniques we present should apply to every logic which uses Cardelli and Gordon revelation and hiding operators, and Gabbay and Pitts freshness quantifier. We start from the static fragment of ambient logic that Calcagno, Cardelli and Gordon proved to be decidable. We prove that the addition of a hiding quantifier makes the logic undecidable. Hiding can be decomposed as freshness plus revelation. Quite surprisingly, freshness alone is decidable, but revelation alone is not
NUMERICAL ANALYSIS OF THE EFFECT OF MEMBRANE PRELOADS ON THE LOW-SPEED IMPACT RESPONSE OF COMPOSITE LAMINATES
No full textThis article presents a comprehensive study on the mechanical behaviour of composite laminated plates undergoing a low-speed impact of an external body while they are subjected to in-plane preloads. The effect of such preloading was investigated by means of finite-element analysis of several impact events on laminates with three different span-to-thickness ratios. Tensile and compressive preloads, both uniaxial and biaxial, were considered; in the case of compression, the impact on buckled specimens was also studied. The results obtained show that the span-to-thickness ratio is a fundamental parameter in determining the effect of initial strains. Under a tensile preload, the impact-caused peak stresses were higher than in the case of no preload, and their increment was higher in thicker laminates. Under compression, the most dangerous influence of initial
stresses was found at medium span-to-thickness ratios for preloads comparable with the buckling load, whereas, in other cases, negligible or even beneficial effects were observed. These results can justify some experimental findings from the existing literature, even if they were obtained without modelling the material degradation due to damage. Also, they allow us to conclude that the explanation of other phenomena strictly related to damage, as well as an accurate prediction of the extent of damage, requires a failure model
Home wellness design.Attrezzature sportive negli spazi domestici
No full textNegli ultimo anni sono ampiamene maturate una sensibilità e una attenzione verso la cura del corpo, la salute e il benessere che si sono tradotte nell'esponenziale crescita del settore del fitness; e proprio la scoperta del benessere rappresenta uno degli aspetti più interessanti delle ultime evoluzioni sociali
A Relationship Mechanism for a Strongly Typed Object-Oriented Database Programming Language
No full textBasic theory of F-bounded quantification
No full textSystem F-bounded is a second order typed lambda calculus, where the basic features of object-oriented languages can be naturally modelled. F-bounded extends the better known system , in a way that provides an immediate solution for the treatment of the so-called ``binary methods''. Although more powerful than and also quite natural, system F-bounded has only been superficially studied from a foundational perspective and many of its essential properties have been conjectured but never proved in the literature. The aim of this paper is to give a solid foundation to F-bounded, by addressing and proving the key properties of the system. In particular transitivity elimination, completeness of the type checking semi-algorithm, the subject reduction property for reduction, conservativity with respect to system and antisymmetry of a ``full'' subsystem are considered, and various possible formulations for system F-bounded are compared. Finally a semantic interpretation of system F-bounded is presented, based on partial equivalence relations
- …
