where A is a formula in which Z is not free (but may contain other parameters). Ideally, every formula A should be used in this schema. Unfortunately, it is well known that this would lead to paradoxes. What the various axiomatic set theories do is to replace the general comprehension schema by “safer” versions. Thus most of the axioms of ZF , the most famous axiomatic set theory, are just part...

The aim of this paper is to expand the methodological spectrum of socially responsible investing by introducing stochastic sustainability returns into safety first models for portfolio choice. We provide a foundation of the notion of sustainability in portfolio theory and establish a general model for generalized safety first portfolio management with probabilistic constraints and three special...

JavaScript is a popular language for client-side web scripting. It has a dubious reputation among programmers for two reasons. First, many JavaScript programs are written against a rapidly evolving API whose implementations are sometimes contradictory and idiosyncratic. Second, the language is only weakly typed and comes virtually without development tools. The present work is a first attempt t...

Concern over the safety of the United States' defense nuclear reactors in the late 1980s led to congressional creation of an independent oversight board. The Defense Nuclear Facility Safeties Board (DNFSB) is responsible for overseeing safety issues at the U.S. Department of Energy's nuclear facilities and issuing recommendations on operations and safety at these facilities, which include South...

BACKGROUND AND OBJECTIVE We are sharing information regarding the surveillance of the first entrance port in laparoscopic and natural orifice transvaginal endoscopy surgeries. However, we are not analyzing techniques or other surgical findings. METHOD In this study, 160 women with previous abdominal pelvic surgeries underwent laparoscopic surgery, 145 patients underwent transvaginal Minilapar...

The conception and design of Resource Constrained Embedded Systems (RCES) is an inherently complex endeavor. Non-functional requirements from security and dependability are exacerbate this complexity. Model-Driven Engineering (MDE) is a promising approach for the design of trusted systems, as it bridges the gap between design issues and implementation concerns. The purpose of process models is ...