Comparing mutational pathways to lopinavir resistance in HIV-1 subtypes B versus C. [PDF]
PLoS Comput Biol, 2021 Posada-Céspedes S +7 more
europepmc +1 more source
Forcing axioms and the complexity of non-stationary ideals. [PDF]
Mon Hefte Math, 2022 Cox S, Lücke P.
europepmc +1 more source
Unification with Simple Variable Restrictions and Admissibility of $\Pi_{2}$-rules
We develop a method to recognize admissibility of $\Pi_{2}$-rules, relating this problem to a specific instance of the unification problem with linear constants restriction, called here "unification with simple variable restriction". It is shown that for
Almeida, Rodrigo Nicolau +1 more
core
On regular torsionless S-posets
, 2018 This paper shall be concerned with the notion of regular torsionless in the category of S-posets. Besides elementary basic properties of regular torsionless S-posets, we consider cyclic regular torsionless S-posets and also study when regular torsionless
Khosravi, R.
core
Properties of products for flatness in the category of $S$-posets
, 2016 This paper is devoted to the study of products of classes of right $S$-posets possessing one of the flatness properties and preservation of such properties under products.
Mojtaba Sedaghatjoo, Roghaieh Khosravi
core +1 more source
Measuring consumers' level of satisfaction for online food shopping during COVID-19 in Italy using POSETs. [PDF]
Socioecon Plann Sci, 2022 Alaimo LS, Fiore M, Galati A.
europepmc +1 more source
Open filters and measurable cardinals. [PDF]
Arch Math LogBardyla S, Šupina J, Zdomskyy L.
europepmc +1 more source
On the Fine-grained Parameterized Complexity of Partial Scheduling to Minimize the Makespan. [PDF]
Algorithmica, 2022 Nederlof J, Swennenhuis CMF.
europepmc +1 more source
Fast and Adaptive Multi-Agent Planning under Collaborative Temporal Logic Tasks via Poset Products. [PDF]
Research (Wash D C)Liu Z, Guo M, Bao W, Li Z.
europepmc +1 more source
The structure of κ-maximal cofinitary groups. [PDF]
Arch Math Log, 2023 Fischer V, Switzer CB.
europepmc +1 more source