Do Cognitive and behavioral assessments of executive functions measure the same concept in children born very preterm?

Aims: This study investigated whether children aged between 8 - 12 years born very preterm (VPT) and/or at very low birth weight (VLBW) performed lower than same-aged term-born controls in cognitive and behavioral aspects of three executive functions: inhibition, working memory, and shifting. Special attention was given to sex differences. Methods: Fifty-two VPT/VLBW children (26 girls) born in the cohort of 1998–2003 at the Children’s University Hospital in Bern, Switzerland, and 36 same-aged term-born controls (18 girls) were recruited. As cognitive measures, children completed tasks of inhibition (Colour-Word Interference Test, D-KEFS), working memory (digit span backwards, WISC-IV) and shifting (Trail Making Test, number-letter switching, D-KEFS). As behavioral measures, mothers completed the Behavior Rating Inventory of Executive Function (BRIEF), assessing executive functions in everyday life.

Repeated electrical stimulations as a tool to evoke temporal summation of nociceptive inputs in healthy, non-medicated experimental sheep.

The nociceptive withdrawal reflex (NWR) model is used in animal pain research to quantify nociception. The aim of this study was to evaluate the NWR evoked by repeated stimulations in healthy, non-medicated standing sheep. Repeated electrical stimulations were applied at 5Hz for 2s to the digital nerves of the right thoracic and the pelvic limbs of 25 standing sheep. The stimulation intensities applied were fractions (0.5, 0.6, 0.7, 0.8, 0.9 and 1) of the individual previously determined nociceptive threshold (It) after single stimulation. Surface-electromyographic activity (EMG) was recorded from the deltoid, the femoral biceps or the peroneus tertius muscles. The repeated stimulation threshold (RS It) was reached if at least one stimulus in the train was followed by a reflex with a minimal root-mean-square-amplitude (RMSA) of 20μV. The behavioural reaction following each series of stimulations was scored on a scale from 0 (no reaction) to 5 (vigorous whole-body reaction). For the deltoid muscle, RS It was 2.3mA (1.6-3mA) with a reaction score of 2 (1-2) and at a fraction of 0.6 (0.5-0.8)×It. For the biceps femoris muscle, RS It was 2.9mA (2.6-4mA) with a reaction score of 1 (1-2) at a fraction of and 0.55 (0.4-0.7)×It while for the peroneus tertius muscle RS It was 3mA (2.8-3.5mA) with a reaction score of 1 (1-2) and at a fraction of 0.8 (0.8-0.95)×It. Both, RMSA and reaction scores increased significantly with increasing stimulation intensities in all muscles (p<0.001). The repeated application of electrical stimuli led to temporal summation of nociceptive inputs and therefore a reduction of the stimulus intensity evoking a withdrawal reaction in healthy, standing sheep. Data achieved in this study can now serve as reference for further clinical or experimental applications of the model in this species.

Sheaf representations of MV-algebras and lattice-ordered abelian groups via duality

We study representations of MV-algebras -- equivalently, unital lattice-ordered abelian groups -- through the lens of Stone-Priestley duality, using canonical extensions as an essential tool. Specifically, the theory of canonical extensions implies that the (Stone-Priestley) dual spaces of MV-algebras carry the structure of topological partial commutative ordered semigroups. We use this structure to obtain two different decompositions of such spaces, one indexed over the prime MV-spectrum, the other over the maximal MV-spectrum. These decompositions yield sheaf representations of MV-algebras, using a new and purely duality-theoretic result that relates certain sheaf representations of distributive lattices to decompositions of their dual spaces. Importantly, the proofs of the MV-algebraic representation theorems that we obtain in this way are distinguished from the existing work on this topic by the following features: (1) we use only basic algebraic facts about MV-algebras; (2) we show that the two aforementioned sheaf representations are special cases of a common result, with potential for generalizations; and (3) we show that these results are strongly related to the structure of the Stone-Priestley duals of MV-algebras. In addition, using our analysis of these decompositions, we prove that MV-algebras with isomorphic underlying lattices have homeomorphic maximal MV-spectra. This result is an MV-algebraic generalization of a classical theorem by Kaplansky stating that two compact Hausdorff spaces are homeomorphic if, and only if, the lattices of continuous [0, 1]-valued functions on the spaces are isomorphic.

