Search results for "Complete"
showing 10 items of 490 documents
Aristóteles entre doxografía y biografía: sobre Diógenes Laercio V 31
2019
Se pretende llamar la atención sobre un par de frases que aparecen justo hacia la mitad de la controvertida doxografía de Aristóteles que se puede leer en las Vidas y doctrinas de los filósofos más ilustres de Diógenes Laercio V 31, y que desde luego no corresponden a ningún sistema doxográfico conocido. Como sucede no pocas veces en la obra laerciana, la misma apreciación sobre si el filósofo debe o no enamorarse y contraer matrimonio se repite idéntica en otras doxografías completamente distintas: la cirenaica (DL II 91), la estoica (DL VII 129) y la epicúrea (DL X 118). Cabe plantearse, pues, el origen de este interés, en varias doxografías, por la vida sentimental, podríamos decir, de l…
SparseHC: A Memory-efficient Online Hierarchical Clustering Algorithm
2014
Computing a hierarchical clustering of objects from a pairwise distance matrix is an important algorithmic kernel in computational science. Since the storage of this matrix requires quadratic space with respect to the number of objects, the design of memory-efficient approaches is of high importance to this research area. In this paper, we address this problem by presenting a memory-efficient online hierarchical clustering algorithm called SparseHC. SparseHC scans a sorted and possibly sparse distance matrix chunk-by-chunk. Meanwhile, a dendrogram is built by merging cluster pairs as and when the distance between them is determined to be the smallest among all remaining cluster pairs. The k…
Predictive models in assessment of macroinvertebrates in boreal rivers
2009
Jukka Aroviita tutki väitöskirjassaan jokien ja purojen biologisen tilan mittaamismenetelmiä. Aroviita osoitti, että ihmistoiminnan aiheuttamat biologiset muutokset voivat jäädä havaitsematta, jos eliöyhteisöjen luonnollista taustavaihtelua ei oteta kunnolla huomioon.- Tällöin vesistöjen saatetaan arvioida olevan paremmassa kunnossa kuin ne todellisuudessa ovatkaan. Muutosten tunnistamistarkkuuden tulisi olla mahdollisimman hyvä, sillä tila-arvioilla on myös juridisesti määräytyviä yhteiskunnallisia ja taloudellisia seuraamuksia, Aroviita toteaa. Vielä 1990-luvulla järvien ja jokien tilaa arvioitiin suurelta osin ihmisen näkökulmasta ja veden kemian perusteella. Nykylainsäädäntö edellyttää …
The Homogeneous Poisson Point Process
2008
Partial *-Algebras of Operators in a PIP-Space
2009
The family of operators on a pip-space V is endowed with two, possibly different, partial multiplications, where partial means that the multiplication is not defined for any pair A,B of elements of Op(V) but only for certain couples. The two multiplications, to be called strong and weak, give rise to two different structures that coincide in certain situations. In this chapter we will discuss first the structure of Op(V) as partial *-algebra in the sense of [AIT02] and then the possibility of representing an abstract partial *-algebra into Op(V).
Sensitivity of bipartite network analyses to incomplete sampling and taxonomic uncertainty
2023
Bipartite network analysis is a powerful tool to study the processes structuring interactions in ecological communities. In applying the method, it is assumed that the sampled interactions provide an accurate representation of the actual community. However, acquiring a representative sample may be difficult as not all species are equally abundant or easily identifiable. Two potential sampling issues can compromise the conclusions of bipartite network analyses: failure to capture the full range of interactions (sampling completeness) and use of a taxonomic level higher than species to evaluate the network (taxonomic resolution). We asked how commonly used descriptors of bipartite antagonisti…
A Completeness Proof for a Regular Predicate Logic with Undefined Truth Value
2023
We provide a sound and complete proof system for an extension of Kleene's ternary logic to predicates. The concept of theory is extended with, for each function symbol, a formula that specifies when the function is defined. The notion of "is defined" is extended to terms and formulas via a straightforward recursive algorithm. The "is defined" formulas are constructed so that they themselves are always defined. The completeness proof relies on the Henkin construction. For each formula, precisely one of the formula, its negation, and the negation of its "is defined" formula is true on the constructed model. Many other ternary logics in the literature can be reduced to ours. Partial functions …
Double copies of blaKPC-3::Tn4401a on an IncX3 plasmid in Klebsiella pneumoniae successful clone ST512 from Italy
2015
ABSTRACT A carbapenem-resistant sequence type 512 (ST512) Klebsiella pneumoniae carbapenemase 3 (KPC-3)-producing K. pneumoniae strain showing a novel variant plasmid content was isolated in Palermo, Italy, in 2014. ST512 is a worldwide successful clone associated with the spread of bla KPC genes located on the IncFIIk pKpQIL plasmid. In our ST512 strain, the bla KPC-3 gene was unusually located on an IncX3 plasmid, whose complete sequence was determined. Two copies of bla KPC-3 ::Tn 4401a caused by intramolecular transposition events were detected in the plasmid.
Real-world experience with obeticholic acid in patients with primary biliary cholangitis
2021
Background & aims Obeticholic acid (OCA) is the second-line treatment approved for patients with primary biliary cholangitis (PBC) and an inadequate response or intolerance to ursodeoxycholic acid. We aimed to evaluate the effectiveness and safety of OCA under real-world conditions. Methods Patients were recruited into the Italian PBC Registry, a multicentre, observational cohort study that monitors patients with PBC at national level. The primary endpoint was the biochemical response according to Poise criteria; the secondary endpoint was the biochemical response according to normal range criteria, defined as normal levels of bilirubin, alkaline phosphatase (ALP), and alanine aminotransfer…
On the convergence of zero-point vibrational corrections to nuclear shieldings and shielding anisotropies towards the complete basis set limit in wat…
2016
The method and basis set dependence of zero-point vibrational corrections (ZPVCs) to nuclear magnetic resonance shielding constants and anisotropies has been investigated using water as a test system. A systematic comparison has been made using the Hartree–Fock, second-order Møller–Plesset perturbation theory (MP2), coupled cluster singles and doubles (CCSD), coupled cluster singles and doubles with perturbative triples corrections (CCSD(T)) and Kohn–Sham density functional theory with the B3LYP exchange-correlation functional methods in combination with the second-order vibrational perturbation theory (VPT2) approach for the vibrational corrections. As basis sets, the correlation consisten…