When Bifidelity Meets CoKriging: An Efficient Physics-Informed MultiFidelity Method

When is Informed Consent “Informed”?

Typically, a consent document in the United States is a printed form with blank spaces in which the operative procedure is filled in. The form is signed by the patient, and placed into the medical record. At first glance, it would seem that the patient was told of the operative procedure and gave his or her consent. Yet informed consent, or, more accurately, lack of informed consent, is a frequ...

Quantum physics meets biology.

Quantum physics and biology have long been regarded as unrelated disciplines, describing nature at the inanimate microlevel on the one hand and living species on the other hand. Over the past decades the life sciences have succeeded in providing ever more and refined explanations of macroscopic phenomena that were based on an improved understanding of molecular structures and mechanisms. Simult...

When Science Meets Religion

When Turing Meets Milner

• A submitted manuscript is the author's version of the article upon submission and before peer-review. There can be important differences between the submitted version and the official published version of record. People interested in the research are advised to contact the author for the final version of the publication, or visit the DOI to the publisher's website. • The final author version ...

When Simulation Meets Antichains

We describe a new and more efficient algorithm for checking universality and language inclusion on nondeterministic finite word automata (NFA) and tree automata (TA). To the best of our knowledge, the antichain-based approach proposed by De Wulf et al. was the most efficient one so far. Our idea is to exploit a simulation relation on the states of finite automata to accelerate the antichain-bas...