Real-Time RT-PCR for the Detection of Lyssavirus Species

The causative agents of rabies are single-stranded, negative-sense RNA viruses in the genus Lyssavirus of Rhabdoviridae, consisting of twelve classified and three as yet unclassified species including classical rabies virus (RABV). Highly neurotropic RABV causes rapidly progressive encephalomyelitis with nearly invariable fatal outcome. Rapid and reliable diagnosis of rabies is highly relevant for public and veterinary health. Due to growing variety of the genus Lyssavirus observed, the development of suitable molecular assays for diagnosis and differentiation is challenging. This work focused on the establishment of a suitable real-time RT-PCR technique for rabies diagnosis as a complement to fluorescent antibody test and rabies tissue culture infection test as gold standard for diagnosis and confirmation. The real-time RT-PCR was adapted with the goal to detect the whole spectrum of lyssavirus species, for nine of which synthesized DNA fragments were used. For the detection of species, seven probes were developed. Serial dilutions of the rabies virus strain CVS-11 showed a 100-fold higher sensitivity of real-time PCR compared to heminested RT-PCR. Using a panel of thirty-one lyssaviruses representing four species, the suitability of the protocol could be shown. Phylogenetic analysis of the sequences obtained by heminested PCR allowed correct classification of all viruses used.

Stimulation of monocytes by placental microparticles involves toll-like receptors and nuclear factor kappa-light-chain-enhancer of activated B cells.

Human pregnancy is accompanied by a mild systemic inflammatory response, which includes the activation of monocytes circulating in maternal blood. This response is exaggerated in preeclampsia, a placental-dependent disorder specific to human pregnancies. We and others showed that placental syncytiotrophoblast membrane microparticles (STBM) generated in vitro from normal placentas stimulated peripheral blood monocytes, which suggest a contribution of STBM to the systemic maternal inflammation. Here, we analyzed the inflammatory potential of STBM prepared from preeclamptic placentas on primary monocytes and investigated the mode of action in vitro. STBM generated in vitro by placental villous explants of normal or preeclamptic placentas were co-incubated with human peripheral blood monocytes. In some cases, inhibitors of specific cellular functions or signaling pathways were used. The analysis of the monocytic response was performed by flow cytometry, enzyme-linked immunoassays, real-time PCR, and fluorescence microscopy. STBM derived from preeclamptic placentas up-regulated the cell surface expression of CD54, and stimulated the secretion of the pro-inflammatory interleukin (IL)-6 and IL-8 in a similar, dose-dependent manner as did STBM prepared from normal placentas. STBM bound to the cell surface of monocytes, but phagocytosis was not necessary for activation. STBM-induced cytokine secretion was impaired in the presence of inhibitors of toll-like receptor (TLR) signaling or when nuclear factor kappa-light-chain-enhancer of activated B cells (NF-κB) activation was blocked. Our results suggest that the inflammatory reaction in monocytes may be initiated by the interaction of STBM with TLRs, which in turn signal through NF-κB to mediate the transcription of genes coding for pro-inflammatory factors.

COMMUNITY-FOCUSED FUNCTIONS IN PUBLIC HEALTH NURSING: A COMPARISON OF PERCEPTIONS

This descriptive cross-sectional survey compared the perceptions of public health nursing practitioners, educators and administrators along two dimensions: the importance of community-focused functions in public health nursing and which occupational categories in public health are responsible for those functions. More than 50 percent of the mailed questionnaires that were sent to a systematic stratified nationwide sample of public health nurses were returned. In general, respondents: were female, were in their 40s, received their basic nursing education in baccalaureate programs, had either a baccalaureate or a master's degree, worked in official agencies or schools, and had approximately 14 years of experience in public health with six in their present position.^ Significant differences between practitioners, educators and administrators were found in their perceptions of both the importance of community-focused functions in public health nursing and in which occupational category they indicated as having the major responsibility to perform those functions. Educators and administrators perceived community-focused functions as more important than did practitioners. Overall the occupational category of administrator was indicated as having the major responsibility for performing community-focused functions.^

