VTMOP is a Fortran 2008 software package containing two modules for solving computationally expensive bound-constrained blackbox multiobjective optimization problems. implements the algorithm of [ 32 ], which handles or more objectives, does not require any derivatives, and produces well-distributed points over Pareto front. The first module contains general framework problems by combining resp...

This paper defines a temporal logic for reaction systems (RSTL). The logic is interpreted over the models for the context restricted reaction systems that generalize standard reaction systems by controlling context sequences. Moreover, a translation from the context restricted reaction systems into boolean functions is defined in order to be used for a symbolic model checking for RSTL over thes...

blood vessels. In the adult, the proliferation rate of endothelial cells is very low compared with that of many other cell types in the body. Angiogenesis occurs under tight regulation in the female reproductive system and during wound healing. Unregulated angiogenesis may result in different pathologies, such as rheumatoid arthritis, diabetic retinopathy, psoriasis, and juvenile hemangiomas. A...

Asteroid 3200 Phaethon resembles a comet in some ways, including a highly-eccentric orbit (e∼ 0.89) and a strong associated meteor shower (the Geminids). Yet this object has never been observed to exhibit any cometary activity, i.e., gas production. We observed 3200 Phaethon with the Caltech Submillimeter Observatory on two occasions, once while it was near its closest approach to Earth as it n...