186,789 research outputs found
The universal covering map in o-minimal expansions of groups
No full textIn this paper we study locally definable manifolds and we prove: (i) the existence of universal locally definable covering maps; (ii) invariance results for locally definable covering maps, o-minimal fundamental groups and fundamental groupoids; (iii) monodromy equivalence for locally constant o-minimal sheaves; (iv) classification results for locally definable covering maps; (v) o-minimal Hurewicz and Seifert-van Kampen theorems.Fundação para a Ciência e a Tecnologia, Financiamento Base 2008 - ISFL/1/209. Fundação para a Ciência e a Tecnologia, grant SFRH/BPD/35000/2007; Marie Curie grant
PIEF-GA-2010-272021The first author was supported by Fundação para a Ciência e a Tecnologia, Financiamento Base 2008 - ISFL/1/209. The second author was supported by the Fundação para a Ciência e a Tecnologia grant SFRH/BPD/35000/2007. The third author was supported by Marie Curie grant PIEF-GA-2010-272021. This work is part of the FCT project PTDC/MAT/101740/2008
Locally definable subgroups of semialgebraic groups
No full textWe prove the following instance of a conjecture stated in [P. E. Eleftheriou and Y. Peterzil, Definable quotients of locally definable groups, Selecta Math. (N.S.) 18(4) (2012) 885–903]. Let GG be an abelian semialgebraic group over a real closed field RR and let XX be a semialgebraic subset of GG. Then the group generated by XX contains a generic set and, if connected, it is divisible. More generally, the same result holds when XX is definable in any o-minimal expansion of RR which is elementarily equivalent to Ran,expℝan,exp. We observe that the above statement is equivalent to saying: there exists an mm such that Σmi=1(X−X)Σi=1m(X−X) is an approximate subgroup of GG.MTM2014-59178-P, MTM2017-82105-P and Grupos UCM 910444.Depto. de Álgebra, Geometría y TopologíaFac. de InformáticaTRUEpu
Novel 2-amino-5-benzylidenethiazol-4-one derivatives with SHP-2 inhibitory action. Potent drugs for the treatment patients with Noonan Syndrome and high tendency for leukemia.
No full textNovel benzo[d]thiazolimino–5–aryliden–4-thiazolidinones as cycloxygenase/lipoxygenase and matrix metalloproteinase inhibitors. Estimation of structure–activity relationship.
No full textAuthor-wise bibliometric analysis based on entropy.
No full textAuthor-wise bibliometric analysis based on entropy.</p
An SRAM-Based Multibit In-Memory Matrix-Vector Multiplier with a Precision That Scales Linearly in Area, Time, and Power
No full textA novel interleaved switched-capacitor and SRAM-based multibit matrix-vector multiply-accumulate engine for in-memory computing is presented. Its operation principle is based on first converting an SRAM-stored n-bit weight into a proportional voltage using a pipeline D/A converter built from equally sized stages. A switched-capacitor stage then multiplies these voltages with an m-bit digital input activation. Finally, the output voltages that correspond to the different multiplication results are accumulated along one column by means of charge-sharing. With our proposed architecture, the required circuit area, computation time, and power consumption scale linearly versus the bit resolution of both the inputs and the weights. Analytical formulas are presented for the energy consumption in both capacitors and switches. Moreover, the impact of fabrication mismatch on analog computation accuracy is examined. The full system architecture is described, and the feasibility is demonstrated, via a full macroimplementation study in 14 nm, detailing area and energy consumption, as well as the overall latency. Finally, a specific design of a -bit weight and 6-bit input signed matrix-vector multiplication accelerator system in 14 nm is presented, which runs at 2.43 TOP/s at an efficiency of 16.94 TOP/s/W, while using the nominal supply voltage of 0.8 V. If the operands' precision is considered in the metric, then the efficiency becomes 609.7 TOP/s/W
Going Beyond Counting First Authors in Author Co-citation Analysis
No full textThe present study examines one of the fundamental aspects of author co-citation analysis (ACA) - the way co-citation
counts are defined. Co-citation counting provides the data on which all subsequent statistical analyses and mappings
are based, and we compare ACA results based on two different types of co-citation counting - the traditional type that
only counts the first one among a cited work's authors on the one hand and a non-traditional type that takes into
account the first 5 authors of a cited work on the other hand. Results indicate that the picture produced through this non-traditional author co-citation counting contains more coherent author groups and is therefore considerably clearer. However, this picture represents fewer specialties in the research field being studied than that produced through the traditional first-author co-citation counting when the same number of top-ranked authors is selected and analyzed. Reasons for these effects are discussed
Takayasu arteritis in childhood: retrospective experience from a tertiary referral centre in the United Kingdom.
No full textTakayasu arteritis (TA) is an idiopathic large-vessel vasculitis affecting the aorta and its major branches. Although the disease rarely affects children, it does occur, even in infants. The objective of this study was to evaluate the clinical features, disease activity, treatment and outcome of childhood TA in a tertiary UK centre
Appropriate Similarity Measures for Author Cocitation Analysis
No full textWe provide a number of new insights into the methodological discussion about author cocitation analysis. We first argue that the use of the Pearson correlation for measuring the similarity between authors’ cocitation profiles is not very satisfactory. We then discuss what kind of similarity measures may be used as an alternative to the Pearson correlation. We consider three similarity measures in particular. One is the well-known cosine. The other two similarity measures have not been used before in the bibliometric literature. Finally, we show by means of an example that our findings have a high practical relevance.information science;Pearson correlation;cosine;similarity measure;author cocitation analysis
- …