A study in the molecular and cellular functions of GSK3beta in prostate adenocarcinoma

Kinases are part of a complex network of signaling pathways that enable a cell to respond to changes in environmental conditions in a regulated and coordinated way. For example, Glycogen Synthase Kinase 3 beta (GSK3β) modulates conformational changes, protein-protein interaction, protein degradation, and activation of unique domains in proteins that transduce signals from the extracellular milieu to the nucleus. ^ In this project, I investigated the expression and function that GSK3β exhibits in prostate cells. The capacity of GSK3β to regulate two transcription factors (JUN and CREB), which are known to be inversely utilized in prostate tumor cells, was measured. JUN/AP1 is constitutively activated in PC-3 cells; whereas, CREB/CRE activity is ∼20 fold less than the former. GSK3β overexpression obliterates JUN/AP1 activity. With respect to CREB GSK3β increases CREB/CRE activity. Cellular levels of active GSK3β can determine whether JUN or CREB is preferentially active in the PC-3s. Theoretically, in response to a particular cellular context or stimulus, a cell may coordinate JUN and CREB function by regulating GSK3β.^ A comparison of various prostate cell lines showed that active GSK3β is less expressed in normal prostate epithelial cells than in tumor cells. Differentially expressed active (GSK3β) may correlate with progression of prostate carcinoma. If a known marker associated with carcinoma of the prostate could be shown to be regulated by GSK3β then, further study of GSK3β may lead to a better understanding of both possible prevention of the disease and improved therapy for advanced stages. ^ The androgen receptor (AR) is an intriguing phosphoprotein whose regulation is potentially determined by a variety of kinases. One of these is (GSK3β) I found that (GSK3β) is a regulator of the androgen receptor in both the unliganded and liganded states. It can inhibit AR function as measured by reporter assays. Also, GSK3β associates with the AR at the DNA binding domain because deletion constructs expressing either the n-terminus or the c-terminus (both having the DBD in common) immunoprecipitated with GSK3β. Increased understanding of how GSK3β functions in prostate cancer would provide clues into how (1) certain signal pathways are coordinated and (2) the androgen receptor may be regulated. ^

GENOME-WIDE PROFILING UNVEILS CRITICIAL FUNCTIONS OF p53 IN HUMAN EMBRYONIC STEM CELLS

Embryonic stem cells (ESCs) possess two unique characteristics: infinite self-renewal and the potential to differentiate into almost every cell type (pluripotency). Recently, global expression analyses of metastatic breast and lung cancers revealed an ESC-like expression program or signature, specifically for cancers that are mutant for p53 function. Surprisingly, although p53 is widely recognized as the guardian of the genome, due to its roles in cell cycle checkpoints, programmed cell death or senescence, relatively little is known about p53 functions in normal cells, especially in ESCs. My hypothesis is that p53 has specific transcription regulatory functions in human ESCs (hESCs) that a) oppose pluripotency and b) protect the stem cell genome in response to DNA damage and stress signaling. In mouse ESCs, these roles are believed to coincide, as p53 promotes differentiation in response to DNA damage, but this is unexplored in hESCs. To determine the biological roles of p53, specifically in hESCs, we mapped genome-wide chromatin interactions of p53 by chromatin immunoprecipitation and massively parallel tag sequencing (ChIP-Seq), and did so under three VIdifferent conditions of hESC status: pluripotency, differentiation-initiated and DNA-damage-induced. ChIP-Seq showed that p53 is enriched at distinct, induction-specific gene loci during each of these different conditions. Microarray gene expression analysis and functional annotation of the distinct p53-target genes revealed that p53 regulates specific genes encoding developmental regulators, which are expressed in differentiation-initiated but not DNA- damaged hESCs. We further discovered that, in response to differentiation signaling, p53 binds regions of chromatin that are repressed but also poised for rapid activation by core pluripotency factors OCT4 and NANOG in pluripotent hESCs. In response to DNA damage, genes associated with migration and motility are targeted by p53; whereas, the prime targets of p53 in control of cell death are conserved for p53 regulation in both differentiation and DNA damage. Our genome-wide profiling and bioinformatics analyses show that p53 occupies a special set of developmental regulatory genes during early differentiation of hESCs and functions in an induction-specific manner. In conclusion, our research unveiled previously unknown functions of p53 in ESC biology, which augments our understanding of one of the most deregulated proteins in human cancers.

