We detail an approach to safety-critical verification using barrier functions. Our method requires limited system data verify a system's ability keep positive candidate function $h$ at discrete-time intervals over its trajectories. Spec...

Motexafin gadolinium (MGd) is a unique therapeutic agent that localizes in cancer cells and increases tumor response to ionizing radiation and certain chemotherapeutics. The in vitro intracellular localization, accumulation, and retention of MGd in murine EMT6 mammary sarcoma and Rif-1 fibrosarcoma cell lines were studied using interferometric Fourier fluorescence microscopy. MGd cellular uptak...

A biometric is a unique feature, a measurable trait or characteristic which is utilized in automatically identifying or verifying the identity of a human being. An assortment of inevitable shortcomings has been faced by unimodal biometric recognition like Limited discriminability, noisy biometric data, Upper bound in performance and Lack of permanence, consequence dilapidation of exactness and ...

We devise a finite volume scheme for nonlinear heat transfer in materials with anisotropic thermal conductivity. We focus on the difficulties arising from the discretization of complex domains which are typical in the simulation of industrially relevant processes. For polyhedral domains in two dimensions, we consider Cartesian as well as cylindrical coordinates. Our finite volume scheme is base...