The aim of this article is to show how a tumor can modify energy substrates fluxes in the brain to support its own growth. To address this question we use a modeling approach to explain brain nutrient kinetics. In particular we set up a system of 17 equations for oxygen, lactate, glucose concentrations and cells number in the brain. We prove the existence and uniqueness of nonnegative solutions and give bounds on the solutions. We also provide numerical simulations.

This study on the cambium of Pinus sylvestris L. examines the intrusive growth of fusiform cambial initials and its possible contribution to the tangential and radial expansions of the cambial cylinder. The location and extent of intrusive growth of the fusiform initials were determined by microscopic observations and by mathematical modeling. In order to meet the required circumferential expansion of the cambial cylinder, the fusiform initials grow in groups by means of a symplastic rather than intrusive growth, leaving no (...) room for the assumption that intrusive growth of the initials takes place between radial walls and has a direct role in the increase of the cambial circumference. Therefore, it is postulated that the fusiform initials grow intrusively between the tangential walls of the neighboring initials and their immediate derivatives and not between the radial walls of the adjacent initials as per common belief. (shrink)

This dissertation challenges two prevalent views on the topic of scientific explanation: that science explains by revealing causal mechanisms, and that science explains by unifying our knowledge of the world. ;My methodological strategy is to compare our best current philosophical accounts of scientific explanation with evidence from contemporary scientific research. In particular, I focus on evidence from dynamical explanations, that is, explanations which appeal to nonlinear dynamical modeling for their force. Nonlinear dynamical modeling is a type of mathematical modeling (...) which is used by scientists in many different disciplines, including population biology, ecology, physics, and psychology. ;Chapter 1 argues that dynamical explanations are a philosophically important class of explanations, based on their prevalence and their close relationship with the semantic view of theories. ;Chapters 2 and 3 conclude that extant causal and unification accounts encounter serious difficulties when applied to dynamical explanations. Chapter 2 argues that causal relevance is neither a necessary nor a sufficient condition for explanatory relevance. Chapter 3 clarifies and evaluates different claims about the unifying power of science. Here, I argue that dynamical explanations provide some support for the thesis that unification is constitutive of explanation. However, dynamical explanations also indicate that some of the intuitions embodied in extant unification accounts are untenable. ;Chapter 4 concludes by advancing diagnostic criticisms of existing causal and unification accounts. I explore the relationships between dynamical explanations and three conceptions of scientific explanation, as well as the relationships between different types of inference and scientific understanding. I suggest that philosophers look to cognitive science and the semantic view of theories for aid in constructing a viable positive account of explanation. ;The technical appendix introduces several key definitions and concepts of dynamical systems theory. (shrink)

Professor Aubert's ?three?stage rocket? (Inquiry, Vol. 26 [1983], No. 1) has reached periodic orbit. His comments on my earlier reply to his critique of my election predictions paper simply repeat arguments I have already refuted. In this note, I limit myself largely to pointing out Professor Aubert's misconceptions of what my position actually is. I find no reasons for revising the views stated in my original election predictions paper, nor any reasons for thinking that paper violated norms of scientific method (...) that prevail in the natural sciences. (shrink)

The constantly accelerating progress of contemporary natural science is indissolubly associated with the development and use of mathematics and with the processes of mathematical modeling of the phenomena of nature. The essence of this diverse and highly fertile interaction of mathematics and natural science and the dialectics of this interaction can only be disclosed through analysis of the nature of theoretical notions in general. Today, above all in the ranks of materialistically minded researchers, it is generally accepted that theory (...) possesses a value of its own. Contrary to positivist concepts of the nature of our knowledge, the meaning and significance of theory do not consist merely of the recording of experimental data, their classification and notation in abbreviated form. The meaning of theory is considerably more significant and is revealed, above all, in its explanatory and predictive functions. Contemporary theoretical knowledge is quite advanced and comprises a highly complex system, relatively self-contained and capable of internal development. Mathematics is the most interesting and distinctive phenomenon in the system of theoretical knowledge, in the system of science in general. It is in its dialectical development that the internal force and dynamics of the development of theory, in the very broadest sense of that word, find expression. Paul Lafargue tells us that Karl Marx held that "science only attains perfection when it succeeds in making use of mathematics" . In many fields of research the formulation of new ideas and concepts rests upon mathematics, its concepts and notions, and "is suggested" by the latter. "Mathematics," writes F. Dyson, "is the main source of the notions and principles out of which new theories are created" . The basic significance of mathematics to theory has been noted by outstanding thinkers over the course of the entire history of development of science. Today the expressive phrase, "the mathematization of knowledge," has come into general currency as a description of the principal direction of growth of theoretical notions in natural science. However, with respect to the growth of modern theoretical physics in general, the statement that it develops primarily by the method of the mathematical hypothesis has general validity. For example, the principal findings and discoveries of quantum theory and particle physics, starting from the corpuscularwave dualism and terminating with the omega minus hyperon and hypothetical quarks, were obtained or made "at the tip of a mathematician's pen.". (shrink)