The emission reduction effect and economic impact of an energy tax vs. a carbon tax in China : a dynamic CGE model analysis

Chinese government commits to reach its peak carbon emissions before 2030, which requires China to implement new policies. Using a CGE model, this study conducts simulation studies on the functions of an energy tax and a carbon tax and analyzes their effects on macro-economic indices. The Chinese economy is affected at an acceptable level by the two taxes. GDP will lose less than 0.8% with a carbon tax of 100, 50, or 10 RMB/ton CO2 or 5% of the delivery price of an energy tax. Thus, the loss of real disposable personal income is smaller. Compared with implementing a single tax, a combined carbon and energy tax induces more emission reductions with relatively smaller economic costs. With these taxes, the domestic competitiveness of energy intensive industries is improved. Additionally, we found that the sooner such taxes are launched, the smaller the economic costs and the more significant the achieved emission reductions.

Valuation of a new entrant in an oligopolistic market, including its option to abandon: A real-life case

The purpose of this paper is to increase current empirical evidence on the relevance of real options for explaining firm investment decisions in oligopolistic markets. We study an actual investment case in the Spanish mobile telephony industry, the entrant in the market of a new operator, Yoigo. We analyze the option to abandon in order to show the relevance of the possibility of selling the company in an oligopolistic market where competitors are not allowed free entrance. The NPV (net present value) of the new entrant is calculated as a starting point. Then, based on the general approach proposed by Copeland and Antikarov (2001), a binomial tree is used to model managerial flexibility in discrete time periods, and value the option to abandon. The strike price of the option is calculated based on incremental EBITDA margins due to selling customers or merging with a competitor.

An Interval-based Multiobjective Approach to Feature Subset Selection Using Joint Modeling of Objectives and Variables

This paper studies feature subset selection in classification using a multiobjective estimation of distribution algorithm. We consider six functions, namely area under ROC curve, sensitivity, specificity, precision, F1 measure and Brier score, for evaluation of feature subsets and as the objectives of the problem. One of the characteristics of these objective functions is the existence of noise in their values that should be appropriately handled during optimization. Our proposed algorithm consists of two major techniques which are specially designed for the feature subset selection problem. The first one is a solution ranking method based on interval values to handle the noise in the objectives of this problem. The second one is a model estimation method for learning a joint probabilistic model of objectives and variables which is used to generate new solutions and advance through the search space. To simplify model estimation, l1 regularized regression is used to select a subset of problem variables before model learning. The proposed algorithm is compared with a well-known ranking method for interval-valued objectives and a standard multiobjective genetic algorithm. Particularly, the effects of the two new techniques are experimentally investigated. The experimental results show that the proposed algorithm is able to obtain comparable or better performance on the tested datasets.

Grid-based histogram arithmetic for the probabilistic analysis of functions

The selection of predefined analytic grids (partitions of the numeric ranges) to represent input and output functions as histograms has been proposed as a mechanism of approximation in order to control the tradeoff between accuracy and computation times in several áreas ranging from simulation to constraint solving. In particular, the application of interval methods for probabilistic function characterization has been shown to have advantages over other methods based on the simulation of random samples. However, standard interval arithmetic has always been used for the computation steps. In this paper, we introduce an alternative approximate arithmetic aimed at controlling the cost of the interval operations. Its distinctive feature is that grids are taken into account by the operators. We apply the technique in the context of probability density functions in order to improve the accuracy of the probability estimates. Results show that this approach has advantages over existing approaches in some particular situations, although computation times tend to increase significantly when analyzing large functions.

