For control nets outlining a large class of topological polyhedra, not just tensor-product grids, bi-cubic polyhedral splines form a piecewise polynomial, first-order differentiable space that associates one function with each vertex. Akin to tensor-product splines, the resulting smooth surface approximates the polyhedron. Admissible polyhedral control nets consist of quadrilateral faces in a grid-like layout, star-configuration where n ≠ 4 quadrilateral faces join around an interior vertex, n -gon configurations, where 2n quadrilaterals surround an n -gon, polar configurations where a cone of n triangles meeting at a vertex is surrounded by a ribbon of n quadrilaterals, and three types of T-junctions where two quad-strips merge into one. The bi-cubic pieces of a polyhedral spline have matching derivatives along their break lines, possibly after a known change of variables. The pieces are represented in Bernstein-Bézier form with coefficients depending linearly on the polyhedral control net, so that evaluation, differentiation, integration, moments, and so on, are no more costly than for standard tensor-product splines. Bi-cubic polyhedral splines can be used both to model geometry and for computing functions on the geometry. Although polyhedral splines do not offer nested refinement by refinement of the control net, polyhedral splines support engineering analysis of curved smooth objects. Coarse nets typically suffice since the splines efficiently model curved features. Algorithm 1032 is a C++ library with input-output example pairs and an IGES output choice.
In this paper, several generalizations of the classical Halpern-Läuchli Theorem are proven for Marczewski and Ellentuck structures using only combinatorial methods.
In this note we show through infinitary derivations that each provably well-founded strict partial order in ${\rm ACA}_{0}$ admits an embedding to an ordinal$<\varepsilon_{0}$.
La fotografía de prensa como vehículo de memoria por <strong> Trinidad Buffo </strong> De las fotografías que circularon en el pasado, sólo algunas perduraron y llegaron a nuestro presente donde pareciera reinar la novedad y el instante.
El talento humano constituye un factor fundamental para el desarrollo de la institucionalidad venezolana, ya que interviene de manera directa en el seguimiento a las políticas de un sistema de gobierno y que incide en la gestión pública. Se hace necesario políticas que transfiguren la gestión del personal desde la formalidad institucional enmarcada en el proceso social de trabajo, para responder a las demandas de las comunidades, resulta una tarea obligada la elaboración y ejecución de modelos organizacionales que respondan a la gestión de talento humano de una manera integrada, sistémica y estrechamente vinculada entre las necesidades colectivas de desarrollo y las individuales de crecimiento, para lograr mejores profesionales formados bajo este paradigma de gestión emergente, contribuyendo a satisfacer las necesidades como motor en la administración y distribución de los recursos del estado y que se determinen por la capacidad de respuesta de los entes que conduzca hacia el desarrollo.
In Philosophy of Biology, but also in Philosophy of Mind, in Ethics, in Epistemology, and even in Aesthetics, the term naturalization is usually used in two different ways. It is often used in a meta-philosophical sense to indicate a way for doing philosophy that, in some way, would approximate this reflection to scientific research. But it is also often used in a meta-theoretical sense. In that case, it is used to characterize an explanatory operation proper to science. Sometimes, this scientific operation consists of explaining, in natural science terms, what was previously explained by recourse to the supernatural. Other times, this explanatory operation would result in a biological explanation of what, up to that moment, was explained above in terms of the Social Sciences. In the first situation, the natural is understood as the opposite of the supernatural; and science seeks to advance on that domain, producing cognitive progress. In the second situation, the natural is understood as the opposite of the secular; and Biology advances on that sphere, but not without running the risk of operating as an ideology capable of legitimating unjust and avoidable inequalities. This does not necessarily have to be so, but thought must guard against that risk.