Examinando por Materia "Computer software"
Mostrando 1 - 7 de 7
Resultados por página
Opciones de ordenación
Ítem Basic reproductive rate of a spatial epidemic model using computer algebra software(2005-01-01) Doracelly Hincapié, P.; Juan Ospina, G.; Doracelly Hincapié, P.; Juan Ospina, G.; Universidad EAFIT. Departamento de Ciencias; Lógica y ComputaciónUsing computer algebra software we obtain the basic reproductive rate corresponding to the propagation of a directly transmitted disease in a circular habitat when the disease is endemic at the boundary. The method used is the Laplace Transform Technique and calculus of residues. The results that were obtained include both the explicit form of the R0 for the boundary condition that was considered, as the explicit symbolic solution of the model equation. The method that was used can be extended to other more complex problems such as indirectly transmitted diseases with one or more intermediary hosts or effects of genetic, immunological, geographical or social heterogeneity in the human population. This application indicates that the computer algebra software for symbolic computation has a very promissory future in mathematical epidemiology.Ítem Mackendrick: A Maple Package oriented to symbolic computational epidemiology(SPRINGER, 2006-01-01) Ospina, Juan; Hincapie, Doracelly; Ospina, Juan; Hincapie, Doracelly; Universidad EAFIT. Departamento de Ciencias; Lógica y ComputaciónA Maple Package named Mackendrick is presented. Such package is oriented to symbolic computational epidemiology. © Springer-Verlag Berlin Heidelberg 2006.Ítem Probabilistic extension to the concurrent constraint factor oracle model for music improvisation(Asociacion Espanola de Inteligencia Artificial, 2016-01-01) Toro, M.; Toro, M.; Universidad EAFIT. Departamento de Ingeniería de Sistemas; I+D+I en Tecnologías de la Información y las ComunicacionesWe can program a Real-Time (RT) music improvisation system in C++ without a formal semantic or we can model it with process calculi such as the Non-deterministic Timed Concurrent Constraint (ntcc) calculus. “A Concurrent Constraints Factor Oracle (FO) model for Music Improvisation” (Ccfomi) is an improvisation model specified on ntcc. Since Ccfomi improvises non-deterministically, there is no control on choices and therefore little control over the sequence variation during the improvisation. To avoid this, we extended Ccfomi using the Probabilistic Non-deterministic Timed Concurrent Constraint calculus. Our extension to Ccfomi does not change the time and space complexity of building the FO, thus making our extension compatible with RT. However, there was not a ntcc interpreter capable of RT to execute Ccfomi. We developed Ntccrt -a RT capable interpreter for ntcc- and we executed Ccfomi on Ntccrt. In the future, we plan to extend Ntccrt to execute our extension to Ccfomi. © IBERAMIA and the authors.Ítem Solving stochastic epidemiological models using computer algebra(SPIE-INT SOC OPTICAL ENGINEERING, 2011-01-01) Hincapie, D.; Ospina, J.; Hincapie, D.; Ospina, J.; Universidad EAFIT. Departamento de Ciencias; Lógica y ComputaciónMathematical modeling in Epidemiology is an important tool to understand the ways under which the diseases are transmitted and controlled. The mathematical modeling can be implemented via deterministic or stochastic models. Deterministic models are based on short systems of non-linear ordinary differential equations and the stochastic models are based on very large systems of linear differential equations. Deterministic models admit complete, rigorous and automatic analysis of stability both local and global from which is possible to derive the algebraic expressions for the basic reproductive number and the corresponding epidemic thresholds using computer algebra software. Stochastic models are more difficult to treat and the analysis of their properties requires complicated considerations in statistical mathematics. In this work we propose to use computer algebra software with the aim to solve epidemic stochastic models such as the SIR model and the carrier-borne model. Specifically we use Maple to solve these stochastic models in the case of small groups and we obtain results that do not appear in standard textbooks or in the books updated on stochastic models in epidemiology. From our results we derive expressions which coincide with those obtained in the classical texts using advanced procedures in mathematical statistics. Our algorithms can be extended for other stochastic models in epidemiology and this shows the power of computer algebra software not only for analysis of deterministic models but also for the analysis of stochastic models. We also perform numerical simulations with our algebraic results and we made estimations for the basic parameters as the basic reproductive rate and the stochastic threshold theorem. We claim that our algorithms and results are important tools to control the diseases in a globalized world. © 2011 Copyright Society of Photo-Optical Instrumentation Engineers (SPIE).Ítem A survey on static and quasi-static finite element models of the human cervical spine(Springer-Verlag France, 2018-05-01) Suarez-Escobar M.; Rendon-Velez E.; Universidad EAFIT. Departamento de Ingeniería de Diseño; Ingeniería de Diseño (GRID)Finite element analyses are an important source of information on the biomechanical behaviour of the cervical spine; as well as an important tool in the design and evaluation of spinal instrumentation. This article presents a comprehensive survey of the finite element models of the cervical spine that have been used to study its pathological/nonpathological biomechanics under static/quasi-static loading conditions. Publications that met the inclusion criteria were analysed to extract parameters relative to model identification (e.g., spine segment, population, utility, limitations), model structure (e.g., loading/boundary conditions, anatomical structures, constitutive representation), simulation structure (e.g., software), verification (e.g., convergence) and validation (e.g., validated procedure/output, assumptions). Besides summarizing different modelling approaches with their associated parameters, this article outlines generalities and issues related to the obtainment of such models. The survey shows that authors often fail to report parameters that are critical for the reproducibility of results and that, even with fully reported parameters, these models are inherently difficult to replicate because they generally are patient-specific with their geometry based on data from in-house specimens/subjects. Overall, while the survey contributes to an understanding of the implications of following different modelling approaches and allows to take advantage of previously developed models, further research is required to improve the accuracy and utility of these models. © 2017, Springer-Verlag France SAS, part of Springer Nature.Ítem Technological tools to learn calculus(Institute of Electrical and Electronics Engineers Inc., 2015-12-02) Gómez, G.P.P.; Restrepo, C.M.Z.; Duarte, P.V.E.; Rivera, L.F.Z.; Gómez, G.P.P.; Restrepo, C.M.Z.; Duarte, P.V.E.; Rivera, L.F.Z.; Universidad EAFIT. Departamento de Ciencias; Educación Matemática e HistoriaOnline learning tools have allowed professors to carry out their classes in an interactive way, synchronic as well as asynchronic, giving them the opportunity to explore from different points of view specific themes or concepts, achieving greater dynamism in their classes through the active participation of students. This article presents the results of the implementation of an software tool for massive use designed with the objective of allowing Engineering students to strengthen their basic mathematical knowledge as well as to improve their results in courses such as Calculus I and Mathematics I. These courses are part of the first semesters of the syllabus for all undergraduate programs of the School of Engineering, and are basic courses in the formation of an engineer at Universidad EAFIT (Medellin, Colombia). This software tool for massive use allows students to self-diagnose, to solve exercises with different levels of complexity and difficulty, to visualize academic contents such as video classes and virtual resources, and to know their evolution in the understanding of basic concepts in calculus. On one hand, this facilitates the beginning of their studies at the university. On the other, it gives the professor an initial diagnose of the level students have to start the course so that continuous analytics can be performed based on the learning process of the student. Furthermore, this article shows the results of a comparative analysis done to two groups of students, a Control group and an Experimental group, that took Calculus I as part of their undergraduate studies. The experiment lasted two months with testing done at the beginning and at the end of the course. The objective was to register the level of knowledge acquired by the students and compare the differences between the two groups, control and experimental. The testing also allowed the progress of the student between tests to be measured, taking into account that the experimental group had the opportunity to explore the platform during this two-month period. Therefore, the analysis performed served to gather information useful for evaluating the effectiveness of the proposed system in the learning process of the students at the University. © 2015 IEEE.Ítem Using computer algebra for Yang-Baxterization applied to quantum computing(SPIE-INT SOC OPTICAL ENGINEERING, 2006-05-12) Velez, Mario; Ospina, Juan; Velez, Mario; Ospina, Juan; Universidad EAFIT. Departamento de Ciencias; Lógica y ComputaciónUsing Computer Algebra Software (Mathematica and Maple), the recently introduced topic of Yang-Baxterization applied to quantum computing, is explored from the mathematical and computational views. Some algorithms of computer algebra were elaborated with the aim to make the calculations to obtain some of results that were originally presented in the paper by Shang-Kauffman-Ge. Also certain new results about computational Yang-baxterization are presented. We obtain some Hamiltonians for hypothetical physical systems which can be realized within the domain of spin chains and certain diffusion process. We conclude that it is possible to have real physical systems on which implement, via Yang-baxterization, the standard quantum gates with topological protection. Finally some lines for future research are deligned.