Simulación en tiempo real de vehículos industriales con modelos multicuerpo de gran complejidad

El objetivo de esta Tesis ha sido la consecución de simulaciones en tiempo real de vehículos industriales modelizados como sistemas multicuerpo complejos formados por sólidos rígidos. Para el desarrollo de un programa de simulación deben considerarse cuatro aspectos fundamentales: la modelización del sistema multicuerpo (tipos de coordenadas, pares ideales o impuestos mediante fuerzas), la formulación a utilizar para plantear las ecuaciones diferenciales del movimiento (coordenadas dependientes o independientes, métodos globales o topológicos, forma de imponer las ecuaciones de restricción), el método de integración numérica para resolver estas ecuaciones en el tiempo (integradores explícitos o implícitos) y finalmente los detalles de la implementación realizada (lenguaje de programación, librerías matemáticas, técnicas de paralelización). Estas cuatro etapas están interrelacionadas entre sí y todas han formado parte de este trabajo. Desde la generación de modelos de una furgoneta y de camión con semirremolque, el uso de tres formulaciones dinámicas diferentes, la integración de las ecuaciones diferenciales del movimiento mediante métodos explícitos e implícitos, hasta el uso de funciones BLAS, de técnicas de matrices sparse y la introducción de paralelización para utilizar los distintos núcleos del procesador. El trabajo presentado en esta Tesis ha sido organizado en 8 capítulos, dedicándose el primero de ellos a la Introducción. En el Capítulo 2 se presentan dos formulaciones semirrecursivas diferentes, de las cuales la primera está basada en una doble transformación de velocidades, obteniéndose las ecuaciones diferenciales del movimiento en función de las aceleraciones relativas independientes. La integración numérica de estas ecuaciones se ha realizado con el método de Runge-Kutta explícito de cuarto orden. La segunda formulación está basada en coordenadas relativas dependientes, imponiendo las restricciones por medio de penalizadores en posición y corrigiendo las velocidades y aceleraciones mediante métodos de proyección. En este segundo caso la integración de las ecuaciones del movimiento se ha llevado a cabo mediante el integrador implícito HHT (Hilber, Hughes and Taylor), perteneciente a la familia de integradores estructurales de Newmark. En el Capítulo 3 se introduce la tercera formulación utilizada en esta Tesis. En este caso las uniones entre los sólidos del sistema se ha realizado mediante uniones flexibles, lo que obliga a imponer los pares por medio de fuerzas. Este tipo de uniones impide trabajar con coordenadas relativas, por lo que la posición del sistema y el planteamiento de las ecuaciones del movimiento se ha realizado utilizando coordenadas Cartesianas y parámetros de Euler. En esta formulación global se introducen las restricciones mediante fuerzas (con un planteamiento similar al de los penalizadores) y la estabilización del proceso de integración numérica se realiza también mediante proyecciones de velocidades y aceleraciones. En el Capítulo 4 se presenta una revisión de las principales herramientas y estrategias utilizadas para aumentar la eficiencia de las implementaciones de los distintos algoritmos. En primer lugar se incluye una serie de consideraciones básicas para aumentar la eficiencia numérica de las implementaciones. A continuación se mencionan las principales características de los analizadores de códigos utilizados y también las librerías matemáticas utilizadas para resolver los problemas de álgebra lineal tanto con matrices densas como sparse. Por último se desarrolla con un cierto detalle el tema de la paralelización en los actuales procesadores de varios núcleos, describiendo para ello el patrón empleado y las características más importantes de las dos herramientas propuestas, OpenMP y las TBB de Intel. Hay que señalar que las características de los sistemas multicuerpo problemas de pequeño tamaño, frecuente uso de la recursividad, y repetición intensiva en el tiempo de los cálculos con fuerte dependencia de los resultados anteriores dificultan extraordinariamente el uso de técnicas de paralelización frente a otras áreas de la mecánica computacional, tales como por ejemplo el cálculo por elementos finitos. Basándose en los conceptos mencionados en el Capítulo 4, el Capítulo 5 está dividido en tres secciones, una para cada formulación propuesta en esta Tesis. En cada una de estas secciones se describen los detalles de cómo se han realizado las distintas implementaciones propuestas para cada algoritmo y qué herramientas se han utilizado para ello. En la primera sección se muestra el uso de librerías numéricas para matrices densas y sparse en la formulación topológica semirrecursiva basada en la doble transformación de velocidades. En la segunda se describe la utilización de paralelización mediante OpenMP y TBB en la formulación semirrecursiva con penalizadores y proyecciones. Por último, se describe el uso de técnicas de matrices sparse y paralelización en la formulación global con uniones flexibles y parámetros de Euler. El Capítulo 6 describe los resultados alcanzados mediante las formulaciones e implementaciones descritas previamente. Este capítulo comienza con una descripción de la modelización y topología de los dos vehículos estudiados. El primer modelo es un vehículo de dos ejes del tipo chasis-cabina o furgoneta, perteneciente a la gama de vehículos de carga medianos. El segundo es un vehículo de cinco ejes que responde al modelo de un camión o cabina con semirremolque, perteneciente a la categoría de vehículos industriales pesados. En este capítulo además se realiza un estudio comparativo entre las simulaciones de estos vehículos con cada una de las formulaciones utilizadas y se presentan de modo cuantitativo los efectos de las mejoras alcanzadas con las distintas estrategias propuestas en esta Tesis. Con objeto de extraer conclusiones más fácilmente y para evaluar de un modo más objetivo las mejoras introducidas en la Tesis, todos los resultados de este capítulo se han obtenido con el mismo computador, que era el top de la gama Intel Xeon en 2007, pero que hoy día está ya algo obsoleto. Por último los Capítulos 7 y 8 están dedicados a las conclusiones finales y las futuras líneas de investigación que pueden derivar del trabajo realizado en esta Tesis. Los objetivos de realizar simulaciones en tiempo real de vehículos industriales de gran complejidad han sido alcanzados con varias de las formulaciones e implementaciones desarrolladas. ABSTRACT The objective of this Dissertation has been the achievement of real time simulations of industrial vehicles modeled as complex multibody systems made up by rigid bodies. For the development of a simulation program, four main aspects must be considered: the modeling of the multibody system (types of coordinates, ideal joints or imposed by means of forces), the formulation to be used to set the differential equations of motion (dependent or independent coordinates, global or topological methods, ways to impose constraints equations), the method of numerical integration to solve these equations in time (explicit or implicit integrators) and the details of the implementation carried out (programming language, mathematical libraries, parallelization techniques). These four stages are interrelated and all of them are part of this work. They involve the generation of models for a van and a semitrailer truck, the use of three different dynamic formulations, the integration of differential equations of motion through explicit and implicit methods, the use of BLAS functions and sparse matrix techniques, and the introduction of parallelization to use the different processor cores. The work presented in this Dissertation has been structured in eight chapters, the first of them being the Introduction. In Chapter 2, two different semi-recursive formulations are shown, of which the first one is based on a double velocity transformation, thus getting the differential equations of motion as a function of the independent relative accelerations. The numerical integration of these equations has been made with the Runge-Kutta explicit method of fourth order. The second formulation is based on dependent relative coordinates, imposing the constraints by means of position penalty coefficients and correcting the velocities and accelerations by projection methods. In this second case, the integration of the motion equations has been carried out by means of the HHT implicit integrator (Hilber, Hughes and Taylor), which belongs to the Newmark structural integrators family. In Chapter 3, the third formulation used in this Dissertation is presented. In this case, the joints between the bodies of the system have been considered as flexible joints, with forces used to impose the joint conditions. This kind of union hinders to work with relative coordinates, so the position of the system bodies and the setting of the equations of motion have been carried out using Cartesian coordinates and Euler parameters. In this global formulation, constraints are introduced through forces (with a similar approach to the penalty coefficients) are presented. The stabilization of the numerical integration is carried out also by velocity and accelerations projections. In Chapter 4, a revision of the main computer tools and strategies used to increase the efficiency of the implementations of the algorithms is presented. First of all, some basic considerations to increase the numerical efficiency of the implementations are included. Then the main characteristics of the code’ analyzers used and also the mathematical libraries used to solve linear algebra problems (both with dense and sparse matrices) are mentioned. Finally, the topic of parallelization in current multicore processors is developed thoroughly. For that, the pattern used and the most important characteristics of the tools proposed, OpenMP and Intel TBB, are described. It needs to be highlighted that the characteristics of multibody systems small size problems, frequent recursion use and intensive repetition along the time of the calculation with high dependencies of the previous results complicate extraordinarily the use of parallelization techniques against other computational mechanics areas, as the finite elements computation. Based on the concepts mentioned in Chapter 4, Chapter 5 is divided into three sections, one for each formulation proposed in this Dissertation. In each one of these sections, the details of how these different proposed implementations have been made for each algorithm and which tools have been used are described. In the first section, it is shown the use of numerical libraries for dense and sparse matrices in the semirecursive topological formulation based in the double velocity transformation. In the second one, the use of parallelization by means OpenMP and TBB is depicted in the semi-recursive formulation with penalization and projections. Lastly, the use of sparse matrices and parallelization techniques is described in the global formulation with flexible joints and Euler parameters. Chapter 6 depicts the achieved results through the formulations and implementations previously described. This chapter starts with a description of the modeling and topology of the two vehicles studied. The first model is a two-axle chassis-cabin or van like vehicle, which belongs to the range of medium charge vehicles. The second one is a five-axle vehicle belonging to the truck or cabin semi-trailer model, belonging to the heavy industrial vehicles category. In this chapter, a comparative study is done between the simulations of these vehicles with each one of the formulations used and the improvements achieved are presented in a quantitative way with the different strategies proposed in this Dissertation. With the aim of deducing the conclusions more easily and to evaluate in a more objective way the improvements introduced in the Dissertation, all the results of this chapter have been obtained with the same computer, which was the top one among the Intel Xeon range in 2007, but which is rather obsolete today. Finally, Chapters 7 and 8 are dedicated to the final conclusions and the future research projects that can be derived from the work presented in this Dissertation. The objectives of doing real time simulations in high complex industrial vehicles have been achieved with the formulations and implementations developed.

