Search results for "arithmetic"

Estudio transversal de medición de la composición corporal en pacientes con cáncer mediante antropometría y técnicas de imagen médica

2019

Introducción: Analizar la composición corporal tanto mediante técnicas antropométricas y parámetros bioquímicos clásicos, como mediante técnicas modernas utilizando tomografía computarizada (TC), en pacientes oncológicos antes de iniciar el tratamiento con radioterapia.Metodología: Se analizaron de forma retrospectiva 22 pacientes con diversos tumores del aparato digestivo, que fueron sometidos al TC de planificación antes de iniciar el tratamiento con radioterapia, y que disponían de un corte axial en la tercera vértebra lumbar. Para analizar la composición corporal, se determinaron tanto parámetros antropométricos y bioquímicos clásicos, como la determinación de la masa muscular mediante …

Taçilgat taŋmi: ǝlǝkǝsipti ǝwǝdi taŋiwun

1932

The Hybrid Block as Urban Form

2018

The Hybrid Block as Urban Form Javier Pérez Igualada Escuela Técnica Superior de Arquitectura, Universitat Politécnica de València. Camino de Vera, s/n. 46022 Valencia. E-mail: jperezi@urb.pv.es Keywords: Hybrid Block, Urban Form, Mixed Use Buildings, Open Planning Conference topics and scale: Urban form and social use of space     In this paper we analyze the hybrid block as an urban form of synthesis, in which the open order of modern urbanism is superimposed on the closed order of traditional urbanism. In this model, proposed for the first time by Hilberseimer in his 1927 Vertical City, housing and work are not separated but overlapping on mixed-use buildings, where the dwellings are loc…

Two-variable First-Order Logic with Counting in Forests

2018

We consider an extension of two-variable, first-order logic with counting quantifiers and arbitrarily many unary and binary predicates, in which one distinguished predicate is interpreted as the mother-daughter relation in an unranked forest. We show that both the finite satisfiability and the general satisfiability problems for the extended logic are decidable in NExpTime. We also show that the decision procedure for finite satisfiability can be extended to the logic where two distinguished predicates are interpreted as the mother-daughter relations in two independent forests.

The ACM property for unions of lines in P1×P2

2021

This paper examines the Arithmetically Cohen-Macaulay (ACM) property for certain codimension 2 varieties in P1×P2 called sets of lines in P1×P2 (not necessarily reduced). We discuss some obstacles to finding a general characterization. We then consider certain classes of such curves, and we address two questions. First, when are they themselves ACM? Second, in a non-ACM reduced configuration, is it possible to replace one component of a primary (prime) decomposition by a suitable power (i.e. to “fatten” one line) to make the resulting scheme ACM? Finally, for our classes of such curves, we characterize the locally Cohen-Macaulay property in combinatorial terms by introducing the definition …

When WORDS with Higher-frequency Neighbours Become Words with No Higher-frequency Neighbour (Or How to Undress the Neighbourhood Frequency Effect)

2000

Abstract “SATOR AREPO TENET OPERA ROTAS” (The ploughman, with his plough, manages the work) The influence of lexical similarity on word recognition has been discussed not only because of its theoretical impact but also because it is difficult to replicate. Among the multiplicity of the causes of this inconsistency one reason can be that different words were used in comparing words with higher-frequency neighbours (HFN) and words without HFN. In this experiment we chose French words for which the neighbourhood changes when they are written in UPPER case or in lower case. For example ‘DEFI’ has one HFN (‘DEMI’) but when it is displayed in lower case ‘defi’ has no HFN because ‘demi’ has no acc…

Counting and rapid naming predict the fluency of arithmetic and reading skills

2016

Understanding of the factors that underlie the development of fluency in reading and arithmetic is limited. This longitudinal study examined whether verbal counting and rapid automatized naming (RAN) were predictors of arithmetic and reading fluency in a population-based sample and to what extent related early emerging cognitive abilities and socioeconomic background accounted for the predictive power of counting and RAN. In addition, in order to examine the uniqueness of counting as a numerical predictor of reading fluency, the influence of another early number skill—number concept—was controlled. Three hundred and seventy-eight Finnish children were followed from kindergarten to Grade 3 (…

PTNet: An efficient and green data center network

2017

International audience; In recent years, data centers have witnessed an exponential growth for hosting hundreds of thousands of servers as well as to accommodating a very large demand for resources. To fulfill the required level of demand, some approaches tackled network aspects so to host a huge number of servers while others focused on delivering rapid services to the clients by minimizing the path length between any two servers. In general, network devices are often designed to achieve 1:1 oversubscription. Alternatively, in a realistic data center environment, the average utilization of a network could vary between 5% and 25%, and thus the energy consumed by idle devices is wasted. This…

Extending CSG with projections: Towards formally certified geometric modeling

2015

We extend traditional Constructive Solid Geometry (CSG) trees to support the projection operator. Existing algorithms in the literature prove various topological properties of CSG sets. Our extension readily allows these algorithms to work on a greater variety of sets, in particular parametric sets, which are extensively used in CAD/CAM systems. Constructive Solid Geometry allows for algebraic representation which makes it easy for certification tools to apply. A geometric primitive may be defined in terms of a characteristic function, which can be seen as the zero-set of a corresponding system along with inequality constraints. To handle projections, we exploit the Disjunctive Normal Form,…

Individuality in the Early Number Skill Components Underlying Basic Arithmetic Skills

2018