Twenty-four U.S. states have enacted HIV exposure laws that prohibit HIV-positive persons from engaging in sexual activities with partners to whom they have not disclosed their HIV status. There is little standardization among existing HIV exposure laws, which vary substantially with respect to the sexual activities that are prohibited without prior serostatus disclosure. Logical analysis and mathematical modeling were used to explore the HIV prevention effectiveness of two types of HIV exposure laws: “strict” laws that require HIV-positive persons to (...) disclose their serostatus to prospective partners prior to any sexual activity and “flexible” laws that require seropositive status disclosure only prior to high-risk sex . These laws were compared relative to each other and to a no-law alternative. The results of these analyses indicate that, under most circumstances, both strict and flexible exposure laws can be expected to reduce HIV transmission risk relative to the no-law alternative, with flexible exposure laws producing the greater reduction in risk. This study demonstrates how logical analysis and mathematical modeling techniques can make an important contribution to the construction of a rational basis for decisions about a highly contested public health policy issue. (shrink)

The paper deals with the problems in the electric power industry, do not allow us to ensure a sufficient level of competitiveness of the industry and each individual subject of the electric power industry, the threatens national security, in particular, the economic security of the state, and creates barriers to maintaining the sustainable development of territories. It is proposed to use the economic and mathematical modeling allowed us to determine the high importance of human resources in the final results (...) of the electric power company, which makes it possible to consider the optimization of investment funds from the position of strengthening the focus of management processes in the field of personnel development. (shrink)

Algorithmic software for mathematical modeling of structural stability is considered, which is reduced to solving a partial generalized eigenvalues problem of sparse matrices, with automatic parallelization of calculations on modern parallel computers with graphics processors. Peculiarities of realization of parallel algorithms for different structures of sparse matrices are presented. The times of solving the problem of stability of composite materialsusing a three-dimensional model of "finite size fibers" on computers of different architectures are given. In mathematical modeling of physical (...) and technical processes in many cases there is a need to solve problems of algebraic problem of eigenvalues with sparse matrices of large volumes. In particular, such problems arise in the analysis of the strength of structures in civil and industrial construction, aircraft construction, electric welding, etc. The solving to these problems is to determine the eigenvalues and eigenvectors of sparse matrices of different structure. The efficiency of solving these problems largely depends on the effectiveness of mathematical modeling of the problem as a whole. Continuous growth of task parameters, calculation of more complete models of objects and processes on computers require an increase in computer productivity. High-performance computing requirements are far ahead of traditional parallel computing, even with multicore processors. High-performance computing requirements are far ahead of traditional parallel computing, even with multicore processors. Today, this problem is solved by using powerful supercomputers of hybrid architecture, such as computers with multicore processors and graphics processors, which combine MIMD and SIMD architectures. But the potential of high-performance computers can be used to the fullest only with algorithmic software that takes into account both the properties of the task and the features of the hybrid architecture. Complicating the architecture of modern high-performance supercomputers of hybrid architecture, which are actively used for mathematical modeling means a significant complication of efficient use of these resources in creating parallel algorithms and programs. here are problems with the creation of algorithmic software with automatic execution of stages of work, which are associated with the efficient use of computing resources, ways to store and process sparse matrices, analysis of the reliability of computer results. This makes it possible to significantly increase the efficiency of mathematical modeling of practical problems on modern high-performance computers, as well as free users from the problems of parallelization of complex problems. he developed algorithmic software automatically implements all stages of parallel computing and processing of sparse matrices on a hybrid computer. It was used at the Institute of Mechanics named after S.P. Tymoshenko NAS of Ukraine in modeling the strength problems of composite material. A significant improvement in the time characteristics of mathematical modeling was obtained. Problems of mathematical modeling of the properties of composite materials has an important role in designing the processes of deformation and destruction of products in various subject areas. Algorithmic software for mathematical modeling of structural stability is considered, which is reduced to solving a partial generalized problem of eigen values of sparse matrices of different structure of large orders, with automatic parallelization of calculations on modern parallel computers with graphics processors. The main methodological principles and features of implementation of parallel algorithms for different structures of sparse matrices are presented, which ensure effective implementation of multilevel parallelism of a hybrid system and reduce data exchange time during the computational process. As an example of these approaches, a hybrid algorithm of the iteration method in subspace for tape and block-diagonal matrices with a frame for computers of hybrid architecture is given. Peculiarities of data decomposition for matrices of profile structure at realization of parallel algorithms are considered. The proposed approach provides automatic determination of the required topology of the hybrid computer and the optimal amount of resources for the organization of an efficient computational process. The results of testing the developed algorithmic software for problems from the collection of the University of Florida, as well as the times of solving the problem of stability of composite materials using a three-dimensional model of "finite size fibers" on computers of different architectures. The results show a significant improvement in the time characteristics of solving problems. (shrink)

