Games on graphs provide a natural and powerful model for reactive systems. In this paper, we consider generalized reachability objectives, defined as conjunctions of reachability objectives. We first prove that deciding the winner in such games is PSPACE-complete, although it is fixed-parameter tractable with the number of reachability objectives as parameter. Moreover, we consider the memory r...

The purpose of the current study was to evaluate the effect of 12/15-lipoxygenase (12/15-LOX) metabolites on retinal endothelial cell (REC) barrier function. FITC-dextran flux across the REC monolayers and electrical cell-substrate impedance sensing (ECIS) were used to evaluate the effect of 12- and 15-hydroxyeicosatetreanoic acids (HETE) on REC permeability and transcellular electrical resista...

Research Ethics Committees (RECs) are increasingly institutionalised as a feature of research practice, but have remained strangely neglected by social scientists. In this paper, we argue that analysis of letters from RECs to researchers offers important insights into how RECs operate. We report a traditional content analysis and an ethnographic content analysis of 141 letters to researchers, t...

We have developed a Radar Echo Classifier (REC) algorithm to identify various radar echoes such as precipitation, clear air, and in particular anomalously propagated (AP) ground clutter in NEXRAD radar data. The REC uses fuzzy logic to identify these various echo types. We implemented the REC using the Python language along with C++ extensions. This implementation replaces and extends the funct...

1 Analytical analysis of the exploding and vanishing gradients problem 1.1 Linear model x t = W rec σ(x t−1) + W in u t + b (1) Let us consider the term g T k = ∂Et ∂xt ∂xt ∂x k ∂ + x k ∂θ for the linear version of the parametriza-tion in equation (1) (i.e. set σ to the identity function) and assume t goes to infinity and l = t − k. We have that: ∂x t ∂x k = W T rec l (2) By employing a generic...

A neural ordinary differential equations network (ODE-Net)-enabled reachability method ( Neuro-Reachability ) is devised for the dynamic verification of networked microgrids (NMs) with unidentified subsystems and heterogeneous uncertainties. Three new contributions are presented: 1) An ODE-Net-...

It is well known that positive linear systems have differences in the concepts and characterizations of the structural properties of reachability and controllability. In this paper, the reachability indices of a positive system are defined and consequently they are studied. For that, a canonical form of the reachability indices is given by positive similarity. From that canonical form, it is es...

This paper solves two open problems about the decidability of the vector reachability problem over a finitely generated semigroup of matrices from SL(2,Z) and the point to point reachability (over rational numbers) for fractional linear transformations, where associated matrices are from SL(2,Z). The approach to solving reachability problems is based on the characterization of reachability path...