Metrizability of spaces of holomorphic functions

In this paper we prove that if U is an open subset of a metrizable locally convex space E of infinite dimension, the space H(U) of all holomorphic functions on U, endowed with the Nachbin–Coeuré topology τδ, is not metrizable. Our result can be applied to get that, for all usual topologies, H(U) is metrizable if and only if E has finite dimension. RESUMEN. En este artículo se demuestra que si U es un abierto en un espacio E localmente convexo metrizable de dimensión infinita y H(U) es el espacio de funciones holomorfas en U, entonces la topología de Nachbin-Coeuré en H(U) no es metrizable. Este resultado se utiliza para demostrar que las topologías habituales en H(U) son metrizables si y sólo si E tiene dimensión finita.

Vector spaces of entire functions of unbounded type

Let E be an infinite dimensional complex Banach space. We prove the existence of an infinitely generated algebra, an infinite dimensional closed subspace and a dense subspace of entire functions on E whose non-zero elements are functions of unbounded type. We also show that the τδ topology on the space of all holomorphic functions cannot be obtained as a countable inductive limit of Fr´echet spaces. RESUMEN. Sea E un espacio de Banach complejo de dimensión infinita y sea H(E) el espacio de funciones holomorfas definidas en E. En el artículo se demuestra la existencia de un álgebra infinitamente generada en H(E), un subespacio vectorial en H(E) cerrado de dimensión infinita y un subespacio denso en H(E) cuyos elementos no nulos son funciones de tipo no acotado. También se demuestra que el espacio de funciones holomorfas con la topología ? no es un límite inductivo numberable de espacios de Fréchet.