On finite labelled transition systems, the problems of deciding strong bisimilarity, observation equivalence, and observation congruence are P-complete under many-one NC-reducibility. As a consequence, algorithms for ...

Alzheimer’s Disease (AD) and Mild Cognitive Impairment (MCI) represent a major challenge for health systems within the aging population. New and better instruments will be crucial to assess the disease severity and ...

The cascaded integrator-comb (CIC) filters are widely used as decimators in many applications, such as in delta sigma AD converters to decimate the sampled signal on its output. One problem with these filters is that by ...

Genomic heterogeneity constitutes one of the most distinctive features of cancer diseases, limiting the efficacy and availability of medical treatments. Tumorigenesis emerges as a strongly stochastic process, producing a ...

In Greek temples, compositional order and Pythagorean geometry were used to achieve regularity, proportion and beauty, combining exact magnitudes between the parts and the whole. It is also known that all the temples were ...

When confined between walls at nanometer distances, water exhibits surprisingly different properties with reference to bare interfacial water. Based on computer simulations, we demonstrate how vibrational sum frequency ...

Multi-Criteria Decision Analysis (MCDA) methods are increasingly used to aid decision-making for sustainable development. However, although uncertainty is present in all decision environments, dealing with incomplete and ...

An identifying code is a subset of vertices of a graph with the property that each vertex is uniquely determined (identified) by its nonempty neighbourhood within the identifying code. When only vertices out of the code ...

We shed new light on the Literal Block Distance (LBD) and glue-based heuristics used in current SAT solvers. For this, we first introduce the concept of stickiness: given a run of a CDCL SAT solver, for each pair of literals ...

In recent years, kidney paired donation has been extended to include living non-directed or altruistic donors, in which an altruistic donor donates to the candidate of an incompatible donor candidate pair with the understanding ...