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.
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.
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
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…
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.
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.
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.
A New Formalism for Relational Algebra
DEFF Research Database (Denmark)
Schwartzbach, Michael Ignatieff; Larsen, Kim Skak; Schmidt, Erik Meineche
1992-01-01
We present a new formalism for relational algebra, the FC language, which is based on a novel factorization of relations. The acronym stands for factorize and combine. A pure version of this language is equivalent to relational algebra in the sense that semantics preserving translations exist...
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
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.
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.
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…
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.
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.
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.
Relating Lagrangian and Hamiltonian Formalisms of LC Circuits
Clemente-Gallardo, Jesús; Scherpen, Jacquelien M.A.
2003-01-01
The Lagrangian formalism earlier defined for (switching) electrical circuits, is adapted to the Lagrangian formalism defined on Lie algebroids. This allows us to define regular Lagrangians and consequently, well-defined Hamiltonian descriptions of arbitrary LC networks. The relation with other
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.
Improved pion pion scattering amplitude from dispersion relation formalism
International Nuclear Information System (INIS)
Cavalcante, I.P.; Coutinho, Y.A.; Borges, J. Sa
2005-01-01
Pion-pion scattering amplitude is obtained from Chiral Perturbation Theory at one- and two-loop approximations. Dispersion relation formalism provides a more economic method, which was proved to reproduce the analytical structure of that amplitude at both approximation levels. This work extends the use of the formalism in order to compute further unitarity corrections to partial waves, including the D-wave amplitude. (author)
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.
TIMSS 2003: Relating dimensions of mathematics attitude to mathematics achievement
Directory of Open Access Journals (Sweden)
Kadijević Đorđe
2008-01-01
Full Text Available This study, which used a sample of 137,346 students from thirty three countries that participated in the TIMSS 2003 project in the eighth grade, examined the features of the individual and collective relations of three dimensions of mathematics attitude to mathematics achievement (MA, searching for the dimension mostly related to that achievement. The three dimensions of mathematics attitude were self-confidence in learning mathematics (SCLM, liking mathematics (LM and usefulness of mathematics (UM. By utilizing psychometrically valid and reliable measures of the three dimensions, it was found that: (1 each dimension of mathematics attitude alone was positively related to MA for almost all thirty three countries; (2 SCLM was primarily related to MA for thirty one countries; (3 when the two other dimensions were held constant, SCLM was positively related to MA for thirty three countries, LM was negatively related to MA for thirty countries, whereas UM was not related to MA for twenty one countries; (4 positive collective relationships of SCLM, LM and UM to MA considerably varied from country to country. Implications for research and practice are included.
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.
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.
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.
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.
XI. The Relation between Mathematics and Physic
Indian Academy of Sciences (India)
of mathematics in this scheme is to represent the laws of motion by equations, and to obtain solutions ... What makes the theory of relativity so acceptable to physicists in spite of its going against the principle of simplicity is its great mathematical peauty. This is a quality ... The difference may be expressed concisely, but in·a ...
Construction Industry Related Mathematics: Seventh Grade.
Mundell, Scott
The field tested construction industry-related mathematics unit is intended to familiarize seventh grade students with various facets of the construction industry, including the various occupations available and the mathematical abilities and other skills and training necessary to pursue an occupation in the industry. The final set of activities…
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.
Areepattamannil, Shaljan; Kaur, Berinderjeet
2013-01-01
This study, drawing on data from the Trends in International Mathematics and Science Study (TIMSS) 2011, examined whether mathematics teachers' perceptions of their students' mathematical competence were related to mathematics achievement, affect toward mathematics, and engagement in mathematics lessons among Grade 8 students in Singapore and…
The mathematical theory of general relativity
Katkar, L N
2014-01-01
This book is prepared for M. Sc. Students of Mathematics and Physics. The aim of writing this book is to give the reader a feeling for the necessity and beauty of the laws of general relativity. The contents of the book will attract both mathematicians and physicists which provides motivation and applications of many ideas and powerful mathematical methods of modern analysis and differential geometry. An attempt has been made to make the presentation comprehensive, rigorous and yet simple. Most calculations and transformations have been carried out in great detail. KEY FEATURE: Numerous solved examples using the well known mathematical techniques viz., the tensors and the differential forms in each chapter.
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
Directory of Open Access Journals (Sweden)
L. N. Elisov
2015-01-01
Full Text Available The paper presents the authors view and some remarks on the problem of solving optimization problems in the field of aviation security related to insurmountable difficulties of formalization and mathematical interpretation of the domain formulation of such problems. It is shown that the vast majority of these problems is related to the solution of conflicts. The theory of conflicts gives analytical solution only in the simplest cases. For the rest the use of a heuristic approach is suggested.
The development of mobile computation and the related formal description
International Nuclear Information System (INIS)
Jin Yan; Yang Xiaozong
2003-01-01
The description and research for formal representation in mobile computation, which is very instructive to resolve the status transmission, domain administration, authentication. This paper presents the descriptive communicating process and computational process from the view of formal calculus, what's more, it construct a practical application used by mobile ambient. Finally, this dissertation shows the future work and direction. (authors)
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.
Akkus, Oylum
2008-01-01
The purpose of this study was to investigate preservice elementary mathematics teachers' ability of relating mathematical concepts and daily life context. Two research questions were set; what is the preservice elementary mathematics teachers' level of relating mathematical concepts and daily life context regarding to their education year and…
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
Mathematics Self-Related Beliefs and Online Learning
Ichinose, Cherie; Bonsangue, Martin
2016-01-01
This study examined students' mathematical self-related beliefs in an online mathematics course. Mathematical self-related beliefs of a sample of high school students learning mathematics online were compared with student response data from the 2012 Programme for International Student Assessment (PISA). The treatment group reported higher levels…
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.
On formally undecidable propositions of Principia mathematica and related systems
Gödel, Kurt
1962-01-01
In 1931, a young Austrian mathematician published an epoch-making paper containing one of the most revolutionary ideas in logic since Aristotle. Kurt Giidel maintained, and offered detailed proof, that in any arithmetic system, even in elementary parts of arithmetic, there are propositions which cannot be proved or disproved within the system. It is thus uncertain that the basic axioms of arithmetic will not give rise to contradictions. The repercussions of this discovery are still being felt and debated in 20th-century mathematics.The present volume reprints the first English translation of
Recent trends related to the use of formal methods in software engineering
Prehn, Soren
1986-01-01
An account is given of some recent developments and trends related to the development and use of formal methods in software engineering. Ongoing activities in Europe are focussed on, since there seems to be a notable difference in attitude towards industrial usage of formal methods in Europe and in the U.S. A more detailed account is given of the currently most widespread formal method in Europe: the Vienna Development Method. Finally, the use of Ada is discussed in relation to the application of formal methods, and the potential for constructing Ada-specific tools based on that method is considered.
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
Hamiltonian formalism for perfect fluids in general relativity
International Nuclear Information System (INIS)
Demaret, J.; Moncrief, V.
1980-01-01
Schutz's Hamiltonian theory of a relativistic perfect fluid, based on the velocity-potential version of classical perfect fluid hydrodynamics as formulated by Seliger and Whitham, is used to derive, in the framework of the Arnowitt, Deser, and Misner (ADM) method, a general partially reduced Hamiltonian for relativistic systems filled with a perfect fluid. The time coordinate is chosen, as in Lund's treatment of collapsing balls of dust, as minus the only velocity potential different from zero in the case of an irrotational and isentropic fluid. A ''semi-Dirac'' method can be applied to quantize astrophysical and cosmological models in the framework of this partially reduced formalism. If one chooses Taub's adapted comoving coordinate system, it is possible to derive a fully reduced ADM Hamiltonian, which is equal to minus the total baryon number of the fluid, generalizing a result previously obtained by Moncrief in the more particular framework of Taub's variational principle, valid for self-gravitating barotropic relativistic perfect fluids. An unconstrained Hamiltonian density is then explicitly derived for a fluid obeying the equation of state p=(gamma-1)rho (1 < or = γ < or = 2), which can adequately describe the phases of very high density attained in a catastrophic collapse or during the early stages of the Universe. This Hamiltonian density, shown to be equivalent to Moncrief's in the particular case of an isentropic fluid, can be simplified for fluid-filled class-A diagonal Bianchi-type cosmological models and appears as a suitable starting point for the study of the canonical quantization of these models
Concept similarity and related categories in information retrieval using formal concept analysis
Eklund, P.; Ducrou, J.; Dau, F.
2012-11-01
The application of formal concept analysis to the problem of information retrieval has been shown useful but has lacked any real analysis of the idea of relevance ranking of search results. SearchSleuth is a program developed to experiment with the automated local analysis of Web search using formal concept analysis. SearchSleuth extends a standard search interface to include a conceptual neighbourhood centred on a formal concept derived from the initial query. This neighbourhood of the concept derived from the search terms is decorated with its upper and lower neighbours representing more general and special concepts, respectively. SearchSleuth is in many ways an archetype of search engines based on formal concept analysis with some novel features. In SearchSleuth, the notion of related categories - which are themselves formal concepts - is also introduced. This allows the retrieval focus to shift to a new formal concept called a sibling. This movement across the concept lattice needs to relate one formal concept to another in a principled way. This paper presents the issues concerning exploring, searching, and ordering the space of related categories. The focus is on understanding the use and meaning of proximity and semantic distance in the context of information retrieval using formal concept analysis.
Stereotype Endorsement And Mathematics-Related Behaviour ...
African Journals Online (AJOL)
By endorsing the stereotypic belief that Mathematics is a male-only subject, some females accept the limitation placed on them by the gendering process and this inhibits the identification, development and utilization of their Mathematics ability for the development of self and the society. To determine the extent and effect of ...
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…
Consistency relation and inflaton field redefinition in the δN formalism
Energy Technology Data Exchange (ETDEWEB)
Domènech, Guillem [Center for Gravitational Physics, Yukawa Institute for Theoretical Physics, Kyoto University, Kyoto 606-8502 (Japan); Gong, Jinn-Ouk, E-mail: jinn-ouk.gong@apctp.org [Asia Pacific Center for Theoretical Physics, Pohang 37673 (Korea, Republic of); Department of Physics, Postech, Pohang 37673 (Korea, Republic of); Sasaki, Misao [Center for Gravitational Physics, Yukawa Institute for Theoretical Physics, Kyoto University, Kyoto 606-8502 (Japan)
2017-06-10
We compute for general single-field inflation the intrinsic non-Gaussianity due to the self-interactions of the inflaton field in the squeezed limit. We recover the consistency relation in the context of the δN formalism, and argue that there is a particular field redefinition that makes the intrinsic non-Gaussianity vanishing, thus improving the estimate of the local non-Gaussianity using the δN formalism.
Mathematics in computed tomography and related techniques
International Nuclear Information System (INIS)
Sawicka, B.
1992-01-01
The mathematical basis of computed tomography (CT) was formulated in 1917 by Radon. His theorem states that the 2-D function f(x,y) can be determined at all points from a complete set of its line integrals. Modern methods of image reconstruction include three approaches: algebraic reconstruction techniques with simultaneous iterative reconstruction or simultaneous algebraic reconstruction; convolution back projection; and the Fourier transform method. There is no one best approach. Because the experimental data do not strictly satisfy theoretical models, a number of effects have to be taken into account; in particular, the problems of beam geometry, finite beam dimensions and distribution, beam scattering, and the radiation source spectrum. Tomography with truncated data is of interest, employing mathematical approximations to compensate for the unmeasured projection data. Mathematical techniques in image processing and data analysis are also extensively used. 13 refs
Turchin's Relation for Call-by-Name Computations: A Formal Approach
Directory of Open Access Journals (Sweden)
Antonina Nepeivoda
2016-07-01
Full Text Available Supercompilation is a program transformation technique that was first described by V. F. Turchin in the 1970s. In supercompilation, Turchin's relation as a similarity relation on call-stack configurations is used both for call-by-value and call-by-name semantics to terminate unfolding of the program being transformed. In this paper, we give a formal grammar model of call-by-name stack behaviour. We classify the model in terms of the Chomsky hierarchy and then formally prove that Turchin's relation can terminate all computations generated by the model.
Special relativity from observer's mathematics point of view
Khots, Boris; Khots, Dmitriy
2015-09-01
When we create mathematical models for quantum theory of light we assume that the mathematical apparatus used in modeling, at least the simplest mathematical apparatus, is infallible. In particular, this relates to the use of "infinitely small" and "infinitely large" quantities in arithmetic and the use of Newton - Cauchy definitions of a limit and derivative in analysis. We believe that is where the main problem lies in contemporary study of nature. We have introduced a new concept of Observer's Mathematics (see www.mathrelativity.com). Observer's Mathematics creates new arithmetic, algebra, geometry, topology, analysis and logic which do not contain the concept of continuum, but locally coincide with the standard fields. We use Einstein special relativity principles and get the analogue of classical Lorentz transformation. This work considers this transformation from Observer's Mathematics point of view.
Tyagi, Tarun Kumar
2016-01-01
The relationship between mathematical creativity (MC) and mathematical problem-solving performance (MP) has often been studied but the causal relation between these two constructs has yet to be clearly reported. The main purpose of this study was to define the causal relationship between MC and MP. Data from a representative sample of 480…
Secondary Teachers’ Mathematics-related Beliefs and Knowledge about Mathematical Problem-solving
E Siswono, T. Y.; Kohar, A. W.; Hartono, S.
2017-02-01
This study investigates secondary teachers’ belief about the three mathematics-related beliefs, i.e. nature of mathematics, teaching mathematics, learning mathematics, and knowledge about mathematical problem solving. Data were gathered through a set of task-based semi-structured interviews of three selected teachers with different philosophical views of teaching mathematics, i.e. instrumental, platonist, and problem solving. Those teachers were selected from an interview using a belief-related task from purposively selected teachers in Surabaya and Sidoarjo. While the interviews about knowledge examine teachers’ problem solving content and pedagogical knowledge, the interviews about beliefs examine their views on several cases extracted from each of such mathematics-related beliefs. Analysis included the categorization and comparison on each of beliefs and knowledge as well as their interaction. Results indicate that all the teachers did not show a high consistency in responding views of their mathematics-related beliefs, while they showed weaknesses primarily on problem solving content knowledge. Findings also point out that teachers’ beliefs have a strong relationship with teachers’ knowledge about problem solving. In particular, the instrumental teacher’s beliefs were consistent with his insufficient knowledge about problem-solving, while both platonist and problem-solving teacher’s beliefs were consistent with their sufficient knowledge of either content or pedagogical problem solving.
MARA: Mathematics/Architecture Related Activities.
New York State Education Dept., Albany. Bureau of Curriculum Development.
This document is designed primarily to help teachers in elementary and middle schools to teach basic skills in mathematics, the visual arts, and social interaction. The Introduction contains sections titled: (1) How and Where to Begin; (2) Orientation Exercises; (3) Discovering the Environment; (4) Toothpicks and Gumdrops; (5) A Process for the…
Directory of Open Access Journals (Sweden)
Devine Amy
2012-07-01
Full Text Available Abstract Background Mathematics anxiety (MA, a state of discomfort associated with performing mathematical tasks, is thought to affect a notable proportion of the school age population. Some research has indicated that MA negatively affects mathematics performance and that girls may report higher levels of MA than boys. On the other hand some research has indicated that boys’ mathematics performance is more negatively affected by MA than girls’ performance is. The aim of the current study was to measure girls’ and boys’ mathematics performance as well as their levels of MA while controlling for test anxiety (TA a construct related to MA but which is typically not controlled for in MA studies. Methods Four-hundred and thirty three British secondary school children in school years 7, 8 and 10 completed customised mental mathematics tests and MA and TA questionnaires. Results No gender differences emerged for mathematics performance but levels of MA and TA were higher for girls than for boys. Girls and boys showed a positive correlation between MA and TA and a negative correlation between MA and mathematics performance. TA was also negatively correlated with mathematics performance, but this relationship was stronger for girls than for boys. When controlling for TA, the negative correlation between MA and performance remained for girls only. Regression analyses revealed that MA was a significant predictor of performance for girls but not for boys. Conclusions Our study has revealed that secondary school children experience MA. Importantly, we controlled for TA which is typically not controlled for in MA studies. Girls showed higher levels of MA than boys and high levels of MA were related to poorer levels of mathematics performance. As well as potentially having a detrimental effect on ‘online’ mathematics performance, past research has shown that high levels of MA can have negative consequences for later mathematics education
Devine, Amy; Fawcett, Kayleigh; Szűcs, Dénes; Dowker, Ann
2012-07-09
Mathematics anxiety (MA), a state of discomfort associated with performing mathematical tasks, is thought to affect a notable proportion of the school age population. Some research has indicated that MA negatively affects mathematics performance and that girls may report higher levels of MA than boys. On the other hand some research has indicated that boys' mathematics performance is more negatively affected by MA than girls' performance is. The aim of the current study was to measure girls' and boys' mathematics performance as well as their levels of MA while controlling for test anxiety (TA) a construct related to MA but which is typically not controlled for in MA studies. Four-hundred and thirty three British secondary school children in school years 7, 8 and 10 completed customised mental mathematics tests and MA and TA questionnaires. No gender differences emerged for mathematics performance but levels of MA and TA were higher for girls than for boys. Girls and boys showed a positive correlation between MA and TA and a negative correlation between MA and mathematics performance. TA was also negatively correlated with mathematics performance, but this relationship was stronger for girls than for boys. When controlling for TA, the negative correlation between MA and performance remained for girls only. Regression analyses revealed that MA was a significant predictor of performance for girls but not for boys. Our study has revealed that secondary school children experience MA. Importantly, we controlled for TA which is typically not controlled for in MA studies. Girls showed higher levels of MA than boys and high levels of MA were related to poorer levels of mathematics performance. As well as potentially having a detrimental effect on 'online' mathematics performance, past research has shown that high levels of MA can have negative consequences for later mathematics education. Therefore MA warrants attention in the mathematics classroom, particularly because
2012-01-01
Background Mathematics anxiety (MA), a state of discomfort associated with performing mathematical tasks, is thought to affect a notable proportion of the school age population. Some research has indicated that MA negatively affects mathematics performance and that girls may report higher levels of MA than boys. On the other hand some research has indicated that boys’ mathematics performance is more negatively affected by MA than girls’ performance is. The aim of the current study was to measure girls’ and boys’ mathematics performance as well as their levels of MA while controlling for test anxiety (TA) a construct related to MA but which is typically not controlled for in MA studies. Methods Four-hundred and thirty three British secondary school children in school years 7, 8 and 10 completed customised mental mathematics tests and MA and TA questionnaires. Results No gender differences emerged for mathematics performance but levels of MA and TA were higher for girls than for boys. Girls and boys showed a positive correlation between MA and TA and a negative correlation between MA and mathematics performance. TA was also negatively correlated with mathematics performance, but this relationship was stronger for girls than for boys. When controlling for TA, the negative correlation between MA and performance remained for girls only. Regression analyses revealed that MA was a significant predictor of performance for girls but not for boys. Conclusions Our study has revealed that secondary school children experience MA. Importantly, we controlled for TA which is typically not controlled for in MA studies. Girls showed higher levels of MA than boys and high levels of MA were related to poorer levels of mathematics performance. As well as potentially having a detrimental effect on ‘online’ mathematics performance, past research has shown that high levels of MA can have negative consequences for later mathematics education. Therefore MA warrants attention in
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...
Turchin's Relation for Call-by-Name Computations: A Formal Approach
Antonina Nepeivoda
2016-01-01
Supercompilation is a program transformation technique that was first described by V. F. Turchin in the 1970s. In supercompilation, Turchin's relation as a similarity relation on call-stack configurations is used both for call-by-value and call-by-name semantics to terminate unfolding of the program being transformed. In this paper, we give a formal grammar model of call-by-name stack behaviour. We classify the model in terms of the Chomsky hierarchy and then formally prove that Turchin's rel...
Visual short term memory related brain activity predicts mathematical abilities.
Boulet-Craig, Aubrée; Robaey, Philippe; Lacourse, Karine; Jerbi, Karim; Oswald, Victor; Krajinovic, Maja; Laverdière, Caroline; Sinnett, Daniel; Jolicoeur, Pierre; Lippé, Sarah
2017-07-01
Previous research suggests visual short-term memory (VSTM) capacity and mathematical abilities are significantly related. Moreover, both processes activate similar brain regions within the parietal cortex, in particular, the intraparietal sulcus; however, it is still unclear whether the neuronal underpinnings of VSTM directly correlate with mathematical operation and reasoning abilities. The main objective was to investigate the association between parieto-occipital brain activity during the retention period of a VSTM task and performance in mathematics. The authors measured mathematical abilities and VSTM capacity as well as brain activity during memory maintenance using magnetoencephalography (MEG) in 19 healthy adult participants. Event-related magnetic fields (ERFs) were computed on the MEG data. Linear regressions were used to estimate the strength of the relation between VSTM related brain activity and mathematical abilities. The amplitude of parieto-occipital cerebral activity during the retention of visual information was related to performance in 2 standardized mathematical tasks: mathematical reasoning and calculation fluency. The findings show that brain activity during retention period of a VSTM task is associated with mathematical abilities. Contributions of VSTM processes to numerical cognition should be considered in cognitive interventions. (PsycINFO Database Record (c) 2017 APA, 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 ...
Koichu, Boris
2010-01-01
This article discusses an issue of inserting mathematical knowledge within the problem-solving processes. Relatively advanced mathematical knowledge is defined in terms of "three mathematical worlds"; relatively advanced problem-solving behaviours are defined in terms of taxonomies of "proof schemes" and "heuristic behaviours". The relationships…
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.
Rodrigues, W. A.; Scanavini, M. E. F.; de Alcantara, L. P.
1990-02-01
In this paper a given spacetime theory T is characterized as the theory of a certain species of structure in the sense of Bourbaki [1]. It is then possible to clarify in a rigorous way the concepts of passive and active covariance of T under the action of the manifold mapping group G M . For each T, we define also an invariance group G I T and, in general, G I T ≠ G M . This group is defined once we realize that, for each τ ∈ ModT, each explicit geometrical object defining the structure can be classified as absolute or dynamical [2]. All spacetime theories possess also implicit geometrical objects that do not appear explicitly in the structure. These implicit objects are not absolute nor dynamical. Among them there are the reference frame fields, i.e., “timelike” vector fields X ∈ TU,U subseteq M M, where M is a manifold which is part of ST, a substructure for each τ ∈ ModT, called spacetime. We give a physically motivated definition of equivalent reference frames and introduce the concept of the equivalence group of a class of reference frames of kind X according to T, G X T. We define that T admits a weak principle of relativity (WPR) only if G X T ≠ identity for some X. If G X T = G I T for some X, we say that T admits a strong principle of relativity (PR). The results of this paper generalize and clarify several results obtained by Anderson [2], Scheibe [3], Hiskes [4], Recami and Rodrigues [5], Friedman [6], Fock [7], and Scanavini [8]. Among the novelties here, there is the realization that the definitions of G I T and G X T can be given only when certain boundary conditions for the equations of motion of T can be physically realizable in the domain U U subseteq M M, where a given reference frame is defined. The existence of physically realizable boundary conditions for each τ ∈ ModT (in ∂ U), in contrast with the mathematically possible boundary condition, is then seen to be essential for the validity of a principle of relativity for T
Binary Relations as a Foundation of Mathematics
Kuper, Jan; Barendsen, E.; Capretta, V.; Geuvers, H.; Niqui, M.
2007-01-01
We describe a theory for binary relations in the Zermelo-Fraenkel style. We choose for ZFCU, a variant of ZFC Set theory in which the Axiom of Foundation is replaced by an axiom allowing for non-wellfounded sets. The theory of binary relations is shown to be equi-consistent ZFCU by constructing a
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
Spatial transformation abilities and their relation to later mathematics performance.
Frick, Andrea
2018-04-10
Using a longitudinal approach, this study investigated the relational structure of different spatial transformation skills at kindergarten age, and how these spatial skills relate to children's later mathematics performance. Children were tested at three time points, in kindergarten, first grade, and second grade (N = 119). Exploratory factor analyses revealed two subcomponents of spatial transformation skills: one representing egocentric transformations (mental rotation and spatial scaling), and one representing allocentric transformations (e.g., cross-sectioning, perspective taking). Structural equation modeling suggested that egocentric transformation skills showed their strongest relation to the part of the mathematics test tapping arithmetic operations, whereas allocentric transformations were strongly related to Numeric-Logical and Spatial Functions as well as geometry. The present findings point to a tight connection between early mental transformation skills, particularly the ones requiring a high level of spatial flexibility and a strong sense for spatial magnitudes, and children's mathematics performance at the beginning of their school career.
The Barbero connection and its relation to the histories connection formalism without gauge fixing
International Nuclear Information System (INIS)
Savvidou, Ntina
2006-01-01
We present a histories version of the connection formalism of general relativity. Such an approach introduces a spacetime description-a characteristic feature of the histories approach-and we discuss the extent to which the usual loop variables are compatible with a spacetime description. In particular, we discuss the definability of the Barbero connection without any gauge fixing. Although it is not the pullback of a spacetime connection onto the 3-surface and it does not have a natural spacetime interpretation, this does not mean that the Barbero connection is not a suitable variable for quantization; it appears naturally in the formalism even in the absence of gauge fixing. It may be employed therefore to define loop variables similar to those employed in loop quantum gravity. However, the loop algebra would have to be augmented by the introduction of additional variables
Popplow, Marcus
2015-12-01
Recent critical approaches to what has conventionally been described as "scientific" and "technical" knowledge in early modern Europe have provided a wealth of new insights. So far, the various analytical concepts suggested by these studies have not yet been comprehensively discussed. The present essay argues that such comprehensive approaches might prove of special value for long-term and cross-cultural reflections on technology-related knowledge. As heuristic tools, the notions of "formalization" and "interaction" are proposed as part of alternative narratives to those highlighting the emergence of "science" as the most relevant development for technology-related knowledge in early modern Europe.
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.
What’s Past is Prologue: Relations Between Early Mathematics Knowledge and High School Achievement
Watts, Tyler W.; Duncan, Greg J.; Siegler, Robert S.; Davis-Kean, Pamela E.
2014-01-01
© 2014 AERA. Although previous research has established the association between early-grade mathematics knowledge and later mathematics achievement, few studies have measured mathematical skills prior to school entry, and few have investigated the predictive power of early gains in mathematics ability. The current paper relates mathematical skills measured at 54 months to adolescent mathematics achievement using multisite longitudinal data. We find that preschool mathematics ability predicts ...
Bravo, Carlos; Suarez, Carlos; González, Carolina; López, Diego; Blobel, Bernd
2014-01-01
Healthcare information is distributed through multiple heterogeneous and autonomous systems. Access to, and sharing of, distributed information sources are a challenging task. To contribute to meeting this challenge, this paper presents a formal, complete and semi-automatic transformation service from Relational Databases to Web Ontology Language. The proposed service makes use of an algorithm that allows to transform several data models of different domains by deploying mainly inheritance rules. The paper emphasizes the relevance of integrating the proposed approach into an ontology-based interoperability service to achieve semantic interoperability.
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...
What's Past Is Prologue: Relations between Early Mathematics Knowledge and High School Achievement
Watts, Tyler W.; Duncan, Greg J.; Siegler, Robert S.; Davis-Kean, Pamela E.
2014-01-01
Although previous research has established the association between early-grade mathematics knowledge and later mathematics achievement, few studies have measured mathematical skills prior to school entry, and few have investigated the predictive power of early gains in mathematics ability. The current paper relates mathematical skills measured at…
Cannon, Tenille
2016-01-01
Mathematics can be conceptualized in different ways. Policy documents such as the National Council of Teachers of Mathematics (NCTM) (2000) and the Common Core State Standards Initiative (CCSSI) (2010), classify mathematics in terms of mathematical content (e.g., quadratic functions, Pythagorean theorem) and mathematical activity in the form of…
Will-Nordtvedt PPN formalism applied to renormalization group extensions of general relativity
Toniato, Júnior D.; Rodrigues, Davi C.; de Almeida, Álefe O. F.; Bertini, Nicolas
2017-09-01
We apply the full Will-Nordtvedt version of the parametrized post-Newtonian (PPN) formalism to a class of general relativity extensions that are based on nontrivial renormalization group (RG) effects at large scales. We focus on a class of models in which the gravitational coupling constant G is correlated with the Newtonian potential. A previous PPN analysis considered a specific realization of the RG effects, and only within the Eddington-Robertson-Schiff version of the PPN formalism, which is a less complete and robust PPN formulation. Here we find stronger, more precise bounds, and with less assumptions. We also consider the external potential effect (EPE), which is an effect that is intrinsic to this framework and depends on the system environment (it has some qualitative similarities to the screening mechanisms of modified gravity theories). We find a single particular RG realization that is not affected by the EPE. Some physical systems have been pointed out as candidates for measuring the possible RG effects in gravity at large scales; for any of them the Solar System bounds need to be considered.
Directory of Open Access Journals (Sweden)
Adeneye Olarewaju Awofala
2018-04-01
Full Text Available The study investigated educational values of mathematics in relation to gender and attitudes toward mathematics among 480 Nigerian preservice mathematics teachers from four universities in Southwest, Nigeria using the quantitative research method within the blueprint of the descriptive survey design. Data collected were analysed using the descriptive statistics of frequency, percentage, mean, and standard deviation and inferential statistics of independent samples t-test, Pearson moment correlation, and multiple regression analysis. Findings revealed that preservice mathematics teachers showed high level of educational value of mathematics. There were significant possible correlations among preservice mathematics teachers’ practical value, aesthetic value, cultural value, social value, moral value, disciplinary value, recreational value, and attitudes toward mathematics. While gender differences in some dimensions of educational value of mathematics (practical value, disciplinary value, social value, and cultural value are no longer important and are declining there are subtle gender differences in attitudes toward mathematics and educational values of mathematics in this study. In addition, 73.7% of the variance in preservice teachers’ attitudes toward mathematics was accounted for by the eight predictor variables (gender, practical or utilitarian value, disciplinary value, cultural value, social value, moral value, aesthetic value and recreational value taken together. Based on this baseline study, it was thus, recommended that future studies in Nigeria should investigate the educational value of mathematics of in-service teachers with varied ethnicity and socio-economic background so as to generalise the results of this study.
The mathematical structure of the approximate linear response relation
International Nuclear Information System (INIS)
Yasuda, Muneki; Tanaka, Kazuyuki
2007-01-01
In this paper, we study the mathematical structures of the linear response relation based on Plefka's expansion and the cluster variation method in terms of the perturbation expansion, and we show how this linear response relation approximates the correlation functions of the specified system. Moreover, by comparing the perturbation expansions of the correlation functions estimated by the linear response relation based on these approximation methods with exact perturbative forms of the correlation functions, we are able to explain why the approximate techniques using the linear response relation work well
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.
Mathematics-Related Emotions among Finnish Adolescents across Different Performance Levels
Holm, Marja Eliisa; Hannula, Markku Sakari; Björn, Piia Maria
2017-01-01
This study examined the relation of mathematics performance and gender with seven mathematics-related emotions (enjoyment, pride, anger, anxiety, shame, hopelessness and boredom) among adolescents. Using strict and lenient mathematics performance cut-off scores, respective groups of adolescents with mathematics difficulties (MD, n = 136), low (LA,…
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.
Formal safety assessment based on relative risks model in ship navigation
Energy Technology Data Exchange (ETDEWEB)
Hu Shenping [Merchant Marine College, Shanghai Maritime University, 1550, Pudong Dadao, Shanghai 200135 (China)]. E-mail: sphu@mmc.shmtu.edu.cn; Fang Quangen [Merchant Marine College, Shanghai Maritime University, 1550, Pudong Dadao, Shanghai 200135 (China)]. E-mail: qgfang@mmc.shmtu.edu.cn; Xia Haibo [Merchant Marine College, Shanghai Maritime University, 1550, Pudong Dadao, Shanghai 200135 (China)]. E-mail: hbxia@mmc.shmtu.edu.cn; Xi Yongtao [Merchant Marine College, Shanghai Maritime University, 1550, Pudong Dadao, Shanghai 200135 (China)]. E-mail: xiyt@mmc.shmtu.edu.cn
2007-03-15
Formal safety assessment (FSA) is a structured and systematic methodology aiming at enhancing maritime safety. It has been gradually and broadly used in the shipping industry nowadays around the world. On the basis of analysis and conclusion of FSA approach, this paper discusses quantitative risk assessment and generic risk model in FSA, especially frequency and severity criteria in ship navigation. Then it puts forward a new model based on relative risk assessment (MRRA). The model presents a risk-assessment approach based on fuzzy functions and takes five factors into account, including detailed information about accident characteristics. It has already been used for the assessment of pilotage safety in Shanghai harbor, China. Consequently, it can be proved that MRRA is a useful method to solve the problems in the risk assessment of ship navigation safety in practice.
Formal safety assessment based on relative risks model in ship navigation
International Nuclear Information System (INIS)
Hu Shenping; Fang Quangen; Xia Haibo; Xi Yongtao
2007-01-01
Formal safety assessment (FSA) is a structured and systematic methodology aiming at enhancing maritime safety. It has been gradually and broadly used in the shipping industry nowadays around the world. On the basis of analysis and conclusion of FSA approach, this paper discusses quantitative risk assessment and generic risk model in FSA, especially frequency and severity criteria in ship navigation. Then it puts forward a new model based on relative risk assessment (MRRA). The model presents a risk-assessment approach based on fuzzy functions and takes five factors into account, including detailed information about accident characteristics. It has already been used for the assessment of pilotage safety in Shanghai harbor, China. Consequently, it can be proved that MRRA is a useful method to solve the problems in the risk assessment of ship navigation safety in practice
Math anxiety in second and third graders and its relation to mathematics achievement.
Wu, Sarah S; Barth, Maria; Amin, Hitha; Malcarne, Vanessa; Menon, Vinod
2012-01-01
Although the detrimental effects of math anxiety in adults are well understood, few studies have examined how it affects younger children who are beginning to learn math in a formal academic setting. Here, we examine the relationship between math anxiety and math achievement in second and third graders. In response to the need for a grade-appropriate measure of assessing math anxiety in this group we first describe the development of Scale for Early Mathematics Anxiety (SEMA), a new measure for assessing math anxiety in second and third graders that is based on the Math Anxiety Rating Scale. We demonstrate the construct validity and reliability of the SEMA and use it to characterize the effect of math anxiety on standardized measures of math abilities, as assessed using the Mathematical Reasoning and Numerical Operations subtests of the Wechsler Individual Achievement Test (WIAT-II). Math achievement, as measured by the WIAT-II Math Composite score, was significantly and negatively correlated with SEMA but not with trait anxiety scores. Additional analyses showed that SEMA scores were strongly correlated with Mathematical Reasoning scores, which involves more complex verbal problem solving. SEMA scores were weakly correlated with Numerical Operations which assesses basic computation skills, suggesting that math anxiety has a pronounced effect on more demanding calculations. We also found that math anxiety has an equally detrimental impact on math achievement regardless of whether children have an anxiety related to numbers or to the situational and social experience of doing math. Critically, these effects were unrelated to trait anxiety, providing the first evidence that the specific effects of math anxiety can be detected in the earliest stages of formal math learning in school. Our findings provide new insights into the developmental origins of math anxiety, and further underscore the need to remediate math anxiety and its deleterious effects on math achievement
[Relations between biomedical variables: mathematical analysis or linear algebra?].
Hucher, M; Berlie, J; Brunet, M
1977-01-01
The authors, after a short reminder of one pattern's structure, stress on the possible double approach of relations uniting the variables of this pattern: use of fonctions, what is within the mathematical analysis sphere, use of linear algebra profiting by matricial calculation's development and automatiosation. They precise the respective interests on these methods, their bounds and the imperatives for utilization, according to the kind of variables, of data, and the objective for work, understanding phenomenons or helping towards decision.
The mathematical description of uniformity and related theorems
International Nuclear Information System (INIS)
Luo Chuanwen; Yi Chundi; Wang Gang; Li Longsuo; Wang Chuncheng
2009-01-01
Uniform index is a conception that can describe the uniformity of a finite point set in a polyhedron, and is closely related to chaos. In order to study uniform index, the concept of contained uniform index is defined, which is similar to uniform index and has good mathematical properties. In this paper, we prove the convergence of the contained uniform index, and develop the base of proving the convergence of uniform index.
Mathematical and Computational Aspects Related to Soil Modeling and Simulation
2017-09-26
and simulation challenges at the interface of applied math (homogenization, handling of discontinuous behavior, discrete vs. continuum representations...topics: a) Visco-elasto-plastic continuum models of geo-surface materials b) Discrete models of geo-surface materials (rocks/gravel/sand) c) Mixed...continuum- discrete representations. Coarse-graining and fine-graining mathematical formulations d) Multi-physics aspects related to the modeling of
Some Peircean approaches to organizational communication. Formal and informal relations in a museum
Directory of Open Access Journals (Sweden)
Carlos González Pérez
2014-11-01
Full Text Available The main objectives of this work point to an analysis of internal communication processes of a natural science museum of the city of La Plata (Buenos Aires province to explain the relationship between the formal and informal instances from some approaches to the Peircean semiotics perspective. Other experiences are also taken into account in order to consider different ways of museum´s materialization. We believe that the contribution of this semiotic view is enriching because of its triadic sign scheme and because it allows to regard nonlinear complex processes related to the cultural aspects of museums, determined by a given historical moment. The research in the theoretical directions of the authors who are included in this perspective, enables us to approach the complexity of communication processes, given that all communication is done through signs, and signs can be interpreted in one or another way and can grow and generate a more developed set of signs. We resort to specific operations of visual image semiotics to analyze the signaling in museums, and to specific operations of symbolic semiotics to analyze the discourse of interviews. Through these operations we can achieve explanations about what kind of valuation does the museum´s stuff perform about the formal communication processes and also as to the informal spaces which complement them. We can also state that some problems in the organizational structure must be resolved (as an important segmentation identified in the named museum in order to implement a participative communication model. We identify some aspects related to extension strategies, to the studies of public, and to the relationship that the museum at study has with Argentine aboriginal communities, and likewise aspects that the organization values in the present and wants to project into the future.
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
Mathematical methods for students of physics and related fields
Hassani, Sadri
2000-01-01
Intended to follow the usual introductory physics courses, this book has the unique feature of addressing the mathematical needs of sophomores and juniors in physics, engineering and other related fields Many original, lucid, and relevant examples from the physical sciences, problems at the ends of chapters, and boxes to emphasize important concepts help guide the student through the material Beginning with reviews of vector algebra and differential and integral calculus, the book continues with infinite series, vector analysis, complex algebra and analysis, ordinary and partial differential equations Discussions of numerical analysis, nonlinear dynamics and chaos, and the Dirac delta function provide an introduction to modern topics in mathematical physics This new edition has been made more user-friendly through organization into convenient, shorter chapters Also, it includes an entirely new section on Probability and plenty of new material on tensors and integral transforms Some praise for the previous edi...
Mathematical Methods For Students of Physics and Related Fields
Hassani, Sadri
2009-01-01
Intended to follow the usual introductory physics courses, this book has the unique feature of addressing the mathematical needs of sophomores and juniors in physics, engineering and other related fields. Many original, lucid, and relevant examples from the physical sciences, problems at the ends of chapters, and boxes to emphasize important concepts help guide the student through the material. Beginning with reviews of vector algebra and differential and integral calculus, the book continues with infinite series, vector analysis, complex algebra and analysis, ordinary and partial differential equations. Discussions of numerical analysis, nonlinear dynamics and chaos, and the Dirac delta function provide an introduction to modern topics in mathematical physics. This new edition has been made more user-friendly through organization into convenient, shorter chapters. Also, it includes an entirely new section on Probability and plenty of new material on tensors and integral transforms. Some praise for the previo...
Directory of Open Access Journals (Sweden)
Johnny Jermias
2003-09-01
Full Text Available The purpose o f this study is to formally analyze product cost distortions resulting from the process of allocating costs to products based on Activity-Based Costing (ABC and the conventional product costing systems. The model developed in this paper rigorously shows the impact of treating costs that are not volume related as if they are. The model demonstrates that the source of product cost distortion is the difference between the proportion of driver used by each product in ABC and the proportion of the base used by the same product in the conventional costing systems. The difference arises because the conventional costing systems ignore the existence of batch-related and product-related costs. The model predicts a positive association between volume and size diversity with product cost distortions. When interaction between volume and size diversity exists, the distortion is either mitigated or exacerbated. The magnitude of the distortion is jointly determined by the size of the differences and the size of the total indirect costs.
Mathematic modeling of the method of measurement relative dielectric permeability
Plotnikova, I. V.; Chicherina, N. V.; Stepanov, A. B.
2018-05-01
The method of measuring relative permittivity’s and the position of the interface between layers of a liquid medium is considered in the article. An electric capacitor is a system consisting of two conductors that are separated by a dielectric layer. It is mathematically proven that at any given time it is possible to obtain the values of the relative permittivity in the layers of the liquid medium and to determine the level of the interface between the layers of the two-layer liquid. The estimation of measurement errors is made.
What's Past is Prologue: Relations Between Early Mathematics Knowledge and High School Achievement.
Watts, Tyler W; Duncan, Greg J; Siegler, Robert S; Davis-Kean, Pamela E
2014-10-01
Although previous research has established the association between early-grade mathematics knowledge and later mathematics achievement, few studies have measured mathematical skills prior to school entry, nor have they investigated the predictive power of early gains in mathematics ability. The current paper relates mathematical skills measured at 54 months to adolescent mathematics achievement using multi-site longitudinal data. We find that preschool mathematics ability predicts mathematics achievement through age 15, even after accounting for early reading, cognitive skills, and family and child characteristics. Moreover, we find that growth in mathematical ability between age 54 months and first grade is an even stronger predictor of adolescent mathematics achievement. These results demonstrate the importance of pre-kindergarten mathematics knowledge and early math learning for later achievement.
What’s Past is Prologue: Relations Between Early Mathematics Knowledge and High School Achievement
Watts, Tyler W.; Duncan, Greg J.; Siegler, Robert S.; Davis-Kean, Pamela E.
2015-01-01
Although previous research has established the association between early-grade mathematics knowledge and later mathematics achievement, few studies have measured mathematical skills prior to school entry, nor have they investigated the predictive power of early gains in mathematics ability. The current paper relates mathematical skills measured at 54 months to adolescent mathematics achievement using multi-site longitudinal data. We find that preschool mathematics ability predicts mathematics achievement through age 15, even after accounting for early reading, cognitive skills, and family and child characteristics. Moreover, we find that growth in mathematical ability between age 54 months and first grade is an even stronger predictor of adolescent mathematics achievement. These results demonstrate the importance of pre-kindergarten mathematics knowledge and early math learning for later achievement. PMID:26806961
Recent development in school mathematics' roles and relations
DEFF Research Database (Denmark)
Lindenskov, Lena; Andresen, Mette
2010-01-01
The article sketches a national profile of Danish educational policy and school practice by three perspectives: regulations and teachers' autonomy, educational aims and goals, and students' attitudes towards mathematics. We present the enrollment of mathematics in a new construct, multi...... disciplinarity, introduced recently into Danish upper secondary schools with academically oriented programs. The potentials of multi-disciplinary mathematics teaxching at all levels are analysed and discussed within Realistic Mathematics Education Theory and philosophical approach to mathematical reflections...
Awofala, Adeneye O. A.
2017-01-01
The study investigated mathematical proficiency as related to gender and performance in mathematics among 400 Nigerian senior secondary school students from 10 elitist senior secondary schools in Lagos State using the quantitative research method within the blueprint of descriptive survey design. Data collected were analysed using the descriptive…
Awofala, Adeneye O. A.; Odogwu, Helen N.
2017-01-01
The study investigated mathematics cognitive failures as related to mathematics anxiety, gender and performance in calculus among 450 preservice teachers from four public universities in the South West geo-political zone of Nigeria using the quantitative research method within the blueprint of the descriptive survey design. Data collected were…
Reciprocal relations between cognitive neuroscience and formal cognitive models: opposites attract?
Forstmann, B.U.; Wagenmakers, E.-J.; Eichele, T.; Brown, S.; Serences, J.T.
2011-01-01
Cognitive neuroscientists study how the brain implements particular cognitive processes such as perception, learning, and decision-making. Traditional approaches in which experiments are designed to target a specific cognitive process have been supplemented by two recent innovations. First, formal
Nonequilibrium statistical mechanics in the general theory of relativity. I. A general formalism
International Nuclear Information System (INIS)
Israel, W.; Kandrup, H.E.
1984-01-01
This is the first in a series of papers, the overall objective of which is the formulation of a new covariant approach to nonequilibrium statistical mechanics in classical general relativity. The objecct here is the development of a tractable theory for self-gravitating systems. It is argued that the ''state'' of an N-particle system may be characterized by an N-particle distribution function, defined in an 8N-dimensional phase space, which satisfies a collection of N conservation equations. By mapping the true physics onto a fictitious ''background'' spacetime, which may be chosen to satisfy some ''average'' field equations, one then obtains a useful covariant notion of ''evolution'' in response to a fluctuating ''gravitational force.'' For many cases of practical interest, one may suppose (i) that these fluctuating forces satisfy linear field equations and (ii) that they may be modeled by a direct interaction. In this case, one can use a relativistic projection operator formalism to derive exact closed equations for the evolution of such objects as an appropriately defined reduced one-particle distribution function. By capturing, in a natural way, the notion of a dilute gas, or impulse, approximation, one is then led to a comparatively simple equation for the one-particle distribution. If, furthermore, one treats the effects of the fluctuating forces as ''localized'' in space and time, one obtains a tractable kinetic equation which reduces, in the Newtonian limit, to the stardard Landau equation
National Center for Mathematics and Science - links to related sites
Mathematics and Science (NCISLA) HOME | WHAT WE DO | K-12 EDUCATION RESEARCH | PUBLICATIONS | TEACHER Modeling Middle School Mathematics National Association of Biology Teachers National Association for Mathematics National Science Teachers Assocation Show-Me Center Summit on Science TERC - Weaving Gender Equity
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
Binsbergen, W.M.J.
1979-01-01
The present paper explores the interplay between local popular Islam and the repeated introduction of formal Islam in Khrumiria, North-western Tunisia, against the background of its social and political structure and the radical changes the latter underwent in the colonial and post-colonial era. The
Melius, Joyce
2012-01-01
The purpose of this study is to identify and analyze the relationships that exist between mathematics anxiety and nurse self-efficacy for mathematics, and the medication calculation performance of acute care nurses. This research used a quantitative correlational research design and involved a sample of 84 acute care nurses, LVNs and RNs, from a…
Developmental Relations Among Motor and Cognitive Processes and Mathematics Skills.
Kim, Helyn; Duran, Chelsea A K; Cameron, Claire E; Grissmer, David
2018-03-01
This study explored transactional associations among visuomotor integration, attention, fine motor coordination, and mathematics skills in a diverse sample of one hundred thirty-five 5-year-olds (kindergarteners) and one hundred nineteen 6-year-olds (first graders) in the United States who were followed over the course of 2 school years. Associations were dynamic, with more reciprocal transactions occurring in kindergarten than in the later grades. Specifically, visuomotor integration and mathematics exhibited ongoing reciprocity in kindergarten and first grade, attention contributed to mathematics in kindergarten and first grade, mathematics contributed to attention across the kindergarten year only, and fine motor coordination contributed to mathematics indirectly, through visuomotor integration, across kindergarten and first grade. Implications of examining the hierarchical interrelations among processes underlying the development of children's mathematics skills are discussed. © 2017 The Authors. Child Development © 2017 Society for Research in Child Development, Inc.
It's about time elementary mathematical aspects of relativity
Cooke, Roger
2017-01-01
This book has three main goals. First, it explores a selection of topics from the early period of the theory of relativity, focusing on particular aspects that are interesting or unusual. These include the twin paradox relativistic mechanics and its interaction with Maxwell's laws the earliest triumphs of general relativity relating to the orbit of Mercury and the deflection of light passing near the sun and the surprising bizarre metric of Kurt Godel, in which time travel is possible. Second, it provides an exposition of the differential geometry needed to understand these topics on a level that is intended to be accessible to those with just two years of university-level mathematics as background. Third, it reflects on the historical development of the subject and its significance for our understanding of what reality is and how we can know about the physical universe. The book also takes note of historical prefigurations of relativity, such as Euler's 1744 result that a particle moving on a surface and sub...
Arslan, Cigdem; Erbay, Hatice Nur; Guner, Pinar
2017-01-01
In the present study we try to highlight prospective mathematics teachers' ability to identify mistakes of sixth grade students related to angle concept. And also we examined prospective mathematics teachers' knowledge of angle concept. Study was carried out with 30 sixth-grade students and 38 prospective mathematics teachers. Sixth grade students…
Rach, Stefanie; Heinze, Aiso
2017-01-01
Particularly in mathematics, the transition from school to university often appears to be a substantial hurdle in the individual learning biography. Differences between the characters of school mathematics and scientific university mathematics as well as different demands related to the learning cultures in both institutions are discussed as…
Mathematics-Related Anxiety and Attitudes: Examining the Impact among Latina Preservice Teachers
Gautreau, Cynthia; Brye, Michelle VanderVeldt; Lunceford, Christina
2016-01-01
The purpose of this study was to investigate mathematics-related anxiety and attitudes among Latina preservice teachers. Three sections from the Inventory of Mathematics Attitudes, Experience, and Self Awareness were administered to preservice teachers enrolled in a curriculum and instruction mathematics course during the 1st semester of a…
DEFF Research Database (Denmark)
Niss, Martin
2017-01-01
This paper studies the cognitive obstacles related to one aspect of mathematization in physics problem-solving, namely, what might be called structuring for mathematization, where the problem situation is structured in such a way that a translation to a mathematical universe can be done. We report...
Dispersion relations in the noncommutative φ3 and Wess-Zumino model in the Yang-Feldman formalism
International Nuclear Information System (INIS)
Doescher, C.; Zahn, J.
2006-05-01
We study dispersion relations in the noncommutative φ 3 and Wess-Zumino model in the Yang-Feldman formalism at one-loop order. Non-planar graphs lead to a distortion of the dispersion relation. We find that this effect is small if the scale of noncommutativity is identified with the Planck scale and parameters typical for a Higgs field are employed. (Orig.)
International Nuclear Information System (INIS)
Edgar, S.B.
1990-01-01
The structures of the N.P. and G.H.P formalisms are reviewed in order to understand and demonstrate the important role played by the commutator equations in the associated integration procedures. Particular attention is focused on how the commutator equations are to be satisfied, or checked for consistency. It is shown that Held's integration method will only guarantee genuine solutions of Einstein's equations when all the commutator equations are correctly and completely satisfied. (authors)
Czech Academy of Sciences Publication Activity Database
Boublík, Karel; Petřík, Petr; Sádlo, Jiří; Hédl, Radim; Willner, W.; Černý, Tomáš; Kolbek, Jiří
2007-01-01
Roč. 79, - (2007), s. 141-161 ISSN 0032-7786 R&D Projects: GA AV ČR IAA6005202; GA ČR(CZ) GA206/05/0020; GA MŠk LC06073 Institutional research plan: CEZ:AV0Z60050516 Keywords : Cephalanthero-Fagenion * Cocktail * formalized classification Subject RIV: EF - Botanics Impact factor: 2.064, year: 2007
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
The Relations among Mathematics Anxiety, Gender, and Standardized Test Performance
Anis, Yasmeen; Krause, Jeremy A.; Blum, Emily N.
2016-01-01
Mathematics anxiety typically involves apprehension toward activities that require computation, which can lead to complications in every-day-life activities (Ashcraft, 2002). Mathematics anxiety also has become accepted as an issue associated with academic success for both children and adults (Ashcraft, 2002; Ashcraft & Moore, 2009; Beilock,…
Future Directions in Research on Mathematics-Related Teacher Identity
Lutovac, Sonja; Kaasila, Raimo
2018-01-01
Mathematics education research has placed great emphasis on teacher identity, examining both pre- and in-service teachers, and within these cohorts, specialised mathematics teachers and non-specialists such as elementary teachers. Extensive research has already been done; hence, this paper discusses possible future directions for research on…
Formal Food-related Networks in Ireland: A Case Study Analysis
Directory of Open Access Journals (Sweden)
Maeve Henchion
2012-03-01
Full Text Available Strategic networking is of crucial importance for innovation in small and medium sized enterprises (SMEs as it enables these companies access external resources and overcome internal constraints. However, SMEs often lack the skills and competencies to engage in and benefit from networks. Consequently SMEs often fail in establishing strategic and efficient networks. To date, there is limited guidance available on the optimal design of such networks. Furthermore, limited guidance is available on the number of networks, and level of engagement therein, that companies should be involved with. Using case studies across a range of formal networks within the food sector in Ireland, insights into the success factors and barriers to network learning are presented, which provide a foundation for such guidelines. Three case studies were selected for analysis in Ireland. Up to ten in-depth interviews were scheduled with the network managers and key informants from the triple helix (i.e. policy, research and industry sectors within each formal network. Initially, interviewees were identified as a result of a review of secondary sources and personal knowledge of the authors. The snowball sampling technique was then employed to identify additional interviewees within each network. The findings from this study revealed that some formal networks had a strong institutional influence, including significant financial inputs, whilst others had bottom-up origins. Many networks had strong levels of interaction prior to formalisation, which provided solid trust-based foundations. Innovation and/or learning were not the expressed objectives of all networks at the outset. However, interviewees across all three networks felt that positive impacts had been achieved in these areas. Whilst being involved in a broad network can provide access to a wider range of ideas, these case studies suggest that being involved in a smaller, dense network, with high levels of IP
Math anxiety in second and third graders and its relation to mathematics achievement
Directory of Open Access Journals (Sweden)
Sarah eWu
2012-06-01
Full Text Available Although the detrimental effects of math anxiety in adults are well understood, few studies have examined how it affects younger children who are beginning to learn math in a formal academic setting. Here, we examine the relationship between math anxiety and math achievement in 2nd and 3rd graders. In response to the need for a grade-appropriate measure of assessing math anxiety in this group we first describe the development of Scale for Early Mathematics Anxiety (SEMA, a new measure for assessing math anxiety in 2nd and 3rd graders that is based on the Math Anxiety Rating Scale. We demonstrate the construct validity and reliability of the SEMA and use it to characterize the effect of math anxiety on standardized measures of math abilities, as assessed using the Wechsler Individual Achievement Test (WIAT-II. Math achievement, as measured by the WIAT-II Math Composite score, was significantly and negatively correlated with SEMA but not with trait anxiety scores. Additional analyses showed that SEMA scores were significantly correlated with scores on the Math Reasoning subtest, which involves more complex verbal problem solving, but not with the Numerical Operations subtest which assesses basic computation skills. Our results suggest that math anxiety has a pronounced effect on more demanding calculations. Our results further suggest that math anxiety has an equally detrimental impact on math achievement regardless of whether children have an anxiety related to numbers or to the situational and social experience of doing math. Critically, these effects were unrelated to trait anxiety, providing the first evidence that the specific effects of math anxiety can be detected in the earliest stages of formal math learning in school. Our findings provide new insights into the developmental origins of math anxiety, and further underscore the need to remediate math anxiety and its deleterious effects on math achievement in young children.
Working memory and language: skill-specific or domain-general relations to mathematics?
Purpura, David J; Ganley, Colleen M
2014-06-01
Children's early mathematics skills develop in a cumulative fashion; foundational skills form a basis for the acquisition of later skills. However, non-mathematical factors such as working memory and language skills have also been linked to mathematical development at a broad level. Unfortunately, little research has been conducted to evaluate the specific relations of these two non-mathematical factors to individual aspects of early mathematics. Thus, the focus of this study was to determine whether working memory and language were related to only individual aspects of early mathematics or related to many components of early mathematics skills. A total of 199 4- to 6-year-old preschool and kindergarten children were assessed on a battery of early mathematics tasks as well as measures of working memory and language. Results indicated that working memory has a specific relation to only a few-but critically important-early mathematics skills and language has a broad relation to nearly all early mathematics skills. Copyright © 2014 Elsevier Inc. All rights reserved.
Rethinking logic logic in relation to mathematics, evolution, and method
Cellucci, Carlo
2014-01-01
This book examines the limitations of mathematical logic and proposes a new approach intended to overcome them. Formulates new rules of discovery, such as induction, analogy, generalization, specialization, metaphor, metonymy, definition and diagrams.
Math Anxiety in Second and Third Graders and Its Relation to Mathematics Achievement
Wu, Sarah S.; Barth, Maria; Amin, Hitha; Malcarne, Vanessa; Menon, Vinod
2012-01-01
Although the detrimental effects of math anxiety in adults are well understood, few studies have examined how it affects younger children who are beginning to learn math in a formal academic setting. Here, we examine the relationship between math anxiety and math achievement in second and third graders. In response to the need for a grade-appropriate measure of assessing math anxiety in this group we first describe the development of Scale for Early Mathematics Anxiety (SEMA), a new measure f...
Helma, H.; Mirna, M.; Edizon, E.
2018-04-01
Mathematics is often applied in physics, chemistry, economics, engineering, and others. Besides that, mathematics is also used in everyday life. Learning mathematics in school should be associated with other sciences and everyday life. In this way, the learning of mathematics is more realstic, interesting, and meaningful. Needs analysis shows that required contextual mathematics teaching materials integrated related sciences and realistic on learning mathematics. The purpose of research is to produce a valid and practical contextual mathematics teaching material integrated related sciences and realistic. This research is development research. The result of this research is a valid and practical contextual mathematics teaching material integrated related sciences and realistic produced
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
Reynolds, Thomas D.; And Others
This compilation of 138 problems illustrating applications of high school mathematics to various aspects of space science is intended as a resource from which the teacher may select questions to supplement his regular course. None of the problems require a knowledge of calculus or physics, and solutions are presented along with the problem…
Mathematics ability and related skills in preschoolers born very preterm.
Hasler, Holly M; Akshoomoff, Natacha
2017-12-12
Children born very preterm (VPT) are at risk for academic, behavioral, and/or emotional problems. Mathematics is a particular weakness and better understanding of the relationship between preterm birth and early mathematics ability is needed, particularly as early as possible to aid in early intervention. Preschoolers born VPT (n = 58) and those born full term (FT; n = 29) were administered a large battery of measures within 6 months of beginning kindergarten. A multiple-mediation model was utilized to characterize the difference in skills underlying mathematics ability between groups. Children born VPT performed significantly worse than FT-born children on a measure of mathematics ability as well as full-scale IQ, verbal skills, visual-motor integration, phonological awareness, phonological working memory, motor skills, and executive functioning. Mathematics was significantly correlated with verbal skills, visual-motor integration, phonological processing, and motor skills across both groups. When entered into the mediation model, verbal skills, visual-motor integration, and phonological awareness were significant mediators of the group differences. This analysis provides insights into the pre-academic skills that are weak in preschoolers born VPT and their relationship to mathematics. It is important to identify children who will have difficulties as early as possible, particularly for VPT children who are at higher risk for academic difficulties. Therefore, this model may be used in evaluating VPT children for emerging difficulties as well as an indicator that if other weaknesses are found, an assessment of mathematics should be conducted.
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 ...
Self-concept mediates the relation between achievement and emotions in mathematics.
Van der Beek, Jojanneke P J; Van der Ven, Sanne H G; Kroesbergen, Evelyn H; Leseman, Paul P M
2017-09-01
Mathematics achievement is related to positive and negative emotions. Pekrun's control-value theory of achievement emotions suggests that students' self-concept (i.e., self-appraisal of ability) may be an important mediator of the relation between mathematics achievement and emotions. The aims were (1) to investigate the mediating role of mathematical self-concept in the relation between mathematics achievement and the achievement emotions of enjoyment and anxiety in a comprehensive model, and (2) to test possible differences in this mediating role between low-, average-, and high-achieving students. Participants were ninth-grade students (n = 1,014) from eight secondary schools in the Netherlands. Through an online survey including mathematical problems, students were asked to indicate their levels of mathematics enjoyment, anxiety, and self-concept. Structural equation modelling was used to test the mediating role of self-concept in the relation between mathematics achievement and emotions. Multigroup analyses were performed to compare these relations across the three achievement groups. Results confirmed full mediation of the relation between mathematics achievement and emotions by mathematical self-concept. Furthermore, we found higher self-concepts, more enjoyment and less math anxiety in high-achieving students compared to their average and low-achieving peers. No differences across these achievement groups were found in the relations in the mediational model. Mathematical self-concept plays a pivotal role in students' appraisal of mathematics. Mathematics achievement is only one factor explaining students' self-concept. Likely also classroom instruction and teachers' feedback strategies help to shape students' self-concept. © 2017 The British Psychological Society.
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....
Self-concept mediates the relation between achievement and emotions in mathematics
Van der Beek, Jojanneke P J; Van der Ven, Sanne H G; Kroesbergen, Evelyn H; Leseman, Paul P M
BACKGROUND: Mathematics achievement is related to positive and negative emotions. Pekrun's control-value theory of achievement emotions suggests that students' self-concept (i.e., self-appraisal of ability) may be an important mediator of the relation between mathematics achievement and emotions.
Self-concept mediates the relation between achievement and emotions in mathematics
Beek, J.P.J. van der; Ven, S.H.G. van der; Kroesbergen, E.H.; Leseman, P.P.M.
2017-01-01
Background: Mathematics achievement is related to positive and negative emotions. Pekrun's control-value theory of achievement emotions suggests that students' self-concept (i.e., self-appraisal of ability) may be an important mediator of the relation between mathematics achievement and emotions.
Self-Concept Mediates the Relation between Achievement and Emotions in Mathematics
Van der Beek, Jojanneke P. J.; Van der Ven, Sanne H. G.; Kroesbergen, Evelyn H.; Leseman, Paul P. M.
2017-01-01
Background: Mathematics achievement is related to positive and negative emotions. Pekrun's control-value theory of achievement emotions suggests that students' self-concept (i.e., self-appraisal of ability) may be an important mediator of the relation between mathematics achievement and emotions. Aims: The aims were (1) to investigate the…
Directory of Open Access Journals (Sweden)
Nurullah YAZICI
2017-05-01
Full Text Available This research was conducted in order to examine the subject matter of Mathematics teachers in the context of "Mathematical Knowledge For Teaching" (MKT model of "Basic Concepts in Sets" which is the first topic of the 9th class "Sets". The study group, which is one of the qualitative research methods, used the case study design, constitutes 5 mathematics teachers who work in different education levels (primary and secondary education in the academic year of 2015-2016. Open-ended questions and semi-structured interview form developed by the researcher were used for data collection. A descriptive analysis technique was used to analyze the data obtained through interviews. While analyzing the data, teacher and student textbooks, which were prepared by the Ministry of National Education for the purpose of teaching in 2015-2016 academic year, were taken as a reference. According to the research findings, it was determined that the teachers had deficiencies in the subject field of "Basic Concepts in the Sets" and had superficial knowledge rather than in depth knowledge.
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...
Elevate or Relegate? The Relative Importance of Mathematics
Huckstep, Peter
2007-01-01
The value of any subject on a crowded, contested and compulsory curriculum is, or at least should be, open to debate. More importantly, when different subjects are prioritized over others, the justification for the ranking of such subjects should also be submitted to sustained enquiry. Mathematics enjoys a prestigious place in the English National…
Developmental Relations among Motor and Cognitive Processes and Mathematics Skills
Kim, Helyn; Duran, Chelsea A. K.; Cameron, Claire E.; Grissmer, David
2018-01-01
This study explored transactional associations among visuomotor integration, attention, fine motor coordination, and mathematics skills in a diverse sample of one hundred thirty-five 5-year-olds (kindergarteners) and one hundred nineteen 6-year-olds (first graders) in the United States who were followed over the course of 2 school years.…
Gender: Its relation to Mathematical Creative Thinking Skill
Permatasari, H. R.; Wahyudin, W.
2017-09-01
Mathematical creative thinking skill is one of the most important capabilities in the present century, both for men and women. One of the current issues is about gender and how gender mainstreaming can be realized optimally. The purpose of this study is to determine the comparison of the mathematical creative thinking skill increasing between male and female students after the application of Team Games Tournament (TGT) learning. This research was conducted at 28 students in the 4th grade of an elementary school in Bandung City. The research method used is quasi experiment because it is aimed to test wether there are differences in mathematical creative thinking skill improving between male and female students after being treatment in the form of learnig with TGT. The result of this research is that there is no difference in mathematical creative thinking skill improving between male and female students after the application of TGT learning. It is influenced by some factors such as how the teacher treats male and female with the same treatment in learning process. Recommendation of this research that can be done further research about this topic more deeply. Beside that, the teacher especially in elementary school can use the TGT learning application to reduce the gap between male and female students during the learning process.
Formal scattering theory approach to S-matrix relations in supersymmetric quantum mechanics
International Nuclear Information System (INIS)
Amado, R.D.; Cannata, F.; Dedonder, J.P.
1988-01-01
Combining the methods of scattering theory and supersymmetric quantum mechanics we obtain relations between the S matrix and its supersymmetric partner. These relations involve only asymptotic quantities and do not require knowledge of the dynamical details. For example, for coupled channels with no threshold differences the relations involve the asymptotic normalization constant of the bound state removed by supersymmetry
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…
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...
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.)
Rappa, Natasha Anne; Tang, Kok-Sing
2017-06-01
Agency is a construct facilitating our examination of when and how young people extend their own learning across contexts. However, little is known about the role played by adolescent learners' sense of agency. This paper reports two cases of students' agentively employing and developing science literacy practices—one in Singapore and the other in the USA. The paper illustrates how these two adolescent learners in different ways creatively accessed, navigated and integrated in-school and out-of-school discourses to support and nurture their learning of physics. Data were gleaned from students' work and interviews with students participating in a physics curricular programme in which they made linkages between their chosen out-of-school texts and several physics concepts learnt in school. The students' agentive moves were identified by means of situational mapping, which involved a relational analysis of the students' chosen artefacts and discourses across time and space. This relational analysis enabled us to address questions of student agency—how it can be effected, realised, construed and examined. It highlights possible ways to intervene in these networked relations to facilitate adolescents' agentive moves in their learning endeavours.
Continental extension, magmatism and elevation; formal relations and rules of thumb
Lachenbruch, A.H.; Morgan, P.
1990-01-01
To investigate simplified relations between elevation and the extensional, magmatic and thermal processes that influence lithosphere buoyancy, we assume that the lithosphere floats on an asthenosphere of uniform density and has no flexural strength. A simple graph relating elevation to lithosphere density and thickness provides an overview of expectable conditions around the earth and a simple test for consistancy of continental and oceanic lithosphere models. The mass-balance relations yield simple general rules for estimating elevation changes caused by various tectonic, magmatic and thermal processes without referring to detailed models. The rules are general because they depend principally on buoyancy, which under our assumptions is specified by elevation, a known quantity; they do not generally require a knowledge of lithosphere thickness and density. The elevation of an extended terrain contains important information on its tectonic and magmatic history. In the Great Basin where Cenozoic extension is estimated to be 100%, the present high mean elevation ( ~ 1.75 km) probably requires substantial low-density magmatic contributions to the extending lithosphere. The elevation cannot be reasonably explained solely as the buoyant residue of a very high initial terrane, or of a lithosphere that was initially very thick and subsequently delaminated and heated. Even models with a high initial elevation typically call for 10 km or so of accumulated magmatic material of near-crustal density. To understand the evolution of the Great Basin, it is important to determine whether such intruded material is present; some could replenish the stretching crust by underplating and crustal intrusion and some might reside in the upper mantle. The elevation maintained or approached by an intruded extending lithosphere depends on the ratio B of how fast magma is supplied from the asthenosphere ( b km/Ma) to how fast the lithosphere spreads the magma out by extension (?? Ma-1). For a
International Nuclear Information System (INIS)
McIntosh, C.B.G.; Foyster, J.M.; Lun, A.W.h.
1981-01-01
A list is given of a canonical set of the Newman--Penrose quantities Phi/sub A/B, the tetrad components of the trace-free Ricci tensor, for each Plebanski class according to Plebanski's classification of this tensor. This comparative list can easily be extended to cover the classification in tetrad language of any second-order, trace-free, symmetric tensor in a space-time. A fourth-order tensor which is the product of two such tensors was defined by Plebanski and used in his classification. This has the same symmetries as the Weyl tensor. The Petrov classification of this tensor, here called the Plebanski tensor, is discussed along with the classification of the Ricci tensor. The use of the Plebanski tensor in a couple of areas of general relativity is also briefly discussed
Relation of gauge formalisms for pulsations of general-relativistic stellar models
International Nuclear Information System (INIS)
Price, R.H.; Ipser, J.R.
1991-01-01
There have been two recent reformulations of the equations for even-parity perturbations of general-relativistic stellar models, in both of which fluid perturbation variables are absent in the final set of equations. The recent reformulation by Chandrasekhar and Ferrari uses the diagonal coordinate gauge and leads to a fifth-order system of differential equations; we have recently presented a reformulation, based on the Regge-Wheeler coordinate gauge, which leads to a fourth-order system. The difference in the orders is similar to that for perturbations of Schwarzschild and of Reissner-Nordstroem black holes; in both cases the diagonal-gauge formulation led to a system one degree higher than that for equations based on the Regge-Wheeler gauge. For perturbations of holes, however, the equations could be reduced by one degree. We show that this is the case also for the Chandrasekhar-Ferrari equations for stellar perturbations. More important, we show that the extra degree of freedom, in all descriptions based on the diagonal gauge, is due to the fact that the diagonal gauge is an incomplete constraint on coordinates; a one degree of freedom set of gauge transformations can be made within the diagonal gauge. This previously unnoticed degree of freedom is responsible for the extra degree of freedom in the Chandrasekhar-Ferrari equations, and the related black-hole equations. It also provides an a priori solution with which those equations can be reduced
Numerical relativity for D dimensional axially symmetric space-times: Formalism and code tests
International Nuclear Information System (INIS)
Zilhao, Miguel; Herdeiro, Carlos; Witek, Helvi; Nerozzi, Andrea; Sperhake, Ulrich; Cardoso, Vitor; Gualtieri, Leonardo
2010-01-01
The numerical evolution of Einstein's field equations in a generic background has the potential to answer a variety of important questions in physics: from applications to the gauge-gravity duality, to modeling black hole production in TeV gravity scenarios, to analysis of the stability of exact solutions, and to tests of cosmic censorship. In order to investigate these questions, we extend numerical relativity to more general space-times than those investigated hitherto, by developing a framework to study the numerical evolution of D dimensional vacuum space-times with an SO(D-2) isometry group for D≥5, or SO(D-3) for D≥6. Performing a dimensional reduction on a (D-4) sphere, the D dimensional vacuum Einstein equations are rewritten as a 3+1 dimensional system with source terms, and presented in the Baumgarte, Shapiro, Shibata, and Nakamura formulation. This allows the use of existing 3+1 dimensional numerical codes with small adaptations. Brill-Lindquist initial data are constructed in D dimensions and a procedure to match them to our 3+1 dimensional evolution equations is given. We have implemented our framework by adapting the Lean code and perform a variety of simulations of nonspinning black hole space-times. Specifically, we present a modified moving puncture gauge, which facilitates long-term stable simulations in D=5. We further demonstrate the internal consistency of the code by studying convergence and comparing numerical versus analytic results in the case of geodesic slicing for D=5, 6.
The dialectic relation between physics and mathematics in the XIXth century
Pisano, Raffaele
2013-01-01
The aim of this book is to analyse historical problems related to the use of mathematics in physics as well as to the use of physics in mathematics and to investigate Mathematical Physics as precisely the new discipline which is concerned with this dialectical link itself. So the main question is: When and why did the tension between mathematics and physics, explicitly practised at least since Galileo, evolve into such a new scientific theory? The authors explain the various ways in which this science allowed an advanced mathematical modelling in physics on the one hand, and the invention of new mathematical ideas on the other hand. Of course this problem is related to the links between institutions, universities, schools for engineers, and industries, and so it has social implications as well. The link by which physical ideas had influenced the world of mathematics was not new in the 19th century, but it came to a kind of maturity at that time. Recently, much historical research has been done into math...
Schonberger, Ann K.
A study was conducted at the University of Maine at Orono (UMO) to examine gender differences with respect to mathematical problem-solving ability, visual spatial ability, abstract reasoning ability, field independence/dependence, independent learning style, and developmental problem-solving ability (i.e., formal reasoning ability). Subjects…
Boaler, Jo
1994-01-01
Reports on a study of the move away from abstract calculations toward "mathematics in context" among 50 British female secondary school students. Discusses implications of findings in relation to reported female underachievement and disinterest in school mathematics. (CFR)
Kucian, Karin; Zuber, Isabelle; Kohn, Juliane; Poltz, Nadine; Wyschkon, Anne; Esser, Günter; von Aster, Michael
2018-01-01
Many children show negative emotions related to mathematics and some even develop mathematics anxiety. The present study focused on the relation between negative emotions and arithmetical performance in children with and without developmental dyscalculia (DD) using an affective priming task. Previous findings suggested that arithmetic performance is influenced if an affective prime precedes the presentation of an arithmetic problem. In children with DD specifically, responses to arithmetic operations are supposed to be facilitated by both negative and mathematics-related primes (= negative math priming effect ).We investigated mathematical performance, math anxiety, and the domain-general abilities of 172 primary school children (76 with DD and 96 controls). All participants also underwent an affective priming task which consisted of the decision whether a simple arithmetic operation (addition or subtraction) that was preceded by a prime (positive/negative/neutral or mathematics-related) was true or false. Our findings did not reveal a negative math priming effect in children with DD. Furthermore, when considering accuracy levels, gender, or math anxiety, the negative math priming effect could not be replicated. However, children with DD showed more math anxiety when explicitly assessed by a specific math anxiety interview and showed lower mathematical performance compared to controls. Moreover, math anxiety was equally present in boys and girls, even in the earliest stages of schooling, and interfered negatively with performance. In conclusion, mathematics is often associated with negative emotions that can be manifested in specific math anxiety, particularly in children with DD. Importantly, present findings suggest that in the assessed age group, it is more reliable to judge math anxiety and investigate its effects on mathematical performance explicitly by adequate questionnaires than by an affective math priming task.
Directory of Open Access Journals (Sweden)
Karin Kucian
2018-04-01
Full Text Available Many children show negative emotions related to mathematics and some even develop mathematics anxiety. The present study focused on the relation between negative emotions and arithmetical performance in children with and without developmental dyscalculia (DD using an affective priming task. Previous findings suggested that arithmetic performance is influenced if an affective prime precedes the presentation of an arithmetic problem. In children with DD specifically, responses to arithmetic operations are supposed to be facilitated by both negative and mathematics-related primes (=negative math priming effect.We investigated mathematical performance, math anxiety, and the domain-general abilities of 172 primary school children (76 with DD and 96 controls. All participants also underwent an affective priming task which consisted of the decision whether a simple arithmetic operation (addition or subtraction that was preceded by a prime (positive/negative/neutral or mathematics-related was true or false. Our findings did not reveal a negative math priming effect in children with DD. Furthermore, when considering accuracy levels, gender, or math anxiety, the negative math priming effect could not be replicated. However, children with DD showed more math anxiety when explicitly assessed by a specific math anxiety interview and showed lower mathematical performance compared to controls. Moreover, math anxiety was equally present in boys and girls, even in the earliest stages of schooling, and interfered negatively with performance. In conclusion, mathematics is often associated with negative emotions that can be manifested in specific math anxiety, particularly in children with DD. Importantly, present findings suggest that in the assessed age group, it is more reliable to judge math anxiety and investigate its effects on mathematical performance explicitly by adequate questionnaires than by an affective math priming task.
Kucian, Karin; Zuber, Isabelle; Kohn, Juliane; Poltz, Nadine; Wyschkon, Anne; Esser, Günter; von Aster, Michael
2018-01-01
Many children show negative emotions related to mathematics and some even develop mathematics anxiety. The present study focused on the relation between negative emotions and arithmetical performance in children with and without developmental dyscalculia (DD) using an affective priming task. Previous findings suggested that arithmetic performance is influenced if an affective prime precedes the presentation of an arithmetic problem. In children with DD specifically, responses to arithmetic operations are supposed to be facilitated by both negative and mathematics-related primes (=negative math priming effect).We investigated mathematical performance, math anxiety, and the domain-general abilities of 172 primary school children (76 with DD and 96 controls). All participants also underwent an affective priming task which consisted of the decision whether a simple arithmetic operation (addition or subtraction) that was preceded by a prime (positive/negative/neutral or mathematics-related) was true or false. Our findings did not reveal a negative math priming effect in children with DD. Furthermore, when considering accuracy levels, gender, or math anxiety, the negative math priming effect could not be replicated. However, children with DD showed more math anxiety when explicitly assessed by a specific math anxiety interview and showed lower mathematical performance compared to controls. Moreover, math anxiety was equally present in boys and girls, even in the earliest stages of schooling, and interfered negatively with performance. In conclusion, mathematics is often associated with negative emotions that can be manifested in specific math anxiety, particularly in children with DD. Importantly, present findings suggest that in the assessed age group, it is more reliable to judge math anxiety and investigate its effects on mathematical performance explicitly by adequate questionnaires than by an affective math priming task.
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; ...
General relativity and mathematics; Relatividad General y Matematicas
Energy Technology Data Exchange (ETDEWEB)
Mars, M.
2015-07-01
General relativity is more than a theory of gravity, since any physical process occupies space and lasts for a time, forcing to reconcile that physical theory that describes what the dynamic nature of space-time itself. (Author)
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.
On the mathematical theory of classical fields and general relativity
Klainerman, S
1993-01-01
From the perspective of an analyst, like myself, the General Theory of Relativity provides an extrordinary rich and vastly virgin territory. It is the aim of my lecture to provide, ﬁrst, an account of those aspects of the theory which attract me most and second a perspective of what has been accomplished so far in that respect. In trying to state our main objectives it helps to view General Relativity in the broader context of Classical Field Theory. EinsteiniVacuum equations, or shortly E—V, is already sufﬁciently complicated. I will thus restrict my attention to them.
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.
An Out-of-Math Experience: Einstein, Relativity, and the Developmental Mathematics Student.
Fiore, Greg
2000-01-01
Discusses Einstein's special relativity theory and some of the developmental mathematics involved. Presents motivational classroom materials used in discussing relative-motion problems, evaluating a radical expression, graphing with asymptotes, interpreting a graph, studying variation, and solving literal and radical equations. (KHR)
Angelov, Kiril; Kaynakchieva, Vesela
2017-12-01
The aim of the current study is to research and analyze Mathematical model for research and analyze of relations and functions between enterprises, members of cluster, and its approbation in given cluster. Subject of the study are theoretical mechanisms for the definition of mathematical models for research and analyze of relations and functions between enterprises, members of cluster. Object of the study are production enterprises, members of cluster. Results of this study show that described theoretical mathematical model is applicable for research and analyze of functions and relations between enterprises, members of cluster from different industrial sectors. This circumstance creates alternatives for election of cluster, where is experimented this model for interaction improvement between enterprises, members of cluster.
Crocker, Nicole; Riley, Edward P; Mattson, Sarah N
2015-01-01
The current study examined the relationship between mathematics and attention, working memory, and visual memory in children with heavy prenatal alcohol exposure and controls. Subjects were 56 children (29 AE, 27 CON) who were administered measures of global mathematics achievement (WRAT-3 Arithmetic & WISC-III Written Arithmetic), attention, (WISC-III Digit Span forward and Spatial Span forward), working memory (WISC-III Digit Span backward and Spatial Span backward), and visual memory (CANTAB Spatial Recognition Memory and Pattern Recognition Memory). The contribution of cognitive domains to mathematics achievement was analyzed using linear regression techniques. Attention, working memory, and visual memory data were entered together on Step 1 followed by group on Step 2, and the interaction terms on Step 3. Model 1 accounted for a significant amount of variance in both mathematics achievement measures; however, model fit improved with the addition of group on Step 2. Significant predictors of mathematics achievement were Spatial Span forward and backward and Spatial Recognition Memory. These findings suggest that deficits in spatial processing may be related to math impairments seen in FASD. In addition, prenatal alcohol exposure was associated with deficits in mathematics achievement, above and beyond the contribution of general cognitive abilities. PsycINFO Database Record (c) 2015 APA, all rights reserved.
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
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....
Directory of Open Access Journals (Sweden)
Afsaneh Poorang
2014-03-01
Full Text Available In the creation of substances for developing and thinking of cognitive levels in mathematics from elementary course and recognizing effective variables of all external factors of mathematics, researchers have considered through designing hypothesis and effort to find the relation of reading literacy level and cognitive levels in mathematics of fourth grade among girls and boys and cognitive capacities of them in Tehran. The evaluation of reading literacy with the definition of comprehension process as index in surface layers spectrum such as focusing and reviewing information that are be stated in text and directive induction has organized. On other hands, mathematics evaluation has implemented for both content and cognitive dimensions. Research process has formed with selecting eight schools and in two tests. Reading literacy tests with the aim of evaluation of comprehension process and math test with the aim of the evaluation of cognitive levels have implemented for two classes of each schools. Research hypotheses have tested based on researching positive correlative between surface layers of comprehension with cognitive levels in mathematics meaningfully that have organized in three levels of knowing, application and reasoning. Instrumentation of the performance of comprehension have included two literary-information texts of PIRLS test 2011 and the collection of two respected notebooks and instrumentation of performance of cognitive levels in mathematics such as on notebook of TIMSS 2011. The procedure of testing hypotheses with Spearman correlative coefficient method have performed that all hypotheses have accepted meaningfully. Therefore, there is significant and directive relation between comprehension processes as reading literacy with cognitive capacities of students in mathematics of fourth grade.
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.
Stoet, Gijsbert; Bailey, Drew H; Moore, Alex M; Geary, David C
2016-01-01
Despite international advancements in gender equality across a variety of societal domains, the underrepresentation of girls and women in Science, Technology, Engineering, and Mathematics (STEM) related fields persists. In this study, we explored the possibility that the sex difference in mathematics anxiety contributes to this disparity. More specifically, we tested a number of predictions from the prominent gender stratification model, which is the leading psychological theory of cross-national patterns of sex differences in mathematics anxiety and performance. To this end, we analyzed data from 761,655 15-year old students across 68 nations who participated in the Programme for International Student Assessment (PISA). Most importantly and contra predictions, we showed that economically developed and more gender equal countries have a lower overall level of mathematics anxiety, and yet a larger national sex difference in mathematics anxiety relative to less developed countries. Further, although relatively more mothers work in STEM fields in more developed countries, these parents valued, on average, mathematical competence more in their sons than their daughters. The proportion of mothers working in STEM was unrelated to sex differences in mathematics anxiety or performance. We propose that the gender stratification model fails to account for these national patterns and that an alternative model is needed. In the discussion, we suggest how an interaction between socio-cultural values and sex-specific psychological traits can better explain these patterns. We also discuss implications for policies aiming to increase girls' STEM participation.
2016-01-01
Despite international advancements in gender equality across a variety of societal domains, the underrepresentation of girls and women in Science, Technology, Engineering, and Mathematics (STEM) related fields persists. In this study, we explored the possibility that the sex difference in mathematics anxiety contributes to this disparity. More specifically, we tested a number of predictions from the prominent gender stratification model, which is the leading psychological theory of cross-national patterns of sex differences in mathematics anxiety and performance. To this end, we analyzed data from 761,655 15-year old students across 68 nations who participated in the Programme for International Student Assessment (PISA). Most importantly and contra predictions, we showed that economically developed and more gender equal countries have a lower overall level of mathematics anxiety, and yet a larger national sex difference in mathematics anxiety relative to less developed countries. Further, although relatively more mothers work in STEM fields in more developed countries, these parents valued, on average, mathematical competence more in their sons than their daughters. The proportion of mothers working in STEM was unrelated to sex differences in mathematics anxiety or performance. We propose that the gender stratification model fails to account for these national patterns and that an alternative model is needed. In the discussion, we suggest how an interaction between socio-cultural values and sex-specific psychological traits can better explain these patterns. We also discuss implications for policies aiming to increase girls’ STEM participation. PMID:27100631
International Nuclear Information System (INIS)
Hebenstreit, F.; Alkofer, R.; Gies, H.
2010-01-01
The nonperturbative electron-positron pair production (Schwinger effect) is considered for space- and time-dependent electric fields E-vector(x-vector,t). Based on the Dirac-Heisenberg-Wigner formalism, we derive a system of partial differential equations of infinite order for the 16 irreducible components of the Wigner function. In the limit of spatially homogeneous fields the Vlasov equation of quantum kinetic theory is rediscovered. It is shown that the quantum kinetic formalism can be exactly solved in the case of a constant electric field E(t)=E 0 and the Sauter-type electric field E(t)=E 0 sech 2 (t/τ). These analytic solutions translate into corresponding expressions within the Dirac-Heisenberg-Wigner formalism and allow to discuss the effect of higher derivatives. We observe that spatial field variations typically exert a strong influence on the components of the Wigner function for large momenta or for late times.
Fazio, Lisa K.; Bailey, Drew H.; Thompson, Clarissa A.; Siegler, Robert S.
2014-01-01
We examined relations between symbolic and non-symbolic numerical magnitude representations, between whole number and fraction representations, and between these representations and overall mathematics achievement in fifth graders. Fraction and whole number symbolic and non-symbolic numerical magnitude understandings were measured using both…
Phillips, Beth M.; Morse, Erika E.
2011-01-01
This paper presents findings from a stratified-random survey of family child care providers' backgrounds, caregiving environments, practices, attitudes, and knowledge related to language, literacy, and mathematics development for preschool children. Descriptive results are consistent with prior studies suggesting that home-based providers are…
The Relation between Parental Involvement and Math Anxiety: Implications for Mathematics Achievement
Roberts, Steven O.; Vukovic, Rose K.
2011-01-01
Previous research served as the platform for this study's research question: Does math anxiety mediate the relation between parental involvement and mathematics achievement? The primary purpose of this study was to examine this mediation model in a sample of at-risk second graders. Due to previous research, the investigators hypothesized that math…
Baldaqui Escandell, Josep M.
2011-01-01
What is the relationship between the awareness of linguistic prestige and the security or insecurity in the use of minoritised languages? Is formal linguistic insecurity (as initially described by Labov) the same as the speakers' perception of linguistic insecurity? Which are the variables related to the various types of linguistic insecurity in…
Rouhiainen, Henna; Vuorisalo, Timo
2014-01-01
So far the research on historical environment-related education has focused on scientific rather than "humanistic" (including Romantic and religious) educational approaches and ideologies. In the field of non-formal education implemented by associations these have, however, been common. We used content analysis to study two membership…
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
Hassinger-Das, Brenna; Jordan, Nancy C.; Glutting, Joseph; Irwin, Casey; Dyson, Nancy
2013-01-01
Domain general skills that mediate the relation between kindergarten number sense and first-grade mathematics skills were investigated. Participants were 107 children who displayed low number sense in the fall of kindergarten. Controlling for background variables, multiple regression analyses showed that attention problems and executive functioning both were unique predictors of mathematics outcomes. Attention problems were more important for predicting first-grade calculation performance while executive functioning was more important for predicting first-grade performance on applied problems. Moreover, both executive functioning and attention problems were unique partial mediators of the relationship between kindergarten and first-grade mathematics skills. The results provide empirical support for developing interventions that target executive functioning and attention problems in addition to instruction in number skills for kindergartners with initial low number sense. PMID:24237789
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.
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…
Problem solving of student with visual impairment related to mathematical literacy problem
Pratama, A. R.; Saputro, D. R. S.; Riyadi
2018-04-01
The student with visual impairment, total blind category depends on the sense of touch and hearing in obtaining information. In fact, the two senses can receive information less than 20%. Thus, students with visual impairment of the total blind categories in the learning process must have difficulty, including learning mathematics. This study aims to describe the problem-solving process of the student with visual impairment, total blind category on mathematical literacy issues based on Polya phase. This research using test method similar problems mathematical literacy in PISA and in-depth interviews. The subject of this study was a student with visual impairment, total blind category. Based on the result of the research, problem-solving related to mathematical literacy based on Polya phase is quite good. In the phase of understanding the problem, the student read about twice by brushing the text and assisted with information through hearing three times. The student with visual impairment in problem-solving based on the Polya phase, devising a plan by summoning knowledge and experience gained previously. At the phase of carrying out the plan, students with visual impairment implement the plan in accordance with pre-made. In the looking back phase, students with visual impairment need to check the answers three times but have not been able to find a way.
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.
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
The Relations between Working Memory and Mathematics Achievement of Children in the Primary Grades
Tzoneva, Irina Staykova
2015-01-01
This study investigated the predictive relations between working memory in Kindergarten and mathematics achievement in first and second grade. The research is underpinned by Baddeley’s model of working memory (Baddeley & Hitch, 1974; Baddeley, 1986, 1996, 2000) and places particular emphasis on the roles of the central executive and the phonological loop components of the working memory system. A sample consisted of 92 participants (age range: 4 years, 4 months to 6 years, 5 months). Meas...
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...
Energy Technology Data Exchange (ETDEWEB)
Prior, C R [Cambridge Univ. (UK). Dept. of Applied Mathematics and Theoretical Physics
1977-06-27
Angular momentum in axisymmetric space-times is investigated. The conclusions lead to a general definition suitable for all asymptotically-flat spaces which is valid both at infinity and on the event horizon of a black hole. This first paper restricts attention to considerations at infinity. Working in terms of the spin coefficient formalism, the field equations are solved asymptotically at large distances and the definition is evaluated. A conservation law is derived and finally the effect on the angular momentum of a supertranslation of the coordinates is discussed.
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.
Directory of Open Access Journals (Sweden)
Laura NISTOR
2011-10-01
Full Text Available Firstly, we investigate the structure of social capital based on several indicators selected on the basis of the European Social Survey’s 2006 wave for Romania. Secondly, the role of informal social interaction and some individual-level sociodemographical variables in determining formal, informal and community level volunteering is analyzed. The third part of the analysis investigates the role of these types of social capital in producing various forms of trust. The results of the analyses resulted in two specific variables, for informal and informal social capital: the former consists in variables accounting for informal networking with closer ties, while the latter consists in variables accounting for different kinds of voluntary activities. Regarding the cognitive dimension of social trust, we succeeded to separate specific types of trust. Once controlling for socio-demographics and religiosity, schmoozing exercises significant, positive influence only on formal volunteering. Our results suggest that the profile of those involved in the specific forms of volunteering is quite similar in at least two aspects: it seems that compared to the youngest age category, middle aged individuals are less involved in volunteering; compared to the lower educated respondents those who are medium and upper level educated people are the most involved in each types of volunteering.
Directory of Open Access Journals (Sweden)
Luciana Cardoso Siqueira Ambrozini
Full Text Available Abstract The literature indicates that the use of formal and relational governance structures have a fundamental role in the conduct and maintenance of inter-organizational relationships. Nevertheless, there are possibilities for discussions about the composition and function of these structures in the presence of different transactional characteristics. Thus, a model based on the literatures of formal contracts, inter-organizational relationships, Relational Contract Theory, and Transaction Cost Economics is proposed. Since this is a qualitative exploratory research, six structured interviews were carried out and interpreted by means of Content Analysis for case comparison and discussion of theoretical propositions. It was observed that some transactional characteristics, when present with greater intensity in the context of a transaction, tend to corroborate the theoretical propositions of formal contractual function, demonstrating that the intensity of these characteristics is a relevant factor for analyzing the adequacy of governance structures. Likewise, the use of different relational norms presents variations within each characteristic analyzed. Other aspects explored in the Content Analysis are suggested in the composition of the analysis model. The propositions explored regarding the composition of the transaction context and the complementarity of governance structure of inter-organizational relationships are also discussed.
Directory of Open Access Journals (Sweden)
Hyun M Yang
2001-06-01
Full Text Available OBJECTIVE: Sensitivity analysis was applied to a mathematical model describing malaria transmission relating global warming and local socioeconomic conditions. METHODS: A previous compartment model was proposed to describe the overall transmission of malaria. This model was built up on several parameters and the prevalence of malaria in a community was characterized by the values assigned to them. To assess the control efforts, the model parameters can vary on broad intervals. RESULTS: By performing the sensitivity analysis on equilibrium points, which represent the level of malaria infection in a community, the different possible scenarios are obtained when the parameters are changed. CONCLUSIONS: Depending on malaria risk, the efforts to control its transmission can be guided by a subset of parameters used in the mathematical model.
Early Foundations for Mathematics Learning and Their Relations to Learning Disabilities.
Geary, David C
2013-02-01
Children's quantitative competencies upon entry into school can have lifelong consequences. Children who start behind generally stay behind, and mathematical skills at school completion influence employment prospects and wages in adulthood. I review the current debate over whether early quantitative learning is supported by (a) an inherent system for representing approximate magnitudes, (b) an attentional-control system that enables explicit processing of quantitative symbols, such as Arabic numerals, or (c) the logical problem-solving abilities that facilitate learning of the relations among numerals. Studies of children with mathematical learning disabilities and difficulties have suggested that each of these competencies may be involved, but to different degrees and at different points in the learning process. Clarifying how and when these competencies facilitate early quantitative learning and developing interventions to address their impact on children have the potential to yield substantial benefits for individuals and for society.
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.
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…
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)
Relation between brain architecture and mathematical ability in children: a DBM study.
Han, Zhaoying; Davis, Nicole; Fuchs, Lynn; Anderson, Adam W; Gore, John C; Dawant, Benoit M
2013-12-01
Population-based studies indicate that between 5 and 9 percent of US children exhibit significant deficits in mathematical reasoning, yet little is understood about the brain morphological features related to mathematical performances. In this work, deformation-based morphometry (DBM) analyses have been performed on magnetic resonance images of the brains of 79 third graders to investigate whether there is a correlation between brain morphological features and mathematical proficiency. Group comparison was also performed between Math Difficulties (MD-worst math performers) and Normal Controls (NC), where each subgroup consists of 20 age and gender matched subjects. DBM analysis is based on the analysis of the deformation fields generated by non-rigid registration algorithms, which warp the individual volumes to a common space. To evaluate the effect of registration algorithms on DBM results, five nonrigid registration algorithms have been used: (1) the Adaptive Bases Algorithm (ABA); (2) the Image Registration Toolkit (IRTK); (3) the FSL Nonlinear Image Registration Tool; (4) the Automatic Registration Tool (ART); and (5) the normalization algorithm available in SPM8. The deformation field magnitude (DFM) was used to measure the displacement at each voxel, and the Jacobian determinant (JAC) was used to quantify local volumetric changes. Results show there are no statistically significant volumetric differences between the NC and the MD groups using JAC. However, DBM analysis using DFM found statistically significant anatomical variations between the two groups around the left occipital-temporal cortex, left orbital-frontal cortex, and right insular cortex. Regions of agreement between at least two algorithms based on voxel-wise analysis were used to define Regions of Interest (ROIs) to perform an ROI-based correlation analysis on all 79 volumes. Correlations between average DFM values and standard mathematical scores over these regions were found to be significant
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.)
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.
Skwarchuk, Sheri-Lynn; Sowinski, Carla; LeFevre, Jo-Anne
2014-05-01
The purpose of this study was to propose and test a model of children's home numeracy experience based on Sénéchal and LeFevre's home literacy model (Child Development, 73 (2002) 445-460). Parents of 183 children starting kindergarten in the fall (median child age=58 months) completed an early home learning experiences questionnaire. Most of the children whose parents completed the questionnaire were recruited for numeracy and literacy testing 1 year later (along with 32 children from the inner city). Confirmatory factor analyses were used to reduce survey items, and hierarchical regression analyses were used to predict the relation among parents' attitudes, academic expectations for their children, reports of formal and informal numeracy, and literacy home practices on children's test scores. Parental reports of formal home numeracy practices (e.g., practicing simple sums) predicted children's symbolic number system knowledge, whereas reports of informal exposure to games with numerical content (measured indirectly through parents' knowledge of children's games) predicted children's non-symbolic arithmetic, as did numeracy attitudes (e.g., parents' enjoyment of numeracy). The home literacy results replicated past findings; parental reports of formal literacy practices (e.g., helping their children to read words) predicted children's word reading, whereas reports of informal experiences (i.e., frequency of shared reading measured indirectly through parents' storybook knowledge) predicted children's vocabulary. These findings support a multifaceted model of children's early numeracy environment, with different types of early home experiences (formal and informal) predicting different numeracy outcomes. Copyright © 2013 Elsevier Inc. All rights reserved.
A model of theory-practice relations in mathematics teacher education
DEFF Research Database (Denmark)
Østergaard, Kaj
2016-01-01
The paper presents and discusses an ATD based (Chevallard, 2012) model of theory-practice relations in mathematics teacher education. The notions of didactic transposition and praxeology are combined and concretized in order to form a comprehensive model for analysing the theory......-practice problematique. It is illustrated how the model can be used both as a descriptive tool to analyse interactions between and interviews with student teachers and teachers and as a normative tool to design and redesign learning environments in teacher education in this case a lesson study context....
Khamidullin, R. I.
2018-05-01
The paper is devoted to milestones of the optimal mathematical model for a business process related to cost estimate documentation compiled during construction and reconstruction of oil and gas facilities. It describes the study and analysis of fundamental issues in petroleum industry, which are caused by economic instability and deterioration of a business strategy. Business process management is presented as business process modeling aimed at the improvement of the studied business process, namely main criteria of optimization and recommendations for the improvement of the above-mentioned business model.
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
de Paula, Jonas Jardim; Costa, Mônica Vieira; Bocardi, Matheus Bortolosso; Cortezzi, Mariana; De Moraes, Edgar Nunes; Malloy-Diniz, Leandro Fernandes
2013-12-01
The assessment of visuospatial abilities is usually performed by drawing tasks. In patients with very low formal education, the use of these tasks might be biased by their cultural background. The Stick Design Test was developed for the assessment of this population. We aim to expand the test psychometric properties by assessing its construct, criterion-related and ecological validity in older adults with low formal education. Healthy older adults (n = 63) and Alzheimer's disease patients (n = 92) performed the Stick Design Test, Mini-Mental State Examination, Digit Span Forward and the Clock Drawing Test. Their caregivers answered Personal Care and Instrumental Activities of Daily Living). Construct validity was assessed by factor analysis, convergent correlations (with the Clock Drawing Test), and divergent correlations (with Digit Span Forward); criterion-related validity by receiver operating characteristic curve analysis and binary logistic regression; and Ecological validity by correlations with ADL. The test factor structure was composed by one component (R 2 = 64%). Significant correlations with the Clock Drawing Test and Digit Span Forward were found, and the relationship was stronger with the first measure. The test was less associated with formal education than the Clock Drawing Test. It classified about 76% of the participants correctly and had and additive effect with the Mini-Mental State Examination (84% of correct classification). The test also correlated significantly with measures of ADL, suggesting ecological validity. The Stick Design Test shows evidence of construct, criterion-related and ecological validity. It is an interesting alternative to drawing tasks for the assessment of visuospatial abilities.
LeBeau, Brandon; Harwell, Michael; Monson, Debra; Dupuis, Danielle; Medhanie, Amanuel; Post, Thomas R.
2012-04-01
Background: The importance of increasing the number of US college students completing degrees in science, technology, engineering or mathematics (STEM) has prompted calls for research to provide a better understanding of factors related to student participation in these majors, including the impact of a student's high-school mathematics curriculum. Purpose: This study examines the relationship between various student and high-school characteristics and completion of a STEM major in college. Of specific interest is the influence of a student's high-school mathematics curriculum on the completion of a STEM major in college. Sample: The sample consisted of approximately 3500 students from 229 high schools. Students were predominantly Caucasian (80%), with slightly more males than females (52% vs 48%). Design and method: A quasi-experimental design with archival data was used for students who enrolled in, and graduated from, a post-secondary institution in the upper Midwest. To be included in the sample, students needed to have completed at least three years of high-school mathematics. A generalized linear mixed model was used with students nested within high schools. The data were cross-sectional. Results: High-school predictors were not found to have a significant impact on the completion of a STEM major. Significant student-level predictors included ACT mathematics score, gender and high-school mathematics GPA. Conclusions: The results provide evidence that on average students are equally prepared for the rigorous mathematics coursework regardless of the high-school mathematics curriculum they completed.
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.
DEFF Research Database (Denmark)
Zambach, Sine
2009-01-01
Relations used in biomedical ontologies and expressed in biomedical texts can be very general or very specific. Regulatory relations are used widely in regulatory networks, for example, and therefore they appear systematically and highly frequently in biomedical texts. This work focuses on the lo......Relations used in biomedical ontologies and expressed in biomedical texts can be very general or very specific. Regulatory relations are used widely in regulatory networks, for example, and therefore they appear systematically and highly frequently in biomedical texts. This work focuses...
Czech Academy of Sciences Publication Activity Database
Outrata, Jiří; Henrion, R.; Surowiec, T.
2010-01-01
Roč. 46, č. 3 (2010), s. 423-434 ISSN 0023-5954 R&D Projects: GA AV ČR IAA100750802 Institutional research plan: CEZ:AV0Z10750506 Keywords : mathematical programs with equilibrium constraints * S-stationary points * M-stationary points * Frechet normal cone * limiting normal cone Subject RIV: BA - General Mathematics Impact factor: 0.461, year: 2010 http://library.utia.cas.cz/separaty/2010/MTR/outrata-a note on the relation between strong and m-stationarity for a class of mathematical programs with equilibrium constraints.pdf
Stripling, Christopher T.; Roberts, T. Grady
2013-01-01
The purpose of this exploratory study was to investigate the relationships between mathematics ability, personal mathematics efficacy, mathematics teaching efficacy, personal teaching efficacy, and background characteristics of preservice agricultural education teachers. Data were collected for two years at the University of Florida. Fourteen…
Lein, Amy E.; Jitendra, Asha K.; Starosta, Kristin M.; Dupuis, Danielle N.; Hughes-Reid, Cheyenne L.; Star, Jon R.
2016-01-01
In this study, the authors assessed the contribution of engagement (on-task behavior) to the mathematics problem-solving performance of seventh-grade students after accounting for prior mathematics achievement. A subsample of seventh-grade students in four mathematics classrooms (one high-, two average-, and one low-achieving) from a larger…
Blömeke, Sigrid; Thiel, Oliver; Jenssen, Lars
2018-01-01
This article examines the stability of Norwegian prospective preschool teachers’ enjoyment of mathematics and their mathematics-related self-efficacy before, during, and after a teacher-education examination. In addition, the stability of the two constructs across countries was examined through a comparison with Germany. The data revealed partial stability (technically speaking, metric invariance) of enjoyment but not of self-efficacy. Self-efficacy increased significantly before and after th...
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...
Cao, Zhoujian; Han, Wen-Biao
2017-08-01
Binary black hole systems are among the most important sources for gravitational wave detection. They are also good objects for theoretical research for general relativity. A gravitational waveform template is important to data analysis. An effective-one-body-numerical-relativity (EOBNR) model has played an essential role in the LIGO data analysis. For future space-based gravitational wave detection, many binary systems will admit a somewhat orbit eccentricity. At the same time, the eccentric binary is also an interesting topic for theoretical study in general relativity. In this paper, we construct the first eccentric binary waveform model based on an effective-one-body-numerical-relativity framework. Our basic assumption in the model construction is that the involved eccentricity is small. We have compared our eccentric EOBNR model to the circular one used in the LIGO data analysis. We have also tested our eccentric EOBNR model against another recently proposed eccentric binary waveform model; against numerical relativity simulation results; and against perturbation approximation results for extreme mass ratio binary systems. Compared to numerical relativity simulations with an eccentricity as large as about 0.2, the overlap factor for our eccentric EOBNR model is better than 0.98 for all tested cases, including spinless binary and spinning binary, equal mass binary, and unequal mass binary. Hopefully, our eccentric model can be the starting point to develop a faithful template for future space-based gravitational wave detectors.
Roessger, Kevin M.
2013-01-01
In work-related, instrumental learning contexts the role of reflective activities is unclear. Kolb's (1985) experiential learning theory and Mezirow's transformative learning theory (2000) predict skill-adaptation as a possible outcome. This prediction was experimentally explored by manipulating reflective activities and assessing participants'…
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.
Dependence of the firearm-related homicide rate on gun availability: a mathematical analysis.
Wodarz, Dominik; Komarova, Natalia L
2013-01-01
In the USA, the relationship between the legal availability of guns and the firearm-related homicide rate has been debated. It has been argued that unrestricted gun availability promotes the occurrence of firearm-induced homicides. It has also been pointed out that gun possession can protect potential victims when attacked. This paper provides a first mathematical analysis of this tradeoff, with the goal to steer the debate towards arguing about assumptions, statistics, and scientific methods. The model is based on a set of clearly defined assumptions, which are supported by available statistical data, and is formulated axiomatically such that results do not depend on arbitrary mathematical expressions. According to this framework, two alternative scenarios can minimize the gun-related homicide rate: a ban of private firearms possession, or a policy allowing the general population to carry guns. Importantly, the model identifies the crucial parameters that determine which policy minimizes the death rate, and thus serves as a guide for the design of future epidemiological studies. The parameters that need to be measured include the fraction of offenders that illegally possess a gun, the degree of protection provided by gun ownership, and the fraction of the population who take up their right to own a gun and carry it when attacked. Limited data available in the literature were used to demonstrate how the model can be parameterized, and this preliminary analysis suggests that a ban of private firearm possession, or possibly a partial reduction in gun availability, might lower the rate of firearm-induced homicides. This, however, should not be seen as a policy recommendation, due to the limited data available to inform and parameterize the model. However, the model clearly defines what needs to be measured, and provides a basis for a scientific discussion about assumptions and data.
Dependence of the firearm-related homicide rate on gun availability: a mathematical analysis.
Directory of Open Access Journals (Sweden)
Dominik Wodarz
Full Text Available In the USA, the relationship between the legal availability of guns and the firearm-related homicide rate has been debated. It has been argued that unrestricted gun availability promotes the occurrence of firearm-induced homicides. It has also been pointed out that gun possession can protect potential victims when attacked. This paper provides a first mathematical analysis of this tradeoff, with the goal to steer the debate towards arguing about assumptions, statistics, and scientific methods. The model is based on a set of clearly defined assumptions, which are supported by available statistical data, and is formulated axiomatically such that results do not depend on arbitrary mathematical expressions. According to this framework, two alternative scenarios can minimize the gun-related homicide rate: a ban of private firearms possession, or a policy allowing the general population to carry guns. Importantly, the model identifies the crucial parameters that determine which policy minimizes the death rate, and thus serves as a guide for the design of future epidemiological studies. The parameters that need to be measured include the fraction of offenders that illegally possess a gun, the degree of protection provided by gun ownership, and the fraction of the population who take up their right to own a gun and carry it when attacked. Limited data available in the literature were used to demonstrate how the model can be parameterized, and this preliminary analysis suggests that a ban of private firearm possession, or possibly a partial reduction in gun availability, might lower the rate of firearm-induced homicides. This, however, should not be seen as a policy recommendation, due to the limited data available to inform and parameterize the model. However, the model clearly defines what needs to be measured, and provides a basis for a scientific discussion about assumptions and data.
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 ...
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
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)
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
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
Frank, T. D.
The Lotka-Volterra-Haken equations have been frequently used in ecology and pattern formation. Recently, the equations have been proposed by several research groups as amplitude equations for task-related patterns of brain activity. In this theoretical study, the focus is on the circular causality aspect of pattern formation systems as formulated within the framework of synergetics. Accordingly, the stable modes of a pattern formation system inhibit the unstable modes, whereas the unstable modes excite the stable modes. Using this circular causality principle it is shown that under certain conditions the Lotka-Volterra-Haken amplitude equations can be derived from a general model of brain activity akin to the Wilson-Cowan model. The model captures the amplitude dynamics for brain activity patterns in experiments involving several consecutively performed multiple-choice tasks. This is explicitly demonstrated for two-choice tasks involving grasping and walking. A comment on the relevance of the theoretical framework for clinical psychology and schizophrenia is given as well.
Students’ Relational Thinking of Impulsive and Reflective in Solving Mathematical Problem
Satriawan, M. A.; Budiarto, M. T.; Siswono, T. Y. E.
2018-01-01
This is a descriptive research which qualitatively investigates students’ relational thinking of impulsive and reflective cognitive style in solving mathematical problem. The method used in this research are test and interview. The data analyzed by reducing, presenting and concluding the data. The results of research show that the students’ reflective cognitive style can possibly help to find out important elements in understanding a problem. Reading more than one is useful to identify what is being questioned and write the information which is known, building relation in every element and connecting information with arithmetic operation, connecting between what is being questioned with known information, making equation model to find out the value by using substitution, and building a connection on re-checking, re-reading, and re-counting. The impulsive students’ cognitive style supports important elements in understanding problems, building a connection in every element, connecting information with arithmetic operation, building a relation about a problem comprehensively by connecting between what is being questioned with known information, finding out the unknown value by using arithmetic operation without making any equation model. The result of re-checking problem solving, impulsive student was only reading at glance without re-counting the result of problem solving.
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
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.
Sex-Related Differences in Mathematical Competencies of Pre-Calculus College Students.
Stones, Ivan; And Others
1982-01-01
Thirty-eight classes--categorized as College Algebra, Mathematics for Elementary Teachers, and Applied Mathematics-- were selected at four state and six community colleges during the first semester of the 1976-77 school year. Results reinforced the notion there is actually no difference in ability due to sex. (MP)
Kelly, Ronald R; Gaustad, Martha G
2007-01-01
This study of deaf college students examined specific relationships between their mathematics performance and their assessed skills in reading, language, and English morphology. Simple regression analyses showed that deaf college students' language proficiency scores, reading grade level, and morphological knowledge regarding word segmentation and meaning were all significantly correlated with both the ACT Mathematics Subtest and National Technical Institute for the Deaf (NTID) Mathematics Placement Test scores. Multiple regression analyses identified the best combination from among these potential independent predictors of students' performance on both the ACT and NTID mathematics tests. Additionally, the participating deaf students' grades in their college mathematics courses were significantly and positively associated with their reading grade level and their knowledge of morphological components of words.
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...
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…
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....
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...
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.
Andrews, Paul; Diego-Mantecón, Jose
2015-01-01
Much comparative research into education-related beliefs has exploited questionnaires developed in one culture for use in another. This has been particularly the case in mathematics education, the focus of this paper. In so doing, researchers have tended to assume that translation alone is sufficient to warrant a reliable and valid instrument for…
Haciomeroglu, Erhan Selcuk
2016-01-01
The present study investigated the object-spatial visualization and verbal cognitive styles among high school students and related differences in spatial ability, verbal-logical reasoning ability, and mathematical performance of those students. Data were collected from 348 students enrolled in Advanced Placement calculus courses at six high…
A mathematical model relating response durations to amount of subclinical resistant disease.
Gregory, W M; Richards, M A; Slevin, M L; Souhami, R L
1991-02-15
A mathematical model is presented which seeks to determine, from examination of the response durations of a group of patients with malignant disease, the mean and distribution of the resistant tumor volume. The mean tumor-doubling time and distribution of doubling times are also estimated. The model assumes that in a group of patients there is a log-normal distribution both of resistant disease and of tumor-doubling times and implies that the shapes of certain parts of an actuarial response-duration curve are related to these two factors. The model has been applied to data from two reported acute leukemia trials: (a) a recent acute myelogenous leukemia trial was examined. Close fits were obtained for both the first and second remission-duration curves. The model results suggested that patients with long first remissions had less resistant disease and had tumors with slower growth rates following second line treatment; (b) an historical study of maintenance therapy for acute lymphoblastic leukemia was used to estimate the mean cell-kill (approximately 10(4) cells) achieved with single agent, 6-mercaptopurine. Application of the model may have clinical relevance, for example, in identifying groups of patients likely to benefit from further intensification of treatment.
Hassinger-Das, Brenna; Jordan, Nancy C; Glutting, Joseph; Irwin, Casey; Dyson, Nancy
2014-02-01
Domain-general skills that mediate the relation between kindergarten number sense and first-grade mathematics skills were investigated. Participants were 107 children who displayed low number sense in the fall of kindergarten. Controlling for background variables, multiple regression analyses showed that both attention problems and executive functioning were unique predictors of mathematics outcomes. Attention problems were more important for predicting first-grade calculation performance, whereas executive functioning was more important for predicting first-grade performance on applied problems. Moreover, both executive functioning and attention problems were unique partial mediators of the relationship between kindergarten and first-grade mathematics skills. The results provide empirical support for developing interventions that target executive functioning and attention problems in addition to instruction in number skills for kindergartners with initial low number sense. Copyright © 2013 Elsevier Inc. All rights reserved.
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)
Buckley, Finian
1993-01-01
This study examined the influence of Empathie Teaching Climate on Mathematics Learnmg'andMathematics and General School Self-Concepts, in sateen schools in Dublin, Ireland. The study required the design development and validation of the Student-Teacher Interaction Questionnaire (STIQ), which measures specific behavioural indices of classroom Teaching Empathy. The research monitored the effects of Teaching Empathy on students (N=387) in their first year of secondary schooling, as they complete...
DeLay, Dawn; Laursen, Brett; Kiuru, Noona; Poikkeus, Anna-Maija; Aunola, Kaisa
2016-01-01
This study investigated friend influence over mathematics achievement in 202 same-sex friendship dyads (106 girl dyads). Participants were in the third grade (around age 9) at the outset. Each friend completed a questionnaire describing interest in mathematics and a standardized mathematical reasoning assessment. Peer nominations provided a…
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
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...
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...
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...
Oostermeijer, M.; Boonen, A.J.H.; Jolles, J.
2014-01-01
The scientific literature shows that constructive play activities are positively related to children's spatial ability. Likewise, a close positive relation is found between spatial ability and mathematical word problem-solving performances. The relation between children's constructive play and their
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.
Böhme, Cathleen; von Osthoff, Marc Baron; Frey, Katrin; Hübner, Jutta
2017-08-17
Mobile apps are offered in large numbers and have different qualities. The aim of this article was to develop a rating tool based on formal and content-related criteria for the assessment of cancer apps and to test its applicability on apps. After a thorough analysis of the literature, we developed a specific rating tool for cancer apps based on the MARS (mobile app rating system) and a rating tool for cancer websites. This instrument was applied to apps freely available in stores and focusing on some cancer topic. Ten apps were rated on the basis of 22 criteria. Sixty percent of the apps (6/10) were rated poor and insufficient. The rating by different scientists was homogenous. The good apps had reliable sources were regularly updated and had a concrete intent/purpose in their app description. In contrast, the apps that were rated poor had no distinction of scientific content and advertisement. In some cases, there was no imprint to identify the provider. As apps of poor quality can give misinformation and lead to wrong treatment decisions, efforts have to be made to increase usage of high-quality apps. Certification would help cancer patients to identify reliable apps, yet acceptance of a certification system must be backed up.
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…
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...
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
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...
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.
Race, Ideology, and Academic Ability: A Relational Analysis of Racial Narratives in Mathematics
Shah, Niral
2017-01-01
Background/Context: There is evidence that race affects students' learning experiences in mathematics, a subject typically thought of as "race-neutral" and "culture-free." Research in psychology and sociology has shown that racial narratives (e.g., "Asians are good at math") are pervasive in U.S. culture and play a…
Warwas, Jasmin; Nagy, Gabriel; Watermann, Rainer; Hasselhorn, Marcus
2009-01-01
This study examines the relationships of vocational interests and mathematical literacy both cross-sectionally and longitudinally. Extending previous research, the results of Holland's RIASEC (Realistic, Investigative, Artistic, Social, Enterprising, and Conventional) scale scores are compared with results from a reductionist approach using…
Bloomberg, Jerome
Basic Mathematics Review (BMR) is a remedial non-credit course at Essex Community College (Maryland) being taught on an individualized basis. Following diagnostic testing and placement, instruction utilizes programmed materials, tutors, and self-tests. Evaluation of the new individualized BMR and comparison with the traditional remedial course…
The Effects of Group Monitoring on Fatigue-Related Einstellung during Mathematical Problem Solving
Frings, Daniel
2011-01-01
Fatigue resulting from sleep deficit can lead to decreased performance in a variety of cognitive domains and can result in potentially serious accidents. The present study aimed to test whether fatigue leads to increased Einstellung (low levels of cognitive flexibility) in a series of mathematical problem-solving tasks. Many situations involving…
Krummheuer, Gotz
2007-01-01
The main assumption of this article is that learning mathematics depends on the student's participation in processes of collective argumentation. On the empirical level, such processes will be analyzed with Toulmin's theory of argumentation and Goffman's idea of decomposition of the speaker's role. On the theoretical level, different statuses of…
Chatzistamatiou, Mariza; Dermitzaki, Irini; Bagiatis, Vasilios
2014-01-01
The purpose of this study was to examine the relationships between teachers' reports on self-regulatory strategy use in mathematics instruction and individual motivational and affective factors. Two hundred and ninety-two Greek primary school teachers responded to two questionnaires assessing (a) the strategies they use themselves to plan, monitor…
Evaluation of Students' Mathematical Problem Solving Skills in Relation to Their Reading Levels
Özsoy, Gökhan; Kuruyer, Hayriye Gül; Çakiroglu, Ahmet
2015-01-01
The purpose of the current study is to investigate the correlation between students' reading levels and mathematical problem solving skills. The present study was conducted in line with a qualitative research method, i.e., the phenomenological method. The study group of the current research is composed of six third grade students with different…
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...
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…
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.
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
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...
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...
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.
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.
Directory of Open Access Journals (Sweden)
Marcie ePenner-Wilger
2013-12-01
Full Text Available This paper elaborates a novel hypothesis regarding the observed predictive relation between finger gnosis and mathematical ability. In brief, we suggest that these two cognitive phenomena have overlapping neural substrates, as the result of the re-use (redeployment of part of the finger gnosis circuit for the purpose of representing numbers. We offer some background on the relation and current explanations for it; an outline of our alternate hypothesis; some evidence supporting redeployment over current views; and a plan for further research.
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
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.
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
Vijil, Veronica G.
2011-12-01
An overall increased awareness of the importance of science, technology, engineering, and mathematics (STEM) has prompted attention toward the continued underrepresentation of Hispanic women in this field. The purpose of this collective case study was to explore the support systems, perceived barriers, and prior experiences influencing high school Hispanic girls' decisions to pursue advanced coursework and related careers through a career pathway in science, technology, engineering, and mathematics (STEM) areas. Specifically, participants were interviewed regarding their mathematics and science experiences in elementary and middle schools, as well as perceived supports and barriers to their choices to pursue STEM careers and advanced coursework. Results indicated that the participants linked their elementary and middle school experiences with their teachers rather than specific activities. Accolades such as certificates and good grades for academic achievement contributed to the girls' strong self-efficacy at an early age. The participants possessed self-discipline and self-confidence, using intrinsic motivation to pursue their goals. Support systems included families and a few teachers. Barriers were revealed in different forms including derogatory comments by boys in class, difficult curricula with limited tutors available for higher level courses, and receipt of financial assistance to attend a university of their choice.
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.
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.)
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
Stoet, Gijsbert; Geary, David C
2013-01-01
We analyzed one decade of data collected by the Programme for International Student Assessment (PISA), including the mathematics and reading performance of nearly 1.5 million 15 year olds in 75 countries. Across nations, boys scored higher than girls in mathematics, but lower than girls in reading. The sex difference in reading was three times as large as in mathematics. There was considerable variation in the extent of the sex differences between nations. There are countries without a sex difference in mathematics performance, and in some countries girls scored higher than boys. Boys scored lower in reading in all nations in all four PISA assessments (2000, 2003, 2006, 2009). Contrary to several previous studies, we found no evidence that the sex differences were related to nations' gender equality indicators. Further, paradoxically, sex differences in mathematics were consistently and strongly inversely correlated with sex differences in reading: Countries with a smaller sex difference in mathematics had a larger sex difference in reading and vice versa. We demonstrate that this was not merely a between-nation, but also a within-nation effect. This effect is related to relative changes in these sex differences across the performance continuum: We did not find a sex difference in mathematics among the lowest performing students, but this is where the sex difference in reading was largest. In contrast, the sex difference in mathematics was largest among the higher performing students, and this is where the sex difference in reading was smallest. The implication is that if policy makers decide that changes in these sex differences are desired, different approaches will be needed to achieve this for reading and mathematics. Interventions that focus on high-achieving girls in mathematics and on low achieving boys in reading are likely to yield the strongest educational benefits.
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.
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.
Developing My Mathematics Identity
Gonzalez, Lidia
2016-01-01
Assuming the role of storyteller, the author uses her experiences as a graduate student and beginning teacher to reflect critically on issues related to mathematics, mathematics education, gender, and diversity.
Mathematical and numerical study of nonlinear boundary problems related to plasma physics
International Nuclear Information System (INIS)
Sermange, M.
1982-06-01
After the study of some equations based on the Hodgkin-Huxley model, the work presented here is concerned with nonlinear boundary problems in MHD. They are gathered in two subjects: equilibrium equations and stability equations. The axisymmetric MHD equilibrium equations with free boundary have been studied by different authors, particularly the existence, regularity, unicity and non-unicity. Here, bifurcation, convergence of calculation methods existence of solutions in a discontinuous frame are studied. MHD stability can be determined by the principle of Bernstein et al; the mathematical work concerned here bears on the equivalence, in the case of two-dimensional or axisymmetric stability, between this model and a scalar eigenvalue problem which is introduced. At last, modules for computing MHD equilibrium for the simulation of plasma confinement in a tokamak are described [fr
Reinstein, Dan Z; Archer, Timothy J; Randleman, J Bradley
2013-07-01
To develop a mathematical model to estimate the relative differences in postoperative stromal tensile strength following photorefractive keratectomy (PRK), LASIK, and small incision lenticule extraction (SMILE). Using previously published data where in vitro corneal stromal tensile strength was determined as a function of depth, a mathematical model was built to calculate the relative remaining tensile strength by fitting the data with a fourth order polynomial function yielding a high correlation coefficient (R(2) = 0.930). Calculating the area under this function provided a measure of total stromal tensile strength (TTS), based only on the residual stromal layer for PRK or LASIK and the residual stromal layers above and below the lenticule interface for SMILE. Postoperative TTS was greatest after SMILE, followed by PRK, then LASIK; for example, in a 550-μm cornea after 100-μm tissue removal, postoperative TTS was 75% for SMILE (130-μm cap), 68% for PRK, and 54% for LASIK (110-μm flap). The postoperative TTS decreased for thinner corneal pachymetry for all treatment types. In LASIK, the postoperative TTS decreased with increasing flap thickness by 0.22%/μm, but increased by 0.08%/μm for greater cap thickness in SMILE. The model predicted that SMILE lenticule thickness could be approximately 100 μm greater than the LASIK ablation depth and still have equivalent corneal strength (equivalent to approximately 7.75 diopters). This mathematical model predicts that the postoperative TTS is considerably higher after SMILE than both PRK and LASIK, as expected given that the strongest anterior lamellae remain intact. Consequently, SMILE should be able to correct higher levels of myopia. Copyright 2013, SLACK Incorporated.
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
Robiansyah, S. T. U.; Nanang, F.; Hidayat
2018-01-01
The purpose of this study was to introduce about mathematic assessment is a process of obtaining data or information about the mastery of a student's mathematical skills as an ingredient in preparing a learning program. With this mathematics assessment can be known obstacles, difficulties and needs of students especially in the field of mathematic, so that the learning program will be in accordance with the potential students because it is tailored to what is required of students. This research study was conducted at elementary school of inclusive precisely at SDN Sukagalih I Bandung City based learning in setting of inclusive education. This research study is motivated by the existence of a first-grade student who has disabilities learning in mathematics, the ability of the mathematical prerequisite mastery of the classification of objects by color. The results of the research can provide a profile picture of student data information, the data obtained from the results of the development of systematic and formal mathematical assessment. After doing the development of mathematics assessment then the teacher gets important related information: 1. process the analysis of students’ learning needs, especially in the field of mathematics, 2. preparing the learning program planning according to student learning needs, 3. Designing procedural of method remedial program.
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.
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...
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
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.
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.
Carnoy, Martin; Brodziak, Iliana; Luschei, Thomas; Beteille, Tara; Loyalka, Prashant
2009-01-01
In this publication, the authors compare the salaries of primary (Grades 1 to 6 in most countries) and secondary school (usually Grades 7 to 12) teachers with the salaries of people in mathematics-oriented professions, such as engineering, scientific fields, and accounting. Their analysis centers on a number of developed and developing countries.…
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...
Kul, Umit; Celik, Sedef
2017-01-01
This paper has been conducted to determine future teachers' mathematical beliefs and to explore the relationship between their mathematical beliefs and initial teaching practice in a classroom setting, in terms of how they design the content of teaching activities, they employed the style of teaching in mathematics, and they engaged with pupils. A…
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...
Mathematics and quantum mechanics
International Nuclear Information System (INIS)
Santander, M.
2000-01-01
Several episodes in the relation between Mathematics and Quantum Mechanics are discussed; and the emphasis is put in the existence of multiple and sometimes unexpected connections between ideas originating in Mathematics and in Quantum Physics. The question of the unresasonable effectiveness of Mathematics in Physics is also presented in the same light. (Author) 3 refs
Mathematics a minimal introduction
Buium, Alexandru
2013-01-01
Pre-Mathematical Logic Languages Metalanguage Syntax Semantics Tautologies Witnesses Theories Proofs Argot Strategies Examples Mathematics ZFC Sets Maps Relations Operations Integers Induction Rationals Combinatorics Sequences Reals Topology Imaginaries Residues p-adics Groups Orders Vectors Matrices Determinants Polynomials Congruences Lines Conics Cubics Limits Series Trigonometry Integrality Reciprocity Calculus Metamodels Categories Functors Objectives Mathematical Logic Models Incompleteness Bibliography Index
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...
Modern mathematics made simple
Murphy, Patrick
1982-01-01
Modern Mathematics: Made Simple presents topics in modern mathematics, from elementary mathematical logic and switching circuits to multibase arithmetic and finite systems. Sets and relations, vectors and matrices, tesselations, and linear programming are also discussed.Comprised of 12 chapters, this book begins with an introduction to sets and basic operations on sets, as well as solving problems with Venn diagrams. The discussion then turns to elementary mathematical logic, with emphasis on inductive and deductive reasoning; conjunctions and disjunctions; compound statements and conditional
Lending Policies of Informal, Formal, and Semi-formal Lenders: Evidence from Vietnam
Lensink, B.W.; Pham, T.T.T.
2007-01-01
This paper compares lending policies of formal, informal and semiformal lenders with respect to household lending in Vietnam. The analysis suggests that the probability of using formal or semiformal credit increases if borrowers provide collateral, a guarantor and/or borrow for business-related
Toward the Use of Fuzzy Relations in the Definition of Mathematical Morphology Operators
Directory of Open Access Journals (Sweden)
Nicolás Madrid
2016-03-01
Full Text Available In this paper we present a definition of erosions and dilations in terms of fuzzy relations and adjoint triples. We firstly show that we can represent any algebraic erosion and dilation in such a terms and secondly, we present a set of approaches that can be covered by our definition of relational erosions and dilations.
Identification of Action Units Related to Affective States in a Tutoring System for Mathematics
Padrón-Rivera, Gustavo; Rebolledo-Mendez, Genaro; Parra, Pilar Pozos; Huerta-Pacheco, N. Sofia
2016-01-01
Affect is an important element of the learning process both in the classroom and with educational technology. This paper presents analyses in relation to the identification of Action Units (AUs) related to affective states and their impact on learning with a tutoring system. To assess affect, a tool was devised to identify AUs on pictures of human…
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)}.
Sound Computational Interpretation of Formal Encryption with Composed Keys
Laud, P.; Corin, R.J.; In Lim, J.; Hoon Lee, D.
2003-01-01
The formal and computational views of cryptography have been related by the seminal work of Abadi and Rogaway. In their work, a formal treatment of encryption that uses atomic keys is justified in the computational world. However, many proposed formal approaches allow the use of composed keys, where
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.
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 ...
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.
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...
Semiotic Scaffolding in Mathematics
DEFF Research Database (Denmark)
Johansen, Mikkel Willum; Misfeldt, Morten
2015-01-01
This paper investigates the notion of semiotic scaffolding in relation to mathematics by considering its influence on mathematical activities, and on the evolution of mathematics as a research field. We will do this by analyzing the role different representational forms play in mathematical...... cognition, and more broadly on mathematical activities. In the main part of the paper, we will present and analyze three different cases. For the first case, we investigate the semiotic scaffolding involved in pencil and paper multiplication. For the second case, we investigate how the development of new...... in both mathematical cognition and in the development of mathematics itself, but mathematical cognition cannot itself be reduced to the use of semiotic scaffolding....
Thompson, Carla J.; Davis, Sandra B.
2014-06-01
The use of formal observation in primary mathematics classrooms is supported in the literature as a viable method of determining effective teaching strategies and appropriate tasks for inclusion in the early years of mathematics learning. The twofold aim of this study was to (a) investigate predictive relationships between primary mathematics classroom observational data and student achievement data, and (b) to examine the impact of providing periodic classroom observational data feedback to teachers using a Relational-Feedback-Intervention (RFI) Database Model. This observational research effort focused on an empirical examination of student engagement levels in time spent on specific learning activities observed in primary mathematics classrooms as predictors of student competency outcomes in mathematics. Data were collected from more than 2,000 primary classroom observations in 17 primary schools during 2009-2011 and from standardised end-of-year tests for mathematics achievement. Results revealed predictive relationships among several types of teaching and learning tasks with student achievement. Specifically, the use of mathematics concepts, technology and hands-on materials in primary mathematics classrooms was found to produce substantive predictors of increased student mathematics achievement. Additional findings supported the use of periodic classroom observation data reporting as a positive influence on teachers' decisions in determining instructional tasks for inclusion in primary mathematics classrooms. Study results indicate classroom observational research involving a RFI Database Model is a productive tool for improving teaching and learning in primary mathematics classrooms.
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…
Formal Analysis of Self-Efficacy in Job Interviewee’s Mental State Model
Ajoge, N. S.; Aziz, A. A.; Yusof, S. A. Mohd
2017-08-01
This paper presents a formal analysis approach for self-efficacy model of interviewee’s mental state during a job interview session. Self-efficacy is a construct that has been hypothesised to combine with motivation and interviewee anxiety to define state influence of interviewees. The conceptual model was built based on psychological theories and models related to self-efficacy. A number of well-known relations between events and the course of self-efficacy are summarized from the literature and it is shown that the proposed model exhibits those patterns. In addition, this formal model has been mathematically analysed to find out which stable situations exist. Finally, it is pointed out how this model can be used in a software agent or robot-based platform. Such platform can provide an interview coaching approach where support to the user is provided based on their individual metal state during interview sessions.
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:
Accounting for primitive terms in mathematics
Directory of Open Access Journals (Sweden)
D.F.M. Strauss
2005-07-01
Full Text Available The philosophical problem of unity and diversity entails a challenge to the rationalist aim to define everything. Definitions of this kind surface in various academic disciplines in formulations like uniqueness, irreducibility, and what has acquired the designation “primitive terms”. Not even the most “exact” disciplines, such as mathematics, can avoid the implications entailed in giving an account of such primitive terms. A mere look at the historical development of mathematics highlights the fact that alternative perspectives prevailed – from the arithmeticism of Pythagoreanism, the eventual geometrisation of mathematics after the discovery of incommensurability up to the revival of arithmeticism in the mathematics of Cauchy, Weierstrass, Dedekind and Cantor (with the later orientation of Frege, who completed the circle by returning to the view that mathematics essentially is geometry. An assessment of logicism and axiomatic formalism is followed by looking at the primitive meaning of wholeness (and the whole-parts relation. With reference to the views of Hilbert, Weyl and Bernays the article concludes by suggesting that in opposition to arithmeticism and geometricism an alternative option ought to be pursued – one in which both the uniqueness and mutual coherence between the aspects of number and space are acknowledged.
Experimental and mathematical methods for representing relative surface elongation of the ACL
Pioletti, D. P.; Heegaard, J. H.; Rakotomanana, R. L.; Leyvraz, P. F.; Blankevoort, L.
1995-01-01
The common approach to assess the stabilizing role of the ACL in the knee has been to measure the elongation of a few marked fibers in the ligament. A comparison of the relative elongation (RE) of these marked fibers between different specimens and studies is delicate due to the difficulty of
Saisho, Yasumasa
2010-04-01
In many species of cicadas the peak of eclosion of males precedes that of females. In this paper, we construct a stochastic model and consider whether this sexual difference of eclosion periods works against mating or not. We also discuss the relation between the peak period of copulations and the development of population number by using this model.
Mathematics Achievement and Anxiety and Their Relation to Internalizing and Externalizing Behaviors
Wu, Sarah S.; Willcutt, Erik G.; Escovar, Emily; Menon, Vinod
2014-01-01
Although behavioral difficulties are well documented in reading disabilities, little is known about the relationship between math ability and internalizing and externalizing behaviors. Here, we use standardized measures to investigate the relation among early math ability, math anxiety, and internalizing and externalizing behaviors in a group of…
Innovation in mathematics education: beyond the technology
Directory of Open Access Journals (Sweden)
Salvador Llinares
2013-06-01
Full Text Available Relationships between mathematical competence and mathematics teaching innovation do emerge the need for new practices of mathematics teaching. One of the aspects of this new practice is the interaction patterns in the classroom characterizing the mathematical discourse. From these perspectives, the relation between innovation and new mathematics practices defines different contexts for professional development of mathematics teacher.
Issues of Cultural Diversity in School Mathematics.
Ruthven, Kenneth
2001-01-01
Explores cultural diversity in school mathematics and the issues raised for mathematics education. Examines the curricular roots of school mathematics in relation to scholarly mathematics, and the mathematics of past generations and different social groups. Notes some of the complexities in seeking to 'culturalize' school mathematics by bringing…
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
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.
Dunekacke, Simone; Jenßen, Lars; Eilerts, Katja; Blömeke, Sigrid
2016-01-01
Teacher competence is a multi-dimensional construct that includes beliefs as well as knowledge. The present study investigated the structure of prospective preschool teachers' mathematics-related beliefs and their relation to content knowledge and pedagogical content knowledge. In addition, prospective preschool teachers' perception and planning…
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...
Classical mechanics Hamiltonian and Lagrangian formalism
Deriglazov, Alexei
2016-01-01
This account of the fundamentals of Hamiltonian mechanics also covers related topics such as integral invariants and the Noether theorem. With just the elementary mathematical methods used for exposition, the book is suitable for novices as well as graduates.
Mathematical Modeling in Mathematics Education: Basic Concepts and Approaches
Erbas, Ayhan Kürsat; Kertil, Mahmut; Çetinkaya, Bülent; Çakiroglu, Erdinç; Alacaci, Cengiz; Bas, Sinem
2014-01-01
Mathematical modeling and its role in mathematics education have been receiving increasing attention in Turkey, as in many other countries. The growing body of literature on this topic reveals a variety of approaches to mathematical modeling and related concepts, along with differing perspectives on the use of mathematical modeling in teaching and…
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...
Meaning in mathematics education
Valero, Paola; Hoyles, Celia; Skovsmose, Ole
2005-01-01
What does it mean to know mathematics? How does meaning in mathematics education connect to common sense or to the meaning of mathematics itself? How are meanings constructed and communicated and what are the dilemmas related to these processes? There are many answers to these questions, some of which might appear to be contradictory. Thus understanding the complexity of meaning in mathematics education is a matter of huge importance. There are twin directions in which discussions have developed - theoretical and practical - and this book seeks to move the debate forward along both dimensions while seeking to relate them where appropriate. A discussion of meaning can start from a theoretical examination of mathematics and how mathematicians over time have made sense of their work. However, from a more practical perspective, anybody involved in teaching mathematics is faced with the need to orchestrate the myriad of meanings derived from multiple sources that students develop of mathematical knowledge.
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.
Lakatos and Hersh on Mathematical Proof
Directory of Open Access Journals (Sweden)
Hossein Bayat
2015-12-01
Full Text Available The concept of Mathematical Proof has been controversial for the past few decades. Different philosophers have offered different theories about the nature of Mathematical Proof, among which theories presented by Lakatos and Hersh have had significant similarities and differences with each other. It seems that a comparison and critical review of these two theories will lead to a better understanding of the concept of mathematical proof and will be a big step towards solving many related problems. Lakatos and Hersh argue that, firstly, “mathematical proof” has two different meanings, formal and informal; and, secondly, informal proofs are affected by human factors, such as individual decisions and collective agreements. I call these two thesis, respectively, “proof dualism” and “humanism”. But on the other hand, their theories have significant dissimilarities and are by no means equivalent. Lakatos is committed to linear proof dualism and methodological humanism, while Hersh’s theory involves some sort of parallel proof dualism and sociological humanism. According to linear proof dualism, the two main types of proofs are provided in order to achieve a common goal: incarnation of mathematical concepts and methods and truth. However, according to the parallel proof dualism, two main types of proofs are provided in order to achieve two different types of purposes: production of a valid sequence of signs (the goal of the formal proof and persuasion of the audience (the goal of the informal proof. Hersh’s humanism is informative and indicates pluralism; whereas, Lakatos’ version of humanism is normative and monistic.
Hellmuth, Marc; Stadler, Peter F; Wieseke, Nicolas
2017-07-01
The concepts of orthology, paralogy, and xenology play a key role in molecular evolution. Orthology and paralogy distinguish whether a pair of genes originated by speciation or duplication. The corresponding binary relations on a set of genes form complementary cographs. Allowing more than two types of ancestral event types leads to symmetric symbolic ultrametrics. Horizontal gene transfer, which leads to xenologous gene pairs, however, is inherent asymmetric since one offspring copy "jumps" into another genome, while the other continues to be inherited vertically. We therefore explore here the mathematical structure of the non-symmetric generalization of symbolic ultrametrics. Our main results tie non-symmetric ultrametrics together with di-cographs (the directed generalization of cographs), so-called uniformly non-prime ([Formula: see text]) 2-structures, and hierarchical structures on the set of strong modules. This yields a characterization of relation structures that can be explained in terms of trees and types of ancestral events. This framework accommodates a horizontal-transfer relation in terms of an ancestral event and thus, is slightly different from the the most commonly used definition of xenology. As a first step towards a practical use, we present a simple polynomial-time recognition algorithm of [Formula: see text] 2-structures and investigate the computational complexity of several types of editing problems for [Formula: see text] 2-structures. We show, finally that these NP-complete problems can be solved exactly as Integer Linear Programs.
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
A mathematical model of aging-related and cortisol induced hippocampal dysfunction
Directory of Open Access Journals (Sweden)
Jones Janette JL
2009-03-01
Full Text Available Abstract Background The hippocampus is essential for declarative memory synthesis and is a core pathological substrate for Alzheimer's disease (AD, the most common aging-related dementing disease. Acute increases in plasma cortisol are associated with transient hippocampal inhibition and retrograde amnesia, while chronic cortisol elevation is associated with hippocampal atrophy. Thus, cortisol levels could be monitored and managed in older people, to decrease their risk of AD type hippocampal dysfunction. We generated an in silicomodel of the chronic effects of elevated plasma cortisol on hippocampal activity and atrophy, using the systems biology mark-up language (SBML. We further challenged the model with biologically based interventions to ascertain if cortisol associated hippocampal dysfunction could be abrogated. Results The in silicoSBML model reflected the in vivoaging of the hippocampus and increased plasma cortisol and negative feedback to the hypothalamic pituitary axis. Aging induced a 12% decrease in hippocampus activity (HA, increased to 30% by acute and 40% by chronic elevations in cortisol. The biological intervention attenuated the cortisol associated decrease in HA by 2% in the acute cortisol simulation and by 8% in the chronic simulation. Conclusion Both acute and chronic elevations in cortisol secretion increased aging-associated hippocampal atrophy and a loss of HA in the model. We suggest that this first SMBL model, in tandem with in vitroand in vivostudies, may provide a backbone to further frame computational cortisol and brain aging models, which may help predict aging-related brain changes in vulnerable older people.
International Nuclear Information System (INIS)
Woesler, Richard
2007-01-01
The computations of the present text with non-relativistic quantum teleportation equations and special relativity are totally speculative, physically correct computations can be done using quantum field theory, which remain to be done in future. Proposals for what might be called statistical time loop experiments with, e.g., photon polarization states are described when assuming the simplified non-relativistic quantum teleportation equations and special relativity. However, a closed time loop would usually not occur due to phase incompatibilities of the quantum states. Histories with such phase incompatibilities are called inconsistent ones in the present text, and it is assumed that only consistent histories would occur. This is called an exclusion principle for inconsistent histories, and it would yield that probabilities for certain measurement results change. Extended multiple parallel experiments are proposed to use this statistically for transmission of classical information over distances, and regarding time. Experiments might be testable in near future. However, first a deeper analysis, including quantum field theory, remains to be done in future
Raty, Hannu; Karkkainen, Riitta
2011-01-01
In the course of their child's school years, a group of parents were asked to assess their child's mathematical competence and indicate whether they endorsed the gender stereotype pertaining to it. Once the child had entered upper primary school, the consistent stereotypic parents tended to rate their boys' mathematical competence higher than the…
McHugh, Luisa
2016-01-01
Contemporary research has suggested that in order for students to compete globally in the 21st century workplace, pedagogy must shift to include the integration of science and mathematics, where teachers effectively incorporate the two disciplines seamlessly. Mathematics facilitates a deeper understanding of science concepts and has been linked to…
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
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
Ideation in mathematical writing
DEFF Research Database (Denmark)
Misfeldt, Morten
2007-01-01
This paper considers idea generation during the mathematical writing process. Two contrasting explanations of the creative potential in connection to writing is presented; writing as a process of setting and obtaining rhetorical goals and writing as a process of discovery. These views...... are then related to two empirically found categories of functions that writing serves researchers in the field of mathematics, concluding that both views contributes to understanding the creative potential in relation to mathematical writing....
McLean, Leigh; Connor, Carol McDonald
2018-06-01
Recent studies have observed connections among teachers' depressive symptoms and student outcomes; however, the specific mechanisms through which teachers' mental health characteristics operate in the classroom remain largely unknown. The present study used student-level observation methods to examine the relations between third-grade teachers' (N = 32) depressive symptoms and their academic feedback to students (N = 310) and sought to make inferences about how these factors might influence students' mathematics achievement. A novel observational tool, the Teacher Feedback Coding System-Academic (TFCS-A), was used that assesses feedback across 2 dimensions-teacher affect and instructional strategy, which have been shown to be important to student learning. Multilevel exploratory factor analysis of TFCS-A data suggested 2 primary factors: positive feedback and neutral/negative feedback. Hierarchical linear modeling revealed that positive feedback was related to higher math achievement among students who began the year with weaker math skills and that teachers who reported more depressive symptoms less frequently provided this positive feedback. Results offer new information about a type of instruction that may be affected by teachers' depressive symptoms and inform efforts aimed at improving teachers' instructional interactions with students. (PsycINFO Database Record (c) 2018 APA, all rights reserved).
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
Marriages of mathematics and physics: A challenge for biology.
Islami, Arezoo; Longo, Giuseppe
2017-12-01
The human attempts to access, measure and organize physical phenomena have led to a manifold construction of mathematical and physical spaces. We will survey the evolution of geometries from Euclid to the Algebraic Geometry of the 20th century. The role of Persian/Arabic Algebra in this transition and its Western symbolic development is emphasized. In this relation, we will also discuss changes in the ontological attitudes toward mathematics and its applications. Historically, the encounter of geometric and algebraic perspectives enriched the mathematical practices and their foundations. Yet, the collapse of Euclidean certitudes, of over 2300 years, and the crisis in the mathematical analysis of the 19th century, led to the exclusion of "geometric judgments" from the foundations of Mathematics. After the success and the limits of the logico-formal analysis, it is necessary to broaden our foundational tools and re-examine the interactions with natural sciences. In particular, the way the geometric and algebraic approaches organize knowledge is analyzed as a cross-disciplinary and cross-cultural issue and will be examined in Mathematical Physics and Biology. We finally discuss how the current notions of mathematical (phase) "space" should be revisited for the purposes of life sciences. Copyright © 2017. Published by Elsevier Ltd.
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.
Martin, B R
2015-01-01
Mathematics for Physicists is a relatively short volume covering all the essential mathematics needed for a typical first degree in physics, from a starting point that is compatible with modern school mathematics syllabuses. Early chapters deliberately overlap with senior school mathematics, to a degree that will depend on the background of the individual reader, who may quickly skip over those topics with which he or she is already familiar. The rest of the book covers the mathematics that is usually compulsory for all students in their first two years of a typical university physics degree, plus a little more. There are worked examples throughout the text, and chapter-end problem sets. Mathematics for Physicists features: * Interfaces with modern school mathematics syllabuses * All topics usually taught in the first two years of a physics degree * Worked examples throughout * Problems in every chapter, with answers to selected questions at the end of the book and full solutions on a website This text will ...
Formal Method of Description Supporting Portfolio Assessment
Morimoto, Yasuhiko; Ueno, Maomi; Kikukawa, Isao; Yokoyama, Setsuo; Miyadera, Youzou
2006-01-01
Teachers need to assess learner portfolios in the field of education. However, they need support in the process of designing and practicing what kind of portfolios are to be assessed. To solve the problem, a formal method of describing the relations between the lesson forms and portfolios that need to be collected and the relations between…
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.
Universal uncertainty principle in the measurement operator formalism
International Nuclear Information System (INIS)
Ozawa, Masanao
2005-01-01
Heisenberg's uncertainty principle has been understood to set a limitation on measurements; however, the long-standing mathematical formulation established by Heisenberg, Kennard, and Robertson does not allow such an interpretation. Recently, a new relation was found to give a universally valid relation between noise and disturbance in general quantum measurements, and it has become clear that the new relation plays a role of the first principle to derive various quantum limits on measurement and information processing in a unified treatment. This paper examines the above development on the noise-disturbance uncertainty principle in the model-independent approach based on the measurement operator formalism, which is widely accepted to describe a class of generalized measurements in the field of quantum information. We obtain explicit formulae for the noise and disturbance of measurements given by measurement operators, and show that projective measurements do not satisfy the Heisenberg-type noise-disturbance relation that is typical in the gamma-ray microscope thought experiments. We also show that the disturbance on a Pauli operator of a projective measurement of another Pauli operator constantly equals √2, and examine how this measurement violates the Heisenberg-type relation but satisfies the new noise-disturbance relation
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...
Tuohilampi, Laura; Laine, Anu; Hannula, Markku S.; Varas, Leonor
2016-01-01
Mathematics-related affect is established regarding both individual and interindividual levels. However, the interaction between the levels has not been elaborated. Furthermore, it is known that people may draw either from intrinsic or extrinsic experiences to construct their identities depending on their cultural environment. Thus, affective…
Leker, Lindsey Beth
Stereotype threat is a widely researched phenomenon shown to impact performance in testing and evaluation situations (Katz, Roberts, & Robinson, 1965; Steele & Aronson, 1995). When related to gender, stereotype threat can lead women to score lower than men on standardized math exams (Spencer, Steele, & Quinn, 1999). Stereotype threat may be one reason women have lower enrollment in most science, technology, engineering, and mathematics (STEM) majors, hold a smaller number of STEM careers than men, and have a higher attrition rate in STEM professions (Hill, Corbet, & Rose, 2010; Picho & Brown 2011; Sorby & Baartmans, 2000). Most research has investigated stereotype threat using experiments yielding mixed results (Stoet & Geary, 2012). Thus, there is a need to explore stereotype threat using quantitative surveys and qualitative methods to examine other contextual factors that contribute to gender difference in STEM fields. This dissertation outlined a mixed methods study designed to, first, qualitatively explore stereotype threat and contextual factors related to high achieving women in STEM fields, as well as women who have failed and/or avoided STEM fields. Then, the quantitative portion of the study used the themes from the qualitative phase to create a survey that measured stereotype threat and other contextual variables related to STEM success and failure/avoidance. Fifteen participants were interviewed for the qualitative phase of the study and six themes emerged. The quantitative survey was completed 242 undergraduate participants. T-tests, correlations, regressions, and mediation analyses were used to analyze the data. There were significant relationships between stereotype threat and STEM confidence, STEM anxiety, giving up in STEM, and STEM achievement. Overall, this mixed methods study advanced qualitative research on stereotype threat, developed a much-needed scale for the measurement of stereotype threat, and tested the developed scale.
Mathematical problems for chemistry students
Pota, Gyorgy
2011-01-01
Mathematical Problems for Chemistry Students has been compiled and written (a) to help chemistrystudents in their mathematical studies by providing them with mathematical problems really occurring in chemistry (b) to help practising chemists to activate their applied mathematical skills and (c) to introduce students and specialistsof the chemistry-related fields (physicists, mathematicians, biologists, etc.) intothe world of the chemical applications.Some problems of the collection are mathematical reformulations of those in the standard textbooks of chemistry, others we
Finite mathematics models and applications
Morris, Carla C
2015-01-01
Features step-by-step examples based on actual data and connects fundamental mathematical modeling skills and decision making concepts to everyday applicability Featuring key linear programming, matrix, and probability concepts, Finite Mathematics: Models and Applications emphasizes cross-disciplinary applications that relate mathematics to everyday life. The book provides a unique combination of practical mathematical applications to illustrate the wide use of mathematics in fields ranging from business, economics, finance, management, operations research, and the life and social sciences.
Georgiou, George K; Tziraki, Niki; Manolitsis, George; Fella, Argyro
2013-07-01
We examined (a) what rapid automatized naming (RAN) components (articulation time and/or pause time) predict reading and mathematics ability and (b) what processing skills involved in RAN (speed of processing, response inhibition, working memory, and/or phonological awareness) may explain its relationship with reading and mathematics. A sample of 72 children were followed from the beginning of kindergarten until the end of Grade 1 and were assessed on measures of RAN, general cognitive ability, speed of processing, attention, working memory, phonological awareness, reading, and mathematics. The results indicated that pause time was the critical component in both the RAN-reading and RAN-mathematics relationships and that it shared most of its predictive variance in reading and mathematics with speed of processing and working memory. Our findings further suggested that, unlike the relationship between RAN and reading fluency in Grade 1, there is nothing in the RAN task that is uniquely related to math. Copyright © 2013 Elsevier Inc. All rights reserved.
International Nuclear Information System (INIS)
Barett, L.K.
1979-05-01
This report contains a description of the work performed under the Department of Energy Contract No. ER078-S-05-5944 to the University of Tennessee. The major objective of this contract was to survey and to classify a selection of the mathematics used in energy-related activities at the Tennessee Valley Authority (TVA), at Union Carbide's Oak Ridge Facilities (UCORF), and at the University of Tennessee College of Engineering (UTCE). Eighty-seven projects were identified at these organizations in which mathematics plays a significant modeling or problem-solving role. Uniform abstracts of these projects are included in this report, as well as abstracts of twenty-seven presentations by TVA and UCORF personnel on the topic of mathematics in energy research, at the 1978 Fall SIAM meeting. Classifications of these one hundred and fourteen abstracts are given in terms of the energy area or function involved and in terms of the mathematical disciplines used in the activity. Only a selection of the mathematical activity at the TVA, UCORF, and UTCE involved in energy research was obtained due to time and budget constraints. However, it was possible to make some important observations and recommendations based upon these sample data, and these are included in the summary of this report
Y-formalism and b ghost in the non-minimal pure spinor formalism of superstrings
International Nuclear Information System (INIS)
Oda, Ichiro; Tonin, Mario
2007-01-01
We present the Y-formalism for the non-minimal pure spinor quantization of superstrings. In the framework of this formalism we compute, at the quantum level, the explicit form of the compound operators involved in the construction of the b ghost, their normal-ordering contributions and the relevant relations among them. We use these results to construct the quantum-mechanical b ghost in the non-minimal pure spinor formalism. Moreover we show that this non-minimal b ghost is cohomologically equivalent to the non-covariant b ghost
Fuhs, Mary Wagner; McNeil, Nicole M
2013-01-01
Recent findings by Libertus, Feigenson, and Halberda (2011) suggest that there is an association between the acuity of young children's approximate number system (ANS) and their mathematics ability before exposure to instruction in formal schooling. The present study examined the generalizability and validity of these findings in a sample of preschoolers from low-income homes. Children attending Head Start (N = 103) completed measures to assess ANS acuity, mathematics ability, receptive vocabulary, and inhibitory control. Results showed only a weak association between ANS acuity and mathematics ability that was reduced to non-significance when controlling for a direct measure of receptive vocabulary. Results also revealed that inhibitory control plays an important role in the relation between ANS acuity and mathematics ability. Specifically, ANS acuity accounted for significant variance in mathematics ability over and above receptive vocabulary, but only for ANS acuity trials in which surface area conflicted with numerosity. Moreover, this association became non-significant when controlling for inhibitory control. These results suggest that early mathematical experiences prior to formal schooling may influence the strength of the association between ANS acuity and mathematics ability and that inhibitory control may drive that association in young children. © 2012 Blackwell Publishing Ltd.
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
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
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…
McHugh, Luisa
Contemporary research has suggested that in order for students to compete globally in the 21st century workplace, pedagogy must shift to include the integration of science and mathematics, where teachers effectively incorporate the two disciplines seamlessly. Mathematics facilitates a deeper understanding of science concepts and has been linked to improved student perception of the integration of science and mathematics. Although there is adequate literature to substantiate students' positive responses to integration in terms of attitudes, there has been little empirical data to support significant academic improvement when both disciplines are taught in an integrated method. This research study, conducted at several school districts on Long Island and New York City, New York, examined teachers' attitudes toward integration and students' attitudes about, and achievement on assessments in, an integrated 8th grade science classroom compared to students in a non-integrated classroom. An examination of these parameters was conducted to analyze the impact of the sizeable investment of time and resources needed to teach an integrated curriculum effectively. These resources included substantial teacher training, planning time, collaboration with colleagues, and administration of student assessments. The findings suggest that students had positive outcomes associated with experiencing an integrated science and mathematics curriculum, though these were only weakly correlated with teacher confidence in implementing the integrated model successfully. The positive outcomes included the ability of students to understand scientific concepts within a concrete mathematical framework, improved confidence in applying mathematics to scientific ideas, and increased agreement with the usefulness of mathematics in interpreting science concepts. Implications of these research findings may be of benefit to educators and policymakers looking to adapt integrated curricula in order to
Kudri, F.; Rahmi, R.; Haryono, Y.
2018-04-01
This research is motivated by the lack of understanding of mathematical concepts students and teachers have not familiarize students discussed in groups. This researchaims to determine whether an understanding of mathematical concepts junior class VIII SMPN 2 in Ranah Batahan Kabupaten Pasaman Barat by applying active learning strategy group to group types with LKS better than conventional learning. The type of research is experimental the design of randomized trials on the subject. The population in the study were all students VIII SMPN 2 Ranah Batahan Kabupaten Pasaman Barat in year 2012/2013 which consists of our class room experiment to determine the grade and control class with do nerandomly, so that classes VIII1 elected as a experiment class and class VIII4 as a control class. The instruments used in the test empirically understanding mathematical concepts are shaped by the essay with rt=0,82 greater than rt=0,468 means reliable tests used. The data analysis technique used is the test with the help of MINITAB. Based on the results of the data analisis known that both of the sample are normal and homogenity in real rate α = 0,05, so the hypothesis of this research is received. So, it can be concluded students’ understanding mathematical concept applied the active Group to Group learning strategy with LKS is better than the students’ understanding mathematical concept with Conventional Learning.
Formal Concept Analysis for Information Retrieval
Qadi, Abderrahim El; Aboutajedine, Driss; Ennouary, Yassine
2010-01-01
In this paper we describe a mechanism to improve Information Retrieval (IR) on the web. The method is based on Formal Concepts Analysis (FCA) that it is makes semantical relations during the queries, and allows a reorganizing, in the shape of a lattice of concepts, the answers provided by a search engine. We proposed for the IR an incremental algorithm based on Galois lattice. This algorithm allows a formal clustering of the data sources, and the results which it turns over are classified by ...
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.
Perception determinants in learning mathematics
Mokhtar, Siti Fairus; Ali, Noor Rasidah; Rashid, Nurazlina Abdul
2015-05-01
This article described a statistical study of students' perception in mathematics. The objective of this study is to identify factors related to perception about learning mathematics among non mathematics' student. This study also determined the relationship between of these factors among non mathematics' student. 43 items questionnaires were distributed to one hundred students in UiTM Kedah who enrolled in the Business Mathematics course. These items were measured by using a semantic scale with the following anchors: 1 = strongly disagree to 7 = strongly agree. A factor analysis of respondents were identified into five factors that influencing the students' perception in mathematics. In my study, factors identified were attitude, interest, role of the teacher, role of peers and usefulness of mathematics that may relate to the perception about learning mathematics among non mathematics' student.
Maintaining formal models of living guidelines efficiently
Seyfang, Andreas; Martínez-Salvador, Begoña; Serban, Radu; Wittenberg, Jolanda; Miksch, Silvia; Marcos, Mar; Ten Teije, Annette; Rosenbrand, Kitty C J G M
2007-01-01
Translating clinical guidelines into formal models is beneficial in many ways, but expensive. The progress in medical knowledge requires clinical guidelines to be updated at relatively short intervals, leading to the term living guideline. This causes potentially expensive, frequent updates of the
Confusion about entrepreneurship? Formal versus informal small ...
African Journals Online (AJOL)
chestt
that contributes to both business formation and the ultimate expansion or growth of the business. The entrepreneurial actions related to these business activities are analysed in this study. The differential application of these actions in the formal and informal business panels is of particular importance for this study. Although ...
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.
Morsanyi, Kinga; Primi, Caterina; Handley, Simon J; Chiesi, Francesca; Galli, Silvia
2012-11-01
In two experiments, we tested some of the central claims of the empathizing-systemizing (E-S) theory. Experiment 1 showed that the systemizing quotient (SQ) was unrelated to performance on a mathematics test, although it was correlated with statistics-related attitudes, self-efficacy, and anxiety. In Experiment 2, systemizing skills, and gender differences in these skills, were more strongly related to spatial thinking styles than to SQ. In fact, when we partialled the effect of spatial thinking styles, SQ was no longer related to systemizing skills. Additionally, there was no relationship between the Autism Spectrum Quotient (AQ) and the SQ, or skills and interest in mathematics and mechanical reasoning. We discuss the implications of our findings for the E-S theory, and for understanding the autistic cognitive profile. ©2011 The British Psychological Society.
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 ...
DEFF Research Database (Denmark)
Winsløw, Carl
2015-01-01
Mathematics is studied in universities by a large number of students. At the same time it is a field of research for a (smaller) number of university teachers. What relations, if any, exist between university research and teaching of mathematics? Can research “support” teaching? What research...... and what teaching? In this presentation we propose a theoretical framework to study these questions more precisely, based on the anthropological theory of didactics. As a main application, the links between the practices of mathematical research and university mathematics teaching are examined...
How to solve mathematical problems
Wickelgren, Wayne A
1995-01-01
Seven problem-solving techniques include inference, classification of action sequences, subgoals, contradiction, working backward, relations between problems, and mathematical representation. Also, problems from mathematics, science, and engineering with complete solutions.
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 ...
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.
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.
Vukovic, Rose K.; Kieffer, Michael J.; Bailey, Sean P.; Harari, Rachel R.
2013-01-01
This study explored mathematics anxiety in a longitudinal sample of 113 children followed from second to third grade. We examined how mathematics anxiety related to different types of mathematical performance concurrently and longitudinally and whether the relations between mathematics anxiety and mathematical performance differed as a function of…
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…
Skaalvik, Einar M.; Federici, Roger A.
2016-01-01
The purpose of this study was to test possible interactions between mastery and performance goal structures in mathematics classrooms when predicting students' goal orientations. More specifically, we tested if the degree of performance goal structure moderated the associations between mastery goal structure and students' goal orientations.…
Gilmore, Joanna; Maher, Michelle A.; Feldon, David F.; Timmerman, Briana
2014-01-01
Research indicates that modifying teachers' beliefs about learning and teaching (i.e. teaching orientation) may be a prerequisite to changing their teaching practices. This mixed methods study quantitized data from interviews with 65 graduate teaching assistants (GTAs) from science, technology, engineering, and mathematics (STEM) fields to assess…
Walkington, Candace; Clinton, Virginia; Ritter, Steven N.; Nathan, Mitchell J.
2015-01-01
Solving mathematics story problems requires text comprehension skills. However, previous studies have found few connections between traditional measures of text readability and performance on story problems. We hypothesized that recently developed measures of readability and topic incidence measured by text-mining tools may illuminate associations…
van Langen, A.; Rekers-Mombarg, L; Dekkers, H
2006-01-01
The more science and mathematics subjects that pupils in pre-university education include in their final examination package, the more future academic routes are available to them. Equality of educational opportunity is thus threatened when groups of pupils, distinguished by sex and family
Ivrendi, Asiye
2016-01-01
Number sense and self-regulation are considered foundational skills for later school learning. This study aimed to investigate the predictive power of kindergarten children's number sense and self-regulation scores on their mathematics and Turkish language examination scores in the 5th and 6th grades. The participants in this study were 5th grade…
Formal Semantics: Origins, Issues, Early Impact
Directory of Open Access Journals (Sweden)
Barbara H. Partee
2010-12-01
Full Text Available Formal semantics and pragmatics as they have developed since the late 1960's have been shaped by fruitful interdisciplinary collaboration among linguists, philosophers, and logicians, among others, and in turn have had noticeable effects on developments in syntax, philosophy of language, computational linguistics, and cognitive science.In this paper I describe the environment in which formal semantics was born and took root, highlighting the differences in ways of thinking about natural language semantics in linguistics and in philosophy and logic. With Montague as a central but not solo player in the story, I reflect on crucial developments in the 1960's and 70's in linguistics and philosophy, and the growth of formal semantics and formal pragmatics from there. I discuss innovations, key players, and leading ideas that shaped the development of formal semantics and its relation to syntax, to pragmatics, and to the philosophy of language in its early years, and some central aspects of its early impact on those fields.ReferencesAbbott, B. 1999. ‘The formal approach to meaning: Formal semantics and its recent developments’. Journal of Foreign Languages (Shanghai119, no. 1: 2–20. https://www.msu.edu/~abbottb/formal.htm.Ajdukiewicz, K. 1960. Je¸zyk i Poznanie (Language and Knowledge. Warsaw.Bach, E. 1968. ‘Nouns and Noun Phrases’. In E. Bach & R.T. Harms (eds. ‘Universals in Linguistic Theory’, 90–122. NY: Holt, Rinehart & Winston.Bach, E. 1989. Informal Lectures on Formal Semantics. New York: State University of New York Press.Bar-Hillel, Y. 1954a. ‘Logical syntax and semantics’. Language 30: 230–237.http://dx.doi.org/10.2307/410265Bar-Hillel, Y. 1954b. ‘Indexical Expressions’. Mind 63: 359–379.http://dx.doi.org/10.1093/mind/LXIII.251.359Bar-Hillel, Y. 1963. ‘Remarks on Carnap’s Logical Syntax of Language’. In P. A. Schilpp (ed. ‘The Philosophy of Rudolf Carnap’, 519–543. LaSalle, Illinois / London: Open
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
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…
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...
Towards a formal taxonomy of hybrid uncertainty representations
Energy Technology Data Exchange (ETDEWEB)
Joslyn, C.; Rocha, L.
1997-02-01
Recent years have seen a proliferation of methods in addition to probability theory to represent information and uncertainty, including fuzzy sets and systems, fuzzy measures, rough sets, random sets, possibility distributions, imprecise probabilities, etc. We can identify these fields collectively as General Information Theory. The components of GIT represent information according to different axiomatic bases, and are thus capable of capturing different semantic aspects of uncertainty. Traditionally, these semantic criteria include such categories as fuzziness, vagueness, nonspecificity, conflict, and randomness. So it is clear that there is a pressing need for the GIT community to synthesize these methods, searching out larger formal frameworks within which to place these various components with respect to each other. Ideally, syntactic (mathematical) generalization can both aid and be aided by the semantic analysis available in terms of the conceptual categories outlined above. In this paper we present some preliminary ideas about how to formally relate various uncertainty representations together in a taxonomic lattice, capturing both syntactic and semantic generalization. Some partial and provisional results are shown. Assume a simple finite universe of discourse {Omega} = (a, b, c). We want to describe a situation in which we ask a question of the sort {open_quotes}what is the value of a variable x which takes values in {Omega}?{close_quotes}. When there is no uncertainty, we have a single alternative, say x = a. In logical terms, we would say that the proposition p: {open_quotes}the value of x is a{close_quotes} is TRUE. Our approach begins with two primitive concepts which can change our knowledge of x, each of which represents a different form of uncertainty, nonspecificity and fuxxiness.
Directory of Open Access Journals (Sweden)
Abu Darda
2016-01-01
Full Text Available The objective of mathematics education is not only preparingmathematicians but making well-informed citizens. This is a broad generalterms for objective of the teaching of mathematics. And, this might beimplemented as “accurate thorough knowledge” or “original logicalthinking”. So, teaching mathematics is not the conversation andtransmission of mathematical knowledge, but on the aim of preparing wellinformedcitizens trained in independent, critical thinking.By the mathematics, sciences become simple, clearer, and easier to bedeveloped. The mathematics is often applied for solving any problem ofother field of sciences, either in the physics such as astronomy, chemistry,technique; or social sciences such as economy, demography, and assurance.Those all need an analysis reading ability.Mathematical skill, therefore, relates strongly with the analysisreading ability in the human intellectual structure. This study is about therelationship between them. And, result of the study shows us as below:Both Mathematical skill and analysis reading ability possess the “high type”of thinking operation. Both also involve the same content of the abstractintelligent, i.e. symbolic and semantic contents. Last but not least, both alsouse the same product of thinking, i.e. units, classes, relations, and systems.Both can be transformed and have an implication.
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.
Formal Darwinism, the individual-as-maximizing-agent analogy and bet-hedging
Grafen, A.
1999-01-01
The central argument of The origin of species was that mechanical processes (inheritance of features and the differential reproduction they cause) can give rise to the appearance of design. The 'mechanical processes' are now mathematically represented by the dynamic systems of population genetics, and the appearance of design by optimization and game theory in which the individual plays the part of the maximizing agent. Establishing a precise individual-as-maximizing-agent (IMA) analogy for a population-genetics system justifies optimization approaches, and so provides a modern formal representation of the core of Darwinism. It is a hitherto unnoticed implication of recent population-genetics models that, contrary to a decades-long consensus, an IMA analogy can be found in models with stochastic environments (subject to a convexity assumption), in which individuals maximize expected reproductive value. The key is that the total reproductive value of a species must be considered as constant, so therefore reproductive value should always be calculated in relative terms. This result removes a major obstacle from the theoretical challenge to find a unifying framework which establishes the IMA analogy for all of Darwinian biology, including as special cases inclusive fitness, evolutionarily stable strategies, evolutionary life-history theory, age-structured models and sex ratio theory. This would provide a formal, mathematical justification of fruitful and widespread but 'intentional' terms in evolutionary biology, such as 'selfish', 'altruism' and 'conflict'.
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.
The higher returns to formal education for entrepreneurs versus employees
van Praag, M.; van Witteloostuijn, A.; van der Sluis, J.
2013-01-01
How valuable is formal education for entrepreneurs’ income relative to employees’? And if the income returns to formal education are different for entrepreneurs vis-à-vis employees, what might be a plausible explanation? To explore these questions, we analyze a large representative US panel. We show
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
The formal operations: Piaget’s concept, researches and main critics
Directory of Open Access Journals (Sweden)
Stepanović Ivana Ž.
2004-01-01
Full Text Available This paper deals with Piaget's concept of formal operations, formal operations researches and critics related to the concept. The first part of the work is dedicated to the formal operations concept. The main characteristics of formal operational thought and formal operations structure, as well as structure logical model are presented in that part of the work. The second part is a review of formal operational researches and it is divided in three parts: (1 problems of researches (2 characteristics of applied methodology and (3 author approaches as a specific research context. In the last part of the work the main critics of formal operations concept are presented and discussed.
Moving interprofessional learning forward through formal assessment.
Stone, Judy
2010-04-01
There is increasing agreement that graduates who finish tertiary education with the full complement of skills and knowledge required for their designated profession are not 'work-ready' unless they also acquire interpersonal, collaborative practice and team-working capabilities. Health workers are unable to contribute to organisational culture in a positive way unless they too attain these capabilities. These capabilities have been shown to improve health care in terms of patient safety, worker satisfaction and health service efficiency. Given the importance of interprofessional learning (IPL) which seeks to address these capabilities, why is IPL not consistently embedded into the education of undergraduates, postgraduates and vocationally qualified personnel through formal assessment? This paper offers an argument for the formal assessment of IPL. It illustrates how the interests of the many stakeholders in IPL can benefit from, and contribute to, the integration of IPL into mainstream professional development and tertiary education. It offers practical examples of assessment in IPL which could drive learning and offer authentic, contextual teaching and learning experiences to undergraduates and health workers alike. Assessment drives learning and without formal assessment IPL will continue to be viewed as an optional topic of little relative importance for learners. In order to make the next step forward, IPL needs to be recognised and endorsed through formal assessment, both at the tertiary education level and within the workplace environment. This is supported by workforce initiatives and tertiary education policy which can be used to specify the capabilities or generic skills necessary for effective teamwork and collaborative practice.
Formal truncations of connected kernel equations
International Nuclear Information System (INIS)
Dixon, R.M.
1977-01-01
The Connected Kernel Equations (CKE) of Alt, Grassberger and Sandhas (AGS); Kouri, Levin and Tobocman (KLT); and Bencze, Redish and Sloan (BRS) are compared against reaction theory criteria after formal channel space and/or operator truncations have been introduced. The Channel Coupling Class concept is used to study the structure of these CKE's. The related wave function formalism of Sandhas, of L'Huillier, Redish and Tandy and of Kouri, Krueger and Levin are also presented. New N-body connected kernel equations which are generalizations of the Lovelace three-body equations are derived. A method for systematically constructing fewer body models from the N-body BRS and generalized Lovelace (GL) equations is developed. The formally truncated AGS, BRS, KLT and GL equations are analyzed by employing the criteria of reciprocity and two-cluster unitarity. Reciprocity considerations suggest that formal truncations of BRS, KLT and GL equations can lead to reciprocity-violating results. This study suggests that atomic problems should employ three-cluster connected truncations and that the two-cluster connected truncations should be a useful starting point for nuclear 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.
Developing mathematical modelling competence
DEFF Research Database (Denmark)
Blomhøj, Morten; Jensen, Tomas Højgaard
2003-01-01
In this paper we introduce the concept of mathematical modelling competence, by which we mean being able to carry through a whole mathematical modelling process in a certain context. Analysing the structure of this process, six sub-competences are identified. Mathematical modelling competence...... cannot be reduced to these six sub-competences, but they are necessary elements in the development of mathematical modelling competence. Experience from the development of a modelling course is used to illustrate how the different nature of the sub-competences can be used as a tool for finding...... the balance between different kinds of activities in a particular educational setting. Obstacles of social, cognitive and affective nature for the students' development of mathematical modelling competence are reported and discussed in relation to the sub-competences....
Mathematical Thinking and Creativity through Mathematical Problem Posing and Solving
Directory of Open Access Journals (Sweden)
María F. Ayllón
2016-04-01
Full Text Available This work shows the relationship between the development of mathematical thinking and creativity with mathematical problem posing and solving. Creativity and mathematics are disciplines that do not usually appear together. Both concepts constitute complex processes sharing elements, such as fluency (number of ideas, flexibility (range of ideas, novelty (unique idea and elaboration (idea development. These factors contribute, among others, to the fact that schoolchildren are competent in mathematics. The problem solving and posing are a very powerful evaluation tool that shows the mathematical reasoning and creative level of a person. Creativity is part of the mathematics education and is a necessary ingredient to perform mathematical assignments. This contribution presents some important research works about problem posing and solving related to the development of mathematical knowledge and creativity. To that end, it is based on various beliefs reflected in the literature with respect to notions of creativity, problem solving and posing.
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
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
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.
Toward a Formal Model of Cognitive Synergy
Goertzel, Ben
2017-01-01
"Cognitive synergy" refers to a dynamic in which multiple cognitive processes, cooperating to control the same cognitive system, assist each other in overcoming bottlenecks encountered during their internal processing. Cognitive synergy has been posited as a key feature of real-world general intelligence, and has been used explicitly in the design of the OpenCog cognitive architecture. Here category theory and related concepts are used to give a formalization of the cognitive synergy concept....
Time delay in a multichannel formalism
International Nuclear Information System (INIS)
Haberzettl, Helmut; Workman, Ron
2007-01-01
We reexamine the time-delay formalism of Wigner, Eisenbud, and Smith, which was developed to analyze both elastic and inelastic resonances. An error in the paper of Smith has propagated through the literature. We correct this error and show how the results of Eisenbud and Smith are related. We also comment on some recent time-delay studies, based on Smith's erroneous interpretation of the Eisenbud result
Codding, Robin S; Petscher, Yaacov; Truckenmiller, Adrea
2015-05-01
A paucity of research has examined the utility of curriculum-based measurement (CBM) for data-based decision making at the secondary level. As schools move to multitiered systems of service delivery, it is conceivable that multiple screening measures will be used that address various academic subject areas. The value of including different CBM indices measures is not well understood. The purpose of this study was to (a) examine the relationship among a variety of reading, writing, and mathematics CBM indices administered to 249 seventh-grade students; (b) investigate amount and patterns of growth; and (c) examine predictive validity to a high-stakes state test using latent factor analysis and multiple indicator growth models. Results indicated strong correspondence among CBM types for fall static scores but weak relationships among slopes. Different patterns of growth were yielded for CBM writing than for CBM reading and mathematics. Findings from this study suggested that although reading, mathematics, and writing CBM were independently and moderately related to both English Language Arts and Math test scores, reading was the strongest predictor when all 3 CBM constructs were considered jointly.
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…
Can mathematics explain the evolution of human language?
Witzany, Guenther
2011-09-01
Investigation into the sequence structure of the genetic code by means of an informatic approach is a real success story. The features of human language are also the object of investigation within the realm of formal language theories. They focus on the common rules of a universal grammar that lies behind all languages and determine generation of syntactic structures. This universal grammar is a depiction of material reality, i.e., the hidden logical order of things and its relations determined by natural laws. Therefore mathematics is viewed not only as an appropriate tool to investigate human language and genetic code structures through computer science-based formal language theory but is itself a depiction of material reality. This confusion between language as a scientific tool to describe observations/experiences within cognitive constructed models and formal language as a direct depiction of material reality occurs not only in current approaches but was the central focus of the philosophy of science debate in the twentieth century, with rather unexpected results. This article recalls these results and their implications for more recent mathematical approaches that also attempt to explain the evolution of human language.
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
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...
Critical Mathematics education: Past, present and future
DEFF Research Database (Denmark)
contribution to the shaping of those concerns in the international community of mathematics educators and mathematics education researchers. This book gathers contributions of researchers from five continents, for whom critical mathematics education has been an inspiration to think about many different topics...... such as the dialogical and political dimensions of teacher education, mathematical modeling, the philosophy of mathematics from social and political perspectives, teaching practices in classrooms, the connection between mathematics and society, the scope and limits of critical thinking in relation to mathematics......Critical mathematics education brings together a series of concerns related to mathematics and its role in society, the practices of teaching and learning of mathematics in educational settings, and the practices of researching mathematics education. The work of Ole Skovsmose has provided a seminal...
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...
Constructing mathematical knowledge
Ernest, Paul
2012-01-01
This book provides a panorama of complimentary and forward looking perspectives on the learning of mathematics and epistemology from some of the leading contributors to the field. It explores constructivist and social theories of learning, and discusses the role of the computer in the light of these theories. It brings analyses from psychoanalysis, Hermeneutics and other perspectives to bear on the issues of mathematics and learning. It enquires into the nature of enquiry itself, and an important emergent theme is the role of language. Finally it relates the history of mathematics to its te
Applied impulsive mathematical models
Stamova, Ivanka
2016-01-01
Using the theory of impulsive differential equations, this book focuses on mathematical models which reflect current research in biology, population dynamics, neural networks and economics. The authors provide the basic background from the fundamental theory and give a systematic exposition of recent results related to the qualitative analysis of impulsive mathematical models. Consisting of six chapters, the book presents many applicable techniques, making them available in a single source easily accessible to researchers interested in mathematical models and their applications. Serving as a valuable reference, this text is addressed to a wide audience of professionals, including mathematicians, applied researchers and practitioners.
Contemporary mathematical physics
Dobrushin, R L; Shubin, M A; Vershik, Anatoly M
1996-01-01
This first of a two-volume collection is a celebration of the scientific heritage of F. A. Berezin (1931-1980). Before his untimely death, Berezin had an important influence on physics and mathematics, discovering new ideas in mathematical physics, representation theory, analysis, geometry, and other areas of mathematics. His crowning achievements were the introduction of a new notion of deformation quantization, and Grassmannian analysis ("supermathematics"). Collected here are papers by his many of his colleagues and others who worked in related areas, representing a wide spectrum of topics
Hollingdale, S. H
1989-01-01
Fascinating and highly readable, this book recounts the history of mathematics as revealed in the lives and writings of the most distinguished practitioners of the art: Archimedes, Descartes, Fermat, Pascal, Newton, Leibniz, Euler, Gauss, Hamilton, Einstein, and many more. Author Stuart Hollingdale introduces and explains the roles of these gifted and often colorful figures in the development of mathematics as well as the ways in which their work relates to mathematics as a whole.Although the emphasis in this absorbing survey is primarily biographical, Hollingdale also discusses major historic
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.
ABOUT THREE PROCESSES IN MATHEMATICS EDUCATION FOR SOLIDARITY ECONOMY ENTERPRISES
Directory of Open Access Journals (Sweden)
Renata Cristina Geromel Meneghetti
2013-07-01
Full Text Available This paper focuses on Mathematics Education in the context of Solidarity Economy and aims to approach our performance, aiming to answer demands of Mathematics Education of the three Solidarity Economy Enterprises (SEE: a cooperative cleaning, of a women carpenter’s group and a group manufacturing homemade soap. Based on the Ethnomathematics, a pedagogical intervention with these SEE was performed, in which we seek to work the Mathematics within the cultural context of these enterprises through problem situations related to their daily work. The research followed a qualitative research through action research. As a result we found that the approach applied has contributed to changes some attitudes, it was favorable to the learning of concepts and also the socioeconomic reintegration, in the direction of a posture more critical and emancipatory. The interventions were inserted in the Non Formal Education, and we point out that realize this type of education can indeed contribute to the ideals of Education in the Solidarity Economy as a way include those who have been socially excluded by formal education provided at school.
Introduction to relation algebras relation algebras
Givant, Steven
2017-01-01
The first volume of a pair that charts relation algebras from novice to expert level, this text offers a comprehensive grounding for readers new to the topic. Upon completing this introduction, mathematics students may delve into areas of active research by progressing to the second volume, Advanced Topics in Relation Algebras; computer scientists, philosophers, and beyond will be equipped to apply these tools in their own field. The careful presentation establishes first the arithmetic of relation algebras, providing ample motivation and examples, then proceeds primarily on the basis of algebraic constructions: subalgebras, homomorphisms, quotient algebras, and direct products. Each chapter ends with a historical section and a substantial number of exercises. The only formal prerequisite is a background in abstract algebra and some mathematical maturity, though the reader will also benefit from familiarity with Boolean algebra and naïve set theory. The measured pace and outstanding clarity are particularly ...
International Nuclear Information System (INIS)
Snow, D.R.
1975-01-01
This paper provides mathematicians and other persons interested in energy problems with some ideas of the kinds of mathematics being applied and a few ideas for further investigation both in the relevant mathematics and in mathematical modeling. This paper is not meant to be an extensive bibliography on the subject, but references are provided. The Conference emphasized large scale and economic considerations related to energy rather than specific technologies, but additional mathematical problems arising in current and future technologies are suggested. Several of the papers dealt with linear programming models of large scale systems related to energy. These included economic models, policy models, energy sector models for supply and demand and environmental concerns. One of the economic models utilized variational techniques including such things as the Hamiltonian, the Euler-Lagrange differential equation, transversality and natural boundary conditions
Formal Definition of Measures for BPMN Models
Reynoso, Luis; Rolón, Elvira; Genero, Marcela; García, Félix; Ruiz, Francisco; Piattini, Mario
Business process models are currently attaining more relevance, and more attention is therefore being paid to their quality. This situation led us to define a set of measures for the understandability of BPMN models, which is shown in a previous work. We focus on understandability since a model must be well understood before any changes are made to it. These measures were originally informally defined in natural language. As is well known, natural language is ambiguous and may lead to misunderstandings and a misinterpretation of the concepts captured by a measure and the way in which the measure value is obtained. This has motivated us to provide the formal definition of the proposed measures using OCL (Object Constraint Language) upon the BPMN (Business Process Modeling Notation) metamodel presented in this paper. The main advantages and lessons learned (which were obtained both from the current work and from previous works carried out in relation to the formal definition of other measures) are also summarized.
Mathematics for electronic technology
Howson, D P
1975-01-01
Mathematics for Electronic Technology is a nine-chapter book that begins with the elucidation of the introductory concepts related to use of mathematics in electronic engineering, including differentiation, integration, partial differentiation, infinite series, vectors, vector algebra, and surface, volume and line integrals. Subsequent chapters explore the determinants, differential equations, matrix analysis, complex variable, topography, graph theory, and numerical analysis used in this field. The use of Fourier method for harmonic analysis and the Laplace transform is also described. The ma
Structure, control and regulation of the formal market for medicinal ...
African Journals Online (AJOL)
There are informal and formal markets for medicinal plants' products in Nigeria. ... It is relatively new and underdeveloped. ... physical and facilitating functions while the conduct was described in terms of pricing and promotional strategies.
Gembong, S.; Suwarsono, S. T.; Prabowo
2018-03-01
Schema in the current study refers to a set of action, process, object and other schemas already possessed to build an individual’s ways of thinking to solve a given problem. The current study aims to investigate the schemas built among elementary school students in solving problems related to operations of addition to fractions. The analyses of the schema building were done qualitatively on the basis of the analytical framework of the APOS theory (Action, Process, Object, and Schema). Findings show that the schemas built on students of high and middle ability indicate the following. In the action stage, students were able to add two fractions by way of drawing a picture or procedural way. In the Stage of process, they could add two and three fractions. In the stage of object, they could explain the steps of adding two fractions and change a fraction into addition of fractions. In the last stage, schema, they could add fractions by relating them to another schema they have possessed i.e. the least common multiple. Those of high and middle mathematic abilities showed that their schema building in solving problems related to operations odd addition to fractions worked in line with the framework of the APOS theory. Those of low mathematic ability, however, showed that their schema on each stage did not work properly.
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.)...
Nitopi, Marie
During the last 30 years, women have made tremendous advances in educational attainment especially in post-secondary education. Despite these advances, recent researchers have revealed that women continue to remain underrepresented in attainment of graduate degrees in the sciences. The researcher's purpose in this study was to extend previous research and to develop a model of variables that significantly contribute to persistence in and attainment of a graduate degree and an eventual career in the science, mathematics, or technology professions. Data were collected from the Baccalaureate and Beyond Longitudinal Study (B&B:93/03). Variables in the categories of demographics, academics, finances, values and attitudes toward educational experiences, and future employment were analyzed by t tests and logistic regressions to determine gender differences in graduate degree attainment and career goals by male and female who majored in science, technology and mathematics. Findings supported significant gender differences in expectations for a graduate degree, age at baccalaureate degree attainment, number of science and engineering credits taken, and the value of faculty interactions. Father's education had a significant effect on degree attainment. Women and men had similar expectations at the beginning of their educational career, but women tended to fall short of their degree expectations ten years later. A large proportion of women dropped out of the science pipeline by choosing different occupations after degree completion. Additionally, women earned fewer science and math credits than men. The professions of science and technology are crucial for the nation's economic growth and competitiveness; therefore, additional researchers should focus on retaining both men and women in the STEM professions.
Implementation of Bourbaki's Elements of Mathematics in Coq: Part One, Theory of Sets
Directory of Open Access Journals (Sweden)
José Grimm
2010-01-01
Full Text Available This paper presents a formalization of the first book of the series ``Elements of Mathematics'' by Nicolas Bourbaki, using the Coq proof assistant.It discusses formalization of mathematics, and explains in which sense a computer proof of a statement corresponds to a proof in the Bourbaki sense, given that the Coq quantifiers are not defined in terms of Hilbert's epsilon function. The list of axioms and axiom schemes of Bourbaki is compared to the more usual Zermelo-Fraenkel theory, and to those proposed by Carlos Simpson, which form the basis of the Gaia software. Some basic constructions (union, intersection, product, function, equivalence and order relation are described, as well as some properties; this corresponds to Sections 1 to 6 of Chapter II, and the first two sections of Chapter III. A commented proof of Zermelo's theorem is also given. The code (including almost all exercises is available on the Web, underhttp://www-sop.inria.fr/apics/gaia.
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
Mathematics as verbal behavior.
Marr, M Jackson
2015-04-01
"Behavior which is effective only through the mediation of other persons has so many distinguishing dynamic and topographical properties that a special treatment is justified and indeed demanded" (Skinner, 1957, p. 2). Skinner's demand for a special treatment of verbal behavior can be extended within that field to domains such as music, poetry, drama, and the topic of this paper: mathematics. For centuries, mathematics has been of special concern to philosophers who have continually argued to the present day about what some deem its "special nature." Two interrelated principal questions have been: (1) Are the subjects of mathematical interest pre-existing in some transcendental realm and thus are "discovered" as one might discover a new planet; and (2) Why is mathematics so effective in the practices of science and engineering even though originally such mathematics was "pure" with applications neither contemplated or even desired? I argue that considering the actual practice of mathematics in its history and in the context of acquired verbal behavior one can address at least some of its apparent mysteries. To this end, I discuss some of the structural and functional features of mathematics including verbal operants, rule-and contingency-modulated behavior, relational frames, the shaping of abstraction, and the development of intuition. How is it possible to understand Nature by properly talking about it? Essentially, it is because nature taught us how to talk. Copyright © 2015 Elsevier B.V. All rights reserved.
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
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
Tilt, Alexandra C; Werner, Paul D; Brown, David F; Alam, Hassan B; Warshaw, Andrew L; Parry, Blair A; Jazbar, Brigita; Booker, Abigail; Stangenberg, Lars; Fricchione, Gregory L; Benson, Herbert; Lillemoe, Keith D; Conrad, Claudius
2013-05-01
To determine the factors that may predict music-induced relaxation in friends and family of patients in the emergency department. It remains unclear to date which demographic and experiential factors predict the effectiveness of music-induced relaxation. Furthermore, in-hospital stressors for friends and family of patients rather than patients themselves are underresearched and deserve in-depth investigation to improve this group's experience in health care environments. A total of 169 relatives and friends of patients in the emergency department-waiting area completed a series of questionnaires, including the Spielberger State-Trait Anxiety Inventory (STAI), the Music Experience Questionnaire (MEQ), and a demographic survey. They were then randomly assigned to either Case Group (1 hour in the waiting area with classical music in the background) or Control Group (1 hour with no music) before completing a second, identical copy of the STAI to measure change from baseline. Data were analyzed for associations between music intervention, change in STAI scores, MEQ scores, and demographic characteristics. Participants who underwent the music intervention experienced a 9.8% decrease in overall mean State Anxiety, whereas those in the Control Group experienced no change over time (P = 0.001). Higher education significantly inversely correlated with the effectiveness of music intervention: participants with no formal education beyond high school showed a greater overall mean decrease in State Anxiety than those with a college education or beyond in response to classical music (P = 0.006). Furthermore, MEQ scores indicated that the Social Uplift scale (a measure of one's tendency to be uplifted in a group-oriented manner by music) was highly predictive of the effectiveness of music intervention. Music is an effective and inexpensive means of reducing anxiety in friends and family of patients, who are underresearched in medicine. Moreover, low educational attainment and
Mathematical Literacy: A new literacy or a new mathematics?
Directory of Open Access Journals (Sweden)
Renuka Vithal
2006-10-01
Full Text Available Mathematical Literacy is a ‘hot’ topic at present in most countries, whether it is referred to by that name, or in some cases as Numeracy, or Quantitative Literacy, or Matheracy, or as some part of Ethnomathematics, or related to Mathematics in Society. Questions continue to be asked about what is meant by mathematics in any concept of Mathematical Literacy and the use of the very word ‘Literacy’ in its association with Mathematics has been challenged. Its importance, however, lies in changing our perspective on mathematics teaching, away from the elitism so often associated with much mathematics education, and towards a more equitable, accessible and genuinely educational ideal.
Analysis of mathematical modelling on potentiometric biosensors.
Mehala, N; Rajendran, L
2014-01-01
A mathematical model of potentiometric enzyme electrodes for a nonsteady condition has been developed. The model is based on the system of two coupled nonlinear time-dependent reaction diffusion equations for Michaelis-Menten formalism that describes the concentrations of substrate and product within the enzymatic layer. Analytical expressions for the concentration of substrate and product and the corresponding flux response have been derived for all values of parameters using the new homotopy perturbation method. Furthermore, the complex inversion formula is employed in this work to solve the boundary value problem. The analytical solutions obtained allow a full description of the response curves for only two kinetic parameters (unsaturation/saturation parameter and reaction/diffusion parameter). Theoretical descriptions are given for the two limiting cases (zero and first order kinetics) and relatively simple approaches for general cases are presented. All the analytical results are compared with simulation results using Scilab/Matlab program. The numerical results agree with the appropriate theories.
Topological M Theory from Pure Spinor Formalism
Grassi, P A; Grassi, Pietro Antonio; Vanhove, Pierre
2005-01-01
We construct multiloop superparticle amplitudes in 11d using the pure spinor formalism. We explain how this construction reduces to the superparticle limit of the multiloop pure spinor superstring amplitudes prescription. We then argue that this construction points to some evidence for the existence of a topological M theory based on a relation between the ghost number of the full-fledged supersymmetric critical models and the dimension of the spacetime for topological models. In particular, we show that the extensions at higher orders of the previous results for the tree and one-loop level expansion for the superparticle in 11 dimensions is related to a topological model in 7 dimensions.
Noncommutative gauge theories and Kontsevich's formality theorem
International Nuclear Information System (INIS)
Jurco, B.; Schupp, P.; Wess, J.
2001-01-01
The equivalence of star products that arise from the background field with and without fluctuations and Kontsevich's formality theorem allow an explicitly construction of a map that relates ordinary gauge theory and noncommutative gauge theory (Seiberg-Witten map.) Using noncommutative extra dimensions the construction is extended to noncommutative nonabelian gauge theory for arbitrary gauge groups; as a byproduct we obtain a 'Mini Seiberg-Witten map' that explicitly relates ordinary abelian and nonabelian gauge fields. All constructions are also valid for non-constant B-field, and even more generally for any Poisson tensor
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.
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.
ACADEMIC TRAINING LECTURE SERIES: Introduction to General Relativity and Black Holes
2003-01-01
10, 11, 12, 13, 14 February ACADEMIC TRAINING LECTURE SERIES from 11.00 to 12.00 hrs - Auditorium, bldg. 500 Introduction to General Relativity and Black Holes by T.DAMOUR, IHES, Bures-sur-Yvette, F - Physical motivation behind Einstein's theory. - Mathematical formalism of General Relativity. - Experimental confirmations of Einstein's theory. - Introduction to Black Holes physics.
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...
Formal refinement of extended state machines
Directory of Open Access Journals (Sweden)
Thomas Fayolle
2016-06-01
Full Text Available In a traditional formal development process, e.g. using the B method, the informal user requirements are (manually translated into a global abstract formal specification. This translation is especially difficult to achieve. The Event-B method was developed to incrementally and formally construct such a specification using stepwise refinement. Each increment takes into account new properties and system aspects. In this paper, we propose to couple a graphical notation called Algebraic State-Transition Diagrams (ASTD with an Event-B specification in order to provide a better understanding of the software behaviour. The dynamic behaviour is captured by the ASTD, which is based on automata and process algebra operators, while the data model is described by means of an Event-B specification. We propose a methodology to incrementally refine such specification couplings, taking into account new refinement relations and consistency conditions between the control specification and the data specification. We compare the specifications obtained using each approach for readability and proof complexity. The advantages and drawbacks of the traditional approach and of our methodology are discussed. The whole process is illustrated by a railway CBTC-like case study. Our approach is supported by tools for translating ASTD's into B and Event-B into B.