Twenty-four U.S. states have enacted HIV exposure laws that prohibit HIV-positive persons from engaging in sexual activities with partners to whom they have not disclosed their HIV-status. From a public health perspective, HIV serostatus exposure laws can be viewed as structural interventions that seek to limit the spread of HIV by acting at the policy level. A central premise of these laws is that informed partners are more likely to protect themselves by declining sex, by substituting less risky activities for (...) higher-risk ones, or by using condoms, than are uninformed partners. However, the effectiveness of these laws at preventing HIV transmission is not known.There is little standardization among existing HIV exposure laws, which vary substantially with respect to the sexual activities that are prohibited without prior serostatus disclosure. Among the strictest laws are those in Arkansas, Michigan, New Jersey, and Ohio which mandate disclosure prior to almost any type of sexual contact. (shrink)

We live in an information society where the usage, creation, distribution, manipulation, and integration of information is a significant activity. Computations allow us to process information from various sources in various forms and use the derived knowledge in improving efficiency and resilience in our interactions with each other and with our environment. The general theory of information tells us that information to knowledge is as energy is to matter. Energy has the potential to create or modify material structures and information (...) has the potential to create or modify knowledge structures. In this paper, we analyze computations as a vital technological phenomenon of contemporary society which allows us to process and use information. This analysis allows building classifications of computations based on their characteristics and explication of new types of computations. As a result, we extend the existing typologies of computations by delineating novel forms of information representations. While the traditional approach deals only with two dimensions of computation—symbolic and sub-symbolic, here we describe additional dimensions, namely, super-symbolic computation, hybrid computation, fused computation, blended computation, and symbiotic computation. (shrink)

We live in an information society where the usage, creation, distribution, manipulation, and integration of information is a significant activity. Computations allow us to process information from various sources in various forms and use the derived knowledge in improving efficiency and resilience in our interactions with each other and with our environment. The general theory of information tells us that information to knowledge is as energy is to matter. Energy has the potential to create or modify material structures and information (...) has the potential to create or modify knowledge structures. In this paper, we analyze computations as a vital technological phenomenon of contemporary society which allows us to process and use information. This analysis allows building classifications of computations based on their characteristics and explication of new types of computations. As a result, we extend the existing typologies of computations by delineating novel forms of information representations. While the traditional approach deals only with two dimensions of computation—symbolic and sub-symbolic, here we describe additional dimensions, namely, super-symbolic computation, hybrid computation, fused computation, blended computation, and symbiotic computation. (shrink)

Chagas disease or American trypanosomiasis is an important health problem in Latin America. Due to the mobility of Latin American population around the world, countries without vector presence started to report disease cases. We developed a deterministic compartmental model in order to gain insights into the disease dynamics in a scenario without vector presence, considering congenital transmission and transmission by blood transfusion. The model was used to evaluate the epidemiological effect of control measures. It was applied to demographic data from (...) Spain and sensitivity analysis was performed on model parameters associated with control strategies. (shrink)

