Results 251 to 260 of about 1,840,438 (303)

From Clinic to Computation: Multiscale Bioengineering Strategies for Durable Biological Aortic Valve Replacements

open access: yesAdvanced Functional Materials, EarlyView.
Bioprosthetic aortic valves have revolutionized the treatment of aortic stenosis, but their durability is limited by structural valve deterioration (SVD). This review focuses on the pericardial tissue at the heart of these valves, examining how its mechanical properties and calcification drive fatigue and failure.
Gabriele Greco   +7 more
wiley   +1 more source

Response Priming Accounts for Self-Prioritization Effects. [PDF]

open access: yesQ J Exp Psychol (Hove)
Verschoor S   +3 more
europepmc   +1 more source

An algorithm for computing theory prime implicates in first order logic

open access: closedInternational Journal of Information and Communication Technology, 2007
An algorithm based on consensus method to compute the set of prime implicates of a quantifier free first order formula X was presented in an earlier work. In this paper the notion of prime implicates is extended to theory prime implicates in the first order case.
Arindama Singh, Manoj K. Raut
openaire   +2 more sources

The theory of integer multiplication with order restricted to primes is decidable

open access: closedJournal of Symbolic Logic, 1997
AbstractWe show here that the first order theory of the positive integers equipped with multiplication remains decidable when one adds to the language the usual order restricted to the prime numbers. We see moreover that the complexity of the latter theory is a tower of exponentials, of height O(n).
Françoise Maurin
openaire   +3 more sources

Home - About - Disclaimer - Privacy