The Transition to Formal Thinking in Mathematics
Tall, David
2008-01-01
This paper focuses on the changes in thinking involved in the transition from school mathematics to formal proof in pure mathematics at university. School mathematics is seen as a combination of visual representations, including geometry and graphs, together with symbolic calculations and manipulations. Pure mathematics in university shifts…
A Mathematical Formalization Proposal for Business Growth
Directory of Open Access Journals (Sweden)
Gheorghe BAILESTEANU
2013-01-01
Full Text Available Economic sciences have known a spectacular evolution in the last century; beginning to use axiomatic methods, applying mathematical instruments as a decision-making tool. The quest to formalization needs to be addressed from various different angles, reducing entry and operating formal costs, increasing the incentives for firms to operate formally, reducing obstacles to their growth, and searching for inexpensive approaches through which to enforce compliancy with government regulations. This paper proposes a formalized approach to business growth, based on mathematics and logics, taking into consideration the particularities of the economic sector.
Radovic, Slaviša; Passey, Don
2016-01-01
The aim of this paper is to explore further an under-developed area--how drivers of curriculum, pedagogy and assessment conceptions and practices shape the creation and uses of technologically based resources to support mathematics learning across informal, non-formal and formal learning environments. The paper considers: the importance of…
A Mathematical Account of the NEGF Formalism
DEFF Research Database (Denmark)
Cornean, Decebal Horia; Moldoveanu, Valeriu; Pillet, Claude-Alain
2018-01-01
The main goal of this paper is to put on solid mathematical grounds the so-called non-equilibrium Green’s function transport formalism for open systems. In particular, we derive the Jauho–Meir–Wingreen formula for the time-dependent current through an interacting sample coupled to non-interacting......The main goal of this paper is to put on solid mathematical grounds the so-called non-equilibrium Green’s function transport formalism for open systems. In particular, we derive the Jauho–Meir–Wingreen formula for the time-dependent current through an interacting sample coupled to non...
Measurements and mathematical formalism of quantum mechanics
Slavnov, D. A.
2007-03-01
A scheme for constructing quantum mechanics is given that does not have Hilbert space and linear operators as its basic elements. Instead, a version of algebraic approach is considered. Elements of a noncommutative algebra (observables) and functionals on this algebra (elementary states) associated with results of single measurements are used as primary components of the scheme. On the one hand, it is possible to use within the scheme the formalism of the standard (Kolmogorov) probability theory, and, on the other hand, it is possible to reproduce the mathematical formalism of standard quantum mechanics, and to study the limits of its applicability. A short outline is given of the necessary material from the theory of algebras and probability theory. It is described how the mathematical scheme of the paper agrees with the theory of quantum measurements, and avoids quantum paradoxes.
Mathematic-Graphical Formalization of Switch Point Control Circuit Function
Directory of Open Access Journals (Sweden)
Juraj Zdansky
2004-01-01
Full Text Available This article describes authors designed method then enables mathematic – graphical formalization of system’s functional specification. The result of this method is algebraic system – finite automata that is written in transition table. This transition table is possible to overwrite to graphic form (state diagram or to mathematic form (transition and output function. This method is described by example of switch point control circuit.
Viewing Formal Mathematics from Yoruba Conception of the Sky
Segla, Aimé
2016-01-01
Yoruba Cosmology resembles a generative system at the foundation of concepts. The traditional thought, which derives from the reality of the identical pair incorporated from cosmology into real life, exemplifies all kind of existing knowledge, culture and practices. Previous studies by the author show in some detail the scientific interests in Yoruba cosmology. The present paper aims to view formal mathematics through the interpretation of Yoruba sky knowledge. It attempts to demonstrate tha...
Thermodynamic formalism the mathematical structures of equilibrium statistical mechanics
Ruelle, David
2004-01-01
Reissued in the Cambridge Mathematical Library, this classic book outlines the theory of thermodynamic formalism which was developed to describe the properties of certain physical systems consisting of a large number of subunits. Background material on physics has been collected in appendices to help the reader. Supplementary work is provided in the form of exercises and problems that were "open" at the original time of writing.
Under Threes' Mathematical Learning
Franzén, Karin
2015-01-01
The article focuses on mathematics for toddlers in preschool, with the aim of challenging a strong learning discourse that mainly focuses on cognitive learning. By devoting more attention to other perspectives on learning, the hope is to better promote children's early mathematical development. Sweden is one of few countries to have a curriculum…
Kaliszyk, C.; Urban, J.; Vyskocil, J.; Geuvers, J.H.; Watt, S.M.; Davenport, J.H.; Sexton, A.P.; Sojka, P.; Urban, J.
2014-01-01
The goal of this project is to (i) accumulate annotated informal/formal mathematical corpora suitable for training semi-automated translation between informal and formal mathematics by statistical machine-translation methods, (ii) to develop such methods oriented at the formalization task, and in
The Mathematical Formalism of a Particle in a Magnetic Field
Mantoiu, M
2005-01-01
In this review article we develop a basic part of the mathematical theory involved in the description of a particle (classical and quantal) placed in the Euclidean space $\\mathbb R^N$ under the influence of a magnetic field $B$, emphasising the structure of the family of observables.
Directory of Open Access Journals (Sweden)
Lorena Salazar Solórzano
2015-06-01
Full Text Available Beginning university training programs must focus on different competencies for mathematics teachers, i.e., not only on solving problems, but also on posing them and analyzing the mathematical activity. This paper reports the results of an exploratory study conducted with future secondary school mathematics teachers on the introduction of problem-posing tasks in formal mathematics courses, specifically in abstract algebra and real analysis courses. Evidence was found that training which includes problem-posing tasks has a positive impact on the students’ understanding of definitions, theorems and exercises within formal mathematics, as well as on their competency in reflecting on the mathematical activity.
Non-formal mechanisms in mathematical cognitive development: The case of arithmetic
Braithwaite, D.W.; Goldstone, R.L.; van der Maas, H.L.J.; Landy, D.H.
The idea that cognitive development involves a shift towards abstraction has a long history in psychology. One incarnation of this idea holds that development in the domain of mathematics involves a shift from non-formal mechanisms to formal rules and axioms. Contrary to this view, the present study
Zhou, Zheng; Cheng, Christine; Mottram, Lisa; Rosenblum, Stacey
Informal and formal mathematical abilities were studied in the preschool, kindergarten, and first grade children in Beijing, China and Chinese-American children in New York City. Test of Early Mathematical Abilities-2nd Edition (TEMA-2) was administered to the three groups of children (children from Beijing, Chinese-American from lower-class, and…
Formalism and beyond on the nature of mathematical discourse
Link, Godehard
2014-01-01
The essays collected in this volume focus on the role of formalist aspects in mathematical theorizing and practice, examining issues such as infinity, finiteness, and proof procedures, as well as central historical figures in the field, including Frege, Russell, Hilbert and Wittgenstein. Using modern logico-philosophical tools and systematic conceptual and logical analyses, the volume provides a thorough, up-to-date account of the subject.
Libertus, Melissa E; Feigenson, Lisa; Halberda, Justin
2013-12-01
Previous research has found a relationship between individual differences in children's precision when nonverbally approximating quantities and their school mathematics performance. School mathematics performance emerges from both informal (e.g., counting) and formal (e.g., knowledge of mathematics facts) abilities. It remains unknown whether approximation precision relates to both of these types of mathematics abilities. In the current study, we assessed the precision of numerical approximation in 85 3- to 7-year-old children four times over a span of 2years. In addition, at the final time point, we tested children's informal and formal mathematics abilities using the Test of Early Mathematics Ability (TEMA-3). We found that children's numerical approximation precision correlated with and predicted their informal, but not formal, mathematics abilities when controlling for age and IQ. These results add to our growing understanding of the relationship between an unlearned nonsymbolic system of quantity representation and the system of mathematics reasoning that children come to master through instruction. Copyright © 2013 Elsevier Inc. All rights reserved.
Indian Academy of Sciences (India)
by testing of the components and successful testing leads to the software being ... Formal verification is based on formal methods which are mathematically based ..... scenario under which a similar error could occur. There are various other ...
Mathematical formalization of theories of motivation proposed by Maslow and Herzberg
Kotliarov,Ivan
2008-01-01
Maslow's theory is by far the most known theory of motivation, and the most common in the business and management practice. Herzberg's theory fits the observations and explains some aspects of human motivation left unexplained by Maslow. However, these theories have never been formalized on a strictly mathematical basis. The present article gives an outline of a mathematical model of theories of motivation proposed by Abraham Maslow and Frederick Herzberg. This model is built on a basis of sp...
Discrete mathematics, formal methods, the Z schema and the software life cycle
Bown, Rodney L.
1991-01-01
The proper role and scope for the use of discrete mathematics and formal methods in support of engineering the security and integrity of components within deployed computer systems are discussed. It is proposed that the Z schema can be used as the specification language to capture the precise definition of system and component interfaces. This can be accomplished with an object oriented development paradigm.
On the Formal-Logical Analysis of the Foundations of Mathematics Applied to Problems in Physics
Kalanov, Temur Z.
2016-03-01
Analysis of the foundations of mathematics applied to problems in physics was proposed. The unity of formal logic and of rational dialectics is methodological basis of the analysis. It is shown that critical analysis of the concept of mathematical quantity - central concept of mathematics - leads to the following conclusion: (1) The concept of ``mathematical quantity'' is the result of the following mental operations: (a) abstraction of the ``quantitative determinacy of physical quantity'' from the ``physical quantity'' at that the ``quantitative determinacy of physical quantity'' is an independent object of thought; (b) abstraction of the ``amount (i.e., abstract number)'' from the ``quantitative determinacy of physical quantity'' at that the ``amount (i.e., abstract number)'' is an independent object of thought. In this case, unnamed, abstract numbers are the only sign of the ``mathematical quantity''. This sign is not an essential sign of the material objects. (2) The concept of mathematical quantity is meaningless, erroneous, and inadmissible concept in science because it represents the following formal-logical and dialectical-materialistic error: negation of the existence of the essential sign of the concept (i.e., negation of the existence of the essence of the concept) and negation of the existence of measure of material object.
Mathematical formalization of theories of motivation proposed by Maslow and Herzberg
Directory of Open Access Journals (Sweden)
Ivan Kotliarov
2008-12-01
Full Text Available Maslow's theory is by far the most known theory of motivation, and the most common in the business and management practice. Herzberg's theory fits the observations and explains some aspects of human motivation left unexplained by Maslow. However, these theories have never been formalized on a strictly mathematical basis. The present article gives an outline of a mathematical model of theories of motivation proposed by Abraham Maslow and Frederick Herzberg. This model is built on a basis of special non-continuous functions. This description may be a good basis for HR software and may be useful for business and management.
Nazarova, G.; Ivashkina, E.; Ivanchina, E.; Kiseleva, S.; Stebeneva, V.
2015-11-01
The issue of improving the energy and resource efficiency of advanced petroleum processing can be solved by the development of adequate mathematical model based on physical and chemical regularities of process reactions with a high predictive potential in the advanced petroleum refining. In this work, the development of formalized hydrocarbon conversion scheme of catalytic cracking was performed using thermodynamic parameters of reaction defined by the Density Functional Theory. The list of reaction was compiled according to the results of feedstock structural-group composition definition, which was done by the n-d-m-method, the Hazelvuda method, qualitative composition of feedstock defined by gas chromatography-mass spectrometry and individual composition of catalytic cracking gasoline fraction. Formalized hydrocarbon conversion scheme of catalytic cracking will become the basis for the development of the catalytic cracking kinetic model.
Hull, Michael M.; Kuo, Eric; Gupta, Ayush; Elby, Andrew
2013-06-01
Much research in engineering and physics education has focused on improving students’ problem-solving skills. This research has led to the development of step-by-step problem-solving strategies and grading rubrics to assess a student’s expertise in solving problems using these strategies. These rubrics value “communication” between the student’s qualitative description of the physical situation and the student’s formal mathematical descriptions (usually equations) at two points: when initially setting up the equations, and when evaluating the final mathematical answer for meaning and plausibility. We argue that (i) neither the rubrics nor the associated problem-solving strategies explicitly value this kind of communication during mathematical manipulations of the chosen equations, and (ii) such communication is an aspect of problem-solving expertise. To make this argument, we present a case study of two students, Alex and Pat, solving the same kinematics problem in clinical interviews. We argue that Pat’s solution, which connects manipulation of equations to their physical interpretation, is more expertlike than Alex’s solution, which uses equations more algorithmically. We then show that the types of problem-solving rubrics currently available do not discriminate between these two types of solutions. We conclude that problem-solving rubrics should be revised or repurposed to more accurately assess problem-solving expertise.
Ismail; Suwarsono, St.; Lukito, A.
2018-01-01
Critical thinking is one of the most important skills of the 21st century in addition to other learning skills such as creative thinking, communication skills and collaborative skills. This is what makes researchers feel the need to conduct research on critical thinking skills in junior high school students. The purpose of this study is to describe the critical thinking skills of junior high school female students with high mathematical skills in solving contextual and formal mathematical problems. To achieve this is used qualitative research. The subject of the study was a female student of eight grade junior high school. The students’ critical thinking skills are derived from in-depth problem-based interviews using interview guidelines. Interviews conducted in this study are problem-based interviews, which are done by the subject given a written assignment and given time to complete. The results show that critical thinking skills of female high school students with high math skills are as follows: In solving the problem at the stage of understanding the problem used interpretation skills with sub-indicators: categorization, decode, and clarify meaning. At the planning stage of the problem-solving strategy is used analytical skills with sub-indicators: idea checking, argument identification and argument analysis and evaluation skills with sub indicators: assessing the argument. In the implementation phase of problem solving, inference skills are used with subindicators: drawing conclusions, and problem solving and explanatory skills with sub-indicators: problem presentation, justification procedures, and argument articulation. At the re-checking stage all steps have been employed self-regulatory skills with sub-indicators: self-correction and selfstudy.
Formal modeling of a system of chemical reactions under uncertainty.
Ghosh, Krishnendu; Schlipf, John
2014-10-01
We describe a novel formalism representing a system of chemical reactions, with imprecise rates of reactions and concentrations of chemicals, and describe a model reduction method, pruning, based on the chemical properties. We present two algorithms, midpoint approximation and interval approximation, for construction of efficient model abstractions with uncertainty in data. We evaluate computational feasibility by posing queries in computation tree logic (CTL) on a prototype of extracellular-signal-regulated kinase (ERK) pathway.
International Nuclear Information System (INIS)
Sankar, Bindu; Sasidhar Rao, B.; Ilango Sambasivam, S.; Swaminathan, P.
2002-01-01
Full text: Real time computer systems are increasingly used for safety critical supervision and control of nuclear reactors. Typical application areas are supervision of reactor core against coolant flow blockage, supervision of clad hot spot, supervision of undesirable power excursion, power control and control logic for fuel handling systems. The most frequent cause of fault in safety critical real time computer system is traced to fuzziness in requirement specification. To ensure the specified safety, it is necessary to model the requirement specification of safety critical real time computer systems using formal mathematical methods. Modeling eliminates the fuzziness in the requirement specification and also helps to prepare the verification and validation schemes. Test data can be easily designed from the model of the requirement specification. Z and B are the popular languages used for modeling the requirement specification. A typical safety critical real time computer system for supervising the reactor core of prototype fast breeder reactor (PFBR) against flow blockage is taken as case study. Modeling techniques and the actual model are explained in detail. The advantages of modeling for ensuring the safety are summarized
Making Explicit the Formalism Underlying Evaluation in Music Information Retrieval Research
DEFF Research Database (Denmark)
Sturm, Bob L.
2014-01-01
We make explicit the formalism underlying evaluation in music information retrieval research. We define a ``system,'' what it means to ``analyze'' one, and make clear the aims, parts, design, execution, interpretation, assumptions and limitations of its ``evaluation.'' We apply this formalism...... to discuss the MIREX automatic mood classification task....
Elsner, R. F.; O'Dell, S. L.; Ramsey, B. D.; Weisskopf, M. C.
2011-01-01
We provide a mathematical formalism for optimizing the mirror nodal positions along the optical axis and the tilt of a commonly employed detector configuration at the focus of a x-ray telescope consisting of nested mirror shells with known mirror surface prescriptions. We adopt the spatial resolution averaged over the field-of-view as the figure of merit M. A more complete description appears in our paper in these proceedings.
MATHEMATICS TEACHER: MOVING KNOWLEDGE UNDER FORMATION
Directory of Open Access Journals (Sweden)
Roselaine Machado Albernaz
2010-07-01
Full Text Available This essay approaches the Mathematics teacher forming process from his/her experiences in the school system and the set of knowledge that hashistorical, philosophical and politically constituted him/her. This set of knowledge not only comprises academic knowledge, but also involves the subjective effects of knowledge it incorporates. Starting from a tale, the character, called ‘researcher-teacher’, conducts the text throughout questions about the forming processes of teachers of such a particular subject as Mathematics. The character seems to have an “interrogative something” which is peculiar to us, teachers, concerned about our disciplinary field. Having the objective of problematize the formation and knowledge of our character, her ways of being, thinking and perceiving, we intend to question, with and through her, the new requirements that have been demanded towards Mathematics teachers and the set of knowledge that constitute her, the way she is, her way of acting and taking position in the school universe. The proposed essay seeks for an articulation between the fields of Art, Philosophy, Science and Education. It speaks about the intriguing school world, but not least, the ways we think to treat the forming process of Mathematics teachers from a set of logical, subjective and sensitive knowledge. Key words: Forming process of teachers; mathematics; aesthetic experience; philosophy of difference.
Category Theory as a Formal Mathematical Foundation for Model-Based Systems Engineering
Mabrok, Mohamed; Ryan, Michael J.
2017-01-01
In this paper, we introduce Category Theory as a formal foundation for model-based systems engineering. A generalised view of the system based on category theory is presented, where any system can be considered as a category. The objects
International Nuclear Information System (INIS)
Demazure, M.
1988-01-01
The 1988 progress report of the Mathematics center (Polytechnic School, France), is presented. The Center is composed of different research teams: analysis, Riemann geometry, group theory, formal calculus and algorithm geometry, dynamical systems, topology and singularity. For each team, the members, the research topics, the national and international cooperations, are given. The papers concerning the investigations carried out in 1988, are listed [fr
Ivan Kotliarov
2008-01-01
the present article gives an outline of a mathematical model of theories of motivation proposed by Abraham Maslow and Frederick Herzberg. This model is built on a basis of special non-continuous functions.
Kalanov, Temur Z.
2014-03-01
A critical analysis of the foundations of standard vector calculus is proposed. The methodological basis of the analysis is the unity of formal logic and of rational dialectics. It is proved that the vector calculus is incorrect theory because: (a) it is not based on a correct methodological basis - the unity of formal logic and of rational dialectics; (b) it does not contain the correct definitions of ``movement,'' ``direction'' and ``vector'' (c) it does not take into consideration the dimensions of physical quantities (i.e., number names, denominate numbers, concrete numbers), characterizing the concept of ''physical vector,'' and, therefore, it has no natural-scientific meaning; (d) operations on ``physical vectors'' and the vector calculus propositions relating to the ''physical vectors'' are contrary to formal logic.
Category Theory as a Formal Mathematical Foundation for Model-Based Systems Engineering
Mabrok, Mohamed
2017-01-09
In this paper, we introduce Category Theory as a formal foundation for model-based systems engineering. A generalised view of the system based on category theory is presented, where any system can be considered as a category. The objects of the category represent all the elements and components of the system and the arrows represent the relations between these components (objects). The relationship between these objects are the arrows or the morphisms in the category. The Olog is introduced as a formal language to describe a given real-world situation description and requirement writing. A simple example is provided.
Dillon, Moira R; Kannan, Harini; Dean, Joshua T; Spelke, Elizabeth S; Duflo, Esther
2017-07-07
Many poor children are underprepared for demanding primary school curricula. Research in cognitive science suggests that school achievement could be improved by preschool pedagogy in which numerate adults engage children's spontaneous, nonsymbolic mathematical concepts. To test this suggestion, we designed and evaluated a game-based preschool curriculum intended to exercise children's emerging skills in number and geometry. In a randomized field experiment with 1540 children (average age 4.9 years) in 214 Indian preschools, 4 months of math game play yielded marked and enduring improvement on the exercised intuitive abilities, relative to no-treatment and active control conditions. Math-trained children also showed immediate gains on symbolic mathematical skills but displayed no advantage in subsequent learning of the language and concepts of school mathematics. Copyright © 2017, American Association for the Advancement of Science.
On the mathematical integration of the nervous tissue based on the S-propagator formalism.
Chauvet, Gilbert A
2002-06-01
The integration of physiological functions in living organisms corresponds to the reconstruction of a biological system from its components. This calls for a sound theoretical framework based on the rigorous definition of the elementary physiological function within the context of multiple levels of biological organization. One of the main problems encountered in the neurosciences is that of extending the current theory of automata, as used in the study of artificial neural networks, to real neural networks. The difficulty arises because the theory of automata fails to take into account the various levels of biological organization involved in nervous activity. This article recalls the main elements of G. A. Chauvet's novel n-level field theory, i.e., the properties of non-symmetry and non-locality of functional interactions, and the S-propagator formalism that governs the propagation of a functional interaction across the different levels of the structural organization of a biological system. The neural field equations derived from this theory allow the inclusion of multiple organizational levels of a biological system into the analysis by incorporating specific local models into a global non-local model. The main advantage of the method presented here is the simplification obtained by breaking down the physiological function into its components according to the time scales and space scales of operation. Moreover, the method takes into account the non-locality of the functional interaction, assuming it to be propagated at finite velocity in a continuous and hierarchical space. Finally, this approach allows the systematic study of physiological functions within a single theoretical framework, the complexity of which could be progressively increased by integrating specific local models as new findings become available.
Popovic, Gorjana; Lederman, Judith S.
2015-01-01
The Common Core Standard for Mathematical Practice 4: Model with Mathematics specifies that mathematically proficient students are able to make connections between school mathematics and its applications to solving real-world problems. Hence, mathematics teachers are expected to incorporate connections between mathematical concepts they teach and…
Artzt, Alice F.; Armour-Thomas, Eleanor
1998-01-01
Uses a "teaching as problem solving" perspective to examine the components of metacognition underlying the instructional practice of seven experienced and seven beginning secondary-school mathematics teachers. Data analysis of observations, lesson plans, videotapes, and audiotapes of structured interviews suggests that the metacognition of…
International Nuclear Information System (INIS)
Corynen, G.C.
1979-01-01
An important step in the analysis of large-scale systems is the development of economical and meaningful measures of system performance. In the literature on analysis of nuclear safeguard systems, many performance measures have been advanced, but their interrelationships and their relevance to overall system objectives have not received attention commensurate with the effort spent in developing detailed safeguard models. The work reported here is an attempt to improve the development and evaluation of performance measures for nuclear safeguard systems. This work falls into three main areas. First, we develop a new framework which provides an initial basis for defining and structuring performance measures. To demonstrate that this framework allows a clear understanding of the purposes of nuclear safeguard systems, we employ it to state various safeguard questions clearly and concisely. The framework reflects the rough subsystem structure of safeguard systems - the detection and response subsystems - and formally accommodates various safeguard models. We especially emphasize two of these models which are under development at Lawrence Livermore Laboratory, the structured assessment approach (SAA) and the systems vulnerability assessment method (SVAM). Second, we examine some performance measures presently used in the nuclear safeguards area and in reliability theory in general. Some of these we accept and modify to obtain system performance measures that are an additive combination of subsystem performance measures, a very convenient form indeed. Others we reject as impractical and meaningless. Finally, we determine some common features between the SAA and SVAM models by formally comparing these models in our framework
Armando, Alessandro; Giunchiglia, Enrico; Ponta, Serena Elisa
We present an approach to the formal specification and automatic analysis of business processes under authorization constraints based on the action language \\cal{C}. The use of \\cal{C} allows for a natural and concise modeling of the business process and the associated security policy and for the automatic analysis of the resulting specification by using the Causal Calculator (CCALC). Our approach improves upon previous work by greatly simplifying the specification step while retaining the ability to perform a fully automatic analysis. To illustrate the effectiveness of the approach we describe its application to a version of a business process taken from the banking domain and use CCALC to determine resource allocation plans complying with the security policy.
Formality theory from Poisson structures to deformation quantization
Esposito, Chiara
2015-01-01
This book is a survey of the theory of formal deformation quantization of Poisson manifolds, in the formalism developed by Kontsevich. It is intended as an educational introduction for mathematical physicists who are dealing with the subject for the first time. The main topics covered are the theory of Poisson manifolds, star products and their classification, deformations of associative algebras and the formality theorem. Readers will also be familiarized with the relevant physical motivations underlying the purely mathematical construction.
Mathematical modelling of unglazed solar collectors under extreme operating conditions
DEFF Research Database (Denmark)
Bunea, M.; Perers, Bengt; Eicher, S.
2015-01-01
average temperature levels at the evaporator. Simulation of these systems requires a collector model that can take into account operation at very low temperatures (below freezing) and under various weather conditions, particularly operation without solar irradiation.A solar collector mathematical model......Combined heat pumps and solar collectors got a renewed interest on the heating system market worldwide. Connected to the heat pump evaporator, unglazed solar collectors can considerably increase their efficiency, but they also raise the coefficient of performance of the heat pump with higher...... was found due to the condensation phenomenon and up to 40% due to frost under no solar irradiation. This work also points out the influence of the operating conditions on the collector's characteristics.Based on experiments carried out at a test facility, every heat flux on the absorber was separately...
Formal Models of the Network Co-occurrence Underlying Mental Operations.
Bzdok, Danilo; Varoquaux, Gaël; Grisel, Olivier; Eickenberg, Michael; Poupon, Cyril; Thirion, Bertrand
2016-06-01
Systems neuroscience has identified a set of canonical large-scale networks in humans. These have predominantly been characterized by resting-state analyses of the task-unconstrained, mind-wandering brain. Their explicit relationship to defined task performance is largely unknown and remains challenging. The present work contributes a multivariate statistical learning approach that can extract the major brain networks and quantify their configuration during various psychological tasks. The method is validated in two extensive datasets (n = 500 and n = 81) by model-based generation of synthetic activity maps from recombination of shared network topographies. To study a use case, we formally revisited the poorly understood difference between neural activity underlying idling versus goal-directed behavior. We demonstrate that task-specific neural activity patterns can be explained by plausible combinations of resting-state networks. The possibility of decomposing a mental task into the relative contributions of major brain networks, the "network co-occurrence architecture" of a given task, opens an alternative access to the neural substrates of human cognition.
Formal Models of the Network Co-occurrence Underlying Mental Operations.
Directory of Open Access Journals (Sweden)
Danilo Bzdok
2016-06-01
Full Text Available Systems neuroscience has identified a set of canonical large-scale networks in humans. These have predominantly been characterized by resting-state analyses of the task-unconstrained, mind-wandering brain. Their explicit relationship to defined task performance is largely unknown and remains challenging. The present work contributes a multivariate statistical learning approach that can extract the major brain networks and quantify their configuration during various psychological tasks. The method is validated in two extensive datasets (n = 500 and n = 81 by model-based generation of synthetic activity maps from recombination of shared network topographies. To study a use case, we formally revisited the poorly understood difference between neural activity underlying idling versus goal-directed behavior. We demonstrate that task-specific neural activity patterns can be explained by plausible combinations of resting-state networks. The possibility of decomposing a mental task into the relative contributions of major brain networks, the "network co-occurrence architecture" of a given task, opens an alternative access to the neural substrates of human cognition.
Chayanopparat Piyanan; Charungkaittikul Suwithida; Ratana-Ubol Archanya
2016-01-01
Non-formal vocational education provides practical experiences in a particular occupational field to non-formal semi-skilled learners. Non-formal vocational teachers are the key persons to deliver particular occupational knowledge. The essential competencies enhancement for non-sformal vocational teachers will improve teaching performance. The question of the research is what the essential competencies for the nonformal vocational teachers are. The research method was 1) to review related lit...
Under-Threes' Mathematical Learning--Teachers' Perspectives
Franzén, Karin
2014-01-01
This project highlights preschool teachers' views of toddlers' learning in mathematics. The Swedish national curriculum covers even the youngest children who are 1-3?years old. Interesting questions are thus: what should mathematics be for this age group and how should preschool teachers work with maths to achieve the curriculum objectives? Data…
MATHEMATICAL MODELLING OF AIRCRAFT PILOTING PROSSESS UNDER SPECIFIED FLIGHT PATH
Directory of Open Access Journals (Sweden)
И. Кузнецов
2012-04-01
Full Text Available The author suggests mathematical model of pilot’s activity as follow up system and mathematical methods of pilot’s activity description. The main idea of the model is flight path forming and aircraft stabilization on it during instrument flight. Input of given follow up system is offered to be aircraft deflection from given path observed by pilot by means of sight and output is offered to be pilot’s regulating actions for aircraft stabilization on flight path.
Energy Technology Data Exchange (ETDEWEB)
Koran, J.J. Jr. [Florida Museum of Natural History, Gainesville, FL (United States)
1993-10-15
Twenty-four undergraduate science and mathematics majors who were juniors and seniors in the colleges of Liberal Arts and Sciences and Engineering were recruited, and paid, to participate in an orientation seminar and act as teacher aides in regional schools and the Florida Museum of Natural History. Aides worked with teachers in the schools one semester and as docents in the natural history museum a second semester. Mentoring took place by the principal investigator and participating teachers and docents throughout the program. Success of the program was measured by a specially prepared attitude instrument which was administered to participants before the mentoring started and when it ended each semester. Written logs (field notes) were also prepared and submitted by participants at the end of each semester. Further, a tally was kept of the number of participants who decided to go into science or mathematics teaching as a result of the experience.
Formalizing the concept of sound.
Energy Technology Data Exchange (ETDEWEB)
Kaper, H. G.; Tipei, S.
1999-08-03
The notion of formalized music implies that a musical composition can be described in mathematical terms. In this article we explore some formal aspects of music and propose a framework for an abstract approach.
Directory of Open Access Journals (Sweden)
Chayanopparat Piyanan
2016-01-01
Full Text Available Non-formal vocational education provides practical experiences in a particular occupational field to non-formal semi-skilled learners. Non-formal vocational teachers are the key persons to deliver particular occupational knowledge. The essential competencies enhancement for non-sformal vocational teachers will improve teaching performance. The question of the research is what the essential competencies for the nonformal vocational teachers are. The research method was 1 to review related literature, 2 to collect a needs assessment, and 3 to analyse the essential competencies for non-formal vocational teachers. The population includes non-formal vocational teachers at the executive level and nonformal vocational teachers. The results from the essential competencies analysis found that the essential competencies for non-formal vocational teachers consist of 5 capabilities including 1 Adult learning design capability, 2 Adult learning principle application capability, 3 ICT searching capability for teaching preparation, 4 Instructional plan development capability and 5 Instructional media development capability.
Energy Technology Data Exchange (ETDEWEB)
Guerrero, A. F., E-mail: afguerreror@uqvirtual.edu.co [Departamento de Física, Universidad Del Quindío Cra 15 # 12N Armenia, Quindío (Colombia); Mesa, J., E-mail: jmesa@ibb.unesp.br [Instituto de Biociências de Botucatu da UNESP Distrito de Rubião Jr. s/n°, 18618-000, Botucatu, SP (Brazil)
2016-07-07
Because of the behavior that charged particles have when they interact with biological material, proton therapy is shaping the future of radiation therapy in cancer treatment. The planning of radiation therapy is made up of several stages. The first one is the diagnostic image, in which you have an idea of the density, size and type of tumor being treated; to understand this it is important to know how the particles beam interacts with the tissue. In this work, by using de Lindhard formalism and the Y.R. Waghmare model for the charge distribution of the proton, the electronic stopping power (SP) for a proton beam interacting with a liquid water target in the range of proton energies 10{sup 1} eV - 10{sup 10} eV taking into account all the charge states is calculated.
Mathematical Modeling of Column-Base Connections under Monotonic Loading
Directory of Open Access Journals (Sweden)
Gholamreza Abdollahzadeh
2014-12-01
Full Text Available Some considerable damage to steel structures during the Hyogo-ken Nanbu Earthquake occurred. Among them, many exposed-type column bases failed in several consistent patterns, such as brittle base plate fracture, excessive bolt elongation, unexpected early bolt failure, and inferior construction work, etc. The lessons from these phenomena led to the need for improved understanding of column base behavior. Joint behavior must be modeled when analyzing semi-rigid frames, which is associated with a mathematical model of the moment–rotation curve. The most accurate model uses continuous nonlinear functions. This article presents three areas of steel joint research: (1 analysis methods of semi-rigid joints; (2 prediction methods for the mechanical behavior of joints; (3 mathematical representations of the moment–rotation curve. In the current study, a new exponential model to depict the moment–rotation relationship of column base connection is proposed. The proposed nonlinear model represents an approach to the prediction of M–θ curves, taking into account the possible failure modes and the deformation characteristics of the connection elements. The new model has three physical parameters, along with two curve-fitted factors. These physical parameters are generated from dimensional details of the connection, as well as the material properties. The M–θ curves obtained by the model are compared with published connection tests and 3D FEM research. The proposed mathematical model adequately comes close to characterizing M–θ behavior through the full range of loading/rotations. As a result, modeling of column base connections using the proposed mathematical model can give crucial beforehand information, and overcome the disadvantages of time consuming workmanship and cost of experimental studies.
Modeling Clinic for Industrial Mathematics: A Collaborative Project Under Erasmus+ Program
DEFF Research Database (Denmark)
Jurlewicz, Agnieszka; Nunes, Claudia; Russo, Giovanni
2018-01-01
Modeling Clinic for Industrial Mathematics (MODCLIM) is a Strategic Partnership for the Development of Training Workshops and Modeling Clinic for Industrial Mathematics, funded through the European Commission under the Erasmus Plus Program, Key Action 2: Cooperation for innovation and the exchang...
Wodtke, Geoffrey T; Parbst, Matthew
2017-10-01
Although evidence indicates that neighborhoods affect educational outcomes, relatively little research has explored the mechanisms thought to mediate these effects. This study investigates whether school poverty mediates the effect of neighborhood context on academic achievement. Specifically, it uses longitudinal data from the Panel Study of Income Dynamics, counterfactual methods, and a value-added modeling strategy to estimate the total, natural direct, and natural indirect effects of exposure to an advantaged rather than disadvantaged neighborhood on reading and mathematics abilities during childhood and adolescence. Contrary to expectations, results indicate that school poverty is not a significant mediator of neighborhood effects during either developmental period. Although moving from a disadvantaged neighborhood to an advantaged neighborhood is estimated to substantially reduce subsequent exposure to school poverty and improve academic achievement, school poverty does not play an important mediating role because even the large differences in school composition linked to differences in neighborhood context appear to have no appreciable effect on achievement. An extensive battery of sensitivity analyses indicates that these results are highly robust to unobserved confounding, alternative model specifications, alternative measures of school context, and measurement error, which suggests that neighborhood effects on academic achievement are largely due to mediating factors unrelated to school poverty.
Eringen, A Cemal
2013-01-01
Continuum Physics: Volume 1 - Mathematics is a collection of papers that discusses certain selected mathematical methods used in the study of continuum physics. Papers in this collection deal with developments in mathematics in continuum physics and its applications such as, group theory functional analysis, theory of invariants, and stochastic processes. Part I explains tensor analysis, including the geometry of subspaces and the geometry of Finsler. Part II discusses group theory, which also covers lattices, morphisms, and crystallographic groups. Part III reviews the theory of invariants th
Mathematical Modeling of Wastewater Oxidation under Microgravity Conditions
Boyun Guo; Donald W. Holder; David S. Schechter
2005-01-01
Volatile removal assembly (VRA) is a module installed in the International Space Station for removing contaminants (volatile organics) in the wastewater produced by the crew. The VRA contains a slim pack bed reactor to perform catalyst oxidation of the wastewater at elevated pressure and temperature under microgravity conditions. Optimal design of the reactor requires a thorough understanding about how the reactor performs under microgravity conditions. The objective of this study was to theo...
Nix, Samantha; Perez-Felkner, Lara; Thomas, Kirby
2015-01-01
Students' perceptions of their mathematics ability vary by gender and seem to influence science, technology, engineering, and mathematics (STEM) degree choice. Related, students' perceptions during academic difficulty are increasingly studied in educational psychology, suggesting a link between such perceptions and task persistence. Despite interest in examining the gender disparities in STEM, these concepts have not been considered in tandem. In this manuscript, we investigate how perceived ability under challenge—in particular in mathematics domains—influences entry into the most sex-segregated and mathematics-intensive undergraduate degrees: physics, engineering, mathematics, and computer science (PEMC). Using nationally representative Education Longitudinal Study of 2002 (ELS) data, we estimate the influence of perceived ability under challenging conditions on advanced high school science course taking, selection of an intended STEM major, and specific major type 2 years after high school. Demonstrating the importance of specificity when discussing how gender influences STEM career pathways, the intersecting effects of gender and perceived ability under mathematics challenge were distinct for each scientific major category. Perceived ability under challenge in secondary school varied by gender, and was highly predictive of selecting PEMC and health sciences majors. Notably, women's 12th grade perceptions of their ability under mathematics challenge increased their probability of selecting PEMC majors over and above biology. In addition, gender moderated the effect of growth mindset on students' selection of health science majors. Perceptions of ability under challenge in general and verbal domains also influenced retention in and declaration of certain STEM majors. The implications of these results are discussed, with particular attention to access to advanced scientific coursework in high school and interventions aimed at enhancing young women
Nix, Samantha; Perez-Felkner, Lara; Thomas, Kirby
2015-01-01
Students' perceptions of their mathematics ability vary by gender and seem to influence science, technology, engineering, and mathematics (STEM) degree choice. Related, students' perceptions during academic difficulty are increasingly studied in educational psychology, suggesting a link between such perceptions and task persistence. Despite interest in examining the gender disparities in STEM, these concepts have not been considered in tandem. In this manuscript, we investigate how perceived ability under challenge-in particular in mathematics domains-influences entry into the most sex-segregated and mathematics-intensive undergraduate degrees: physics, engineering, mathematics, and computer science (PEMC). Using nationally representative Education Longitudinal Study of 2002 (ELS) data, we estimate the influence of perceived ability under challenging conditions on advanced high school science course taking, selection of an intended STEM major, and specific major type 2 years after high school. Demonstrating the importance of specificity when discussing how gender influences STEM career pathways, the intersecting effects of gender and perceived ability under mathematics challenge were distinct for each scientific major category. Perceived ability under challenge in secondary school varied by gender, and was highly predictive of selecting PEMC and health sciences majors. Notably, women's 12th grade perceptions of their ability under mathematics challenge increased their probability of selecting PEMC majors over and above biology. In addition, gender moderated the effect of growth mindset on students' selection of health science majors. Perceptions of ability under challenge in general and verbal domains also influenced retention in and declaration of certain STEM majors. The implications of these results are discussed, with particular attention to access to advanced scientific coursework in high school and interventions aimed at enhancing young women's perceptions of
A New Mathematical Framework for Design Under Uncertainty
2016-05-05
Kriging and Gaussian-Markov Random Fields, and 2. Bayesian optimization of the most crucial component of the H2-SWATH, namely, the supercavitating ...Brizzolara S. (-). Physics based Design by Opti- mization of Unconventional Supercavitating Hydrofoils. Under review for the Journal of Ship Research. 9
Stein, Sherman K
2010-01-01
Anyone can appreciate the beauty, depth, and vitality of mathematics with the help of this highly readable text, specially developed from a college course designed to appeal to students in a variety of fields. Readers with little mathematical background are exposed to a broad range of subjects chosen from number theory, topology, set theory, geometry, algebra, and analysis. Starting with a survey of questions on weight, the text discusses the primes, the fundamental theorem of arithmetic, rationals and irrationals, tiling, tiling and electricity, probability, infinite sets, and many other topi
Mathematic modelling of circular cylinder deformation under inner grouwth
Directory of Open Access Journals (Sweden)
A. V. Siasiev
2009-09-01
Full Text Available A task on the intensive deformed state (IDS of a viscoelastic declivous cylinder, which is grown under the action of inner pressure, is considered. The process of continuous increase takes a place on an internal radius so, that a radius and pressure change on set to the given law. The special case of linear law of creeping is considered, and also numeral results are presented as the graphs of temporal dependence of tensions and moving for different points of cylinder.
Directory of Open Access Journals (Sweden)
Samantha eNix
2015-06-01
Full Text Available Students’ perceptions of their mathematics ability vary by gender and seem to influence science, technology, engineering, and math (STEM degree choice. Related, students’ perceptions during academic difficulty are increasingly studied in educational psychology, suggesting a link between such perceptions and task persistence. Despite interest in examining the gender disparities in STEM, these concepts have not been considered in tandem. We investigate how perceived ability under challenge – in particular in mathematics domains – influences entry into the most sex-segregated and mathematics-intensive undergraduate degrees: physics, engineering, mathematics, and computer science (PEMC. Using nationally representative Education Longitudinal Study of 2002 (ELS data, we estimate the influence of perceived ability under challenging conditions on advanced high school science course taking, selection of an intended STEM major, and specific major type two years after high school. Demonstrating the importance of specificity when discussing how gender influences STEM career pathways, the intersecting effects of gender and perceived ability under mathematics challenge were distinct for each scientific major category. Perceived ability under challenge in secondary school varied by gender, and was highly predictive of selecting PEMC and health sciences majors. Notably, women’s 12th grade perceptions of their ability under mathematics challenge increased the probability that they would select PEMC majors, increasing women's probability of selecting PEMC over and above biology. In addition, gender moderated the effect of growth mindset on students’ selection of health science majors. The implications of these results are discussed, with particular attention to access to advanced scientific coursework in high school and interventions aimed at enhancing young women’s perceptions of their ability to facilitate their pathways to scientific degrees.
1991-10-01
SUBJECT TERMS 15. NUMBER OF PAGES engineering management information systems method formalization 60 information engineering process modeling 16 PRICE...CODE information systems requirements definition methods knowlede acquisition methods systems engineering 17. SECURITY CLASSIFICATION ji. SECURITY... Management , Inc., Santa Monica, California. CORYNEN, G. C., 1975, A Mathematical Theory of Modeling and Simula- tion. Ph.D. Dissertation, Department
Formal verification - Robust and efficient code: Introduction to Formal Verification
CERN. Geneva
2016-01-01
In general, FV means "proving that certain properties hold for a given system using formal mathematics". This definition can certainly feel daunting, however, as we will learn, we can reap benefits from the paradigm without digging too deep into ...
Formalizing Probabilistic Safety Claims
Herencia-Zapana, Heber; Hagen, George E.; Narkawicz, Anthony J.
2011-01-01
A safety claim for a system is a statement that the system, which is subject to hazardous conditions, satisfies a given set of properties. Following work by John Rushby and Bev Littlewood, this paper presents a mathematical framework that can be used to state and formally prove probabilistic safety claims. It also enables hazardous conditions, their uncertainties, and their interactions to be integrated into the safety claim. This framework provides a formal description of the probabilistic composition of an arbitrary number of hazardous conditions and their effects on system behavior. An example is given of a probabilistic safety claim for a conflict detection algorithm for aircraft in a 2D airspace. The motivation for developing this mathematical framework is that it can be used in an automated theorem prover to formally verify safety claims.
Formalization of Database Systems -- and a Formal Definition of {IMS}
DEFF Research Database (Denmark)
Bjørner, Dines; Løvengreen, Hans Henrik
1982-01-01
Drawing upon an analogy between Programming Language Systems and Database Systems we outline the requirements that architectural specifications of database systems must futfitl, and argue that only formal, mathematical definitions may 6atisfy these. Then we illustrate home aspects and touch upon...... come ueee of formal definitions of data models and databaee management systems. A formal model of INS will carry this discussion. Finally we survey some of the exkting literature on formal definitions of database systems. The emphasis will be on constructive definitions in the denotationul semantics...... style of the VCM: Vienna Development Nethd. The role of formal definitions in international standardiaation efforts is briefly mentioned....
Rosenthal, Harriet E. S.; Crisp, Richard J.
2007-01-01
This research aimed to establish if the presentation of two positive stereotypes would result in choking under pressure for identified male mathematics students. Seventy-five 16 year old men, who had just commenced their AS-level study, were either made aware of their gender group membership (single positive stereotype), their school group…
Khoshaim, Heba Bakr
2012-01-01
Academic mathematicians' opinions are divided regarding software use in undergraduate mathematics instruction. This study explored these opinions through interviews and a subsequent survey of mathematicians at PhD-granting institutions in the United States regarding their dispositions and the underlying attitudes. Most prior related work had…
Krylov, Piotr
2017-01-01
This monograph is a comprehensive account of formal matrices, examining homological properties of modules over formal matrix rings and summarising the interplay between Morita contexts and K theory. While various special types of formal matrix rings have been studied for a long time from several points of view and appear in various textbooks, for instance to examine equivalences of module categories and to illustrate rings with one-sided non-symmetric properties, this particular class of rings has, so far, not been treated systematically. Exploring formal matrix rings of order 2 and introducing the notion of the determinant of a formal matrix over a commutative ring, this monograph further covers the Grothendieck and Whitehead groups of rings. Graduate students and researchers interested in ring theory, module theory and operator algebras will find this book particularly valuable. Containing numerous examples, Formal Matrices is a largely self-contained and accessible introduction to the topic, assuming a sol...
DEFF Research Database (Denmark)
Sørensen, John Aasted
2011-01-01
The objectives of Discrete Mathematics (IDISM2) are: The introduction of the mathematics needed for analysis, design and verification of discrete systems, including the application within programming languages for computer systems. Having passed the IDISM2 course, the student will be able...... to accomplish the following: -Understand and apply formal representations in discrete mathematics. -Understand and apply formal representations in problems within discrete mathematics. -Understand methods for solving problems in discrete mathematics. -Apply methods for solving problems in discrete mathematics......; construct a finite state machine for a given application. Apply these concepts to new problems. The teaching in Discrete Mathematics is a combination of sessions with lectures and students solving problems, either manually or by using Matlab. Furthermore a selection of projects must be solved and handed...
International Nuclear Information System (INIS)
Bohn, M.P.
1992-12-01
As part of the NRC-sponsored program to study the implications of Generic Issue 57, ''Effects of Fire Protection System Actuation on Safety-Related Equipment,'' a subtask was performed to evaluate the applicability of formal decision analysis methods to generic issues cost/benefit-type decisions and to apply these methods to the GI-57 results. In this report, the numerical results obtained from the analysis of three plants (two PWRs and one BWR) as developed in the technical resolution program for GI-57 were studied. For each plant, these results included a calculation of the person-REM averted due to various accident scenarios and various proposed modifications to mitigate the accident scenarios identified. These results were recomputed to break out the benefit in terms of contributions due to random event scenarios, fire event scenarios, and seismic event scenarios. Furthermore, the benefits associated with risk (in terms of person-REM) averted from earthquakes at three different seismic ground motion levels were separately considered. Given this data, formal decision methodologies involving decision trees, value functions, and utility functions were applied to this basic data. It is shown that the formal decision methodology can be applied at several different levels. Examples are given in which the decision between several retrofits is changed from that resulting from a simple cost/benefit-ratio criterion by virtue of the decision-makinger's expressed (and assumed) preferences
Methodological imperfection and formalizations in scientific activity
International Nuclear Information System (INIS)
Svetlichny, G.
1987-01-01
Any mathematical formalization of scientific activity allows for imperfections in the methodology that is formalized. These can be of three types, dirty, rotten, and dammed. Restricting mathematical attention to those methods that cannot be construed to be imperfect drastically reduces the class of objects that must be analyzed, and related all other objects to these more regular ones. Examples are drawn from empirical logic
Wright, Ann; Provost, Joseph; Roecklein-Canfield, Jennifer A; Bell, Ellis
2013-01-01
Over the past two years, through an NSF RCN UBE grant, the ASBMB has held regional workshops for faculty members from around the country. The workshops have focused on developing lists of Core Principles or Foundational Concepts in Biochemistry and Molecular Biology, a list of foundational skills, and foundational concepts from Physics, Chemistry, and Mathematics that all Biochemistry or Molecular Biology majors must understand to complete their major coursework. The allied fields working group created a survey to validate foundational concepts from Physics, Chemistry, and Mathematics identified from participant feedback at various workshops. One-hundred twenty participants responded to the survey and 68% of the respondents answered yes to the question: "We have identified the following as the core concepts and underlying theories from Physics, Chemistry, and Mathematics that Biochemistry majors or Molecular Biology majors need to understand after they complete their major courses: 1) mechanical concepts from Physics, 2) energy and thermodynamic concepts from Physics, 3) critical concepts of structure from chemistry, 4) critical concepts of reactions from Chemistry, and 5) essential Mathematics. In your opinion, is the above list complete?" Respondents also delineated subcategories they felt should be included in these broad categories. From the results of the survey and this analysis the allied fields working group constructed a consensus list of allied fields concepts, which will help inform Biochemistry and Molecular Biology educators when considering the ASBMB recommended curriculum for Biochemistry or Molecular Biology majors and in the development of appropriate assessment tools to gauge student understanding of how these concepts relate to biochemistry and molecular biology. © 2013 by The International Union of Biochemistry and Molecular Biology.
Indian Academy of Sciences (India)
dimensional superfields, is a clear signature of the presence of the (anti-)BRST invariance in the original. 4D theory. Keywords. Non-Abelian 1-form gauge theory; Dirac fields; (anti-)Becchi–Roucet–Stora–. Tyutin invariance; superfield formalism; ...
DEFF Research Database (Denmark)
Sørensen, John Aasted
2011-01-01
; construct a finite state machine for a given application. Apply these concepts to new problems. The teaching in Discrete Mathematics is a combination of sessions with lectures and students solving problems, either manually or by using Matlab. Furthermore a selection of projects must be solved and handed...... to accomplish the following: -Understand and apply formal representations in discrete mathematics. -Understand and apply formal representations in problems within discrete mathematics. -Understand methods for solving problems in discrete mathematics. -Apply methods for solving problems in discrete mathematics...... to new problems. Relations and functions: Define a product set; define and apply equivalence relations; construct and apply functions. Apply these concepts to new problems. Natural numbers and induction: Define the natural numbers; apply the principle of induction to verify a selection of properties...
Batchelder, William H
2010-09-01
Mathematical psychology is a sub-field of psychology that started in the 1950s and has continued to grow as an important contributor to formal psychological theory, especially in the cognitive areas of psychology such as learning, memory, classification, choice response time, decision making, attention, and problem solving. In addition, there are several scientific sub-areas that were originated by mathematical psychologists such as the foundations of measurement, stochastic memory models, and psychologically motivated reformulations of expected utility theory. Mathematical psychology does not include all uses of mathematics and statistics in psychology, and indeed there is a long history of such uses especially in the areas of perception and psychometrics. What is most unique about mathematical psychology is its approach to theory construction. While accepting the behaviorist dictum that the data in psychology must be observable and replicable, mathematical models are specified in terms of unobservable formal constructs that can predict detailed aspects of data across multiple experimental and natural settings. By now almost all the substantive areas of cognitive and experimental psychology have formal mathematical models and theories, and many of these are due to researchers that identify with mathematical psychology. Copyright © 2010 John Wiley & Sons, Ltd. For further resources related to this article, please visit the WIREs website. Copyright © 2010 John Wiley & Sons, Ltd.
Aberdein, Andrew
2014-01-01
This book presents a comprehensive investigation into the relationship between argumentation theory and the philosophy of mathematical practice. It offers large array of examples ranging from the history of mathematics to formal proof verification.
Denning, Peter J.
1991-01-01
The ongoing debate over the role of formalism and formal specifications in software features many speakers with diverse positions. Yet, in the end, they share the conviction that the requirements of a software system can be unambiguously specified, that acceptable software is a product demonstrably meeting the specifications, and that the design process can be carried out with little interaction between designers and users once the specification has been agreed to. This conviction is part of a larger paradigm prevalent in American management thinking, which holds that organizations are systems that can be precisely specified and optimized. This paradigm, which traces historically to the works of Frederick Taylor in the early 1900s, is no longer sufficient for organizations and software systems today. In the domain of software, a new paradigm, called user-centered design, overcomes the limitations of pure formalism. Pioneered in Scandinavia, user-centered design is spreading through Europe and is beginning to make its way into the U.S.
Mathematical logic in the human brain: syntax.
Directory of Open Access Journals (Sweden)
Roland Friedrich
Full Text Available Theory predicts a close structural relation of formal languages with natural languages. Both share the aspect of an underlying grammar which either generates (hierarchically structured expressions or allows us to decide whether a sentence is syntactically correct or not. The advantage of rule-based communication is commonly believed to be its efficiency and effectiveness. A particularly important class of formal languages are those underlying the mathematical syntax. Here we provide brain-imaging evidence that the syntactic processing of abstract mathematical formulae, written in a first order language, is, indeed efficient and effective as a rule-based generation and decision process. However, it is remarkable, that the neural network involved, consisting of intraparietal and prefrontal regions, only involves Broca's area in a surprisingly selective way. This seems to imply that despite structural analogies of common and current formal languages, at the neural level, mathematics and natural language are processed differently, in principal.
Stroh formalism and Rayleigh waves
Tanuma, Kazumi
2008-01-01
Introduces a powerful and elegant mathematical method for the analysis of anisotropic elasticity equationsThe reader can grasp the essentials as quickly as possibleCan be used as a textbook, which presents compactly introduction and applications of the Stroh formalismAppeals to the people not only in mathematics but also in mechanics and engineering sciencePrerequisites are only basic linear algebra, calculus and fundamentals of differential equations
Träff, Ulf; Olsson, Linda; Skagerlund, Kenny; Östergren, Rickard
2018-03-01
A modified pathways to mathematics model was used to examine the cognitive mechanisms underlying arithmetic skills in third graders. A total of 269 children were assessed on tasks tapping the four pathways and arithmetic skills. A path analysis showed that symbolic number processing was directly supported by the linguistic and approximate quantitative pathways. The direct contribution from the four pathways to arithmetic proficiency varied; the linguistic pathway supported single-digit arithmetic and word problem solving, whereas the approximate quantitative pathway supported only multi-digit calculation. The spatial processing and verbal working memory pathways supported only arithmetic word problem solving. The notion of hierarchical levels of arithmetic was supported by the results, and the different levels were supported by different constellations of pathways. However, the strongest support to the hierarchical levels of arithmetic were provided by the proximal arithmetic skills. Copyright © 2017 Elsevier Inc. All rights reserved.
Directory of Open Access Journals (Sweden)
Kamran Forghani
2012-10-01
Full Text Available In this paper, a new mathematical model in cellular manufacturing systems (CMSs has been presented. In order to increase the performance of manufacturing system, the production quantity of parts has been considered as a decision variable, i.e. each part can be produced and outsourced, simultaneously. This extension would be minimized the unused capacity of machines. The exceptional elements (EEs are taken into account and would be totally outsourced to the external supplier in order to remove intercellular material handling cost. The problem has been formulated as a mixed-integer programming to minimize the sum of manufacturing variable costs under budget, machines capacity and demand constraints. Also, to evaluate advantages of the model, several illustrative numerical examples have been provided to compare the performance of the proposed model with the available classical approaches in the literature.
Mathematical modelling of the destruction degree of cancer under the influence of a RF hyperthermia
Paruch, Marek; Turchan, Łukasz
2018-01-01
The article presents the mathematical modeling of the phenomenon of artificial hyperthermia which is caused by the interaction of an electric field. The electric field is induced by the applicator positioned within the biological tissue with cancer. In addition, in order to estimate the degree of tumor destruction under the influence of high temperature an Arrhenius integral has been used. The distribution of electric potential in the domain considered is described by the Laplace system of equations, while the temperature field is described by the Pennes system of equations. These problems are coupled by source function being the additional component in the Pennes equation and resulting from the electric field action. The boundary element method is applied to solve the coupled problem connected with the heating of biological tissues.
An experimental and mathematical analysis of lymphopoiesis dynamics under continuous irradiation
International Nuclear Information System (INIS)
Zukhbaya, T.M.; Smirnova, O.A.
1991-01-01
A mathematical model describing the dynamics of lymphopoiesis in mammals continuously exposed to ionizing radiation has been developed. It is based on the theory of chalone regulation of hematopoiesis. The model comprises a system of nine differential equations. Results from the model were compared with our experimental data for bone marrow and blood lymphocytes of rats continuously exposed to gamma radiation in a wide range of dose rates. The model reproduces the lymphopoiesis dynamics that we observed in our experiment, in particular, the radiation hormesis at low dose rates, the reduction of lymphopoiesis at intermediate dose rates, and extinction of lymphopoiesis at high dose rates of continuous radiation. The possible explanation of the hormesis is suggested by the framework of the model. The model can be used for predicting the lymphopoiesis dynamics in mammals under continuous irradiation
Doleans, M
2003-01-01
Elliptical superconducting radio frequency (SRF) cavities are sensitive to frequency detuning because they have a high Q value in comparison with normal conducting cavities and weak mechanical properties. Radiation pressure on the cavity walls, microphonics, and tuning system are possible sources of dynamic detuning during SRF cavity-pulsed operation. A general analytic relation between the cavity voltage, the dynamic detuning function, and the RF control function is developed. This expression for the voltage envelope in a cavity under dynamic detuning and dynamic RF controls is analytically expressed through an integral formulation. A semi-analytical scheme is derived to calculate the voltage behavior in any practical case. Examples of voltage envelope behavior for different cases of dynamic detuning and RF control functions are shown. The RF control function for a cavity under dynamic detuning is also investigated and as an application various filling schemes are presented.
International Nuclear Information System (INIS)
Sharma, Shashi; Katiyar, V.K.; Singh, Uaday
2015-01-01
A mathematical model is developed to describe the trajectories of a cluster of magnetic nanoparticles in a blood vessel for the application of magnetic drug targeting (MDT). The magnetic nanoparticles are injected into a blood vessel upstream from a malignant tissue and are captured at the tumour site with help of an applied magnetic field. The applied field is produced by a rare earth cylindrical magnet positioned outside the body. All forces expected to significantly affect the transport of nanoparticles were incorporated, including magnetization force, drag force and buoyancy force. The results show that particles are slow down and captured under the influence of magnetic force, which is responsible to attract the magnetic particles towards the magnet. It is optimized that all particles are captured either before or at the centre of the magnet (z≤0) when blood vessel is very close proximity to the magnet (d=2.5 cm). However, as the distance between blood vessel and magnet (d) increases (above 4.5 cm), the magnetic nanoparticles particles become free and they flow away down the blood vessel. Further, the present model results are validated by the simulations performed using the finite element based COMSOL software. - Highlights: • A mathematical model is developed to describe the trajectories of magnetic nanoparticles. • The dominant magnetic, drag and buoyancy forces are considered. • All particles are captured when distance between blood vessel and magnet (d) is up to 4.5 cm. • Further increase in d value (above 4.5 cm) results the free movement of magnetic particles
Early Number Competencies of Children at the Start of Formal ...
African Journals Online (AJOL)
cce
occupy a central position in the Primary Mathematics Curriculum in Ghana. ... The results of the study suggest that pupils possess varied abilities .... formal classroom instruction, to the use of memorised number facts and formal addition and.
Introducing philosophy of mathematics
Friend, Michele
2014-01-01
What is mathematics about? Does the subject-matter of mathematics exist independently of the mind or are they mental constructions? How do we know mathematics? Is mathematical knowledge logical knowledge? And how is mathematics applied to the material world? In this introduction to the philosophy of mathematics, Michele Friend examines these and other ontological and epistemological problems raised by the content and practice of mathematics. Aimed at a readership with limited proficiency in mathematics but with some experience of formal logic it seeks to strike a balance between conceptual acc
Proof and knowledge in mathematics
Detlefsen, Michael
2005-01-01
These questions arise from any attempt to discover an epistemology for mathematics. This collection of essays considers various questions concerning the nature of justification in mathematics and possible sources of that justification. Among these are the question of whether mathematical justification is a priori or a posteriori in character, whether logical and mathematical differ, and if formalization plays a significant role in mathematical justification,
Mathematical logic foundations for information science
Li, Wei
2010-01-01
This book presents the basic principles and formal calculus of mathematical logic. It covers core contents, extensions and developments of classical mathematical logic, and it offers formal proofs and concrete examples for all theoretical results.
International Nuclear Information System (INIS)
Alvarez, O.; Liu Chienhao
1996-01-01
It has been suggested that a possible classical remnant of the phenomenon of target-space duality (T-duality) would be the equivalence of the classical string Hamiltonian systems. Given a simple compact Lie group G with a bi-invariant metric and a generating function Γ suggested in the physics literature, we follow the above line of thought and work out the canonical transformation Φ generated by Γ together with an Ad-invariant metric and a B-field on the associated Lie algebra g of G so that G and g form a string target-space dual pair at the classical level under the Hamiltonian formalism. In this article, some general features of this Hamiltonian setting are discussed. We study properties of the canonical transformation Φ including a careful analysis of its domain and image. The geometry of the T-dual structure on g is lightly touched. We leave the task of tracing back the Hamiltonian formalism at the quantum level to the sequel of this paper. (orig.). With 4 figs
Concepts of formal concept analysis
Žáček, Martin; Homola, Dan; Miarka, Rostislav
2017-07-01
The aim of this article is apply of Formal Concept Analysis on concept of world. Formal concept analysis (FCA) as a methodology of data analysis, information management and knowledge representation has potential to be applied to a verity of linguistic problems. FCA is mathematical theory for concepts and concept hierarchies that reflects an understanding of concept. Formal concept analysis explicitly formalizes extension and intension of a concept, their mutual relationships. A distinguishing feature of FCA is an inherent integration of three components of conceptual processing of data and knowledge, namely, the discovery and reasoning with concepts in data, discovery and reasoning with dependencies in data, and visualization of data, concepts, and dependencies with folding/unfolding capabilities.
Hebert, Michael A.; Powell, Sarah R.
2016-01-01
Increasingly, students are expected to write about mathematics. Mathematics writing may be informal (e.g., journals, exit slips) or formal (e.g., writing prompts on high-stakes mathematics assessments). In order to develop an effective mathematics-writing intervention, research needs to be conducted on how students organize mathematics writing and…
International Nuclear Information System (INIS)
Engelhardt, G.; Urquidi-Macdonald, M.; Sikora, J.; Macdonald, D.D.
1995-01-01
A predictive and self-consistent mathematical model has been developed to describe the localized corrosion in steam generators. The model recognizes that the internal and external environment are coupled by the need to conserve charge in the system. Thus, solution of Laplace's equation for the external environment (outside the crevice) provides the boundary condition for the electric potential at the crevice mouth, which is needed for solving the system of mass transfer equations for the internal environment (inside the crevice). Mass transfer by diffusion, ion migration, and convection was considered. Heat and momentum transfer equations are solved simultaneously, with the mass balance equation for each species and the condition of electroneutrality inside the cavity being considered. The model takes into account the porosity and tortuosity in the corrosion product deposit in the crevice. The homogeneous chemical reactions (hydrolysis of the products of the anodic reaction and the autoprotolysis of water) are included in the model. The model, in this preliminary form predicts the solution chemistry, potential drop, and temperature distribution inside the crevice. An order of magnitude estimate of the crevice corrosion rate also obtained. At this point, the model predicts only the steady state solution, but it is recognized that a steady state may not exist under normal conditions
Energy Technology Data Exchange (ETDEWEB)
Tabkhi, F.; Azzaro-Pantel, C.; Pibouleau, L.; Domenech, S. [Laboratoire de Genie Chimique, UMR5503 CNRS/INP/UPS, 5 rue Paulin Talabot F-BP1301, 31106 Toulouse Cedex 1 (France)
2008-11-15
This article presents the framework of a mathematical formulation for modelling and evaluating natural gas pipeline networks under hydrogen injection. The model development is based on gas transport through pipelines and compressors which compensate for the pressure drops by implying mainly the mass and energy balances on the basic elements of the network. The model was initially implemented for natural gas transport and the principle of extension for hydrogen-natural gas mixtures is presented. The objective is the treatment of the classical fuel minimizing problem in compressor stations. The optimization procedure has been formulated by means of a nonlinear technique within the General Algebraic Modelling System (GAMS) environment. This work deals with the adaptation of the current transmission networks of natural gas to the transport of hydrogen-natural gas mixtures. More precisely, the quantitative amount of hydrogen that can be added to natural gas can be determined. The studied pipeline network, initially proposed in [1] is revisited here for the case of hydrogen-natural gas mixtures. Typical quantitative results are presented, showing that the addition of hydrogen to natural gas decreases significantly the transmitted power: the maximum fraction of hydrogen that can be added to natural gas is around 6 mass% for this example. (author)
Transforming process models : executable rewrite rules versus a formalized Java program
Van Gorp, P.M.E.; Eshuis, H.; Petriu, D.C.; Rouquette, N.
2010-01-01
In the business process management community, transformations for process models are usually programmed using imperative languages (such as Java). The underlying mapping rules tend to be documented using informal visual rules whereas they tend to be formalized using mathematical set constructs. In
Transforming process models : executable rewrite rules versus a formalized Java program
Van Gorp, P.M.E.; Eshuis, H.
2010-01-01
In the business process management community, transformations for process models are usually programmed using imperative languages. The underlying mapping rules tend to be documented using informal visual rules whereas they tend to be formalized using mathematical set constructs. In the Graph and
Directory of Open Access Journals (Sweden)
John R. Speakman
2013-01-01
The thrifty-gene hypothesis (TGH posits that the modern genetic predisposition to obesity stems from a historical past where famine selected for genes that promote efficient fat deposition. It has been previously argued that such a scenario is unfeasible because under such strong selection any gene favouring fat deposition would rapidly move to fixation. Hence, we should all be predisposed to obesity: which we are not. The genetic architecture of obesity that has been revealed by genome-wide association studies (GWAS, however, calls into question such an argument. Obesity is caused by mutations in many hundreds (maybe thousands of genes, each with a very minor, independent and additive impact. Selection on such genes would probably be very weak because the individual advantages they would confer would be very small. Hence, the genetic architecture of the epidemic may indeed be compatible with, and hence support, the TGH. To evaluate whether this is correct, it is necessary to know the likely effects of the identified GWAS alleles on survival during starvation. This would allow definition of their advantage in famine conditions, and hence the likely selection pressure for such alleles to have spread over the time course of human evolution. We constructed a mathematical model of weight loss under total starvation using the established principles of energy balance. Using the model, we found that fatter individuals would indeed survive longer and, at a given body weight, females would survive longer than males, when totally starved. An allele causing deposition of an extra 80 g of fat would result in an extension of life under total starvation by about 1.1–1.6% in an individual with 10 kg of fat and by 0.25–0.27% in an individual carrying 32 kg of fat. A mutation causing a per allele effect of 0.25% would become completely fixed in a population with an effective size of 5 million individuals in 6000 selection events. Because there have probably been about 24
Directory of Open Access Journals (Sweden)
Diana-Maria Drigă
2015-12-01
Full Text Available The concept of resilience has represented during the recent years a leading concern both in Romania, within the European Union and worldwide. Specialists in economics, management, finance, legal sciences, political sciences, sociology, psychology, grant a particular interest to this concept. Multidisciplinary research of resilience has materialized throughout the time in multiple conceptualizations and theorizing, but without being a consensus between specialists in terms of content, specificity and scope. Through this paper it is intended to clarify the concept of resilience, achieving an exploration of the evolution of this concept in ecological, social and economic environment. At the same time, the paper presents aspects of feedback mechanisms and proposes a formalization of resilience using the logic and mathematical analysis.
Allergenic weed pollen forecast under the mathematical modeling method implementation in ukraine.
Motruk, Irina I; Antomonov, Michael Yu; Rodinkova, Victoria V; Aleksandrova, Olena E; Yermishev, Oleh V
2018-01-01
Introduction: Allergies are the most common reason of the chronic diseases in developed countries and represent an important medical, social and economic issue, the relevance of which is growing both in these countries and in Ukraine. The most famous of these allergens group is the pollen of ambrosia and pollen of poaceae, which are ubiquitously distributed in the subtropical and temperate climate. The aim: The objective of our study was to develop the mathematical models, which will be able to indicate the probability of the pollen circulation, and thus these models can simplify the forecast of symptoms risk and improve the prophylaxis of pollinosis. Materials and methods: The research was conducted on the basis of the research center of National Pirogov Memorial Medical University, Vinnytsia in the years 2012-2014. A volumetric sampler of the Hirst type was used for the air sampling. The observation was conducted from the first of April to the thirty-first of October. For the initial preparation of the tables and intermediate calculations, Excel software package was used. The software STATISTICA 10.0 was applied to calculate the average coefficients values and their statistical characteristics (beta-values, errors of the mean values, Student's t-test, veracity and the factors percentage contribution into the function variation). Results: Statistically significant correlation between pollen concentrations of herbaceous plants and individual meteorological factors was found; classificational functions were designed by which it is possible to calculate the probability of presence or absence of Artemisia pollen in the atmosphere; the risks of increasing of the Artemisia pollen concentration are determined under exceeding of the critical temperature of 18°С, relative humidity of 67% and atmospheric pressure of 980 Pa. Conclusions. The results of the research can be used to predict the emission of potentially hazardous concentrations of weed pollen grains in the
Pertl, Marie-Theres; Zamarian, Laura; Delazer, Margarete
2017-08-01
In this study, we assessed to what extent reasoning improves performance in decision making under risk in a laboratory gambling task (Game of Dice Task-Double, GDT-D). We also investigated to what degree individuals with above average mathematical competence decide better than those with average mathematical competence. Eighty-five participants performed the GDT-D and several numerical tasks. Forty-two individuals were asked to calculate the probabilities and the outcomes associated with the different options of the GDT-D before performing it. The other 43 individuals performed the GDT-D at the beginning of the test session. Both reasoning and mathematical competence had a positive effect on decision making. Different measures of mathematical competence correlated with advantageous performance in decision making. Results suggest that decision making under explicit risk conditions improves when individuals are encouraged to reflect about the contingencies of a decision situation. Interventions based on numerical reasoning may also be useful for patients with difficulties in decision making.
DEFF Research Database (Denmark)
Masses of Formal Philosophy is an outgrowth of Formal Philosophy. That book gathered the responses of some of the most prominent formal philosophers to five relatively open and broad questions initiating a discussion of metaphilosophical themes and problems surrounding the use of formal methods i...... in philosophy. Including contributions from a wide range of philosophers, Masses of Formal Philosophy contains important new responses to the original five questions.......Masses of Formal Philosophy is an outgrowth of Formal Philosophy. That book gathered the responses of some of the most prominent formal philosophers to five relatively open and broad questions initiating a discussion of metaphilosophical themes and problems surrounding the use of formal methods...
Formal Methods for Life-Critical Software
Butler, Ricky W.; Johnson, Sally C.
1993-01-01
The use of computer software in life-critical applications, such as for civil air transports, demands the use of rigorous formal mathematical verification procedures. This paper demonstrates how to apply formal methods to the development and verification of software by leading the reader step-by-step through requirements analysis, design, implementation, and verification of an electronic phone book application. The current maturity and limitations of formal methods tools and techniques are then discussed, and a number of examples of the successful use of formal methods by industry are cited.
Formal Verification of Mathematical Software. Volume 2
1990-05-01
nplus i 1) (nplus ,j k) iter ZERO f s =s iter (SUCC n) f s = iter n f (f s) PROVE x=(SUCC x)’=’(!x)’ PROVE ’ nplus ZERO n’ = ent PROVE ’ nplus ( SUCO n...PROVE ’niess (SUCC n) (SUCC mn)’ = ’niess n mn’ PROVE ’niess n ( SUCO mn)’ = ’true’, (’nim’=’true’ V/ ’niess n in’=’true’) PROVE ’niess (SUCC n) mn
Slot, Esther M.; Viersen, Sietske van; de Bree, Elise H.; Kroesbergen, Evelyn H.
2016-01-01
High comorbidity rates have been reported between mathematical learning disabilities (MD) and reading and spelling disabilities (RSD). Research has identified skills related to math, such as number sense (NS) and visuospatial working memory (visuospatial WM), as well as to literacy, such as
Early-Years Swimming: Creating Opportunities for Adding Mathematical Capital to Under 5s
Jorgensen, Robyn
2013-01-01
Drawing on survey data from over 2000 parents, this paper explores the possibility of early-years swimming to add mathematical capital to young children. Using developmental milestones as the basis, it was found that parents reported significantly earlier achievement on many of these milestones. Such data suggest that the early years swim…
Mazzocco, Michele M. M.; Feigenson, Lisa; Halberda, Justin
2011-01-01
Many children have significant mathematical learning disabilities (MLD, or dyscalculia) despite adequate schooling. The current study hypothesizes that MLD partly results from a deficiency in the Approximate Number System (ANS) that supports nonverbal numerical representations across species and throughout development. In this study of 71 ninth…
Representations of spacetime: Formalism and ontological commitment
Bain, Jonathan Stanley
This dissertation consists of two parts. The first is on the relation between formalism and ontological commitment in the context of theories of spacetime, and the second is on scientific realism. The first part begins with a look at how the substantivalist/relationist debate over the ontological status of spacetime has been influenced by a particular mathematical formalism, that of tensor analysis on differential manifolds (TADM). This formalism has motivated the substantivalist position known as manifold substantivalism. Chapter 1 focuses on the hole argument which maintains that manifold substantivalism is incompatible with determinism. I claim that the realist motivations underlying manifold substantivalism can be upheld, and the hole argument avoided, by adopting structural realism with respect to spacetime. In this context, this is the claim that it is the structure that spacetime points enter into that warrants belief and not the points themselves. In Chapter 2, an elimination principle is defined by means of which a distinction can be made between surplus structure and essential structure with respect to formulations of a theory in two distinct mathematical formulations and some prior ontological commitments. This principle is then used to demonstrate that manifold points may be considered surplus structure in the formulation of field theories. This suggests that, if we are disposed to read field theories literally, then, at most, it should be the essential structure common to all alternative formulations of such theories that should be taken literally. I also investigate how the adoption of alternative formalisms informs other issues in the philosophy of spacetime. Chapter 3 offers a realist position which takes a semantic moral from the preceding investigation and an epistemic moral from work done on reliability. The semantic moral advises us to read only the essential structure of our theories literally. The epistemic moral shows us that such structure
Zhao, Hui; Wei, Jingxuan
2014-09-01
The key to the concept of tunable wavefront coding lies in detachable phase masks. Ojeda-Castaneda et al. (Progress in Electronics Research Symposium Proceedings, Cambridge, USA, July 5-8, 2010) described a typical design in which two components with cosinusoidal phase variation operate together to make defocus sensitivity tunable. The present study proposes an improved design and makes three contributions: (1) A mathematical derivation based on the stationary phase method explains why the detachable phase mask of Ojeda-Castaneda et al. tunes the defocus sensitivity. (2) The mathematical derivations show that the effective bandwidth wavefront coded imaging system is also tunable by making each component of the detachable phase mask move asymmetrically. An improved Fisher information-based optimization procedure was also designed to ascertain the optimal mask parameters corresponding to specific bandwidth. (3) Possible applications of the tunable bandwidth are demonstrated by simulated imaging.
Rent pricing decision support mathematical model for finance leases under effective risks
Directory of Open Access Journals (Sweden)
Rabbani Masoud
2015-01-01
Full Text Available Nowadays, leasing has become an increasingly important and popular method for equipment acquisition. But, because of the rent pricing difficulties and some risks that affect the lessor and lessee's decision making, there are many people that still tend to buy equipment instead of lease it. In this paper we explore how risk can affect the leasing issue support mathematical model. For this purpose, we consider three types of risk; Credit risk, Transaction risk and Risk based pricing. In particular, our focus was on how to make decision about rent pricing in a leasing problem with different customers, various quality levels and different pricing methods. Finally, the mathematical model has been solved by Genetic Algorithm that is a search heuristic to optimize the problem. This algorithm was coded in MATLAB® R2012a to provide the best set of results.
Psychologist in non-formal education
Pavićević Miljana S.
2011-01-01
Learning is not limited to school time. It starts at birth and continues throughout the entire life. Equally important as formal education there are also non-formal and informal education. Any kind of learning outside the traditional school can be called informal. However, it is not easy to define non-formal education because it is being described differently, for example as an education movement, process, system… Projects and programs implemented under the name of non-formal education are of...
Partridge, Chris; de Cesare, Sergio; Mitchell, Andrew; Odell, James
2018-01-01
Formalization is becoming more common in all stages of the development of information systems, as a better understanding of its benefits emerges. Classification systems are ubiquitous, no more so than in domain modeling. The classification pattern that underlies these systems provides a good case study of the move toward formalization in part because it illustrates some of the barriers to formalization, including the formal complexity of the pattern and the ontological issues surrounding the "one and the many." Powersets are a way of characterizing the (complex) formal structure of the classification pattern, and their formalization has been extensively studied in mathematics since Cantor's work in the late nineteenth century. One can use this formalization to develop a useful benchmark. There are various communities within information systems engineering (ISE) that are gradually working toward a formalization of the classification pattern. However, for most of these communities, this work is incomplete, in that they have not yet arrived at a solution with the expressiveness of the powerset benchmark. This contrasts with the early smooth adoption of powerset by other information systems communities to, for example, formalize relations. One way of understanding the varying rates of adoption is recognizing that the different communities have different historical baggage. Many conceptual modeling communities emerged from work done on database design, and this creates hurdles to the adoption of the high level of expressiveness of powersets. Another relevant factor is that these communities also often feel, particularly in the case of domain modeling, a responsibility to explain the semantics of whatever formal structures they adopt. This paper aims to make sense of the formalization of the classification pattern in ISE and surveys its history through the literature, starting from the relevant theoretical works of the mathematical literature and gradually shifting focus
Jothi, A Lenin
2009-01-01
Financial services, particularly banking and insurance services is the prominent sector for the development of a nation. After the liberalisation of financial sector in India, the scope of getting career opportunities has been widened. It is heartening to note that various universities in India have introduced professional courses on banking and insurance. A new field of applied mathematics has come into prominence under the name of Financial Mathematics. Financial mathematics has attained much importance in the recent years because of the role played by mathematical concepts in decision - m
Shelomentsev, A. G.; Medvedev, M. A.; Berg, D. B.; Lapshina, S. N.; Taubayev, A. A.; Davletbaev, R. H.; Savina, D. V.
2017-12-01
Present study is devoted to the development of competition life cycle mathematical model in the closed business community with limited resources. Growth of each agent is determined by the balance of input and output resource flows: input (cash) flow W is covering the variable V and constant C costs and growth dA/dt of the agent's assets A. Value of V is proportional to assets A that allows us to write down a first order non-stationary differential equation of the agent growth. Model includes the number of such equations due to the number of agents. The amount of resources that is available for agents vary in time. The balances of their input and output flows are changing correspondingly to the different stages of the competition life cycle. According to the theory of systems, the most complete description of any object or process is the model of its life cycle. Such a model describes all stages of its development: from the appearance ("birth") through development ("growth") to extinction ("death"). The model of the evolution of an individual firm, not contradicting the economic meaning of events actually observed in the market, is the desired result from modern AVMs for applied use. With a correct description of the market, rules for participants' actions, restrictions, forecasts can be obtained, which modern mathematics and the economy can not give.
A Mathematical Model and Algorithm for Routing Air Traffic Under Weather Uncertainty
Sadovsky, Alexander V.
2016-01-01
A central challenge in managing today's commercial en route air traffic is the task of routing the aircraft in the presence of adverse weather. Such weather can make regions of the airspace unusable, so all affected flights must be re-routed. Today this task is carried out by conference and negotiation between human air traffic controllers (ATC) responsible for the involved sectors of the airspace. One can argue that, in so doing, ATC try to solve an optimization problem without giving it a precise quantitative formulation. Such a formulation gives the mathematical machinery for constructing and verifying algorithms that are aimed at solving the problem. This paper contributes one such formulation and a corresponding algorithm. The algorithm addresses weather uncertainty and has closed form, which allows transparent analysis of correctness, realism, and computational costs.
Crossley, J N; Brickhill, CJ; Stillwell, JC
2010-01-01
Although mathematical logic can be a formidably abstruse topic, even for mathematicians, this concise book presents the subject in a lively and approachable fashion. It deals with the very important ideas in modern mathematical logic without the detailed mathematical work required of those with a professional interest in logic.The book begins with a historical survey of the development of mathematical logic from two parallel streams: formal deduction, which originated with Aristotle, Euclid, and others; and mathematical analysis, which dates back to Archimedes in the same era. The streams beg
Zharinov, V. V.
2013-02-01
We propose a formal construction generalizing the classic de Rham complex to a wide class of models in mathematical physics and analysis. The presentation is divided into a sequence of definitions and elementary, easily verified statements; proofs are therefore given only in the key case. Linear operations are everywhere performed over a fixed number field {F} = {R},{C}. All linear spaces, algebras, and modules, although not stipulated explicitly, are by definition or by construction endowed with natural locally convex topologies, and their morphisms are continuous.
International Nuclear Information System (INIS)
Ezkerra, A; Mayora, K; Ruano-López, J M; Wilson, P A
2008-01-01
A mathematical model that estimates the deflection of straight microcantilevers embedded in a microchannel under a pressure-driven flow at low Reynolds numbers is presented. The model makes use of the Schwarz–Christoffel mapping in order to couple the geometry of the structure and the flow passing around it. Therefore, it allows the determination of the most influential parameters and suitable modifications in order to achieve the desired performance. The model does not require specific knowledge of the flow conditions in the vicinity of the structure, which improves its practical use during the early stages of design. Estimations have been made for two straight cantilevers under a range of pressures. The results obtained show good agreement with measurements from experiments
Directory of Open Access Journals (Sweden)
Douglas Walton
2015-12-01
Full Text Available This paper presents a formalization of informal logic using the Carneades Argumentation System (CAS, a formal, computational model of argument that consists of a formal model of argument graphs and audiences. Conflicts between pro and con arguments are resolved using proof standards, such as preponderance of the evidence. CAS also formalizes argumentation schemes. Schemes can be used to check whether a given argument instantiates the types of argument deemed normatively appropriate for the type of dialogue.
Formal methods for industrial critical systems a survey of applications
Margaria-Steffen, Tiziana
2012-01-01
"Today, formal methods are widely recognized as an essential step in the design process of industrial safety-critical systems. In its more general definition, the term formal methods encompasses all notations having a precise mathematical semantics, together with their associated analysis methods, that allow description and reasoning about the behavior of a system in a formal manner.Growing out of more than a decade of award-winning collaborative work within the European Research Consortium for Informatics and Mathematics, Formal Methods for Industrial Critical Systems: A Survey of Applications presents a number of mainstream formal methods currently used for designing industrial critical systems, with a focus on model checking. The purpose of the book is threefold: to reduce the effort required to learn formal methods, which has been a major drawback for their industrial dissemination; to help designers to adopt the formal methods which are most appropriate for their systems; and to offer a panel of state-of...
Pragmatics for formal semantics
DEFF Research Database (Denmark)
Danvy, Olivier
2011-01-01
This tech talk describes how to write and how to inter-derive formal semantics for sequential programming languages. The progress reported here is (1) concrete guidelines to write each formal semantics to alleviate their proof obligations, and (2) simple calculational tools to obtain a formal...
Smith, Rebekah E.; Bayen, Ute Johanna; Martin, Claudia
2010-01-01
Fifty 7-year-olds (29 female), 53 10-year-olds (29 female), and 36 young adults (19 female), performed a computerized event-based prospective memory task. All three groups differed significantly in prospective memory performance with adults showing the best performance and 7-year-olds the poorest performance. We used a formal multinomial process tree model of event-based prospective memory to decompose age differences in cognitive processes that jointly contribute to prospective memory perfor...
Directory of Open Access Journals (Sweden)
Mariana Alves de Guimaraens
Full Text Available Heterogeneous access to sanitation services is a characteristic of communities in Brazil. This heterogeneity leads to different patterns of hepatitis A endemicity: areas with low infection rates have higher probability of outbreaks, and areas with higher infection rates have high prevalence and low risk of outbreaks. Here we develop a mathematical model to study the effect of variable exposure to infection on the epidemiological dynamics of hepatitis A. Differential equations were used to simulate population dynamics and were numerically solved using the software StellaTM. The model uses parameters from serological surveys in the Greater Metropolitan Rio de Janeiro, in areas with different sanitation conditions. Computer simulation experiments show that the range of infection rates observed in these communities are characteristic of high and low levels of hepatitis A endemicity. We also found that the functional relationship between sanitation and exposure to infection is an important component of the model. The analysis of the public health impact of partial sanitation requires a better understanding of this relationship.
A mathematical model for the transfer of soil solutes to runoff under water scouring.
Yang, Ting; Wang, Quanjiu; Wu, Laosheng; Zhang, Pengyu; Zhao, Guangxu; Liu, Yanli
2016-11-01
The transfer of nutrients from soil to runoff often causes unexpected pollution in water bodies. In this study, a mathematical model that relates to the detachment of soil particles by water flow and the degree of mixing between overland flow and soil nutrients was proposed. The model assumes that the mixing depth is an integral of average water flow depth, and it was evaluated by experiments with three water inflow rates to bare soil surfaces and to surfaces with eight treatments of different stone coverages. The model predicted outflow rates were compared with the experimentally observed data to test the accuracy of the infiltration parameters obtained by curve fitting the models to the data. Further analysis showed that the comprehensive mixing coefficient (ke) was linearly correlated with Reynolds' number Re (R(2)>0.9), and this relationship was verified by comparing the simulated potassium concentration and cumulative mass with observed data, respectively. The best performance with the bias error analysis (Nash Sutcliffe coefficient of efficiency (NS), relative error (RE) and the coefficient of determination (R(2))) showed that the predicted data by the proposed model was in good agreement with the measured data. Thus the model can be used to guide soil-water and fertilization management to minimize nutrient runoff from cropland. Copyright © 2016 Elsevier B.V. All rights reserved.
Closing the gap between formalism and application
DEFF Research Database (Denmark)
Christensen, Ole Ravn
2008-01-01
A common problem in learning mathematics concerns the gap between, on the one hand, doing the formalisms and calculations of abstract mathematics and, on the other hand, applying these in a specific contextualized setting for example the engineering world. The skills acquired through problem......-based learning (PBL), in the special model used at Aalborg University, Denmark, may give us some idea of how to bridge this gap. Through an investigation of a series of examples of student projects concerning the application of mathematical subjects-such as matrices, differential equations, cluster analysis...
Towards a Formal Framework for Computational Trust
DEFF Research Database (Denmark)
Nielsen, Mogens; Krukow, Karl Kristian; Sassone, Vladimiro
2006-01-01
We define a mathematical measure for the quantitative comparison of probabilistic computational trust systems, and use it to compare a well-known class of algorithms based on the so-called beta model. The main novelty is that our approach is formal, rather than based on experimental simulation....
Formalizing Darwinism and inclusive fitness theory.
Grafen, Alan
2009-11-12
Inclusive fitness maximization is a basic building block for biological contributions to any theory of the evolution of society. There is a view in mathematical population genetics that nothing is caused to be maximized in the process of natural selection, but this is explained as arising from a misunderstanding about the meaning of fitness maximization. Current theoretical work on inclusive fitness is discussed, with emphasis on the author's 'formal Darwinism project'. Generally, favourable conclusions are drawn about the validity of assuming fitness maximization, but the need for continuing work is emphasized, along with the possibility that substantive exceptions may be uncovered. The formal Darwinism project aims more ambitiously to represent in a formal mathematical framework the central point of Darwin's Origin of Species, that the mechanical processes of inheritance and reproduction can give rise to the appearance of design, and it is a fitting ambition in Darwin's bicentenary year to capture his most profound discovery in the lingua franca of science.
Beware the tail that wags the dog: informal and formal models in biology.
Gunawardena, Jeremy
2014-11-05
Informal models have always been used in biology to guide thinking and devise experiments. In recent years, formal mathematical models have also been widely introduced. It is sometimes suggested that formal models are inherently superior to informal ones and that biology should develop along the lines of physics or economics by replacing the latter with the former. Here I suggest to the contrary that progress in biology requires a better integration of the formal with the informal. © 2014 Gunawardena. This article is distributed by The American Society for Cell Biology under license from the author(s). Two months after publication it is available to the public under an Attribution–Noncommercial–Share Alike 3.0 Unported Creative Commons License (http://creativecommons.org/licenses/by-nc-sa/3.0).
Bomba, A. Ya.; Safonik, A. P.
2018-03-01
A mathematical model of the process of aerobic treatment of wastewater has been refined. It takes into account the interaction of bacteria, as well as of organic and biologically nonoxidizing substances under conditions of diffusion and mass transfer perturbations. An algorithm of the solution of the corresponding nonlinear perturbed problem of convection-diffusion-mass transfer type has been constructed, with a computer experiment carried out based on it. The influence of the concentration of oxygen and of activated sludge on the quality of treatment is shown. Within the framework of the model suggested, a possibility of automated control of the process of deposition of impurities in a biological filter depending on the initial parameters of the water medium is suggested.
Bomba, A. Ya.; Safonik, A. P.
2018-05-01
A mathematical model of the process of aerobic treatment of wastewater has been refined. It takes into account the interaction of bacteria, as well as of organic and biologically nonoxidizing substances under conditions of diffusion and mass transfer perturbations. An algorithm of the solution of the corresponding nonlinear perturbed problem of convection-diffusion-mass transfer type has been constructed, with a computer experiment carried out based on it. The influence of the concentration of oxygen and of activated sludge on the quality of treatment is shown. Within the framework of the model suggested, a possibility of automated control of the process of deposition of impurities in a biological filter depending on the initial parameters of the water medium is suggested.
Navarro-Fontestad, Carmen; González-Álvarez, Isabel; Fernández-Teruel, Carlos; Bermejo, Marival; Casabó, Vicente Germán
2012-01-01
The aim of the present work was to develop a new mathematical method for estimating the area under the curve (AUC) and its variability that could be applied in different preclinical experimental designs and amenable to be implemented in standard calculation worksheets. In order to assess the usefulness of the new approach, different experimental scenarios were studied and the results were compared with those obtained with commonly used software: WinNonlin® and Phoenix WinNonlin®. The results do not show statistical differences among the AUC values obtained by both procedures, but the new method appears to be a better estimator of the AUC standard error, measured as the coverage of 95% confidence interval. In this way, the new proposed method demonstrates to be as useful as WinNonlin® software when it was applicable. Copyright © 2011 John Wiley & Sons, Ltd.
Gavrilovic, Daniel Miodrag
2013-01-01
The No Child Left Behind Act of 2001 has put many schools under a lot of pressure to meet its high demands. In this quantitative study, the effects that the NCLB act has had on students' opportunity to learn (OTL) and Subject Level Success (SS) from 2004 to 2012 in 9th, 10th, and 11th grade math coursework (Algebra 1, Geometry, Algebra 2, and…
A. Mirzazadeh
2011-01-01
The inventory models, generally, are derived with considering two methods: (1) minimizing the average annual cost or (2) minimizing the discounted cost. This paper compares the optimal ordering policies determined by these methods under uncertain inflationary situations. The inventory and shortages behavior have been analyzed with using the differential equations. The numerical examples are used to illustrate the theoretical results. A detailed analysis on the models parameters has been perfo...
Industrial use of formal methods formal verification
Boulanger, Jean-Louis
2012-01-01
At present the literature gives students and researchers of the very general books on the formal technics. The purpose of this book is to present in a single book, a return of experience on the used of the "formal technics" (such proof and model-checking) on industrial examples for the transportation domain. This book is based on the experience of people which are completely involved in the realization and the evaluation of safety critical system software based. The implication of the industrialists allows to raise the problems of confidentiality which could appear and so allow
Classical Mathematical Logic The Semantic Foundations of Logic
Epstein, Richard L
2011-01-01
In Classical Mathematical Logic, Richard L. Epstein relates the systems of mathematical logic to their original motivations to formalize reasoning in mathematics. The book also shows how mathematical logic can be used to formalize particular systems of mathematics. It sets out the formalization not only of arithmetic, but also of group theory, field theory, and linear orderings. These lead to the formalization of the real numbers and Euclidean plane geometry. The scope and limitations of modern logic are made clear in these formalizations. The book provides detailed explanations of all proo
DEFF Research Database (Denmark)
Villesèche, Florence; Josserand, Emmanuel
2017-01-01
/organisations and the wider social group of women in business. Research limitations/implications: The authors focus on the distinction between external and internal formal women-only networks while also acknowledging the broader diversity that can characterise such networks. Their review provides the reader with an insight...... member level, the authors suggest that such networks can be of value for organisations and the wider social group of women in management and leadership positions.......Purpose: The purpose of this paper is to review the emerging literature on formal women-only business networks and outline propositions to develop this under-theorised area of knowledge and stimulate future research. Design/methodology/approach: The authors review the existing literature on formal...
The role of formal specifications
International Nuclear Information System (INIS)
McHugh, J.
1994-01-01
The role of formal requirements specification is discussed under the premise that the primary purpose of such specifications is to facilitate clear and unambiguous communications among the communities of interest for a given project. An example is presented in which the failure to reach such an understanding resulted in an accident at a chemical plant. Following the example, specification languages based on logical formalisms and notations are considered. These are rejected as failing to serve the communications needs of diverse communities. The notion of a specification as a surrogate for a program is also considered and rejected. The paper ends with a discussion of the type of formal notation that will serve the communications role and several encouraging developments are noted
Logicism, intuitionism, and formalism
Symons, John
2008-01-01
Aims to review the programmes in the foundations of mathematics from the classical period and to assess their possible relevance for contemporary philosophy of mathematics. This work is suitable for researchers and graduate students of philosophy, logic, mathematics and theoretical computer science.
DEFF Research Database (Denmark)
du Gay, Paul; Lopdrup-Hjorth, Thomas
Over recent decades, institutions exhibiting high degrees of formality have come in for severe criticism. From the private to the public sector, and across a whole spectrum of actors spanning from practitioners to academics, formal organization is viewed with increasing doubt and skepticism....... In a “Schumpetarian world” (Teece et al., 1997: 509) of dynamic competition and incessant reform, formal organization appears as well suited to survival as a fish out of water. Indeed, formal organization, and its closely overlapping semantic twin bureaucracy, are not only represented as ill suited to the realities...... is that formal organization is an obstacle to be overcome. For that very reason, critics, intellectuals and reformers alike have urged public and private organizations to break out of the stifling straightjacket of formality, to dispense with bureaucracy, and to tear down hierarchies. This could either be done...
Formal methods in software development: A road less travelled
Directory of Open Access Journals (Sweden)
John A van der Poll
2010-08-01
Full Text Available An integration of traditional verification techniques and formal specifications in software engineering is presented. Advocates of such techniques claim that mathematical formalisms allow them to produce quality, verifiably correct, or at least highly dependable software and that the testing and maintenance phases are shortened. Critics on the other hand maintain that software formalisms are hard to master, tedious to use and not well suited for the fast turnaround times demanded by industry. In this paper some popular formalisms and the advantages of using these during the early phases of the software development life cycle are presented. Employing the Floyd-Hoare verification principles during the formal specification phase facilitates reasoning about the properties of a specification. Some observations that may help to alleviate the formal-methods controversy are established and a number of formal methods successes is presented. Possible conditions for an increased acceptance of formalisms in oftware development are discussed.
Integrating semi-formal and formal requirements
Wieringa, Roelf J.; Olivé, Antoni; Dubois, Eric; Pastor, Joan Antoni; Huyts, Sander
1997-01-01
In this paper, we report on the integration of informal, semiformal and formal requirements specification techniques. We present a framework for requirements specification called TRADE, within which several well-known semiformal specification techniques are placed. TRADE is based on an analysis of
Mathematical Modeling in the Undergraduate Curriculum
Toews, Carl
2012-01-01
Mathematical modeling occupies an unusual space in the undergraduate mathematics curriculum: typically an "advanced" course, it nonetheless has little to do with formal proof, the usual hallmark of advanced mathematics. Mathematics departments are thus forced to decide what role they want the modeling course to play, both as a component of the…
Directory of Open Access Journals (Sweden)
Benjamin Werner
Full Text Available In the last decade, cancer research has been a highly active and rapidly evolving scientific area. The ultimate goal of all efforts is a better understanding of the mechanisms that discriminate malignant from normal cell biology in order to allow the design of molecular targeted treatment strategies. In individual cases of malignant model diseases addicted to a specific, ideally single oncogene, e.g. Chronic myeloid leukemia (CML, specific tyrosine kinase inhibitors (TKI have indeed been able to convert the disease from a ultimately life-threatening into a chronic disease with individual patients staying in remission even without treatment suggestive of operational cure. These developments have been raising hopes to transfer this concept to other cancer types. Unfortunately, cancer cells tend to develop both primary and secondary resistance to targeted drugs in a substantially higher frequency often leading to a failure of treatment clinically. Therefore, a detailed understanding of how cells can bypass targeted inhibition of signaling cascades crucial for malignant growths is necessary. Here, we have performed an in vitro experiment that investigates kinetics and mechanisms underlying resistance development in former drug sensitive cancer cells over time in vitro. We show that the dynamics observed in these experiments can be described by a simple mathematical model. By comparing these experimental data with the mathematical model, important parameters such as mutation rates, cellular fitness and the impact of individual drugs on these processes can be assessed. Excitingly, the experiment and the model suggest two fundamentally different ways of resistance evolution, i.e. acquisition of mutations and phenotype switching, each subject to different parameters. Most importantly, this complementary approach allows to assess the risk of resistance development in the different phases of treatment and thus helps to identify the critical periods where
Working memory resources in young children with mathematical difficulties.
Kyttälä, Minna; Aunio, Pirjo; Hautamäki, Jarkko
2010-02-01
Working memory (WM) (Baddeley, 1986, 1997) is argued to be one of the most important cognitive resources underlying mathematical competence (Geary, 2004). Research has established close links between WM deficits and mathematical difficulties. This study investigated the possible deficits in WM, language and fluid intelligence that seem to characterize 4- to 6-year-old children with poor early mathematical skills before formal mathematics education. Children with early mathematical difficulties showed poor performance in both verbal and visuospatial WM tasks as well as on language tests and a fluid intelligence test indicating a thoroughly lower cognitive base. Poor WM performance was not moderated by fluid intelligence, but the extent of WM deficits was related to language skills. The educational implications are discussed.
Geometry and Formal Linguistics.
Huff, George A.
This paper presents a method of encoding geometric line-drawings in a way which allows sets of such drawings to be interpreted as formal languages. A characterization of certain geometric predicates in terms of their properties as languages is obtained, and techniques usually associated with generative grammars and formal automata are then applied…
Software Formal Inspections Guidebook
1993-01-01
The Software Formal Inspections Guidebook is designed to support the inspection process of software developed by and for NASA. This document provides information on how to implement a recommended and proven method for conducting formal inspections of NASA software. This Guidebook is a companion document to NASA Standard 2202-93, Software Formal Inspections Standard, approved April 1993, which provides the rules, procedures, and specific requirements for conducting software formal inspections. Application of the Formal Inspections Standard is optional to NASA program or project management. In cases where program or project management decide to use the formal inspections method, this Guidebook provides additional information on how to establish and implement the process. The goal of the formal inspections process as documented in the above-mentioned Standard and this Guidebook is to provide a framework and model for an inspection process that will enable the detection and elimination of defects as early as possible in the software life cycle. An ancillary aspect of the formal inspection process incorporates the collection and analysis of inspection data to effect continual improvement in the inspection process and the quality of the software subjected to the process.
37 CFR 251.41 - Formal hearings.
2010-07-01
... ARBITRATION ROYALTY PANEL RULES AND PROCEDURES COPYRIGHT ARBITRATION ROYALTY PANEL RULES OF PROCEDURE Procedures of Copyright Arbitration Royalty Panels § 251.41 Formal hearings. (a) The formal hearings that will be conducted under the rules of this subpart are rate adjustment hearings and royalty fee...
DEFF Research Database (Denmark)
Garsten, Christina; Nyqvist, Anette
Ethnographic work in formal organizations involves learning to recognize the many layers of front stage and back stage of organized life, and to bracket formality. It means to be alert to the fact that what is formal and front stage for one some actors, and in some situations, may in fact be back...... stage and informal for others. Walking the talk, donning the appropriate attire, wearing the proper suit, may be part of what is takes to figure out the code of formal organizational settings – an entrance ticket to the backstage, as it were. Oftentimes, it involves a degree of mimicry, of ‘following...... suits’ (Nyqvist 2013), and of doing ‘ethnography by failure’ (Garsten 2013). In this paper, we explore the layers of informality and formality in our fieldwork experiences among financial investors and policy experts, and discuss how to ethnographically represent embodied fieldwork practices. How do we...
A formalization of the flutter shutter
Tendero, Yohann; Rougé, Bernard; Morel, Jean-Michel
2012-09-01
Acquiring good quality images of moving objects by a digital camera remains a valid question. If the velocity of the photographed object is not known, it is virtually impossible to tune an optimal exposure time. For this reason the recent Agrawal et al. flutter shutter apparatus has generated much interest. In this communication, we propose a mathematical formalization of a general flutter shutter method, also permitting non-binary shutter sequences. Thanks to this formalization, the question of the optimal flutter shutter code can be defined and solved. The method gives analytic formulas for the best attainable SNR for the restored image. It also gives a way to compute optimal flutter shutter codes.
Towards formalization of inspection using petrinets
International Nuclear Information System (INIS)
Javed, M.; Naeem, M.; Bahadur, F.; Wahab, A.
2014-01-01
Achieving better quality software has always been a challenge for software developers. Inspection is one of the most efficient techniques, which ensure the quality of software during its development. To the best of our knowledge, current inspection techniques are not realized by any formal approach. In this paper, we propose an inspection technique, which is not only backed by the formal mathematical semantics of Petri nets, but also supports inspecting concurrent processes. We also use a case study of an agent based distributed processing system to demonstrate the inspection of concurrent processes. (author)
Developing Non-Formal Education Competences as a Complement of Formal Education for STEM Lecturers
Terrazas-Marín, Roy Alonso
2018-01-01
This paper focuses on a current practice piece on professional development for university lecturers, transformative learning, dialogism and STEM (Science, Technology, Engineering and Mathematics) education. Its main goals are to identify the key characteristics that allow STEM educators to experiment with the usage of non-formal education…
Formal modeling of virtual machines
Cremers, A. B.; Hibbard, T. N.
1978-01-01
Systematic software design can be based on the development of a 'hierarchy of virtual machines', each representing a 'level of abstraction' of the design process. The reported investigation presents the concept of 'data space' as a formal model for virtual machines. The presented model of a data space combines the notions of data type and mathematical machine to express the close interaction between data and control structures which takes place in a virtual machine. One of the main objectives of the investigation is to show that control-independent data type implementation is only of limited usefulness as an isolated tool of program development, and that the representation of data is generally dictated by the control context of a virtual machine. As a second objective, a better understanding is to be developed of virtual machine state structures than was heretofore provided by the view of the state space as a Cartesian product.
Necessity of Integral Formalism
International Nuclear Information System (INIS)
Tao Yong
2011-01-01
To describe the physical reality, there are two ways of constructing the dynamical equation of field, differential formalism and integral formalism. The importance of this fact is firstly emphasized by Yang in case of gauge field [Phys. Rev. Lett. 33 (1974) 445], where the fact has given rise to a deeper understanding for Aharonov-Bohm phase and magnetic monopole [Phys. Rev. D 12 (1975) 3845]. In this paper we shall point out that such a fact also holds in general wave function of matter, it may give rise to a deeper understanding for Berry phase. Most importantly, we shall prove a point that, for general wave function of matter, in the adiabatic limit, there is an intrinsic difference between its integral formalism and differential formalism. It is neglect of this difference that leads to an inconsistency of quantum adiabatic theorem pointed out by Marzlin and Sanders [Phys. Rev. Lett. 93 (2004) 160408]. It has been widely accepted that there is no physical difference of using differential operator or integral operator to construct the dynamical equation of field. Nevertheless, our study shows that the Schrödinger differential equation (i.e., differential formalism for wave function) shall lead to vanishing Berry phase and that the Schrödinger integral equation (i.e., integral formalism for wave function), in the adiabatic limit, can satisfactorily give the Berry phase. Therefore, we reach a conclusion: There are two ways of describing physical reality, differential formalism and integral formalism; but the integral formalism is a unique way of complete description. (general)
Understanding mathematical proof
Taylor, John
2014-01-01
Introduction The need for proof The language of mathematics Reasoning Deductive reasoning and truth Example proofs Logic and ReasoningIntroduction Propositions, connectives, and truth tables Logical equivalence and logical implication Predicates and quantification Logical reasoning Sets and Functions Introduction Sets and membership Operations on setsThe Cartesian product Functions and composite functions Properties of functions The Structure of Mathematical ProofsIntroduction Some proofs dissected An informal framework for proofs Direct proof A more formal framework Finding Proofs Direct proo
Review of the helicity formalism
International Nuclear Information System (INIS)
Barreiro, F.; Cerrada, M.; Fernandez, E.
1972-01-01
Our purpose in these notes has been to present a brief and general review of the helicity formalism. We begin by discussing Lorentz invariance, spin and helicity ideas, in section 1 . In section 2 we deal with the construction of relativistic states and scattering amplitudes in the helicity basis and we study their transformation properties under discrete symmetries. Finally we present some more sophisticated topics like kinematical singularities of helicity amplitudes, kinematical constraints and crossing relations 3, 4, 5 respectively. (Author) 8 refs
Directory of Open Access Journals (Sweden)
Michela Riz
2015-12-01
Full Text Available Intestinal L-cells sense glucose and other nutrients, and in response release glucagon-like peptide 1 (GLP-1, peptide YY and other hormones with anti-diabetic and weight-reducing effects. The stimulus-secretion pathway in L-cells is still poorly understood, although it is known that GLP-1 secreting cells use sodium-glucose co-transporters (SGLT and ATP-sensitive K+-channels (K(ATP-channels to sense intestinal glucose levels. Electrical activity then transduces glucose sensing to Ca2+-stimulated exocytosis. This particular glucose-sensing arrangement with glucose triggering both a depolarizing SGLT current as well as leading to closure of the hyperpolarizing K(ATP current is of more general interest for our understanding of glucose-sensing cells. To dissect the interactions of these two glucose-sensing mechanisms, we build a mathematical model of electrical activity underlying GLP-1 secretion. Two sets of model parameters are presented: one set represents primary mouse colonic L-cells; the other set is based on data from the GLP-1 secreting GLUTag cell line. The model is then used to obtain insight into the differences in glucose-sensing between primary L-cells and GLUTag cells. Our results illuminate how the two glucose-sensing mechanisms interact, and suggest that the depolarizing effect of SGLT currents is modulated by K(ATP-channel activity. Based on our simulations, we propose that primary L-cells encode the glucose signal as changes in action potential amplitude, whereas GLUTag cells rely mainly on frequency modulation. The model should be useful for further basic, pharmacological and theoretical investigations of the cellular signals underlying endogenous GLP-1 and peptide YY release.
Formalization of Hostel Management System. | Obi | Journal of the ...
African Journals Online (AJOL)
HMS) can invariably contribute greatly to the success, profitability and customerbased approach of such an organization. The use of formal specification creates a formal approach for specifying the underlying functions and properties of the ...
DEFF Research Database (Denmark)
Levinsen, Karin Tweddell; Sørensen, Birgitte Holm
2013-01-01
are examined and the relation between network society competences, learners’ informal learning strategies and ICT in formalized school settings over time is studied. The authors find that aspects of ICT like multimodality, intuitive interaction design and instant feedback invites an informal bricoleur approach....... When integrated into certain designs for teaching and learning, this allows for Formalized Informal Learning and support is found for network society competences building....
Integrated formal operations plan
Energy Technology Data Exchange (ETDEWEB)
Cort, G.; Dearholt, W.; Donahue, S.; Frank, J.; Perkins, B.; Tyler, R.; Wrye, J.
1994-01-05
The concept of formal operations (that is, a collection of business practices to assure effective, accountable operations) has vexed the Laboratory for many years. To date most attempts at developing such programs have been based upon rigid, compliance-based interpretations of a veritable mountain of Department of Energy (DOE) orders, directives, notices, and standards. These DOE dictates seldom take the broad view but focus on highly specialized programs isolated from the overall context of formal operations. The result is a confusing array of specific, and often contradictory, requirements that produce a patchwork of overlapping niche programs. This unnecessary duplication wastes precious resources, dramatically increases the complexity of our work processes, and communicates a sense of confusion to our customers and regulators. Coupled with the artificial divisions that have historically existed among the Laboratory`s formal operations organizations (quality assurance, configuration management, records management, training, etc.), this approach has produced layers of increasingly vague and complex formal operations plans, each of which interprets its parent and adds additional requirements of its own. Organizational gridlock ensues whenever an activity attempts to implement these bureaucratic monstrosities. The integrated formal operations plan presented is to establish a set of requirements that must be met by an integrated formal operations program, assign responsibilities for implementation and operation of the program, and specify criteria against which the performance of the program will be measured. The accountable line manager specifies the items, processes, and information (the controlled elements) to which the formal operations program specified applies. The formal operations program is implemented using a graded approach based on the level of importance of the various controlled elements and the scope of the activities in which they are involved.
A formal theory of the selfish gene.
Gardner, A; Welch, J J
2011-08-01
Adaptation is conventionally regarded as occurring at the level of the individual organism. In contrast, the theory of the selfish gene proposes that it is more correct to view adaptation as occurring at the level of the gene. This view has received much popular attention, yet has enjoyed only limited uptake in the primary research literature. Indeed, the idea of ascribing goals and strategies to genes has been highly controversial. Here, we develop a formal theory of the selfish gene, using optimization theory to capture the analogy of 'gene as fitness-maximizing agent' in mathematical terms. We provide formal justification for this view of adaptation by deriving mathematical correspondences that translate the optimization formalism into dynamical population genetics. We show that in the context of social interactions between genes, it is the gene's inclusive fitness that provides the appropriate maximand. Hence, genic selection can drive the evolution of altruistic genes. Finally, we use the formalism to assess the various criticisms that have been levelled at the theory of the selfish gene, dispelling some and strengthening others. © 2011 The Authors. Journal of Evolutionary Biology © 2011 European Society For Evolutionary Biology.
Putting Foundations Into Mathematics
Hubbard, G. L.
1972-01-01
For meaningful learning of mathematics, a learning set is required which demands that all things accepted as true should be demonstrable in terms of a paradigm appropriate to the child's cognitive development: preparatory, concrete-particular, concrete-general, formal-abstract. Future teachers should experience all paradigms to become aware that…
Foundations of mathematical logic
Curry, Haskell B
2010-01-01
Written by a pioneer of mathematical logic, this comprehensive graduate-level text explores the constructive theory of first-order predicate calculus. It covers formal methods, including algorithms and epitheory, and offers a brief treatment of Markov's approach to algorithms, explains elementary facts about lattices and similar algebraic systems, and more. 1963 edition.
Mathematics for quantum chemistry
Anderson, Jay Martin
2005-01-01
This concise volume offers undergraduates an introduction to mathematical formalism in problems of molecular structure and motion. The main topics cover the calculus of orthogonal functions, algebra of vector spaces, and Lagrangian and Hamiltonian formulation of classical mechanics and applications to molecular motion. Answers to problems. 1966 edition.
Introduction to formal languages
Révész, György E
1991-01-01
Covers all areas, including operations on languages, context-sensitive languages, automata, decidability, syntax analysis, derivation languages, and more. Numerous worked examples, problem exercises, and elegant mathematical proofs. 1983 edition.
Directory of Open Access Journals (Sweden)
Christian Fuchs
2018-05-01
Full Text Available This contribution presents reflections on the contributions of and the debate between David Harvey and Michael Hardt/Toni Negri that we feature as the opening part of the tripleC-special issue “Marx@200: Debating Capitalism & Perspectives for the Future of Radical Theory”. My reflection contextualises the debate by a discussing the origin and genesis of Marx’s concepts of alienation, formal/real subsumption, and primitive accumulation and b situating the arguments in earlier works by Harvey, Hardt and Negri. This paper points out differences as well as the strong commonalities between the works of Michael Hardt/Toni Negri and David Harvey. It discusses how the categories of universal alienation, formal/real subsumption of society under capital, original/ongoing primitive accumulation of capital are related. Harvey and Hardt/Negri show that Marx’s theory and politics are alive 200 years after his birth and will haunt capitalism as long as it exists. The paper concludes by arguing that Harvey’s concept of anti-value and the autonomous notion of self-valorisation point towards democratic, commons-based alternatives to capitalism.
Mathematics, anxiety, and the brain.
Moustafa, Ahmed A; Tindle, Richard; Ansari, Zaheda; Doyle, Margery J; Hewedi, Doaa H; Eissa, Abeer
2017-05-24
Given that achievement in learning mathematics at school correlates with work and social achievements, it is important to understand the cognitive processes underlying abilities to learn mathematics efficiently as well as reasons underlying the occurrence of mathematics anxiety (i.e. feelings of tension and fear upon facing mathematical problems or numbers) among certain individuals. Over the last two decades, many studies have shown that learning mathematical and numerical concepts relies on many cognitive processes, including working memory, spatial skills, and linguistic abilities. In this review, we discuss the relationship between mathematical learning and cognitive processes as well as the neural substrates underlying successful mathematical learning and problem solving. More importantly, we also discuss the relationship between these cognitive processes, mathematics anxiety, and mathematics learning disabilities (dyscalculia). Our review shows that mathematical cognition relies on a complex brain network, and dysfunction to different segments of this network leads to varying manifestations of mathematical learning disabilities.
The Markov process admits a consistent steady-state thermodynamic formalism
Peng, Liangrong; Zhu, Yi; Hong, Liu
2018-01-01
The search for a unified formulation for describing various non-equilibrium processes is a central task of modern non-equilibrium thermodynamics. In this paper, a novel steady-state thermodynamic formalism was established for general Markov processes described by the Chapman-Kolmogorov equation. Furthermore, corresponding formalisms of steady-state thermodynamics for the master equation and Fokker-Planck equation could be rigorously derived in mathematics. To be concrete, we proved that (1) in the limit of continuous time, the steady-state thermodynamic formalism for the Chapman-Kolmogorov equation fully agrees with that for the master equation; (2) a similar one-to-one correspondence could be established rigorously between the master equation and Fokker-Planck equation in the limit of large system size; (3) when a Markov process is restrained to one-step jump, the steady-state thermodynamic formalism for the Fokker-Planck equation with discrete state variables also goes to that for master equations, as the discretization step gets smaller and smaller. Our analysis indicated that general Markov processes admit a unified and self-consistent non-equilibrium steady-state thermodynamic formalism, regardless of underlying detailed models.
DEFF Research Database (Denmark)
du Gay, Paul; Lopdrup-Hjorth, Thomas
2016-01-01
term this ‘fear of the formal’, outlining key elements of its genealogy and exploring its contemporary manifestation in relation to recent and ongoing reforms of organisational life in a range of contexts. At the same time, we seek to indicate the continuing constitutive significance of formality...
Formalization of Medical Guidelines
Czech Academy of Sciences Publication Activity Database
Peleška, Jan; Anger, Z.; Buchtela, David; Šebesta, K.; Tomečková, Marie; Veselý, Arnošt; Zvára, K.; Zvárová, Jana
2005-01-01
Roč. 1, - (2005), s. 133-141 ISSN 1801-5603 R&D Projects: GA AV ČR 1ET200300413 Institutional research plan: CEZ:AV0Z10300504 Keywords : GLIF model * formalization of guidelines * prevention of cardiovascular diseases Subject RIV: IN - Informatics, Computer Science
Readings in Formal Epistemology
DEFF Research Database (Denmark)
‘Formal epistemology’ is a term coined in the late 1990s for a new constellation of interests in philosophy,the roots of which are found in earlier works of epistemologists, philosophers of science, and logicians. It addresses a growing agenda of problems concerning knowledge, belief, certainty, ...
Criteria for logical formalization
Czech Academy of Sciences Publication Activity Database
Peregrin, Jaroslav; Svoboda, Vladimír
2013-01-01
Roč. 190, č. 14 (2013), s. 2897-2924 ISSN 0039-7857 R&D Projects: GA ČR(CZ) GAP401/10/1279 Institutional support: RVO:67985955 Keywords : logic * logical form * formalization * reflective equilibrium Subject RIV: AA - Philosophy ; Religion Impact factor: 0.637, year: 2013
DEFF Research Database (Denmark)
Rand, John; Torm, Nina Elisabeth
2012-01-01
Based on unique panel data consisting of both formal and informal firms, this paper uses a matched double difference approach to examine the relationship between legal status and firm level outcomes in micro, small and medium manufacturing enterprises (SMEs) in Vietnam. Controlling for determinin...
Formalizing physical security procedures
Meadows, C.; Pavlovic, Dusko
Although the problems of physical security emerged more than 10,000 years before the problems of computer security, no formal methods have been developed for them, and the solutions have been evolving slowly, mostly through social procedures. But as the traffic on physical and social networks is now
Formal specification is an experimental science
Energy Technology Data Exchange (ETDEWEB)
Bjorner, D. [Technical Univ., Lyngby (Denmark)
1992-09-01
Traditionally, abstract models of large, complex systems have been given in free-form mathematics, combining - often in ad-hoc, not formally supported ways - notions from the disciplines of partial differential equations, functional analysis, mathematical statistics, etc. Such models have been very useful for assimilation of information, analysis (investigation), and prediction (simulation). These models have, however, usually not been helpful in deriving computer representations of the modelled systems - for the purposes of computerized monitoring and control, Computing science, concerned with how to construct objects that can exist within the computer, offers ways of complementing, and in some cases, replacing or combining traditional mathematical models. Formal, model-, as well as property-oriented, specifications in the styles of denotational (respectively, algebraic semantics) represent major approaches to such modelling. In this expository, discursive paper we illustrate what we mean by model-oriented specifications of large, complex technological computing systems. The three modelling examples covers the introvert programming methodological subject of SDEs: software development environments, the distributed computing system subject of wfs`s: (transaction) work flow systems, and the extrovert subject of robots: robotics! the thesis is, just as for mathematical modelling, that we can derive much understanding, etc., from experimentally creating such formally specified models - on paper - and that we gain little in additionally building ad-hoc prototypes. Our models are expressed in a model-oriented style using the VDM specification language Meta-IV In this paper the models only reflect the {open_quotes}data modelling{close_quotes} aspects. We observe that such data models are more easily captured in the model-oriented siyle than in the algebraic semantics property-oriented style which originally was built of the abstraction of operations. 101 refs., 4 figs.
Directory of Open Access Journals (Sweden)
Михаил Владимирович Поспелов
2013-12-01
Full Text Available This article describes the model of the organization of working with training mathematical text for technical university students. Need for development of training text works competencies of first-year students is proved. The impact of learning materials transition into hypertext format on training text works organizing theory is cleared. Training text works organizing stages are described.
Pluralism in mathematics a new position in philosophy of mathematics
Friend, Michèle
2014-01-01
This book is about philosophy, mathematics and logic, giving a philosophical account of Pluralism which is a family of positions in the philosophy of mathematics. There are four parts to this book, beginning with a look at motivations for Pluralism by way of Realism, Maddy's Naturalism, Shapiro's Structuralism and Formalism. In the second part of this book the author covers: the philosophical presentation of Pluralism; using a formal theory of logic metaphorically; rigour and proof for the Pluralist; and mathematical fixtures. In the third part the author goes on to focus on the transcendental presentation of Pluralism, and in part four looks at applications of Pluralism, such as a Pluralist approach to proof in mathematics and how Pluralism works in regard to together-inconsistent philosophies of mathematics. The book finishes with suggestions for further Pluralist enquiry. In this work the author takes a deeply radical approach in developing a new position that will either convert readers, or act as a stron...
Thermodynamic and multifractal formalism and the Bowen-series map
International Nuclear Information System (INIS)
Rudolph, O.
1994-07-01
In the theory of quantum chaos one studies the semiclassical behaviour of quantum mechanical systems whose corresponding classical counterparts exhibit chaos. These systems are sometimes considered as model systems in the theory of quantum chaos since they are well understood from a mathematical point of view. In this work we study the multifractal formalism for the geodesic flow on surfaces with constant negative curvature. The multifractal analysis of measures has been developed in order to characterize the scaling behaviour of measures on attractors of classical chaotic dynamical systems globally. In order to relate the multifractal formalism with quantities usually considered in the study of the geodesic flow on Riemann surfaces with constant negative curvature, it is necessary to establish the assertions of the multifractal formalism in a mathematically rigorous way. This is achieved with the help of the thermodynamic formalism for hyperbolic dynamical systems developed by Ruelle, Bowen and others. (orig.)
Mathematical logic foundations for information science
Li, Wei
2014-01-01
Mathematical logic is a branch of mathematics that takes axiom systems and mathematical proofs as its objects of study. This book shows how it can also provide a foundation for the development of information science and technology. The first five chapters systematically present the core topics of classical mathematical logic, including the syntax and models of first-order languages, formal inference systems, computability and representability, and Gödel’s theorems. The last five chapters present extensions and developments of classical mathematical logic, particularly the concepts of version sequences of formal theories and their limits, the system of revision calculus, proschemes (formal descriptions of proof methods and strategies) and their properties, and the theory of inductive inference. All of these themes contribute to a formal theory of axiomatization and its application to the process of developing information technology and scientific theories. The book also describes the paradigm of three kinds...
An Ontology for a TripTych Formal Software Development
DEFF Research Database (Denmark)
Bjørner, Dines
2003-01-01
An ontology, ie., a formalised set of strongly interrelated definitions, is given for an approach to software development that spans domain engineering, requirements engineering and software design - and which is otherwise based on a judicious use of both informal and formal, mathematics-based te......An ontology, ie., a formalised set of strongly interrelated definitions, is given for an approach to software development that spans domain engineering, requirements engineering and software design - and which is otherwise based on a judicious use of both informal and formal, mathematics...
A Survey of Formal Methods for Intelligent Swarms
Truszkowski, Walt; Rash, James; Hinchey, Mike; Rouff, Chrustopher A.
2004-01-01
cutting edge in system correctness, and requires higher levels of assurance than other (traditional) missions that use a single or small number of spacecraft that are deterministic in nature and have near continuous communication access. One of the highest possible levels of assurance comes from the application of formal methods. Formal methods are mathematics-based tools and techniques for specifying and verifying (software and hardware) systems. They are particularly useful for specifying complex parallel systems, such as exemplified by the ANTS mission, where the entire system is difficult for a single person to fully understand, a problem that is multiplied with multiple developers. Once written, a formal specification can be used to prove properties of a system (e.g., the underlying system will go from one state to another or not into a specific state) and check for particular types of errors (e.g., race or livelock conditions). A formal specification can also be used as input to a model checker for further validation. This report gives the results of a survey of formal methods techniques for verification and validation of space missions that use swarm technology. Multiple formal methods were evaluated to determine their effectiveness in modeling and assuring the behavior of swarms of spacecraft using the ANTS mission as an example system. This report is the first result of the project to determine formal approaches that are promising for formally specifying swarm-based systems. From this survey, the most promising approaches were selected and are discussed relative to their possible application to the ANTS mission. Future work will include the application of an integrated approach, based on the selected approaches identified in this report, to the formal specification of the ANTS mission.
DEFF Research Database (Denmark)
Hansen, Vagn Lundsgaard; Gray, Jeremy
Volume 1 in Theme on "History of Mathematics", in "Encyclopedia of Life Support Systems (EOLSS), developed under the auspices of the UNESCO.......Volume 1 in Theme on "History of Mathematics", in "Encyclopedia of Life Support Systems (EOLSS), developed under the auspices of the UNESCO....
Formal specifications for safety grade systems
International Nuclear Information System (INIS)
Chisholm, G.H.; Smith, B.T.; Wojcik, A.S.
1992-01-01
The authors describe the findings of a study into the application of formal methods to the specification of a safety system for an operating nuclear reactor. They developed a formal specification that is used to verify and validate that no unsafe condition will result from action or inaction of the system. For this reason, the specification must facilitate thinking about, talking about, and implementing the system. In fact, the specification must provide a bridge between people (designers, engineers, policy makers) and diverse implementations (hardware, software, sensors, power supplies) at all levels. For a specification to serve as an effective linkage, it must have the following properties: (1) completeness, (2) conciseness, (3) unambiguity, and (4) communicativeness. In this paper they describe the development of a specification that has three properties. This development is based on the use of formal methods, i.e., methods that add mathematical rigor to the development, analysis and operation of computer systems and to applications based thereon (Neumann). They demonstrate that a specification derived from a formal basis facilitates development of the design and its subsequent verification
Transforming PLC Programs into Formal Models for Verification Purposes
Darvas, D; Blanco, E
2013-01-01
Most of CERN’s industrial installations rely on PLC-based (Programmable Logic Controller) control systems developed using the UNICOS framework. This framework contains common, reusable program modules and their correctness is a high priority. Testing is already applied to find errors, but this method has limitations. In this work an approach is proposed to transform automatically PLC programs into formal models, with the goal of applying formal verification to ensure their correctness. We target model checking which is a precise, mathematical-based method to check formalized requirements automatically against the system.
Generalizing Prototype Theory: A Formal Quantum Framework
Aerts, Diederik; Broekaert, Jan; Gabora, Liane; Sozzo, Sandro
2016-01-01
Theories of natural language and concepts have been unable to model the flexibility, creativity, context-dependence, and emergence, exhibited by words, concepts and their combinations. The mathematical formalism of quantum theory has instead been successful in capturing these phenomena such as graded membership, situational meaning, composition of categories, and also more complex decision making situations, which cannot be modeled in traditional probabilistic approaches. We show how a formal quantum approach to concepts and their combinations can provide a powerful extension of prototype theory. We explain how prototypes can interfere in conceptual combinations as a consequence of their contextual interactions, and provide an illustration of this using an intuitive wave-like diagram. This quantum-conceptual approach gives new life to original prototype theory, without however making it a privileged concept theory, as we explain at the end of our paper. PMID:27065436
Generalizing Prototype Theory: A Formal Quantum Framework
Directory of Open Access Journals (Sweden)
Diederik eAerts
2016-03-01
Full Text Available Theories of natural language and concepts have been unable to model the flexibility, creativity, context-dependence, and emergence, exhibited by words, concepts and their combinations. The mathematical formalism of quantum theory has instead been successful in capturing these phenomena such as graded membership, situational meaning, composition of categories, and also more complex decision making situations, which cannot be modeled in traditional probabilistic approaches. We show how a formal quantum approach to concepts and their combinations can provide a powerful extension of prototype theory. We explain how prototypes can interfere in conceptual combinations as a consequence of their contextual interactions, and provide an illustration of this using an intuitive wave-like diagram. This quantum-conceptual approach gives new life to original prototype theory, without however making it a privileged concept theory, as we explain at the end of our paper.
Formalism and physical interpretation in Schroedinger
International Nuclear Information System (INIS)
Paty, M.
1992-01-01
The question of the relation between a formalism and its physical interpretation arises not only when theoretical and conceptual systems are reorganized, but in the theoretical elaboration as well. The Schroedinger's work and thought are examined in this paper with this double concern. His work on the mathematical formalism is constantly sustained by a proper physical thought which takes the form of a wave intuition that guarantees him intelligibility. Concerning his interpretation of quantum mechanics, his thought remains characterized, through its evolution, by a w ave image of the world . The way he deals with space-time structure in General Relativity and favours the possibility of a direct interpretation of space-time geometrical quantities, is also studied. (author). 75 refs
Picture languages formal models for picture recognition
Rosenfeld, Azriel
1979-01-01
Computer Science and Applied Mathematics: Picture Languages: Formal Models for Picture Recognition treats pictorial pattern recognition from the formal standpoint of automata theory. This book emphasizes the capabilities and relative efficiencies of two types of automata-array automata and cellular array automata, with respect to various array recognition tasks. The array automata are simple processors that perform sequences of operations on arrays, while the cellular array automata are arrays of processors that operate on pictures in a highly parallel fashion, one processor per picture element. This compilation also reviews a collection of results on two-dimensional sequential and parallel array acceptors. Some of the analogous one-dimensional results and array grammars and their relation to acceptors are likewise covered in this text. This publication is suitable for researchers, professionals, and specialists interested in pattern recognition and automata theory.
Mathematics and Computer Science: The Interplay
Madhavan, Veni CE
2005-01-01
Mathematics has been an important intellectual preoccupation of man for a long time. Computer science as a formal discipline is about seven decades young. However, one thing in common between all users and producers of mathematical thought is the almost involuntary use of computing. In this article, we bring to fore the many close connections and parallels between the two sciences of mathematics and computing. We show that, unlike in the other branches of human inquiry where mathematics is me...
Luther, Kenneth H.
2012-01-01
Mathematical modeling of groundwater flow is a topic at the intersection of mathematics and geohydrology and is rarely encountered in undergraduate mathematics. However, this subject is full of interesting and meaningful examples of truly "applied" mathematics accessible to undergraduates, from the pre-calculus to advanced mathematics levels. This…
PhiMSAMP: philosophy of mathematics: sociological aspects and mathematical practice
Löwe, B.; Müller, T.
2010-01-01
Philosophy of mathematics is moving in a new direction: away from a foundationalism in terms of formal logic and traditional ontology, and towards a broader range of approaches that are united by a focus on mathematical practice. The scientific research network PhiMSAMP (Philosophy of Mathematics:
A comprehensive overview on the foundations of formal concept analysis
Directory of Open Access Journals (Sweden)
K. Sumangali
2017-12-01
Full Text Available The immersion of voluminous collection of data is inevitable almost everywhere. The invention of mathematical models to analyse the patterns and trends of the data is an emerging necessity to extract and predict useful information in any Knowledge Discovery from Data (KDD process. The Formal Concept Analysis (FCA is an efficient mathematical model used in the process of KDD which is specially designed to portray the structure of the data in a context and depict the underlying patterns and hierarchies in it. Due to the huge increase in the application of FCA in various fields, the number of research and review articles on FCA has raised to a large extent. This review differs from the existing ones in presenting the comprehensive survey on the fundamentals of FCA in a compact and crisp manner to benefit the beginners and its focuses on the scalability issues in FCA. Further, we present the generic anatomy of FCA apart from its origin and growth at a primary level.
van Kerkhove, Bart
2007-01-01
Philosophy of mathematics today has transformed into a very complex network of diverse ideas, viewpoints, and theories. Sometimes the emphasis is on the ""classical"" foundational work (often connected with the use of formal logical methods), sometimes on the sociological dimension of the mathematical research community and the ""products"" it produces, then again on the education of future mathematicians and the problem of how knowledge is or should be transmitted from one generation to the next. The editors of this book felt the urge, first of all, to bring together the widest variety of aut
Formal Analysis of Domain Models
National Research Council Canada - National Science Library
Bharadwaj, Ramesh
2002-01-01
Recently, there has been a great deal of interest in the application of formal methods, in particular, precise formal notations and automatic analysis tools for the creation and analysis of requirements specifications (i.e...
African Journals Online (AJOL)
MATHEMATICS CONNECTION aims at providing a forum topromote the development of Mathematics Education in Ghana. Articles that seekto enhance the teaching and/or learning of mathematics at all levels of theeducational system are welcome.
Sethi, M.; Sharma, A.; Vasishth, A.
2017-05-01
The present paper deals with the mathematical modeling of the propagation of torsional surface waves in a non-homogeneous transverse isotropic elastic half-space under a rigid layer. Both rigidities and density of the half-space are assumed to vary inversely linearly with depth. Separation of variable method has been used to get the analytical solutions for the dispersion equation of the torsional surface waves. Also, the effects of nonhomogeneities on the phase velocity of torsional surface waves have been shown graphically. Also, dispersion equations have been derived for some particular cases, which are in complete agreement with some classical results.
Formal Ontologies and Uncertainty. In Geographical Knowledge
Directory of Open Access Journals (Sweden)
Matteo Caglioni
2014-05-01
Full Text Available Formal ontologies have proved to be a very useful tool to manage interoperability among data, systems and knowledge. In this paper we will show how formal ontologies can evolve from a crisp, deterministic framework (ontologies of hard knowledge to new probabilistic, fuzzy or possibilistic frameworks (ontologies of soft knowledge. This can considerably enlarge the application potential of formal ontologies in geographic analysis and planning, where soft knowledge is intrinsically linked to the complexity of the phenomena under study. The paper briefly presents these new uncertainty-based formal ontologies. It then highlights how ontologies are formal tools to define both concepts and relations among concepts. An example from the domain of urban geography finally shows how the cause-to-effect relation between household preferences and urban sprawl can be encoded within a crisp, a probabilistic and a possibilistic ontology, respectively. The ontology formalism will also determine the kind of reasoning that can be developed from available knowledge. Uncertain ontologies can be seen as the preliminary phase of more complex uncertainty-based models. The advantages of moving to uncertainty-based models is evident: whether it is in the analysis of geographic space or in decision support for planning, reasoning on geographic space is almost always reasoning with uncertain knowledge of geographic phenomena.
Topical Roots of Formal Dialectic
Krabbe, Erik C. W.
Formal dialectic has its roots in ancient dialectic. We can trace this influence in Charles Hamblin's book on fallacies, in which he introduced his first formal dialectical systems. Earlier, Paul Lorenzen proposed systems of dialogical logic, which were in fact formal dialectical systems avant la
Foundations and fundamental concepts of mathematics
Eves, Howard
1997-01-01
Third edition of popular undergraduate-level text offers historic overview, readable treatment of mathematics before Euclid, Euclid's Elements, non-Euclidean geometry, algebraic structure, formal axiomatics, sets, more. Problems, some with solutions. Bibliography.
Fuzzy and rough formal concept analysis: a survey
Poelmans, J.; Ignatov, D.I.; Kuznetsov, S.O.; Dedene, G.
2014-01-01
Formal Concept Analysis (FCA) is a mathematical technique that has been extensively applied to Boolean data in knowledge discovery, information retrieval, web mining, etc. applications. During the past years, the research on extending FCA theory to cope with imprecise and incomplete information made
Novikova, V.; Nikolaeva, O.
2017-11-01
In the article the authors consider a cognitive management method of the investment-building complex in the crisis conditions. The factors influencing the choice of an investment strategy are studied, the basic lines of the activity in the field of crisis-management from a position of mathematical modelling are defined. The general approach to decision-making on investment in real assets on the basis of the discrete systems based on the optimum control theory is offered. With the use of a discrete maximum principle the task in view of the decision is found. The numerical algorithm to define the optimum control is formulated by investments. Analytical decisions for the case of constant profitability of the basic means are obtained.
DEFF Research Database (Denmark)
Levinsen, Karin; Sørensen, Birgitte Holm
2011-01-01
and other relevant stakeholders, as well as participant observations in the classroom documented by thick descriptions, formal and informal interviews and focus group interviews. The aim of the study was to explore and identify relations between designs for teaching and learning and the students' learning......This paper presents findings from a large-scale longitudinal, qualitative study - Project ICT and Learning (PIL) - that engaged the participation of eight primary schools in Denmark, and was conducted between 2006 and 2008. The research design was based on action research, involving teachers...... of school subjects within defined learning goals and curricula, along with various implementations of ICT in the pedagogical everyday practice (Levinsen & Sørensen 2008). However, another research strand - the topic of this paper - emerged during the project's life cycle as a consequence of ongoing changes...
A Formal Calculus for Categories
DEFF Research Database (Denmark)
Cáccamo, Mario José
This dissertation studies the logic underlying category theory. In particular we present a formal calculus for reasoning about universal properties. The aim is to systematise judgements about functoriality and naturality central to categorical reasoning. The calculus is based on a language which...... extends the typed lambda calculus with new binders to represent universal constructions. The types of the languages are interpreted as locally small categories and the expressions represent functors. The logic supports a syntactic treatment of universality and duality. Contravariance requires a definition...... of universality generous enough to deal with functors of mixed variance. Ends generalise limits to cover these kinds of functors and moreover provide the basis for a very convenient algebraic manipulation of expressions. The equational theory of the lambda calculus is extended with new rules for the definitions...
Algorithmic Principles of Mathematical Programming
Faigle, Ulrich; Kern, Walter; Still, Georg
2002-01-01
Algorithmic Principles of Mathematical Programming investigates the mathematical structures and principles underlying the design of efficient algorithms for optimization problems. Recent advances in algorithmic theory have shown that the traditionally separate areas of discrete optimization, linear
Mathematical Footprints Discovering Mathematics Everywhere
Pappas, Theoni
1999-01-01
MATHEMATICAL FOOTPRINTS takes a creative look at the role mathematics has played since prehistoric times, and will play in the future, and uncovers mathematics where you least expect to find it from its many uses in medicine, the sciences, and its appearance in art to its patterns in nature and its central role in the development of computers. Pappas presents mathematical ideas in a readable non-threatening manner. MATHEMATICAL FOOTPRINTS is another gem by the creator of THE MATHEMATICS CALENDAR and author of THE JOY OF MATHEMATICS. "Pappas's books have been gold mines of mathematical ent
Directory of Open Access Journals (Sweden)
Reginaldo Santana Figueiredo
1994-12-01
Full Text Available O presente trabalho tem por objetivo a sistematização e a apresentação dos conceitos fundamentais da Teoria dos Jogos, a formalização matemática dos principais conceitos clássicos de solução de um jogo e ilustrar sua aplicação ao problema da distribuição de custo conjunto. Como produto de uma pesquisa de alguns anos, conseguimos reunir sistematicamente o conjunto de conceitos de solução de jogos donde se derivam todos conceitos encontrados nos textos atuais. Apresentamos os conceitos de solução para os chamados jogos cooperativos através do conceito de objeção e contra-objeção de forma a mostrar que os mesmos podem ser vistos como um processo de negociação.This paper presents the basic concepts of Game Theory and the mathematical formalizations of classic concepts of game solutions. We surveyed the fundamental concepts from where we derive the concepts of game solutions that can be found in the modern papers. We feature the concepts to the game named cooperative-games by concepts of objection and counterobjection to show that they can be understood as a negotiation process. In addition, we show how the Game Theory can be applied to the problem of the assignment of joint cost.
International Nuclear Information System (INIS)
Brandhuber, Andreas; Spence, Bill; Travaglini, Gabriele
2011-01-01
We review two novel techniques used to calculate tree-level scattering amplitudes efficiently: MHV diagrams, and on-shell recursion relations. For the MHV diagrams, we consider applications to tree-level amplitudes and focus in particular on the N=4 supersymmetric formulation. We also briefly describe the derivation of loop amplitudes using MHV diagrams. For the recursion relations, after presenting their general proof, we discuss several applications to massless theories with and without supersymmetry, to theories with massive particles, and to graviton amplitudes in general relativity. This article is an invited review for a special issue of Journal of Physics A: Mathematical and Theoretical devoted to 'Scattering amplitudes in gauge theories'. (review)
New method of contour image processing based on the formalism of spiral light beams
Volostnikov, Vladimir G.; Kishkin, S. A.; Kotova, S. P.
2013-07-01
The possibility of applying the mathematical formalism of spiral light beams to the problems of contour image recognition is theoretically studied. The advantages and disadvantages of the proposed approach are evaluated; the results of numerical modelling are presented.
A Formal Approach to User Interface Design using Hybrid System Theory, Phase I
National Aeronautics and Space Administration — Optimal Synthesis Inc.(OSI) proposes to develop an aiding tool for user interface design that is based on mathematical formalism of hybrid system theory. The...
Spinor formalism and complex-vector formalism of general relativity
International Nuclear Information System (INIS)
Han-ying, G.; Yong-shi, W.; Gendao, L.
1974-01-01
In this paper, using E. Cartan's exterior calculus, we give the spinor form of the structure equations, which leads naturally to the Newman--Penrose equations. Furthermore, starting from the spinor spaces and the el (2C) algebra, we construct the general complex-vector formalism of general relativity. We find that both the Cahen--Debever--Defrise complex-vector formalism and that of Brans are its special cases. Thus, the spinor formalism and the complex-vector formalism of general relativity are unified on the basis of the uni-modular group SL(2C) and its Lie algebra
Modularizing Remedial Mathematics
Wong, Aaron
2013-01-01
As remedial mathematics education has become an increasingly important topic of conversation in higher education. Mathematics departments have been put under increased pressure to change their programs to increase the student success rate. A number of models have been introduced over the last decade that represent a wide range of new ideas and…
Directory of Open Access Journals (Sweden)
Juan J. Arbeláez-Toro
2013-11-01
Full Text Available A computational simulation is Implemented, in order to response to a problem of dynamics associated With The assessment of adherence in suspension systems. The process begins with the lifting of the most representative geometries of a MacPherson system of a Nissan Sentra B13, where each of the devices is created and assembled into a CAD software to give a dynamic solution on a CAE multibody package. Afterwards a mathematical model was created whose differential equations are generated substantiated on Newton's second law and this are resolved using Matlab-Simulink applications. Once the model developing process is over, the variables are fed with accurate information of the studied vehicle to obtain the graphs that give an answer to EuSAMA (European Shock Absorber Manufacturers Association test protocol for the adherence analysis. The results presented show the reliability of the developed models when compared with the experimental test; furthermore, it demonstrates that the decrease of the damping coefficient compromises the vehicle´s adherence on the track, affecting its stability and maneuverability.
Pitel, J; Lehtonen, J; Kovács, P
2002-01-01
We have developed a mathematical model, which enables us to predict the voltage-current V(I) characteristics of a solenoidal high-temperature superconductor (HTS) magnet subjected to an external magnetic field parallel to the magnet axis. The model takes into account the anisotropy in the critical current-magnetic field (I sub c (B)) characteristic and the n-value of Bi(2223)Ag multifilamentary tape at 20 K. From the power law between the electric field and the ratio of the operating and critical currents, the voltage on the magnet terminals is calculated by integrating the contributions of individual turns. The critical current of each turn, at given values of operating current and external magnetic field, is obtained by simple linear interpolation between the two suitable points of the I sub c (B) characteristic, which corresponds to the angle alpha between the vector of the resulting magnetic flux density and the broad tape face. In fact, the model is valid for any value and orientation of external magneti...
Gauge theory and gravitation: an approach to a fiber bundle formalism
International Nuclear Information System (INIS)
Mello, L.A. de.
1986-01-01
The thesis is composed of two different parts. A formal complete and rigorous mathematical part-of topics of differential manilfolds, exterior calculus, riemannian geometry, principal fiber bundle (p.f.) with connections and linear connections and a second part of application of this mathematical formalism concerning physical theories, particularly the Maxwell eletromagnetism (EM), gauge theory of Yang-Mills (Y-M), the GRT, and the gravitation theory of Einstein-Cartan. (E.C.) [pt
Jamsek, Damir A.
1993-01-01
A brief example of the use of formal methods techniques in the specification of a software system is presented. The report is part of a larger effort targeted at defining a formal methods pilot project for NASA. One possible application domain that may be used to demonstrate the effective use of formal methods techniques within the NASA environment is presented. It is not intended to provide a tutorial on either formal methods techniques or the application being addressed. It should, however, provide an indication that the application being considered is suitable for a formal methods by showing how such a task may be started. The particular system being addressed is the Structured File Services (SFS), which is a part of the Data Storage and Retrieval Subsystem (DSAR), which in turn is part of the Data Management System (DMS) onboard Spacestation Freedom. This is a software system that is currently under development for NASA. An informal mathematical development is presented. Section 3 contains the same development using Penelope (23), an Ada specification and verification system. The complete text of the English version Software Requirements Specification (SRS) is reproduced in Appendix A.
Fourier Series Formalization in ACL2(r
Directory of Open Access Journals (Sweden)
Cuong K. Chau
2015-09-01
Full Text Available We formalize some basic properties of Fourier series in the logic of ACL2(r, which is a variant of ACL2 that supports reasoning about the real and complex numbers by way of non-standard analysis. More specifically, we extend a framework for formally evaluating definite integrals of real-valued, continuous functions using the Second Fundamental Theorem of Calculus. Our extended framework is also applied to functions containing free arguments. Using this framework, we are able to prove the orthogonality relationships between trigonometric functions, which are the essential properties in Fourier series analysis. The sum rule for definite integrals of indexed sums is also formalized by applying the extended framework along with the First Fundamental Theorem of Calculus and the sum rule for differentiation. The Fourier coefficient formulas of periodic functions are then formalized from the orthogonality relations and the sum rule for integration. Consequently, the uniqueness of Fourier sums is a straightforward corollary. We also present our formalization of the sum rule for definite integrals of infinite series in ACL2(r. Part of this task is to prove the Dini Uniform Convergence Theorem and the continuity of a limit function under certain conditions. A key technique in our proofs of these theorems is to apply the overspill principle from non-standard analysis.
Formal methods in design and verification of functional specifications
International Nuclear Information System (INIS)
Vaelisuo, H.
1995-01-01
It is claimed that formal methods should be applied already when specifying the functioning of the control/monitoring system, i.e. when planning how to implement the desired operation of the plant. Formal methods are seen as a way to mechanize and thus automate part of the planning. All mathematical methods which can be applied on related problem solving should be considered as formal methods. Because formal methods can only support the designer, not replace him/her, they must be integrated into a design support tool. Such a tool must also aid the designer in getting the correct conception of the plant and its behaviour. The use of a hypothetic design support tool is illustrated to clarify the requirements such a tool should fulfill. (author). 3 refs, 5 figs
Using History to Teach Mathematics: The Case of Logarithms
Panagiotou, Evangelos N.
2011-01-01
Many authors have discussed the question why we should use the history of mathematics to mathematics education. For example, Fauvel (For Learn Math, 11(2): 3-6, 1991) mentions at least fifteen arguments for applying the history of mathematics in teaching and learning mathematics. Knowing how to introduce history into mathematics lessons is a more difficult step. We found, however, that only a limited number of articles contain instructions on how to use the material, as opposed to numerous general articles suggesting the use of the history of mathematics as a didactical tool. The present article focuses on converting the history of logarithms into material appropriate for teaching students of 11th grade, without any knowledge of calculus. History uncovers that logarithms were invented prior of the exponential function and shows that the logarithms are not an arbitrary product, as is the case when we leap straight in the definition given in all modern textbooks, but they are a response to a problem. We describe step by step the historical evolution of the concept, in a way appropriate for use in class, until the definition of the logarithm as area under the hyperbola. Next, we present the formal development of the theory and define the exponential function. The teaching sequence has been successfully undertaken in two high school classrooms.
Directory of Open Access Journals (Sweden)
Darenskiy Alexander
2017-01-01
Full Text Available At present, the most common track model is the one in which rails are presented as bars of infinite length rested on continuous elastic foundation. However, some specialists consider the model to be rather ideal for railways in terms of track and the technical state of track. Calculation of track as a bar rested on numerous elastic supports with variable characteristics of stiffness under static loads has shown that application of methods of elastic foundation gives results understated by 17-24%. The study presents mathematic models of the vehicle/track dynamic system, and a design scheme of track presented as a bar on numerous elastic dissipative supports with non-linear characteristics, which is taken on the base of this system. The authors developed models and methods to define the reduced vertical stiffness of the track in the wheel/rail contact point, which considers rail elastic and geometric characteristics, stiffness of supports, distance between supports and distributed track mass. The value of stiffness is variable by time for each wheel at any time and various for the vehicle’s wheels. The mathematical model proposed has been implemented in Matlab software and will make it possible to conduct numerical research into the track/vehicle dynamics.
Formal System Verification - Extension 2
2012-08-08
vision of truly trustworthy systems has been to provide a formally verified microkernel basis. We have previously developed the seL4 microkernel...together with a formal proof (in the theorem prover Isabelle/HOL) of its functional correctness [6]. This means that all the behaviours of the seL4 C...source code are included in the high-level, formal specification of the kernel. This work enabled us to provide further formal guarantees about seL4 , in
Formalized Epistemology, Logic, and Grammar
Bitbol, Michel
The task of a formal epistemology is defined. It appears that a formal epistemology must be a generalization of "logic" in the sense of Wittgenstein's Tractatus. The generalization is required because, whereas logic presupposes a strict relation between activity and language, this relation may be broken in some domains of experimental enquiry (e.g., in microscopic physics). However, a formal epistemology should also retain a major feature of Wittgenstein's "logic": It must not be a discourse about scientific knowledge, but rather a way of making manifest the structures usually implicit in knowledge-gaining activity. This strategy is applied to the formalism of quantum mechanics.
Proof, rigour and informality : a virtue account of mathematical knowledge
Tanswell, Fenner Stanley
2017-01-01
This thesis is about the nature of proofs in mathematics as it is practiced, contrasting the informal proofs found in practice with formal proofs in formal systems. In the first chapter I present a new argument against the Formalist-Reductionist view that informal proofs are justified as rigorous and correct by corresponding to formal counterparts. The second chapter builds on this to reject arguments from Gödel's paradox and incompleteness theorems to the claim that mathematics is inherently...
Andreescu, Titu; Tetiva, Marian
2017-01-01
Building bridges between classical results and contemporary nonstandard problems, Mathematical Bridges embraces important topics in analysis and algebra from a problem-solving perspective. Blending old and new techniques, tactics and strategies used in solving challenging mathematical problems, readers will discover numerous genuine mathematical gems throughout that will heighten their appreciation of the inherent beauty of mathematics. Most of the problems are original to the authors and are intertwined in a well-motivated exposition driven by representative examples. The book is structured to assist the reader in formulating and proving conjectures, as well as devising solutions to important mathematical problems by making connections between various concepts and ideas from different areas of mathematics. Instructors and educators teaching problem-solving courses or organizing mathematics clubs, as well as motivated mathematics students from high school juniors to college seniors, will find Mathematical Bri...
Formal, Non-Formal and Informal Learning in the Sciences
Ainsworth, Heather L.; Eaton, Sarah Elaine
2010-01-01
This research report investigates the links between formal, non-formal and informal learning and the differences between them. In particular, the report aims to link these notions of learning to the field of sciences and engineering in Canada and the United States, including professional development of adults working in these fields. It offers…
The objective of this study was to develop primary and secondary models to describe the growth of Salmonella in raw ground beef. Primary and secondary models can be integrated into a dynamic model that can predict the microbial growth under varying environmental conditions. Growth data of Salmonel...
Sriraman, Bharath, Ed.
2012-01-01
The interaction of the history of mathematics and mathematics education has long been construed as an esoteric area of inquiry. Much of the research done in this realm has been under the auspices of the history and pedagogy of mathematics group. However there is little systematization or consolidation of the existing literature aimed at…
The challenge of computer mathematics.
Barendregt, Henk; Wiedijk, Freek
2005-10-15
Progress in the foundations of mathematics has made it possible to formulate all thinkable mathematical concepts, algorithms and proofs in one language and in an impeccable way. This is not in spite of, but partially based on the famous results of Gödel and Turing. In this way statements are about mathematical objects and algorithms, proofs show the correctness of statements and computations, and computations are dealing with objects and proofs. Interactive computer systems for a full integration of defining, computing and proving are based on this. The human defines concepts, constructs algorithms and provides proofs, while the machine checks that the definitions are well formed and the proofs and computations are correct. Results formalized so far demonstrate the feasibility of this 'computer mathematics'. Also there are very good applications. The challenge is to make the systems more mathematician-friendly, by building libraries and tools. The eventual goal is to help humans to learn, develop, communicate, referee and apply mathematics.
DEFF Research Database (Denmark)
Bjørner, Dines; Havelund, Klaus
2014-01-01
In this "40 years of formal methods" essay we shall first delineate, Sect. 1, what we mean by method, formal method, computer science, computing science, software engineering, and model-oriented and algebraic methods. Based on this, we shall characterize a spectrum from specification-oriented met...
Leibniz' First Formalization of Syllogistics
DEFF Research Database (Denmark)
Robering, Klaus
2014-01-01
of letters just those which belong to the useful, i.e., valid, modes. The set of codes of valid modes turns out to be a so-called "regular" language (in the sense of formal-language-theory). Leibniz' formalization of syllogistics in his Dissertatio thus contains an estimation of the computational complexity...
Seniority in projection operator formalism
International Nuclear Information System (INIS)
Ullah, N.
1976-01-01
It is shown that the concept of seniority can be introduced in projection operator formalism through the use of the operator Q, which has been defined by de-Shalit and Talmi. The usefulness of seniority concept in projection operator formalism is discussed. An example of four nucleons in j=3/2 configuration is given for illustrative purposes
A Formalization of Linkage Analysis
DEFF Research Database (Denmark)
Ingolfsdottir, Anna; Christensen, A.I.; Hansen, Jens A.
In this report a formalization of genetic linkage analysis is introduced. Linkage analysis is a computationally hard biomathematical method, which purpose is to locate genes on the human genome. It is rooted in the new area of bioinformatics and no formalization of the method has previously been ...
On the Equivalence of Formal Grammars and Machines.
Lund, Bruce
1991-01-01
Explores concepts of formal language and automata theory underlying computational linguistics. A computational formalism is described known as a "logic grammar," with which computational systems process linguistic data, with examples in declarative and procedural semantics and definite clause grammars. (13 references) (CB)
New procedure for departure formalities
HR & GS Departments
2011-01-01
As part of the process of simplifying procedures and rationalising administrative processes, the HR and GS Departments have introduced new personalised departure formalities on EDH. These new formalities have applied to students leaving CERN since last year and from 17 October 2011 this procedure will be extended to the following categories of CERN personnel: Staff members, Fellows and Associates. It is planned to extend this electronic procedure to the users in due course. What purpose do departure formalities serve? The departure formalities are designed to ensure that members of the personnel contact all the relevant services in order to return any necessary items (equipment, cards, keys, dosimeter, electronic equipment, books, etc.) and are aware of all the benefits to which they are entitled on termination of their contract. The new departure formalities on EDH have the advantage of tailoring the list of services that each member of the personnel must visit to suit his individual contractual and p...
... this page: //medlineplus.gov/ency/article/001534.htm Mathematics disorder To use the sharing features on this page, please enable JavaScript. Mathematics disorder is a condition in which a child's ...
Schlenker, Philippe; Chemla, Emmanuel; Schel, Anne M.; Fuller, James; Gautier, Jean-Pierre; Kuhn, Jeremy; Veselinović, Dunja; Arnold, Kate; Cäsar, Cristiane; Keenan, Sumir; Lemasson, Alban; Ouattara, Karim; Ryder, Robin; Zuberbühler, Klaus
2016-01-01
Zuberbühler: The research leading to these results received funding from the European Research Council under ERC grant ‘Prilang 283871’ and also from the Swiss National Science Foundation under grant ‘FN 310030_143359/1’. We argue that rich data gathered in experimental primatology in the last 40 years can benefit from analytical methods used in contemporary linguistics. Focusing on the syntactic and especially semantic side, we suggest that these methods could help clarify five questions:...
International Nuclear Information System (INIS)
Mavrotas, George; Diakoulaki, Danae; Florios, Kostas; Georgiou, Paraskevas
2008-01-01
The aim of this paper is to provide an integrated modeling and optimization framework for energy planning in large consumers of the services' sector based on mathematical programming. The power demand is vaguely known and the underlying uncertainty is modeled using elements from fuzzy set theory. The defined fuzzy programming model is subsequently transformed to an equivalent multi-objective problem, where the minimization of cost and the maximization of demand satisfaction are the objective functions. The Pareto optimal solutions of this problem are obtained using a novel version of the ε-constraint method and represent the possibly optimal solutions of the original problem under uncertainty. In the present case, in order to select the most preferred Pareto optimal solution, the minimax regret criterion is properly used to indicate the preferred configuration of the system (i.e. the size of the installed units) given the load uncertainty. Furthermore, the paper proposes a model reduction technique that can be used in similar cases and further examines its effect in the final results. The above methodology is applied to the energy rehabilitation of a hospital in the Athens area. The technologies under consideration include a combined heat and power unit for providing power and heat, an absorption unit and/or a compression unit for providing cooling load. The obtained results demonstrate that, increasing the degree of demand satisfaction, the total annual cost increases almost linearly. Although data compression allows obtaining realistic results, the size of the proposed units might be slightly changed
Trinajstić, Nenad; Gutman, Ivan
2002-01-01
A brief description is given of the historical development of mathematics and chemistry. A path leading to the meeting of these two sciences is described. An attempt is made to define mathematical chemistry, and journals containing the term mathematical chemistry in their titles are noted. In conclusion, the statement is made that although chemistry is an experimental science aimed at preparing new compounds and materials, mathematics is very useful in chemistry, among other things, to produc...
Digital system verification a combined formal methods and simulation framework
Li, Lun
2010-01-01
Integrated circuit capacity follows Moore's law, and chips are commonly produced at the time of this writing with over 70 million gates per device. Ensuring correct functional behavior of such large designs before fabrication poses an extremely challenging problem. Formal verification validates the correctness of the implementation of a design with respect to its specification through mathematical proof techniques. Formal techniques have been emerging as commercialized EDA tools in the past decade. Simulation remains a predominantly used tool to validate a design in industry. After more than 5
Formal specification and animation of a water level monitoring system
International Nuclear Information System (INIS)
Jackson, P.S.; Stokes, P.A.
1993-03-01
This report describes the Vienna Development Method (VDM), which is a formal method for software specification and development. VDM evolved out of attempts to use mathematics in programming language specifications in order to avoid ambiguities in specifications written in natural language. This report also describes the use of VDM for a real-time application, where it is used to formally specify the requirements of a water level monitoring system. The procedures and techniques used to produce an executable form (animation) of the specification are covered. (Author)
Generation of gravitational waves. II. The postlinear formalism revisited
International Nuclear Information System (INIS)
Crowley, R.J.; Thorne, K.S.
1977-01-01
Two different versions of the Green's function for the scalar wave equation in weakly curved spacetime (one due to DeWitt and DeWitt, the other to Thorne and Kovacs) are compared and contrasted; and their mathematical equivalence is demonstrated. Then the DeWitt-DeWitt Green's function is used to construct several alternative versions of the Thorne-Kovacs postlinear formalism for gravitational-wave generation. Finally it is shown that, in calculations of gravitational bremsstrahlung radiation, some of our versions of the postlinear formalism allow one to treat the interacting bodies as point masses, while others do not
Mathematics is always invisible, Professor Dowling
Cable, John
2015-09-01
This article provides a critical evaluation of a technique of analysis, the Social Activity Method, recently offered by Dowling (2013) as a `gift' to mathematics education. The method is found to be inadequate, firstly, because it employs a dichotomy (between `expression' and `content') instead of a finer analysis (into symbols, concepts and setting or phenomena), and, secondly, because the distinction between `public' and `esoteric' mathematics, although interesting, is allowed to obscure the structure of the mathematics itself. There is also criticism of what Dowling calls the `myth of participation', which denies the intimate links between mathematics and the rest of the universe that lie at the heart of mathematical pedagogy. Behind all this lies Dowling's `essentially linguistic' conception of mathematics, which is criticised on the dual ground that it ignores the chastening experience of formalism in mathematical philosophy and that linguistics itself has taken a wrong turn and ignores lessons that might be learnt from mathematics education.
Kilpatrick, Jeremy
2014-01-01
This paper addresses the contested way that ethnomathematics has sometimes been received by mathematicians and others and what that disagreement might suggest about issues in mathematics education; namely, (a) the relation of ethnomathematics to academic mathematics; (b) recent efforts to reform secondary school mathematics so that it prepares…
Towards a simple mathematical theory of citation distributions.
Katchanov, Yurij L
2015-01-01
The paper is written with the assumption that the purpose of a mathematical theory of citation is to explain bibliometric regularities at the level of mathematical formalism. A mathematical formalism is proposed for the appearance of power law distributions in social citation systems. The principal contributions of this paper are an axiomatic characterization of citation distributions in terms of the Ekeland variational principle and a mathematical exploration of the power law nature of citation distributions. Apart from its inherent value in providing a better understanding of the mathematical underpinnings of bibliometric models, such an approach can be used to derive a citation distribution from first principles.
Directory of Open Access Journals (Sweden)
Suguru Arimoto
2011-01-01
Full Text Available A computable model of grasping and manipulation of a 3D rigid object with arbitrary smooth surfaces by multiple robot fingers with smooth fingertip surfaces is derived under rolling contact constraints between surfaces. Geometrical conditions of pure rolling contacts are described through the moving-frame coordinates at each rolling contact point under the postulates: (1 two surfaces share a common single contact point without any mutual penetration and a common tangent plane at the contact point and (2 each path length of running of the contact point on the robot fingertip surface and the object surface is equal. It is shown that a set of Euler-Lagrange equations of motion of the fingers-object system can be derived by introducing Lagrange multipliers corresponding to geometric conditions of contacts. A set of 1st-order differential equations governing rotational motions of each fingertip and the object and updating arc-length parameters should be accompanied with the Euler-Lagrange equations. Further more, nonholonomic constraints arising from twisting between the two normal axes to each tangent plane are rewritten into a set of Frenet-Serre equations with a geometrically given normal curvature and a motion-induced geodesic curvature.
Mathematical Sense-Making in Quantum Mechanics: An Initial Peek
Dreyfus, Benjamin W.; Elby, Andrew; Gupta, Ayush; Sohr, Erin Ronayne
2017-01-01
Mathematical sense-making--looking for coherence between the structure of the mathematical formalism and causal or functional relations in the world--is a core component of physics expertise. Some physics education research studies have explored what mathematical sense-making looks like at the introductory physics level, while some historians and…
The Use of GBL to Teach Mathematics in Higher Education
Naik, Nitin
2017-01-01
Innovation in learning and teaching is an everyday requirement in contemporary higher education (HE), especially in challenging subjects such as mathematics. Teaching mathematics to students with limited experience of formal mathematical instruction is a good example of a demanding pedagogical undertaking where innovatory practice can help HE…
The formalisms of quantum mechanics an introduction
David, Francois
2015-01-01
These lecture notes present a concise and introductory, yet as far as possible coherent, view of the main formalizations of quantum mechanics and of quantum field theories, their interrelations and their theoretical foundations. The “standard” formulation of quantum mechanics (involving the Hilbert space of pure states, self-adjoint operators as physical observables, and the probabilistic interpretation given by the Born rule) on one hand, and the path integral and functional integral representations of probabilities amplitudes on the other, are the standard tools used in most applications of quantum theory in physics and chemistry. Yet, other mathematical representations of quantum mechanics sometimes allow better comprehension and justification of quantum theory. This text focuses on two of such representations: the algebraic formulation of quantum mechanics and the “quantum logic” approach. Last but not least, some emphasis will also be put on understanding the relation between quantum physics and ...
A Formal Valuation Framework for Emotions and Their Control.
Huys, Quentin J M; Renz, Daniel
2017-09-15
Computational psychiatry aims to apply mathematical and computational techniques to help improve psychiatric care. To achieve this, the phenomena under scrutiny should be within the scope of formal methods. As emotions play an important role across many psychiatric disorders, such computational methods must encompass emotions. Here, we consider formal valuation accounts of emotions. We focus on the fact that the flexibility of emotional responses and the nature of appraisals suggest the need for a model-based valuation framework for emotions. However, resource limitations make plain model-based valuation impossible and require metareasoning strategies to apportion cognitive resources adaptively. We argue that emotions may implement such metareasoning approximations by restricting the range of behaviors and states considered. We consider the processes that guide the deployment of the approximations, discerning between innate, model-free, heuristic, and model-based controllers. A formal valuation and metareasoning framework may thus provide a principled approach to examining emotions. Copyright © 2017 Society of Biological Psychiatry. Published by Elsevier Inc. All rights reserved.
Scalable Techniques for Formal Verification
Ray, Sandip
2010-01-01
This book presents state-of-the-art approaches to formal verification techniques to seamlessly integrate different formal verification methods within a single logical foundation. It should benefit researchers and practitioners looking to get a broad overview of the spectrum of formal verification techniques, as well as approaches to combining such techniques within a single framework. Coverage includes a range of case studies showing how such combination is fruitful in developing a scalable verification methodology for industrial designs. This book outlines both theoretical and practical issue
DEFF Research Database (Denmark)
Blomhøj, Morten
2004-01-01
Developing competences for setting up, analysing and criticising mathematical models are normally seen as relevant only from and above upper secondary level. The general belief among teachers is that modelling activities presuppose conceptual understanding of the mathematics involved. Mathematical...... roots for the construction of important mathematical concepts. In addition competences for setting up, analysing and criticising modelling processes and the possible use of models is a formative aim in this own right for mathematics teaching in general education. The paper presents a theoretical...... modelling, however, can be seen as a practice of teaching that place the relation between real life and mathematics into the centre of teaching and learning mathematics, and this is relevant at all levels. Modelling activities may motivate the learning process and help the learner to establish cognitive...
Mathematical Modeling and Pure Mathematics
Usiskin, Zalman
2015-01-01
Common situations, like planning air travel, can become grist for mathematical modeling and can promote the mathematical ideas of variables, formulas, algebraic expressions, functions, and statistics. The purpose of this article is to illustrate how the mathematical modeling that is present in everyday situations can be naturally embedded in…
The formal path integral and quantum mechanics
International Nuclear Information System (INIS)
Johnson-Freyd, Theo
2010-01-01
Given an arbitrary Lagrangian function on R d and a choice of classical path, one can try to define Feynman's path integral supported near the classical path as a formal power series parameterized by 'Feynman diagrams', although these diagrams may diverge. We compute this expansion and show that it is (formally, if there are ultraviolet divergences) invariant under volume-preserving changes of coordinates. We prove that if the ultraviolet divergences cancel at each order, then our formal path integral satisfies a 'Fubini theorem' expressing the standard composition law for the time evolution operator in quantum mechanics. Moreover, we show that when the Lagrangian is inhomogeneous quadratic in velocity such that its homogeneous-quadratic part is given by a matrix with constant determinant, then the divergences cancel at each order. Thus, by 'cutting and pasting' and choosing volume-compatible local coordinates, our construction defines a Feynman-diagrammatic 'formal path integral' for the nonrelativistic quantum mechanics of a charged particle moving in a Riemannian manifold with an external electromagnetic field.
Formal education in outdoor studies: introduction
Prince, Heather
2015-01-01
Regional cultural perspectives involve outdoor studies in different ways in formal curricula. This section focuses on Western Europe, particularly the UK and Scandinavia, although also has a more international reach in Backman’s consideration of the training of teachers and in place-responsive teaching as described by Mannion and Lynch. ‘Outdoor studies’ is not seen in curricula per se but under various more specialised aspects such as outdoor play, outdoor learning, environmental education, ...
Valla, Jeffrey M; Williams, Wendy M
2012-01-01
The under-representation of women and ethnic minorities in Science, Technology, Engineering, and Mathematics (STEM) education and professions has resulted in a loss of human capital for the US scientific workforce and spurred the development of myriad STEM educational intervention programs. Increased allocation of resources to such programs begs for a critical, prescriptive, evidence-based review that will enable researchers to develop optimal interventions and administrators to maximize investments. We begin by providing a theoretical backdrop for K-12 STEM programs by reviewing current data on under-representation and developmental research describing individual-level social factors undergirding these data. Next, we review prototypical designs of these programs, highlighting specific programs in the literature as examples of program structures and components currently in use. We then evaluate these interventions in terms of overall effectiveness, as a function of how well they address age-, ethnicity-, or gender-specific factors, suggesting improvements in program design based on these critiques. Finally, program evaluation methods are briefly reviewed and discussed in terms of how their empirical soundness can either enable or limit our ability to delineate effective program components. "Now more than ever, the nation's changing demographics demand that we include all of our citizens in science and engineering education and careers. For the U.S. to benefit from the diverse talents of all its citizens, we must grow the pipeline of qualified, underrepresented minority engineers and scientists to fill positions in industry and academia."-Irving P. McPhail..
Nachaisin, Mali; Teeta, Suminya; Deejing, Konlayut; Pharanat, Wanida
2017-09-01
Instant food is a product produced for convenience for consumer. Qualities are an important attribute of food materials reflecting consumer acceptance. The most problem of instant rice is casehardening during drying process resulted in the longer rehydration time. The objective of this research was to study the qualities of shredded Thai-style instant rice under a combined gas-fired infrared and air convection drying. Additionally, the mathematical models for gas-fired infrared assisted thin-layer drying of shredded Thai-style rice for traditional was investigated. The thin-layer drying of shredded Thai-style rice was carried out under gas-fired infrared intensities of 1000W/m2, air temperatures of 70°C and air velocities of 1 m/s. The drying occurred in the falling rate of drying period. The Page model was found to satisfactorily describe the drying behavior of shredded Thai-style rice, providing the highest R2 (0.997) and the lowest MBE and RMSE (0.01 and 0.18) respectively. A 9 point hedonic test showed in softness and color, but odor and overall acceptance were very similar.
Versatile Formal Methods Applied to Quantum Information.
Energy Technology Data Exchange (ETDEWEB)
Witzel, Wayne [Sandia National Laboratories (SNL-NM), Albuquerque, NM (United States); Rudinger, Kenneth Michael [Sandia National Laboratories (SNL-NM), Albuquerque, NM (United States); Sarovar, Mohan [Sandia National Laboratories (SNL-NM), Albuquerque, NM (United States)
2015-11-01
Using a novel formal methods approach, we have generated computer-veri ed proofs of major theorems pertinent to the quantum phase estimation algorithm. This was accomplished using our Prove-It software package in Python. While many formal methods tools are available, their practical utility is limited. Translating a problem of interest into these systems and working through the steps of a proof is an art form that requires much expertise. One must surrender to the preferences and restrictions of the tool regarding how mathematical notions are expressed and what deductions are allowed. Automation is a major driver that forces restrictions. Our focus, on the other hand, is to produce a tool that allows users the ability to con rm proofs that are essentially known already. This goal is valuable in itself. We demonstrate the viability of our approach that allows the user great exibility in expressing state- ments and composing derivations. There were no major obstacles in following a textbook proof of the quantum phase estimation algorithm. There were tedious details of algebraic manipulations that we needed to implement (and a few that we did not have time to enter into our system) and some basic components that we needed to rethink, but there were no serious roadblocks. In the process, we made a number of convenient additions to our Prove-It package that will make certain algebraic manipulations easier to perform in the future. In fact, our intent is for our system to build upon itself in this manner.
El Salvador - Formal Technical Education
Millennium Challenge Corporation — With a budget of nearly $20 million, the Formal Technical Education Sub-Activity was designed to strengthen technical and vocational educational institutions in the...
Helicity formalism and spin effects
International Nuclear Information System (INIS)
Anselmino, M.; Caruso, F.; Piovano, U.
1990-01-01
The helicity formalism and the technique to compute amplitudes for interaction processes involving leptons, quarks, photons and gluons are reviewed. Explicit calculations and examples of exploitation of symmetry properties are shown. The formalism is then applied to the discussion of several hadronic processes and spin effects: the experimental data, when related to the properties of the elementary constituent interactions, show many not understood features. Also the nucleon spin problem is briefly reviewed. (author)
Stöltzner, Michael
Answering to the double-faced influence of string theory on mathematical practice and rigour, the mathematical physicists Arthur Jaffe and Frank Quinn have contemplated the idea that there exists a `theoretical' mathematics (alongside `theoretical' physics) whose basic structures and results still require independent corroboration by mathematical proof. In this paper, I shall take the Jaffe-Quinn debate mainly as a problem of mathematical ontology and analyse it against the backdrop of two philosophical views that are appreciative towards informal mathematical development and conjectural results: Lakatos's methodology of proofs and refutations and John von Neumann's opportunistic reading of Hilbert's axiomatic method. The comparison of both approaches shows that mitigating Lakatos's falsificationism makes his insights about mathematical quasi-ontology more relevant to 20th century mathematics in which new structures are introduced by axiomatisation and not necessarily motivated by informal ancestors. The final section discusses the consequences of string theorists' claim to finality for the theory's mathematical make-up. I argue that ontological reductionism as advocated by particle physicists and the quest for mathematically deeper axioms do not necessarily lead to identical results.
Towards a formal semantics for Ada 9X
Guaspari, David; Mchugh, John; Wolfgang, Polak; Saaltink, Mark
1995-01-01
The Ada 9X language precision team was formed during the revisions of Ada 83, with the goal of analyzing the proposed design, identifying problems, and suggesting improvements, through the use of mathematical models. This report defines a framework for formally describing Ada 9X, based on Kahn's 'natural semantics', and applies the framework to portions of the language. The proposals for exceptions and optimization freedoms are also analyzed, using a different technique.
Formalizing the Process of Constructing Chains of Lexical Units
Directory of Open Access Journals (Sweden)
Grigorij Chetverikov
2015-06-01
Full Text Available Formalizing the Process of Constructing Chains of Lexical Units The paper investigates mathematical aspects of describing the construction of chains of lexical units on the basis of finite-predicate algebra. Analyzing the construction peculiarities is carried out and application of the method of finding the power of linear logical transformation for removing characteristic words of a dictionary entry is given. Analysis and perspectives of the results of the study are provided.
Mathematical foundations of event trees
International Nuclear Information System (INIS)
Papazoglou, Ioannis A.
1998-01-01
A mathematical foundation from first principles of event trees is presented. The main objective of this formulation is to offer a formal basis for developing automated computer assisted construction techniques for event trees. The mathematical theory of event trees is based on the correspondence between the paths of the tree and the elements of the outcome space of a joint event. The concept of a basic cylinder set is introduced to describe joint event outcomes conditional on specific outcomes of basic events or unconditional on the outcome of basic events. The concept of outcome space partition is used to describe the minimum amount of information intended to be preserved by the event tree representation. These concepts form the basis for an algorithm for systematic search for and generation of the most compact (reduced) form of an event tree consistent with the minimum amount of information the tree should preserve. This mathematical foundation allows for the development of techniques for automated generation of event trees corresponding to joint events which are formally described through other types of graphical models. Such a technique has been developed for complex systems described by functional blocks and it is reported elsewhere. On the quantification issue of event trees, a formal definition of a probability space corresponding to the event tree outcomes is provided. Finally, a short discussion is offered on the relationship of the presented mathematical theory with the more general use of event trees in reliability analysis of dynamic systems
Weak Quantum Theory: Formal Framework and Selected Applications
International Nuclear Information System (INIS)
Atmanspacher, Harald; Filk, Thomas; Roemer, Hartmann
2006-01-01
Two key concepts of quantum theory, complementarity and entanglement, are considered with respect to their significance in and beyond physics. An axiomatically formalized, weak version of quantum theory, more general than the ordinary quantum theory of physical systems, is described. Its mathematical structure generalizes the algebraic approach to ordinary quantum theory. The crucial formal feature leading to complementarity and entanglement is the non-commutativity of observables.The ordinary Hilbert space quantum mechanics can be recovered by stepwise adding the necessary features. This provides a hierarchy of formal frameworks of decreasing generality and increasing specificity. Two concrete applications, more specific than weak quantum theory and more general than ordinary quantum theory, are discussed: (i) complementarity and entanglement in classical dynamical systems, and (ii) complementarity and entanglement in the bistable perception of ambiguous stimuli
Formal methods for discrete-time dynamical systems
Belta, Calin; Aydin Gol, Ebru
2017-01-01
This book bridges fundamental gaps between control theory and formal methods. Although it focuses on discrete-time linear and piecewise affine systems, it also provides general frameworks for abstraction, analysis, and control of more general models. The book is self-contained, and while some mathematical knowledge is necessary, readers are not expected to have a background in formal methods or control theory. It rigorously defines concepts from formal methods, such as transition systems, temporal logics, model checking and synthesis. It then links these to the infinite state dynamical systems through abstractions that are intuitive and only require basic convex-analysis and control-theory terminology, which is provided in the appendix. Several examples and illustrations help readers understand and visualize the concepts introduced throughout the book.
Herrold, Ardis; Bauer, Amanda, Dr.; Peterson, J. Matt; Large Synoptic Survey Telescope Education and Public Outreach Team
2018-01-01
The Large Synoptic Survey Telescope will usher in a new age of astronomical data exploration for science educators and students. LSST data sets will be large, deep, and dynamic, and will establish a time-domain record that will extend over a decade. They will be used to provide engaging, relevant learning experiences.The EPO Team will develop online investigations using authentic LSST data that offer varying levels of challenge and depth by the start of telescope operations, slated to begin in 2022. The topics will cover common introductory astronomy concepts, and will align with the four science domains of LSST: The Milky Way, the changing sky (transients), solar system (moving) objects, and dark matter and dark energy.Online Jupyter notebooks will make LSST data easily available to access and analyze by students at the advanced middle school through college levels. Using online notebooks will circumvent common obstacles caused by firewalls, bandwidth issues, and the need to download software, as they will be accessible from any computer or tablet with internet access. Although the LSST EPO Jupyter notebooks are Python-based, a knowledge of programming will not be required to use them.Each topical investigation will include teacher and student versions of Jupyter notebooks, instructional videos, and access to a suite of support materials including a forum, and professional development training and tutorial videos.Jupyter notebooks will contain embedded widgets to process data, eliminating the need to use external spreadsheets and plotting software. Students will be able to analyze data by using some of the existing modules already developed for professional astronomers. This will shorten the time needed to conduct investigations and will shift the emphasis to understanding the underlying science themes, which is often lost with novice learners.
Thermodynamic and multifractal formalism and the Bowen-series map
International Nuclear Information System (INIS)
Rudolph, O.
1995-01-01
In the theory of quantum chaos one studies the semiclassical behaviour of quantum mechanical systems whose corresponding classical counterparts exhibit chaos. The geodesic motion of a free classical particle on closed Riemann surfaces with constant negative curvature is strongly chaotic. Selberg's theory relates the classical and the quantum mechanical systems. These systems are sometimes considered as model systems in the theory of quantum chaos since they are well understood from a mathematical point of view. In this work we study the multifractal formalism for the geodesic flow on surfaces with constant negative curvature. The multifractal analysis of measures has been developed in order to characterize the scaling behaviour of measures on attractors of classical chaotic dynamical systems globally. In order to relate the multifractal formalism with quantities usually considered in the study of the geodesic flow on Riemann surfaces with constant negative curvature, it is necessary to establish the assertions of the multifractal formalism in a mathematically rigorous way. This is achieved with the help of the thermodynamic formalism for hyperbolic dynamical systems developed by Ruelle, Bowen and others. (orig.)
Aigner, Martin; Spain, Philip G
2010-01-01
Mathematics is all around us. Often we do not realize it, though. Mathematics Everywhere is a collection of presentations on the role of mathematics in everyday life, through science, technology, and culture. The common theme is the unique position of mathematics as the art of pure thought and at the same time as a universally applicable science. The authors are renowned mathematicians; their presentations cover a wide range of topics. From compact discs to the stock exchange, from computer tomography to traffic routing, from electronic money to climate change, they make the "math inside" unde
Pappas, Theoni
1997-01-01
In this highly readable volume of vignettes of mathematical scandals and gossip, Theoni Pappas assembles 29 fascinating stories of intrigue and the bizarre ? in short, the human background of the history of mathematics. Might a haberdasher have changed Einstein's life? Why was the first woman mathematician murdered? How come there's no Nobel Prize in mathematics?Mathematics is principally about numbers, equations, and solutions, all of them precise and timeless. But, behind this arcane matter lies the sometimes sordid world of real people, whose rivalries and deceptions
Stroud, K A
2013-01-01
A groundbreaking and comprehensive reference that's been a bestseller since it first debuted in 1970, the new seventh edition of Engineering Mathematics has been thoroughly revised and expanded. Providing a broad mathematical survey, this innovative volume covers a full range of topics from the very basic to the advanced. Whether you're an engineer looking for a useful on-the-job reference or want to improve your mathematical skills, or you are a student who needs an in-depth self-study guide, Engineering Mathematics is sure to come in handy time and time again.
Ho Younghusband, Alice Christine
2017-01-01
Certified teachers in British Columbia (BC) schools can be assigned to teach secondary mathematics without having a major, minor, or formal background in mathematics. This is known as out-of-field teaching. These non-mathematics subject specialist teachers (NMSSTs) must learn or relearn the subject matter of mathematics to teach secondary mathematics. This study investigates what professional learning activities NMSSTs participate in to gain subject matter content knowledge in mathematics, wh...
Two Project-Based Strategies in an Interdisciplinary Mathematical Modeling in Biology Course
Ludwig, Patrice; Tongen, Anthony; Walton, Brian
2018-01-01
James Madison University faculty team-teach an interdisciplinary mathematical modeling course for mathematics and biology students. We have used two different project-based approaches to emphasize the mathematical concepts taught in class, while also exposing students to new areas of mathematics not formally covered in class. The first method…
Sedwards, Sean; Mazza, Tommaso
2007-10-15
Compartments and membranes are the basis of cell topology and more than 30% of the human genome codes for membrane proteins. While it is possible to represent compartments and membrane proteins in a nominal way with many mathematical formalisms used in systems biology, few, if any, explicitly model the topology of the membranes themselves. Discrete stochastic simulation potentially offers the most accurate representation of cell dynamics. Since the details of every molecular interaction in a pathway are often not known, the relationship between chemical species in not necessarily best described at the lowest level, i.e. by mass action. Simulation is a form of computer-aided analysis, relying on human interpretation to derive meaning. To improve efficiency and gain meaning in an automatic way, it is necessary to have a formalism based on a model which has decidable properties. We present Cyto-Sim, a stochastic simulator of membrane-enclosed hierarchies of biochemical processes, where the membranes comprise an inner, outer and integral layer. The underlying model is based on formal language theory and has been shown to have decidable properties (Cavaliere and Sedwards, 2006), allowing formal analysis in addition to simulation. The simulator provides variable levels of abstraction via arbitrary chemical kinetics which link to ordinary differential equations. In addition to its compact native syntax, Cyto-Sim currently supports models described as Petri nets, can import all versions of SBML and can export SBML and MATLAB m-files. Cyto-Sim is available free, either as an applet or a stand-alone Java program via the web page (http://www.cosbi.eu/Rpty_Soft_CytoSim.php). Other versions can be made available upon request.
Informal work and formal plans
DEFF Research Database (Denmark)
Dalsted, Rikke Juul; Hølge-Hazelton, Bibi; Kousgaard, Marius Brostrøm
2012-01-01
INTRODUCTION: Formal pathways models outline that patients should receive information in order to experience a coherent journey but do not describe an active role for patients or their relatives. The aim of this is paper is to articulate and discuss the active role of patients during their cancer...... trajectories. METHODS AND THEORY: An in-depth case study of patient trajectories at a Danish hospital and surrounding municipality using individual interviews with patients. Theory about trajectory and work by Strauss was included. RESULTS: Patients continuously took initiatives to organize their treatment....... The patients' requests were not sufficiently supported in the professional organisation of work or formal planning. Patients' insertion and use of information in their trajectories challenged professional views and working processes. And the design of the formal pathway models limits the patients' active...
Kleene, Stephen Cole
1967-01-01
Undergraduate students with no prior instruction in mathematical logic will benefit from this multi-part text. Part I offers an elementary but thorough overview of mathematical logic of 1st order. Part II introduces some of the newer ideas and the more profound results of logical research in the 20th century. 1967 edition.
Huckstep, Peter
2002-01-01
Contends teachers must resist the temptation to suggest that, while children can create stories and melodies, they cannot create mathematics. Quotes mathematician G. H. Hardy: "A mathematician, like a painter or poet, is a 'maker' of patterns." Considers mathematics should be able to stand up for itself. (BT)
Kodaira, Kunihiko
1996-01-01
This is the translation from the Japanese textbook for the grade 11 course, "General Mathematics". It is part of the easier of the three elective courses in mathematics offered at this level and is taken by about 40% of students. The book covers basic notions of probability and statistics, vectors, exponential, logarithmic, and trigonometric functions, and an introduction to differentiation and integration.
The materiality of mathematics: presenting mathematics at the blackboard.
Greiffenhagen, Christian
2014-09-01
Sociology has been accused of neglecting the importance of material things in human life and the material aspects of social practices. Efforts to correct this have recently been made, with a growing concern to demonstrate the materiality of social organization, not least through attention to objects and the body. As a result, there have been a plethora of studies reporting the social construction and effects of a variety of material objects as well as studies that have explored the material dimensions of a diversity of practices. In different ways these studies have questioned the Cartesian dualism of a strict separation of 'mind' and 'body'. However, it could be argued that the idea of the mind as immaterial has not been entirely banished and lingers when it comes to discussing abstract thinking and reasoning. The aim of this article is to extend the material turn to abstract thought, using mathematics as a paradigmatic example. This paper explores how writing mathematics (on paper, blackboards, or even in the air) is indispensable for doing and thinking mathematics. The paper is based on video recordings of lectures in formal logic and investigates how mathematics is presented at the blackboard. The paper discusses the iconic character of blackboards in mathematics and describes in detail a number of inscription practices of presenting mathematics at the blackboard (such as the use of lines and boxes, the designation of particular regions for specific mathematical purposes, as well as creating an 'architecture' visualizing the overall structure of the proof). The paper argues that doing mathematics really is 'thinking with eyes and hands' (Latour 1986). Thinking in mathematics is inextricably interwoven with writing mathematics. © London School of Economics and Political Science 2014.
Murray, James D
1993-01-01
The book is a textbook (with many exercises) giving an in-depth account of the practical use of mathematical modelling in the biomedical sciences. The mathematical level required is generally not high and the emphasis is on what is required to solve the real biological problem. The subject matter is drawn, e.g. from population biology, reaction kinetics, biological oscillators and switches, Belousov-Zhabotinskii reaction, reaction-diffusion theory, biological wave phenomena, central pattern generators, neural models, spread of epidemics, mechanochemical theory of biological pattern formation and importance in evolution. Most of the models are based on real biological problems and the predictions and explanations offered as a direct result of mathematical analysis of the models are important aspects of the book. The aim is to provide a thorough training in practical mathematical biology and to show how exciting and novel mathematical challenges arise from a genuine interdisciplinary involvement with the biosci...
Parshall, Karen Hunger
2002-01-01
Although today's mathematical research community takes its international character very much for granted, this "global nature" is relatively recent, having evolved over a period of roughly 150 years-from the beginning of the nineteenth century to the middle of the twentieth century. During this time, the practice of mathematics changed from being centered on a collection of disparate national communities to being characterized by an international group of scholars for whom the goal of mathematical research and cooperation transcended national boundaries. Yet, the development of an international community was far from smooth and involved obstacles such as war, political upheaval, and national rivalries. Until now, this evolution has been largely overlooked by historians and mathematicians alike. This book addresses the issue by bringing together essays by twenty experts in the history of mathematics who have investigated the genesis of today's international mathematical community. This includes not only develo...
Formal connections in deformation quantization
DEFF Research Database (Denmark)
Masulli, Paolo
The field of this thesis is deformation quantization, and we consider mainly symplectic manifolds equipped with a star product. After reviewing basics in complex geometry, we introduce quantization, focusing on geometric quantization and deformation quantization. The latter is defined as a star...... characteristic class, and that formal connections form an affine space over the derivations of the star products. Moreover, if the parameter space for the family of star products is contractible, we obtain that any two flat formal connections are gauge equivalent via a self-equivalence of the family of star...
Directory of Open Access Journals (Sweden)
Sead Rešić
2015-09-01
Full Text Available It is very difficult to motivate students when it comes to a school subject like Mathematics. Teachers spend a lot of time trying to find something that will arouse interest in students. It is particularly difficult to find materials that are motivating enough for students that they eagerly wait for the next lesson. One of the solutions may be found in Vedic Mathematics. Traditional methods of teaching Mathematics create fear of this otherwise interesting subject in the majority of students. Fear increases failure. Often the traditional, conventional mathematical methods consist of very long lessons which are difficult to understand. Vedic Mathematics is an ancient system that is very flexible and encourages the development of intuition and innovation. It is a mental calculating tool that does not require a calculator because the calculator is embedded in each of us. Starting from the above problems of fear and failure in Mathematics, the goal of this paper is to do research with the control and the experimental group and to compare the test results. Two tests should be done for each of the groups. The control group would do the tests in the conventional way. The experimental group would do the first test in a conventional manner and then be subjected to different treatment, that is to say, be taught on the basis of Vedic Mathematics. After that, the second group would do the second test according to the principles of Vedic Mathematics. Expectations are that after short lectures on Vedic mathematics results of the experimental group would improve and that students will show greater interest in Mathematics.
Formal systems for persuasion dialogue
Prakken, Henry
This article reviews formal systems that regulate persuasion dialogues. In such dialogues two or more participants aim to resolve a difference of opinion, each trying to persuade the other participants to adopt their point of view. Systems for persuasion dialogue have found application in various
Charging transient in polyvinyl formal
Indian Academy of Sciences (India)
Unknown
401–406. © Indian Academy of Sciences. 401. Charging transient in polyvinyl formal. P K KHARE*, P L JAIN† and R K PANDEY‡. Department of Postgraduate Studies & Research in Physics & Electronics, Rani Durgavati University,. Jabalpur 482 001, India. †Department of Physics, Government PG College, Damoh 470 ...
A formalization of computational trust
Güven - Ozcelebi, C.; Holenderski, M.J.; Ozcelebi, T.; Lukkien, J.J.
2018-01-01
Computational trust aims to quantify trust and is studied by many disciplines including computer science, social sciences and business science. We propose a formal computational trust model, including its parameters and operations on these parameters, as well as a step by step guide to compute trust
Formal monkey linguistics : The debate
Schlenker, Philippe; Chemla, Emmanuel; Schel, Anne M.|info:eu-repo/dai/nl/413333450; Fuller, James; Gautier, Jean Pierre; Kuhn, Jeremy; Veselinović, Dunja; Arnold, Kate; Cäsar, Cristiane; Keenan, Sumir; Lemasson, Alban; Ouattara, Karim; Ryder, Robin; Zuberbühler, Klaus
2016-01-01
We explain why general techniques from formal linguistics can and should be applied to the analysis of monkey communication - in the areas of syntax and especially semantics. An informed look at our recent proposals shows that such techniques needn't rely excessively on categories of human language:
Rotor and wind turbine formalism
DEFF Research Database (Denmark)
Branlard, Emmanuel Simon Pierre
2017-01-01
The main conventions used in this book for the study of rotors are introduced in this chapter. The main assumptions and notations are provided. The formalism specific to wind turbines is presented. The forces, moments, velocities and dimensionless coefficients used in the study of rotors...
Automatic Testing with Formal Methods
Tretmans, G.J.; Belinfante, Axel
1999-01-01
The use of formal system specifications makes it possible to automate the derivation of test cases from specifications. This allows to automate the whole testing process, not only the test execution part of it. This paper presents the state of the art and future perspectives in testing based on
Formal Methods: Practice and Experience
DEFF Research Database (Denmark)
Woodcock, Jim; Larsen, Peter Gorm; Bicarregui, Juan
2009-01-01
. Based on this, we discuss the issues surrounding the industrial adoption of formal methods. Finally, we look to the future and describe the development of a Verified Software Repository, part of the worldwide Verified Software Initiative. We introduce the initial projects being used to populate...... the repository, and describe the challenges they address. © 2009 ACM. (146 refs.)...
The 1989 progress report: Mathematics
International Nuclear Information System (INIS)
Demazure, M.
1989-01-01
The 1989 progress report of the laboratory of Mathematics of the Polytechnic School (France) is presented. The investigations reported were performed in the following fields: analysis of nonlinear partial differential equations, quantum mechanics, scattering, fluid dynamics and homogenization, equations, varieties with negative curvature, elliptical problems on surfaces, Dirac operator, geometry of algorithms and formal calculus, singularities, Lie groups, dynamics systems. The published papers, the conferences and the Laboratory staff are listed [fr
Bird, John
2014-01-01
A practical introduction to the core mathematics required for engineering study and practiceNow in its seventh edition, Engineering Mathematics is an established textbook that has helped thousands of students to succeed in their exams.John Bird's approach is based on worked examples and interactive problems. This makes it ideal for students from a wide range of academic backgrounds as the student can work through the material at their own pace. Mathematical theories are explained in a straightforward manner, being supported by practical engineering examples and applications in order to ensure
Geroch, Robert
1985-01-01
Mathematical Physics is an introduction to such basic mathematical structures as groups, vector spaces, topological spaces, measure spaces, and Hilbert space. Geroch uses category theory to emphasize both the interrelationships among different structures and the unity of mathematics. Perhaps the most valuable feature of the book is the illuminating intuitive discussion of the ""whys"" of proofs and of axioms and definitions. This book, based on Geroch's University of Chicago course, will be especially helpful to those working in theoretical physics, including such areas as relativity, particle
Logan, J David
2013-01-01
Praise for the Third Edition"Future mathematicians, scientists, and engineers should find the book to be an excellent introductory text for coursework or self-study as well as worth its shelf space for reference." -MAA Reviews Applied Mathematics, Fourth Edition is a thoroughly updated and revised edition on the applications of modeling and analyzing natural, social, and technological processes. The book covers a wide range of key topics in mathematical methods and modeling and highlights the connections between mathematics and the applied and nat
Handley, Bill
2012-01-01
This new, revised edition of the bestselling Speed Mathematics features new chapters on memorising numbers and general information, calculating statistics and compound interest, square roots, logarithms and easy trig calculations. Written so anyone can understand, this book teaches simple strategies that will enable readers to make lightning-quick calculations. People who excel at mathematics use better strategies than the rest of us; they are not necessarily more intelligent. With Speed Mathematics you'll discover methods to make maths easy and fun. This book is perfect for stud
Weber, Doug; Jamsek, Damir
1994-01-01
The goal of this task was to investigate how formal methods could be incorporated into a software engineering process for flight-control systems under DO-178B and to demonstrate that process by developing a formal specification for NASA's Guidance and Controls Software (GCS) Experiment. GCS is software to control the descent of a spacecraft onto a planet's surface. The GCS example is simplified from a real example spacecraft, but exhibits the characteristics of realistic spacecraft control software. The formal specification is written in Larch.
Energy Technology Data Exchange (ETDEWEB)
Sousa, Tania; Domingos, Tiago [Environment and Energy Section, DEM, Instituto Superior Tecnico, Avenida Rovisco Pais, 1, 1049-001 Lisboa (Portugal)
2006-06-10
The relation between Thermodynamics and Economics is a paramount issue in Ecological Economics. Two different levels can be distinguished when discussing it: formal and substantive. At the formal level, a mathematical framework is used to describe both thermodynamic and economic systems. At the substantive level, thermodynamic laws are applied to economic processes. In Ecological Economics, there is a widespread claim that neoclassical economics has the same mathematical formulation as classical mechanics and is therefore fundamentally flawed because: (1) utility does not obey a conservation law as energy does; (2) an equilibrium theory cannot be used to study irreversible processes. Here, we show that neoclassical economics is based on a wrong formulation of classical mechanics, being in fact formally analogous to equilibrium thermodynamics. The similarity between both formalisms, namely that they are both cases of constrained optimisation, is easily perceived when thermodynamics is looked upon using the Tisza-Callen axiomatisation. In this paper, we take the formal analogy between equilibrium thermodynamics and economic systems far enough to answer the formal criticisms, proving that the formalism of neoclassical economics has irreversibility embedded in it. However, the formal similarity between equilibrium thermodynamics and neoclassical microeconomics does not mean that economic models are in accordance with mass, energy and entropy balance equations. In fact, neoclassical theory suffers from flaws in the substantive integration with thermodynamic laws as has already been fully demonstrated by valuable work done by ecological economists in this field. (author)
First formal ITER negotiations make excellent progress
International Nuclear Information System (INIS)
Barnard, P.
2001-01-01
November 8 and 9 2001 marked the historic beginning of formal negotiations meetings on the ITER project. Delegations from Canada, the European Union, Japan and the Russian Federation met in Toronto, Canada, for the first in a series of Negotiations that is expected to lead, by the end of 2002, to an agreement on the joint implementation of ITER. This agreement will govern, under international law, the construction, operation and decommissioning of ITER. The Negotiations concluded by issuing a joint news release, reflecting a commitment to share the progress reports on the efforts to implement ITER
Matching biomedical ontologies based on formal concept analysis.
Zhao, Mengyi; Zhang, Songmao; Li, Weizhuo; Chen, Guowei
2018-03-19
The goal of ontology matching is to identify correspondences between entities from different yet overlapping ontologies so as to facilitate semantic integration, reuse and interoperability. As a well developed mathematical model for analyzing individuals and structuring concepts, Formal Concept Analysis (FCA) has been applied to ontology matching (OM) tasks since the beginning of OM research, whereas ontological knowledge exploited in FCA-based methods is limited. This motivates the study in this paper, i.e., to empower FCA with as much as ontological knowledge as possible for identifying mappings across ontologies. We propose a method based on Formal Concept Analysis to identify and validate mappings across ontologies, including one-to-one mappings, complex mappings and correspondences between object properties. Our method, called FCA-Map, incrementally generates a total of five types of formal contexts and extracts mappings from the lattices derived. First, the token-based formal context describes how class names, labels and synonyms share lexical tokens, leading to lexical mappings (anchors) across ontologies. Second, the relation-based formal context describes how classes are in taxonomic, partonomic and disjoint relationships with the anchors, leading to positive and negative structural evidence for validating the lexical matching. Third, the positive relation-based context can be used to discover structural mappings. Afterwards, the property-based formal context describes how object properties are used in axioms to connect anchor classes across ontologies, leading to property mappings. Last, the restriction-based formal context describes co-occurrence of classes across ontologies in anonymous ancestors of anchors, from which extended structural mappings and complex mappings can be identified. Evaluation on the Anatomy, the Large Biomedical Ontologies, and the Disease and Phenotype track of the 2016 Ontology Alignment Evaluation Initiative campaign
The discursive production of classroom mathematics
Smith, Kim; Hodson, Elaine; Brown, Tony
2013-09-01
School mathematics is a function of its discursive environment where the language being used formats mathematical activity. The paper explores this theme through an extended example in which the conduct of mathematical teaching and learning is restricted by regulative educational policies. It considers how mathematics is discursively produced by student teachers within an employment-based model of teacher education in England where there is a low university input. It is argued that teacher reflections on mathematical learning and teaching within the course are patterned discursively in line with formal curriculum framings, assessment requirements and the local demands of their placement school. Both teachers and students are subject to regulative discourses that shape their actions and as a consequence this regulation influences the forms of mathematical activity that can take place. It is shown how university sessions can provide a limited critical platform from which to interrogate these restrictions and renegotiate them.
Critical formalism or digital biomorphology. The contemporary architecture formal dilema
Directory of Open Access Journals (Sweden)
Beatriz Villanueva Cajide
2018-05-01
Full Text Available With the dawn of digital media the architecture’s formal possibilities reached a level unknown before. The Guggenheim Museo branch in Bilbao appears in 1993 as the materialisation of the possibilities of the use of digital tools in architecture’s design, starting the development of a digital based architecture which currently has reached an exhaustion level that is evident in the repetition biomorphologic shapes emerged from the digital determinism to which some contemporary architectural practices have converged. While the digitalisation of the architectural process is irreversible and desirable, it is necessary to rethink the terms of this collaboration beyond the possibilities of the digital tools themselves. This article proposes to analyse seven texts written in the very moment when digitalisation became a real possibility, between Gehry’s conception of the Guggenheim Museum in 1992 and the Congress on Morphogenesis hold in the Architectural Association in 2004, in order to explore the possibility of reversing the process that has led to the formal exhaustion of digital architecture, from the acceptance of incorporating strategies coming from a contemporary critical formalism.
Virdi, Surinder; Virdi, Narinder Kaur
2014-01-01
Construction Mathematics is an introductory level mathematics text, written specifically for students of construction and related disciplines. Learn by tackling exercises based on real-life construction maths. Examples include: costing calculations, labour costs, cost of materials and setting out of building components. Suitable for beginners and easy to follow throughout. Learn the essential basic theory along with the practical necessities. The second edition of this popular textbook is fully updated to match new curricula, and expanded to include even more learning exercises. End of chapter exercises cover a range of theoretical as well as practical problems commonly found in construction practice, and three detailed assignments based on practical tasks give students the opportunity to apply all the knowledge they have gained. Construction Mathematics addresses all the mathematical requirements of Level 2 construction NVQs from City & Guilds/CITB and Edexcel courses, including the BTEC First Diploma in...
2016-01-01
This book provides a thorough introduction to the challenge of applying mathematics in real-world scenarios. Modelling tasks rarely involve well-defined categories, and they often require multidisciplinary input from mathematics, physics, computer sciences, or engineering. In keeping with this spirit of modelling, the book includes a wealth of cross-references between the chapters and frequently points to the real-world context. The book combines classical approaches to modelling with novel areas such as soft computing methods, inverse problems, and model uncertainty. Attention is also paid to the interaction between models, data and the use of mathematical software. The reader will find a broad selection of theoretical tools for practicing industrial mathematics, including the analysis of continuum models, probabilistic and discrete phenomena, and asymptotic and sensitivity analysis.
Hougardy, Stefan
2016-01-01
Algorithms play an increasingly important role in nearly all fields of mathematics. This book allows readers to develop basic mathematical abilities, in particular those concerning the design and analysis of algorithms as well as their implementation. It presents not only fundamental algorithms like the sieve of Eratosthenes, the Euclidean algorithm, sorting algorithms, algorithms on graphs, and Gaussian elimination, but also discusses elementary data structures, basic graph theory, and numerical questions. In addition, it provides an introduction to programming and demonstrates in detail how to implement algorithms in C++. This textbook is suitable for students who are new to the subject and covers a basic mathematical lecture course, complementing traditional courses on analysis and linear algebra. Both authors have given this "Algorithmic Mathematics" course at the University of Bonn several times in recent years.
Sneyd, James
2009-01-01
There has been a long history of interaction between mathematics and physiology. This book looks in detail at a wide selection of mathematical models in physiology, showing how physiological problems can be formulated and studied mathematically, and how such models give rise to interesting and challenging mathematical questions. With its coverage of many recent models it gives an overview of the field, while many older models are also discussed, to put the modern work in context. In this second edition the coverage of basic principles has been expanded to include such topics as stochastic differential equations, Markov models and Gibbs free energy, and the selection of models has also been expanded to include some of the basic models of fluid transport, respiration/perfusion, blood diseases, molecular motors, smooth muscle, neuroendrocine cells, the baroreceptor loop, turboglomerular oscillations, blood clotting and the retina. Owing to this extensive coverage, the second edition is published in two volumes. ...
Eck, Christof; Knabner, Peter
2017-01-01
Mathematical models are the decisive tool to explain and predict phenomena in the natural and engineering sciences. With this book readers will learn to derive mathematical models which help to understand real world phenomena. At the same time a wealth of important examples for the abstract concepts treated in the curriculum of mathematics degrees are given. An essential feature of this book is that mathematical structures are used as an ordering principle and not the fields of application. Methods from linear algebra, analysis and the theory of ordinary and partial differential equations are thoroughly introduced and applied in the modeling process. Examples of applications in the fields electrical networks, chemical reaction dynamics, population dynamics, fluid dynamics, elasticity theory and crystal growth are treated comprehensively.
Pestman, Wiebe R
2009-01-01
This textbook provides a broad and solid introduction to mathematical statistics, including the classical subjects hypothesis testing, normal regression analysis, and normal analysis of variance. In addition, non-parametric statistics and vectorial statistics are considered, as well as applications of stochastic analysis in modern statistics, e.g., Kolmogorov-Smirnov testing, smoothing techniques, robustness and density estimation. For students with some elementary mathematical background. With many exercises. Prerequisites from measure theory and linear algebra are presented.
Berman, Elizabeth
1979-01-01
Mathematics Revealed focuses on the principles, processes, operations, and exercises in mathematics.The book first offers information on whole numbers, fractions, and decimals and percents. Discussions focus on measuring length, percent, decimals, numbers as products, addition and subtraction of fractions, mixed numbers and ratios, division of fractions, addition, subtraction, multiplication, and division. The text then examines positive and negative numbers and powers and computation. Topics include division and averages, multiplication, ratios, and measurements, scientific notation and estim
DEFF Research Database (Denmark)
Sørensen, John Aasted
2010-01-01
The introduction of the mathematics needed for analysis, design and verification of discrete systems, including applications within programming languages for computer systems. Course sessions and project work. Semester: Spring 2010 Ectent: 5 ects Class size: 18......The introduction of the mathematics needed for analysis, design and verification of discrete systems, including applications within programming languages for computer systems. Course sessions and project work. Semester: Spring 2010 Ectent: 5 ects Class size: 18...
DEFF Research Database (Denmark)
Sørensen, John Aasted
2010-01-01
The introduction of the mathematics needed for analysis, design and verification of discrete systems, including applications within programming languages for computer systems. Course sessions and project work. Semester: Autumn 2010 Ectent: 5 ects Class size: 15......The introduction of the mathematics needed for analysis, design and verification of discrete systems, including applications within programming languages for computer systems. Course sessions and project work. Semester: Autumn 2010 Ectent: 5 ects Class size: 15...
Type classes for mathematics in type theory
Spitters, Bas; Van der Weegen, Eelis
2011-01-01
The introduction of first-class type classes in the Coq system calls for re-examination of the basic interfaces used for mathematical formalization in type theory. We present a new set of type classes for mathematics and take full advantage of their unique features to make practical a particularly flexible approach formerly thought infeasible. Thus, we address both traditional proof engineering challenges as well as new ones resulting from our ambition to build upon this development a library...
The motivation of lifelong mathematics learning
Hashim Ali, Siti Aishah
2013-04-01
As adults, we have always learned throughout our life, but this learning is informal. Now, more career-switchers and career-upgraders who are joining universities for further training are becoming the major group of adult learners. This current situation requires formal education in courses with controlled output. Hence, lifelong learning is seen as a necessity and an opportunity for these adult learners. One characteristic of adult education is that the learners tend to bring with them life experience from their past, especially when learning mathematics. Most of them associate mathematics with the school subjects and unable to recognize the mathematics in their daily practice as mathematics. They normally place a high value on learning mathematics because of its prominent role in their prospective careers, but their learning often requires overcoming personal experience and motivating themselves to learn mathematics again. This paper reports on the study conducted on a group of adult learners currently pursuing their study. The aim of this study is to explore (i) the motivation of the adult learners continuing their study; and (ii) the perception and motivation of these learners in learning mathematics. This paper will take this into account when we discuss learners' perception and motivation to learning mathematics, as interrelated phenomena. Finding from this study will provide helpful insights in understanding the learning process and adaption of adult learners to formal education.
Formal concept analysis applied to the prediction of additives for galvanizing process
Directory of Open Access Journals (Sweden)
J. Klimeš
2010-04-01
Full Text Available Formal concept analysis is a new mathematical approach to data analysis, data mining and to discavering patterns in data. The result of the application of the formal concept analysis method to the behavior of the galvanizing of rimmed steel is presented. Effects of additives in the galvanizing process have been correlated to the chemical element properties of the additives. This model may also help to design new alloys as additives in the galvanizing process.
Formal languages, automata and numeration systems introduction to combinatorics on words
Rigo, Michel
2014-01-01
Formal Languages, Automaton and Numeration Systems presents readers with a review of research related to formal language theory, combinatorics on words or numeration systems, such as Words, DLT (Developments in Language Theory), ICALP, MFCS (Mathematical Foundation of Computer Science), Mons Theoretical Computer Science Days, Numeration, CANT (Combinatorics, Automata and Number Theory). Combinatorics on words deals with problems that can be stated in a non-commutative monoid, such as subword complexity of finite or infinite words, construction and properties of infinite words, unavoidabl
Some properties for integro-differential operator defined by a fractional formal.
Abdulnaby, Zainab E; Ibrahim, Rabha W; Kılıçman, Adem
2016-01-01
Recently, the study of the fractional formal (operators, polynomials and classes of special functions) has been increased. This study not only in mathematics but extended to another topics. In this effort, we investigate a generalized integro-differential operator [Formula: see text] defined by a fractional formal (fractional differential operator) and study some its geometric properties by employing it in new subclasses of analytic univalent functions.
Directory of Open Access Journals (Sweden)
Yinghui Lai
Full Text Available Mathematics is one of the most objective, logical, and practical academic disciplines. Yet, in addition to cognitive skills, mathematical problem solving also involves affective factors. In the current study, we first investigated effects of mathematics anxiety (MA and mathematical metacognition on word problem solving (WPS. We tested 224 children (116 boys, M = 10.15 years old, SD = 0.56 with the Mathematics Anxiety Scale for Children, the Chinese Revised-edition Questionnaire of Pupil's Metacognitive Ability in Mathematics, and WPS tasks. The results indicated that mathematical metacognition mediated the effect of MA on WPS after controlling for IQ. Second, we divided the children into four mathematics achievement groups including high achieving (HA, typical achieving (TA, low achieving (LA, and mathematical learning difficulty (MLD. Because mathematical metacognition and MA predicted mathematics achievement, we compared group differences in metacognition and MA with IQ partialled out. The results showed that children with MLD scored lower in self-image and higher in learning mathematics anxiety (LMA than the TA and HA children, but not in mathematical evaluation anxiety (MEA. MLD children's LMA was also higher than that of their LA counterparts. These results provide insight into factors that may mediate poor WPS performance which emerges under pressure in mathematics. These results also suggest that the anxiety during learning mathematics should be taken into account in mathematical learning difficulty interventions.
Lai, Yinghui; Zhu, Xiaoshuang; Chen, Yinghe; Li, Yanjun
2015-01-01
Mathematics is one of the most objective, logical, and practical academic disciplines. Yet, in addition to cognitive skills, mathematical problem solving also involves affective factors. In the current study, we first investigated effects of mathematics anxiety (MA) and mathematical metacognition on word problem solving (WPS). We tested 224 children (116 boys, M = 10.15 years old, SD = 0.56) with the Mathematics Anxiety Scale for Children, the Chinese Revised-edition Questionnaire of Pupil's Metacognitive Ability in Mathematics, and WPS tasks. The results indicated that mathematical metacognition mediated the effect of MA on WPS after controlling for IQ. Second, we divided the children into four mathematics achievement groups including high achieving (HA), typical achieving (TA), low achieving (LA), and mathematical learning difficulty (MLD). Because mathematical metacognition and MA predicted mathematics achievement, we compared group differences in metacognition and MA with IQ partialled out. The results showed that children with MLD scored lower in self-image and higher in learning mathematics anxiety (LMA) than the TA and HA children, but not in mathematical evaluation anxiety (MEA). MLD children's LMA was also higher than that of their LA counterparts. These results provide insight into factors that may mediate poor WPS performance which emerges under pressure in mathematics. These results also suggest that the anxiety during learning mathematics should be taken into account in mathematical learning difficulty interventions.
Lai, Yinghui; Zhu, Xiaoshuang; Chen, Yinghe; Li, Yanjun
2015-01-01
Mathematics is one of the most objective, logical, and practical academic disciplines. Yet, in addition to cognitive skills, mathematical problem solving also involves affective factors. In the current study, we first investigated effects of mathematics anxiety (MA) and mathematical metacognition on word problem solving (WPS). We tested 224 children (116 boys, M = 10.15 years old, SD = 0.56) with the Mathematics Anxiety Scale for Children, the Chinese Revised-edition Questionnaire of Pupil’s Metacognitive Ability in Mathematics, and WPS tasks. The results indicated that mathematical metacognition mediated the effect of MA on WPS after controlling for IQ. Second, we divided the children into four mathematics achievement groups including high achieving (HA), typical achieving (TA), low achieving (LA), and mathematical learning difficulty (MLD). Because mathematical metacognition and MA predicted mathematics achievement, we compared group differences in metacognition and MA with IQ partialled out. The results showed that children with MLD scored lower in self-image and higher in learning mathematics anxiety (LMA) than the TA and HA children, but not in mathematical evaluation anxiety (MEA). MLD children’s LMA was also higher than that of their LA counterparts. These results provide insight into factors that may mediate poor WPS performance which emerges under pressure in mathematics. These results also suggest that the anxiety during learning mathematics should be taken into account in mathematical learning difficulty interventions. PMID:26090806
Formal Description of Hybrid Systems
DEFF Research Database (Denmark)
Zhou, Chaochen; Ji, Wang; Ravn, Anders P.
1996-01-01
A language to describe hybrid systems, i.e. networks of communicating discrete and continuous processes, is proposed. A semantics of the language is given in Extended Duration Calculus, a real-time interval logic with a proof system that allows reasoning in mathematical analysis about continuous ...
Formal Institutions and Subjective Wellbeing
DEFF Research Database (Denmark)
Bjørnskov, Christian; Dreher, Axel; Fischer, Justina A.V.
2010-01-01
A long tradition in economics explores the association between the quality of formal institutions and economic performance. The literature on the relationship between such institutions and happiness is, however, rather limited, and inconclusive. In this paper, we revisit the findings from recent...... cross-country studies on the institution-happiness association. Our findings suggest that their conclusions are qualitatively rather insensitive to the specific measure of 'happiness' used, while the associations between formal institutions and subjective well-being differ among poor and rich countries....... Separating different types of institutional quality, we find that in low-income countries the effects of economic-judicial institutions on happiness dominate those of political institutions, while analyses restricted to middle- and high-income countries show strong support for an additional beneficial effect...
Contextual approach to quantum formalism
Khrennikov, Andrei
2009-01-01
The aim of this book is to show that the probabilistic formalisms of classical statistical mechanics and quantum mechanics can be unified on the basis of a general contextual probabilistic model. By taking into account the dependence of (classical) probabilities on contexts (i.e. complexes of physical conditions), one can reproduce all distinct features of quantum probabilities such as the interference of probabilities and the violation of Bell’s inequality. Moreover, by starting with a formula for the interference of probabilities (which generalizes the well known classical formula of total probability), one can construct the representation of contextual probabilities by complex probability amplitudes or, in the abstract formalism, by normalized vectors of the complex Hilbert space or its hyperbolic generalization. Thus the Hilbert space representation of probabilities can be naturally derived from classical probabilistic assumptions. An important chapter of the book critically reviews known no-go theorems...
Informal work and formal plans
DEFF Research Database (Denmark)
Dalsted, Rikke Juul; Hølge-Hazelton, Bibi; Kousgaard, Marius Brostrøm
2012-01-01
trajectories. METHODS AND THEORY: An in-depth case study of patient trajectories at a Danish hospital and surrounding municipality using individual interviews with patients. Theory about trajectory and work by Strauss was included. RESULTS: Patients continuously took initiatives to organize their treatment...... and care. They initiated processes in the trajectories, and acquired information, which they used to form their trajectories. Patients presented problems to the healthcare professionals in order to get proper help when needed. DISCUSSION: Work done by patients was invisible and not perceived as work....... The patients' requests were not sufficiently supported in the professional organisation of work or formal planning. Patients' insertion and use of information in their trajectories challenged professional views and working processes. And the design of the formal pathway models limits the patients' active...
Polynomials formalism of quantum numbers
International Nuclear Information System (INIS)
Kazakov, K.V.
2005-01-01
Theoretical aspects of the recently suggested perturbation formalism based on the method of quantum number polynomials are considered in the context of the general anharmonicity problem. Using a biatomic molecule by way of example, it is demonstrated how the theory can be extrapolated to the case of vibrational-rotational interactions. As a result, an exact expression for the first coefficient of the Herman-Wallis factor is derived. In addition, the basic notions of the formalism are phenomenologically generalized and expanded to the problem of spin interaction. The concept of magneto-optical anharmonicity is introduced. As a consequence, an exact analogy is drawn with the well-known electro-optical theory of molecules, and a nonlinear dependence of the magnetic dipole moment of the system on the spin and wave variables is established [ru
Methodology of formal software evaluation
International Nuclear Information System (INIS)
Tuszynski, J.
1998-01-01
Sydkraft AB, the major Swedish utility, owner of ca 6000 MW el installed in nuclear (NPP Barsebaeck and NPP Oskarshamn), fossil fuel and hydro Power Plants is facing modernization of the control systems of the plants. Standards applicable require structured, formal methods for implementation of the control functions in the modem, real time software systems. This presentation introduces implementation methodology as discussed presently at the Sydkraft organisation. The approach suggested is based upon the process of co-operation of three parties taking part in the implementation; owner of the plant, vendor and Quality Assurance (QA) organisation. QA will be based on tools for formal software validation and on systematic gathering by the owner of validated and proved-by-operation control modules for the concern-wide utilisation. (author)
Variational formalism for spin particles
International Nuclear Information System (INIS)
Horvathy, P.
1977-11-01
The geometrical formulation of Hamilton's principle presented in a previous paper has been related to the usual one in terms of Lagrangian functions. The exact conditions for their equivalence are obtained and a method is given for the construction of a Lagrangian function. The formalism is extended to spin particles and a local Lagrangian is constructed in this case, too. However, this function cannot be extended to a global one. (D.P.)
Ashtekar formalism with real variables
International Nuclear Information System (INIS)
Kalau, W.; Nationaal Inst. voor Kernfysica en Hoge-Energiefysica
1990-12-01
A new approach to canonical gravity is presented which is based on the Ashtekar formalism. But, in contrast to Ashtekar's variables, this formulation does not need complex quantities nor does it lead to second class constraints. This is achieved using SO(3,1) as a gauge group instead of complexified SO(3). Because of the larger group additional first class constraints are needed which turn out to be cubic and quartic in the momenta. (author). 13 refs
Formalization of processes in the land relations of Ukraine
Directory of Open Access Journals (Sweden)
K.О. Meteshkin
2017-12-01
Full Text Available The work listed a number of problematic tasks in the sphere of land relations of Ukraine, among which: weak communications between laws, inconsistency interpretations laws and insufficient use of modern information technologies. The relevance of the work is the need to solve problem tasks land relations in Ukraine and absence, proposed in the work, mathematical apparatus for solving these tasks. Analyzed work of scientists, who work in the sphere of land relations and who work in the sphere of formalize of rights. The proposed decision of actual tasks with help create mathematical ensuring for develop decision support system in land relations. The basis of this mathematical ensuring constitute methods of category theory, which provide the formalization of complex tasks. Based on methods of category theory models of land relations are constructed using data Land code of Ukraine. They will become an element of ontology land relations, which will be the structural parts of the knowledge base decision support system in the land management of Ukraine. It should also be noted, what similar models can be used in other subject areas.
Energy Technology Data Exchange (ETDEWEB)
Glimm, J.
2009-10-14
Progress for the past decade or so has been extraordinary. The solution of Fermat's Last Theorem [11] and of the Poincare Conjecture [1] have resolved two of the most outstanding challenges to mathematics. For both cases, deep and advanced theories and whole subfields of mathematics came into play and were developed further as part of the solutions. And still the future is wide open. Six of the original seven problems from the Clay Foundation challenge remain open, the 23 DARPA challenge problems are open. Entire new branches of mathematics have been developed, including financial mathematics and the connection between geometry and string theory, proposed to solve the problems of quantized gravity. New solutions of the Einstein equations, inspired by shock wave theory, suggest a cosmology model which fits accelerating expansion of the universe possibly eliminating assumptions of 'dark matter'. Intellectual challenges and opportunities for mathematics are greater than ever. The role of mathematics in society continues to grow; with this growth comes new opportunities and some growing pains; each will be analyzed here. We see a broadening of the intellectual and professional opportunities and responsibilities for mathematicians. These trends are also occuring across all of science. The response can be at the level of the professional societies, which can work to deepen their interactions, not only within the mathematical sciences, but also with other scientific societies. At a deeper level, the choices to be made will come from individual mathematicians. Here, of course, the individual choices will be varied, and we argue for respect and support for this diversity of responses. In such a manner, we hope to preserve the best of the present while welcoming the best of the new.
Quantum mechanics formalism for biological evolution
International Nuclear Information System (INIS)
Bianconi, Ginestra; Rahmede, Christoph
2012-01-01
Highlights: ► Biological evolution is an off-equilibrium process described by path integrals over phylogenies. ► The phylogenies are sums of linear lineages for asexual populations. ► For sexual populations, each lineage is a tree and the path integral is given by a sum over these trees. ► Quantum statistics describe the stationary state of biological populations in simple cases. - Abstract: We study the evolution of sexual and asexual populations in fitness landscapes compatible with epistatic interactions. We find intriguing relations between the mathematics of biological evolution and quantum mechanics formalism. We give the general structure of the evolution of sexual and asexual populations which is in general an off-equilibrium process that can be expressed by path integrals over phylogenies. These phylogenies are the sum of linear lineages for asexual populations. For sexual populations, instead, each lineage is a tree of branching ratio two and the path integral describing the evolving population is given by a sum over these trees. Finally we show that the Bose–Einstein and the Fermi–Dirac distributions describe the stationary state of biological populations in simple cases.
Colloquium: Mechanical formalisms for tissue dynamics.
Tlili, Sham; Gay, Cyprien; Graner, François; Marcq, Philippe; Molino, François; Saramito, Pierre
2015-05-01
The understanding of morphogenesis in living organisms has been renewed by tremendous progress in experimental techniques that provide access to cell scale, quantitative information both on the shapes of cells within tissues and on the genes being expressed. This information suggests that our understanding of the respective contributions of gene expression and mechanics, and of their crucial entanglement, will soon leap forward. Biomechanics increasingly benefits from models, which assist the design and interpretation of experiments, point out the main ingredients and assumptions, and ultimately lead to predictions. The newly accessible local information thus calls for a reflection on how to select suitable classes of mechanical models. We review both mechanical ingredients suggested by the current knowledge of tissue behaviour, and modelling methods that can help generate a rheological diagram or a constitutive equation. We distinguish cell scale ("intra-cell") and tissue scale ("inter-cell") contributions. We recall the mathematical framework developed for continuum materials and explain how to transform a constitutive equation into a set of partial differential equations amenable to numerical resolution. We show that when plastic behaviour is relevant, the dissipation function formalism appears appropriate to generate constitutive equations; its variational nature facilitates numerical implementation, and we discuss adaptations needed in the case of large deformations. The present article gathers theoretical methods that can readily enhance the significance of the data to be extracted from recent or future high throughput biomechanical experiments.
Group adaptation, formal darwinism and contextual analysis.
Okasha, S; Paternotte, C
2012-06-01
We consider the question: under what circumstances can the concept of adaptation be applied to groups, rather than individuals? Gardner and Grafen (2009, J. Evol. Biol.22: 659-671) develop a novel approach to this question, building on Grafen's 'formal Darwinism' project, which defines adaptation in terms of links between evolutionary dynamics and optimization. They conclude that only clonal groups, and to a lesser extent groups in which reproductive competition is repressed, can be considered as adaptive units. We re-examine the conditions under which the selection-optimization links hold at the group level. We focus on an important distinction between two ways of understanding the links, which have different implications regarding group adaptationism. We show how the formal Darwinism approach can be reconciled with G.C. Williams' famous analysis of group adaptation, and we consider the relationships between group adaptation, the Price equation approach to multi-level selection, and the alternative approach based on contextual analysis. © 2012 The Authors. Journal of Evolutionary Biology © 2012 European Society For Evolutionary Biology.
A Formal Methods Approach to the Analysis of Mode Confusion
Butler, Ricky W.; Miller, Steven P.; Potts, James N.; Carreno, Victor A.
2004-01-01
The goal of the new NASA Aviation Safety Program (AvSP) is to reduce the civil aviation fatal accident rate by 80% in ten years and 90% in twenty years. This program is being driven by the accident data with a focus on the most recent history. Pilot error is the most commonly cited cause for fatal accidents (up to 70%) and obviously must be given major consideration in this program. While the greatest source of pilot error is the loss of situation awareness , mode confusion is increasingly becoming a major contributor as well. The January 30, 1995 issue of Aviation Week lists 184 incidents and accidents involving mode awareness including the Bangalore A320 crash 2/14/90, the Strasbourg A320 crash 1/20/92, the Mulhouse-Habsheim A320 crash 6/26/88, and the Toulouse A330 crash 6/30/94. These incidents and accidents reveal that pilots sometimes become confused about what the cockpit automation is doing. Consequently, human factors research is an obvious investment area. However, even a cursory look at the accident data reveals that the mode confusion problem is much deeper than just training deficiencies and a lack of human-oriented design. This is readily acknowledged by human factors experts. It seems that further progress in human factors must come through a deeper scrutiny of the internals of the automation. It is in this arena that formal methods can contribute. Formal methods refers to the use of techniques from logic and discrete mathematics in the specification, design, and verification of computer systems, both hardware and software. The fundamental goal of formal methods is to capture requirements, designs and implementations in a mathematically based model that can be analyzed in a rigorous manner. Research in formal methods is aimed at automating this analysis as much as possible. By capturing the internal behavior of a flight deck in a rigorous and detailed formal model, the dark corners of a design can be analyzed. This paper will explore how formal
Directory of Open Access Journals (Sweden)
I E. Lobanov
2017-01-01
Full Text Available Objectives. The aim of present work was to carry out mathematical modelling of heat transfer with symmetrical heating in flat channels and round pipes with rough walls.Methods. The calculation was carried out using the L'Hôpital-Bernoulli's method. The solution of the problem of intensified heat transfer in a round tube with rough walls was obtained using the Lyon's integral.Results. Different from existing theories, a methodology of theoretical computational heat transfer determination for flat rough channels and round pipes with rough walls is developed on the basis of the principle of full viscosity superposition in a turbulent boundary layer. The analysis of the calculated heat transfer and hydroresistivity values for flat rough channels and round rough pipes shows that the increase in heat transfer is always less than the corresponding increase in hydraulic resistance, which is a disadvantage as compared to channels with turbulators, with all else being equal. The results of calculating the heat transfer for channels with rough walls in an extended range of determinant parameters, which differ significantly from the corresponding data for the channels with turbulators, determine the level of heat exchange intensification.Conclusion. An increase in the calculated values of the relative average heat transfer Nu/NuGL for flat rough channels and rough pipes with very high values of the relative roughness is significantly contributed by both an increase in the relative roughness height and an increase in the Reynolds number Re. In comparison with empirical dependencies, the main advantage of solutions for averaged heat transfer in rough flat channels and round pipes under symmetrical thermal load obtained according to the developed theory is that they allow the calculation of heat exchange in rough pipes to be made in the case of large and very large relative heights of roughness protrusions, including large Reynolds numbers, typical for pipes
Understanding visualization: a formal approach using category theory and semiotics.
Vickers, Paul; Faith, Joe; Rossiter, Nick
2013-06-01
This paper combines the vocabulary of semiotics and category theory to provide a formal analysis of visualization. It shows how familiar processes of visualization fit the semiotic frameworks of both Saussure and Peirce, and extends these structures using the tools of category theory to provide a general framework for understanding visualization in practice, including: Relationships between systems, data collected from those systems, renderings of those data in the form of representations, the reading of those representations to create visualizations, and the use of those visualizations to create knowledge and understanding of the system under inspection. The resulting framework is validated by demonstrating how familiar information visualization concepts (such as literalness, sensitivity, redundancy, ambiguity, generalizability, and chart junk) arise naturally from it and can be defined formally and precisely. This paper generalizes previous work on the formal characterization of visualization by, inter alia, Ziemkiewicz and Kosara and allows us to formally distinguish properties of the visualization process that previous work does not.
Jost, Jürgen
2015-01-01
The main intention of this book is to describe and develop the conceptual, structural and abstract thinking of mathematics. Specific mathematical structures are used to illustrate the conceptual approach; providing a deeper insight into mutual relationships and abstract common features. These ideas are carefully motivated, explained and illustrated by examples so that many of the more technical proofs can be omitted. The book can therefore be used: · simply as an overview of the panorama of mathematical structures and the relations between them, to be supplemented by more detailed texts whenever you want to acquire a working knowledge of some structure · by itself as a first introduction to abstract mathematics · together with existing textbooks, to put their results into a more general perspective · to gain a new and hopefully deeper perspective after having studied such textbooks Mathematical Concepts has a broader scope and is less detaile...
Industrial applications of formal methods to model, design and analyze computer systems
Craigen, Dan
1995-01-01
Formal methods are mathematically-based techniques, often supported by reasoning tools, that can offer a rigorous and effective way to model, design and analyze computer systems. The purpose of this study is to evaluate international industrial experience in using formal methods. The cases selected are representative of industrial-grade projects and span a variety of application domains. The study had three main objectives: · To better inform deliberations within industry and government on standards and regulations; · To provide an authoritative record on the practical experience of formal m
Formalized search strategies for human risk contributions
International Nuclear Information System (INIS)
Rasmussen, J.; Pedersen, O.M.
1982-07-01
For risk management, the results of a probabilistic risk analysis (PRA) as well as the underlying assumptions can be used as references in a closed-loop risk control; and the analyses of operational experiences as a means of feedback. In this context, the need for explicit definition and documentation of the PRA coverage, including the search strategies applied, is discussed and aids are proposed such as plant description in terms of a formal abstraction hierarchy and use of cause-consequence-charts for the documentation of not only the results of PRA but also of its coverage. Typical human risk contributions are described on the basis of general plant design features relevant for risk and accident analysis. With this background, search strategies for human risk contributions are treated: Under the designation ''work analysis'', procedures for the analysis of familiar, well trained, planned tasks are proposed. Strategies for identifying human risk contributions outside this category are outlined. (author)
Rubin, Andrew
2014-01-01
This book presents concise descriptions and analysis of the classical and modern models used in mathematical biophysics. The authors ask the question "what new information can be provided by the models that cannot be obtained directly from experimental data?" Actively developing fields such as regulatory mechanisms in cells and subcellular systems and electron transport and energy transport in membranes are addressed together with more classical topics such as metabolic processes, nerve conduction and heart activity, chemical kinetics, population dynamics, and photosynthesis. The main approach is to describe biological processes using different mathematical approaches necessary to reveal characteristic features and properties of simulated systems. With the emergence of powerful mathematics software packages such as MAPLE, Mathematica, Mathcad, and MatLab, these methodologies are now accessible to a wide audience. Provides succinct but authoritative coverage of a broad array of biophysical topics and models Wr...
Hiriart-Urruty, Jean-Baptiste
This book contains a collection of exercises (called “tapas”) at undergraduate level, mainly from the fields of real analysis, calculus, matrices, convexity, and optimization. Most of the problems presented here are non-standard and some require broad knowledge of different mathematical subjects in order to be solved. The author provides some hints and (partial) answers and also puts these carefully chosen exercises into context, presents information on their origins, and comments on possible extensions. With stars marking the levels of difficulty, these tapas show or prove something interesting, challenge the reader to solve and learn, and may have surprising results. This first volume of Mathematical Tapas will appeal to mathematicians, motivated undergraduate students from science-based areas, and those generally interested in mathematics.
Vivaldi, Franco
2014-01-01
This book teaches the art of writing mathematics, an essential -and difficult- skill for any mathematics student. The book begins with an informal introduction on basic writing principles and a review of the essential dictionary for mathematics. Writing techniques are developed gradually, from the small to the large: words, phrases, sentences, paragraphs, to end with short compositions. These may represent the introduction of a concept, the abstract of a presentation or the proof of a theorem. Along the way the student will learn how to establish a coherent notation, mix words and symbols effectively, write neat formulae, and structure a definition. Some elements of logic and all common methods of proofs are featured, including various versions of induction and existence proofs. The book concludes with advice on specific aspects of thesis writing (choosing of a title, composing an abstract, compiling a bibliography) illustrated by large number of real-life examples. Many exercises are included; over 150...
Cahill, Kevin
2013-01-01
Unique in its clarity, examples and range, Physical Mathematics explains as simply as possible the mathematics that graduate students and professional physicists need in their courses and research. The author illustrates the mathematics with numerous physical examples drawn from contemporary research. In addition to basic subjects such as linear algebra, Fourier analysis, complex variables, differential equations and Bessel functions, this textbook covers topics such as the singular-value decomposition, Lie algebras, the tensors and forms of general relativity, the central limit theorem and Kolmogorov test of statistics, the Monte Carlo methods of experimental and theoretical physics, the renormalization group of condensed-matter physics and the functional derivatives and Feynman path integrals of quantum field theory.
Computers as medium for mathematical writing
DEFF Research Database (Denmark)
Misfeldt, Morten
2011-01-01
The production of mathematical formalism on state of the art computers is quite different than by pen and paper. In this paper I examine the question of how different media influence the writing of mathematical signs. The examination is based on an investigation of professional mathematicians' use...... of various media for their writing. A model for describing mathematical writing through turntakings is proposed. The model is applied to the ways mathematicians use computers for writing, and especially it is used to understand how interaction with the computer system LaTeX is different in the case...
Unity and disunity and other mathematical essays
Davis, Philip J
2015-01-01
This book is a mathematical potpourri. Its material originated in classroom presentations, formal lectures, sections of earlier books, book reviews, or just things written by the author for his own pleasure. Written in a nontechnical fashion, this book expresses the unique vision and attitude of the author towards the role of mathematics in society. It contains observations or incidental remarks on mathematics, its nature, its impacts on education and science and technology, its personalities and philosophies. The book is directed towards the math buffs of the world and, more generally, toward
Introduction to the foundations of mathematics
Wilder, Raymond L
2012-01-01
This classic undergraduate text by an eminent educator acquaints students with the fundamental concepts and methods of mathematics. In addition to introducing many noteworthy historical figures from the eighteenth through the mid-twentieth centuries, the book examines the axiomatic method, set theory, infinite sets, the linear continuum and the real number system, and groups. Additional topics include the Frege-Russell thesis, intuitionism, formal systems, mathematical logic, and the cultural setting of mathematics. Students and teachers will find that this elegant treatment covers a vast amou
Concepts of modern mathematics
Stewart, Ian
1995-01-01
Some years ago, ""new math"" took the country's classrooms by storm. Based on the abstract, general style of mathematical exposition favored by research mathematicians, its goal was to teach students not just to manipulate numbers and formulas, but to grasp the underlying mathematical concepts. The result, at least at first, was a great deal of confusion among teachers, students, and parents. Since then, the negative aspects of ""new math"" have been eliminated and its positive elements assimilated into classroom instruction.In this charming volume, a noted English mathematician uses humor an
Insights into teaching mathematics
Orton, Anthony
2004-01-01
Providing essential guidance and background information about teaching mathematics, this book is intended particularly for teachers who do not regard themselves as specialists in mathematics. It deals with issues of learning and teaching, including the delivery of content and the place of problems and investigations. Difficulties which pupils encounter in connection with language and symbols form important sections of the overall discussion of how to enhance learning. The curriculum is considered in brief under the headings of number, algebra, shape and space, and data handling, and special at
Applied mathematics made simple
Murphy, Patrick
1982-01-01
Applied Mathematics: Made Simple provides an elementary study of the three main branches of classical applied mathematics: statics, hydrostatics, and dynamics. The book begins with discussion of the concepts of mechanics, parallel forces and rigid bodies, kinematics, motion with uniform acceleration in a straight line, and Newton's law of motion. Separate chapters cover vector algebra and coplanar motion, relative motion, projectiles, friction, and rigid bodies in equilibrium under the action of coplanar forces. The final chapters deal with machines and hydrostatics. The standard and conte
The Framing Discussion: Connecting Student Experience with Mathematical Knowledge
Henning, John E.; Balong, Megan
2011-01-01
This article introduces the framing discussion, an informal discussion of a mathematical problem that takes place at the beginning of a lesson or unit. The purpose of the framing discussion is to assess student knowledge, motivate student interest, and to serve as a basis for guiding students to more formal mathematical knowledge. The article…
Does Writing Have Any Effect on Mathematics Success?
Dündar, Sefa
2016-01-01
In this study, the relationship between mathematics success and the formal properties and contents of the notebooks in which students take notes during mathematics classes have been examined. The exploratory model, in which quantitative and qualitative data are used together, has been used in this study. This study consists of 176 students from 3…
FORMAL MODELS OF LANGUAGE SYSTEMS
Directory of Open Access Journals (Sweden)
G. Chetverikov
2009-01-01
Full Text Available The basic construction concepts of unifying two-digit and multi-valued means of processing symbolic data are considered. The present approach is based upon a single methodological and special purpose principle by applying the proposed methods of the intelligence theory for mathematical input/output data and their intermediate transformations by an appropriate AFP-structure of the third grade.
Bartocci, Claudio; Guerraggio, Angelo; Lucchetti, Roberto; Williams, Kim
2011-01-01
Steps forward in mathematics often reverberate in other scientific disciplines, and give rise to innovative conceptual developments or find surprising technological applications. This volume brings to the forefront some of the proponents of the mathematics of the twentieth century, who have put at our disposal new and powerful instruments for investigating the reality around us. The portraits present people who have impressive charisma and wide-ranging cultural interests, who are passionate about defending the importance of their own research, are sensitive to beauty, and attentive to the soci
Mathematical Building-Blocks in Engineering Mechanics
Boyajian, David M.
2007-01-01
A gamut of mathematical subjects and concepts are taught within a handful of courses formally required of the typical engineering student who so often questions the relevancy of being bound to certain lower-division prerequisites. Basic classes at the undergraduate level, in this context, include: Integral and Differential Calculus, Differential…
Foundation and Mathematical Uses of Higher Types
DEFF Research Database (Denmark)
Kohlenbach, Ulrich
2002-01-01
This paper addresses `1),' to which S. Feferman has contributed so profoundly. We study mathematical strong, but nevertheless PRA-reducible, systems in all finite types, emphasizing the need of third order variables already for a faithful formalization of continuous functions between Polish spaces...
Formal Verification of Continuous Systems
DEFF Research Database (Denmark)
Sloth, Christoffer
2012-01-01
and the verification procedures should be algorithmically synthesizable. Autonomous control plays an important role in many safety-critical systems. This implies that a malfunction in the control system can have catastrophic consequences, e.g., in space applications where a design flaw can result in large economic...... losses. Furthermore, a malfunction in the control system of a surgical robot may cause death of patients. The previous examples involve complex systems that are required to operate according to complex specifications. The systems cannot be formally verified by modern verification techniques, due...
Measuring the effect of formalization
International Nuclear Information System (INIS)
Stoelen, K.; Mohn, P.
1998-01-01
We present an ongoing research activity concerned with measuring the effect of an increased level of formalization in software development. We summarize the experiences from a first experimental development. Based on these experiences, we discuss a number of technical issues; in particular, problems connected to metrics based on fault reports. First of all, what is a fault? Secondly, how should the fault counting be integrated in the development process? Thirdly, any reasonable definition of fault depends on a notion of satisfaction. Hence, we must address the question: What does it mean for a specification or an implementation to satisfy a requirement imposed by a more high-level specification? (author)
Formalization in Component Based Development
DEFF Research Database (Denmark)
Holmegaard, Jens Peter; Knudsen, John; Makowski, Piotr
2006-01-01
We present a unifying conceptual framework for components, component interfaces, contracts and composition of components by focusing on the collection of properties or qualities that they must share. A specific property, such as signature, functionality behaviour or timing is an aspect. Each aspect...... may be specified in a formal language convenient for its purpose and, in principle, unrelated to languages for other aspects. Each aspect forms its own semantic domain, although a semantic domain may be parameterized by values derived from other aspects. The proposed conceptual framework is introduced...
Asymmetric Formal Synthesis of Azadirachtin.
Mori, Naoki; Kitahara, Takeshi; Mori, Kenji; Watanabe, Hidenori
2015-12-01
An asymmetric formal synthesis of azadirachtin, a potent insect antifeedant, was accomplished in 30 steps to Ley's synthetic intermediate (longest linear sequence). The synthesis features: 1) rapid access to the optically active right-hand segment starting from the known 5-hydroxymethyl-2-cyclopentenone scaffold; 2) construction of the B and E rings by a key intramolecular tandem radical cyclization; 3) formation of the hemiacetal moiety in the C ring through the α-oxidation of the six-membered lactone followed by methanolysis. © 2015 WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim.
Quotable Quotes in Mathematics
Lo, Bruce W. N.
1983-01-01
As a way to dispel negative feelings toward mathematics, a variety of quotations are given. They are categorized by: what mathematics is, mathematicians, mathematics and other disciplines, different areas of mathematics, mathematics and humor, applications of mathematics, and pure versus applied mathematics. (MNS)
Higher order temporal finite element methods through mixed formalisms.
Kim, Jinkyu
2014-01-01
The extended framework of Hamilton's principle and the mixed convolved action principle provide new rigorous weak variational formalism for a broad range of initial boundary value problems in mathematical physics and mechanics. In this paper, their potential when adopting temporally higher order approximations is investigated. The classical single-degree-of-freedom dynamical systems are primarily considered to validate and to investigate the performance of the numerical algorithms developed from both formulations. For the undamped system, all the algorithms are symplectic and unconditionally stable with respect to the time step. For the damped system, they are shown to be accurate with good convergence characteristics.
Principles of mathematical modeling
Dym, Clive
2004-01-01
Science and engineering students depend heavily on concepts of mathematical modeling. In an age where almost everything is done on a computer, author Clive Dym believes that students need to understand and "own" the underlying mathematics that computers are doing on their behalf. His goal for Principles of Mathematical Modeling, Second Edition, is to engage the student reader in developing a foundational understanding of the subject that will serve them well into their careers. The first half of the book begins with a clearly defined set of modeling principles, and then introduces a set of foundational tools including dimensional analysis, scaling techniques, and approximation and validation techniques. The second half demonstrates the latest applications for these tools to a broad variety of subjects, including exponential growth and decay in fields ranging from biology to economics, traffic flow, free and forced vibration of mechanical and other systems, and optimization problems in biology, structures, an...
Kepner, Gordon R
2014-08-27
This study uses dimensional analysis to derive the general second-order differential equation that underlies numerous physical and natural phenomena described by common mathematical functions. It eschews assumptions about empirical constants and mechanisms. It relies only on the data plot's mathematical properties to provide the conditions and constraints needed to specify a second-order differential equation that is free of empirical constants for each phenomenon. A practical example of each function is analyzed using the general form of the underlying differential equation and the observable unique mathematical properties of each data plot, including boundary conditions. This yields a differential equation that describes the relationship among the physical variables governing the phenomenon's behavior. Complex phenomena such as the Standard Normal Distribution, the Logistic Growth Function, and Hill Ligand binding, which are characterized by data plots of distinctly different sigmoidal character, are readily analyzed by this approach. It provides an alternative, simple, unifying basis for analyzing each of these varied phenomena from a common perspective that ties them together and offers new insights into the appropriate empirical constants for describing each phenomenon.
Directory of Open Access Journals (Sweden)
Carlos Coimbra-Araujo
2017-08-01
Full Text Available For several reasons, the Exact Sciences have been shown as one of the areas of scientific knowledge that most demand actions in non-formal spaces of education. One of the main reasons lies in the fact that Mathematics, Physics, Chemistry and Astronomy are traditionally addressed, within the school environment and in the formal curriculum, unrelated to the student reality. Such subjects are often seen as a set of inflexible and incomprehensible principles. In this aspect, the present work reviews the main problems surrounding the teaching of the mentioned scientific areas, highlighting non-formal tools for the teaching of Mathematics, Physics, Chemistry, Astronomy and, in particular, the modern virtual environments of teaching modeled by Computing Science. Other historical difficulties that the formal education of Exact Sciences has suffered in Brazil are also presented, as well some of the main non-formal resources sought to complement the curriculum that is usually presented in the classroom.
International Nuclear Information System (INIS)
Wainwright, J.
1990-01-01
The workshop on mathematical cosmology was devoted to four topics of current interest. This report contains a brief discussion of the historical background of each topic and a concise summary of the content of each talk. The topics were; the observational cosmology program, the cosmological perturbation program, isotropic singularities, and the evolution of Bianchi cosmologies. (author)
Weaver, Nik
2001-01-01
With a unique approach and presenting an array of new and intriguing topics, Mathematical Quantization offers a survey of operator algebras and related structures from the point of view that these objects are quantizations of classical mathematical structures. This approach makes possible, with minimal mathematical detail, a unified treatment of a variety of topics.Detailed here for the first time, the fundamental idea of mathematical quantization is that sets are replaced by Hilbert spaces. Building on this idea, and most importantly on the fact that scalar-valued functions on a set correspond to operators on a Hilbert space, one can determine quantum analogs of a variety of classical structures. In particular, because topologies and measure classes on a set can be treated in terms of scalar-valued functions, we can transfer these constructions to the quantum realm, giving rise to C*- and von Neumann algebras.In the first half of the book, the author quickly builds the operator algebra setting. He uses this ...
Fujita, Shinsaku
2015-01-01
Chirality and stereogenicity are closely related concepts and their differentiation and description is still a challenge in chemoinformatics. A new stereoisogram approach, developed by the author, is introduced in this book, providing a theoretical framework for mathematical aspects of modern stereochemistry. The discussion covers point-groups and permutation symmetry and exemplifies the concepts using organic molecules and inorganic complexes.
A survey of formal languages for contracts
DEFF Research Database (Denmark)
Hvitved, Tom
2010-01-01
In this short paper we present the current status on formal languages and models for contracts. By a formal model is meant an unambiguous and rigorous representation of contracts, in order to enable their automatic validation, execution, and analysis — activates that are collectively referred...... to as contract lifecycle management (CLM). We present a set of formalism requirements, which represent features that any ideal contract model should support, based on which we present a comparative survey of existing contract formalisms....
Formal Proofs for Nonlinear Optimization
Directory of Open Access Journals (Sweden)
Victor Magron
2015-01-01
Full Text Available We present a formally verified global optimization framework. Given a semialgebraic or transcendental function f and a compact semialgebraic domain K, we use the nonlinear maxplus template approximation algorithm to provide a certified lower bound of f over K.This method allows to bound in a modular way some of the constituents of f by suprema of quadratic forms with a well chosen curvature. Thus, we reduce the initial goal to a hierarchy of semialgebraic optimization problems, solved by sums of squares relaxations. Our implementation tool interleaves semialgebraic approximations with sums of squares witnesses to form certificates. It is interfaced with Coq and thus benefits from the trusted arithmetic available inside the proof assistant. This feature is used to produce, from the certificates, both valid underestimators and lower bounds for each approximated constituent.The application range for such a tool is widespread; for instance Hales' proof of Kepler's conjecture yields thousands of multivariate transcendental inequalities. We illustrate the performance of our formal framework on some of these inequalities as well as on examples from the global optimization literature.
Canonical formalism for relativistic dynamics
International Nuclear Information System (INIS)
Penafiel-Nava, V.M.
1982-01-01
The possibility of a canonical formalism appropriate for a dynamical theory of isolated relativistic multiparticle systems involving scalar interactions is studied. It is shown that a single time-parameter structure satisfying the requirements of Poincare invariance and simultaneity of the constituents (global tranversality) can not be derived from a homogeneous Lagrangian. The dynamics is deduced initially from a non-homogeneous but singular Lagrangian designed to accommodate the global tranversality constraints with the equaltime plane associated to the total momentum of the system. An equivalent standard Lagrangian is used to generalize the parametrization procedure which is referred to an arbitrary geodesic in Minkowski space. The equations of motion and the definition of center of momentum are invariant with respect to the choice of geodesic and the entire formalism becomes separable. In the original 8N-dimensional phase-space, the symmetries of the Lagrangian give rise to a canonical realization of a fifteen-generator Lie algebra which is projected in the 6N dimensional hypersurface of dynamical motions. The time-component of the total momentum is thus reduced to a neutral element and the canonical Hamiltonian survives as the only generator for time-translations so that the no-interaction theorem becomes inapplicable
Philosophy of mathematics set theory, measuring theories, and nominalism
Preyer, Gerhard
2008-01-01
One main interest of philosophy is to become clear about the assumptions, premisses and inconsistencies of our thoughts and theories. And even for a formal language like mathematics it is controversial if consistency is acheivable or necessary like the articles in the firt part of the publication show. Also the role of formal derivations, the role of the concept of apriority, and the intuitions of mathematical principles and properties need to be discussed. The second part is a contribution on nominalistic and platonistic views in mathematics, like the ""indispensability argument"" of W. v. O.
Talking about teaching and learning mathematics in indigenous schools
Directory of Open Access Journals (Sweden)
Lucélida de Fátima Maia da Costa
2012-09-01
Full Text Available To teach and to learn mathematics are not always conjugated concomitantly, particularly in the context of formal indigenous schools. This article puts in discussion some facts about the role of schools in indigenous communities, often mistakenly called Indian schools, as well as questions about the meaning of teaching mathematics in those contexts. Based on the concepts of ethnomathematics, it shows that a dialogue is possible between the traditional mathematical knowledge of various ethnic groups of the Amazon and the knowledge disseminated by formal school teaching practice.
Formal analysis of design process dynamics
Bosse, T.; Jonker, C.M.; Treur, J.
2010-01-01
This paper presents a formal analysis of design process dynamics. Such a formal analysis is a prerequisite to come to a formal theory of design and for the development of automated support for the dynamics of design processes. The analysis was geared toward the identification of dynamic design
Formal Analysis of Design Process Dynamics
Bosse, T.; Jonker, C.M.; Treur, J.
2010-01-01
This paper presents a formal analysis of design process dynamics. Such a formal analysis is a prerequisite to come to a formal theory of design and for the development of automated support for the dynamics of design processes. The analysis was geared toward the identification of dynamic design
Formal Symplectic Groupoid of a Deformation Quantization
Karabegov, Alexander V.
2005-08-01
We give a self-contained algebraic description of a formal symplectic groupoid over a Poisson manifold M. To each natural star product on M we then associate a canonical formal symplectic groupoid over M. Finally, we construct a unique formal symplectic groupoid ‘with separation of variables’ over an arbitrary Kähler-Poisson manifold.
Formalizing the concept phase of product development
Schuts, M.; Hooman, J.
2015-01-01
We discuss the use of formal techniques to improve the concept phase of product realisation. As an industrial application, a new concept of interventional X-ray systems has been formalized, using model checking techniques and the simulation of formal models. cop. Springer International Publishing
Formal Testing of Correspondence Carrying Software
Bujorianu, M.C.; Bujorianu, L.M.; Maharaj, S.
2008-01-01
Nowadays formal software development is characterised by use of multitude formal specification languages. Test case generation from formal specifications depends in general on a specific language, and, moreover, there are competing methods for each language. There is a need for a generic approach to
Lifelong Learning to Empowerment: Beyond Formal Education
Carr, Alexis; Balasubramanian, K.; Atieno, Rosemary; Onyango, James
2018-01-01
This paper discusses the relevance of lifelong learning vis-à-vis the Sustainable Development Goals (SDGs) and stresses the need for an approach blending formal education, non-formal and informal learning. The role of Open and Distance Learning (ODL) in moving beyond formal education and the importance of integrating pedagogy, andragogy and…
The Integration of Formal and Non-formal Education: The Dutch “brede school”
Directory of Open Access Journals (Sweden)
du Bois-Reymond, Manuela
2009-12-01
courses and support for under-achievers who are often students with migrant background. In both sectors, primary and secondary, it is the formal school organization with its professionals which determines the character of a BS; there is no full integration of formal and non-formal education resulting in one non-disruptive learning trajectory, nor is there the intention to go in that direction. Non-formal pedagogues are partly professionals, like youth- and social workers, partly volunteers, like parents, partly non-educational partners, like school-police, psycho-medical help or commercial leisure providers. Besides that, the BS is regarded by government educational and social policy as a potential partner and anchor for community development. It is too early to make reliable statements about the effects of the BS movement in the Netherlands concerning the educational opportunities for disadvantaged children and their families, especially those with migrant background, and combat further segregation. Evaluation studies made so far are moderately positive but also point to problems of overly bureaucratized structures and layers, lack of sufficient financial resources and, again, are uncertain about long-term effects.
The language of mathematics telling mathematical tales
Barton, Bill
2008-01-01
Everyday mathematical ideas are expressed differently in different languages. This book probes those differences and explores their implications for mathematics education, arguing for alternatives to how we teach and learn mathematics.
Computational experiment approach to advanced secondary mathematics curriculum
Abramovich, Sergei
2014-01-01
This book promotes the experimental mathematics approach in the context of secondary mathematics curriculum by exploring mathematical models depending on parameters that were typically considered advanced in the pre-digital education era. This approach, by drawing on the power of computers to perform numerical computations and graphical constructions, stimulates formal learning of mathematics through making sense of a computational experiment. It allows one (in the spirit of Freudenthal) to bridge serious mathematical content and contemporary teaching practice. In other words, the notion of teaching experiment can be extended to include a true mathematical experiment. When used appropriately, the approach creates conditions for collateral learning (in the spirit of Dewey) to occur including the development of skills important for engineering applications of mathematics. In the context of a mathematics teacher education program, this book addresses a call for the preparation of teachers capable of utilizing mo...
New method of contour image processing based on the formalism of spiral light beams
International Nuclear Information System (INIS)
Volostnikov, Vladimir G; Kishkin, S A; Kotova, S P
2013-01-01
The possibility of applying the mathematical formalism of spiral light beams to the problems of contour image recognition is theoretically studied. The advantages and disadvantages of the proposed approach are evaluated; the results of numerical modelling are presented. (optical image processing)
Mathematics and engineering in real life through mathematical competitions
More, M.
2018-02-01
We bring out an experience of organizing mathematical competitions that can be used as a medium to motivate the student and teacher minds in new directions of thinking. This can contribute to fostering research, innovation and provide a hands-on experience of mathematical concepts with the real world. Mathematical competitions can be used to build curiosity and give an understanding of mathematical applications in real life. Participation in the competition has been classified under four broad categories. Student can showcase their findings in various forms of expression like model, poster, soft presentation, animation, live performance, art and poetry. The basic focus of the competition is on using open source computation tools and modern technology, to emphasize the relationship of mathematical concepts with engineering applications in real life.
The Impact of Hands-On-Approach on Student Academic Performance in Basic Science and Mathematics
Ekwueme, Cecilia O.; Ekon, Esther E.; Ezenwa-Nebife, Dorothy C.
2015-01-01
Children can learn mathematics and sciences effectively even before being exposed to formal school curriculum if basic Mathematics and Sciences concepts are communicated to them early using activity oriented (Hands-on) method of teaching. Mathematics and Science are practical and activity oriented and can best be learnt through inquiry (Okebukola…
Giftedness and Aesthetics: Perspectives of Expert Mathematicians and Mathematically Gifted Students
Tjoe, Hartono
2015-01-01
Giftedness in mathematics has been characterized by exceptional attributes including strong mathematical memory, formalizing perception, generalization, curtailment, flexibility, and elegance. Focusing on the last attribute, this study examined the following: (a) the criteria which expert mathematicians and mathematically gifted students fleshed…
Formal analysis of physical theories
International Nuclear Information System (INIS)
Dalla Chiara, M.L.; Toraldo di Francia, G.
1979-01-01
The rules of inference that are made use of in formalization are considered. It is maintained that a physical law represents the universal assertion of a probability, and not the assessment of the probability of a universal assertion. The precision of the apparatus used to collect the experimental evidence is introduced as an essential part of the theoretical structure of physics. This approach allows the author to define the concept of truth in a satisfactory way, abandoning the unacceptable notion of approximate truth. It is shown that a considerable amount of light can be shed on a number of much debated problems arising in the logic of quantum mechanics. It is stressed that the deductive structure of quantum theory seems to be essentially founded on a kind of mixture of different logics. Two different concepts of truth are distinguished within quantum theory, an empirical truth and quantum-logical truth. (Auth.)
Sierpinska, Anna
1994-01-01
The concept of understanding in mathematics with regard to mathematics education is considered in this volume, the main problem for mathematics teachers being how to facilitate their students'' understanding of the mathematics being taught.
Driessche, Pauline; Wu, Jianhong
2008-01-01
Based on lecture notes of two summer schools with a mixed audience from mathematical sciences, epidemiology and public health, this volume offers a comprehensive introduction to basic ideas and techniques in modeling infectious diseases, for the comparison of strategies to plan for an anticipated epidemic or pandemic, and to deal with a disease outbreak in real time. It covers detailed case studies for diseases including pandemic influenza, West Nile virus, and childhood diseases. Models for other diseases including Severe Acute Respiratory Syndrome, fox rabies, and sexually transmitted infections are included as applications. Its chapters are coherent and complementary independent units. In order to accustom students to look at the current literature and to experience different perspectives, no attempt has been made to achieve united writing style or unified notation. Notes on some mathematical background (calculus, matrix algebra, differential equations, and probability) have been prepared and may be downlo...
International Nuclear Information System (INIS)
Nedelec, J.C.
1988-01-01
The 1988 progress report of the Applied Mathematics center (Polytechnic School, France), is presented. The research fields of the Center are the scientific calculus, the probabilities and statistics and the video image synthesis. The research topics developed are: the analysis of numerical methods, the mathematical analysis of the physics and mechanics fundamental models, the numerical solution of complex models related to the industrial problems, the stochastic calculus and the brownian movement, the stochastic partial differential equations, the identification of the adaptive filtering parameters, the discrete element systems, statistics, the stochastic control and the development, the image synthesis techniques for education and research programs. The published papers, the congress communications and the thesis are listed [fr
A formal model of interpersonal inference
Directory of Open Access Journals (Sweden)
Michael eMoutoussis
2014-03-01
Full Text Available Introduction: We propose that active Bayesian inference – a general framework for decision-making – can equally be applied to interpersonal exchanges. Social cognition, however, entails special challenges. We address these challenges through a novel formulation of a formal model and demonstrate its psychological significance. Method: We review relevant literature, especially with regards to interpersonal representations, formulate a mathematical model and present a simulation study. The model accommodates normative models from utility theory and places them within the broader setting of Bayesian inference. Crucially, we endow people's prior beliefs, into which utilities are absorbed, with preferences of self and others. The simulation illustrates the model's dynamics and furnishes elementary predictions of the theory. Results: 1. Because beliefs about self and others inform both the desirability and plausibility of outcomes, in this framework interpersonal representations become beliefs that have to be actively inferred. This inference, akin to 'mentalising' in the psychological literature, is based upon the outcomes of interpersonal exchanges. 2. We show how some well-known social-psychological phenomena (e.g. self-serving biases can be explained in terms of active interpersonal inference. 3. Mentalising naturally entails Bayesian updating of how people value social outcomes. Crucially this includes inference about one’s own qualities and preferences. Conclusion: We inaugurate a Bayes optimal framework for modelling intersubject variability in mentalising during interpersonal exchanges. Here, interpersonal representations are endowed with explicit functional and affective properties. We suggest the active inference framework lends itself to the study of psychiatric conditions where mentalising is distorted.
Schwier, Richard A.; Seaton, J. X.
2013-01-01
Does learner participation vary depending on the learning context? Are there characteristic features of participation evident in formal, non-formal, and informal online learning environments? Six online learning environments were chosen as epitomes of formal, non-formal, and informal learning contexts and compared. Transcripts of online…
Intuitions and Competence in Formal Semantics
Directory of Open Access Journals (Sweden)
Martin Stokhof
2010-12-01
Full Text Available In formal semantics intuition plays a key role, in two ways. Intuitions about semantic properties of expressions are the primary data, and intuitions of the semanticists are the main access to these data. The paper investigates how this dual role is related to the concept of competence and the role that this concept plays in semantics. And it inquires whether the self-reflexive role of intuitions has consequences for the methodology of semantics as an empirical discipline.ReferencesBaggio, Giosuè, van Lambalgen, Michiel & Hagoort, Peter. 2008. ‘Computing and recomputing discourse models: an ERP study of the semantics of temporal connectives’. Journal of Memory and Language 59, no. 1: 36–53.http://dx.doi.org/10.1016/j.jml.2008.02.005Chierchia, Gennaro & McConnell-Ginet, Sally. 2000. Meaning and Grammar. second ed. Cambridge, Mass.: MIT Press.Chomsky, Noam. 1965. Aspects of the Theory of Syntax. Cambridge, Mass.: MIT Press.Cresswell, Max J. 1978. ‘Semantic competence’. In F. Guenthner & M. Guenther-Reutter (eds. ‘Meaning and Translation’, 9–27. Duckworth, London. de Swart, Henriëtte. 1998. Introduction to Natural Language Semantics. Stanford: CSLI.Dowty, David, Wall, Robert & Peters, Stanley. 1981. Introduction to Montague Semantics. Dordrecht: Reidel.Heim, Irene & Kratzer, Angelika. 1998. Semantics in Generative Grammar. Oxford: Blackwell.Larson, Richard & Segal, Gabriel. 1995. Knowledge of Meaning. Cambridge, Mass.: MIT Press.Lewis, David K. 1975. ‘Languages and Language’. In Keith Gunderson (ed. ‘Language, Mind and Knowledge’, 3–35. Minneapolis: University of Minnesota Press.Montague, Richard. 1970. ‘Universal Grammar’. Theoria 36: 373–98.http://dx.doi.org/10.1111/j.1755-2567.1970.tb00434.xPartee, Barbara H. 1979. ‘Semantics – Mathematics or Psychology?’ In Rainer Bäuerle, Urs Egli & Arnim von Stechow (eds. ‘Semantics from Different Points of View’, 1–14. Berlin: Springer.Partee, Barbara H. 1980.
Perturbation theory and collision probability formalism. Vol. 2
Energy Technology Data Exchange (ETDEWEB)
Nasr, M [National Center for Nuclear Safety and Radiation Control, Atomic Energy Authority, Cairo (Egypt)
1996-03-01
Perturbation theory is commonly used in evaluating the activity effects, particularly those resulting from small and localized perturbation in multiplying media., e.g. in small sample reactivity measurements. The Boltzmann integral transport equation is generally used for evaluating the direct and adjoint fluxes in the heterogenous lattice cells to be used in the perturbation equations. When applying perturbation theory in this formalism, a term involving the perturbation effects on the special transfer kernel arises. This term is difficult to evaluate correctly, since it involves an integration all over the entire system. The main advantage of the perturbation theory which is the limitation of the integration procedure on the perturbation region is found to be of no practical use in such cases. In the present work, the perturbation equation in the collision probability formalism is analyzed. A mathematical treatment of the term in question is performed. A new mathematical expression for this term is derived. The new expression which can be estimated easily is derived.
Formalization of the Integral Calculus in the PVS Theorem Prover
Directory of Open Access Journals (Sweden)
Ricky Wayne Butler
2009-04-01
Full Text Available The PVS Theorem prover is a widely used formal verification tool used for the analysis of safetycritical systems. The PVS prover, though fully equipped to support deduction in a very general logic framework, namely higher-order logic, it must nevertheless, be augmented with the definitions and associated theorems for every branch of mathematics and Computer Science that is used in a verification. This is a formidable task, ultimately requiring the contributions of researchers and developers all over the world. This paper reports on the formalization of the integral calculus in the PVS theorem prover. All of the basic definitions and theorems covered in a first course on integral calculus have been completed.The theory and proofs were based on Rosenlicht’s classic text on real analysis and follow the traditional epsilon-delta method. The goal of this work was to provide a practical set of PVS theories that could be used for verification of hybrid systems that arise in air traffic management systems and other aerospace applications. All of the basic linearity, integrability, boundedness, and continuity properties of the integral calculus were proved. The work culminated in the proof of the Fundamental Theorem Of Calculus. There is a brief discussion about why mechanically checked proofs are so much longer than standard mathematics textbook proofs.
Formalization of the Integral Calculus in the PVS Theorem Prover
Butler, Ricky W.
2004-01-01
The PVS Theorem prover is a widely used formal verification tool used for the analysis of safety-critical systems. The PVS prover, though fully equipped to support deduction in a very general logic framework, namely higher-order logic, it must nevertheless, be augmented with the definitions and associated theorems for every branch of mathematics and Computer Science that is used in a verification. This is a formidable task, ultimately requiring the contributions of researchers and developers all over the world. This paper reports on the formalization of the integral calculus in the PVS theorem prover. All of the basic definitions and theorems covered in a first course on integral calculus have been completed.The theory and proofs were based on Rosenlicht's classic text on real analysis and follow the traditional epsilon-delta method. The goal of this work was to provide a practical set of PVS theories that could be used for verification of hybrid systems that arise in air traffic management systems and other aerospace applications. All of the basic linearity, integrability, boundedness, and continuity properties of the integral calculus were proved. The work culminated in the proof of the Fundamental Theorem Of Calculus. There is a brief discussion about why mechanically checked proofs are so much longer than standard mathematics textbook proofs.
The formal Darwinism project: a mid-term report.
Grafen, A
2007-07-01
For 8 years I have been pursuing in print an ambitious and at times highly technical programme of work, the 'Formal Darwinism Project', whose essence is to underpin and formalize the fitness optimization ideas used by behavioural ecologists, using a new kind of argument linking the mathematics of motion and the mathematics of optimization. The value of the project is to give stronger support to current practices, and at the same time sharpening theoretical ideas and suggesting principled resolutions of some untidy areas, for example, how to define fitness. The aim is also to unify existing free-standing theoretical structures, such as inclusive fitness theory, Evolutionary Stable Strategy (ESS) theory and bet-hedging theory. The 40-year-old misunderstanding over the meaning of fitness optimization between mathematicians and biologists is explained. Most of the elements required for a general theory have now been implemented, but not together in the same framework, and 'general time' remains to be developed and integrated with the other elements to produce a final unified theory of neo-Darwinian natural selection.
Memory function formalism applied to electronic transport in disordered systems
International Nuclear Information System (INIS)
Cunha Lima, I.C. da
1984-01-01
Memory function formalism is briefly reviewed and applied to electronic transport using the projection operator technique. The resistivity of a disordered 2-D electron gas under strong magnetic field is obtained in terms of force-force correlation function. (Author) [pt
Chronoprojective invariance of the five-dimensional Schroedinger formalism
International Nuclear Information System (INIS)
Perrin, M.; Burdet, G.; Duval, C.
1984-10-01
Invariance properties of the five-dimensional Schroedinger formalism describing a quantum test particle in the Newton-Cartan theory of gravitation are studied. The geometry which underlies these invariance properties is presented as a reduction of the 0(5,2) conformal geometry various applications are given
Framing the Adoption of Serious Games in Formal Education
Arnab, Sylvester; Berta, Riccardo; Earp, Jeffrey; de Freitas, Sara; Popescu, Maria; Romero, Margarida; Stanescu, Ioana; Usart, Mireia
2012-01-01
Nowadays formal education systems are under increasing pressure to respond and adapt to rapid technological innovation and associated changes in the way we work and live. As well as accommodation of technology in its ever-diversifying forms, there is a fundamental need to enhance learning processes through evolution in pedagogical approaches, so…
Understanding organizational congruence: formal model and simulation framework.
Dignum, M.V.; Dignum, F.P.M.
2007-01-01
Despite a large number of studies, the effect of organizational structure on the performance and the individual cognition of its members is still not well understood. Our research aims at developing tools and formalisms to model organizations and evaluate their performance under different
Dilemma in Teaching Mathematics
Md Kamaruddin, Nafisah Kamariah; Md Amin, Zulkarnain
2012-01-01
The challenge in mathematics education is finding the best way to teach mathematics. When students learn the reasoning and proving in mathematics, they will be proficient in mathematics. Students must know mathematics before they can apply it. Symbolism and logic is the key to both the learning of mathematics and its effective application to…
Decision-Making under Criteria Uncertainty
Kureychik, V. M.; Safronenkova, I. B.
2018-05-01
Uncertainty is an essential part of a decision-making procedure. The paper deals with the problem of decision-making under criteria uncertainty. In this context, decision-making under uncertainty, types and conditions of uncertainty were examined. The decision-making problem under uncertainty was formalized. A modification of the mathematical decision support method under uncertainty via ontologies was proposed. A critical distinction of the developed method is ontology usage as its base elements. The goal of this work is a development of a decision-making method under criteria uncertainty with the use of ontologies in the area of multilayer board designing. This method is oriented to improvement of technical-economic values of the examined domain.
Formal methods in the design of Ada 1995
Guaspari, David
1995-01-01
Formal, mathematical methods are most useful when applied early in the design and implementation of a software system--that, at least, is the familiar refrain. I will report on a modest effort to apply formal methods at the earliest possible stage, namely, in the design of the Ada 95 programming language itself. This talk is an 'experience report' that provides brief case studies illustrating the kinds of problems we worked on, how we approached them, and the extent (if any) to which the results proved useful. It also derives some lessons and suggestions for those undertaking future projects of this kind. Ada 95 is the first revision of the standard for the Ada programming language. The revision began in 1988, when the Ada Joint Programming Office first asked the Ada Board to recommend a plan for revising the Ada standard. The first step in the revision was to solicit criticisms of Ada 83. A set of requirements for the new language standard, based on those criticisms, was published in 1990. A small design team, the Mapping Revision Team (MRT), became exclusively responsible for revising the language standard to satisfy those requirements. The MRT, from Intermetrics, is led by S. Tucker Taft. The work of the MRT was regularly subject to independent review and criticism by a committee of distinguished Reviewers and by several advisory teams--for example, the two User/Implementor teams, each consisting of an industrial user (attempting to make significant use of the new language on a realistic application) and a compiler vendor (undertaking, experimentally, to modify its current implementation in order to provide the necessary new features). One novel decision established the Language Precision Team (LPT), which investigated language proposals from a mathematical point of view. The LPT applied formal mathematical analysis to help improve the design of Ada 95 (e.g., by clarifying the language proposals) and to help promote its acceptance (e.g., by identifying a
Lectures on formally real fields
Prestel, Alexander
1984-01-01
Absolute values and their completions - like the p-adic number fields- play an important role in number theory. Krull's generalization of absolute values to valuations made applications in other branches of mathematics, such as algebraic geometry, possible. In valuation theory, the notion of a completion has to be replaced by that of the so-called Henselization. In this book, the theory of valuations as well as of Henselizations is developed. The presentation is based on the knowledge aquired in a standard graduate course in algebra. The last chapter presents three applications of the general theory -as to Artin's Conjecture on the p-adic number fields- that could not be obtained by the use of absolute values only.
Oriented matroid theory as a mathematical framework for M-theory
Nieto, J. A.
2006-01-01
We claim that $M$(atroid) theory may provide a mathematical framework for an underlying description of $M$-theory. Duality is the key symmetry which motivates our proposal. The definition of an oriented matroid in terms of the Farkas property plays a central role in our formalism. We outline how this definition may be carried over $M$-theory. As a consequence of our analysis we find a new type of action for extended systems which combines dually the $p$-brane and its dual $p^{\\perp}$-brane.
Directory of Open Access Journals (Sweden)
Kanokwan Singha
2017-01-01
Full Text Available This paper involves developing new mathematical expressions to find reorder point and order quantity for inventory management policies that explicitly consider storage space capacity. Both continuous and periodic reviews, as well as backlogged and lost demand during stockout, are considered. With storage space capacity, when on-hand inventory exceeds the capacity, the over-ordering cost of storage at an external warehouse is charged on a per-unit-period basis. The objective is to minimize the total cost, consisting of ordering, shortage, holding, and over-ordering costs. Demand and lead time are stochastic and discrete in nature. Demand during varying lead time is modeled using an empirical distribution so that the findings are not subject to assumptions of demand and lead time probability distributions. Due to the complexity of the developed mathematical expressions, the problems are solved using an iterative method. The method is tested with problem instances that use real data from industry. Optimal solutions of the problem instance are determined by performing exhaustive search. The proposed method can effectively find optimal solutions for continuous review policies and near optimal solutions for periodic review policies. Fundamental insights about the inventory policies are reported from a comparison between continuous review and periodic review solutions, as well as a comparison between backlog and lost sales cases.
Kritzer, Karen L.
2009-01-01
This study examined young deaf children's early informal/formal mathematical knowledge as measured by the Test of Early Mathematics Ability (TEMA-3). Findings from this study suggest that prior to the onset of formal schooling, young deaf children might already demonstrate evidence of academic delays. Of these 28 participants (4-6 years of age),…
Teaching Mathematical Modeling in Mathematics Education
Saxena, Ritu; Shrivastava, Keerty; Bhardwaj, Ramakant
2016-01-01
Mathematics is not only a subject but it is also a language consisting of many different symbols and relations. Taught as a compulsory subject up the 10th class, students are then able to choose whether or not to study mathematics as a main subject. The present paper discusses mathematical modeling in mathematics education. The article provides…
Doing Mathematics with Purpose: Mathematical Text Types
Dostal, Hannah M.; Robinson, Richard
2018-01-01
Mathematical literacy includes learning to read and write different types of mathematical texts as part of purposeful mathematical meaning making. Thus in this article, we describe how learning to read and write mathematical texts (proof text, algorithmic text, algebraic/symbolic text, and visual text) supports the development of students'…
Teachers' Mathematics as Mathematics-at-Work
Bednarz, Nadine; Proulx, Jérôme
2017-01-01
Through recognising mathematics teachers as professionals who use mathematics in their workplace, this article traces a parallel between the mathematics enacted by teachers in their practice and the mathematics used in workplaces found in studies of professionals (e.g. nurses, engineers, bankers). This parallel is developed through the five…
Mathematical sense-making in quantum mechanics: An initial peek
Dreyfus, Benjamin W.; Elby, Andrew; Gupta, Ayush; Sohr, Erin Ronayne
2017-12-01
Mathematical sense-making—looking for coherence between the structure of the mathematical formalism and causal or functional relations in the world—is a core component of physics expertise. Some physics education research studies have explored what mathematical sense-making looks like at the introductory physics level, while some historians and "science studies" have explored how expert physicists engage in it. What is largely missing, with a few exceptions, is theoretical and empirical work at the intermediate level—upper division physics students—especially when they are learning difficult new mathematical formalism. In this paper, we present analysis of a segment of video-recorded discussion between two students grappling with a quantum mechanics question to illustrate what mathematical sense-making can look like in quantum mechanics. We claim that mathematical sense-making is possible and productive for learning and problem solving in quantum mechanics. Mathematical sense-making in quantum mechanics is continuous in many ways with mathematical sense-making in introductory physics. However, in the context of quantum mechanics, the connections between formalism, intuitive conceptual schema, and the physical world become more compound (nested) and indirect. We illustrate these similarities and differences in part by proposing a new symbolic form, eigenvector eigenvalue, which is composed of multiple primitive symbolic forms.
Applications of the Decoherence Formalism
Brun, Todd Andrew
In this work the decoherence formalism of quantum mechanics is explored and applied to a number of interesting problems in quantum physics. The boundary between quantum and classical physics is examined, and demonstration made that quantum histories corresponding to classical equations of motion become more probable for a broad class of models, including linear and nonlinear models of Brownian motion. The link between noise, dissipation, and decoherence is studied. This work is then applied to systems which classically exhibit dissipative chaotic dynamics. A theory is explicated for treating these systems, and the ideas are applied to a particular model of the forced, damped Duffing oscillator, which is chaotic for certain parameter values. Differences between classical and quantum chaos are examined, particularly differences arising in the structure of fractal strange attractors, and the conceptual difficulties in framing standard notions of chaos in a quantum system. A brief discussion of previous work on quantum chaos is included, and the differences between Hamiltonian and dissipative chaos pointed out; a somewhat different interpretation of quantum chaos from the standard one is suggested. A class of histories for quantum systems, in phase space rather than configuration space, is studied. Different ways of representing projections in phase space are discussed, and expressions for the probability of phase space histories are derived; conditions for such histories to decohere are also estimated in the semiclassical limit.
Quantum formalism for classical statistics
Wetterich, C.
2018-06-01
In static classical statistical systems the problem of information transport from a boundary to the bulk finds a simple description in terms of wave functions or density matrices. While the transfer matrix formalism is a type of Heisenberg picture for this problem, we develop here the associated Schrödinger picture that keeps track of the local probabilistic information. The transport of the probabilistic information between neighboring hypersurfaces obeys a linear evolution equation, and therefore the superposition principle for the possible solutions. Operators are associated to local observables, with rules for the computation of expectation values similar to quantum mechanics. We discuss how non-commutativity naturally arises in this setting. Also other features characteristic of quantum mechanics, such as complex structure, change of basis or symmetry transformations, can be found in classical statistics once formulated in terms of wave functions or density matrices. We construct for every quantum system an equivalent classical statistical system, such that time in quantum mechanics corresponds to the location of hypersurfaces in the classical probabilistic ensemble. For suitable choices of local observables in the classical statistical system one can, in principle, compute all expectation values and correlations of observables in the quantum system from the local probabilistic information of the associated classical statistical system. Realizing a static memory material as a quantum simulator for a given quantum system is not a matter of principle, but rather of practical simplicity.
Dragalin, A G
1988-01-01
This monograph is intended to present the most important methods of proof theory in intuitionistic logic, assuming the reader to have mastered an introductory course in mathematical logic. The book starts with purely syntactical methods based on Gentzen's cut-elimination theorem, followed by intuitionistic arithmetic where Kleene's realizability method plays a central role. The author then studies algebraic models and completeness theorems for them. After giving a survey on the principles of intuitionistic analysis, the last part of the book presents the cut-elimination theorem in intuitionistic simple theory of types with an extensionality rule.
Freedom and enforcement in action a study in formal action theory
Czelakowski, Janusz
2015-01-01
Action theory is the object of growing attention in a variety of scientific disciplines, and this is the first volume to offer a synthetic view of the range of approaches possible in the topic. The volume focuses on the nexus of formal action theory with a startlingly diverse set of subjects, which range from logic, linguistics, artificial intelligence, and automata theory to jurisprudence, deontology, and economics. It covers semantic, mathematical and logical aspects of action, showing how the problem of action breaks the boundaries of traditional branches of logic located in syntactics and semantics and now lies on lies on the borderline between logical pragmatics and praxeology. The chapters here focus on specialized tasks in formal action theory, beginning with a thorough description and formalization of the language of action, and moving through material on the differing models of action theory to focus on probabilistic models, the relations of formal action theory to deontic logic, and its key appl...
Teaching Undergraduate Mathematics Using CAS Technology: Issues and Prospects
Tobin, Patrick C.; Weiss, Vida
2016-01-01
The use of handheld CAS technology in undergraduate mathematics courses in Australia is paradoxically shrinking under sustained disapproval or disdain from the professional mathematics community. Mathematics education specialists argue with their mathematics colleagues over a range of issues in course development and this use of CAS or even…
What Determines Firms’ Decisions to Formalize?
Neil McCulloch; Günther G. Schulze; Janina Voss
2010-01-01
In this paper we analyze the decision of small and micro firms to formalize, i.e. to obtain business and other licenses in rural Indonesia. We use the rural investment climate survey (RICS) that consists of non-farm rural enterprises, most of them microenterprises, and analyze the effect of formalization on tax payments, corruption, access to credit and revenue, taking into account the endogeneity of the formalization decision to such benefits and costs. We show, contrary to most of the liter...
NON-FORMAL EDUCATION, OVEREDUCATION AND WAGES
SANDRA NIETO; RAÚL RAMOS
2013-01-01
Why do overeducated workers participate in non-formal education activities? Do not they suffer from an excess of education? Using microdata from the Spanish sample of the 2007 Adult Education Survey, we have found that overeducated workers participate more than the rest in non-formal education and that they earn higher wages than overeducated workers who did not participate. This result can be interpreted as evidence that non-formal education allows overeducated workers to acquire new abiliti...
Survey of Existing Tools for Formal Verification.
Energy Technology Data Exchange (ETDEWEB)
Punnoose, Ratish J.; Armstrong, Robert C.; Wong, Matthew H.; Jackson, Mayo
2014-12-01
Formal methods have come into wide use because of their effectiveness in verifying "safety and security" requirements of digital systems; a set of requirements for which testing is mostly ineffective. Formal methods are routinely used in the design and verification of high-consequence digital systems in industry. This report outlines our work in assessing the capabilities of commercial and open source formal tools and the ways in which they can be leveraged in digital design workflows.
Fundamentals of the Pure Spinor Formalism
Hoogeveen, Joost
2010-01-01
This thesis presents recent developments within the pure spinor formalism, which has simplified amplitude computations in perturbative string theory, especially when spacetime fermions are involved. Firstly the worldsheet action of both the minimal and the non-minimal pure spinor formalism is derived from first principles, i.e. from an action with two dimensional diffeomorphism and Weyl invariance. Secondly the decoupling of unphysical states in the minimal pure spinor formalism is proved
Directory of Open Access Journals (Sweden)
Michael Christie
Full Text Available Abstract Participation rates of women in Science, Technology, Engineering and Mathematics (STEM is comparatively low and their attrition rates high. An obvious solution is to attract more women to study such subjects. In 2016 the authors undertook research to find out why so few women enrolled in STEM subjects and investigate ways of increasing their recruitment and retention in this area. The informants in our study were enrolled in a tertiary preparation course as well as nursing and education programs. A critique of the literature was used to develop a survey that informed focus group and interview schedules which were used in collecting data. Our study found that many of the factors that hindered women from applying for STEM courses twenty years ago still apply today and recommends actions that can help increase recruitment of women into STEM and assist their retention and graduation in those areas of tertiary education.
Formal Semantics: Origins, Issues, Early Impact
Directory of Open Access Journals (Sweden)
Barbara H. Partee
2010-12-01
. J. Hintikka & P. Suppes (eds. ‘Approaches to Natural Language’, 221–242. Dordrecht: Reidel. Reprinted in Montague (1974, 247–270; Reprinted in Portner and Partee, eds., 2002, 17–34http://newstar.rinet.ru/~goga/biblio/essential-readings/01-Montague-The.Proper.Treatment.of.Quantification.in.OrdinarMontague, R. 1974. Formal Philosophy. Selected Papers of Richard Montague. New Haven/London: Yale University Press. Edited and with an introduction by Richmond H. Thomason. Newmeyer, F. J. 1980. Linguistic Theory in America: The First Quarter Century of Transformational Generative Grammar. New York: Academic Press.Parsons, T. 1968. ‘A semantics for English’. Ms.Parsons, T. 1972. ‘An Outline of a Semantics of English’. Ms. University of Massachusetts, Amherst.Partee, B. H. 1971. ‘On the requirement that transformations preserve meaning’. In C. J. Fillmore & D. T. Langendoen (eds. ‘Studies in Linguistic Semantics’, 1–21. Holt, Rinehart, and Winston.Partee, B. H. 1973a. ‘The semantics of belief-sentences’. In J. M. E. Moravcsik K. J. J. Hintikka & P. Suppes (eds. ‘Approaches to Natural Language’, 309–336. Dordrecht: Reidel.Partee, B. H. 1973b. ‘Some transformational extensions of Montague grammar’. Journal of Philosophical Logic 2: 509–534. Reprinted in Partee (1976, pp. 51–76.http://semanticsarchive.net/Archive/TEwODQ3Z/.Partee, B. H. 1973c. ‘Comments on Montague’s paper’. In J. M. E. Moravcsik K. J. J. Hintikka & P. Suppes (eds. ‘Approaches to Natural Language’, 243–258. Dordrecht: Reidel.Partee, B. H. 1975. ‘Montague grammar and transformational grammar’. Linguistic Inquiry 6: 203–300.Partee, B. H. (ed.. 1976. Montague Grammar. New York: Academic Press.Partee, B. H. 1979. ‘Semantics - mathematics or psychology?’ In R. Bäuerle, U. Egli & A. von Stechow (eds. ‘Semantics from Different Points of View’, 1–14. Berlin: Springer-Verlag.Partee, B. H. 1982. ‘Belief-sentences and the limits of semantics
On the mathematics of fuzziness
Energy Technology Data Exchange (ETDEWEB)
Kerre, E. [Ghent Univ. (Belgium)
1994-12-31
During the past twenty-five years, the scientific community has been working very extensively on the development of reliable models for the representation and manipulation of impreciseness and uncertainty that pervade the real world. Fuzzy set theory is one of the most popular theories able to treat incomplete information. In this paper, the basic mathematical principles underlying fuzzy set theory are outlined. Special attention is paid to the way that set theory has influenced the development of mathematics in a positive way.
On the mathematics of fuzziness
International Nuclear Information System (INIS)
Kerre, E.
1994-01-01
During the past twenty-five years, the scientific community has been working very extensively on the development of reliable models for the representation and manipulation of impreciseness and uncertainty that pervade the real world. Fuzzy set theory is one of the most popular theories able to treat incomplete information. In this paper, the basic mathematical principles underlying fuzzy set theory are outlined. Special attention is paid to the way that set theory has influenced the development of mathematics in a positive way
DEFF Research Database (Denmark)
Mogensen, Arne; Georgiev, Vladimir; Ulovec, Andreas
To encourage many more young people to appreciate the real nature and spirit of mathematics and possibly to be enrolled in mathematics study it is important to involve them in doing mathematics (not just learning about mathematics). This goal could be achieved if mathematics teachers are prepared...... to identify and work with mathematically gifted students (without loosing the rest). The book offers chapters on gifted students, mathematical competences and other issues....
Energy Technology Data Exchange (ETDEWEB)
Salam, A. [Imperial College of Science and Technology, London (United Kingdom)
1963-01-15
Throughout the history of quantum theory, a battle has raged between the amateurs and professional group theorists. The amateurs have maintained that everything one needs in the theory of groups can be discovered by the light of nature provided one knows how to multiply two matrices. In support of this claim, they of course, justifiably, point to the successes of that prince of amateurs in this field, Dirac, particularly with the spinor representations of the Lorentz group. As an amateur myself, I strongly believe in the truth of the non-professionalist creed. I think perhaps there is not much one has to learn in the way of methodology from the group theorists except caution. But this does not mean one should not be aware of the riches which have been amassed over the course of years particularly in that most highly developed of all mathematical disciplines - the theory of Lie groups. My lectures then are an amateur's attempt to gather some of the fascinating results for compact simple Lie groups which are likely to be of physical interest. I shall state theorems; and with a physicist's typical unconcern rarely, if ever, shall I prove these. Throughout, the emphasis will be to show the close similarity of these general groups with that most familiar of all groups, the group of rotations in three dimensions.
Formal language constrained path problems
Energy Technology Data Exchange (ETDEWEB)
Barrett, C.; Jacob, R.; Marathe, M.
1997-07-08
In many path finding problems arising in practice, certain patterns of edge/vertex labels in the labeled graph being traversed are allowed/preferred, while others are disallowed. Motivated by such applications as intermodal transportation planning, the authors investigate the complexity of finding feasible paths in a labeled network, where the mode choice for each traveler is specified by a formal language. The main contributions of this paper include the following: (1) the authors show that the problem of finding a shortest path between a source and destination for a traveler whose mode choice is specified as a context free language is solvable efficiently in polynomial time, when the mode choice is specified as a regular language they provide algorithms with improved space and time bounds; (2) in contrast, they show that the problem of finding simple paths between a source and a given destination is NP-hard, even when restricted to very simple regular expressions and/or very simple graphs; (3) for the class of treewidth bounded graphs, they show that (i) the problem of finding a regular language constrained simple path between source and a destination is solvable in polynomial time and (ii) the extension to finding context free language constrained simple paths is NP-complete. Several extensions of these results are presented in the context of finding shortest paths with additional constraints. These results significantly extend the results in [MW95]. As a corollary of the results, they obtain a polynomial time algorithm for the BEST k-SIMILAR PATH problem studied in [SJB97]. The previous best algorithm was given by [SJB97] and takes exponential time in the worst case.
Non-linear wave equations:Mathematical techniques
International Nuclear Information System (INIS)
1978-01-01
An account of certain well-established mathematical methods, which prove useful to deal with non-linear partial differential equations is presented. Within the strict framework of Functional Analysis, it describes Semigroup Techniques in Banach Spaces as well as variational approaches towards critical points. Detailed proofs are given of the existence of local and global solutions of the Cauchy problem and of the stability of stationary solutions. The formal approach based upon invariance under Lie transformations deserves attention due to its wide range of applicability, even if the explicit solutions thus obtained do not allow for a deep analysis of the equations. A compre ensive introduction to the inverse scattering approach and to the solution concept for certain non-linear equations of physical interest are also presented. A detailed discussion is made about certain convergence and stability problems which arise in importance need not be emphasized. (author) [es
Formal representation of complex SNOMED CT expressions
Directory of Open Access Journals (Sweden)
Markó Kornél
2008-10-01
Full Text Available Abstract Background Definitory expressions about clinical procedures, findings and diseases constitute a major benefit of a formally founded clinical reference terminology which is ontologically sound and suited for formal reasoning. SNOMED CT claims to support formal reasoning by description-logic based concept definitions. Methods On the basis of formal ontology criteria we analyze complex SNOMED CT concepts, such as "Concussion of Brain with(out Loss of Consciousness", using alternatively full first order logics and the description logic ℰℒ MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaWenfgDOvwBHrxAJfwnHbqeg0uy0HwzTfgDPnwy1aaceaGae8hmHuKae8NeHWeaaa@37B1@. Results Typical complex SNOMED CT concepts, including negations or not, can be expressed in full first-order logics. Negations cannot be properly expressed in the description logic ℰℒ MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaWenfgDOvwBHrxAJfwnHbqeg0uy0HwzTfgDPnwy1aaceaGae8hmHuKae8NeHWeaaa@37B1@ underlying SNOMED CT. All concepts concepts the meaning of which implies a temporal scope may be subject to diverging interpretations, which are often unclear in SNOMED CT as their contextual determinants are not made explicit. Conclusion The description of complex medical occurrents is ambiguous, as the same situations can be described as (i a complex occurrent C that has A and B as temporal parts, (ii a simple occurrent A' defined as a kind of A followed by some B, or (iii a simple occurrent B' defined as a kind of B preceded by some A. As negative statements in SNOMED CT cannot be exactly represented without
Mathematics, the Computer, and the Impact on Mathematics Education.
Tooke, D. James
2001-01-01
Discusses the connection between mathematics and the computer; mathematics curriculum; mathematics instruction, including teachers learning to use computers; and the impact of the computer on learning mathematics. (LRW)
Skolem and pessimism about proof in mathematics.
Cohen, Paul J
2005-10-15
Attitudes towards formalization and proof have gone through large swings during the last 150 years. We sketch the development from Frege's first formalization, to the debates over intuitionism and other schools, through Hilbert's program and the decisive blow of the Gödel Incompleteness Theorem. A critical role is played by the Skolem-Lowenheim Theorem, which showed that no first-order axiom system can characterize a unique infinite model. Skolem himself regarded this as a body blow to the belief that mathematics can be reliably founded only on formal axiomatic systems. In a remarkably prescient paper, he even sketches the possibility of interesting new models for set theory itself, something later realized by the method of forcing. This is in contrast to Hilbert's belief that mathematics could resolve all its questions. We discuss the role of new axioms for set theory, questions in set theory itself, and their relevance for number theory. We then look in detail at what the methods of the predicate calculus, i.e. mathematical reasoning, really entail. The conclusion is that there is no reasonable basis for Hilbert's assumption. The vast majority of questions even in elementary number theory, of reasonable complexity, are beyond the reach of any such reasoning. Of course this cannot be proved and we present only plausibility arguments. The great success of mathematics comes from considering 'natural problems', those which are related to previous work and offer a good chance of being solved. The great glories of human reasoning, beginning with the Greek discovery of geometry, are in no way diminished by this pessimistic view. We end by wishing good health to present-day mathematics and the mathematics of many centuries to come.
TEACHING MATHEMATICAL DISCIPLINES AT THE MEDICAL UNIVERSITY
Directory of Open Access Journals (Sweden)
V. Ya. Gelman
2018-01-01
designing which is being complicated by existing imbalance between the amount of training material and time frame for its studying. The authors suppose that it is possible to improve the quality of education through the increase or redistribution of the number of teaching hours; stimulation students’ motivation; enhancement of content and methodical components of teaching by means of active use of electronic resources and information technologies. Teachers should aspire to avoid excessive mathematical formalism as well to form in students the skills of independent work through the use of mathematical and computer methods.Practical significance. The authors come to the conclusion that the transition from traditional teaching to the teaching through the technological application of mathematical methods in medical practice and independent conduction of medical research is required for improvement the quality of Mathematics teaching of future physicians.
Authenticity of Mathematical Modeling
Tran, Dung; Dougherty, Barbara J.
2014-01-01
Some students leave high school never quite sure of the relevancy of the mathematics they have learned. They fail to see links between school mathematics and the mathematics of everyday life that requires thoughtful decision making and often complex problem solving. Is it possible to bridge the gap between school mathematics and the mathematics in…
Formal Engineering Hybrid Systems: Semantic Underpinnings
Bujorianu, M.C.; Bujorianu, L.M.
2008-01-01
In this work we investigate some issues in applying formal methods to hybrid system development and develop a categorical framework. We study the themes of stochastic reasoning, heterogeneous formal specification and retrenchment. Hybrid systems raise a rich pallets of aspects that need to be
DNA expressions - A formal notation for DNA
Vliet, Rudy van
2015-01-01
We describe a formal notation for DNA molecules that may contain nicks and gaps. The resulting DNA expressions denote formal DNA molecules. Different DNA expressions may denote the same molecule. Such DNA expressions are called equivalent. We examine which DNA expressions are minimal, which
Formalizing Evaluation in Music Information Retrieval
DEFF Research Database (Denmark)
Sturm, Bob L.
2013-01-01
We develop a formalism to disambiguate the evaluation of music information retrieval systems. We define a ``system,'' what it means to ``analyze'' one, and make clear the aims, parts, design, execution, interpretation, and assumptions of its ``evaluation.'' We apply this formalism to discuss...
Restorative Practices as Formal and Informal Education
Carter, Candice C.
2013-01-01
This article reviews restorative practices (RP) as education in formal and informal contexts of learning that are fertile sites for cultivating peace. Formal practices involve instruction about response to conflict, while informal learning occurs beyond academic lessons. The research incorporated content analysis and a critical examination of the…
Multiverse in the Third Quantized Formalism
International Nuclear Information System (INIS)
Faizal Mir
2014-01-01
In this paper we will analyze the third quantization of gravity in path integral formalism. We will use the time-dependent version of Wheeler—DeWitt equation to analyze the multiverse in this formalism. We will propose a mechanism for baryogenesis to occur in the multiverse, without violating the baryon number conservation. (general)
Formal balancing of chemical reaction networks
van der Schaft, Abraham; Rao, S.; Jayawardhana, B.
2016-01-01
In this paper we recall and extend the main results of Van der Schaft, Rao, Jayawardhana (2015) concerning the use of Kirchhoff’s Matrix Tree theorem in the explicit characterization of complex-balanced reaction networks and the notion of formal balancing. The notion of formal balancing corresponds
The simplest formal argument for fitness optimization
Indian Academy of Sciences (India)
The Formal Darwinism Project aims to provide a formal argument linking population genetics to fitness optimization, which of necessity includes defining fitness. This bridges the gulf between those biologists who assume that natural selection leads to something close to fitness optimization and those biologists who believe ...
Opinion dynamics model based on quantum formalism
Energy Technology Data Exchange (ETDEWEB)
Artawan, I. Nengah, E-mail: nengahartawan@gmail.com [Theoretical Physics Division, Department of Physics, Udayana University (Indonesia); Trisnawati, N. L. P., E-mail: nlptrisnawati@gmail.com [Biophysics, Department of Physics, Udayana University (Indonesia)
2016-03-11
Opinion dynamics model based on quantum formalism is proposed. The core of the quantum formalism is on the half spin dynamics system. In this research the implicit time evolution operators are derived. The analogy between the model with Deffuant dan Sznajd models is discussed.
A computational formalization for partial evaluation
DEFF Research Database (Denmark)
Hatcliff, John; Danvy, Olivier
1997-01-01
We formalize a partial evaluator for Eugenio Moggi's computational metalanguage. This formalization gives an evaluation-order independent view of binding-time analysis and program specialization, including a proper treatment of call unfolding. It also enables us to express the essence of `control...
Rapid Prototyping of Formally Modelled Distributed Systems
Buchs, Didier; Buffo, Mathieu; Titsworth, Frances M.
1999-01-01
This paper presents various kinds of prototypes, used in the prototyping of formally modelled distributed systems. It presents the notions of prototyping techniques and prototype evolution, and shows how to relate them to the software life-cycle. It is illustrated through the use of the formal modelling language for distributed systems CO-OPN/2.
Formal analysis of a fair payment protocol
J.G. Cederquist; M.T. Dashti (Mohammad)
2004-01-01
textabstractWe formally specify a payment protocol. This protocol is intended for fair exchange of time-sensitive data. Here the ?-CRL language is used to formalize the protocol. Fair exchange properties are expressed in the regular alternation-free ?-calculus. These properties are then verified
Formal Analysis of a Fair Payment Protocol
Cederquist, J.G.; Dashti, M.T.
2004-01-01
We formally specify a payment protocol. This protocol is intended for fair exchange of timesensitive data. Here the μCRL language is used to formalize the protocol. Fair exchange properties are expressed in the regular alternation-free μ-calculus. These properties are then verified using the finite
Formal Analysis of a Fair Payment Protocol
Cederquist, J.G.; Dashti, Muhammad Torabi; Dimitrakos, Theo; Martinelli, Fabio
We formally specify a payment protocol described by Vogt et al. This protocol is intended for fair exchange of time-sensitive data. Here the mCRL language is used to formalize the protocol. Fair exchange properties are expressed in the regular alternation-free mu-calculus. These properties are then
On Fitting a Formal Method into Practice
DEFF Research Database (Denmark)
Gmehlich, Rainer; Grau, Katrin; Hallerstede, Stefan
2011-01-01
. The interaction between the two proved to be crucial for the success of the case study. The heart of the problem was tracing informal requirements from Problem Frames descriptions to formal Event-B models. To a large degree, this issue dictated the approach that had to be used for formal modelling. A dedicated...
A Conceptual Formalization of Crosscutting in AOSD
van den Berg, Klaas; Conejero, J.M.
2005-01-01
We propose a formalization of crosscutting based on a conceptual framework for AOSD. Crosscutting is clearly distinguished from the related concepts scattering and tangling. The definitions of these concepts are formalized and visualized with matrices and matrix operations. This allows more precise
29 CFR 1690.306 - Formal submission in absence of consultation.
2010-07-01
... 29 Labor 4 2010-07-01 2010-07-01 false Formal submission in absence of consultation. 1690.306... § 1690.306 Formal submission in absence of consultation. If an initiating agency has an issuance which was already under development on or before July 1, 1978, when Executive Order 12067 became effective...
Formal Dismissal Procedures Under Illinois Teacher Tenure Laws. Revised Edition.
Jenkins, Newell N.; And Others
This handbook, an updated and revised version of the 1975 original, contains the new statutory requirements, state board of education rules, and court decisions pertaining to teacher dismissal in Illinois. This handbook is designed to acquaint Illinois school administrators and school board members with the legal procedures necessary in dismissal…
Industrial Practice in Formal Methods : A Review
DEFF Research Database (Denmark)
Bicarregui, Juan C.; Fitzgerald, John; Larsen, Peter Gorm
2009-01-01
We examine the the industrial application of formal methods using data gathered in a review of 62 projects taking place over the last 25 years. The review suggests that formal methods are being applied in a wide range of application domains, with increasingly strong tool support. Significant chal...... challenges remain in providing usable tools that can be integrated into established development processes; in education and training; in taking formal methods from first use to second use, and in gathering and evidence to support informed selection of methods and tools.......We examine the the industrial application of formal methods using data gathered in a review of 62 projects taking place over the last 25 years. The review suggests that formal methods are being applied in a wide range of application domains, with increasingly strong tool support. Significant...
The normative structure of mathematization in systematic biology.
Sterner, Beckett; Lidgard, Scott
2014-06-01
We argue that the mathematization of science should be understood as a normative activity of advocating for a particular methodology with its own criteria for evaluating good research. As a case study, we examine the mathematization of taxonomic classification in systematic biology. We show how mathematization is a normative activity by contrasting its distinctive features in numerical taxonomy in the 1960s with an earlier reform advocated by Ernst Mayr starting in the 1940s. Both Mayr and the numerical taxonomists sought to formalize the work of classification, but Mayr introduced a qualitative formalism based on human judgment for determining the taxonomic rank of populations, while the numerical taxonomists introduced a quantitative formalism based on automated procedures for computing classifications. The key contrast between Mayr and the numerical taxonomists is how they conceptualized the temporal structure of the workflow of classification, specifically where they allowed meta-level discourse about difficulties in producing the classification. Copyright © 2014. Published by Elsevier Ltd.
SBME : Exploring boundaries between formal, non-formal, and informal learning
Shahoumian, Armineh; Parchoma, Gale; Saunders, Murray; Hanson, Jacky; Dickinson, Mike; Pimblett, Mark
2013-01-01
In medical education learning extends beyond university settings into practice. Non-formal and informal learning support learners’ efforts to meet externally set and learner-identified objectives. In SBME research, boundaries between formal, non-formal, and informal learning have not been widely explored. Whether SBME fits within or challenges these categories can make a contribution. Formal learning is described in relation to educational settings, planning, assessment, and accreditation. In...
Multiscale mathematical modeling of the hypothalamo-pituitary-gonadal axis.
Clément, Frédérique
2016-07-01
Although the fields of systems and integrative biology are in full expansion, few teams are involved worldwide into the study of reproductive function from the mathematical modeling viewpoint. This may be due to the fact that the reproductive function is not compulsory for individual organism survival, even if it is for species survival. Alternatively, the complexity of reproductive physiology may be discouraging. Indeed, the hypothalamo-pituitary-gonadal (HPG) axis involves not only several organs and tissues but also intricate time (from the neuronal millisecond timescale to circannual rhythmicity) and space (from molecules to organs) scales. Yet, mathematical modeling, and especially multiscale modeling, can renew our approaches of the molecular, cellular, and physiological processes underlying the control of reproductive functions. In turn, the remarkable dynamic features exhibited by the HPG axis raise intriguing and challenging questions to modelers and applied mathematicians. In this article, we draw a panoramic review of some mathematical models designed in the framework of the female HPG, with a special focus on the gonadal and central control of follicular development. On the gonadal side, the modeling of follicular development calls to the generic formalism of structured cell populations, that allows one to make mechanistic links between the control of cell fate (proliferation, differentiation, or apoptosis) and that of the follicle fate (ovulation or degeneration) or to investigate how the functional interactions between the oocyte and its surrounding cells shape the follicle morphogenesis. On the central, mainly hypothalamic side, models based on dynamical systems with multiple timescales allow one to represent within a single framework both the pulsatile and surge patterns of the neurohormone GnRH. Beyond their interest in basic research investigations, mathematical models can also be at the source of useful tools to study the encoding and decoding of
The origin of the logic of symbolic mathematics Edmund Husserl and Jacob Klein
Hopkins, Burt C
2011-01-01
Burt C. Hopkins presents the first in-depth study of the work of Edmund Husserl and Jacob Klein on the philosophical foundations of the logic of modern symbolic mathematics. Accounts of the philosophical origins of formalized concepts-especially mathematical concepts and the process of mathematical abstraction that generates them-have been paramount to the development of phenomenology. Both Husserl and Klein independently concluded that it is impossible to separate the historical origin of the thought that generates the basic concepts of mathematics from their philosophical meanings. Hopkins explores how Husserl and Klein arrived at their conclusion and its philosophical implications for the modern project of formalizing all knowledge.
Improving Learner Outcomes in Lifelong Education: Formal Pedagogies in Non-Formal Learning Contexts?
Zepke, Nick; Leach, Linda
2006-01-01
This article explores how far research findings about successful pedagogies in formal post-school education might be used in non-formal learning contexts--settings where learning may not lead to formal qualifications. It does this by examining a learner outcomes model adapted from a synthesis of research into retention. The article first…
The generation of gravitational waves. 2. The post-linear formalism revisted
International Nuclear Information System (INIS)
Crowley, R.J.; Thorne, K.S.
1976-04-01
Different versions of the Green's function for the scalar wave equation in weakly curved space-time are compared and contrasted and their mathematical equivalence is demonstrated. Then the DeWitt--DeWitt Green's function is used to construct several alternative versions of the Thorne--Kovacs post-linear formalism for gravitational-wave generation. Finally, it is shown that, in calculations of gravitational bremsstrahlung radiation, some of the presented versions of the post-linear formalism allow one to treat the interacting bodies as point masses, while others do not
The mathematics of elections and voting
Wallis, W D
2014-01-01
The Mathematics of Elections and Voting takes an in-depth look at the mathematics in the context of voting and electoral systems, with focus on simple ballots, complex elections, fairness, approval voting, ties, fair and unfair voting, and manipulation techniques. The exposition opens with a sketch of the mathematics behind the various methods used in conducting elections. The reader is lead to a comprehensive picture of the theoretical background of mathematics and elections through an analysis of Condorcet’s Principle and Arrow’s Theorem of conditions in electoral fairness. Further detailed discussion of various related topics include: methods of manipulating the outcome of an election, amendments, and voting on small committees. In recent years, electoral theory has been introduced into lower-level mathematics courses, as a way to illustrate the role of mathematics in our everyday life. Few books have studied voting and elections from a more formal mathematical viewpoint. This text wi...
Teaching mathematics using excel
Bonello, Mary Rose; Camilleri, Silvana
2004-01-01
'Technology is essential in teaching and learning mathematics; it influences the mathematics that is taught and enhances students' learning.' (Principles and Standards for School Mathematics-NCTM April 2000)
Exhibition - Mathematics, A Beautiful Elsewhere
2011-01-01
From 21 October 2011 to 18 March 2012, the Fondation Cartier pour l’art contemporain will present the exhibition Mathematics: A Beautiful Elsewhere, an exhibition developed in association with the Institut des Hautes Études Scientifiques (IHÉS) and under the patronage of UNESCO. For this unprecedented event, the foundation invited mathematicians to work with artists with whom it has previously worked to create an exhibition that allows visitors to see, hear, do, interpret and think about mathematics. By bringing mathematics into its premises, the Fondation Cartier is itself undergoing the “sudden change of scenery” described by mathematician Alexandre Grothendieck. More information is available here. Fondation Cartier pour l’art contemporain 261, boulevard Raspail 75014 Paris http://fondation.cartier.com Private Visit For professors, researchers and all the staff of Mathematics departments...
Figures of thought mathematics and mathematical texts
Reed, David
2003-01-01
Examines the ways in which mathematical works can be read as texts, examines their textual strategiesand demonstrates that such readings provide a rich source of philosophical debate regarding mathematics.
Mathematical Modelling Approach in Mathematics Education
Arseven, Ayla
2015-01-01
The topic of models and modeling has come to be important for science and mathematics education in recent years. The topic of "Modeling" topic is especially important for examinations such as PISA which is conducted at an international level and measures a student's success in mathematics. Mathematical modeling can be defined as using…
Discrete Mathematics and the Secondary Mathematics Curriculum.
Dossey, John
Discrete mathematics, the mathematics of decision making for finite settings, is a topic of great interest in mathematics education at all levels. Attention is being focused on resolving the diversity of opinion concerning the exact nature of the subject, what content the curriculum should contain, who should study that material, and how that…
Principles of protection: a formal approach for evaluating dose distributions
International Nuclear Information System (INIS)
Wikman-Svahn, Per; Peterson, Martin; Hansson, Sven Ove
2006-01-01
One of the central issues in radiation protection consists in determining what weight should be given to individual doses in relation to collective or aggregated doses. A mathematical framework is introduced in which such assessments can be made precisely in terms of comparisons between alternative distributions of individual doses. In addition to evaluation principles that are well known from radiation protection, a series of principles that are derived from parallel discussions in moral philosophy and welfare economics is investigated. A battery of formal properties is then used to investigate the evaluative principles. The results indicate that one of the new principles, bilinear prioritarianism, may be preferable to current practices, since it satisfies efficiency-related properties better without sacrificing other desirable properties
Logical thinking in the pyramidal schema of concepts the logical and mathematical elements
Geldsetzer, Lutz
2014-01-01
This book proposes a new way of formalizing in logic and mathematics - a "pyramidal graph system," devised by the author and based on Porphyrian trees and modern concepts of classification, in both of which pyramids act as the organizing schema.
Students Thinking Process in Compiling Mathematical Proof with Semantics Strategy
Directory of Open Access Journals (Sweden)
Abdussakir Abdussakir
2015-03-01
Full Text Available Proses Berpikir Mahasiswa dalam Menyusun Bukti Matematis dengan Strategi Semantik Abstract: This study is aimed to reveal the thinking process in proof construction performed by students with semantic strategy. This study use descriptive-qualitative approach. The thinking process of students will be analyzed using theoretical framework of David Tall about the three worlds of mathematical thinking. The result are three ways of thinking in semantic strategy, namely (1 started from formal world then move into the symbolic or embodied-symbolic world with possibility of more than once and ends within or outside of the formal world, (2 started from symbolic world or embodied-symbolic world then move to the formal world with possibility of more than once and ends within or outside of the formal world, and (3 all thinking processes performed outside of formal world that does not obtain formal proof. Key Words: thinking process, mathematical proof, semantic strategy Abstrak: Penelitian ini bertujuan untuk menjelaskan proses berpikir mahasiswa dalam menyusun bukti matematis dengan strategi semantik. Penelitian ini menggunakan pendekatan deskiptif-kualitatif. Analisis data dilakukan dengan menggunakan kerangka kerja David Tall tentang tiga dunia berpikir matematik. Hasil penelitian menunjukkan bahwa terdapat enam kemungkinan jalur dalam strategi semantik ditinjau dari teori tiga dunia berpikir matematis. Hasil penelitian menunjukkan ada tiga jalur berpikir mahasiswa dalam menyusun bukti matematis dengan strategi semantik, yaitu (1 bermula dari dunia berpikir formal berpindah ke dunia berpikir wujud-simbolik atau dunia berpikir simbolik dengan proses perpindahan dimungkinkan lebih dari satu kali dan berakhir di dalam atau di luar dunia berpikir formal, (2 bermula dari dunia berpikir wujud simbolik atau dunia berpikir simbolik (non RSP lalu pindah ke dunia berpikir formal dengan proses perpindahan dimungkinkan lebih dari satu kali dan berakhir di
Formal Analysis Of Use Case Diagrams
Directory of Open Access Journals (Sweden)
Radosław Klimek
2010-01-01
Full Text Available Use case diagrams play an important role in modeling with UML. Careful modeling is crucialin obtaining a correct and efficient system architecture. The paper refers to the formalanalysis of the use case diagrams. A formal model of use cases is proposed and its constructionfor typical relationships between use cases is described. Two methods of formal analysis andverification are presented. The first one based on a states’ exploration represents a modelchecking approach. The second one refers to the symbolic reasoning using formal methodsof temporal logic. Simple but representative example of the use case scenario verification isdiscussed.
Towards Formal Implementation of PUS Standard
Ilić, D.
2009-05-01
As an effort to promote the reuse of on-board and ground systems ESA developed a standard for packet telemetry and telecommand - PUS. It defines a set of standard service models with the corresponding structures of the associated telemetry and telecommand packets. Various missions then can choose to implement those standard PUS services that best conform to their specific requirements. In this paper we propose a formal development (based on the Event-B method) of reusable service patterns, which can be instantiated for concrete application. Our formal models allow us to formally express and verify specific service properties including various telecommand and telemetry packet structure validation.
SELF-EFFICACY OF FORMALLY AND NON-FORMALLY TRAINED PUBLIC SECTOR TEACHERS
Directory of Open Access Journals (Sweden)
Muhammad Nadeem ANWAR
2009-07-01
Full Text Available The main objective of the study was to compare the formally and non-formally trained in-service public sector teachers’ Self-efficacy. Five hypotheses were developed describing no difference in the self-efficacy of formally and non-formally trained teachers to influence decision making, influence school resources, instructional self-efficacy, disciplinary self-efficacy and create positive school climate. Teacher Efficacy Instrument (TSES developed by Bandura (2001 consisting of thirty 9-point items was used in the study. 342 formally trained and 255 non-formally trained respondents’ questionnaires were received out of 1500 mailed. The analysis of data revealed that the formally trained public sector teachers are high in their self-efficacy on all the five categories: to influence decision making, to influence school resources, instructional self-efficacy, disciplinary self-efficacy and self-efficacy to create positive school climate.
Institutions and development in Mexico. Are formal economic reforms enough?
Manuel Palma-Rangel
2006-01-01
This paper examines whether the current political arrangements framing the Mexican politics help in consolidating and advancing those economic reforms that have been implemented in Mexico since the 1982 severe economic crises. I will argue that these arrangements create impediments to the co-ordination required to sustain and advance those policy changes that are needed under the new economic model. Formal and informal institutional environments that do not provide for the adequate enforcemen...
Review of the helicity formalism; Revision del formalismo de helicidad
Energy Technology Data Exchange (ETDEWEB)
Barreiro, F; Cerrada, M; Fernandez, E
1972-07-01
Our purpose in these notes has been to present a brief and general review of the helicity formalism. We begin by discussing Lorentz invariance, spin and helicity ideas, in section 1 . In section 2 we deal with the construction of relativistic states and scattering amplitudes in the helicity basis and we study their transformation properties under discrete symmetries. Finally we present some more sophisticated topics like kinematical singularities of helicity amplitudes, kinematical constraints and crossing relations 3, 4, 5 respectively. (Author) 8 refs.
The Higgs mechanism in a covariant-gauge formalism
International Nuclear Information System (INIS)
Yokoyama, Kan-ichi; Kubo, Reijiro.
1975-02-01
In a covariant-gauge formalism for gauge fields the Higgs mechanism is investigated under a spontaneous breakdown of gauge invariance. It is shown that the Goldstone bosons are in general described by a dipole-ghost field and can be consistently eliminated from the physical state-vector space by supplementary conditions. By an asymptotic condition for the relevant fields, field equations and commutators of asymptotic fields are determined. A renormalization problem and an aspect concerning gauge transformations are also discussed. (auth.)
González-Castro, Paloma; Cueli, Marisol; Areces, Débora; Rodríguez, Celestino; Sideridis, Georgios
2016-01-01
Problem solving represents a salient deficit in students with mathematical learning difficulties (MLD) primarily caused by difficulties with informal and formal mathematical competencies. This study proposes a computerized intervention tool, the integrated dynamic representation (IDR), for enhancing the early learning of basic mathematical…
Mathematics related anxiety: Mathematics bogeyman or not?
Directory of Open Access Journals (Sweden)
Videnović Marina
2011-01-01
Full Text Available Data of the PISA 2003 survey indicate high levels of mathematics anxiety of students in Serbia. More than half of our students worry whether they will have difficulties in mathematics class or whether they will earn poor marks. Aims of this study therefore are: examining relationship between math anxiety and achievement at mathematics literacy scale; establishing possible predictors of math anxiety and identification of students' groups in relations to their relationship towards mathematics as a subject. Mathematics anxiety is statistically negatively correlated with school achievement and achievement at mathematics literacy scale. Socio-demographic factors, motivational and cognitive aspects related to learning mathematics, perception of school and classroom climate explain 40% variance of mathematics anxiety. Based on students' relationship towards mathematics they cam be divided into three groups; while dimensions that apart them are uninterested-interested in mathematics and presence-absence of anxiety. The group displaying anxiety scores lowest among the three. Applying qualitative analysis students' and teachers' attitudes on specific issues related to teaching and learning mathematics was examined.
Artificial grammar learning meets formal language theory: an overview
Fitch, W. Tecumseh; Friederici, Angela D.
2012-01-01
Formal language theory (FLT), part of the broader mathematical theory of computation, provides a systematic terminology and set of conventions for describing rules and the structures they generate, along with a rich body of discoveries and theorems concerning generative rule systems. Despite its name, FLT is not limited to human language, but is equally applicable to computer programs, music, visual patterns, animal vocalizations, RNA structure and even dance. In the last decade, this theory has been profitably used to frame hypotheses and to design brain imaging and animal-learning experiments, mostly using the ‘artificial grammar-learning’ paradigm. We offer a brief, non-technical introduction to FLT and then a more detailed analysis of empirical research based on this theory. We suggest that progress has been hampered by a pervasive conflation of distinct issues, including hierarchy, dependency, complexity and recursion. We offer clarifications of several relevant hypotheses and the experimental designs necessary to test them. We finally review the recent brain imaging literature, using formal languages, identifying areas of convergence and outstanding debates. We conclude that FLT has much to offer scientists who are interested in rigorous empirical investigations of human cognition from a neuroscientific and comparative perspective. PMID:22688631
A Mathematical Model, Implementation and Study of a Swarm System
Varghese, Blesson; McKee, Gerard
2013-01-01
The work reported in this paper is motivated towards the development of a mathematical model for swarm systems based on macroscopic primitives. A pattern formation and transformation model is proposed. The pattern transformation model comprises two general methods for pattern transformation, namely a macroscopic transformation and mathematical transformation method. The problem of transformation is formally expressed and four special cases of transformation are considered. Simulations to conf...
Generalized Bondi-Sachs equations for characteristic formalism of numerical relativity
Cao, Zhoujian; He, Xiaokai
2013-11-01
The Cauchy formalism of numerical relativity has been successfully applied to simulate various dynamical spacetimes without any symmetry assumption. But discovering how to set a mathematically consistent and physically realistic boundary condition is still an open problem for Cauchy formalism. In addition, the numerical truncation error and finite region ambiguity affect the accuracy of gravitational wave form calculation. As to the finite region ambiguity issue, the characteristic extraction method helps much. But it does not solve all of the above issues. Besides the above problems for Cauchy formalism, the computational efficiency is another problem. Although characteristic formalism of numerical relativity suffers the difficulty from caustics in the inner near zone, it has advantages in relation to all of the issues listed above. Cauchy-characteristic matching (CCM) is a possible way to take advantage of characteristic formalism regarding these issues and treat the inner caustics at the same time. CCM has difficulty treating the gauge difference between the Cauchy part and the characteristic part. We propose generalized Bondi-Sachs equations for characteristic formalism for the Cauchy-characteristic matching end. Our proposal gives out a possible same numerical evolution scheme for both the Cauchy part and the characteristic part. And our generalized Bondi-Sachs equations have one adjustable gauge freedom which can be used to relate the gauge used in the Cauchy part. Then these equations can make the Cauchy part and the characteristic part share a consistent gauge condition. So our proposal gives a possible new starting point for Cauchy-characteristic matching.
Ethnomathematics in non-formal educational settings
DEFF Research Database (Denmark)
Pais, Alexandre; Mesquita, Monica
The push to marry off local and school knowledge has been a growing concern within educational sciences, particularly in mathematics education where a field of studies by the name of ethnomathematics has been producing research around the uses people do of mathematics outside school’s walls. Notw...
Toward a formal ontology for narrative
Directory of Open Access Journals (Sweden)
Ciotti, Fabio
2016-03-01
Full Text Available In this paper the rationale and the first draft of a formal ontology for modeling narrative texts are presented. Building on the semiotic and structuralist narratology, and on the work carried out in the late 1980s by Giuseppe Gigliozzi in Italy, the focus of my research are the concepts of character and of narrative world/space. This formal model is expressed in the OWL 2 ontology language. The main reason to adopt a formal modeling approach is that I consider the purely probabilistic-quantitative methods (now widespread in digital literary studies inadequate. An ontology, on one hand provides a tool for the analysis of strictly literary texts. On the other hand (though beyond the scope of the present work, its formalization can also represent a significant contribution towards grounding the application of storytelling methods outside of scholarly contexts.
A hydrodynamic formalism for Brownian systems
International Nuclear Information System (INIS)
Pina, E.; Rosales, M.A.
1981-01-01
A formal hydrodynamic approach to Brownian motion is presented and the corresponding equations are derived. Hydrodynamic quantities are expressed in terms of the physical variables characterizing the Brownian systems. Contact is made with the hydrodynamic model of Quantum Mechanics. (author)
Infinitesimal Deformations of a Formal Symplectic Groupoid
Karabegov, Alexander
2011-09-01
Given a formal symplectic groupoid G over a Poisson manifold ( M, π 0), we define a new object, an infinitesimal deformation of G, which can be thought of as a formal symplectic groupoid over the manifold M equipped with an infinitesimal deformation {π_0 + \\varepsilon π_1} of the Poisson bivector field π 0. To any pair of natural star products {(ast,tildeast)} having the same formal symplectic groupoid G we relate an infinitesimal deformation of G. We call it the deformation groupoid of the pair {(ast,tildeast)} . To each star product with separation of variables {ast} on a Kähler-Poisson manifold M we relate another star product with separation of variables {hatast} on M. We build an algorithm for calculating the principal symbols of the components of the logarithm of the formal Berezin transform of a star product with separation of variables {ast} . This algorithm is based upon the deformation groupoid of the pair {(ast,hatast)}.
Does Formal Environmental Knowledge Inform the Everyday ...
African Journals Online (AJOL)
How do senior secondary biology learners from three schools in Lesotho use this ... environmental literacy as a goal of science education is mentioned. ..... formal schooling context) or actions informed by informal information, which we ...
Towards a Formal Treatment of Implicit Invocation
National Research Council Canada - National Science Library
Dingel, J
1997-01-01
.... A formal computational model for implicit invocation is presented. We develop a verification framework for implicit invocation that is based on Jones' rely/guarantee reasoning for concurrent systems Jon83,St(phi)91...
Formal education of curriculum and instructional designers
McKenney, Susan; Visscher-Voerman, Irene
2013-01-01
McKenney, S., & Visscher-Voerman, I. (2013). Formal education of curriculum and instructional designers. Educational Designer, 2(6). Available online: http://www.educationaldesigner.org/ed/volume2/issue6/article20/index.htm
Transitions from Formal Education to the Workplace
Olson, Joann S.
2014-01-01
This chapter frames the transition to adulthood in the context of the moving from formal educational settings to the often less-structured learning that occurs in workplace settings. Although schooling may end, learning continues.
Statistical Survey of Non-Formal Education
Directory of Open Access Journals (Sweden)
Ondřej Nývlt
2012-12-01
Full Text Available focused on a programme within a regular education system. Labour market flexibility and new requirements on employees create a new domain of education called non-formal education. Is there a reliable statistical source with a good methodological definition for the Czech Republic? Labour Force Survey (LFS has been the basic statistical source for time comparison of non-formal education for the last ten years. Furthermore, a special Adult Education Survey (AES in 2011 was focused on individual components of non-formal education in a detailed way. In general, the goal of the EU is to use data from both internationally comparable surveys for analyses of the particular fields of lifelong learning in the way, that annual LFS data could be enlarged by detailed information from AES in five years periods. This article describes reliability of statistical data aboutnon-formal education. This analysis is usually connected with sampling and non-sampling errors.
Towards a Formal Model of Social Data
DEFF Research Database (Denmark)
Mukkamala, Raghava Rao; Vatrapu, Ravi; Hussain, Abid
, transform, analyse, and report social data from social media platforms such as Facebook and twitter. Formal methods, models and tools for social data are largely limited to graph theoretical approaches informing conceptual developments in relational sociology and methodological developments in social...... network analysis. As far as we know, there are no integrated modeling approaches to social data across the conceptual, formal and software realms. Social media analytics can be undertaken in two main ways - ”Social Graph Analytics” and ”Social Text Analytics” (Vatrapu, in press/2013). Social graph......, we exemplify the semantics of the formal model with real-world social data examples. Third, we briefly present and discuss the Social Data Analytics Tool (SODATO) that realizes the conceptual model in software and provisions social data for computational social science analysis based on the formal...
Formalisms for reuse and systems integration
Rubin, Stuart
2015-01-01
Reuse and integration are defined as synergistic concepts, where reuse addresses how to minimize redundancy in the creation of components; while, integration focuses on component composition. Integration supports reuse and vice versa. These related concepts support the design of software and systems for maximizing performance while minimizing cost. Knowledge, like data, is subject to reuse; and, each can be interpreted as the other. This means that inherent complexity, a measure of the potential utility of a system, is directly proportional to the extent to which it maximizes reuse and integration. Formal methods can provide an appropriate context for the rigorous handling of these synergistic concepts. Furthermore, formal languages allow for non ambiguous model specification; and, formal verification techniques provide support for insuring the validity of reuse and integration mechanisms. This edited book includes 12 high quality research papers written by experts in formal aspects of reuse and integratio...
El Salvador - Non-Formal Skills Development
Millennium Challenge Corporation — The Non-Formal Skills Development Sub-Activity had a budget of $5 million (USD) to provide short-term training to vulnerable populations in El Salvador's Northern...
Film for Non-Formal Education.
Jenkins, Janet
1979-01-01
Looks at educational factors in using television or cinema film for non-formal education in developing nations. Styles of presentation in films are discussed, and suggestions are made for assessing effectiveness. (JEG)
Formal solutions of inverse scattering problems. III
International Nuclear Information System (INIS)
Prosser, R.T.
1980-01-01
The formal solutions of certain three-dimensional inverse scattering problems presented in papers I and II of this series [J. Math. Phys. 10, 1819 (1969); 17 1175 (1976)] are obtained here as fixed points of a certain nonlinear mapping acting on a suitable Banach space of integral kernels. When the scattering data are sufficiently restricted, this mapping is shown to be a contraction, thereby establishing the existence, uniqueness, and continuous dependence on the data of these formal solutions
Formalization of Many-Valued Logics
DEFF Research Database (Denmark)
Villadsen, Jørgen; Schlichtkrull, Anders
2017-01-01
Partiality is a key challenge for computational approaches to artificial intelligence in general and natural language in particular. Various extensions of classical two-valued logic to many-valued logics have been investigated in order to meet this challenge. We use the proof assistant Isabelle...... to formalize the syntax and semantics of many-valued logics with determinate as well as indeterminate truth values. The formalization allows for a concise presentation and makes automated verification possible....
Young People, Entrepreneurship And Non Formal Learning
Pantea, Maria-Carmen; Diroescu, Raluca; Podlasek-Ziegler, Maria
2016-01-01
The book was published by SALTO-Youth Participation, a Resource Centre of the European Commission. It looks into the relationship between youth work (non-formal learning) and entrepreneurship. The book explores the theoretical developments in the field, the ethical dilemmas and tensions, and proposes practice-oriented information: illustrative examples, strategies for action and methods of non-formal education. Structured in 24 chapters, the book is an opportunity to open up debates and quest...
Improved formalism for precision Higgs coupling fits
Barklow, Tim; Fujii, Keisuke; Jung, Sunghoon; Karl, Robert; List, Jenny; Ogawa, Tomohisa; Peskin, Michael E.; Tian, Junping
2018-03-01
Future e+e- colliders give the promise of model-independent determinations of the couplings of the Higgs boson. In this paper, we present an improved formalism for extracting Higgs boson couplings from e+e- data, based on the effective field theory description of corrections to the Standard Model. We apply this formalism to give projections of Higgs coupling accuracies for stages of the International Linear Collider and for other proposed e+e- colliders.
Improved formalism for precision Higgs coupling fits
International Nuclear Information System (INIS)
Barklow, Tim; Peskin, Michael E.; Jung, Sunghoon; Tian, Junping
2017-08-01
Future e + e - colliders give the promise of model-independent determinations of the couplings of the Higgs boson. In this paper, we present an improved formalism for extracting Higgs boson couplings from e + e - data, based on the Effective Field Theory description of corrections to the Standard Model. We apply this formalism to give projections of Higgs coupling accuracies for stages of the International Linear Collider and for other proposed e + e - colliders.
A computational formalization for partial evaluation
DEFF Research Database (Denmark)
Hatcliff, John; Danvy, Olivier
1996-01-01
We formalize a partial evaluator for Eugenio Moggi's computational metalanguage. This formalization gives an evaluation-order independent view of binding-time analysis and program specialization, including a proper treatment of call unfolding. It also enables us to express the essence of `control......-based binding-time improvements' for let expressions. Specically, we prove that the binding-time improvements given by `continuation-based specialization' can be expressed in the metalanguage via monadic laws....
Application of Formal Methods in Software Engineering
Directory of Open Access Journals (Sweden)
Adriana Morales
2011-12-01
Full Text Available The purpose of this research work is to examine: (1 why are necessary the formal methods for software systems today, (2 high integrity systems through the methodology C-by-C –Correctness-by-Construction–, and (3 an affordable methodology to apply formal methods in software engineering. The research process included reviews of the literature through Internet, in publications and presentations in events. Among the Research results found that: (1 there is increasing the dependence that the nations have, the companies and people of software systems, (2 there is growing demand for software Engineering to increase social trust in the software systems, (3 exist methodologies, as C-by-C, that can provide that level of trust, (4 Formal Methods constitute a principle of computer science that can be applied software engineering to perform reliable process in software development, (5 software users have the responsibility to demand reliable software products, and (6 software engineers have the responsibility to develop reliable software products. Furthermore, it is concluded that: (1 it takes more research to identify and analyze other methodologies and tools that provide process to apply the Formal Software Engineering methods, (2 Formal Methods provide an unprecedented ability to increase the trust in the exactitude of the software products and (3 by development of new methodologies and tools is being achieved costs are not more a disadvantage for application of formal methods.
Formality of the Chinese collective leadership.
Li, Haiying; Graesser, Arthur C
2016-09-01
We investigated the linguistic patterns in the discourse of four generations of the collective leadership of the Communist Party of China (CPC) from 1921 to 2012. The texts of Mao Zedong, Deng Xiaoping, Jiang Zemin, and Hu Jintao were analyzed using computational linguistic techniques (a Chinese formality score) to explore the persuasive linguistic features of the leaders in the contexts of power phase, the nation's education level, power duration, and age. The study was guided by the elaboration likelihood model of persuasion, which includes a central route (represented by formal discourse) versus a peripheral route (represented by informal discourse) to persuasion. The results revealed that these leaders adopted the formal, central route more when they were in power than before they came into power. The nation's education level was a significant factor in the leaders' adoption of the persuasion strategy. The leaders' formality also decreased with their increasing age and in-power times. However, the predictability of these factors for formality had subtle differences among the different types of leaders. These results enhance our understanding of the Chinese collective leadership and the role of formality in politically persuasive messages.
Umphrey, Jan
2011-01-01
The National Council of Teachers of Mathematics (NCTM) is a voice and advocate for mathematics educators, working to ensure that all students receive equitable mathematics learning of the highest quality. To help teachers and school leaders understand the Common Core State Standards for Mathematics (CCSSM) and to point out how the CCSSM can be…
DEFF Research Database (Denmark)
Hansen, Vagn Lundsgaard
2005-01-01
A brief tour through the history of mathematics from the very beginnings to modern times, with an emphasis on the main contributions and important periods of mathematics in various civilizations.......A brief tour through the history of mathematics from the very beginnings to modern times, with an emphasis on the main contributions and important periods of mathematics in various civilizations....
DEFF Research Database (Denmark)
Hansen, Vagn Lundsgaard
A brief tour through the history of mathematics from the very beginnings to modern times, with an emphasis on the main contributions and important periods of mathematics in various civilizations.......A brief tour through the history of mathematics from the very beginnings to modern times, with an emphasis on the main contributions and important periods of mathematics in various civilizations....
Mumcu, Hayal Yavuz
2016-01-01
The purpose of this theoretical study is to explore the relationships between the concepts of using mathematics in the daily life, mathematical applications, mathematical modelling, and mathematical literacy. As these concepts are generally taken as independent concepts in the related literature, they are confused with each other and it becomes…
1992-12-01
describing how. 5. EDDA . EDDA is an attempt to add mathematical formalism to SADT. Because it is based on SADT, it cannot easily represent any other...design methodology. EDDA has two forms: G- EDDA , the standard graphical version of SADT, and S- EDDA , a textual language that partially represents the...used. "* EDDA only supports the SADT methodology and is too limited in scope to be useful in our research. "* SAMM lacks the semantic richness of
Formal and physical equivalence in two cases in contemporary quantum physics
Fraser, Doreen
2017-08-01
The application of analytic continuation in quantum field theory (QFT) is juxtaposed to T-duality and mirror symmetry in string theory. Analytic continuation-a mathematical transformation that takes the time variable t to negative imaginary time-it-was initially used as a mathematical technique for solving perturbative Feynman diagrams, and was subsequently the basis for the Euclidean approaches within mainstream QFT (e.g., Wilsonian renormalization group methods, lattice gauge theories) and the Euclidean field theory program for rigorously constructing non-perturbative models of interacting QFTs. A crucial difference between theories related by duality transformations and those related by analytic continuation is that the former are judged to be physically equivalent while the latter are regarded as physically inequivalent. There are other similarities between the two cases that make comparing and contrasting them a useful exercise for clarifying the type of argument that is needed to support the conclusion that dual theories are physically equivalent. In particular, T-duality and analytic continuation in QFT share the criterion for predictive equivalence that two theories agree on the complete set of expectation values and the mass spectra and the criterion for formal equivalence that there is a "translation manual" between the physically significant algebras of observables and sets of states in the two theories. The analytic continuation case study illustrates how predictive and formal equivalence are compatible with physical inequivalence, but not in the manner of standard underdetermination cases. Arguments for the physical equivalence of dual theories must cite considerations beyond predictive and formal equivalence. The analytic continuation case study is an instance of the strategy of developing a physical theory by extending the formal or mathematical equivalence with another physical theory as far as possible. That this strategy has resulted in
Directory of Open Access Journals (Sweden)
Emma Emanuilova Yandybaeva
2015-03-01
Full Text Available The methods of information subjects and objects interaction rules formalization in the electronic trading platform system has been developed. They are based on mathematical model of mandatory role-based access control. As a result of the work we have defined set of user roles and constructed roles hierarchy. For the roles hierarchy restrictions have been imposed to ensure the safety of the information system.