Estimation of the repartition of asynchronous cells in the cell cycle can be explained by two hypotheses:– - the cells are supposed to be distributed into three groups: cells with a 2c DNA content (G0/1 phase), cells with a 4c DNA content (G2+M phase) and cells with a DNA content ranging from 2c to 4c (S phase); – - there is a linear relationship between the amount of fluorescence emitted by the fluorescent probe which reveals the DNA and the DNA (...) content. According to these hypotheses, the cell cycle can be represented by the following equation. (shrink)

I argue that the contrast between models and theories is important for public policy issues. I focus especially on the way a mathematical model explains just one aspect of the data.

Mathematical models of biological patterns are central to contemporary biology. This paper aims to consider what these models contribute to biology through the detailed consideration of an important case: Hamilton’s selfish herd. While highly abstract and idealized, Hamilton’s models have generated an extensive amount of research and have arguably led to an accurate understanding of an important factor in the evolution of gregarious behaviors like herding and flocking. I propose an account of what these models are able to achieve (...) and how they can support a successful scientific research program. I argue that the way these models are interpreted is central to the success of such programs. (shrink)

Interest in the computational aspects of modeling has been steadily growing in philosophy of science. This paper aims to advance the discussion by articulating the way in which modeling and computational errors are related and by explaining the significance of error management strategies for the rational reconstruction of scientific practice. To this end, we first characterize the role and nature of modeling error in relation to a recipe for model construction known as Euler’s recipe. We then describe a general model (...) that allows us to assess the quality of numerical solutions in terms of measures of computational errors that are completely interpretable in terms of modeling error. Finally, we emphasize that this type of error analysis involves forms of perturbation analysis that go beyond the basic model-theoretical and statistical/probabilistic tools typically used to characterize the scientific method; this demands that we revise and complement our reconstructive toolbox in a way that can affect our normative image of science. (shrink)

The article presents a verbal and mathematical model of medium-term business cycles (with a characteristic period of 7–11 years) known as Juglar cycles. The model takes into account a number of approaches to the analysis of such cycles; in the meantime it also takes into account some of the authors' own generalizations and additions that are important for understanding the internal logic of the cycle, its variability and its peculiarities in the present-time conditions. The authors argue that the most (...) important cause of cyclical crises stems from strong structural disproportions that develop during economic booms. These are not only disproportions between different economic sectors, but also disproportions between different societal subsystems; at present these are also disproportions within the World System as a whole. The proposed model of business cycle is based on its subdivision into four phases: – recovery phase (which could be subdivided into the start sub-phase and the acceleration sub-phase); – upswing/prosperity/expansion phase (which could be subdivided into the growth sub-phase and the boom/overheating sub-phase); – recession phase (within which one may single out the crash/bust/acute crisis subphase and the downswing sub-phase); – depression/stagnation phase (which we could subdivide into the stabilization subphase and the breakthrough sub-phase). The article provides a detailed qualitative description of macroeconomic dynamics at all the phases; it specifies driving forces of cyclical dynamics and the causes of transition from one phase to another (including psychological causes); a special attention is paid to the turning point from the peak of overheating to the acute crisis, as well as to the turning point from the downswing to recovery. The proposed mathematical model of Juglar cycle takes into account the following effects that are typical for the market economy: • positive feedbacks between various economic processes; • presence of a certain inertia, time lags in reactions of the economic subsystem to the change in conditions; • amplification by the financial subsystem of positive feedbacks and time lags in the economic subsystem; • excessive reaction to changing conditions during the acute crisis sub-phase. The authors suggest that the current crisis turns out to be rather similar to classical Juglar crises; however, there is also a significant difference, as the current crisis occurs at a truly global scale. Yet, due to this truly global scale of the current crisis, the possibilities of regulation with the national state's measures have turned out to be ineffective,whereas the suprastate regulation of financial processes hardly exists. It is shown that all these have led to the reproduction of the current crisis according to a classical Juglar scenario. (shrink)

Mathematical models provide explanations of limited power of specific aspects of phenomena. One way of articulating their limits here, without denying their essential powers, is in terms of contrastive explanation.

