Search results for "9(39)"
showing 10 items of 677 documents
La juventud estudiantil afirma sus deberes y sus derechos en la carta del estudiante del pueblo.
Dibuixos amb peu explicatiu dels sis deures i cinc drets dels estudiants, representant diversos moments de l'estudi, la companyonia juvenil, etc
Entre los campos y los hospitales: ayuda médica humanitaria a los refugiados republicanos españoles en Francia (1939-1950)
2020
Como es bien sabido, las fronteras entre los estados responden, en el mundo contemporáneo, a factores de índole militar y político, pero también a razones jurídicas y económicas. Sin embargo, a menudo se olvida que, en el marco de la consolidación de los estados-nación, las fronteras obedecen también a motivaciones de índole sanitaria, esto es, al deseo de los poderes fácticos de evitar la transmisión de enfermedades sobrevenidas procedentes de otros países, bien sea por medio de personas, animales o mercancías. La práctica de las cuarentenas y los cordones sanitarios obedece a la lógica del distanciamiento social que se establece con el fin de detener la propagación de enfermedades transmi…
Problemas educativos actuales : Introducción
2017
Emilia Elías Herrando (Madrid, 1898 – Ciudad de México 1976) fue una destacada pedagoga que trabajó en la formación del magisterio en España y México. Además de su actividad docente, tuvo una destacada labor como traductora de textos de importantes representantes de la Escuela Nueva como Deschamps, Carrier y Decroly. También estuvo afiliada a la Federación de Trabajadores de la Enseñanza (FETE) y al Partido Comunista de España (PCE). Tras la Guerra Civil se vio forzada a exiliarse a México, en donde pudo reconstruir su trayectoria profesional en instituciones normalistas y con alumnado netamente mexicanos. Completó su actividad publicando un buen número de manuales, alguno de los cuales aún…
Existence and multiplicity of solutions for Dirichlet problems involving nonlinearities with arbitrary growth.
2014
In this article we study the existence and multiplicity of solutions for the Dirichlet problem $$\displaylines{ -\Delta_p u=\lambda f(x,u)+ \mu g(x,u)\quad\hbox{in }\Omega,\cr u=0\quad\hbox{on } \partial \Omega }$$ where $\Omega$ is a bounded domain in $\mathbb{R}^N$, $f,g:\Omega \times \mathbb{R}\to \mathbb{R}$ are Caratheodory functions, and $\lambda,\mu$ are nonnegative parameters. We impose no growth condition at $\infty$ on the nonlinearities f,g. A corollary to our main result improves an existence result recently obtained by Bonanno via a critical point theorem for $C^1$ functionals which do not satisfy the usual sequential weak lower semicontinuity property.
On numerical simulation of electromagnetic field effects in the combustion process
2018
This paper deals with a simplified model taking into account the interplay of compressible, laminar, axisymmetric flow and the electrodynamical effects due to Lorentz force’s action on the combustion process in a cylindrical pipe. The combustion process with Arrhenius kinetics is modelled by a single step exothermic chemical reaction of fuel and oxidant. We analyze non-stationary PDEs with 6 unknown functions: the 3 components of velocity, density, concentration of fuel and temperature. For pressure the ideal gas law is used. For the inviscid flow approximation ADI method is used. Some numerical results are presented.
Inclusion ratio based estimator for the mean length of the boolean line segment model with an application to nanocrystalline cellulose
2014
A novel estimator for estimating the mean length of fibres is proposed for censored data observed in square shaped windows. Instead of observing the fibre lengths, we observe the ratio between the intensity estimates of minus-sampling and plus-sampling. It is well-known that both intensity estimators are biased. In the current work, we derive the ratio of these biases as a function of the mean length assuming a Boolean line segment model with exponentially distributed lengths and uniformly distributed directions. Having the observed ratio of the intensity estimators, the inverse of the derived function is suggested as a new estimator for the mean length. For this estimator, an approximation…
Plan de la victoria
El Pla es refereix a la creació d'un Exèrcit Popular Regular, les seves reserves, moral i austeritat de guerra, indústria bèl·lica, etc. A la part esquerra del text hi ha dibuixos de combatents, segadors de blat i obrers en els seus llocs de treball en la maquinària de les fàbriques de guerra
Sequentializing Parameterized Programs
2012
We exhibit assertion-preserving (reachability preserving) transformations from parameterized concurrent shared-memory programs, under a k-round scheduling of processes, to sequential programs. The salient feature of the sequential program is that it tracks the local variables of only one thread at any point, and uses only O(k) copies of shared variables (it does not use extra counters, not even one counter to keep track of the number of threads). Sequentialization is achieved using the concept of a linear interface that captures the effect an unbounded block of processes have on the shared state in a k-round schedule. Our transformation utilizes linear interfaces to sequentialize the progra…
Finite Model Reasoning in Expressive Fragments of First-Order Logic
2017
Over the past two decades several fragments of first-order logic have been identified and shown to have good computational and algorithmic properties, to a great extent as a result of appropriately describing the image of the standard translation of modal logic to first-order logic. This applies most notably to the guarded fragment, where quantifiers are appropriately relativized by atoms, and the fragment defined by restricting the number of variables to two. The aim of this talk is to review recent work concerning these fragments and their popular extensions. When presenting the material special attention is given to decision procedures for the finite satisfiability problems, as many of t…
Saying Hello World with MOLA - A Solution to the TTC 2011 Instructive Case
2011
This paper describes the solution of Hello World transformations in MOLA transformation language. Transformations implementing the task are relatively straightforward and easily inferable from the task specification. The required additional steps related to model import and export are also described.