Noticing certain limitations of concept lattices in the fuzzy context, especially view their practical applications, this paper, we propose a more general approach based on what call graded preconcept lattices. We believe that is adequate for dealing with information then one consider two possible gradation methods lattice—an inner one, called D-gradation and an outer M-gradation, study propert...

Abstract datatypes can be typed conveniently using existential types. Even though it is a powerful abstraction mechanism, current type inference systems based on Hindley-Milner do not allow existential types as first-class citizens – every existential type must be explicitly declared, packed, and unpacked using a data constructor. We present an extension of theMLF type system with first-class e...

We integrate existential types into a strongly typed C-like language. In particular, we show how a bad combination of existential types, mutation, and aliasing can cause a subtle violation of type safety. We explore two independent ways to strengthen the type system to restore safety. One restricts the mutation of existential packages. The other restricts the types of aliases of existential pac...

Existential risks are those that threaten the entire future of humanity. Many theories of value imply that even relatively small reductions in net existential risk have enormous expected value. Despite their importance, issues surrounding human-extinction risks and related hazards remain poorly understood. In this article, I clarify the concept of existential risk and develop an improved classi...

This paper evaluates the different AREMA gradations currently in use for their effects on both ballast void space and load carrying performances using a discrete particle analysis computational technique called Discrete Element Modeling (DEM). The effect of gradation on aggregate assembly volumetric properties was first studied. Full-scale ballast layers with common gradations listed in AREMA s...

This paper presents a Cohesive Zone Model (CZM) approach for investigating dynamic crack propagation in homogeneous and Functionally Graded Materials (FGMs). The failure criterion is incorporated in the CZM using both a finite cohesive strength and work to fracture in the material description. A novel CZM for FGMs is explored and incorporated into a finite element framework. The material gradat...

Existential Psychological Theory was employed as a conceptual and theoretical foundation for the use of hypnotically facilitated therapy in the management of intractable pain, nausea, and vomiting in 3 end-stage, terminally ill cancer patients. The existential principles of death anxiety, existential isolation, and existential meaninglessness were addressed with a combination of classic and Eri...