This article contributes to the revision of the procedure of robustness analysis of mathematical models in epistemic democracy using the systematic review method. It identifies the drawbacks of robustness analysis in epistemic democracy in terms of sample universality and inference from samples with the same results. To exemplify the effectiveness of systematic review, this article conducted a pilot review of diversity trumps ability theorem models, which are mathematical models of deliberation often cited by epistemic democrats. A review of (...) nine models extracted from 352 papers exemplifies the effectiveness of robustness analysis supplemented by systematic review in epistemic democracy. (shrink)

This paper sets out to show how mathematical modelling can serve as a way of ampliating knowledge. To this end, I discuss the mathematical modelling of time in theoretical physics. In particular I examine the construction of the formal treatment of time in classical physics, based on Barrow’s analogy between time and the real number line, and the modelling of time resulting from the Wheeler-DeWitt equation. I will show how mathematics shapes physical concepts, like time, (...) acting as a heuristic means—a discovery tool—, which enables us to construct hypotheses on certain problems that would be hard, and in some cases impossible, to understand otherwise. (shrink)

John P. Burgess, Mathematics, Models, and Modality: Selected Philosophical Essays. Cambridge: Cambridge University Press, 2008. xiii + 301 pp. $90.00, £50.00. ISBN 978-0-521-88034-3. Adobe eBook, $...

In the present article we attempt to show that Aristotle's syllogistic is an underlying logiC which includes a natural deductive system and that it isn't an axiomatic theory as had previously been thought. We construct a mathematical model which reflects certain structural aspects of Aristotle's logic. We examine the relation of the model to the system of logic envisaged in scattered parts of Prior and Posterior Analytics. Our interpretation restores Aristotle's reputation as a logician of consummate imagination and skill. (...) Several attributions of shortcomings and logical errors to Aristotle are shown to be without merit. Aristotle's logic is found to be self-sufficient in several senses: his theory of deduction is logically sound in every detail. (His indirect deductions have been criticized, but incorrectly on our account.) Aristotle's logic presupposes no other logical concepts, not even those of propositional logic. The Aristotelian system is seen to be complete in the sense that every valid argument expressible in his system admits of a deduction within his deductive system: every semantically valid argument is deducible. (shrink)

A reasoned argument or tarka is essential for a wholesome vāda that aims at establishing the truth. A strong tarka constitutes of a number of elements including an anumāna based on a valid hetu. Several scholars, such as Dharmakīrti, Vasubandhu and Dignāga, have worked on theories for the establishment of a valid hetu to distinguish it from an invalid one. This paper aims to interpret Dignāga’s hetu-cakra, called the wheel of grounds, from a modern philosophical perspective by deconstructing it into (...) a simple probabilistic mathematical model. The objective is to understand how and why a vāda based on a probabilistically weaker hetu can degrade into a Jalpa or vitaṇḍā. To do so, the paper maps the concept of ‘Bounded Rationality’ onto the hetu-cakra. Bounded Rationality, an idea coined by the management thinker Herbert Simon, is often employed in understanding decision-making processes of rational agents. In the context of this paper, the concept would state that the prativādin and ālocaka (debater) may not hold unbounded information to back their pratijñā (proposition). The paper argues that within the probabilistically deconstructed hetu-cakra model, most people argue in the ‘Zone of Bounded Rationality’, and thus, the probability of a debate degrading into Jalpa or vitaṇḍā is high. -/- . (shrink)

Games of chance are developed in their physical consumer-ready form on the basis of mathematical models, which stand as the premises of their existence and represent their physical processes. There is a prevalence of statistical and probabilistic models in the interest of all parties involved in the study of gambling – researchers, game producers and operators, and players – while functional models are of interest more to math-inclined players than problem-gambling researchers. In this paper I present a structural analysis (...) of the knowledge attached to mathematical models of games of chance and the act of modeling, arguing that such knowledge holds potential in the prevention and cognitive treatment of excessive gambling, and I propose further research in this direction. (shrink)

Tuberculosis has continued to retain its title as “the captain among these men of death”. This is evident as it is the leading cause of death globally from a single infectious agent. TB as it is fondly called has become a major threat to the achievement of the sustainable development goals (SDG) and hence require inputs from different research disciplines. This work presents a mathematical model of tuberculosis. A compartmental model of seven classes was used in the model formulation (...) comprising of the susceptible S, vaccinated V, exposed E, undiagnosed infectious I1, diagnosed infectious I2, treated T and recovered R. The stability analysis of the model was established as well as the condition for the model to undergo backward bifurcation. With the existence of backward bifurcation, keeping the basic reproduction number less than unity $$({R_{0}}<1)$$ is no more sufficient to keep TB out of the community. Hence, it is shown by the analysis that vaccination program, diagnosis and treatment helps to control the TB dynamics. In furtherance to that, it is shown that preference should be given to diagnosis over treatment as diagnosis precedes treatment. It is as well shown that at lower vaccination rate (0–20%), TB would still be endemic in the population. As such, high vaccination rate is required to send TB out of the community. (shrink)

We have developed a simple mathematical model with three physiologically significant states to describe the changes in intrauterine pressure associated with a contraction during human parturition. The myometrium is modelled as a set of smooth muscle cells, each of which is in one of three states (quiescent, contracted, refractory) at a given time. These states are occupied according to a cycle governed by three temporal parameters. The solutions of the equations describing the model show an oscillatory behavior for particular (...) values of these parameters, which is very similar to the time dependant development of intrauterine pressure during labor. Due to its non-linear terms, our model could lead to chaotic oscillations (in the mathematical sense), whose clinical counterpart may occur in cases of dystocia. Despite its simplicity, this model appears to be a useful guide to further investigations of the oscillatory behavior of the myometrium, or other smooth muscles, in normal and pathological situations. (shrink)

John Burgess is the author of a rich and creative body of work which seeks to defend classical logic and mathematics through counter-criticism of their nominalist, intuitionist, relevantist, and other critics. This selection of his essays, which spans twenty-five years, addresses key topics including nominalism, neo-logicism, intuitionism, modal logic, analyticity, and translation. An introduction sets the essays in context and offers a retrospective appraisal of their aims. The volume will be of interest to a wide range of readers across philosophy (...) of mathematics, logic, and philosophy of language. (shrink)

We propose simple nonlinear mathematical models for the legal concept of balancing of interests. Our aim is to bridge the gap between an abstract formalisation of a balancing decision while assuring consistency and ultimately legal certainty across cases. We focus on the conflict between the rights to privacy and to the protection of personal data in Art. 7 and Art. 8 of the EU Charter of Fundamental Rights (EUCh) against the right of access to information derived from Art. 11 (...) EUCh. These competing rights are denoted by ( \(i_1\) ) _right to privacy _ and ( \(i_2\) ) _access to information_; mathematically, their indices are respectively assigned by \(u_1\in [0,1]\) and \(u_2\in [0,1]\) subject to the constraint \(u_1+u_2=1\). This constraint allows us to use one single index _u_ to resolve the conflict through balancing. The outcome will be concluded by comparing the index _u_ with a prior given threshold \(u_0\). For simplicity, we assume that the balancing depends on only selected legal criteria such as the social status of affected person, and the sphere from which the information originated, which are represented as inputs of the models, called legal parameters. Additionally, we take “time” into consideration as a legal criterion, building on the European Court of Justice’s ruling on the right to be forgotten: by considering time as a legal parameter, we model how the outcome of the balancing changes over the passage of time. To catch the dependence of the outcome _u_ by these criteria as legal parameters, data were created by a fully-qualified lawyer. By comparison to other approaches based on machine learning, especially neural networks, this approach requires significantly less data. This might come at the price of higher abstraction and simplification, but also provides for higher transparency and explainability. Two mathematical models for _u_, a time-independent model and a time-dependent model, are proposed, that are fitted by using the data. (shrink)

To explore the relation between mathematical models and reality, four different domains of reality are distinguished: observer-independent reality, personal reality, social reality and mathematical/formal reality. The concepts of personal and social reality are strongly inspired by constructivist ideas. Mathematical reality is social as well, but constructed as an autonomous system in order to make absolute agreement possible. The essential problem of mathematical modelling is that within mathematics there is agreement about ‘truth’, but the assignment of (...) mathematics to informal reality is not itself formally analysable, and it is dependent on social and personal construction processes. On these levels, absolute agreement cannot be expected. Starting from this point of view, repercussion of mathematical on social and personal reality, the historical development of mathematical modelling, and the role, use and interpretation of mathematical models in scientific practice are discussed. (shrink)

Mathematical modeling is a convenient way for characterization of complex ecosystems. This approach was applied to study the dynamics of zooplankton in Lake Sevan (Armenia) at different stages of anthropogenic eutrophication with the use of a novel method called discrete modeling of dynamical systems with feedback (DMDS). Simulation demonstrated that the application of this method helps in characterization of inter- and intra-component relationships in a natural ecosystem. This method describes all possible pairwise inter-component relationships like “plus–plus,” “minus–minus,” “plus–minus,” “plus–zero,” (...) “minus–zero,” and “zero–zero” that occur in most ecosystems. Based on the results, a working hypothesis was formulated. It was found that the sensitivity to weak external influence in zooplanktons was the greatest during the mid period of eutrophication in Lake Sevan, whereas in the final stages of eutrophication, an outbreak in the biomass production of cyanobacteria was evident. To support this approach, a weak external disturbance in the form of magnetic storm was used to see its effect on species Daphnia longispina sevanica. A statistically significant correlation between the frequency of magnetic storms and the number of this species was revealed and an increase in the number of toxic cyanobacteria species as a consequence of eutrophication. This paper, for the first time, suggests a DMDS method, to diagnose impact of anthropogenic eutrophication on environment. (shrink)

We review mathematical models of HIV dynamics, disease progression, and therapy. We start by introducing a basic model of virus infection and demonstrate how it was used to study HIV dynamics and to measure crucial parameters that lead to a new understanding of the disease process. We discuss the diversity threshold model as an example of the general principle that virus evolution can drive disease progression and the destruction of the immune system. Finally, we show how mathematical models (...) can be used to understand correlates of long‐term immunological control of HIV, and to design therapy regimes that convert a progressing patient into a state of long‐term non‐progression. BioEssays 24:1178–1187, 2002. © 2002 Wiley‐Periodicals, Inc. (shrink)

[v. 1. Basic theories]--v. 2. Applications.--v. 3. Theory of plants and other essays.

The widespread and long-lived failings of academic economics are due to an over-reliance on largely inappropriate mathematical methods of analysis. This is an assessment I have long maintained. Many heterodox economists, however, appear to hold instead that the central problem is a form of political-economic ideology. Specifically, it is widely contended in heterodox circles that the discipline goes astray just because so many economists are committed to a portrayal of the market economy as a smoothly or efficiently functioning system (...) or some such, a portrayal that, whether sincerely held or otherwise, is inconsistent with the workings of social reality. Here I critically examine the contention that a form of political-economic ideology of this sort is the primary problem and assess its explanatory power. I conclude that the contention does not fare very well. I do not, though, deny that ideology of some sort has a major impact on the output of the modern economics academy. However it is of a different nature to the form typically discussed, and works in somewhat indirect and complex ways. Having raised the question of the impact of ideology I take the opportunity to explore its play in the economics academy more generally. (shrink)

The present work is a contribution to the understanding of the sempiternal problem of the “burden of factor two” implied by sexual reproduction versus asexual one, as males are energy consumers not contributing to the production of offspring. We construct a deterministic mathematical model in population dynamics where a species enjoys both sexual and parthenogenetic capabilities of reproduction and lives on a limited resource. We then show how polygamy implies instability of a parthenogenetic population with a small number of (...) sexually born males. This instability implies evolution of the system towards an attractor involving both populations. We also exhibit the analogy with a parasite/host system. (shrink)

In this essay I argue against I. Bernard Cohen's influential account of Newton's methodology in the Principia: the 'Newtonian Style'. The crux of Cohen's account is the successive adaptation of 'mental constructs' through comparisons with nature. In Cohen's view there is a direct dynamic between the mental constructs and physical systems. I argue that his account is essentially hypothetical-deductive, which is at odds with Newton's rejection of the hypothetical-deductive method. An adequate account of Newton's methodology needs to show how Newton's (...) method proceeds differently from the hypothetical-deductive method. In the constructive part I argue for my own account, which is model based: it focuses on how Newton constructed his models in Book I of the Principia. I will show that Newton understood Book I as an exercise in determining the mathematical consequences of certain force functions. The growing complexity of Newton's models is a result of exploring increasingly complex force functions (intra-theoretical dynamics) rather than a successive comparison with nature (extra-theoretical dynamics). Nature did not enter the scene here. This intra-theoretical dynamics is related to the 'autonomy of the models'. (shrink)