WorldWideScience

Sample records for time process algebra

  1. Real-time process algebra

    NARCIS (Netherlands)

    Bergstra, J.A.; Baeten, J.C.M.

    1991-01-01

    We describe an axiom system ACPp that incorporates real timed actions. Many examples are provided in order to explain the intuitive contents of the notation. ACP p is a generalisation of ACP. This implies that some of the axioms have to be relaxed and that ACP can be recovered as a special case from

  2. Process algebra with timing: Real time and discrete time

    NARCIS (Netherlands)

    Baeten, J.C.M.; Middelburg, C.A.

    1999-01-01

    We present real time and discrete time versions of ACP with absolute timing and relative timing. The startingpoint is a new real time version with absolute timing, called ACPsat , featuring urgent actions and a delay operator. The discrete time versions are conservative extensions of the discrete

  3. Real time process algebra with time-dependent conditions

    NARCIS (Netherlands)

    Baeten, J.C.M.; Middelburg, C.A.

    We extend the main real time version of ACP presented in [6] with conditionals in which the condition depends on time. This extension facilitates flexible dependence of proccess behaviour on initialization time. We show that the conditions concerned generalize the conditions introduced earlier

  4. Model Checking Process Algebra of Communicating Resources for Real-time Systems

    DEFF Research Database (Denmark)

    Boudjadar, Jalil; Kim, Jin Hyun; Larsen, Kim Guldstrand

    2014-01-01

    This paper presents a new process algebra, called PACOR, for real-time systems which deals with resource constrained timed behavior as an improved version of the ACSR algebra. We define PACOR as a Process Algebra of Communicating Resources which allows to express preemptiveness, urgent ness...... and resource usage over a dense-time model. The semantic interpretation of PACOR is defined in the form of a timed transition system expressing the timed behavior and dynamic creation of processes. We define a translation of PACOR systems to Parameterized Stopwatch Automata (PSA). The translation preserves...

  5. Model checking process algebra of communicating resources for real-time systems

    DEFF Research Database (Denmark)

    Boudjadar, Jalil; Kim, Jin Hyun; Larsen, Kim Guldstrand

    2014-01-01

    This paper presents a new process algebra, called PACoR, for real-time systems which deals with resource- constrained timed behavior as an improved version of the ACSR algebra. We define PACoR as a Process Algebra of Communicating Resources which allows to explicitly express preemptiveness......, urgentness and resource usage over a dense-time model. The semantic interpretation of PACoR is defined in the form of a timed transition system expressing the timed behavior and dynamic creation of processes. We define a translation of PACoR systems to Parameterized Stopwatch Automata (PSA). The translation...

  6. Process Algebra and Markov Chains

    NARCIS (Netherlands)

    Brinksma, Hendrik; Hermanns, H.; Brinksma, Hendrik; Hermanns, H.; Katoen, Joost P.

    This paper surveys and relates the basic concepts of process algebra and the modelling of continuous time Markov chains. It provides basic introductions to both fields, where we also study the Markov chains from an algebraic perspective, viz. that of Markov chain algebra. We then proceed to study

  7. Modular specifications in process algebra

    NARCIS (Netherlands)

    R.J. van Glabbeek (Rob); F.W. Vaandrager (Frits)

    1987-01-01

    textabstractIn recent years a wide variety of process algebras has been proposed in the literature. Often these process algebras are closely related: they can be viewed as homomorphic images, submodels or restrictions of each other. The aim of this paper is to show how the semantical reality,

  8. Linear Algebra and Image Processing

    Science.gov (United States)

    Allali, Mohamed

    2010-01-01

    We use the computing technology digital image processing (DIP) to enhance the teaching of linear algebra so as to make the course more visual and interesting. Certainly, this visual approach by using technology to link linear algebra to DIP is interesting and unexpected to both students as well as many faculty. (Contains 2 tables and 11 figures.)

  9. Space-time algebra

    CERN Document Server

    Hestenes, David

    2015-01-01

    This small book started a profound revolution in the development of mathematical physics, one which has reached many working physicists already, and which stands poised to bring about far-reaching change in the future. At its heart is the use of Clifford algebra to unify otherwise disparate mathematical languages, particularly those of spinors, quaternions, tensors and differential forms. It provides a unified approach covering all these areas and thus leads to a very efficient ‘toolkit’ for use in physical problems including quantum mechanics, classical mechanics, electromagnetism and relativity (both special and general) – only one mathematical system needs to be learned and understood, and one can use it at levels which extend right through to current research topics in each of these areas. These same techniques, in the form of the ‘Geometric Algebra’, can be applied in many areas of engineering, robotics and computer science, with no changes necessary – it is the same underlying mathematics, a...

  10. Towards a Process Algebra for Shared Processors

    DEFF Research Database (Denmark)

    Buchholtz, Mikael; Andersen, Jacob; Løvengreen, Hans Henrik

    2002-01-01

    We present initial work on a timed process algebra that models sharing of processor resources allowing preemption at arbitrary points in time. This enables us to model both the functional and the timely behaviour of concurrent processes executed on a single processor. We give a refinement relation...

  11. A process algebra model of QED

    International Nuclear Information System (INIS)

    Sulis, William

    2016-01-01

    The process algebra approach to quantum mechanics posits a finite, discrete, determinate ontology of primitive events which are generated by processes (in the sense of Whitehead). In this ontology, primitive events serve as elements of an emergent space-time and of emergent fundamental particles and fields. Each process generates a set of primitive elements, using only local information, causally propagated as a discrete wave, forming a causal space termed a causal tapestry. Each causal tapestry forms a discrete and finite sampling of an emergent causal manifold (space-time) M and emergent wave function. Interactions between processes are described by a process algebra which possesses 8 commutative operations (sums and products) together with a non-commutative concatenation operator (transitions). The process algebra possesses a representation via nondeterministic combinatorial games. The process algebra connects to quantum mechanics through the set valued process and configuration space covering maps, which associate each causal tapestry with sets of wave functions over M. Probabilities emerge from interactions between processes. The process algebra model has been shown to reproduce many features of the theory of non-relativistic scalar particles to a high degree of accuracy, without paradox or divergences. This paper extends the approach to a semi-classical form of quantum electrodynamics. (paper)

  12. Strong Bisimilarity of Simple Process Algebras

    DEFF Research Database (Denmark)

    Srba, Jirí

    2003-01-01

    We study bisimilarity and regularity problems of simple process algebras. In particular, we show PSPACE-hardness of the following problems: (i) strong bisimilarity of Basic Parallel Processes (BPP), (ii) strong bisimilarity of Basic Process Algebra (BPA), (iii) strong regularity of BPP, and (iv) ...

  13. A process algebra software engineering environment

    NARCIS (Netherlands)

    Diertens, B.

    2008-01-01

    In previous work we described how the process algebra based language PSF can be used in software engineering, using the ToolBus, a coordination architecture also based on process algebra, as implementation model. In this article we summarize that work and describe the software development process

  14. Verifying Process Algebra Proofs in Type Theory

    NARCIS (Netherlands)

    Sellink, M.P.A.

    In this paper we study automatic verification of proofs in process algebra. Formulas of process algebra are represented by types in typed λ-calculus. Inhabitants (terms) of these types represent proofs. The specific typed λ-calculus we use is the Calculus of Inductive Constructions as implemented

  15. Highly Undecidable Questions for Process Algebras

    DEFF Research Database (Denmark)

    Srba, Jiri; Jancar, Petr

    2004-01-01

    We show Sigma^1_1-completeness of weak bisimilarity for PA (process algebra), and of wek simulation preorder/equivalence for PDA (pushdown automata), PA and PN (Petri nets). We also show Pi^1_1-hardness of weak omega-trace equivalence for the sub(classes) of BPA (basic process algebra) and BPP...

  16. Algebra

    CERN Document Server

    Tabak, John

    2004-01-01

    Looking closely at algebra, its historical development, and its many useful applications, Algebra examines in detail the question of why this type of math is so important that it arose in different cultures at different times. The book also discusses the relationship between algebra and geometry, shows the progress of thought throughout the centuries, and offers biographical data on the key figures. Concise and comprehensive text accompanied by many illustrations presents the ideas and historical development of algebra, showcasing the relevance and evolution of this branch of mathematics.

  17. Process algebra with four-valued logic

    NARCIS (Netherlands)

    Bergstra, J.A.; Ponse, A.

    2000-01-01

    We propose a combination of a fragment of four-valued logic and process algebra. We present an operational semantics in SOS-style, and a completeness result for ACP with conditionals and four-valued logic.

  18. Space-time algebra for the generalization of gravitational field ...

    Indian Academy of Sciences (India)

    Abstract. The Maxwell–Proca-like field equations of gravitolectromagnetism are formulated using space-time algebra (STA). The gravitational wave equation with massive gravitons and gravit- omagnetic monopoles has been derived in terms of this algebra. Using space-time algebra, the most generalized form of ...

  19. Space-time algebra for the generalization of gravitational field ...

    Indian Academy of Sciences (India)

    The Maxwell–Proca-like field equations of gravitolectromagnetism are formulated using space-time algebra (STA). The gravitational wave equation with massive gravitons and gravitomagnetic monopoles has been derived in terms of this algebra. Using space-time algebra, the most generalized form of ...

  20. Performance assessment in algebra learning process

    Science.gov (United States)

    Lestariani, Ida; Sujadi, Imam; Pramudya, Ikrar

    2017-12-01

    The purpose of research to describe the implementation of performance assessment on algebra learning process. The subject in this research is math educator of SMAN 1 Ngawi class X. This research includes descriptive qualitative research type. Techniques of data collecting are done by observation method, interview, and documentation. Data analysis technique is done by data reduction, data presentation, and conclusion. The results showed any indication that the steps taken by the educator in applying the performance assessment are 1) preparing individual worksheets and group worksheets, 2) preparing rubric assessments for independent worksheets and groups and 3) making performance assessments rubric to learners’ performance results with individual or groups task.

  1. Reachability for Finite-State Process Algebras Using Static Analysis

    DEFF Research Database (Denmark)

    Skrypnyuk, Nataliya; Nielson, Flemming

    2011-01-01

    In this work we present an algorithm for solving the reachability problem in finite systems that are modelled with process algebras. Our method uses Static Analysis, in particular, Data Flow Analysis, of the syntax of a process algebraic system with multi-way synchronisation. The results of the D......In this work we present an algorithm for solving the reachability problem in finite systems that are modelled with process algebras. Our method uses Static Analysis, in particular, Data Flow Analysis, of the syntax of a process algebraic system with multi-way synchronisation. The results...

  2. Software engineering with process algebra: Modelling client / server architecures

    NARCIS (Netherlands)

    Diertens, B.

    2009-01-01

    In previous work we described how the process algebra based language PSF can be used in software engineering, using the ToolBus, a coordination architecture also based on process algebra, as implementation model. We also described this software development process more formally by presenting the

  3. On algebraic time-derivative estimation and deadbeat state reconstruction

    DEFF Research Database (Denmark)

    Reger, Johann; Jouffroy, Jerome

    2009-01-01

    This paper places into perspective the so-called algebraic time-derivative estimation method recently introduced by Fliess and co-authors with standard results from linear statespace theory for control systems. In particular, it is shown that the algebraic method can essentially be seen...

  4. Bochvar-McCarthy logic and process algebra

    NARCIS (Netherlands)

    Bergstra, J.A.; Ponse, A.

    1998-01-01

    We propose a combination of Bochvar's strict three-valued logic, McCarthy's sequential three-valued logic, and process algebra via the conditional guard construct. This combination entails the introduction of a new constant meaningless in process algebra. We present an operational semantics

  5. Algebra

    CERN Document Server

    Flanders, Harley

    1975-01-01

    Algebra presents the essentials of algebra with some applications. The emphasis is on practical skills, problem solving, and computational techniques. Topics covered range from equations and inequalities to functions and graphs, polynomial and rational functions, and exponentials and logarithms. Trigonometric functions and complex numbers are also considered, together with exponentials and logarithms.Comprised of eight chapters, this book begins with a discussion on the fundamentals of algebra, each topic explained, illustrated, and accompanied by an ample set of exercises. The proper use of a

  6. Algebra

    CERN Document Server

    Sepanski, Mark R

    2010-01-01

    Mark Sepanski's Algebra is a readable introduction to the delightful world of modern algebra. Beginning with concrete examples from the study of integers and modular arithmetic, the text steadily familiarizes the reader with greater levels of abstraction as it moves through the study of groups, rings, and fields. The book is equipped with over 750 exercises suitable for many levels of student ability. There are standard problems, as well as challenging exercises, that introduce students to topics not normally covered in a first course. Difficult problems are broken into manageable subproblems

  7. Time-evolution operators for (coupled) time-dependent oscillators and Lie algebraic structure theory

    Science.gov (United States)

    Wolf, F.; Korsch, H. J.

    1988-03-01

    This paper deals with the application of Lie algebraic structure theory to time-dependent quantum systems making use of the Levi-Malcev decomposition of the Lie algebra generated by the Hamiltonian and the Wei-Norman representation of the time-evolution operator. In particular, (coupled) harmonic-oscillator systems are studied. Explicit formulas for expectation values and transition probabilities are derived.

  8. Realization Of Algebraic Processor For XML Documents Processing

    International Nuclear Information System (INIS)

    Georgiev, Bozhidar; Georgieva, Adriana

    2010-01-01

    In this paper, are presented some possibilities concerning the implementation of an algebraic method for XML hierarchical data processing which makes faster the XML search mechanism. Here is offered a different point of view for creation of advanced algebraic processor (with all necessary software tools and programming modules respectively). Therefore, this nontraditional approach for fast XML navigation with the presented algebraic processor may help to build an easier user-friendly interface provided XML transformations, which can avoid the difficulties in the complicated language constructions of XSL, XSLT and XPath. This approach allows comparatively simple search of XML hierarchical data by means of the following types of functions: specification functions and so named build-in functions. The choice of programming language Java may appear strange at first, but it isn't when you consider that the applications can run on different kinds of computers. The specific search mechanism based on the linear algebra theory is faster in comparison with MSXML parsers (on the basis of the developed examples with about 30%). Actually, there exists the possibility for creating new software tools based on the linear algebra theory, which cover the whole navigation and search techniques characterizing XSLT/XPath. The proposed method is able to replace more complicated operations in other SOA components.

  9. On the Cyclotomic Quantum Algebra of Time Perception

    OpenAIRE

    Planat, Michel

    2004-01-01

    I develop the idea that time perception is the quantum counterpart to time measurement. Phase-locking and prime number theory were proposed as the unifying concepts for understanding the optimal synchronization of clocks and their 1/f frequency noise. Time perception is shown to depend on the thermodynamics of a quantum algebra of number and phase operators already proposed for quantum computational tasks, and to evolve according to a Hamiltonian mimicking Fechner's law. The mathematics is Bo...

  10. Visualisation for Stochastic Process Algebras: The Graphic Truth

    DEFF Research Database (Denmark)

    Smith, Michael James Andrew; Gilmore, Stephen

    2011-01-01

    There have historically been two approaches to performance modelling. On the one hand, textual language-based formalisms such as stochastic process algebras allow compositional modelling that is portable and easy to manage. In contrast, graphical formalisms such as stochastic Petri nets and stoch...

  11. A linear process-algebraic format for probabilistic systems with data (extended version)

    NARCIS (Netherlands)

    Katoen, Joost P.; van de Pol, Jan Cornelis; Stoelinga, Mariëlle Ida Antoinette; Timmer, Mark

    2010-01-01

    This paper presents a novel linear process-algebraic format for probabilistic automata. The key ingredient is a symbolic transformation of probabilistic process algebra terms that incorporate data into this linear format while preserving strong probabilistic bisimulation. This generalises similar

  12. A Process Algebraic Approach to Software Architecture Design

    Science.gov (United States)

    Aldini, Alessandro; Bernardo, Marco; Corradini, Flavio

    Process algebra is a formal tool for the specification and the verification of concurrent and distributed systems. It supports compositional modeling through a set of operators able to express concepts like sequential composition, alternative composition, and parallel composition of action-based descriptions. It also supports mathematical reasoning via a two-level semantics, which formalizes the behavior of a description by means of an abstract machine obtained from the application of structural operational rules and then introduces behavioral equivalences able to relate descriptions that are syntactically different. In this chapter, we present the typical behavioral operators and operational semantic rules for a process calculus in which no notion of time, probability, or priority is associated with actions. Then, we discuss the three most studied approaches to the definition of behavioral equivalences - bisimulation, testing, and trace - and we illustrate their congruence properties, sound and complete axiomatizations, modal logic characterizations, and verification algorithms. Finally, we show how these behavioral equivalences and some of their variants are related to each other on the basis of their discriminating power.

  13. Algebraic Meta-Theory of Processes with Data

    Directory of Open Access Journals (Sweden)

    Daniel Gebler

    2013-07-01

    Full Text Available There exists a rich literature of rule formats guaranteeing different algebraic properties for formalisms with a Structural Operational Semantics. Moreover, there exist a few approaches for automatically deriving axiomatizations characterizing strong bisimilarity of processes. To our knowledge, this literature has never been extended to the setting with data (e.g. to model storage and memory. We show how the rule formats for algebraic properties can be exploited in a generic manner in the setting with data. Moreover, we introduce a new approach for deriving sound and ground-complete axiom schemata for a notion of bisimilarity with data, called stateless bisimilarity, based on intuitive auxiliary function symbols for handling the store component. We do restrict, however, the axiomatization to the setting where the store component is only given in terms of constants.

  14. Algebraic approach to time-delay data analysis for LISA

    International Nuclear Information System (INIS)

    Dhurandhar, S.V.; Nayak, K. Rajesh; Vinet, J.-Y.

    2002-01-01

    Cancellation of laser frequency noise in interferometers is crucial for attaining the requisite sensitivity of the triangular three-spacecraft LISA configuration. Raw laser noise is several orders of magnitude above the other noises and thus it is essential to bring it down to the level of other noises such as shot, acceleration, etc. Since it is impossible to maintain equal distances between spacecrafts, laser noise cancellation must be achieved by appropriately combining the six beams with appropriate time delays. It has been shown in several recent papers that such combinations are possible. In this paper, we present a rigorous and systematic formalism based on algebraic geometrical methods involving computational commutative algebra, which generates in principle all the data combinations canceling the laser frequency noise. The relevant data combinations form the first module of syzygies, as it is called in the literature of algebraic geometry. The module is over a polynomial ring in three variables, the three variables corresponding to the three time delays around the LISA triangle. Specifically, we list several sets of generators for the module whose linear combinations with polynomial coefficients generate the entire module. We find that this formalism can also be extended in a straightforward way to cancel Doppler shifts due to optical bench motions. The two modules are in fact isomorphic. We use our formalism to obtain the transfer functions for the six beams and for the generators. We specifically investigate monochromatic gravitational wave sources in the LISA band and carry out the maximization over linear combinations of the generators of the signal-to-noise ratios with the frequency and source direction angles as parameters

  15. A Parallel Algebraic Multigrid Solver on Graphics Processing Units

    KAUST Repository

    Haase, Gundolf

    2010-01-01

    The paper presents a multi-GPU implementation of the preconditioned conjugate gradient algorithm with an algebraic multigrid preconditioner (PCG-AMG) for an elliptic model problem on a 3D unstructured grid. An efficient parallel sparse matrix-vector multiplication scheme underlying the PCG-AMG algorithm is presented for the many-core GPU architecture. A performance comparison of the parallel solver shows that a singe Nvidia Tesla C1060 GPU board delivers the performance of a sixteen node Infiniband cluster and a multi-GPU configuration with eight GPUs is about 100 times faster than a typical server CPU core. © 2010 Springer-Verlag.

  16. Infinite-parametric extension of the conformal algebra in D>2 space-time dimension

    International Nuclear Information System (INIS)

    Fradkin, E.S.; Linetsky, V.Ya.

    1990-09-01

    On the basis of the analytic continuations of semisimple Lie algebras discovered recently by us we construct manifestly quasiconformal infinite-dimensional algebras AC(so(4,1)) and PAC(so(3,2)) extending the conformal algebras in three-dimensional Euclidean and Minkowski space-time like the Virasoro algebra extends so(2,1). Their higher spin generalizations are also constructed. A counterpart of the central extension for D>2 and possible applications in exactly solvable conformal quantum field models in D>2 are discussed. (author). 31 refs, 2 figs

  17. An introduction to the history of algebra solving equations from Mesopotamian times to the Renaissance

    CERN Document Server

    Sesiano, Jacques

    2009-01-01

    This text should not be viewed as a comprehensive history of algebra before 1600, but as a basic introduction to the types of problems that illustrate the earliest forms of algebra. It would be particularly useful for an instructor who is looking for examples to help enliven a course on elementary algebra with problems drawn from actual historical texts. -Warren Van Egmond about the French edition for MathSciNet This book does not aim to give an exhaustive survey of the history of algebra up to early modern times but merely to present some significant steps in solving equations and, wherever

  18. Towards Algorithmic Generation of Business Processes: From Business Step Dependencies to Process Algebra Expressions

    Science.gov (United States)

    Oikawa, Márcio K.; Ferreira, João E.; Malkowski, Simon; Pu, Calton

    Recently, a lot of work has been done on formalization of business process specification, in particular, using Petri nets and process algebra. However, these efforts usually do not explicitly address complex business process development, which necessitates the specification, coordination, and synchronization of a large number of business steps. It is imperative that these atomic tasks are associated correctly and monitored for countless dependencies. Moreover, as these business processes grow, they become critically reliant on a large number of split and merge points, which additionally increases modeling complexity. Therefore, one of the central challenges in complex business process modeling is the composition of dependent business steps. We address this challenge and introduce a formally correct method for automated composition of algebraic expressions in complex business process modeling based on acyclic directed graph reductions. We show that our method generates an equivalent algebraic expression from an appropriate acyclic directed graph if the graph is well-formed and series-parallel. Additionally, we encapsulate the reductions in an algorithm that transforms business step dependencies described by users into digraphs, recognizes structural conflicts, identifies Wheatstone bridges, and finally generates algebraic expressions.

  19. Real-time algebraic derivative estimations using a novel low-cost architecture based on reconfigurable logic.

    Science.gov (United States)

    Morales, Rafael; Rincón, Fernando; Gazzano, Julio Dondo; López, Juan Carlos

    2014-05-23

    Time derivative estimation of signals plays a very important role in several fields, such as signal processing and control engineering, just to name a few of them. For that purpose, a non-asymptotic algebraic procedure for the approximate estimation of the system states is used in this work. The method is based on results from differential algebra and furnishes some general formulae for the time derivatives of a measurable signal in which two algebraic derivative estimators run simultaneously, but in an overlapping fashion. The algebraic derivative algorithm presented in this paper is computed online and in real-time, offering high robustness properties with regard to corrupting noises, versatility and ease of implementation. Besides, in this work, we introduce a novel architecture to accelerate this algebraic derivative estimator using reconfigurable logic. The core of the algorithm is implemented in an FPGA, improving the speed of the system and achieving real-time performance. Finally, this work proposes a low-cost platform for the integration of hardware in the loop in MATLAB.

  20. Real-Time Algebraic Derivative Estimations Using a Novel Low-Cost Architecture Based on Reconfigurable Logic

    Directory of Open Access Journals (Sweden)

    Rafael Morales

    2014-05-01

    Full Text Available Time derivative estimation of signals plays a very important role in several fields, such as signal processing and control engineering, just to name a few of them. For that purpose, a non-asymptotic algebraic procedure for the approximate estimation of the system states is used in this work. The method is based on results from differential algebra and furnishes some general formulae for the time derivatives of a measurable signal in which two algebraic derivative estimators run simultaneously, but in an overlapping fashion. The algebraic derivative algorithm presented in this paper is computed online and in real-time, offering high robustness properties with regard to corrupting noises, versatility and ease of implementation. Besides, in this work, we introduce a novel architecture to accelerate this algebraic derivative estimator using reconfigurable logic. The core of the algorithm is implemented in an FPGA, improving the speed of the system and achieving real-time performance. Finally, this work proposes a low-cost platform for the integration of hardware in the loop in MATLAB.

  1. Real-Time Algebraic Derivative Estimations Using a Novel Low-Cost Architecture Based on Reconfigurable Logic

    Science.gov (United States)

    Morales, Rafael; Rincón, Fernando; Gazzano, Julio Dondo; López, Juan Carlos

    2014-01-01

    Time derivative estimation of signals plays a very important role in several fields, such as signal processing and control engineering, just to name a few of them. For that purpose, a non-asymptotic algebraic procedure for the approximate estimation of the system states is used in this work. The method is based on results from differential algebra and furnishes some general formulae for the time derivatives of a measurable signal in which two algebraic derivative estimators run simultaneously, but in an overlapping fashion. The algebraic derivative algorithm presented in this paper is computed online and in real-time, offering high robustness properties with regard to corrupting noises, versatility and ease of implementation. Besides, in this work, we introduce a novel architecture to accelerate this algebraic derivative estimator using reconfigurable logic. The core of the algorithm is implemented in an FPGA, improving the speed of the system and achieving real-time performance. Finally, this work proposes a low-cost platform for the integration of hardware in the loop in MATLAB. PMID:24859033

  2. Modeling nanoparticle uptake and intracellular distribution using stochastic process algebras

    Energy Technology Data Exchange (ETDEWEB)

    Dobay, M. P. D., E-mail: maria.pamela.david@physik.uni-muenchen.de; Alberola, A. Piera; Mendoza, E. R.; Raedler, J. O., E-mail: joachim.raedler@physik.uni-muenchen.de [Ludwig-Maximilians University, Faculty of Physics, Center for NanoScience (Germany)

    2012-03-15

    Computational modeling is increasingly important to help understand the interaction and movement of nanoparticles (NPs) within living cells, and to come to terms with the wealth of data that microscopy imaging yields. A quantitative description of the spatio-temporal distribution of NPs inside cells; however, it is challenging due to the complexity of multiple compartments such as endosomes and nuclei, which themselves are dynamic and can undergo fusion and fission and exchange their content. Here, we show that stochastic pi calculus, a widely-used process algebra, is well suited for mapping surface and intracellular NP interactions and distributions. In stochastic pi calculus, each NP is represented as a process, which can adopt various states such as bound or aggregated, as well as be passed between processes representing location, as a function of predefined stochastic channels. We created a pi calculus model of gold NP uptake and intracellular movement and compared the evolution of surface-bound, cytosolic, endosomal, and nuclear NP densities with electron microscopy data. We demonstrate that the computational approach can be extended to include specific molecular binding and potential interaction with signaling cascades as characteristic for NP-cell interactions in a wide range of applications such as nanotoxicity, viral infection, and drug delivery.

  3. Modeling nanoparticle uptake and intracellular distribution using stochastic process algebras

    International Nuclear Information System (INIS)

    Dobay, M. P. D.; Alberola, A. Piera; Mendoza, E. R.; Rädler, J. O.

    2012-01-01

    Computational modeling is increasingly important to help understand the interaction and movement of nanoparticles (NPs) within living cells, and to come to terms with the wealth of data that microscopy imaging yields. A quantitative description of the spatio-temporal distribution of NPs inside cells; however, it is challenging due to the complexity of multiple compartments such as endosomes and nuclei, which themselves are dynamic and can undergo fusion and fission and exchange their content. Here, we show that stochastic pi calculus, a widely-used process algebra, is well suited for mapping surface and intracellular NP interactions and distributions. In stochastic pi calculus, each NP is represented as a process, which can adopt various states such as bound or aggregated, as well as be passed between processes representing location, as a function of predefined stochastic channels. We created a pi calculus model of gold NP uptake and intracellular movement and compared the evolution of surface-bound, cytosolic, endosomal, and nuclear NP densities with electron microscopy data. We demonstrate that the computational approach can be extended to include specific molecular binding and potential interaction with signaling cascades as characteristic for NP-cell interactions in a wide range of applications such as nanotoxicity, viral infection, and drug delivery.

  4. Modeling nanoparticle uptake and intracellular distribution using stochastic process algebras

    Science.gov (United States)

    Dobay, M. P. D.; Alberola, A. Piera; Mendoza, E. R.; Rädler, J. O.

    2012-03-01

    Computational modeling is increasingly important to help understand the interaction and movement of nanoparticles (NPs) within living cells, and to come to terms with the wealth of data that microscopy imaging yields. A quantitative description of the spatio-temporal distribution of NPs inside cells; however, it is challenging due to the complexity of multiple compartments such as endosomes and nuclei, which themselves are dynamic and can undergo fusion and fission and exchange their content. Here, we show that stochastic pi calculus, a widely-used process algebra, is well suited for mapping surface and intracellular NP interactions and distributions. In stochastic pi calculus, each NP is represented as a process, which can adopt various states such as bound or aggregated, as well as be passed between processes representing location, as a function of predefined stochastic channels. We created a pi calculus model of gold NP uptake and intracellular movement and compared the evolution of surface-bound, cytosolic, endosomal, and nuclear NP densities with electron microscopy data. We demonstrate that the computational approach can be extended to include specific molecular binding and potential interaction with signaling cascades as characteristic for NP-cell interactions in a wide range of applications such as nanotoxicity, viral infection, and drug delivery.

  5. Space-Time Coding Using Algebraic Number Theory for Broadband Wireless Communications

    National Research Council Canada - National Science Library

    Xia, Xiang-Gen

    2008-01-01

    .... The main achievements include new space-time/frequency code designs based on algebraic number theory, new space-time code designs with a new design criterion that achieve full spatial diversity...

  6. Principles of Stagewise Separation Process Calculations: A Simple Algebraic Approach Using Solvent Extraction.

    Science.gov (United States)

    Crittenden, Barry D.

    1991-01-01

    A simple liquid-liquid equilibrium (LLE) system involving a constant partition coefficient based on solute ratios is used to develop an algebraic understanding of multistage contacting in a first-year separation processes course. This algebraic approach to the LLE system is shown to be operable for the introduction of graphical techniques…

  7. In-Database Raster Analytics: Map Algebra and Parallel Processing in Oracle Spatial Georaster

    Science.gov (United States)

    Xie, Q. J.; Zhang, Z. Z.; Ravada, S.

    2012-07-01

    Over the past decade several products have been using enterprise database technology to store and manage geospatial imagery and raster data inside RDBMS, which in turn provides the best manageability and security. With the data volume growing exponentially, real-time or near real-time processing and analysis of such big data becomes more challenging. Oracle Spatial GeoRaster, different from most other products, takes the enterprise database-centric approach for both data management and data processing. This paper describes one of the central components of this database-centric approach: the processing engine built completely inside the database. Part of this processing engine is raster algebra, which we call the In-database Raster Analytics. This paper discusses the three key characteristics of this in-database analytics engine and the benefits. First, it moves the data processing closer to the data instead of moving the data to the processing, which helps achieve greater performance by overcoming the bottleneck of computer networks. Second, we designed and implemented a new raster algebra expression language. This language is based on PL/SQL and is currently focused on the "local" function type of map algebra. This language includes general arithmetic, logical and relational operators and any combination of them, which dramatically improves the analytical capability of the GeoRaster database. The third feature is the implementation of parallel processing of such operations to further improve performance. This paper also presents some sample use cases. The testing results demonstrate that this in-database approach for raster analytics can effectively help solve the biggest performance challenges we are facing today with big raster and image data.

  8. Analysis of DIRAC's behavior using model checking with process algebra

    Science.gov (United States)

    Remenska, Daniela; Templon, Jeff; Willemse, Tim; Bal, Henri; Verstoep, Kees; Fokkink, Wan; Charpentier, Philippe; Graciani Diaz, Ricardo; Lanciotti, Elisa; Roiser, Stefan; Ciba, Krzysztof

    2012-12-01

    DIRAC is the grid solution developed to support LHCb production activities as well as user data analysis. It consists of distributed services and agents delivering the workload to the grid resources. Services maintain database back-ends to store dynamic state information of entities such as jobs, queues, staging requests, etc. Agents use polling to check and possibly react to changes in the system state. Each agent's logic is relatively simple; the main complexity lies in their cooperation. Agents run concurrently, and collaborate using the databases as shared memory. The databases can be accessed directly by the agents if running locally or through a DIRAC service interface if necessary. This shared-memory model causes entities to occasionally get into inconsistent states. Tracing and fixing such problems becomes formidable due to the inherent parallelism present. We propose more rigorous methods to cope with this. Model checking is one such technique for analysis of an abstract model of a system. Unlike conventional testing, it allows full control over the parallel processes execution, and supports exhaustive state-space exploration. We used the mCRL2 language and toolset to model the behavior of two related DIRAC subsystems: the workload and storage management system. Based on process algebra, mCRL2 allows defining custom data types as well as functions over these. This makes it suitable for modeling the data manipulations made by DIRAC's agents. By visualizing the state space and replaying scenarios with the toolkit's simulator, we have detected race-conditions and deadlocks in these systems, which, in several cases, were confirmed to occur in the reality. Several properties of interest were formulated and verified with the tool. Our future direction is automating the translation from DIRAC to a formal model.

  9. Analysis of DIRAC's behavior using model checking with process algebra

    International Nuclear Information System (INIS)

    Remenska, Daniela; Templon, Jeff; Willemse, Tim; Bal, Henri; Verstoep, Kees; Fokkink, Wan; Charpentier, Philippe; Lanciotti, Elisa; Roiser, Stefan; Ciba, Krzysztof; Diaz, Ricardo Graciani

    2012-01-01

    DIRAC is the grid solution developed to support LHCb production activities as well as user data analysis. It consists of distributed services and agents delivering the workload to the grid resources. Services maintain database back-ends to store dynamic state information of entities such as jobs, queues, staging requests, etc. Agents use polling to check and possibly react to changes in the system state. Each agent's logic is relatively simple; the main complexity lies in their cooperation. Agents run concurrently, and collaborate using the databases as shared memory. The databases can be accessed directly by the agents if running locally or through a DIRAC service interface if necessary. This shared-memory model causes entities to occasionally get into inconsistent states. Tracing and fixing such problems becomes formidable due to the inherent parallelism present. We propose more rigorous methods to cope with this. Model checking is one such technique for analysis of an abstract model of a system. Unlike conventional testing, it allows full control over the parallel processes execution, and supports exhaustive state-space exploration. We used the mCRL2 language and toolset to model the behavior of two related DIRAC subsystems: the workload and storage management system. Based on process algebra, mCRL2 allows defining custom data types as well as functions over these. This makes it suitable for modeling the data manipulations made by DIRAC's agents. By visualizing the state space and replaying scenarios with the toolkit's simulator, we have detected race-conditions and deadlocks in these systems, which, in several cases, were confirmed to occur in the reality. Several properties of interest were formulated and verified with the tool. Our future direction is automating the translation from DIRAC to a formal model.

  10. Students’ Algebraic Thinking Process in Context of Point and Line Properties

    Science.gov (United States)

    Nurrahmi, H.; Suryadi, D.; Fatimah, S.

    2017-09-01

    Learning of schools algebra is limited to symbols and operating procedures, so students are able to work on problems that only require the ability to operate symbols but unable to generalize a pattern as one of part of algebraic thinking. The purpose of this study is to create a didactic design that facilitates students to do algebraic thinking process through the generalization of patterns, especially in the context of the property of point and line. This study used qualitative method and includes Didactical Design Research (DDR). The result is students are able to make factual, contextual, and symbolic generalization. This happen because the generalization arises based on facts on local terms, then the generalization produced an algebraic formula that was described in the context and perspective of each student. After that, the formula uses the algebraic letter symbol from the symbol t hat uses the students’ language. It can be concluded that the design has facilitated students to do algebraic thinking process through the generalization of patterns, especially in the context of property of the point and line. The impact of this study is this design can use as one of material teaching alternative in learning of school algebra.

  11. Study on time of flight property of electron optical systems by differential algebraic method

    International Nuclear Information System (INIS)

    Cheng Min; Tang Tiantong; Yao Zhenhua

    2002-01-01

    Differential algebraic method is a powerful and promising technique in computer numerical analysis. When applied to nonlinear dynamics systems, the arbitrary high-order transfer properties of the systems can be computed directly with high precision. In this paper, the principle of differential algebra is applied to study on the time of flight (TOF) property of electron optical systems and their arbitrary order TOF transfer properties can be numerically calculated out. As an example, TOF transfer properties of a uniform magnetic sector field analyzer have been studied by differential algebraic method. Relative errors of the first-order and second-order TOF transfer coefficients of the magnetic sector field analyzer are of the order 10 -11 or smaller compared with the analytic solutions. It is proved that differential algebraic TOF method is of high accuracy and very helpful for high-order TOF transfer property analysis of electron optical systems. (author)

  12. Multi-Period Dynamic Optimization for Large-Scale Differential-Algebraic Process Models under Uncertainty

    Directory of Open Access Journals (Sweden)

    Ian D. Washington

    2015-07-01

    Full Text Available A technique for optimizing large-scale differential-algebraic process models under uncertainty using a parallel embedded model approach is developed in this article. A combined multi-period multiple-shooting discretization scheme is proposed, which creates a significant number of independent numerical integration tasks for each shooting interval over all scenario/period realizations. Each independent integration task is able to be solved in parallel as part of the function evaluations within a gradient-based non-linear programming solver. The focus of this paper is on demonstrating potential computation performance improvement when the embedded differential-algebraic equation model solution of the multi-period discretization is implemented in parallel. We assess our parallel dynamic optimization approach on two case studies; the first is a benchmark literature problem, while the second is a large-scale air separation problem that considers a robust set-point transition under parametric uncertainty. Results indicate that focusing on the speed-up of the embedded model evaluation can significantly decrease the overall computation time; however, as the multi-period formulation grows with increased realizations, the computational burden quickly shifts to the internal computation performed within the non-linear programming algorithm. This highlights the need for further decomposition, structure exploitation and parallelization within the non-linear programming algorithm and is the subject for further investigation.

  13. Electromagnetism, magnetic monopoles and matter waves in space-time algebra (part 1)

    International Nuclear Information System (INIS)

    Daviau, C.

    1989-01-01

    The formalism of space-time algebra of Hestenes is used: - first to write the equations of electromagnetism of Maxwell and Louis de Broglie, when magnetic monopoles exist; - second to explain equivalence between the equations of Dirac and Hestenes, and to extend this equivalence to Lochak's theory of magnetic monopoles; - to establish that monopoles can exist with very small magnetic charge [fr

  14. Investigation of continuous-time quantum walk via modules of Bose-Mesner and Terwilliger algebras

    International Nuclear Information System (INIS)

    Jafarizadeh, M A; Salimi, S

    2006-01-01

    The continuous-time quantum walk on the underlying graphs of association schemes has been studied, via the algebraic combinatorics structures of association schemes, namely semi-simple modules of their Bose-Mesner and Terwilliger algebras. It is shown that the Terwilliger algebra stratifies the graph into a (d + 1) disjoint union of strata which is different from the stratification based on distance, except for distance regular graphs. In underlying graphs of association schemes, the probability amplitudes and average probabilities are given in terms of dual eigenvalues of association schemes, such that the amplitudes of observing the continuous-time quantum walk on all sites belonging to a given stratum are the same, therefore there are at most (d + 1) different observing probabilities. The importance of association scheme in continuous-time quantum walk is shown by some worked out examples such as arbitrary finite group association schemes followed by symmetric S n , Dihedral D 2m and cyclic groups. At the end it is shown that the highest irreducible representations of Terwilliger algebras pave the way to use the spectral distributions method of Jafarizadeh and Salimi (2005 Preprint quant-ph/0510174) in studying quantum walk on some rather important graphs called distance regular graphs

  15. Some experience in applying the REDUCE algebraic system to the calculation of scattering processes in QED and QCD

    International Nuclear Information System (INIS)

    Mohring, H.J.; Schiller, A.

    1980-01-01

    The problems arising in the use of the REDUCE algebraic system for calculating traces of the Dirac matrix products describing scattering processes in quantum electrodynamics (QED) and quantum chromodynamics (QCD) are considered. Application of the REDUCE system for describing two-photon processes in e + e - reactions is discussed. An example of using the REDUCE system for calculating matrix elements of elementary processes of hard scattering is described. The calculations were performed by means of the REDUCE2 version on an EC1040 computer. The computations take almost 10 minutes of machine time and computer storage capacity of abo t 800 kiuobites

  16. The algebra of space-time as basis of a quantum field theory of all fermions and interactions

    International Nuclear Information System (INIS)

    Wolf, A.K.

    2005-01-01

    In this thesis a construction of a grand unified theory on the base of algebras of vector fields on a Riemannian space-time is described. Hereby from the vector and covector fields a Clifford-geometrical algebra is generated. (HSI)

  17. Hopf Bifurcation of a Differential-Algebraic Bioeconomic Model with Time Delay

    Directory of Open Access Journals (Sweden)

    Xiaojian Zhou

    2012-01-01

    Full Text Available We investigate the dynamics of a differential-algebraic bioeconomic model with two time delays. Regarding time delay as a bifurcation parameter, we show that a sequence of Hopf bifurcations occur at the positive equilibrium as the delay increases. Using the theories of normal form and center manifold, we also give the explicit algorithm for determining the direction of the Hopf bifurcations and the stability of the bifurcating periodic solutions. Numerical tests are provided to verify our theoretical analysis.

  18. Coding Instead of Splitting - Algebraic Combinations in Time and Space

    Science.gov (United States)

    2016-06-09

    AND ADDRESS(ES) 8. PERFORMING ORGANIZATION Massachusetts Inst itute of Technology REPORT NUMBER 77 Massachusetts Ave, Cambridge , MA 02 139 9...same observed snapshots. Mathematically , this problem can be undertaken using a diffusion kernel that represents diffusion processes in a given...Soheil Feizi, Daniel E Lucani, Chres W Sorensen, Ali Makhdoumi and Muriel Médard, Tunable Sparse Network Coding for Multicast Networks, International

  19. Reachability analysis for timed automata using max-plus algebra

    DEFF Research Database (Denmark)

    Lu, Qi; Madsen, Michael; Milata, Martin

    2012-01-01

    We show that max-plus polyhedra are usable as a data structure in reachability analysis of timed automata. Drawing inspiration from the extensive work that has been done on difference bound matrices, as well as previous work on max-plus polyhedra in other areas, we develop the algorithms needed...... to perform forward and backward reachability analysis using max-plus polyhedra. To show that the approach works in practice and theory alike, we have created a proof-of-concept implementation on top of the model checker opaal....

  20. The algebraic approach to space-time geometry

    International Nuclear Information System (INIS)

    Heller, M.; Multarzynski, P.; Sasin, W.

    1989-01-01

    A differential manifold can be defined in terms of smooth real functions carried by it. By rejecting the postulate, in such a definition, demanding the local diffeomorphism of a manifold to the Euclidean space, one obtains the so-called differential space concept. Every subset of R n turns out to be a differential space. Extensive parts of differential geometry on differential spaces, developed by Sikorski, are reviewed and adapted to relativistic purposes. Differential space as a new model of space-time is proposed. The Lorentz structure and Einstein's field equations on differential spaces are discussed. 20 refs. (author)

  1. Pricing multi-asset financial derivatives with time-dependent parameters—Lie algebraic approach

    Directory of Open Access Journals (Sweden)

    C. F. Lo

    2002-01-01

    Full Text Available We present a Lie algebraic technique for the valuation of multi-asset financial derivatives with time-dependent parameters. Exploiting the dynamical symmetry of the pricing partial differential equations of the financial derivatives, the new method enables us to derive analytical closed-form pricing formulae very straightforwardly. We believe that this new approach will provide an efficient and easy-to-use method for the valuation of financial derivatives.

  2. Performance evaluation:= (process algebra + model checking) x Markov chains

    NARCIS (Netherlands)

    Hermanns, H.; Larsen, K.G.; Nielsen, Mogens; Katoen, Joost P.

    2001-01-01

    Markov chains are widely used in practice to determine system performance and reliability characteristics. The vast majority of applications considers continuous-time Markov chains (CTMCs). This tutorial paper shows how successful model specification and analysis techniques from concurrency theory

  3. Discrete Fourier and wavelet transforms an introduction through linear algebra with applications to signal processing

    CERN Document Server

    Goodman, Roe W

    2016-01-01

    This textbook for undergraduate mathematics, science, and engineering students introduces the theory and applications of discrete Fourier and wavelet transforms using elementary linear algebra, without assuming prior knowledge of signal processing or advanced analysis.It explains how to use the Fourier matrix to extract frequency information from a digital signal and how to use circulant matrices to emphasize selected frequency ranges. It introduces discrete wavelet transforms for digital signals through the lifting method and illustrates through examples and computer explorations how these transforms are used in signal and image processing. Then the general theory of discrete wavelet transforms is developed via the matrix algebra of two-channel filter banks. Finally, wavelet transforms for analog signals are constructed based on filter bank results already presented, and the mathematical framework of multiresolution analysis is examined.

  4. The Analytic Hierarchy Process, Max Algebra and Multi-objective Optimisation

    OpenAIRE

    Gursoy, Buket Benek; Mason, Oliver; Sergeev, Sergei

    2012-01-01

    The analytic hierarchy process (AHP) is widely used for decision making involving multiple criteria. Elsner and van den Driessche (2004, 2010) [10,11] introduced a max-algebraic approach to the single criterion AHP. We extend this to the multi-criteria AHP, by considering multi-objective generalisations of the single objective optimisation problem solved in these earlier papers. We relate the existence of globally optimal solutions to the commutativity properties of the associated matrices; w...

  5. Evolution algebras and their applications

    CERN Document Server

    Tian, Jianjun Paul

    2008-01-01

    Behind genetics and Markov chains, there is an intrinsic algebraic structure. It is defined as a type of new algebra: as evolution algebra. This concept lies between algebras and dynamical systems. Algebraically, evolution algebras are non-associative Banach algebras; dynamically, they represent discrete dynamical systems. Evolution algebras have many connections with other mathematical fields including graph theory, group theory, stochastic processes, dynamical systems, knot theory, 3-manifolds, and the study of the Ihara-Selberg zeta function. In this volume the foundation of evolution algebra theory and applications in non-Mendelian genetics and Markov chains is developed, with pointers to some further research topics.

  6. Refined algebraic quantization and quantum field theory in a curved space-time

    International Nuclear Information System (INIS)

    Rumpf, H.

    1998-01-01

    Application of the so-called refined algebraic quantization scheme for constrained systems to relativistic particles provides an inner product that defines a unique Fock representation for a scalar field in a curved space-time. The construction can be made rigorous for a general globally hyperbolic space-time, but the quasifree state so obtained turns out to be unphysical in general. We exhibit a closely related pair of Fock representations that is also defined generically and conforms to the notion of in- and outgoing states in those situations where particle creation by an external field is expected

  7. Time evolution of linear and generalized Heisenberg algebra nonlinear Pöschl-Teller coherent states

    Science.gov (United States)

    Rego-Monteiro, M. A.; Curado, E. M. F.; Rodrigues, Ligia M. C. S.

    2017-11-01

    We analyze the time evolution of two kinds of coherent states for a particle in a Pöschl-Teller potential. We find a pair of canonically conjugate operators and compare the behavior of their time evolution for both coherent states. The nonlinear ones are more localized. The trajectory in the phase space of the mean values of these two operators is a kind of generalization of the Rose algebraic curves. The new pair of canonically conjugate variables leads to a fourth-order Schrödinger equation which has the same energy spectrum as the Pöschl-Teller system.

  8. Algebraic partial Boolean algebras

    CERN Document Server

    Smith, D

    2003-01-01

    Partial Boolean algebras, first studied by Kochen and Specker in the 1960s, provide the structure for Bell-Kochen-Specker theorems which deny the existence of non-contextual hidden variable theories. In this paper, we study partial Boolean algebras which are 'algebraic' in the sense that their elements have coordinates in an algebraic number field. Several of these algebras have been discussed recently in a debate on the validity of Bell-Kochen-Specker theorems in the context of finite precision measurements. The main result of this paper is that every algebraic finitely-generated partial Boolean algebra B(T) is finite when the underlying space H is three-dimensional, answering a question of Kochen and showing that Conway and Kochen's infinite algebraic partial Boolean algebra has minimum dimension. This result contrasts the existence of an infinite (non-algebraic) B(T) generated by eight elements in an abstract orthomodular lattice of height 3. We then initiate a study of higher-dimensional algebraic partial...

  9. Electromagnetism, magnetic monopoles and matter-waves in space-time algebra (part II)

    International Nuclear Information System (INIS)

    Daviau, C.

    1989-01-01

    The formalism of space-time algebra of Hestenes is used: - in the first part to write the equations of electromagnetism of Maxwell and Louis de Broglie, when magnetic monopoles exist; - second to explain equivalence between the equations of Dirac and Hestenes, and to extend this equivalence to Lochak's theory of magnetic monopoles; - to establish that monopoles can exist with very small magnetic charge; - in this second part, to compare waves of fermions and electromagnetism, to associate an electromagnetic field to Dirac's waves and to join the equation of Maxwell - de Broglie to the equation of Dirac - Hestenes [fr

  10. "Real-Time Optical Laboratory Linear Algebra Solution Of Partial Differential Equations"

    Science.gov (United States)

    Casasent, David; Jackson, James

    1986-03-01

    A Space Integrating (SI) Optical Linear Algebra Processor (OLAP) employing space and frequency-multiplexing, new partitioning and data flow, and achieving high accuracy performance with a non base-2 number system is described. Laboratory data on the performance of this system and the solution of parabolic Partial Differential Equations (PDEs) is provided. A multi-processor OLAP system is also described for the first time. It use in the solution of multiple banded matrices that frequently arise is then discussed. The utility and flexibility of this processor compared to digital systolic architectures should be apparent.

  11. Development process of in-service training intended for teachers to perform teaching of mathematics with computer algebra systems

    Science.gov (United States)

    Ardıç, Mehmet Alper; Işleyen, Tevfik

    2018-01-01

    In this study, we deal with the development process of in-service training activities designed in order for mathematics teachers of secondary education to realize teaching of mathematics, utilizing computer algebra systems. In addition, the results obtained from the researches carried out during and after the in-service training were summarized. Last section focuses on suggestions any teacher can use to carry out activities aimed at using computer algebra systems in teaching environments.

  12. Algebraic partial Boolean algebras

    Science.gov (United States)

    Smith, Derek

    2003-04-01

    Partial Boolean algebras, first studied by Kochen and Specker in the 1960s, provide the structure for Bell-Kochen-Specker theorems which deny the existence of non-contextual hidden variable theories. In this paper, we study partial Boolean algebras which are 'algebraic' in the sense that their elements have coordinates in an algebraic number field. Several of these algebras have been discussed recently in a debate on the validity of Bell-Kochen-Specker theorems in the context of finite precision measurements. The main result of this paper is that every algebraic finitely-generated partial Boolean algebra B(T) is finite when the underlying space Script H is three-dimensional, answering a question of Kochen and showing that Conway and Kochen's infinite algebraic partial Boolean algebra has minimum dimension. This result contrasts the existence of an infinite (non-algebraic) B(T) generated by eight elements in an abstract orthomodular lattice of height 3. We then initiate a study of higher-dimensional algebraic partial Boolean algebras. First, we describe a restriction on the determinants of the elements of B(T) that are generated by a given set T. We then show that when the generating set T consists of the rays spanning the minimal vectors in a real irreducible root lattice, B(T) is infinite just if that root lattice has an A5 sublattice. Finally, we characterize the rays of B(T) when T consists of the rays spanning the minimal vectors of the root lattice E8.

  13. Algebraic partial Boolean algebras

    Energy Technology Data Exchange (ETDEWEB)

    Smith, Derek [Math Department, Lafayette College, Easton, PA 18042 (United States)

    2003-04-04

    Partial Boolean algebras, first studied by Kochen and Specker in the 1960s, provide the structure for Bell-Kochen-Specker theorems which deny the existence of non-contextual hidden variable theories. In this paper, we study partial Boolean algebras which are 'algebraic' in the sense that their elements have coordinates in an algebraic number field. Several of these algebras have been discussed recently in a debate on the validity of Bell-Kochen-Specker theorems in the context of finite precision measurements. The main result of this paper is that every algebraic finitely-generated partial Boolean algebra B(T) is finite when the underlying space H is three-dimensional, answering a question of Kochen and showing that Conway and Kochen's infinite algebraic partial Boolean algebra has minimum dimension. This result contrasts the existence of an infinite (non-algebraic) B(T) generated by eight elements in an abstract orthomodular lattice of height 3. We then initiate a study of higher-dimensional algebraic partial Boolean algebras. First, we describe a restriction on the determinants of the elements of B(T) that are generated by a given set T. We then show that when the generating set T consists of the rays spanning the minimal vectors in a real irreducible root lattice, B(T) is infinite just if that root lattice has an A{sub 5} sublattice. Finally, we characterize the rays of B(T) when T consists of the rays spanning the minimal vectors of the root lattice E{sub 8}.

  14. Foundations of algebraic geometry

    CERN Document Server

    Weil, A

    1946-01-01

    This classic is one of the cornerstones of modern algebraic geometry. At the same time, it is entirely self-contained, assuming no knowledge whatsoever of algebraic geometry, and no knowledge of modern algebra beyond the simplest facts about abstract fields and their extensions, and the bare rudiments of the theory of ideals.

  15. On the algebraic approach to the time-dependent quadratic Hamiltonian

    International Nuclear Information System (INIS)

    Urdaneta, Ines; Palma, Alejandro; Sandoval, Lourdes

    2010-01-01

    The unitary operator V(t) that diagonalizes the time-dependent quadratic Hamiltonian (TDQH) into a time-dependent harmonic oscillator (TDHO) is obtained using a Lie algebra. The method involves a factorization of the TDQH into a TDHO through a unitary Bogoliubov transformation in terms of creation and annihilation operators with time-dependent coefficients. It is shown that this operator can be easily achieved by means of the factorization, together with the commonly known Wei-Norman theorem. We discuss the conditions under which this unitary operator converges to the evolution operator U(t) of the Schroedinger equation for the TDQH, giving then a straightforward calculation of the evolution operator with respect to the procedures published in the literature.

  16. On the algebraic approach to the time-dependent quadratic Hamiltonian

    Energy Technology Data Exchange (ETDEWEB)

    Urdaneta, Ines; Palma, Alejandro [Instituto de Fisica, Benemerita Universidad Autonoma de Puebla, Puebla (Mexico); Sandoval, Lourdes, E-mail: urdaneta@sirio.ifuap.buap.m [Facultad de Ciencias de la Computacion, Benemerita Universidad Autonoma de Puebla, Puebla (Mexico)

    2010-09-24

    The unitary operator V(t) that diagonalizes the time-dependent quadratic Hamiltonian (TDQH) into a time-dependent harmonic oscillator (TDHO) is obtained using a Lie algebra. The method involves a factorization of the TDQH into a TDHO through a unitary Bogoliubov transformation in terms of creation and annihilation operators with time-dependent coefficients. It is shown that this operator can be easily achieved by means of the factorization, together with the commonly known Wei-Norman theorem. We discuss the conditions under which this unitary operator converges to the evolution operator U(t) of the Schroedinger equation for the TDQH, giving then a straightforward calculation of the evolution operator with respect to the procedures published in the literature.

  17. Contribution to the minimization of time for the solution of algebraic differential equations system

    International Nuclear Information System (INIS)

    Michael, Samir.

    1982-11-01

    This note deals with the solution of large algebraic-differential systems involved in physical sciences specially in electronics and nuclear physics. The theoretical aspects for the stability of multistep methods is presented in detail. The stability condition is developed and we present our own conditions of stability. These conditions give rise to many new formulae that have very small truncation error. However for a real time simulation, it is necessary to obtain a very high computation speed. For this purpose, we have considered a multiprocessor machine and we have investigated the parallelization of the algorithm of generalized GEAR method. For a linear system, the method of GAUSS-JORDAN is used with some modifications. A new algorithm is presented for parallel matrix multiplication. This research work has been applied to the resolution of a system of equations corresponding to an experiment of gamma thermometry in a nuclear reactor (four thermometers in this case) [fr

  18. Modeling Stochastic Complexity in Complex Adaptive Systems: Non-Kolmogorov Probability and the Process Algebra Approach.

    Science.gov (United States)

    Sulis, William H

    2017-10-01

    Walter Freeman III pioneered the application of nonlinear dynamical systems theories and methodologies in his work on mesoscopic brain dynamics.Sadly, mainstream psychology and psychiatry still cling to linear correlation based data analysis techniques, which threaten to subvert the process of experimentation and theory building. In order to progress, it is necessary to develop tools capable of managing the stochastic complexity of complex biopsychosocial systems, which includes multilevel feedback relationships, nonlinear interactions, chaotic dynamics and adaptability. In addition, however, these systems exhibit intrinsic randomness, non-Gaussian probability distributions, non-stationarity, contextuality, and non-Kolmogorov probabilities, as well as the absence of mean and/or variance and conditional probabilities. These properties and their implications for statistical analysis are discussed. An alternative approach, the Process Algebra approach, is described. It is a generative model, capable of generating non-Kolmogorov probabilities. It has proven useful in addressing fundamental problems in quantum mechanics and in the modeling of developing psychosocial systems.

  19. Grassmann algebras

    International Nuclear Information System (INIS)

    Garcia, R.L.

    1983-11-01

    The Grassmann algebra is presented briefly. Exponential and logarithm of matrices functions, whose elements belong to this algebra, are studied with the help of the SCHOONSCHIP and REDUCE 2 algebraic manipulators. (Author) [pt

  20. Algebraic geometry

    CERN Document Server

    Lefschetz, Solomon

    2005-01-01

    An introduction to algebraic geometry and a bridge between its analytical-topological and algebraical aspects, this text for advanced undergraduate students is particularly relevant to those more familiar with analysis than algebra. 1953 edition.

  1. Processes of negotiation of meanings on algebraic thinking in a community of practice of pre-service mathematics teacher education

    Directory of Open Access Journals (Sweden)

    Márcia Cristina de Costa Trindade Cyrino

    2011-12-01

    Full Text Available We presented in this paper results of a research which aimed to investigate how the community of practice context of pre-service mathematics teacher education collaborates for learning on algebraic thinking by these future teachers. We analyzed, taking into account the Social Theory of Learning developed by Wenger (1998 as a theoretical frame, processes of negotiation of meanings present in participants' algebraic thinking in the development of tasks in one of the actions of the project "Mathematical Education of Teachers of Mathematics" inside the program "Universidade sem Fronteiras". This analysis allowed us to define some forms of member participation and explicit reification of algebraic thinking, due to some interactions in the processes of negotiation of meanings, which revealed changes in the identity of participants in become teachers of mathematics.

  2. Chiral algebras

    CERN Document Server

    Beilinson, Alexander

    2004-01-01

    Chiral algebras form the primary algebraic structure of modern conformal field theory. Each chiral algebra lives on an algebraic curve, and in the special case where this curve is the affine line, chiral algebras invariant under translations are the same as well-known and widely used vertex algebras. The exposition of this book covers the following topics: the "classical" counterpart of the theory, which is an algebraic theory of non-linear differential equations and their symmetries; the local aspects of the theory of chiral algebras, including the study of some basic examples, such as the ch

  3. Generalized space-time supersymmetries, division algebras and octonionic M-theory

    Energy Technology Data Exchange (ETDEWEB)

    Lukierski, Jerzy [University of Wroclaw (Poland). Inst. for Theoretical Physics]. E-mail: lukier@ift.uni.wroc.pl; Toppan, Francesco [Centro Brasileiro de Pesquisas Fisicas (CBPF), Rio de Janeiro, RJ (Brazil). Coordenacao de Teoria de Campos e Particulas]. E-mail: toppan@cbpf.br

    2002-03-01

    We describe the set of generalized Poincare and conformal superalgebras in D= 4,5 and 7 dimensions as two sequences of superalgebraic structures, taking values in the division algebras R, C and H. The generalized conformal superalgebras are described for D = 4 by OSp(1;8|R), for D = 5 by SU(4,4;1) and for D = 7 by U{sub {alpha}}U (8;1|H). The relation with other schemes, in particular the framework of conformal spin (super) algebras and Jordan (super) algebras is discussed. By extending the division-algebra-valued super-algebras to octonions we get in D= 11 an octonionic generalized Poincare superalgebra, which we call octonionic M-algebra, describing the octonionic M-theory. It contains 32 real supercharges but, due to the octonionic structure only 52 real bosonic generators remain independent in place of the 528 bosonic charges of standard M-algebra. In octonionic M-theory there is a sort of equivalence between the octonionic M2 (supermembrane) and the octonionic M5 (super-5-brane) sectors. We also define the octonionic generalized conformal M-superalgebra with 239 bosonic generators. (author)

  4. Assessing Algebraic Solving Ability: A Theoretical Framework

    Science.gov (United States)

    Lian, Lim Hooi; Yew, Wun Thiam

    2012-01-01

    Algebraic solving ability had been discussed by many educators and researchers. There exists no definite definition for algebraic solving ability as it can be viewed from different perspectives. In this paper, the nature of algebraic solving ability in terms of algebraic processes that demonstrate the ability in solving algebraic problem is…

  5. Discrete event systems in dioid algebra and conventional algebra

    CERN Document Server

    Declerck, Philippe

    2013-01-01

    This book concerns the use of dioid algebra as (max, +) algebra to treat the synchronization of tasks expressed by the maximum of the ends of the tasks conditioning the beginning of another task - a criterion of linear programming. A classical example is the departure time of a train which should wait for the arrival of other trains in order to allow for the changeover of passengers.The content focuses on the modeling of a class of dynamic systems usually called "discrete event systems" where the timing of the events is crucial. Events are viewed as sudden changes in a process which i

  6. An algebra of reversible computation.

    Science.gov (United States)

    Wang, Yong

    2016-01-01

    We design an axiomatization for reversible computation called reversible ACP (RACP). It has four extendible modules: basic reversible processes algebra, algebra of reversible communicating processes, recursion and abstraction. Just like process algebra ACP in classical computing, RACP can be treated as an axiomatization foundation for reversible computation.

  7. Contractions of quantum algebraic structures

    International Nuclear Information System (INIS)

    Doikou, A.; Sfetsos, K.

    2010-01-01

    A general framework for obtaining certain types of contracted and centrally extended algebras is reviewed. The whole process relies on the existence of quadratic algebras, which appear in the context of boundary integrable models. (Abstract Copyright [2010], Wiley Periodicals, Inc.)

  8. A systematic investigation of the link between rational number processing and algebra ability.

    Science.gov (United States)

    Hurst, Michelle; Cordes, Sara

    2018-02-01

    Recent research suggests that fraction understanding is predictive of algebra ability; however, the relative contributions of various aspects of rational number knowledge are unclear. Furthermore, whether this relationship is notation-dependent or rather relies upon a general understanding of rational numbers (independent of notation) is an open question. In this study, college students completed a rational number magnitude task, procedural arithmetic tasks in fraction and decimal notation, and an algebra assessment. Using these tasks, we measured three different aspects of rational number ability in both fraction and decimal notation: (1) acuity of underlying magnitude representations, (2) fluency with which symbols are mapped to the underlying magnitudes, and (3) fluency with arithmetic procedures. Analyses reveal that when looking at the measures of magnitude understanding, the relationship between adults' rational number magnitude performance and algebra ability is dependent upon notation. However, once performance on arithmetic measures is included in the relationship, individual measures of magnitude understanding are no longer unique predictors of algebra performance. Furthermore, when including all measures simultaneously, results revealed that arithmetic fluency in both fraction and decimal notation each uniquely predicted algebra ability. Findings are the first to demonstrate a relationship between rational number understanding and algebra ability in adults while providing a clearer picture of the nature of this relationship. © 2017 The British Psychological Society.

  9. Matrix-algebra-based calculations of the time evolution of the binary spin-bath model for magnetization transfer.

    Science.gov (United States)

    Müller, Dirk K; Pampel, André; Möller, Harald E

    2013-05-01

    Quantification of magnetization-transfer (MT) experiments are typically based on the assumption of the binary spin-bath model. This model allows for the extraction of up to six parameters (relative pool sizes, relaxation times, and exchange rate constants) for the characterization of macromolecules, which are coupled via exchange processes to the water in tissues. Here, an approach is presented for estimating MT parameters acquired with arbitrary saturation schemes and imaging pulse sequences. It uses matrix algebra to solve the Bloch-McConnell equations without unwarranted simplifications, such as assuming steady-state conditions for pulsed saturation schemes or neglecting imaging pulses. The algorithm achieves sufficient efficiency for voxel-by-voxel MT parameter estimations by using a polynomial interpolation technique. Simulations, as well as experiments in agar gels with continuous-wave and pulsed MT preparation, were performed for validation and for assessing approximations in previous modeling approaches. In vivo experiments in the normal human brain yielded results that were consistent with published data. Copyright © 2013 Elsevier Inc. All rights reserved.

  10. From Safety Critical Java Programs to Timed Process Models

    DEFF Research Database (Denmark)

    Thomsen, Bent; Luckow, Kasper Søe; Thomsen, Lone Leth

    2015-01-01

    The idea of analysing real programs by process algebraic methods probably goes back to the Occam language using the CSP process algebra [43]. In [16,24] Degano et al. followed in that tradition by analysing Mobile Agent Programs written in the Higher Order Functional, Concurrent and Distributed......, programming language Facile [47], by equipping Facile with a process algebraic semantics based on true concurrency. This semantics facilitated analysis of programs revealing subtle bugs that would otherwise be very hard to find. Inspired by the idea of translating real programs into process algebraic...

  11. Modern algebra

    CERN Document Server

    Warner, Seth

    1990-01-01

    Standard text provides an exceptionally comprehensive treatment of every aspect of modern algebra. Explores algebraic structures, rings and fields, vector spaces, polynomials, linear operators, much more. Over 1,300 exercises. 1965 edition.

  12. Boolean algebra

    CERN Document Server

    Goodstein, R L

    2007-01-01

    This elementary treatment by a distinguished mathematician employs Boolean algebra as a simple medium for introducing important concepts of modern algebra. Numerous examples appear throughout the text, plus full solutions.

  13. Algebraic Description of Motion

    Science.gov (United States)

    Davidon, William C.

    1974-01-01

    An algebraic definition of time differentiation is presented and used to relate independent measurements of position and velocity. With this, students can grasp certain essential physical, geometric, and algebraic properties of motion and differentiation before undertaking the study of limits. (Author)

  14. Leibniz Algebras and Lie Algebras

    Directory of Open Access Journals (Sweden)

    Geoffrey Mason

    2013-10-01

    Full Text Available This paper concerns the algebraic structure of finite-dimensional complex Leibniz algebras. In particular, we introduce left central and symmetric Leibniz algebras, and study the poset of Lie subalgebras using an associative bilinear pairing taking values in the Leibniz kernel.

  15. Geometric Algebra Computing

    CERN Document Server

    Corrochano, Eduardo Bayro

    2010-01-01

    This book presents contributions from a global selection of experts in the field. This useful text offers new insights and solutions for the development of theorems, algorithms and advanced methods for real-time applications across a range of disciplines. Written in an accessible style, the discussion of all applications is enhanced by the inclusion of numerous examples, figures and experimental analysis. Features: provides a thorough discussion of several tasks for image processing, pattern recognition, computer vision, robotics and computer graphics using the geometric algebra framework; int

  16. Real Time Processing

    CERN Multimedia

    CERN. Geneva; ANDERSON, Dustin James; DOGLIONI, Caterina

    2015-01-01

    The LHC provides experiments with an unprecedented amount of data. Experimental collaborations need to meet storage and computing requirements for the analysis of this data: this is often a limiting factor in the physics program that would be achievable if the whole dataset could be analysed. In this talk, I will describe the strategies adopted by the LHCb, CMS and ATLAS collaborations to overcome these limitations and make the most of LHC data: data parking, data scouting, and real-time analysis.

  17. Separable algebras

    CERN Document Server

    Ford, Timothy J

    2017-01-01

    This book presents a comprehensive introduction to the theory of separable algebras over commutative rings. After a thorough introduction to the general theory, the fundamental roles played by separable algebras are explored. For example, Azumaya algebras, the henselization of local rings, and Galois theory are rigorously introduced and treated. Interwoven throughout these applications is the important notion of étale algebras. Essential connections are drawn between the theory of separable algebras and Morita theory, the theory of faithfully flat descent, cohomology, derivations, differentials, reflexive lattices, maximal orders, and class groups. The text is accessible to graduate students who have finished a first course in algebra, and it includes necessary foundational material, useful exercises, and many nontrivial examples.

  18. Elliptic algebras

    International Nuclear Information System (INIS)

    Odesskii, A V

    2002-01-01

    This survey is devoted to associative Z ≥0 -graded algebras presented by n generators and n(n-1)/2 quadratic relations and satisfying the so-called Poincare-Birkhoff-Witt condition (PBW-algebras). Examples are considered of such algebras, depending on two continuous parameters (namely, on an elliptic curve and a point on it), that are flat deformations of the polynomial ring in n variables. Diverse properties of these algebras are described, together with their relations to integrable systems, deformation quantization, moduli spaces, and other directions of modern investigations

  19. Algebraic geometry

    National Research Council Canada - National Science Library

    Hartshorne, Robin

    1977-01-01

    .... 141 BECKERIWEISPFENNINGIKREDEL. Grabner Bases. A Computational Approach to Commutative Algebra. 142 LANG. Real and Functional Analysis. 3rd ed. 143 DOOB. Measure Theory. 144 DENNIS/FARB. Noncommutat...

  20. Implicative Algebras

    African Journals Online (AJOL)

    Tadesse

    Department of Mathematics, Faculty of Computer and Mathematical Sciences, Addis Ababa. University, Addis Ababa, Ethiopia(*drkvenkateswarlu@gmail.com, **berhanufk@yahoo.co.uk). ABSTRACT. In this paper we introduce the concept of implicative algebras which is an equivalent definition of lattice implication algebra ...

  1. Implicative Algebras

    African Journals Online (AJOL)

    Tadesse

    metric space. Also we prove that every implicative algebra can be made into a regular. Autometrized Algebra of Swamy (1964) (see theorem 2.9). We recall the definition of Xu (1993). Defintion [2]: Let (L,∨,∧,0,1) be a bounded lattice with order reversing involution. “ ' ”and a binary operation → satisfying the following ...

  2. Linear Algebra and Smarandache Linear Algebra

    OpenAIRE

    Vasantha, Kandasamy

    2003-01-01

    The present book, on Smarandache linear algebra, not only studies the Smarandache analogues of linear algebra and its applications, it also aims to bridge the need for new research topics pertaining to linear algebra, purely in the algebraic sense. We have introduced Smarandache semilinear algebra, Smarandache bilinear algebra and Smarandache anti-linear algebra and their fuzzy equivalents. Moreover, in this book, we have brought out the study of linear algebra and vector spaces over finite p...

  3. Intermediate algebra & analytic geometry

    CERN Document Server

    Gondin, William R

    1967-01-01

    Intermediate Algebra & Analytic Geometry Made Simple focuses on the principles, processes, calculations, and methodologies involved in intermediate algebra and analytic geometry. The publication first offers information on linear equations in two unknowns and variables, functions, and graphs. Discussions focus on graphic interpretations, explicit and implicit functions, first quadrant graphs, variables and functions, determinate and indeterminate systems, independent and dependent equations, and defective and redundant systems. The text then examines quadratic equations in one variable, system

  4. Particle-like structure of Lie algebras

    Science.gov (United States)

    Vinogradov, A. M.

    2017-07-01

    If a Lie algebra structure 𝔤 on a vector space is the sum of a family of mutually compatible Lie algebra structures 𝔤i's, we say that 𝔤 is simply assembled from the 𝔤i's. Repeating this procedure with a number of Lie algebras, themselves simply assembled from the 𝔤i's, one obtains a Lie algebra assembled in two steps from 𝔤i's, and so on. We describe the process of modular disassembling of a Lie algebra into a unimodular and a non-unimodular part. We then study two inverse questions: which Lie algebras can be assembled from a given family of Lie algebras, and from which Lie algebras can a given Lie algebra be assembled. We develop some basic assembling and disassembling techniques that constitute the elements of a new approach to the general theory of Lie algebras. The main result of our theory is that any finite-dimensional Lie algebra over an algebraically closed field of characteristic zero or over R can be assembled in a finite number of steps from two elementary constituents, which we call dyons and triadons. Up to an abelian summand, a dyon is a Lie algebra structure isomorphic to the non-abelian 2-dimensional Lie algebra, while a triadon is isomorphic to the 3-dimensional Heisenberg Lie algebra. As an example, we describe constructions of classical Lie algebras from triadons.

  5. Equivalent construction of the infinitesimal time translation operator in algebraic dynamics algorithm for partial differential evolution equation

    Science.gov (United States)

    Liu, Chengshi

    2010-08-01

    We give an equivalent construction of the infinitesimal time translation operator for partial differential evolution equation in the algebraic dynamics algorithm proposed by Shun-Jin Wang and his students. Our construction involves only simple partial differentials and avoids the derivative terms of δ function which appear in the course of computation by means of Wang-Zhang operator. We prove Wang’s equivalent theorem which says that our construction and Wang-Zhang’s are equivalent. We use our construction to deal with several typical equations such as nonlinear advection equation, Burgers equation, nonlinear Schrodinger equation, KdV equation and sine-Gordon equation, and obtain at least second order approximate solutions to them. These equations include the cases of real and complex field variables and the cases of the first and the second order time derivatives.

  6. College algebra

    CERN Document Server

    Fine, Henry Burchard

    2005-01-01

    At the beginning of the twentieth century, college algebra was taught differently than it is nowadays. There are many topics that are now part of calculus or analysis classes. Other topics are covered only in abstract form in a modern algebra class on field theory. Fine's College Algebra offers the reader a chance to learn the origins of a variety of topics taught in today's curriculum, while also learning valuable techniques that, in some cases, are almost forgotten. In the early 1900s, methods were often emphasized, rather than abstract principles. In this book, Fine includes detailed discus

  7. Abstract algebra

    CERN Document Server

    Garrett, Paul B

    2007-01-01

    Designed for an advanced undergraduate- or graduate-level course, Abstract Algebra provides an example-oriented, less heavily symbolic approach to abstract algebra. The text emphasizes specifics such as basic number theory, polynomials, finite fields, as well as linear and multilinear algebra. This classroom-tested, how-to manual takes a more narrative approach than the stiff formalism of many other textbooks, presenting coherent storylines to convey crucial ideas in a student-friendly, accessible manner. An unusual feature of the text is the systematic characterization of objects by universal

  8. College algebra

    CERN Document Server

    Kolman, Bernard

    1985-01-01

    College Algebra, Second Edition is a comprehensive presentation of the fundamental concepts and techniques of algebra. The book incorporates some improvements from the previous edition to provide a better learning experience. It provides sufficient materials for use in the study of college algebra. It contains chapters that are devoted to various mathematical concepts, such as the real number system, the theory of polynomial equations, exponential and logarithmic functions, and the geometric definition of each conic section. Progress checks, warnings, and features are inserted. Every chapter c

  9. Describing disease processes using a probabilistic logic of qualitative time

    NARCIS (Netherlands)

    Heijden, M. van der; Lucas, P.J.F.

    2013-01-01

    BACKGROUND: Clinical knowledge about progress of diseases is characterised by temporal information as well as uncertainty. However, precise timing information is often unavailable in medicine. In previous research this problem has been tackled using Allen's qualitative algebra of time, which,

  10. Algebraic Geometry

    CERN Document Server

    Holme, Audun

    1988-01-01

    This volume presents selected papers resulting from the meeting at Sundance on enumerative algebraic geometry. The papers are original research articles and concentrate on the underlying geometry of the subject.

  11. Calculations of time-of-flight aberrations in practical electrostatic electron lenses using the differential algebraic method

    International Nuclear Information System (INIS)

    Kang, Yongfeng; Zhao, Jingyi; Tang, Tiantong

    2013-01-01

    The high order time-of-flight (TOF) aberrations in a practical electrostatic electron lens are calculated using the differential algebraic (DA) method. The electrostatic fields of the electrostatic lens, which are calculated by the FEM methods, are in the form of discrete arrays. Thus, the proposed DA method is applicable for engineering designs, and programs are written to compute up to fifth order TOF aberrations of practical electrostatic electron lenses. An example is given, and TOF aberrations up to the fifth order are calculated. It is proven that the numerical results for the electrostatic fields in the form of discrete arrays have a good accuracy compared with the theoretical solutions. The accuracy is limited only by the accuracy of the numerical computation of the fields and the numerical computation algorithms for interpolation and integration. Finally, a practical electrostatic electron lens is analysed and discussed as an example.

  12. Elementary algebra

    CERN Document Server

    McKeague, Charles P

    1986-01-01

    Elementary Algebra, Third Edition focuses on the basic principles, operations, and approaches involved in elementary algebra. The book first ponders on the basics, linear equations and inequalities, and graphing and linear systems. Discussions focus on the elimination method, solving linear systems by graphing, word problems, addition property of equality, solving linear equations, linear inequalities, addition and subtraction of real numbers, and properties of real numbers. The text then takes a look at exponents and polynomials, factoring, and rational expressions. Topics include reducing ra

  13. Elementary algebra

    CERN Document Server

    McKeague, Charles P

    1981-01-01

    Elementary Algebra 2e, Second Edition focuses on the basic principles, operations, and approaches involved in elementary algebra. The book first tackles the basics, linear equations and inequalities, and graphing and linear systems. Discussions focus on the substitution method, solving linear systems by graphing, solutions to linear equations in two variables, multiplication property of equality, word problems, addition property of equality, and subtraction, addition, multiplication, and division of real numbers. The manuscript then examines exponents and polynomials, factoring, and rational e

  14. Einstein algebras and general relativity

    International Nuclear Information System (INIS)

    Heller, M.

    1992-01-01

    A purely algebraic structure called an Einstein algebra is defined in such a way that every spacetime satisfying Einstein's equations is an Einstein algebra but not vice versa. The Gelfand representation of Einstein algebras is defined, and two of its subrepresentations are discussed. One of them is equivalent to the global formulation of the standard theory of general relativity; the other one leads to a more general theory of gravitation which, in particular, includes so-called regular singularities. In order to include other types of singularities one must change to sheaves of Einstein algebras. They are defined and briefly discussed. As a test of the proposed method, the sheaf of Einstein algebras corresponding to the space-time of a straight cosmic string with quasiregular singularity is constructed. 22 refs

  15. Linear algebra

    CERN Document Server

    Liesen, Jörg

    2015-01-01

    This self-contained textbook takes a matrix-oriented approach to linear algebra and presents a complete theory, including all details and proofs, culminating in the Jordan canonical form and its proof. Throughout the development, the applicability of the results is highlighted. Additionally, the book presents special topics from applied linear algebra including matrix functions, the singular value decomposition, the Kronecker product and linear matrix equations. The matrix-oriented approach to linear algebra leads to a better intuition and a deeper understanding of the abstract concepts, and therefore simplifies their use in real world applications. Some of these applications are presented in detailed examples. In several ‘MATLAB-Minutes’ students can comprehend the concepts and results using computational experiments. Necessary basics for the use of MATLAB are presented in a short introduction. Students can also actively work with the material and practice their mathematical skills in more than 300 exerc...

  16. Linear algebra

    CERN Document Server

    Edwards, Harold M

    1995-01-01

    In his new undergraduate textbook, Harold M Edwards proposes a radically new and thoroughly algorithmic approach to linear algebra Originally inspired by the constructive philosophy of mathematics championed in the 19th century by Leopold Kronecker, the approach is well suited to students in the computer-dominated late 20th century Each proof is an algorithm described in English that can be translated into the computer language the class is using and put to work solving problems and generating new examples, making the study of linear algebra a truly interactive experience Designed for a one-semester course, this text adopts an algorithmic approach to linear algebra giving the student many examples to work through and copious exercises to test their skills and extend their knowledge of the subject Students at all levels will find much interactive instruction in this text while teachers will find stimulating examples and methods of approach to the subject

  17. Algebraic arithmetic

    CERN Document Server

    Bell, Eric T

    1927-01-01

    The central topic of this book is the presentation of the author's principle of arithmetical paraphrases, which won him the Bôcher Prize in 1924. This general principle served to unify and extend many isolated results in the theory of numbers. The author successfully provides a systematic attempt to find a unified theory for each of various classes of related important problems in the theory of numbers, including its interrelations with algebra and analysis. This book will be of interest to advanced students in various branches of mathematics, including number theory, abstract algebra, ellipti

  18. Lie algebras

    CERN Document Server

    Jacobson, Nathan

    1979-01-01

    Lie group theory, developed by M. Sophus Lie in the 19th century, ranks among the more important developments in modern mathematics. Lie algebras comprise a significant part of Lie group theory and are being actively studied today. This book, by Professor Nathan Jacobson of Yale, is the definitive treatment of the subject and can be used as a textbook for graduate courses.Chapter I introduces basic concepts that are necessary for an understanding of structure theory, while the following three chapters present the theory itself: solvable and nilpotent Lie algebras, Carlan's criterion and its

  19. Linear algebra

    CERN Document Server

    Stoll, R R

    1968-01-01

    Linear Algebra is intended to be used as a text for a one-semester course in linear algebra at the undergraduate level. The treatment of the subject will be both useful to students of mathematics and those interested primarily in applications of the theory. The major prerequisite for mastering the material is the readiness of the student to reason abstractly. Specifically, this calls for an understanding of the fact that axioms are assumptions and that theorems are logical consequences of one or more axioms. Familiarity with calculus and linear differential equations is required for understand

  20. Basic algebra

    CERN Document Server

    Jacobson, Nathan

    2009-01-01

    A classic text and standard reference for a generation, this volume and its companion are the work of an expert algebraist who taught at Yale for two decades. Nathan Jacobson's books possess a conceptual and theoretical orientation, and in addition to their value as classroom texts, they serve as valuable references.Volume I explores all of the topics typically covered in undergraduate courses, including the rudiments of set theory, group theory, rings, modules, Galois theory, polynomials, linear algebra, and associative algebra. Its comprehensive treatment extends to such rigorous topics as L

  1. Algebraic Topology

    CERN Document Server

    Oliver, Bob; Pawałowski, Krzystof

    1991-01-01

    As part of the scientific activity in connection with the 70th birthday of the Adam Mickiewicz University in Poznan, an international conference on algebraic topology was held. In the resulting proceedings volume, the emphasis is on substantial survey papers, some presented at the conference, some written subsequently.

  2. ALGEBRAIC TOPOLOGY

    Indian Academy of Sciences (India)

    tion - 6. How Architectural Features Affect. Building During Earthquakes? C VRMurty. 48 Turbulence and Dispersion. K 5 Gandhi. BOOK REVIEWS. 86 Algebraic Topology. Siddhartha Gadgil. Front Cover. - .. ..-.......... -. Back Cover. Two-dimensional vertical section through a turbulent plume. (Courtesy: G S Shat, CAOS, IISc.).

  3. The algebraic properties of the space-and time-dependent one ...

    African Journals Online (AJOL)

    We consider the one-factor model of commodities for which the parameters of the model depend upon the stock price or upon the time. For that model we study the existence of group-invariant transformations. When the parameters are constant, the one-factor model is maximally symmetric. That also holds for the time- ...

  4. Elementary matrix algebra

    CERN Document Server

    Hohn, Franz E

    2012-01-01

    This complete and coherent exposition, complemented by numerous illustrative examples, offers readers a text that can teach by itself. Fully rigorous in its treatment, it offers a mathematically sound sequencing of topics. The work starts with the most basic laws of matrix algebra and progresses to the sweep-out process for obtaining the complete solution of any given system of linear equations - homogeneous or nonhomogeneous - and the role of matrix algebra in the presentation of useful geometric ideas, techniques, and terminology.Other subjects include the complete treatment of the structur

  5. Non-relativistic Bondi-Metzner-Sachs algebra

    Science.gov (United States)

    Batlle, Carles; Delmastro, Diego; Gomis, Joaquim

    2017-09-01

    We construct two possible candidates for non-relativistic bms4 algebra in four space-time dimensions by contracting the original relativistic bms4 algebra. bms4 algebra is infinite-dimensional and it contains the generators of the Poincaré algebra, together with the so-called super-translations. Similarly, the proposed nrbms4 algebras can be regarded as two infinite-dimensional extensions of the Bargmann algebra. We also study a canonical realization of one of these algebras in terms of the Fourier modes of a free Schrödinger field, mimicking the canonical realization of relativistic bms4 algebra using a free Klein-Gordon field.

  6. Solving Algebraic Riccati Equation Real Time for Integrated Vehicle Dynamics Control

    NARCIS (Netherlands)

    Kunnappillil Madhusudhanan, A; Corno, M.; Bonsen, B.; Holweg, E.

    2012-01-01

    In this paper we present a comparison study of different computational methods to implement State Dependent Riccati Equation (SDRE) based control in real time for a vehicle dynamics control application. Vehicles are mechatronic systems with nonlinear dynamics. One of the promising nonlinear control

  7. Algebraic characterizations of measure algebras

    Czech Academy of Sciences Publication Activity Database

    Jech, Thomas

    2008-01-01

    Roč. 136, č. 4 (2008), s. 1285-1294 ISSN 0002-9939 R&D Projects: GA AV ČR IAA100190509 Institutional research plan: CEZ:AV0Z10190503 Keywords : Von - Neumann * sequential topology * Boolean-algebras * Souslins problem * Submeasures Subject RIV: BA - General Mathematics Impact factor: 0.584, year: 2008

  8. Superalgebras with Grassmann algebra-valued structure constants from superfields

    International Nuclear Information System (INIS)

    Azcarraga, J.A. de; Lukierski, J.

    1987-05-01

    We introduce generalized Lie algebras and superalgebras with generators and structure constants taking values in a Grassmann algebra. Such algebraic structures describe the equal time algebras in the superfield formalism. As an example we consider the equal time commutators and anticommutators among bilinears made out of the D=1 quantum superfields describing the supersymmetric harmonic oscillator. (author). 10 refs

  9. On 2-Banach algebras

    International Nuclear Information System (INIS)

    Mohammad, N.; Siddiqui, A.H.

    1987-11-01

    The notion of a 2-Banach algebra is introduced and its structure is studied. After a short discussion of some fundamental properties of bivectors and tensor product, several classical results of Banach algebras are extended to the 2-Banach algebra case. A condition under which a 2-Banach algebra becomes a Banach algebra is obtained and the relation between algebra of bivectors and 2-normed algebra is discussed. 11 refs

  10. Algebraic and structural automata theory

    CERN Document Server

    Mikolajczak, B

    1991-01-01

    Automata Theory is part of computability theory which covers problems in computer systems, software, activity of nervous systems (neural networks), and processes of live organisms development.The result of over ten years of research, this book presents work in the following areas of Automata Theory: automata morphisms, time-varying automata, automata realizations and relationships between automata and semigroups.Aimed at those working in discrete mathematics and computer science, parts of the book are suitable for use in graduate courses in computer science, electronics, telecommunications, and control engineering. It is assumed that the reader is familiar with the basic concepts of algebra and graph theory.

  11. Color Algebras

    Science.gov (United States)

    Mulligan, Jeffrey B.

    2017-01-01

    A color algebra refers to a system for computing sums and products of colors, analogous to additive and subtractive color mixtures. The difficulty addressed here is the fact that, because of metamerism, we cannot know with certainty the spectrum that produced a particular color solely on the basis of sensory data. Knowledge of the spectrum is not required to compute additive mixture of colors, but is critical for subtractive (multiplicative) mixture. Therefore, we cannot predict with certainty the multiplicative interactions between colors based solely on sensory data. There are two potential applications of a color algebra: first, to aid modeling phenomena of human visual perception, such as color constancy and transparency; and, second, to provide better models of the interactions of lights and surfaces for computer graphics rendering.

  12. Algebraic theory of molecules

    CERN Document Server

    Iachello, F

    1995-01-01

    1. The Wave Mechanics of Diatomic Molecules. 2. Summary of Elements of Algebraic Theory. 3. Mechanics of Molecules. 4. Three-Body Algebraic Theory. 5. Four-Body Algebraic Theory. 6. Classical Limit and Coordinate Representation. 8. Prologue to the Future. Appendices. Properties of Lie Algebras; Coupling of Algebras; Hamiltonian Parameters

  13. Rota-Baxter algebras and the Hopf algebra of renormalization

    International Nuclear Information System (INIS)

    Ebrahimi-Fard, K.

    2006-06-01

    Recently, the theory of renormalization in perturbative quantum field theory underwent some exciting new developments. Kreimer discovered an organization of Feynman graphs into combinatorial Hopf algebras. The process of renormalization is captured by a factorization theorem for regularized Hopf algebra characters. Hereby the notion of Rota-Baxter algebras enters the scene. In this work we develop in detail several mathematical aspects of Rota-Baxter algebras as they appear also in other sectors closely related to perturbative renormalization, to wit, for instance multiple-zeta-values and matrix differential equations. The Rota-Baxter picture enables us to present the algebraic underpinning for the Connes-Kreimer Birkhoff decomposition in a concise way. This is achieved by establishing a general factorization theorem for filtered algebras. Which in turn follows from a new recursion formula based on the Baker-Campbell-Hausdorff formula. This allows us to generalize a classical result due to Spitzer to non-commutative Rota-Baxter algebras. The Baker-Campbell-Hausdorff based recursion turns out to be a generalization of Magnus' expansion in numerical analysis to generalized integration operators. We will exemplify these general results by establishing a simple representation of the combinatorics of renormalization in terms of triangular matrices. We thereby recover in the presence of a Rota-Baxter operator the matrix representation of the Birkhoff decomposition of Connes and Kreimer. (orig.)

  14. Rota-Baxter algebras and the Hopf algebra of renormalization

    Energy Technology Data Exchange (ETDEWEB)

    Ebrahimi-Fard, K.

    2006-06-15

    Recently, the theory of renormalization in perturbative quantum field theory underwent some exciting new developments. Kreimer discovered an organization of Feynman graphs into combinatorial Hopf algebras. The process of renormalization is captured by a factorization theorem for regularized Hopf algebra characters. Hereby the notion of Rota-Baxter algebras enters the scene. In this work we develop in detail several mathematical aspects of Rota-Baxter algebras as they appear also in other sectors closely related to perturbative renormalization, to wit, for instance multiple-zeta-values and matrix differential equations. The Rota-Baxter picture enables us to present the algebraic underpinning for the Connes-Kreimer Birkhoff decomposition in a concise way. This is achieved by establishing a general factorization theorem for filtered algebras. Which in turn follows from a new recursion formula based on the Baker-Campbell-Hausdorff formula. This allows us to generalize a classical result due to Spitzer to non-commutative Rota-Baxter algebras. The Baker-Campbell-Hausdorff based recursion turns out to be a generalization of Magnus' expansion in numerical analysis to generalized integration operators. We will exemplify these general results by establishing a simple representation of the combinatorics of renormalization in terms of triangular matrices. We thereby recover in the presence of a Rota-Baxter operator the matrix representation of the Birkhoff decomposition of Connes and Kreimer. (orig.)

  15. Real Algebraic Geometry

    CERN Document Server

    Mahé, Louis; Roy, Marie-Françoise

    1992-01-01

    Ten years after the first Rennes international meeting on real algebraic geometry, the second one looked at the developments in the subject during the intervening decade - see the 6 survey papers listed below. Further contributions from the participants on recent research covered real algebra and geometry, topology of real algebraic varieties and 16thHilbert problem, classical algebraic geometry, techniques in real algebraic geometry, algorithms in real algebraic geometry, semialgebraic geometry, real analytic geometry. CONTENTS: Survey papers: M. Knebusch: Semialgebraic topology in the last ten years.- R. Parimala: Algebraic and topological invariants of real algebraic varieties.- Polotovskii, G.M.: On the classification of decomposing plane algebraic curves.- Scheiderer, C.: Real algebra and its applications to geometry in the last ten years: some major developments and results.- Shustin, E.L.: Topology of real plane algebraic curves.- Silhol, R.: Moduli problems in real algebraic geometry. Further contribu...

  16. Hom-Novikov algebras

    International Nuclear Information System (INIS)

    Yau, Donald

    2011-01-01

    We study a twisted generalization of Novikov algebras, called Hom-Novikov algebras, in which the two defining identities are twisted by a linear map. It is shown that Hom-Novikov algebras can be obtained from Novikov algebras by twisting along any algebra endomorphism. All algebra endomorphisms on complex Novikov algebras of dimensions 2 or 3 are computed, and their associated Hom-Novikov algebras are described explicitly. Another class of Hom-Novikov algebras is constructed from Hom-commutative algebras together with a derivation, generalizing a construction due to Dorfman and Gel'fand. Two other classes of Hom-Novikov algebras are constructed from Hom-Lie algebras together with a suitable linear endomorphism, generalizing a construction due to Bai and Meng.

  17. Algebraic and stochastic coding theory

    CERN Document Server

    Kythe, Dave K

    2012-01-01

    Using a simple yet rigorous approach, Algebraic and Stochastic Coding Theory makes the subject of coding theory easy to understand for readers with a thorough knowledge of digital arithmetic, Boolean and modern algebra, and probability theory. It explains the underlying principles of coding theory and offers a clear, detailed description of each code. More advanced readers will appreciate its coverage of recent developments in coding theory and stochastic processes. After a brief review of coding history and Boolean algebra, the book introduces linear codes, including Hamming and Golay codes.

  18. The Role of Cognitive Processes, Foundational Math Skill, and Calculation Accuracy and Fluency in Word-Problem Solving versus Pre-Algebraic Knowledge

    Science.gov (United States)

    Fuchs, Lynn S.; Gilbert, Jennifer K.; Powell, Sarah R.; Cirino, Paul T.; Fuchs, Douglas; Hamlett, Carol L.; Seethaler, Pamela M.; Tolar, Tammy D.

    2016-01-01

    The purpose of this study was to examine child-level pathways in development of pre-algebraic knowledge versus word-problem solving, while evaluating the contribution of calculation accuracy and fluency as mediators of foundational skills/processes. Children (n = 962; mean 7.60 years) were assessed on general cognitive processes and early calculation, word-problem, and number knowledge at start of grade 2; calculation accuracy and calculation fluency at end of grade 2; and pre-algebraic knowledge and word-problem solving at end of grade 4. Important similarities in pathways were identified, but path analysis also indicated that language comprehension is more critical for later word-problem solving than pre-algebraic knowledge. We conclude that pathways in development of these forms of 4th-grade mathematics performance are more alike than different, but demonstrate the need to fine-tune instruction for strands of the mathematics curriculum in ways that address individual students’ foundational mathematics skills or cognitive processes. PMID:27786534

  19. Algebraic functions

    CERN Document Server

    Bliss, Gilbert Ames

    1933-01-01

    This book, immediately striking for its conciseness, is one of the most remarkable works ever produced on the subject of algebraic functions and their integrals. The distinguishing feature of the book is its third chapter, on rational functions, which gives an extremely brief and clear account of the theory of divisors.... A very readable account is given of the topology of Riemann surfaces and of the general properties of abelian integrals. Abel's theorem is presented, with some simple applications. The inversion problem is studied for the cases of genus zero and genus unity. The chapter on t

  20. Universal algebra

    CERN Document Server

    Grätzer, George

    1979-01-01

    Universal Algebra, heralded as ". . . the standard reference in a field notorious for the lack of standardization . . .," has become the most authoritative, consistently relied on text in a field with applications in other branches of algebra and other fields such as combinatorics, geometry, and computer science. Each chapter is followed by an extensive list of exercises and problems. The "state of the art" account also includes new appendices (with contributions from B. Jónsson, R. Quackenbush, W. Taylor, and G. Wenzel) and a well-selected additional bibliography of over 1250 papers and books which makes this a fine work for students, instructors, and researchers in the field. "This book will certainly be, in the years to come, the basic reference to the subject." --- The American Mathematical Monthly (First Edition) "In this reviewer's opinion [the author] has more than succeeded in his aim. The problems at the end of each chapter are well-chosen; there are more than 650 of them. The book is especially sui...

  1. Yoneda algebras of almost Koszul algebras

    Indian Academy of Sciences (India)

    Abstract. Let k be an algebraically closed field, A a finite dimensional connected. (p,q)-Koszul self-injective algebra with p, q ≥ 2. In this paper, we prove that the. Yoneda algebra of A is isomorphic to a twisted polynomial algebra A![t; β] in one inde- terminate t of degree q +1 in which A! is the quadratic dual of A, β is an ...

  2. Open algebraic surfaces

    CERN Document Server

    Miyanishi, Masayoshi

    2000-01-01

    Open algebraic surfaces are a synonym for algebraic surfaces that are not necessarily complete. An open algebraic surface is understood as a Zariski open set of a projective algebraic surface. There is a long history of research on projective algebraic surfaces, and there exists a beautiful Enriques-Kodaira classification of such surfaces. The research accumulated by Ramanujan, Abhyankar, Moh, and Nagata and others has established a classification theory of open algebraic surfaces comparable to the Enriques-Kodaira theory. This research provides powerful methods to study the geometry and topology of open algebraic surfaces. The theory of open algebraic surfaces is applicable not only to algebraic geometry, but also to other fields, such as commutative algebra, invariant theory, and singularities. This book contains a comprehensive account of the theory of open algebraic surfaces, as well as several applications, in particular to the study of affine surfaces. Prerequisite to understanding the text is a basic b...

  3. Generalized Hermitian Algebras

    Science.gov (United States)

    Foulis, David J.; Pulmannová, Sylvia

    2009-05-01

    We refer to the real Jordan Banach algebra of bounded Hermitian operators on a Hilbert space as a Hermitian algebra. In this paper we define and launch a study of a class of generalized Hermitian (GH) algebras. Among the examples of GH-algebras are ordered special Jordan algebras, JW-algebras, and AJW-algebras, but unlike these more restricted cases, a GH-algebra is not necessarily a Banach space and its lattice of projections is not necessarily complete. In this paper we develop the basic theory of GH-algebras, identify their unit intervals as effect algebras, and observe that their projection lattices are sigma-complete orthomodular lattices. We show that GH-algebras are spectral order-unit spaces and that they admit a substantial spectral theory.

  4. Universal enveloping algebras for Malcev color algebras

    OpenAIRE

    de-la-Concepción, Daniel

    2015-01-01

    In this paper we give a construction of the universal enveloping algebra of a Malcev algebra in categories of group algebra comodules with a symmetry given by a bicharacter of the group. A particular example of such categories is the category of super vector spaces.

  5. Distribution theory of algebraic numbers

    CERN Document Server

    Yang, Chung-Chun

    2008-01-01

    The book timely surveys new research results and related developments in Diophantine approximation, a division of number theory which deals with the approximation of real numbers by rational numbers. The book is appended with a list of challenging open problems and a comprehensive list of references. From the contents: Field extensions Algebraic numbers Algebraic geometry Height functions The abc-conjecture Roth''s theorem Subspace theorems Vojta''s conjectures L-functions.

  6. Non interleaving process algebra

    NARCIS (Netherlands)

    Baeten, J.C.M.; Bergstra, J.A.

    1993-01-01

    We study a non interleaving subalgebra of a reduct of a model of ACP. The model discussed uses step bisimulation semantics. We can derive identities in this model with the help of the (interleaving) ACP calculus with multi-actions. We study the connection with Petri nets, and introduce

  7. Linear algebra

    CERN Document Server

    Said-Houari, Belkacem

    2017-01-01

    This self-contained, clearly written textbook on linear algebra is easily accessible for students. It begins with the simple linear equation and generalizes several notions from this equation for the system of linear equations and introduces the main ideas using matrices. It then offers a detailed chapter on determinants and introduces the main ideas with detailed proofs. The third chapter introduces the Euclidean spaces using very simple geometric ideas and discusses various major inequalities and identities. These ideas offer a solid basis for understanding general Hilbert spaces in functional analysis. The following two chapters address general vector spaces, including some rigorous proofs to all the main results, and linear transformation: areas that are ignored or are poorly explained in many textbooks. Chapter 6 introduces the idea of matrices using linear transformation, which is easier to understand than the usual theory of matrices approach. The final two chapters are more advanced, introducing t...

  8. Junior high school students' cognitive process in solving the developed algebraic problems based on information processing taxonomy model

    Science.gov (United States)

    Purwoko, Saad, Noor Shah; Tajudin, Nor'ain Mohd

    2017-05-01

    This study aims to: i) develop problem solving questions of Linear Equations System of Two Variables (LESTV) based on levels of IPT Model, ii) explain the level of students' skill of information processing in solving LESTV problems; iii) explain students' skill in information processing in solving LESTV problems; and iv) explain students' cognitive process in solving LESTV problems. This study involves three phases: i) development of LESTV problem questions based on Tessmer Model; ii) quantitative survey method on analyzing students' skill level of information processing; and iii) qualitative case study method on analyzing students' cognitive process. The population of the study was 545 eighth grade students represented by a sample of 170 students of five Junior High Schools in Hilir Barat Zone, Palembang (Indonesia) that were chosen using cluster sampling. Fifteen students among them were drawn as a sample for the interview session with saturated information obtained. The data were collected using the LESTV problem solving test and the interview protocol. The quantitative data were analyzed using descriptive statistics, while the qualitative data were analyzed using the content analysis. The finding of this study indicated that students' cognitive process was just at the step of indentifying external source and doing algorithm in short-term memory fluently. Only 15.29% students could retrieve type A information and 5.88% students could retrieve type B information from long-term memory. The implication was the development problems of LESTV had validated IPT Model in modelling students' assessment by different level of hierarchy.

  9. Split Malcev algebras

    Indian Academy of Sciences (India)

    Introduction and preliminaries. The class of Malcev algebras contains one of the Lie algebras and so a question arises whether some known results on Lie algebras can be extended to the framework of Malcev algebras (see [4, 7, 9, 10]). In the present paper, we are interested in studying the structure of arbitrary Malcev ...

  10. Embeddings of Heyting Algebras

    NARCIS (Netherlands)

    Jongh, D.H.J. de; Visser, A.

    In this paper we study embeddings of Heyting Algebras. It is pointed out that such embeddings are naturally connected with Derived Rules. We compare the Heyting Algebras embeddable in the Heyting Algebra of the Intuitionistic Propositional Calculus (IPC), i.e. the free Heyting Algebra on countably

  11. Novikov-Jordan algebras

    OpenAIRE

    Dzhumadil'daev, A. S.

    2002-01-01

    Algebras with identity $(a\\star b)\\star (c\\star d) -(a\\star d)\\star(c\\star b)$ $=(a,b,c)\\star d-(a,d,c)\\star b$ are studied. Novikov algebras under Jordan multiplication and Leibniz dual algebras satisfy this identity. If algebra with such identity has unit, then it is associative and commutative.

  12. Introduction to relation algebras relation algebras

    CERN Document Server

    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 ...

  13. Wavelets and quantum algebras

    International Nuclear Information System (INIS)

    Ludu, A.; Greiner, M.

    1995-09-01

    A non-linear associative algebra is realized in terms of translation and dilation operators, and a wavelet structure generating algebra is obtained. We show that this algebra is a q-deformation of the Fourier series generating algebra, and reduces to this for certain value of the deformation parameter. This algebra is also homeomorphic with the q-deformed su q (2) algebra and some of its extensions. Through this algebraic approach new methods for obtaining the wavelets are introduced. (author). 20 refs

  14. The algebras of large N matrix mechanics

    Energy Technology Data Exchange (ETDEWEB)

    Halpern, M.B.; Schwartz, C.

    1999-09-16

    Extending early work, we formulate the large N matrix mechanics of general bosonic, fermionic and supersymmetric matrix models, including Matrix theory: The Hamiltonian framework of large N matrix mechanics provides a natural setting in which to study the algebras of the large N limit, including (reduced) Lie algebras, (reduced) supersymmetry algebras and free algebras. We find in particular a broad array of new free algebras which we call symmetric Cuntz algebras, interacting symmetric Cuntz algebras, symmetric Bose/Fermi/Cuntz algebras and symmetric Cuntz superalgebras, and we discuss the role of these algebras in solving the large N theory. Most important, the interacting Cuntz algebras are associated to a set of new (hidden!) local quantities which are generically conserved only at large N. A number of other new large N phenomena are also observed, including the intrinsic nonlocality of the (reduced) trace class operators of the theory and a closely related large N field identification phenomenon which is associated to another set (this time nonlocal) of new conserved quantities at large N.

  15. Further linear algebra

    CERN Document Server

    Blyth, T S

    2002-01-01

    Most of the introductory courses on linear algebra develop the basic theory of finite­ dimensional vector spaces, and in so doing relate the notion of a linear mapping to that of a matrix. Generally speaking, such courses culminate in the diagonalisation of certain matrices and the application of this process to various situations. Such is the case, for example, in our previous SUMS volume Basic Linear Algebra. The present text is a continuation of that volume, and has the objective of introducing the reader to more advanced properties of vector spaces and linear mappings, and consequently of matrices. For readers who are not familiar with the contents of Basic Linear Algebra we provide an introductory chapter that consists of a compact summary of the prerequisites for the present volume. In order to consolidate the student's understanding we have included a large num­ ber of illustrative and worked examples, as well as many exercises that are strategi­ cally placed throughout the text. Solutions to the ex...

  16. A division algebra classification of generalized supersymmetries

    International Nuclear Information System (INIS)

    Toppan, Francesco

    2004-10-01

    Generalized supersymmetries admitting bosonic tensor central charges are classified in accordance with their division algebra properties. Division algebra consistent constraints lead (in the complex and quaternionic cases) to the classes of hermitian and holomorphic generalized supersymmetries. Applications to the analytic continuation of the M-algebra to the Euclidean and the systematic investigation of certain classes of models in generic space-times are briefly mentioned. (author)

  17. Current algebra from Chern-Simons theories

    International Nuclear Information System (INIS)

    Dunne, G.V.; Trugenberger, C.A.; Massachusetts Inst. of Tech., Cambridge

    1990-01-01

    We analyze odd-dimensional gauge field theories with action including both a Chern-Simons and a Yang-Mills term. When space-time has a spatial boundary the commutator algebra of Gauss law constraints acquires a boundary-valued anomaly which is related to anomalous chiral fermionic current algebra. We further study the limit in which the Yang-Mills term is removed and compute the corresponding anomalous boundary current algebras of pure Chern-Simons theories. (orig.)

  18. Solving Langevin equation with the stochastic algebraically correlated noise

    International Nuclear Information System (INIS)

    Ploszajczak, M.; Srokowski, T.

    1996-01-01

    Long time tail in the velocity and force autocorrelation function has been found recently in the molecular dynamics simulations of the peripheral collisions of ions. Simulation of those slowly decaying correlations in the stochastic transport theory requires the development of new methods of generating stochastic force of arbitrarily long correlation times. The Markovian process and the multidimensional Kangaroo process which permit describing various algebraic correlated stochastic processes are proposed. (author)

  19. Quantizations of generalized-Witt algebra and of Jacobson-Witt algebra in modular case

    International Nuclear Information System (INIS)

    Hu Naihong; Wang Xiuling

    2006-12-01

    We quantize the generalized-Witt algebra in characteristic 0 with its Lie bialgebra structures discovered by Song-Su ([10]). Via a modulo p reduction and a modulo 'restrictedness' reduction process, we get 2 n -1 families of truncated p-polynomial noncommutative deformations of the restricted universal enveloping algebra of the Jacobson-Witt algebra W (n; 1) (for the Cartan type simple modular restricted Lie algebra of W type). They are new families of noncommutative and noncommutative Hopf algebras of dimension p 1+np n in characteristic p. Our results generalize a work of Grunspan (J. Algebra 280 (2004), 145-161]) in the rank n = 1 case in characteristic 0, whereas in the modular case, the argument for a refined version needs to follow a different modulo reductions' approach with some techniques from the modular Lie algebra theory. (author)

  20. Uniform Frechet algebras

    CERN Document Server

    Goldmann, H

    1990-01-01

    The first part of this monograph is an elementary introduction to the theory of Fréchet algebras. Important examples of Fréchet algebras, which are among those considered, are the algebra of all holomorphic functions on a (hemicompact) reduced complex space, and the algebra of all continuous functions on a suitable topological space.The problem of finding analytic structure in the spectrum of a Fréchet algebra is the subject of the second part of the book. In particular, the author pays attention to function algebraic characterizations of certain Stein algebras (= algebras of holomorphic functions on Stein spaces) within the class of Fréchet algebras.

  1. Leavitt path algebras

    CERN Document Server

    Abrams, Gene; Siles Molina, Mercedes

    2017-01-01

    This book offers a comprehensive introduction by three of the leading experts in the field, collecting fundamental results and open problems in a single volume. Since Leavitt path algebras were first defined in 2005, interest in these algebras has grown substantially, with ring theorists as well as researchers working in graph C*-algebras, group theory and symbolic dynamics attracted to the topic. Providing a historical perspective on the subject, the authors review existing arguments, establish new results, and outline the major themes and ring-theoretic concepts, such as the ideal structure, Z-grading and the close link between Leavitt path algebras and graph C*-algebras. The book also presents key lines of current research, including the Algebraic Kirchberg Phillips Question, various additional classification questions, and connections to noncommutative algebraic geometry. Leavitt Path Algebras will appeal to graduate students and researchers working in the field and related areas, such as C*-algebras and...

  2. Computers in nonassociative rings and algebras

    CERN Document Server

    Beck, Robert E

    1977-01-01

    Computers in Nonassociative Rings and Algebras provides information pertinent to the computational aspects of nonassociative rings and algebras. This book describes the algorithmic approaches for solving problems using a computer.Organized into 10 chapters, this book begins with an overview of the concept of a symmetrized power of a group representation. This text then presents data structures and other computational methods that may be useful in the field of computational algebra. Other chapters consider several mathematical ideas, including identity processing in nonassociative algebras, str

  3. Development of abstract mathematical reasoning: The case of algebra

    Directory of Open Access Journals (Sweden)

    Ana eSusac

    2014-09-01

    Full Text Available Algebra typically represents the students’ first encounter with abstract mathematical reasoning and it therefore causes significant difficulties for students who still reason concretely. The aim of the present study was to investigate the developmental trajectory of the students’ ability to solve simple algebraic equations. 311 participants between the ages of 12 and 17 were given a computerized test of equation rearrangement. Equations consisted of an unknown and two other elements (numbers or letters, and the operations of multiplication/division. The obtained results showed that younger participants are less accurate and slower in solving equations with letters (symbols than those with numbers. This difference disappeared for older participants (16-17 years, suggesting that they had reached an abstract reasoning level, at least for this simple task. A corresponding conclusion arises from the analysis of their strategies which suggests that younger participants mostly used concrete strategies such as inserting numbers, while older participants typically used more abstract, rule-based strategies. These results indicate that the development of algebraic thinking is a process which unfolds over a long period of time. In agreement with previous research, we can conclude that, on average, children at the age of 15-16 transition from using concrete to abstract strategies while solving the algebra problems addressed within the present study. A better understanding of the timing and speed of students’ transition from concrete arithmetic reasoning to abstract algebraic reasoning might help in designing better curricula and teaching materials that would ease that transition.

  4. Algebraic theory of numbers

    CERN Document Server

    Samuel, Pierre

    2008-01-01

    Algebraic number theory introduces students not only to new algebraic notions but also to related concepts: groups, rings, fields, ideals, quotient rings and quotient fields, homomorphisms and isomorphisms, modules, and vector spaces. Author Pierre Samuel notes that students benefit from their studies of algebraic number theory by encountering many concepts fundamental to other branches of mathematics - algebraic geometry, in particular.This book assumes a knowledge of basic algebra but supplements its teachings with brief, clear explanations of integrality, algebraic extensions of fields, Gal

  5. Workshop on Lie Algebras

    CERN Document Server

    Osborn, J

    1989-01-01

    During the academic year 1987-1988 the University of Wisconsin in Madison hosted a Special Year of Lie Algebras. A Workshop on Lie Algebras, of which these are the proceedings, inaugurated the special year. The principal focus of the year and of the workshop was the long-standing problem of classifying the simple finite-dimensional Lie algebras over algebraically closed field of prime characteristic. However, other lectures at the workshop dealt with the related areas of algebraic groups, representation theory, and Kac-Moody Lie algebras. Fourteen papers were presented and nine of these (eight research articles and one expository article) make up this volume.

  6. Relation between dual S-algebras and BE-algebras

    Directory of Open Access Journals (Sweden)

    Arsham Borumand Saeid

    2015-05-01

    Full Text Available In this paper, we investigate the relationship between dual (Weak Subtraction algebras, Heyting algebras and BE-algebras. In fact, the purpose of this paper is to show that BE-algebra is a generalization of Heyting algebra and dual (Weak Subtraction algebras. Also, we show that a bounded commutative self distributive BE-algebra is equivalent to the Heyting algebra.  

  7. Algebraic isotopy in genetics.

    Science.gov (United States)

    Campos, T M; Holgate, P

    1987-01-01

    It is shown that many of the algebras arising in nonselective genetics are isotopes of the algebras for particularly simple systems of inheritance. Moreover, interesting aspects of the structure are preserved under the relevant isotopies.

  8. Rudiments of algebraic geometry

    CERN Document Server

    Jenner, WE

    2017-01-01

    Aimed at advanced undergraduate students of mathematics, this concise text covers the basics of algebraic geometry. Topics include affine spaces, projective spaces, rational curves, algebraic sets with group structure, more. 1963 edition.

  9. Cylindric-like algebras and algebraic logic

    CERN Document Server

    Ferenczi, Miklós; Németi, István

    2013-01-01

    Algebraic logic is a subject in the interface between logic, algebra and geometry, it has strong connections with category theory and combinatorics. Tarski’s quest for finding structure in logic leads to cylindric-like algebras as studied in this book, they are among the main players in Tarskian algebraic logic. Cylindric algebra theory can be viewed in many ways:  as an algebraic form of definability theory, as a study of higher-dimensional relations, as an enrichment of Boolean Algebra theory, or, as logic in geometric form (“cylindric” in the name refers to geometric aspects). Cylindric-like algebras have a wide range of applications, in, e.g., natural language theory, data-base theory, stochastics, and even in relativity theory. The present volume, consisting of 18 survey papers, intends to give an overview of the main achievements and new research directions in the past 30 years, since the publication of the Henkin-Monk-Tarski monographs. It is dedicated to the memory of Leon Henkin.

  10. New applications of graded Lie algebras to Lie algebras, generalized Lie algebras and cohomology

    OpenAIRE

    Pinczon, Georges; Ushirobira, Rosane

    2005-01-01

    We give new applications of graded Lie algebras to: identities of standard polynomials, deformation theory of quadratic Lie algebras, cyclic cohomology of quadratic Lie algebras, $2k$-Lie algebras, generalized Poisson brackets and so on.

  11. Training and evaluation of neural networks for multi-variate time series processing

    DEFF Research Database (Denmark)

    Fog, Torben L.; Larsen, Jan; Hansen, Lars Kai

    1995-01-01

    We study the training and generalization for multi-variate time series processing. It is suggested to used a quasi-maximum likelihood approach rather than the standard sum of squared errors, thus taking dependencies among the errors of the individual time series into account. This may lead...... to improved generalization performance. Further, we extend the optimal brain damage pruning technique to the multi-variate case. A key ingredient is an algebraic expression for the generalization ability of a multi-variate model. The variability of the suggested techniques are successfully demonstrated...

  12. Algebraic statistics computational commutative algebra in statistics

    CERN Document Server

    Pistone, Giovanni; Wynn, Henry P

    2000-01-01

    Written by pioneers in this exciting new field, Algebraic Statistics introduces the application of polynomial algebra to experimental design, discrete probability, and statistics. It begins with an introduction to Gröbner bases and a thorough description of their applications to experimental design. A special chapter covers the binary case with new application to coherent systems in reliability and two level factorial designs. The work paves the way, in the last two chapters, for the application of computer algebra to discrete probability and statistical modelling through the important concept of an algebraic statistical model.As the first book on the subject, Algebraic Statistics presents many opportunities for spin-off research and applications and should become a landmark work welcomed by both the statistical community and its relatives in mathematics and computer science.

  13. Just Say Yes to Early Algebra!

    Science.gov (United States)

    Stephens, Ana; Blanton, Maria; Knuth, Eric; Isler, Isil; Gardiner, Angela Murphy

    2015-01-01

    Mathematics educators have argued for some time that elementary school students are capable of engaging in algebraic thinking and should be provided with rich opportunities to do so. Recent initiatives like the Common Core State Standards for Mathematics (CCSSM) (CCSSI 2010) have taken up this call by reiterating the place of early algebra in…

  14. Split Malcev algebras

    Indian Academy of Sciences (India)

    We study the structure of split Malcev algebras of arbitrary dimension over an algebraically closed field of characteristic zero. We show that any such algebras is of the form M = U + ∑ j I j with U a subspace of the abelian Malcev subalgebra and any I j a well described ideal of satisfying [ I j , I k ] = 0 if ≠ .

  15. Meanings Given to Algebraic Symbolism in Problem-Posing

    Science.gov (United States)

    Cañadas, María C.; Molina, Marta; del Río, Aurora

    2018-01-01

    Some errors in the learning of algebra suggest that students might have difficulties giving meaning to algebraic symbolism. In this paper, we use problem posing to analyze the students' capacity to assign meaning to algebraic symbolism and the difficulties that students encounter in this process, depending on the characteristics of the algebraic…

  16. On Continuous Time Markov Processes in Bargaining

    NARCIS (Netherlands)

    Houba, H.E.D.

    2008-01-01

    For bilateral stochastic bargaining procedures embedded in stable homogeneous continuous-time Markov processes, we show unusual limit results when time between rounds vanish. Standard convergence results require that some states are instantaneous. © 2008.

  17. Timed Comparisons of Semi-Markov Processes

    DEFF Research Database (Denmark)

    Pedersen, Mathias Ruggaard; Larsen, Kim Guldstrand; Bacci, Giorgio

    2018-01-01

    Semi-Markov processes are Markovian processes in which the firing time of transitions is modelled by probabilistic distributions over positive reals interpreted as the probability of firing a transition at a certain moment in time. In this paper we consider the trace-based semantics of semi......-Markov processes, and investigate the question of how to compare two semi-Markov processes with respect to their time-dependent behaviour. To this end, we introduce the relation of being “faster than” between processes and study its algorithmic complexity. Through a connection to probabilistic automata we obtain...... hardness results showing in particular that this relation is undecidable. However, we present an additive approximation algorithm for a time-bounded variant of the faster-than problem over semi-Markov processes with slow residence-time functions, and a coNP algorithm for the exact faster-than problem over...

  18. Linearizing W-algebras

    International Nuclear Information System (INIS)

    Krivonos, S.O.; Sorin, A.S.

    1994-06-01

    We show that the Zamolodchikov's and Polyakov-Bershadsky nonlinear algebras W 3 and W (2) 3 can be embedded as subalgebras into some linear algebras with finite set of currents. Using these linear algebras we find new field realizations of W (2) 3 and W 3 which could be a starting point for constructing new versions of W-string theories. We also reveal a number of hidden relationships between W 3 and W (2) 3 . We conjecture that similar linear algebras can exist for other W-algebra as well. (author). 10 refs

  19. Algorithms in Algebraic Geometry

    CERN Document Server

    Dickenstein, Alicia; Sommese, Andrew J

    2008-01-01

    In the last decade, there has been a burgeoning of activity in the design and implementation of algorithms for algebraic geometric computation. Some of these algorithms were originally designed for abstract algebraic geometry, but now are of interest for use in applications and some of these algorithms were originally designed for applications, but now are of interest for use in abstract algebraic geometry. The workshop on Algorithms in Algebraic Geometry that was held in the framework of the IMA Annual Program Year in Applications of Algebraic Geometry by the Institute for Mathematics and Its

  20. Real-time optical information processing

    CERN Document Server

    Javidi, Bahram

    1994-01-01

    Real-Time Optical Information Processing covers the most recent developments in optical information processing, pattern recognition, neural computing, and materials for devices in optical computing. Intended for researchers and graduate students in signal and information processing with some elementary background in optics, the book provides both theoretical and practical information on the latest in information processing in all its aspects. Leading researchers in the field describe the significant signal processing algorithms architectures in optics as well as basic hardware concepts,

  1. Generating loop graphs via Hopf algebra in quantum field theory

    International Nuclear Information System (INIS)

    Mestre, Angela; Oeckl, Robert

    2006-01-01

    We use the Hopf algebra structure of the time-ordered algebra of field operators to generate all connected weighted Feynman graphs in a recursive and efficient manner. The algebraic representation of the graphs is such that they can be evaluated directly as contributions to the connected n-point functions. The recursion proceeds by loop order and vertex number

  2. Should College Algebra be a Prerequisite for Taking Psychology Statistics?

    Science.gov (United States)

    Sibulkin, Amy E.; Butler, J. S.

    2008-01-01

    In order to consider whether a course in college algebra should be a prerequisite for taking psychology statistics, we recorded students' grades in elementary psychology statistics and in college algebra at a 4-year university. Students who earned credit in algebra prior to enrolling in statistics for the first time had a significantly higher mean…

  3. Practical algebraic renormalization

    International Nuclear Information System (INIS)

    Grassi, Pietro Antonio; Hurth, Tobias; Steinhauser, Matthias

    2001-01-01

    A practical approach is presented which allows the use of a non-invariant regularization scheme for the computation of quantum corrections in perturbative quantum field theory. The theoretical control of algebraic renormalization over non-invariant counterterms is translated into a practical computational method. We provide a detailed introduction into the handling of the Slavnov-Taylor and Ward-Takahashi identities in the standard model both in the conventional and the background gauge. Explicit examples for their practical derivation are presented. After a brief introduction into the Quantum Action Principle the conventional algebraic method which allows for the restoration of the functional identities is discussed. The main point of our approach is the optimization of this procedure which results in an enormous reduction of the calculational effort. The counterterms which have to be computed are universal in the sense that they are independent of the regularization scheme. The method is explicitly illustrated for two processes of phenomenological interest: QCD corrections to the decay of the Higgs boson into two photons and two-loop electroweak corrections to the process B→X s γ

  4. Wn(2) algebras

    International Nuclear Information System (INIS)

    Feigin, B.L.; Semikhatov, A.M.

    2004-01-01

    We construct W-algebra generalizations of the sl-circumflex(2) algebra-W algebras W n (2) generated by two currents E and F with the highest pole of order n in their OPE. The n=3 term in this series is the Bershadsky-Polyakov W 3 (2) algebra. We define these algebras as a centralizer (commutant) of the Uqs-bar (n vertical bar 1) quantum supergroup and explicitly find the generators in a factored, 'Miura-like' form. Another construction of the W n (2) algebras is in terms of the coset sl-circumflex(n vertical bar 1)/sl-circumflex(n). The relation between the two constructions involves the 'duality' (k+n-1)(k'+n-1)=1 between levels k and k' of two sl-circumflex(n) algebras

  5. Algebraic conformal field theory

    International Nuclear Information System (INIS)

    Fuchs, J.; Nationaal Inst. voor Kernfysica en Hoge-Energiefysica

    1991-11-01

    Many conformal field theory features are special versions of structures which are present in arbitrary 2-dimensional quantum field theories. So it makes sense to describe 2-dimensional conformal field theories in context of algebraic theory of superselection sectors. While most of the results of the algebraic theory are rather abstract, conformal field theories offer the possibility to work out many formulae explicitly. In particular, one can construct the full algebra A-bar of global observables and the endomorphisms of A-bar which represent the superselection sectors. Some explicit results are presented for the level 1 so(N) WZW theories; the algebra A-bar is found to be the enveloping algebra of a Lie algebra L-bar which is an extension of the chiral symmetry algebra of the WZW theory. (author). 21 refs., 6 figs

  6. Discrete Minimal Surface Algebras

    Directory of Open Access Journals (Sweden)

    Joakim Arnlind

    2010-05-01

    Full Text Available We consider discrete minimal surface algebras (DMSA as generalized noncommutative analogues of minimal surfaces in higher dimensional spheres. These algebras appear naturally in membrane theory, where sequences of their representations are used as a regularization. After showing that the defining relations of the algebra are consistent, and that one can compute a basis of the enveloping algebra, we give several explicit examples of DMSAs in terms of subsets of sl_n (any semi-simple Lie algebra providing a trivial example by itself. A special class of DMSAs are Yang-Mills algebras. The representation graph is introduced to study representations of DMSAs of dimension d ≤ 4, and properties of representations are related to properties of graphs. The representation graph of a tensor product is (generically the Cartesian product of the corresponding graphs. We provide explicit examples of irreducible representations and, for coinciding eigenvalues, classify all the unitary representations of the corresponding algebras.

  7. Storm real-time processing cookbook

    CERN Document Server

    Anderson, Quinton

    2013-01-01

    A Cookbook with plenty of practical recipes for different uses of Storm.If you are a Java developer with basic knowledge of real-time processing and would like to learn Storm to process unbounded streams of data in real time, then this book is for you.

  8. Bicovariant quantum algebras and quantum Lie algebras

    International Nuclear Information System (INIS)

    Schupp, P.; Watts, P.; Zumino, B.

    1993-01-01

    A bicovariant calculus of differential operators on a quantum group is constructed in a natural way, using invariant maps from Fun(G q ) to U q g, given by elements of the pure braid group. These operators - the 'reflection matrix' Y= triple bond L + SL - being a special case - generate algebras that linearly close under adjoint actions, i.e. they form generalized Lie algebras. We establish the connection between the Hopf algebra formulation of the calculus and a formulation in compact matrix form which is quite powerful for actual computations and as applications we find the quantum determinant and an orthogonality relation for Y in SO q (N). (orig.)

  9. The Boolean algebra and central Galois algebras

    Directory of Open Access Journals (Sweden)

    George Szeto

    2001-01-01

    Full Text Available Let B be a Galois algebra with Galois group G, Jg={b∈B∣bx=g(xb   for all   x∈B} for g∈G, and BJg=Beg for a central idempotent eg. Then a relation is given between the set of elements in the Boolean algebra (Ba,≤ generated by {0,eg∣g∈G} and a set of subgroups of G, and a central Galois algebra Be with a Galois subgroup of G is characterized for an e∈Ba.

  10. Image processing in real time radiography

    International Nuclear Information System (INIS)

    Link, R.; Nuding, W.; Sauevwein, K.; Souw, E.K.

    1985-01-01

    Image processing in real time radiography has become an important feature to improve the detectibility of defects. However, often enough, impressed by the tremendous success of image processing of e.g. evaluation of Landsat pictures, people expect the same or nearly the same effect in NDT applications. The magic word image processing thus results in unrealistic demands to the capability even of highly sophisticated image processing systems. In this paper the possibilities as well as the different tasks of image processing in the field of real time radiography is discussed

  11. Semicrossed products of operator algebras by semigroups

    CERN Document Server

    Davidson, Kenneth R; Kakariadis, Evgenios T A

    2017-01-01

    The authors examine the semicrossed products of a semigroup action by *-endomorphisms on a C*-algebra, or more generally of an action on an arbitrary operator algebra by completely contractive endomorphisms. The choice of allowable representations affects the corresponding universal algebra. The authors seek quite general conditions which will allow them to show that the C*-envelope of the semicrossed product is (a full corner of) a crossed product of an auxiliary C*-algebra by a group action. Their analysis concerns a case-by-case dilation theory on covariant pairs. In the process we determine the C*-envelope for various semicrossed products of (possibly nonselfadjoint) operator algebras by spanning cones and lattice-ordered abelian semigroups.

  12. Hurwitz Algebras and the Octonion Algebra

    Science.gov (United States)

    Burdik, Čestmir; Catto, Sultan

    2018-02-01

    We explore some consequences of a theory of internal symmetries for elementary particles constructed on exceptional quantum mechanical spaces based on Jordan algebra formulation that admit exceptional groups as gauge groups.

  13. Space-time-modulated stochastic processes.

    Science.gov (United States)

    Giona, Massimiliano

    2017-10-01

    Starting from the physical problem associated with the Lorentzian transformation of a Poisson-Kac process in inertial frames, the concept of space-time-modulated stochastic processes is introduced for processes possessing finite propagation velocity. This class of stochastic processes provides a two-way coupling between the stochastic perturbation acting on a physical observable and the evolution of the physical observable itself, which in turn influences the statistical properties of the stochastic perturbation during its evolution. The definition of space-time-modulated processes requires the introduction of two functions: a nonlinear amplitude modulation, controlling the intensity of the stochastic perturbation, and a time-horizon function, which modulates its statistical properties, providing irreducible feedback between the stochastic perturbation and the physical observable influenced by it. The latter property is the peculiar fingerprint of this class of models that makes them suitable for extension to generic curved-space times. Considering Poisson-Kac processes as prototypical examples of stochastic processes possessing finite propagation velocity, the balance equations for the probability density functions associated with their space-time modulations are derived. Several examples highlighting the peculiarities of space-time-modulated processes are thoroughly analyzed.

  14. Space-time-modulated stochastic processes

    Science.gov (United States)

    Giona, Massimiliano

    2017-10-01

    Starting from the physical problem associated with the Lorentzian transformation of a Poisson-Kac process in inertial frames, the concept of space-time-modulated stochastic processes is introduced for processes possessing finite propagation velocity. This class of stochastic processes provides a two-way coupling between the stochastic perturbation acting on a physical observable and the evolution of the physical observable itself, which in turn influences the statistical properties of the stochastic perturbation during its evolution. The definition of space-time-modulated processes requires the introduction of two functions: a nonlinear amplitude modulation, controlling the intensity of the stochastic perturbation, and a time-horizon function, which modulates its statistical properties, providing irreducible feedback between the stochastic perturbation and the physical observable influenced by it. The latter property is the peculiar fingerprint of this class of models that makes them suitable for extension to generic curved-space times. Considering Poisson-Kac processes as prototypical examples of stochastic processes possessing finite propagation velocity, the balance equations for the probability density functions associated with their space-time modulations are derived. Several examples highlighting the peculiarities of space-time-modulated processes are thoroughly analyzed.

  15. Linear algebra meets Lie algebra: the Kostant-Wallach theory

    OpenAIRE

    Shomron, Noam; Parlett, Beresford N.

    2008-01-01

    In two languages, Linear Algebra and Lie Algebra, we describe the results of Kostant and Wallach on the fibre of matrices with prescribed eigenvalues of all leading principal submatrices. In addition, we present a brief introduction to basic notions in Algebraic Geometry, Integrable Systems, and Lie Algebra aimed at specialists in Linear Algebra.

  16. AT -algebras and extensions of AT-algebras

    Indian Academy of Sciences (India)

    algebra by an AT-algebra and E has real rank zero, then E is an AT-algebra if and only if the index maps are both zero. Accordingly, in this paper, we attempt to describe a characterization of an extension E of an AT-algebra by an AF-algebra if E ...

  17. Modeling nonhomogeneous Markov processes via time transformation.

    Science.gov (United States)

    Hubbard, R A; Inoue, L Y T; Fann, J R

    2008-09-01

    Longitudinal studies are a powerful tool for characterizing the course of chronic disease. These studies are usually carried out with subjects observed at periodic visits giving rise to panel data. Under this observation scheme the exact times of disease state transitions and sequence of disease states visited are unknown and Markov process models are often used to describe disease progression. Most applications of Markov process models rely on the assumption of time homogeneity, that is, that the transition rates are constant over time. This assumption is not satisfied when transition rates depend on time from the process origin. However, limited statistical tools are available for dealing with nonhomogeneity. We propose models in which the time scale of a nonhomogeneous Markov process is transformed to an operational time scale on which the process is homogeneous. We develop a method for jointly estimating the time transformation and the transition intensity matrix for the time transformed homogeneous process. We assess maximum likelihood estimation using the Fisher scoring algorithm via simulation studies and compare performance of our method to homogeneous and piecewise homogeneous models. We apply our methodology to a study of delirium progression in a cohort of stem cell transplantation recipients and show that our method identifies temporal trends in delirium incidence and recovery.

  18. Yoneda algebras of almost Koszul algebras

    Indian Academy of Sciences (India)

    a left (2, hQ − 2)-Koszul algebra (see Definition 2.1 below), and the Yoneda algebra of. A is isomorphic to a twisted ... is quadratic if R is a subspace of V ⊗ V . The quadratic dual A! of A is defined to be. T (V ∗)/(R⊥) .... (Q, ρ) is a stable bound quiver of Loewy length p + 1, and the Nakayama translation on. Q0 is induced by a ...

  19. Electromagnetism, magnetic monopoles and matter waves in space-time algebra (part 1). Electromagnetisme, monopoles magnetiques et ondes de matiere dans l'algebre d'espace-temps

    Energy Technology Data Exchange (ETDEWEB)

    Daviau, C.

    1989-01-01

    The formalism of space-time algebra of Hestenes is used: - first to write the equations of electromagnetism of Maxwell and Louis de Broglie, when magnetic monopoles exist; - second to explain equivalence between the equations of Dirac and Hestenes, and to extend this equivalence to Lochak's theory of magnetic monopoles; - to establish that monopoles can exist with very small magnetic charge.

  20. On hyper BCC-algebras

    OpenAIRE

    Borzooei, R. A.; Dudek, W. A.; Koohestani, N.

    2006-01-01

    We study hyper BCC-algebras which are a common generalization of BCC-algebras and hyper BCK-algebras. In particular, we investigate different types of hyper BCC-ideals and describe the relationship among them. Next, we calculate all nonisomorphic 22 hyper BCC-algebras of order 3 of which only three are not hyper BCK-algebras.

  1. On hyper BCC-algebras

    Directory of Open Access Journals (Sweden)

    R. A. Borzooei

    2006-01-01

    Full Text Available We study hyper BCC-algebras which are a common generalization of BCC-algebras and hyper BCK-algebras. In particular, we investigate different types of hyper BCC-ideals and describe the relationship among them. Next, we calculate all nonisomorphic 22 hyper BCC-algebras of order 3 of which only three are not hyper BCK-algebras.

  2. Simple relation algebras

    CERN Document Server

    Givant, Steven

    2017-01-01

    This monograph details several different methods for constructing simple relation algebras, many of which are new with this book. By drawing these seemingly different methods together, all are shown to be aspects of one general approach, for which several applications are given. These tools for constructing and analyzing relation algebras are of particular interest to mathematicians working in logic, algebraic logic, or universal algebra, but will also appeal to philosophers and theoretical computer scientists working in fields that use mathematics. The book is written with a broad audience in mind and features a careful, pedagogical approach; an appendix contains the requisite background material in relation algebras. Over 400 exercises provide ample opportunities to engage with the material, making this a monograph equally appropriate for use in a special topics course or for independent study. Readers interested in pursuing an extended background study of relation algebras will find a comprehensive treatme...

  3. Twisted classical Poincare algebras

    International Nuclear Information System (INIS)

    Lukierski, J.; Ruegg, H.; Tolstoy, V.N.; Nowicki, A.

    1993-11-01

    We consider the twisting of Hopf structure for classical enveloping algebra U(g), where g is the inhomogeneous rotations algebra, with explicite formulae given for D=4 Poincare algebra (g=P 4 ). The comultiplications of twisted U F (P 4 ) are obtained by conjugating primitive classical coproducts by F element of U(c)xU(c), where c denotes any Abelian subalgebra of P 4 , and the universal R-matrices for U F (P 4 ) are triangular. As an example we show that the quantum deformation of Poincare algebra recently proposed by Chaichian and Demiczev is a twisted classical Poincare algebra. The interpretation of twisted Poincare algebra as describing relativistic symmetries with clustered 2-particle states is proposed. (orig.)

  4. Lie algebras and applications

    CERN Document Server

    Iachello, Francesco

    2015-01-01

    This course-based primer provides an introduction to Lie algebras and some of their applications to the spectroscopy of molecules, atoms, nuclei and hadrons. In the first part, it concisely presents the basic concepts of Lie algebras, their representations and their invariants. The second part includes a description of how Lie algebras are used in practice in the treatment of bosonic and fermionic systems. Physical applications considered include rotations and vibrations of molecules (vibron model), collective modes in nuclei (interacting boson model), the atomic shell model, the nuclear shell model, and the quark model of hadrons. One of the key concepts in the application of Lie algebraic methods in physics, that of spectrum generating algebras and their associated dynamic symmetries, is also discussed. The book highlights a number of examples that help to illustrate the abstract algebraic definitions and includes a summary of many formulas of practical interest, such as the eigenvalues of Casimir operators...

  5. Optical time-lens signal processing

    DEFF Research Database (Denmark)

    Oxenløwe, Leif Katsuo; Galili, Michael; Mulvad, Hans Christian Hansen

    2014-01-01

    This paper describes the use of optical time lenses for optical signal processing of advanced optical data signals. Examples given include 1.28 Tbaud Nyquist channel serial-to-parallel conversion and spectral magnification of OFDM signals.......This paper describes the use of optical time lenses for optical signal processing of advanced optical data signals. Examples given include 1.28 Tbaud Nyquist channel serial-to-parallel conversion and spectral magnification of OFDM signals....

  6. Real-time brute force SAR processing

    NARCIS (Netherlands)

    Vlothuizen, W.J.; Ditzel, M.

    2009-01-01

    This paper presents a brute force method to perform real-time SAR processing. The method has several advantages over traditional so-called fast SAR implementations, as it does not make any approximations to alleviate the processing burden. However, the method does allow efficient implementation on

  7. El desempeño del docente en el proceso de desarrollo de habilidades de trabajo con algoritmos en la disciplina Álgebra Lineal / Teachers' performance and the process of developing skills to work with algorithms in Linear Algebra

    Directory of Open Access Journals (Sweden)

    Ivonne Burguet Lago

    2018-05-01

    Full Text Available ABSTRACT The paper describes a proposal of professional pedagogical performance tests to assess teachers’ role in the process of developing the skill of working with algorithms in Linear Algebra. It aims at devising a testing tool to assess teachers’ performance in the skill-developing process. This tool is a finding of Cuba theory of Advanced Education, systematically used in recent years. The findings include the test design and the illustration of its use in a sample of 22 Linear Algebra teachers during the first term of the 2017-2018 academic year at Informatics Sciences Engineering major. Keywords: ABSTRACT The paper describes a proposal of professional pedagogical performance tests to assess teachers’ role in the process of developing the skill of working with algorithms in Linear Algebra. It aims at devising a testing tool to assess teachers’ performance in the skill-developing process. This tool is a finding of Cuba theory of Advanced Education, systematically used in recent years. The findings include the test design and the illustration of its use in a sample of 22 Linear Algebra teachers during the first term of the 2017-2018 academic year at Informatics Sciences Engineering major.

  8. Introduction to abstract algebra

    CERN Document Server

    Smith, Jonathan D H

    2008-01-01

    Taking a slightly different approach from similar texts, Introduction to Abstract Algebra presents abstract algebra as the main tool underlying discrete mathematics and the digital world. It helps students fully understand groups, rings, semigroups, and monoids by rigorously building concepts from first principles. A Quick Introduction to Algebra The first three chapters of the book show how functional composition, cycle notation for permutations, and matrix notation for linear functions provide techniques for practical computation. The author also uses equivalence relations to introduc

  9. Lectures in general algebra

    CERN Document Server

    Kurosh, A G; Stark, M; Ulam, S

    1965-01-01

    Lectures in General Algebra is a translation from the Russian and is based on lectures on specialized courses in general algebra at Moscow University. The book starts with the basics of algebra. The text briefly describes the theory of sets, binary relations, equivalence relations, partial ordering, minimum condition, and theorems equivalent to the axiom of choice. The text gives the definition of binary algebraic operation and the concepts of groups, groupoids, and semigroups. The book examines the parallelism between the theory of groups and the theory of rings; such examinations show the

  10. Boolean algebra essentials

    CERN Document Server

    Solomon, Alan D

    2012-01-01

    REA's Essentials provide quick and easy access to critical information in a variety of different fields, ranging from the most basic to the most advanced. As its name implies, these concise, comprehensive study guides summarize the essentials of the field covered. Essentials are helpful when preparing for exams, doing homework and will remain a lasting reference source for students, teachers, and professionals. Boolean Algebra includes set theory, sentential calculus, fundamental ideas of Boolean algebras, lattices, rings and Boolean algebras, the structure of a Boolean algebra, and Boolean

  11. Cohomology of Effect Algebras

    Directory of Open Access Journals (Sweden)

    Frank Roumen

    2017-01-01

    Full Text Available We will define two ways to assign cohomology groups to effect algebras, which occur in the algebraic study of quantum logic. The first way is based on Connes' cyclic cohomology. The resulting cohomology groups are related to the state space of the effect algebra, and can be computed using variations on the Kunneth and Mayer-Vietoris sequences. The second way involves a chain complex of ordered abelian groups, and gives rise to a cohomological characterization of state extensions on effect algebras. This has applications to no-go theorems in quantum foundations, such as Bell's theorem.

  12. Structure of algebras

    CERN Document Server

    Albert, A A

    1939-01-01

    The first three chapters of this work contain an exposition of the Wedderburn structure theorems. Chapter IV contains the theory of the commutator subalgebra of a simple subalgebra of a normal simple algebra, the study of automorphisms of a simple algebra, splitting fields, and the index reduction factor theory. The fifth chapter contains the foundation of the theory of crossed products and of their special case, cyclic algebras. The theory of exponents is derived there as well as the consequent factorization of normal division algebras into direct factors of prime-power degree. Chapter VI con

  13. Unrelated Machine Scheduling with Stochastic Processing Times

    NARCIS (Netherlands)

    Skutella, Martin; Sviridenko, Maxim; Uetz, Marc Jochen

    Two important characteristics encountered in many real-world scheduling problems are heterogeneous processors and a certain degree of uncertainty about the processing times of jobs. In this paper we address both, and study for the first time a scheduling problem that combines the classical unrelated

  14. From Rota-Baxter algebras to pre-Lie algebras

    International Nuclear Information System (INIS)

    An Huihui; Ba, Chengming

    2008-01-01

    Rota-Baxter algebras were introduced to solve some analytic and combinatorial problems and have appeared in many fields in mathematics and mathematical physics. Rota-Baxter algebras provide a construction of pre-Lie algebras from associative algebras. In this paper, we give all Rota-Baxter operators of weight 1 on complex associative algebras in dimension ≤3 and their corresponding pre-Lie algebras

  15. Applications of computer algebra

    CERN Document Server

    1985-01-01

    Today, certain computer software systems exist which surpass the computational ability of researchers when their mathematical techniques are applied to many areas of science and engineering. These computer systems can perform a large portion of the calculations seen in mathematical analysis. Despite this massive power, thousands of people use these systems as a routine resource for everyday calculations. These software programs are commonly called "Computer Algebra" systems. They have names such as MACSYMA, MAPLE, muMATH, REDUCE and SMP. They are receiving credit as a computational aid with in­ creasing regularity in articles in the scientific and engineering literature. When most people think about computers and scientific research these days, they imagine a machine grinding away, processing numbers arithmetically. It is not generally realized that, for a number of years, computers have been performing non-numeric computations. This means, for example, that one inputs an equa­ tion and obtains a closed for...

  16. Algebraic monoids, group embeddings, and algebraic combinatorics

    CERN Document Server

    Li, Zhenheng; Steinberg, Benjamin; Wang, Qiang

    2014-01-01

    This book contains a collection of fifteen articles and is dedicated to the sixtieth birthdays of Lex Renner and Mohan Putcha, the pioneers of the field of algebraic monoids.   Topics presented include:   v  structure and representation theory of reductive algebraic monoids v  monoid schemes and applications of monoids v  monoids related to Lie theory v  equivariant embeddings of algebraic groups v  constructions and properties of monoids from algebraic combinatorics v  endomorphism monoids induced from vector bundles v  Hodge–Newton decompositions of reductive monoids   A portion of these articles are designed to serve as a self-contained introduction to these topics, while the remaining contributions are research articles containing previously unpublished results, which are sure to become very influential for future work. Among these, for example, the important recent work of Michel Brion and Lex Renner showing that the algebraic semigroups are strongly π-regular.   Graduate students as well a...

  17. PROCESS TIME OPTIMIZATION IN DEPOSITOR AND FILLER

    Directory of Open Access Journals (Sweden)

    Jesús Iván Ruíz-Ibarra

    2017-07-01

    Full Text Available As in any industry, in soft drink manufacturing demand, customer service and production is of great importance that forces this production to have their equipment and production machines in optimal conditions for the product to be in the hands of the consumer without delays, therefore it is important to have the established times of each process, since the syrup is elaborated, packaged, distributed, until it is purchased by the consumer. After a chronometer analysis, the most common faults were detected in each analyzed process. In the filler machine the most frequent faults are: accumulation of bottles in the subsequent and previous processes to filling process, which in general the cause of the collection of bottles is due to failures in the other equipment of the production line. In the process of unloading the most common faults are: boxes jammed in bump and pusher (pushing boxes; boxes fallen in rollers and platforms transporter. According to observations in each machine, the actions to be followed are presented to solve the problems that arise. Also described the methodology to obtain results, to data analyze and decisions. Firstly an analysis of operations is done to know each machine, supported by the manuals of the machines and the operators themselves a study of times is done by chronometer to determine the standard time of the process where also they present the most common faults, then observations are made on the machines according to the determined sample size, thus obtaining the information necessary to take measurements and to make the study of optimization of the production processes. An analysis of the predetermined process times is also performed by the MTM methods and the MOST time analysis. The results of operators with MTM: Fault Filler = 0.846 minutes, Faultless Filler = 0.61 minutes, Fault Breaker = 0.74 minutes and Fault Flasher = 0.45 minutes. The results of MOST operators are: Fault Filler = 2.58 minutes, Filler Fails

  18. Current algebra for parafields

    International Nuclear Information System (INIS)

    Palev, Ch.D.

    1976-01-01

    Within the framework of the Lagrangean QFT a generalization of canonical commutation and anticommutation relations in terms of three-linear commutation relations, corresponding to the parastatistics, s discussed. A detailed derivation of these three-linear relations for a set of parafermi fields is presented. Then for a Lagrangean, depending of a family of parabose fields and a family of paraferm fields, is shown that the fundamental hypothesis of current algebra is valid. In other words, the currents corresponding to the linear gauge transformations are found to meet the commutation relation: [Jsub(f)sup(0)(x), Jsub(g)sup(0)]sub(x 0 =y 0 ) = -idelta(x vector - y vector)Jsub([f,g])sup(0) (x), where Jsub(f)sup(0) is a time component of the current, corresponding to transformation f. (S.P.)

  19. Algebraic Multigrid Benchmark

    Energy Technology Data Exchange (ETDEWEB)

    2017-08-01

    AMG is a parallel algebraic multigrid solver for linear systems arising from problems on unstructured grids. It has been derived directly from the BoomerAMG solver in the hypre library, a large linear solvers library that is being developed in the Center for Applied Scientific Computing (CASC) at LLNL and is very similar to the AMG2013 benchmark with additional optimizations. The driver provided in the benchmark can build various test problems. The default problem is a Laplace type problem with a 27-point stencil, which can be scaled up and is designed to solve a very large problem. A second problem simulates a time dependent problem, in which successively various smnllcr systems are solved.

  20. Expectation propagation for continuous time stochastic processes

    International Nuclear Information System (INIS)

    Cseke, Botond; Schnoerr, David; Sanguinetti, Guido; Opper, Manfred

    2016-01-01

    We consider the inverse problem of reconstructing the posterior measure over the trajectories of a diffusion process from discrete time observations and continuous time constraints. We cast the problem in a Bayesian framework and derive approximations to the posterior distributions of single time marginals using variational approximate inference, giving rise to an expectation propagation type algorithm. For non-linear diffusion processes, this is achieved by leveraging moment closure approximations. We then show how the approximation can be extended to a wide class of discrete-state Markov jump processes by making use of the chemical Langevin equation. Our empirical results show that the proposed method is computationally efficient and provides good approximations for these classes of inverse problems. (paper)

  1. Geometric approach to the (BRS-) differential algebras of supersymmetric YM-theories

    International Nuclear Information System (INIS)

    Gieres, F.

    1987-01-01

    The (BRS-) differential algebra of susy YM-theories is defined in terms of superfields and forms on rigid U(N)-superspace. For d = 4 and N = 1.2 we show that it projects to the ''BRS-component field algebra in the WZ-gauge'' without any supergauge fixing. In this process the supergeometry is destroyed with the result that the final algebra becomes a prototype for a differential algebra which cannot be associated with an ordinary Lie algebra

  2. C*-algebras

    Science.gov (United States)

    Bär, Christian; Becker, Christian

    In this chapter we will collect those basic concepts and facts related to C*-algebras that will be needed later on. We give complete proofs. In Sects. 1, 2, 3, and 6 we follow closely the presentation in [1]. For more information on C*-algebras, see, e.g. [2-6].

  3. Linear-Algebra Programs

    Science.gov (United States)

    Lawson, C. L.; Krogh, F. T.; Gold, S. S.; Kincaid, D. R.; Sullivan, J.; Williams, E.; Hanson, R. J.; Haskell, K.; Dongarra, J.; Moler, C. B.

    1982-01-01

    The Basic Linear Algebra Subprograms (BLAS) library is a collection of 38 FORTRAN-callable routines for performing basic operations of numerical linear algebra. BLAS library is portable and efficient source of basic operations for designers of programs involving linear algebriac computations. BLAS library is supplied in portable FORTRAN and Assembler code versions for IBM 370, UNIVAC 1100 and CDC 6000 series computers.

  4. Analytic real algebras.

    Science.gov (United States)

    Seo, Young Joo; Kim, Young Hee

    2016-01-01

    In this paper we construct some real algebras by using elementary functions, and discuss some relations between several axioms and its related conditions for such functions. We obtain some conditions for real-valued functions to be a (edge) d -algebra.

  5. Pre-Algebra Lexicon.

    Science.gov (United States)

    Hayden, Dunstan; Cuevas, Gilberto

    The pre-algebra lexicon is a set of classroom exercises designed to teach the technical words and phrases of pre-algebra mathematics, and includes the terms most commonly found in related mathematics courses. The lexicon has three parts, each with its own introduction. The first introduces vocabulary items in three groups forming a learning…

  6. Computer algebra applications

    International Nuclear Information System (INIS)

    Calmet, J.

    1982-01-01

    A survey of applications based either on fundamental algorithms in computer algebra or on the use of a computer algebra system is presented. Recent work in biology, chemistry, physics, mathematics and computer science is discussed. In particular, applications in high energy physics (quantum electrodynamics), celestial mechanics and general relativity are reviewed. (Auth.)

  7. Discourses on Algebra

    Indian Academy of Sciences (India)

    Discourses on Algebra. Rajaram Nityananda. Discourses on Algebra. Igor R Shafarevich. Narosa Publishing. Pages: 273, Price in India: | 1750. To the Indian reader, the word discourse, evokes a respected figure interpreting divine wisdom to common folk in an accessible fash- ion. I dug a bit deeper with Google trans-.

  8. Algebra of anomalies

    International Nuclear Information System (INIS)

    Talon, M.

    1987-01-01

    The algebraic set up for anomalies, a la Stora, is reviewed. Then a brief account is provided of the work of M. Dubois Violette, M. Talon, C. Viallet, in which the general algebraic solution to the consistency conditions is described. 34 references

  9. Elements of mathematics algebra

    CERN Document Server

    Bourbaki, Nicolas

    2003-01-01

    This is a softcover reprint of the English translation of 1990 of the revised and expanded version of Bourbaki's, Algèbre, Chapters 4 to 7 (1981). This completes Algebra, 1 to 3, by establishing the theories of commutative fields and modules over a principal ideal domain. Chapter 4 deals with polynomials, rational fractions and power series. A section on symmetric tensors and polynomial mappings between modules, and a final one on symmetric functions, have been added. Chapter 5 was entirely rewritten. After the basic theory of extensions (prime fields, algebraic, algebraically closed, radical extension), separable algebraic extensions are investigated, giving way to a section on Galois theory. Galois theory is in turn applied to finite fields and abelian extensions. The chapter then proceeds to the study of general non-algebraic extensions which cannot usually be found in textbooks: p-bases, transcendental extensions, separability criterions, regular extensions. Chapter 6 treats ordered groups and fields and...

  10. Algebraic Sub-Structuring for Electromagnetic Applications

    Energy Technology Data Exchange (ETDEWEB)

    Yang, C.; Gao, W.G.; Bai, Z.J.; Li, X.Y.S.; Lee, L.Q.; Husbands, P.; Ng, E.G.; /LBL, Berkeley /UC, Davis /SLAC

    2006-06-30

    Algebraic sub-structuring refers to the process of applying matrix reordering and partitioning algorithms to divide a large sparse matrix into smaller submatrices from which a subset of spectral components are extracted and combined to form approximate solutions to the original problem. In this paper, they show that algebraic sub-structuring can be effectively used to solve generalized eigenvalue problems arising from the finite element analysis of an accelerator structure.

  11. Machine scheduling with resource dependent processing times

    NARCIS (Netherlands)

    Grigoriev, A.; Sviridenko, M.; Uetz, Marc Jochen

    We consider machine scheduling on unrelated parallel machines with the objective to minimize the schedule makespan. We assume that, in addition to its machine dependence, the processing time of any job is dependent on the usage of a discrete renewable resource, e.g. workers. A given amount of that

  12. Time Processing in Children with Tourette's Syndrome

    Science.gov (United States)

    Vicario, Carmelo Mario; Martino, Davide; Spata, Felice; Defazio, Giovanni; Giacche, Roberta; Martino, Vito; Rappo, Gaetano; Pepi, Anna Maria; Silvestri, Paola Rosaria; Cardona, Francesco

    2010-01-01

    Background: Tourette syndrome (TS) is characterized by dysfunctional connectivity between prefrontal cortex and sub-cortical structures, and altered meso-cortical and/or meso-striatal dopamine release. Since time processing is also regulated by fronto-striatal circuits and modulated by dopaminergic transmission, we hypothesized that time…

  13. The Identity Process in Times of Ruptures

    DEFF Research Database (Denmark)

    Awad, Sarah H.

    2016-01-01

    This is a longitudinal study of the identity process through times of dramatic social change. Using a narrative psychological approach this research follows the life stories of five Egyptian bloggers as they write their stories on online blogs over the course of the three years following the 2011...... of agency in individuals’ ability to create new meanings of their world in spite of the socio-cultural and political constraints. This study presents narratives as an informing methodological resource that connects identity process with social representations and emphasizes the value of storytelling...... revolution, at which time Egypt has witnessed major social and political changes. The aim is to understand the identity process of individuals as they develop and adapt through changing social contexts and how they create alternative social relations as they engage in prefigurative politics. The findings...

  14. Implications of short time scale dynamics on long time processes

    Directory of Open Access Journals (Sweden)

    Krystel El Hage

    2017-11-01

    Full Text Available This review provides a comprehensive overview of the structural dynamics in topical gas- and condensed-phase systems on multiple length and time scales. Starting from vibrationally induced dissociation of small molecules in the gas phase, the question of vibrational and internal energy redistribution through conformational dynamics is further developed by considering coupled electron/proton transfer in a model peptide over many orders of magnitude. The influence of the surrounding solvent is probed for electron transfer to the solvent in hydrated I−. Next, the dynamics of a modified PDZ domain over many time scales is analyzed following activation of a photoswitch. The hydration dynamics around halogenated amino acid side chains and their structural dynamics in proteins are relevant for iodinated TyrB26 insulin. Binding of nitric oxide to myoglobin is a process for which experimental and computational analyses have converged to a common view which connects rebinding time scales and the underlying dynamics. Finally, rhodopsin is a paradigmatic system for multiple length- and time-scale processes for which experimental and computational methods provide valuable insights into the functional dynamics. The systems discussed here highlight that for a comprehensive understanding of how structure, flexibility, energetics, and dynamics contribute to functional dynamics, experimental studies in multiple wavelength regions and computational studies including quantum, classical, and more coarse grained levels are required.

  15. On Algebraic Approach for MSD Parametric Estimation

    OpenAIRE

    Oueslati , Marouene; Thiery , Stéphane; Gibaru , Olivier; Béarée , Richard; Moraru , George

    2011-01-01

    This article address the identification problem of the natural frequency and the damping ratio of a second order continuous system where the input is a sinusoidal signal. An algebra based approach for identifying parameters of a Mass Spring Damper (MSD) system is proposed and compared to the Kalman-Bucy filter. The proposed estimator uses the algebraic parametric method in the frequency domain yielding exact formula, when placed in the time domain to identify the unknown parameters. We focus ...

  16. Cluster algebras bases on vertex operator algebras

    Czech Academy of Sciences Publication Activity Database

    Zuevsky, Alexander

    2016-01-01

    Roč. 30, 28-29 (2016), č. článku 1640030. ISSN 0217-9792 Institutional support: RVO:67985840 Keywords : cluster alegbras * vertex operator algebras * Riemann surfaces Subject RIV: BA - General Mathematics Impact factor: 0.736, year: 2016 http://www.worldscientific.com/doi/abs/10.1142/S0217979216400300

  17. Synchronization of integral and fractional order chaotic systems a differential algebraic and differential geometric approach with selected applications in real-time

    CERN Document Server

    Martínez-Guerra, Rafael; Gómez-Cortés, Gian Carlo

    2015-01-01

    This book provides a general overview of several concepts of synchronization and brings together related approaches to secure communication in chaotic systems. This is achieved using a combination of analytic, algebraic, geometrical and asymptotical methods to tackle the dynamical feedback stabilization problem. In particular, differential-geometric and algebraic differential concepts reveal important structural properties of chaotic systems and serve as guide for the construction of design procedures for a wide variety of chaotic systems. The basic differential algebraic and geometric concepts are presented in the first few chapters in a novel way as design tools, together with selected experimental studies demonstrating their importance. The subsequent chapters treat recent applications. Written for graduate students in applied physical sciences, systems engineers, and applied mathematicians interested in synchronization of chaotic systems and in secure communications, this self-contained text requires only...

  18. Time Optimal Run-time Evaluation of Distributed Timing Constraints in Process Control Software

    DEFF Research Database (Denmark)

    Drejer, N.; Kristensen, C.H.

    1993-01-01

    This paper considers run-time evaluation of an important class of constraints; Timing constraints. These appear extensively in process control systems. Timing constraints are considered in distributed systems, i.e. systems consisting of multiple autonomous nodes......

  19. Endomorphisms of graph algebras

    DEFF Research Database (Denmark)

    Conti, Roberto; Hong, Jeong Hee; Szymanski, Wojciech

    2012-01-01

    We initiate a systematic investigation of endomorphisms of graph C*-algebras C*(E), extending several known results on endomorphisms of the Cuntz algebras O_n. Most but not all of this study is focused on endomorphisms which permute the vertex projections and globally preserve the diagonal MASA D......_E of C*(E). Our results pertain both automorphisms and proper endomorphisms. Firstly, the Weyl group and the restricted Weyl group of a graph C*-algebra are introduced and investigated. In particular, criteria of outerness for automorphisms in the restricted Weyl group are found. We also show...

  20. Matrices and linear algebra

    CERN Document Server

    Schneider, Hans

    1989-01-01

    Linear algebra is one of the central disciplines in mathematics. A student of pure mathematics must know linear algebra if he is to continue with modern algebra or functional analysis. Much of the mathematics now taught to engineers and physicists requires it.This well-known and highly regarded text makes the subject accessible to undergraduates with little mathematical experience. Written mainly for students in physics, engineering, economics, and other fields outside mathematics, the book gives the theory of matrices and applications to systems of linear equations, as well as many related t

  1. Topology general & algebraic

    CERN Document Server

    Chatterjee, D

    2007-01-01

    About the Book: This book provides exposition of the subject both in its general and algebraic aspects. It deals with the notions of topological spaces, compactness, connectedness, completeness including metrizability and compactification, algebraic aspects of topological spaces through homotopy groups and homology groups. It begins with the basic notions of topological spaces but soon going beyond them reaches the domain of algebra through the notions of homotopy, homology and cohomology. How these approaches work in harmony is the subject matter of this book. The book finally arrives at the

  2. Orthogonal symmetries and Clifford algebras

    Indian Academy of Sciences (India)

    algebra over a field K, can be regarded as the Clifford algebra of a suitable nondegenerate quadratic form q over the base field K. In [13], such a form q is also explicitly constructed. The Grassmann algebra (or the exterior algebra) may also be regarded as the Clifford alge- bra of the null (totally isotropic) quadratic form.

  3. Coreflections in Algebraic Quantum Logic

    Science.gov (United States)

    Jacobs, Bart; Mandemaker, Jorik

    2012-07-01

    Various generalizations of Boolean algebras are being studied in algebraic quantum logic, including orthomodular lattices, orthomodular po-sets, orthoalgebras and effect algebras. This paper contains a systematic study of the structure in and between categories of such algebras. It does so via a combination of totalization (of partially defined operations) and transfer of structure via coreflections.

  4. Processing implicit control: evidence from reading times

    Directory of Open Access Journals (Sweden)

    Michael eMcCourt

    2015-10-01

    Full Text Available Sentences such as The ship was sunk to collect the insurance exhibit an unusual form of anaphora, implicit control, where neither anaphor nor antecedent is audible. The nonfinite reason clause has an understood subject, PRO, that is anaphoric; here it may be understood as naming the agent of the event of the host clause. Yet since the host is a short passive, this agent is realized by no audible dependent. The putative antecedent to PRO is therefore implicit, which it normally cannot be. What sorts of representations subserve the comprehension of this dependency? Here we present four self-paced reading time studies directed at this question. Previous work showed no processing cost for implicit versus explicit control, and took this to support the view that PRO is linked syntactically to a silent argument in the passive. We challenge this conclusion by reporting that we also find no processing cost for remote implicit control, as in: The ship was sunk. The reason was to collect the insurance. Here the dependency crosses two independent sentences, and so cannot, we argue, be mediated by syntax. Our Experiments 1-4 examined the processing of both implicit (short passive and explicit (active or long passive control in both local and remote configurations. Experiments 3 and 4 added either three days ago or just in order to the local conditions, to control for the distance between the passive and infinitival verbs, and for the predictability of the reason clause, respectively. We replicate the finding that implicit control does not impose an additional processing cost. But critically we show that remote control does not impose a processing cost either. Reading times at the reason clause were never slower when control was remote. In fact they were always faster. Thus efficient processing of local implicit control cannot show that implicit control is mediated by syntax; nor, in turn, that there is a silent but grammatically active argument in passives.

  5. Linear algebra done right

    CERN Document Server

    Axler, Sheldon

    2015-01-01

    This best-selling textbook for a second course in linear algebra is aimed at undergrad math majors and graduate students. The novel approach taken here banishes determinants to the end of the book. The text focuses on the central goal of linear algebra: understanding the structure of linear operators on finite-dimensional vector spaces. The author has taken unusual care to motivate concepts and to simplify proofs. A variety of interesting exercises in each chapter helps students understand and manipulate the objects of linear algebra. The third edition contains major improvements and revisions throughout the book. More than 300 new exercises have been added since the previous edition. Many new examples have been added to illustrate the key ideas of linear algebra. New topics covered in the book include product spaces, quotient spaces, and dual spaces. Beautiful new formatting creates pages with an unusually pleasant appearance in both print and electronic versions. No prerequisites are assumed other than the ...

  6. Elliptic biquaternion algebra

    Science.gov (United States)

    Özen, Kahraman Esen; Tosun, Murat

    2018-01-01

    In this study, we define the elliptic biquaternions and construct the algebra of elliptic biquaternions over the elliptic number field. Also we give basic properties of elliptic biquaternions. An elliptic biquaternion is in the form A0 + A1i + A2j + A3k which is a linear combination of {1, i, j, k} where the four components A0, A1, A2 and A3 are elliptic numbers. Here, 1, i, j, k are the quaternion basis of the elliptic biquaternion algebra and satisfy the same multiplication rules which are satisfied in both real quaternion algebra and complex quaternion algebra. In addition, we discuss the terms; conjugate, inner product, semi-norm, modulus and inverse for elliptic biquaternions.

  7. Algebraic Semantics for Narrative

    Science.gov (United States)

    Kahn, E.

    1974-01-01

    This paper uses discussion of Edmund Spenser's "The Faerie Queene" to present a theoretical framework for explaining the semantics of narrative discourse. The algebraic theory of finite automata is used. (CK)

  8. Algebra for All: California’s Eighth-Grade Algebra Initiative as Constrained Curricula

    Science.gov (United States)

    Domina, Thurston; Penner, Andrew M.; Penner, Emily K.; Conley, Annemarie

    2015-01-01

    Background/Context Across the United States, secondary school curricula are intensifying as a growing proportion of students enroll in high-level academic math courses. In many districts, this intensification process occurs as early as eighth grade, where schools are effectively constraining their mathematics curricula by restricting course offerings and placing more students into Algebra I. This paper provides a quantitative single-case research study of policy-driven curricular intensification in one California school district. Research Questions (1a) What effect did 8th eighth grade curricular intensification have on mathematics course enrollment patterns in Towering Pines Unified schools? (2b) How did the distribution of prior achievement in Towering Pines math classrooms change as the district constrained the curriculum by universalizing 8th eighth grade Algebra? (3c) Did 8th eighth grade curricular intensification improve students’ mathematics achievement? Setting Towering Pines is an immigrant enclave in the inner-ring suburbs of a major metropolitan area. The district’s 10 middle schools together enroll approximately 4,000 eighth graders each year. The districts’ students are ethnically diverse and largely economically disadvantaged. The study draws upon administrative data describing 8th eighth graders in the district in the 2004–20-05 through 2007–20-08 school years. Intervention/Program/Practice During the study period, Towering Pines dramatically intensified middle school students’ math curricula: In the 2004–20-05 school year 32% of the district’s 8th eighth graders enrolled in Algebra or a higher- level mathematics course; by the 2007–20-08 school year that proportion had increased to 84%. Research Design We use an interrupted time-series design, comparing students’ 8th eighth grade math course enrollments, 10th grade math course enrollments, and 10th grade math test scores across the four cohorts, controlling for demographics and

  9. Deficiently extremal Gorenstein algebras

    Indian Academy of Sciences (India)

    Thus, R/I is a Cohen–. Macaulay algebra of Type 1, and hence R/I is Gorenstein. In view of Theorem 2.1, R/I is a nearly (or 1-deficient) extremal Gorenstein algebra. We now shall describe a result of Bruns and Hibi [1] which characterizes the Stanley–. Reisner rings having 2-pure but not 2-linear resolutions. Theorem 2.3.

  10. Intermediate algebra a textworkbook

    CERN Document Server

    McKeague, Charles P

    1985-01-01

    Intermediate Algebra: A Text/Workbook, Second Edition focuses on the principles, operations, and approaches involved in intermediate algebra. The publication first takes a look at basic properties and definitions, first-degree equations and inequalities, and exponents and polynomials. Discussions focus on properties of exponents, polynomials, sums, and differences, multiplication of polynomials, inequalities involving absolute value, word problems, first-degree inequalities, real numbers, opposites, reciprocals, and absolute value, and addition and subtraction of real numbers. The text then ex

  11. Beginning algebra a textworkbook

    CERN Document Server

    McKeague, Charles P

    1985-01-01

    Beginning Algebra: A Text/Workbook, Second Edition focuses on the principles, operations, and approaches involved in algebra. The publication first elaborates on the basics, linear equations and inequalities, and graphing and linear systems. Discussions focus on solving linear systems by graphing, elimination method, graphing ordered pairs and straight lines, linear and compound inequalities, addition and subtraction of real numbers, and properties of real numbers. The text then examines exponents and polynomials, factoring, and rational expressions. Topics include multiplication and division

  12. Gauging the octonion algebra

    International Nuclear Information System (INIS)

    Waldron, A.K.; Joshi, G.C.

    1992-01-01

    By considering representation theory for non-associative algebras the fundamental adjoint representations of the octonion algebra is constructed. It is then shown how these representations by associative matrices allow a consistent octonionic gauge theory to be realized. It was found that non-associativity implies the existence of new terms in the transformation laws of fields and the kinetic term of an octonionic Lagrangian. 13 refs

  13. Currents on Grassmann algebras

    International Nuclear Information System (INIS)

    Coquereaux, R.; Ragoucy, E.

    1993-09-01

    Currents are defined on a Grassmann algebra Gr(N) with N generators as distributions on its exterior algebra (using the symmetric wedge product). The currents are interpreted in terms of Z 2 -graded Hochschild cohomology and closed currents in terms of cyclic cocycles (they are particular multilinear forms on Gr(N)). An explicit construction of the vector space of closed currents of degree p on Gr(N) is given by using Berezin integration. (authors). 10 refs

  14. Forward error correction based on algebraic-geometric theory

    CERN Document Server

    A Alzubi, Jafar; M Chen, Thomas

    2014-01-01

    This book covers the design, construction, and implementation of algebraic-geometric codes from Hermitian curves. Matlab simulations of algebraic-geometric codes and Reed-Solomon codes compare their bit error rate using different modulation schemes over additive white Gaussian noise channel model. Simulation results of Algebraic-geometric codes bit error rate performance using quadrature amplitude modulation (16QAM and 64QAM) are presented for the first time and shown to outperform Reed-Solomon codes at various code rates and channel models. The book proposes algebraic-geometric block turbo codes. It also presents simulation results that show an improved bit error rate performance at the cost of high system complexity due to using algebraic-geometric codes and Chase-Pyndiah’s algorithm simultaneously. The book proposes algebraic-geometric irregular block turbo codes (AG-IBTC) to reduce system complexity. Simulation results for AG-IBTCs are presented for the first time.

  15. The 'golden' algebraic equations

    International Nuclear Information System (INIS)

    Stakhov, A.; Rozin, B.

    2006-01-01

    The special case of the (p + 1)th degree algebraic equations of the kind x p+1 = x p + 1 (p = 1, 2, 3, ?) is researched in the present article. For the case p = 1, the given equation is reduced to the well-known Golden Proportion equation x 2 = x + 1. These equations are called the golden algebraic equations because the golden p-proportions τ p , special irrational numbers that follow from Pascal's triangle, are their roots. A research on the general properties of the roots of the golden algebraic equations is carried out in this article. In particular, formulas are derived for the golden algebraic equations that have degree greater than p + 1. There is reason to suppose that algebraic equations derived by the authors in the present article will interest theoretical physicists. For example, these algebraic equations could be found in the research of the energy relationships within the structures of many compounds and physical particles. For the case of butadiene (C 4 H 6 ), this fact is proved by the famous physicist Richard Feynman

  16. The Boolean algebra of Galois algebras

    Directory of Open Access Journals (Sweden)

    Lianyong Xue

    2003-02-01

    Full Text Available Let B be a Galois algebra with Galois group G, Jg={b∈B|bx=g(xb for all x∈B} for each g∈G, and BJg=Beg for a central idempotent eg, Ba the Boolean algebra generated by {0,eg|g∈G}, e a nonzero element in Ba, and He={g∈G|eeg=e}. Then, a monomial e is characterized, and the Galois extension Be, generated by e with Galois group He, is investigated.

  17. Real division algebras and other algebras motivated by physics

    Energy Technology Data Exchange (ETDEWEB)

    Benkart, G.; Osborn, J.M.

    1981-02-01

    In this survey we discuss several general techniques which have been productive in the study of real division algebras, flexible Lie-admissible algebras, and other nonassociative algebras, and we summarize results obtained using these methods. The principal method involved in this work is to view an algebra A as a module for a semisimple Lie algebra of derivations of A and to use representation theory to study products in A. In the case of real division algebras, we also discuss the use of isotopy and the use of a generalized Peirce decomposition. Most of the work summarized here has appeared in more detail in various other papers. The exceptions are results on a class of algebras of dimension 15, motivated by physics, which admit the Lie algebra sl(3) as an algebra of derivations.

  18. BLAS- BASIC LINEAR ALGEBRA SUBPROGRAMS

    Science.gov (United States)

    Krogh, F. T.

    1994-01-01

    The Basic Linear Algebra Subprogram (BLAS) library is a collection of FORTRAN callable routines for employing standard techniques in performing the basic operations of numerical linear algebra. The BLAS library was developed to provide a portable and efficient source of basic operations for designers of programs involving linear algebraic computations. The subprograms available in the library cover the operations of dot product, multiplication of a scalar and a vector, vector plus a scalar times a vector, Givens transformation, modified Givens transformation, copy, swap, Euclidean norm, sum of magnitudes, and location of the largest magnitude element. Since these subprograms are to be used in an ANSI FORTRAN context, the cases of single precision, double precision, and complex data are provided for. All of the subprograms have been thoroughly tested and produce consistent results even when transported from machine to machine. BLAS contains Assembler versions and FORTRAN test code for any of the following compilers: Lahey F77L, Microsoft FORTRAN, or IBM Professional FORTRAN. It requires the Microsoft Macro Assembler and a math co-processor. The PC implementation allows individual arrays of over 64K. The BLAS library was developed in 1979. The PC version was made available in 1986 and updated in 1988.

  19. Residence time and physical processes in lakes

    Directory of Open Access Journals (Sweden)

    Nicoletta SALA

    2003-09-01

    Full Text Available The residence time of a lake is highly dependent on internal physical processes in the water mass conditioning its hydrodynamics; early attempts to evaluate this physical parameter emphasize the complexity of the problem, which depends on very different natural phenomena with widespread synergies. The aim of this study is to analyse the agents involved in these processes and arrive at a more realistic definition of water residence time which takes account of these agents, and how they influence internal hydrodynamics. With particular reference to temperate lakes, the following characteristics are analysed: 1 the set of the lake's caloric components which, along with summer heating, determine the stabilizing effect of the surface layers, and the consequent thermal stratification, as well as the winter destabilizing effect; 2 the wind force, which transfers part of its momentum to the water mass, generating a complex of movements (turbulence, waves, currents with the production of active kinetic energy; 3 the water flowing into the lake from the tributaries, and flowing out through the outflow, from the standpoint of hydrology and of the kinetic effect generated by the introduction of these water masses into the lake. These factors were studied in the context of the general geographical properties of the lake basin and the watershed (latitude, longitude, morphology, also taking account of the local and regional climatic situation. Also analysed is the impact of ongoing climatic change on the renewal of the lake water, which is currently changing the equilibrium between lake and atmosphere, river and lake, and relationships

  20. Hecke algebras with unequal parameters

    CERN Document Server

    Lusztig, G

    2003-01-01

    Hecke algebras arise in representation theory as endomorphism algebras of induced representations. One of the most important classes of Hecke algebras is related to representations of reductive algebraic groups over p-adic or finite fields. In 1979, in the simplest (equal parameter) case of such Hecke algebras, Kazhdan and Lusztig discovered a particular basis (the KL-basis) in a Hecke algebra, which is very important in studying relations between representation theory and geometry of the corresponding flag varieties. It turned out that the elements of the KL-basis also possess very interesting combinatorial properties. In the present book, the author extends the theory of the KL-basis to a more general class of Hecke algebras, the so-called algebras with unequal parameters. In particular, he formulates conjectures describing the properties of Hecke algebras with unequal parameters and presents examples verifying these conjectures in particular cases. Written in the author's precise style, the book gives rese...

  1. Invariant Differential Operators for Non-Compact Lie Algebras Parabolically Related to Conformal Lie Algebras

    CERN Document Server

    Dobrev, V.K.

    2013-01-01

    In the present paper we continue the project of systematic construction of invariant differential operators for non-compact semisimple Lie groups. Our starting points is the class of algebras, which we call 'conformal Lie algebras' (CLA), which have very similar properties to the conformal algebras of Minkowski space-time, though our aim is to go beyond this class in a natural way. For this we introduce the new notion of {\\it parabolic relation} between two non-compact semisimple Lie algebras g and g' that have the same complexification and possess maximal parabolic subalgebras with the same complexification. Thus, we consider the exceptional algebra E_{7(7)} which is parabolically related to the CLA E_{7(-25)}, the parabolic subalgebras including E_{6(6)} and E_{6(-6)} . Other interesting examples are the orthogonal algebras so(p,q) all of which are parabolically related to the conformal algebra so(n,2) with p+q=n+2, the parabolic subalgebras including the Lorentz subalgebra so(n-1,1) and its analogs so(p-1,...

  2. Algebraically special perturbations of the Schwarzschild solution in higher dimensions

    International Nuclear Information System (INIS)

    Dias, Óscar J C; Reall, Harvey S

    2013-01-01

    We study algebraically special perturbations of a generalized Schwarzschild solution in any number of dimensions. There are two motivations. First, to learn whether there exist interesting higher-dimensional algebraically special solutions beyond the known ones. Second, algebraically special perturbations present an obstruction to the unique reconstruction of general metric perturbations from gauge-invariant variables analogous to the Teukolsky scalars and it is desirable to know the extent of this non-uniqueness. In four dimensions, our results generalize those of Couch and Newman, who found infinite families of time-dependent algebraically special perturbations. In higher dimensions, we find that the only regular algebraically special perturbations are those corresponding to deformations within the Myers–Perry family. Our results are relevant for several inequivalent definitions of ‘algebraically special’. (paper)

  3. Non-unique factorizations algebraic, combinatorial and analytic theory

    CERN Document Server

    Geroldinger, Alfred

    2006-01-01

    From its origins in algebraic number theory, the theory of non-unique factorizations has emerged as an independent branch of algebra and number theory. Focused efforts over the past few decades have wrought a great number and variety of results. However, these remain dispersed throughout the vast literature. For the first time, Non-Unique Factorizations: Algebraic, Combinatorial, and Analytic Theory offers a look at the present state of the theory in a single, unified resource.Taking a broad look at the algebraic, combinatorial, and analytic fundamentals, this book derives factorization results and applies them in concrete arithmetical situations using appropriate transfer principles. It begins with a basic introduction that can be understood with knowledge of standard basic algebra. The authors then move to the algebraic theory of monoids, arithmetic theory of monoids, the structure of sets of lengths, additive group theory, arithmetical invariants, and the arithmetic of Krull monoids. They also provide a s...

  4. Algebra II workbook for dummies

    CERN Document Server

    Sterling, Mary Jane

    2014-01-01

    To succeed in Algebra II, start practicing now Algebra II builds on your Algebra I skills to prepare you for trigonometry, calculus, and a of myriad STEM topics. Working through practice problems helps students better ingest and retain lesson content, creating a solid foundation to build on for future success. Algebra II Workbook For Dummies, 2nd Edition helps you learn Algebra II by doing Algebra II. Author and math professor Mary Jane Sterling walks you through the entire course, showing you how to approach and solve the problems you encounter in class. You'll begin by refreshing your Algebr

  5. C*-algebras by example

    CERN Document Server

    Davidson, Kenneth R

    1996-01-01

    The subject of C*-algebras received a dramatic revitalization in the 1970s by the introduction of topological methods through the work of Brown, Douglas, and Fillmore on extensions of C*-algebras and Elliott's use of K-theory to provide a useful classification of AF algebras. These results were the beginning of a marvelous new set of tools for analyzing concrete C*-algebras. This book is an introductory graduate level text which presents the basics of the subject through a detailed analysis of several important classes of C*-algebras. The development of operator algebras in the last twenty yea

  6. Timing matters: The processing of pitch relations

    Directory of Open Access Journals (Sweden)

    Annekathrin eWeise

    2014-06-01

    Full Text Available The human central auditory system can automatically extract abstract regularities from a variant auditory input. To this end, temporarily separated events need to be related. This study tested whether the timing between events, falling either within or outside the temporal window of integration (~350 ms, impacts the extraction of abstract feature relations. We utilized tone pairs for which tones within but not across pairs revealed a constant pitch relation (e.g. pitch of 2nd tone of a pair higher than pitch of 1st tone, while absolute pitch values varied across pairs. We measured the Mismatch Negativity (MMN; the brain’s error signal to auditory regularity violations to 2nd tones that rarely violated the pitch relation (e.g. pitch of 2nd tone lower. A Short condition in which tone duration (90 ms and stimulus onset asynchrony between the tones of a pair were short (110 ms was compared to two conditions, where this onset asynchrony was long (510 ms. In the Long Gap condition the tone durations were identical to Short (90 ms, but the silent interval was prolonged by 400 ms. In Long Tone the duration of the first tone was prolonged by 400 ms, while the silent interval was comparable to Short (20 ms. Results show a frontocentral MMN of comparable amplitude in all conditions. Thus, abstract pitch relations can be extracted even when the within-pair timing exceeds the integration period. Source analyses indicate MMN generators in the supratemporal cortex. Interestingly, they were located more anterior in Long Gap than in Short and Long Tone. Moreover, frontal generator activity was found for Long Gap and Long Tone. Thus, the way in which the system automatically registers irregular abstract pitch relations depends on the timing of the events to be linked. Pending that the current MMN data mirror established abstract rule representations coding the regular pitch relation, neural processes building these templates vary with timing.

  7. Interactions Between Representation Ttheory, Algebraic Topology and Commutative Algebra

    CERN Document Server

    Pitsch, Wolfgang; Zarzuela, Santiago

    2016-01-01

    This book includes 33 expanded abstracts of selected talks given at the two workshops "Homological Bonds Between Commutative Algebra and Representation Theory" and "Brave New Algebra: Opening Perspectives," and the conference "Opening Perspectives in Algebra, Representations, and Topology," held at the Centre de Recerca Matemàtica (CRM) in Barcelona between January and June 2015. These activities were part of the one-semester intensive research program "Interactions Between Representation Theory, Algebraic Topology and Commutative Algebra (IRTATCA)." Most of the abstracts present preliminary versions of not-yet published results and cover a large number of topics (including commutative and non commutative algebra, algebraic topology, singularity theory, triangulated categories, representation theory) overlapping with homological methods. This comprehensive book is a valuable resource for the community of researchers interested in homological algebra in a broad sense, and those curious to learn the latest dev...

  8. Quantum cluster algebra structures on quantum nilpotent algebras

    CERN Document Server

    Goodearl, K R

    2017-01-01

    All algebras in a very large, axiomatically defined class of quantum nilpotent algebras are proved to possess quantum cluster algebra structures under mild conditions. Furthermore, it is shown that these quantum cluster algebras always equal the corresponding upper quantum cluster algebras. Previous approaches to these problems for the construction of (quantum) cluster algebra structures on (quantized) coordinate rings arising in Lie theory were done on a case by case basis relying on the combinatorics of each concrete family. The results of the paper have a broad range of applications to these problems, including the construction of quantum cluster algebra structures on quantum unipotent groups and quantum double Bruhat cells (the Berenstein-Zelevinsky conjecture), and treat these problems from a unified perspective. All such applications also establish equality between the constructed quantum cluster algebras and their upper counterparts.

  9. Identities and derivations for Jacobian algebras

    International Nuclear Information System (INIS)

    Dzhumadil'daev, A.S.

    2001-09-01

    Constructions of n-Lie algebras by strong n-Lie-Poisson algebras are given. First cohomology groups of adjoint module of Jacobian algebras are calculated. Minimal identities of 3-Jacobian algebra are found. (author)

  10. Noise limitations in optical linear algebra processors.

    Science.gov (United States)

    Batsell, S G; Jong, T L; Walkup, J F; Krile, T F

    1990-05-10

    A general statistical noise model is presented for optical linear algebra processors. A statistical analysis which includes device noise, the multiplication process, and the addition operation is undertaken. We focus on those processes which are architecturally independent. Finally, experimental results which verify the analytical predictions are also presented.

  11. Algebraic topology a primer

    CERN Document Server

    Deo, Satya

    2018-01-01

    This book presents the first concepts of the topics in algebraic topology such as the general simplicial complexes, simplicial homology theory, fundamental groups, covering spaces and singular homology theory in greater detail. Originally published in 2003, this book has become one of the seminal books. Now, in the completely revised and enlarged edition, the book discusses the rapidly developing field of algebraic topology. Targeted to undergraduate and graduate students of mathematics, the prerequisite for this book is minimal knowledge of linear algebra, group theory and topological spaces. The book discusses about the relevant concepts and ideas in a very lucid manner, providing suitable motivations and illustrations. All relevant topics are covered, including the classical theorems like the Brouwer’s fixed point theorem, Lefschetz fixed point theorem, Borsuk-Ulam theorem, Brouwer’s separation theorem and the theorem on invariance of the domain. Most of the exercises are elementary, but sometimes chal...

  12. Algebraic quantum field theory

    International Nuclear Information System (INIS)

    Foroutan, A.

    1996-12-01

    The basic assumption that the complete information relevant for a relativistic, local quantum theory is contained in the net structure of the local observables of this theory results first of all in a concise formulation of the algebraic structure of the superselection theory and an intrinsic formulation of charge composition, charge conjugation and the statistics of an algebraic quantum field theory. In a next step, the locality of massive particles together with their spectral properties are wed for the formulation of a selection criterion which opens the access to the massive, non-abelian quantum gauge theories. The role of the electric charge as a superselection rule results in the introduction of charge classes which in term lead to a set of quantum states with optimum localization properties. Finally, the asymptotic observables of quantum electrodynamics are investigated within the framework of algebraic quantum field theory. (author)

  13. Algebraic number theory

    CERN Document Server

    Jarvis, Frazer

    2014-01-01

    The technical difficulties of algebraic number theory often make this subject appear difficult to beginners. This undergraduate textbook provides a welcome solution to these problems as it provides an approachable and thorough introduction to the topic. Algebraic Number Theory takes the reader from unique factorisation in the integers through to the modern-day number field sieve. The first few chapters consider the importance of arithmetic in fields larger than the rational numbers. Whilst some results generalise well, the unique factorisation of the integers in these more general number fields often fail. Algebraic number theory aims to overcome this problem. Most examples are taken from quadratic fields, for which calculations are easy to perform. The middle section considers more general theory and results for number fields, and the book concludes with some topics which are more likely to be suitable for advanced students, namely, the analytic class number formula and the number field sieve. This is the fi...

  14. Complex algebraic geometry

    CERN Document Server

    Kollár, János

    1997-01-01

    This volume contains the lectures presented at the third Regional Geometry Institute at Park City in 1993. The lectures provide an introduction to the subject, complex algebraic geometry, making the book suitable as a text for second- and third-year graduate students. The book deals with topics in algebraic geometry where one can reach the level of current research while starting with the basics. Topics covered include the theory of surfaces from the viewpoint of recent higher-dimensional developments, providing an excellent introduction to more advanced topics such as the minimal model program. Also included is an introduction to Hodge theory and intersection homology based on the simple topological ideas of Lefschetz and an overview of the recent interactions between algebraic geometry and theoretical physics, which involve mirror symmetry and string theory.

  15. Basic linear algebra

    CERN Document Server

    Blyth, T S

    2002-01-01

    Basic Linear Algebra is a text for first year students leading from concrete examples to abstract theorems, via tutorial-type exercises. More exercises (of the kind a student may expect in examination papers) are grouped at the end of each section. The book covers the most important basics of any first course on linear algebra, explaining the algebra of matrices with applications to analytic geometry, systems of linear equations, difference equations and complex numbers. Linear equations are treated via Hermite normal forms which provides a successful and concrete explanation of the notion of linear independence. Another important highlight is the connection between linear mappings and matrices leading to the change of basis theorem which opens the door to the notion of similarity. This new and revised edition features additional exercises and coverage of Cramer's rule (omitted from the first edition). However, it is the new, extra chapter on computer assistance that will be of particular interest to readers:...

  16. Higher regulators, algebraic

    CERN Document Server

    Bloch, Spencer J

    2000-01-01

    This book is the long-awaited publication of the famous Irvine lectures. Delivered in 1978 at the University of California at Irvine, these lectures turned out to be an entry point to several intimately-connected new branches of arithmetic algebraic geometry, such as regulators and special values of L-functions of algebraic varieties, explicit formulas for them in terms of polylogarithms, the theory of algebraic cycles, and eventually the general theory of mixed motives which unifies and underlies all of the above (and much more). In the 20 years since, the importance of Bloch's lectures has not diminished. A lucky group of people working in the above areas had the good fortune to possess a copy of old typewritten notes of these lectures. Now everyone can have their own copy of this classic work.

  17. Problems in abstract algebra

    CERN Document Server

    Wadsworth, A R

    2017-01-01

    This is a book of problems in abstract algebra for strong undergraduates or beginning graduate students. It can be used as a supplement to a course or for self-study. The book provides more variety and more challenging problems than are found in most algebra textbooks. It is intended for students wanting to enrich their learning of mathematics by tackling problems that take some thought and effort to solve. The book contains problems on groups (including the Sylow Theorems, solvable groups, presentation of groups by generators and relations, and structure and duality for finite abelian groups); rings (including basic ideal theory and factorization in integral domains and Gauss's Theorem); linear algebra (emphasizing linear transformations, including canonical forms); and fields (including Galois theory). Hints to many problems are also included.

  18. Complex Algebraic Varieties

    CERN Document Server

    Peternell, Thomas; Schneider, Michael; Schreyer, Frank-Olaf

    1992-01-01

    The Bayreuth meeting on "Complex Algebraic Varieties" focussed on the classification of algebraic varieties and topics such as vector bundles, Hodge theory and hermitian differential geometry. Most of the articles in this volume are closely related to talks given at the conference: all are original, fully refereed research articles. CONTENTS: A. Beauville: Annulation du H(1) pour les fibres en droites plats.- M. Beltrametti, A.J. Sommese, J.A. Wisniewski: Results on varieties with many lines and their applications to adjunction theory.- G. Bohnhorst, H. Spindler: The stability of certain vector bundles on P(n) .- F. Catanese, F. Tovena: Vector bundles, linear systems and extensions of (1).- O. Debarre: Vers uns stratification de l'espace des modules des varietes abeliennes principalement polarisees.- J.P. Demailly: Singular hermitian metrics on positive line bundles.- T. Fujita: On adjoint bundles of ample vector bundles.- Y. Kawamata: Moderate degenerations of algebraic surfaces.- U. Persson: Genus two fibra...

  19. Abstract Algebra for Algebra Teaching: Influencing School Mathematics Instruction

    Science.gov (United States)

    Wasserman, Nicholas H.

    2016-01-01

    This article explores the potential for aspects of abstract algebra to be influential for the teaching of school algebra (and early algebra). Using national standards for analysis, four primary areas common in school mathematics--and their progression across elementary, middle, and secondary mathematics--where teaching may be transformed by…

  20. On Associative Conformal Algebras of Linear Growth

    OpenAIRE

    Retakh, Alexander

    2000-01-01

    Lie conformal algebras appear in the theory of vertex algebras. Their relation is similar to that of Lie algebras and their universal enveloping algebras. Associative conformal algebras play a role in conformal representation theory. We introduce the notions of conformal identity and unital associative conformal algebras and classify finitely generated simple unital associative conformal algebras of linear growth. These are precisely the complete algebras of conformal endomorphisms of finite ...

  1. Computer Program For Linear Algebra

    Science.gov (United States)

    Krogh, F. T.; Hanson, R. J.

    1987-01-01

    Collection of routines provided for basic vector operations. Basic Linear Algebra Subprogram (BLAS) library is collection from FORTRAN-callable routines for employing standard techniques to perform basic operations of numerical linear algebra.

  2. Atomistic and orthoatomistic effect algebras

    Science.gov (United States)

    Tkadlec, Josef

    2008-05-01

    We characterize atomistic effect algebras, prove that a weakly orthocomplete Archimedean atomic effect algebra is orthoatomistic and present an example of an orthoatomistic orthomodular poset that is not weakly orthocomplete.

  3. Algebra for Gifted Third Graders.

    Science.gov (United States)

    Borenson, Henry

    1987-01-01

    Elementary school children who are exposed to a concrete, hands-on experience in algebraic linear equations will more readily develop a positive mind-set and expectation for success in later formal, algebraic studies. (CB)

  4. Matrix algebra for linear models

    CERN Document Server

    Gruber, Marvin H J

    2013-01-01

    Matrix methods have evolved from a tool for expressing statistical problems to an indispensable part of the development, understanding, and use of various types of complex statistical analyses. This evolution has made matrix methods a vital part of statistical education. Traditionally, matrix methods are taught in courses on everything from regression analysis to stochastic processes, thus creating a fractured view of the topic. Matrix Algebra for Linear Models offers readers a unique, unified view of matrix analysis theory (where and when necessary), methods, and their applications. Written f

  5. Algebra & trigonometry super review

    CERN Document Server

    2012-01-01

    Get all you need to know with Super Reviews! Each Super Review is packed with in-depth, student-friendly topic reviews that fully explain everything about the subject. The Algebra and Trigonometry Super Review includes sets and set operations, number systems and fundamental algebraic laws and operations, exponents and radicals, polynomials and rational expressions, equations, linear equations and systems of linear equations, inequalities, relations and functions, quadratic equations, equations of higher order, ratios, proportions, and variations. Take the Super Review quizzes to see how much y

  6. Principles of algebraic geometry

    CERN Document Server

    Griffiths, Phillip A

    1994-01-01

    A comprehensive, self-contained treatment presenting general results of the theory. Establishes a geometric intuition and a working facility with specific geometric practices. Emphasizes applications through the study of interesting examples and the development of computational tools. Coverage ranges from analytic to geometric. Treats basic techniques and results of complex manifold theory, focusing on results applicable to projective varieties, and includes discussion of the theory of Riemann surfaces and algebraic curves, algebraic surfaces and the quadric line complex as well as special top

  7. Algebra with Galois theory

    CERN Document Server

    Artin, Emil

    2007-01-01

    The present text was first published in 1947 by the Courant Institute of Mathematical Sciences of New York University. Published under the title Modern Higher Algebra. Galois Theory, it was based on lectures by Emil Artin and written by Albert A. Blank. This volume became one of the most popular in the series of lecture notes published by Courant. Many instructors used the book as a textbook, and it was popular among students as a supplementary text as well as a primary textbook. Because of its popularity, Courant has republished the volume under the new title Algebra with Galois Theory.

  8. Helmholtz algebraic solitons

    International Nuclear Information System (INIS)

    Christian, J M; McDonald, G S; Chamorro-Posada, P

    2010-01-01

    We report, to the best of our knowledge, the first exact analytical algebraic solitons of a generalized cubic-quintic Helmholtz equation. This class of governing equation plays a key role in photonics modelling, allowing a full description of the propagation and interaction of broad scalar beams. New conservation laws are presented, and the recovery of paraxial results is discussed in detail. The stability properties of the new solitons are investigated by combining semi-analytical methods and computer simulations. In particular, new general stability regimes are reported for algebraic bright solitons.

  9. Pseudo Algebraically Closed Extensions

    Science.gov (United States)

    Bary-Soroker, Lior

    2009-07-01

    This PhD deals with the notion of pseudo algebraically closed (PAC) extensions of fields. It develops a group-theoretic machinery, based on a generalization of embedding problems, to study these extensions. Perhaps the main result is that although there are many PAC extensions, the Galois closure of a proper PAC extension is separably closed. The dissertation also contains the following subjects. The group theoretical counterpart of pseudo algebraically closed extensions, the so-called projective pairs. Applications to seemingly unrelated subjects, e.g., an analog of Dirichlet's theorem about primes in arithmetic progression for polynomial rings in one variable over infinite fields.

  10. Handbook of linear algebra

    CERN Document Server

    Hogben, Leslie

    2013-01-01

    With a substantial amount of new material, the Handbook of Linear Algebra, Second Edition provides comprehensive coverage of linear algebra concepts, applications, and computational software packages in an easy-to-use format. It guides you from the very elementary aspects of the subject to the frontiers of current research. Along with revisions and updates throughout, the second edition of this bestseller includes 20 new chapters.New to the Second EditionSeparate chapters on Schur complements, additional types of canonical forms, tensors, matrix polynomials, matrix equations, special types of

  11. Algebraic curves and cryptography

    CERN Document Server

    Murty, V Kumar

    2010-01-01

    It is by now a well-known paradigm that public-key cryptosystems can be built using finite Abelian groups and that algebraic geometry provides a supply of such groups through Abelian varieties over finite fields. Of special interest are the Abelian varieties that are Jacobians of algebraic curves. All of the articles in this volume are centered on the theme of point counting and explicit arithmetic on the Jacobians of curves over finite fields. The topics covered include Schoof's \\ell-adic point counting algorithm, the p-adic algorithms of Kedlaya and Denef-Vercauteren, explicit arithmetic on

  12. Partially ordered algebraic systems

    CERN Document Server

    Fuchs, Laszlo

    2011-01-01

    Originally published in an important series of books on pure and applied mathematics, this monograph by a distinguished mathematician explores a high-level area in algebra. It constitutes the first systematic summary of research concerning partially ordered groups, semigroups, rings, and fields. The self-contained treatment features numerous problems, complete proofs, a detailed bibliography, and indexes. It presumes some knowledge of abstract algebra, providing necessary background and references where appropriate. This inexpensive edition of a hard-to-find systematic survey will fill a gap i

  13. Elementary algebraic geometry

    CERN Document Server

    Kendig, Keith

    2015-01-01

    Designed to make learning introductory algebraic geometry as easy as possible, this text is intended for advanced undergraduates and graduate students who have taken a one-year course in algebra and are familiar with complex analysis. This newly updated second edition enhances the original treatment's extensive use of concrete examples and exercises with numerous figures that have been specially redrawn in Adobe Illustrator. An introductory chapter that focuses on examples of curves is followed by a more rigorous and careful look at plane curves. Subsequent chapters explore commutative ring th

  14. Algebraic number theory

    CERN Document Server

    Weiss, Edwin

    1998-01-01

    Careful organization and clear, detailed proofs characterize this methodical, self-contained exposition of basic results of classical algebraic number theory from a relatively modem point of view. This volume presents most of the number-theoretic prerequisites for a study of either class field theory (as formulated by Artin and Tate) or the contemporary treatment of analytical questions (as found, for example, in Tate's thesis).Although concerned exclusively with algebraic number fields, this treatment features axiomatic formulations with a considerable range of applications. Modem abstract te

  15. Algebra & trigonometry I essentials

    CERN Document Server

    REA, Editors of

    2012-01-01

    REA's Essentials provide quick and easy access to critical information in a variety of different fields, ranging from the most basic to the most advanced. As its name implies, these concise, comprehensive study guides summarize the essentials of the field covered. Essentials are helpful when preparing for exams, doing homework and will remain a lasting reference source for students, teachers, and professionals. Algebra & Trigonometry I includes sets and set operations, number systems and fundamental algebraic laws and operations, exponents and radicals, polynomials and rational expressions, eq

  16. Linear Algebra Thoroughly Explained

    CERN Document Server

    Vujičić, Milan

    2008-01-01

    Linear Algebra Thoroughly Explained provides a comprehensive introduction to the subject suitable for adoption as a self-contained text for courses at undergraduate and postgraduate level. The clear and comprehensive presentation of the basic theory is illustrated throughout with an abundance of worked examples. The book is written for teachers and students of linear algebra at all levels and across mathematics and the applied sciences, particularly physics and engineering. It will also be an invaluable addition to research libraries as a comprehensive resource book for the subject.

  17. Pole-placement Predictive Functional Control for under-damped systems with real numbers algebra.

    Science.gov (United States)

    Zabet, K; Rossiter, J A; Haber, R; Abdullah, M

    2017-11-01

    This paper presents the new algorithm of PP-PFC (Pole-placement Predictive Functional Control) for stable, linear under-damped higher-order processes. It is shown that while conventional PFC aims to get first-order exponential behavior, this is not always straightforward with significant under-damped modes and hence a pole-placement PFC algorithm is proposed which can be tuned more precisely to achieve the desired dynamics, but exploits complex number algebra and linear combinations in order to deliver guarantees of stability and performance. Nevertheless, practical implementation is easier by avoiding complex number algebra and hence a modified formulation of the PP-PFC algorithm is also presented which utilises just real numbers while retaining the key attributes of simple algebra, coding and tuning. The potential advantages are demonstrated with numerical examples and real-time control of a laboratory plant. Copyright © 2017 ISA. All rights reserved.

  18. Towards an algebraic description of reality

    International Nuclear Information System (INIS)

    Hiley, B.J.

    1980-01-01

    Bohm has recently proposed a new conceptual framework to account for the radially new features implied by the quantum formalism. This novel approach does not depend upon an a priori given space-time continuum, nor is it formulated in terms of Hilbert space although its general structure incorporates the algebraic content of the formalism. In this paper we discuss and develop further this conceptual structure and show how a totally algebraic theory begins to open up the possibility of describing space-time in terms of a pre-geometric structure

  19. A new model for algebraic Rossby solitary waves in rotation fluid and its solution

    Science.gov (United States)

    Chen, Yao-Deng; Yang, Hong-Wei; Gao, Yu-Fang; Yin, Bao-Shu; Feng, Xing-Ru

    2015-09-01

    A generalized Boussinesq equation that includes the dissipation effect is derived to describe a kind of algebraic Rossby solitary waves in a rotating fluid by employing perturbation expansions and stretching transformations of time and space. Using this equation, the conservation laws of algebraic Rossby solitary waves are discussed. It is found that the mass, the momentum, the energy, and the velocity of center of gravity of the algebraic solitary waves are conserved in the propagation process. Finally, the analytical solution of the equation is generated. Based on the analytical solution, the properties of the algebraic solitary waves and the dissipation effect are discussed. The results point out that, similar to classic solitary waves, the dissipation can cause the amplitude and the speed of solitary waves to decrease; however, unlike classic solitary waves, the algebraic solitary waves can split during propagation and the decrease of the detuning parameter can accelerate the occurrence of the solitary waves fission phenomenon. Project supported by the Shandong Provincial Key Laboratory of Marine Ecology and Environment and Disaster Prevention and Mitigation Project, China (Grant No. 2012010), the National Natural Science Foundation of China (Grant Nos. 41205082 and 41476019), the Special Funds for Theoretical Physics of the National Natural Science Foundation of China (Grant No. 11447205), and the Priority Academic Program Development of Jiangsu Higher Education Institutions (PAPD), China.

  20. Applications of Lie algebras in the solution of dynamic problems

    International Nuclear Information System (INIS)

    Fellay, G.

    1983-01-01

    The purpose of this paper is to give some insight into the Lie-algebras and their applications. The first part introduces the elementary properties of such algebras, e.g. nilpotency, solvability, etc. The second part shows how to use the demonstrated theory for solving differential equations with time-dependent coefficients. (Auth.)

  1. Homomorphisms between C∗ -algebra extensions

    Indian Academy of Sciences (India)

    C∗. -algebra extensions, Ext groups do not classify extension algebras. So one has to study the isomorphism equivalence of extensions. In fact, a homomorphism between two extension algebras may not map the essential ideal into the other in general, so we have to consider properties of extension homomorphisms.

  2. Ternary Virasoro-Witt algebra

    International Nuclear Information System (INIS)

    Curtright, Thomas L.; Fairlie, David B.; Zachos, Cosmas K.

    2008-01-01

    A 3-bracket variant of the Virasoro-Witt algebra is constructed through the use of su(1,1) enveloping algebra techniques. The Leibniz rules for 3-brackets acting on other 3-brackets in the algebra are discussed and verified in various situations

  3. Assessing Elementary Algebra with STACK

    Science.gov (United States)

    Sangwin, Christopher J.

    2007-01-01

    This paper concerns computer aided assessment (CAA) of mathematics in which a computer algebra system (CAS) is used to help assess students' responses to elementary algebra questions. Using a methodology of documentary analysis, we examine what is taught in elementary algebra. The STACK CAA system, http://www.stack.bham.ac.uk/, which uses the CAS…

  4. Commutative algebra with a view toward algebraic geometry

    CERN Document Server

    Eisenbud, David

    1995-01-01

    Commutative Algebra is best understood with knowledge of the geometric ideas that have played a great role in its formation, in short, with a view towards algebraic geometry. The author presents a comprehensive view of commutative algebra, from basics, such as localization and primary decomposition, through dimension theory, differentials, homological methods, free resolutions and duality, emphasizing the origins of the ideas and their connections with other parts of mathematics. Many exercises illustrate and sharpen the theory and extended exercises give the reader an active part in complementing the material presented in the text. One novel feature is a chapter devoted to a quick but thorough treatment of Grobner basis theory and the constructive methods in commutative algebra and algebraic geometry that flow from it. Applications of the theory and even suggestions for computer algebra projects are included. This book will appeal to readers from beginners to advanced students of commutative algebra or algeb...

  5. Quantitative Algebraic Reasoning

    DEFF Research Database (Denmark)

    Mardare, Radu Iulian; Panangaden, Prakash; Plotkin, Gordon

    2016-01-01

    We develop a quantitative analogue of equational reasoning which we call quantitative algebra. We define an equality relation indexed by rationals: a =ε b which we think of as saying that “a is approximately equal to b up to an error of ε”. We have 4 interesting examples where we have a quantitative...

  6. A course in algebra

    CERN Document Server

    Fan, Yun; Zheng, Y L

    2000-01-01

    This volume is based on the lectures given by the authors at Wuhan University and Hubei University in courses on abstract algebra. It presents the fundamental concepts and basic properties of groups, rings, modules and fields, including the interplay between them and other mathematical branches and applied aspects.

  7. Algebraic geometry in India

    Indian Academy of Sciences (India)

    from India, I will describe mainly some work in four topics with which I am familiar: Moduli problem of vector bundles (and the related geometric invariant theory), the work of. CPRamanujam, Frobenius split varieties and algebraic .... One important series of works, by Seshadri in collaboration with V Lakshmibai, C Musili, and.

  8. Discourses on Algebra

    Indian Academy of Sciences (India)

    To the Indian reader, the word discourse, evokes a respected figure interpreting divine wisdom to common folk in an accessible fash- ion. I dug a bit deeper with Google trans- late, and found that the original Russian ti- tle of Shafarevich's book was more like Se- lected Chapters of Algebra and that it was first published in a ...

  9. Probabilistic thread algebra

    NARCIS (Netherlands)

    Bergstra, J.A.; Middelburg, C.A.

    2015-01-01

    We add probabilistic features to basic thread algebra and its extensions with thread-service interaction and strategic interleaving. Here, threads represent the behaviours produced by instruction sequences under execution and services represent the behaviours exhibited by the components of execution

  10. Compressible effect algebras

    Science.gov (United States)

    Gudder, Stan

    2004-08-01

    We define a special type of additive map J on an effect algebra E called a compression. We call J(1) the focus of J and if p is the focus of a compression then p is called a projection. The set of projections in E is denoted by P(E). A compression J is direct if J( a) ≤ a for all a ɛ E. We show that direct compressions are equivalent to projections onto components of cartesian products. An effect algebra E is said to be compressible if every compression on E is uniquely determined by its focus and every compression on E has a supplement. We define and characterize the commutant C(p) of a projection p and show that a compression with focus p is direct if and only if C(p) = E. We show that P(E) is an orthomodular poset. It is proved that the cartesian product of effect algebras is compressible if and only if each component is compressible. We then consider compressible sequential effect algebras, Lüders maps and conditional probabilities.

  11. Thinking Visually about Algebra

    Science.gov (United States)

    Baroudi, Ziad

    2015-01-01

    Many introductions to algebra in high school begin with teaching students to generalise linear numerical patterns. This article argues that this approach needs to be changed so that students encounter variables in the context of modelling visual patterns so that the variables have a meaning. The article presents sample classroom activities,…

  12. Algebraic Thinking through Origami.

    Science.gov (United States)

    Higginson, William; Colgan, Lynda

    2001-01-01

    Describes the use of paper folding to create a rich environment for discussing algebraic concepts. Explores the effect that changing the dimensions of two-dimensional objects has on the volume of related three-dimensional objects. (Contains 13 references.) (YDS)

  13. Electromagnetism, magnetic monopoles and matter-waves in space-time algebra (part II). Electromagnetisme, monopoles magnetiques et ondes de matiere dans l'algebre d'espace-temps (2eme partie)

    Energy Technology Data Exchange (ETDEWEB)

    Daviau, C. (La Lande, Pouille-les-Coteaux 44 - Mesanger (FR))

    1989-01-01

    The formalism of space-time algebra of Hestenes is used: - in the first part to write the equations of electromagnetism of Maxwell and Louis de Broglie, when magnetic monopoles exist; - second to explain equivalence between the equations of Dirac and Hestenes, and to extend this equivalence to Lochak's theory of magnetic monopoles; - to establish that monopoles can exist with very small magnetic charge; - in this second part, to compare waves of fermions and electromagnetism, to associate an electromagnetic field to Dirac's waves and to join the equation of Maxwell - de Broglie to the equation of Dirac - Hestenes.

  14. Methods of algebraic geometry in control theory

    CERN Document Server

    Falb, Peter

    1999-01-01

    "Control theory represents an attempt to codify, in mathematical terms, the principles and techniques used in the analysis and design of control systems. Algebraic geometry may, in an elementary way, be viewed as the study of the structure and properties of the solutions of systems of algebraic equations. The aim of this book is to provide access to the methods of algebraic geometry for engineers and applied scientists through the motivated context of control theory" .* The development which culminated with this volume began over twenty-five years ago with a series of lectures at the control group of the Lund Institute of Technology in Sweden. I have sought throughout to strive for clarity, often using constructive methods and giving several proofs of a particular result as well as many examples. The first volume dealt with the simplest control systems (i.e., single input, single output linear time-invariant systems) and with the simplest algebraic geometry (i.e., affine algebraic geometry). While this is qui...

  15. Surveys in differential-algebraic equations II

    CERN Document Server

    Reis, Timo

    2015-01-01

    The present volume comprises survey articles on various fields of Differential-Algebraic Equations (DAEs), which have widespread applications in controlled dynamical systems, especially in mechanical and electrical engineering and a strong relation to (ordinary) differential equations. The individual chapters provide reviews, presentations of the current state of research and new concepts in - Observers for DAEs - DAEs in chemical processes - Optimal control of DAEs - DAEs from a functional-analytic viewpoint - Algebraic methods for DAEs The results are presented in an accessible style, making this book suitable not only for active researchers but also for graduate students (with a good knowledge of the basic principles of DAEs) for self-study.

  16. Operator algebras and topology

    International Nuclear Information System (INIS)

    Schick, T.

    2002-01-01

    These notes, based on three lectures on operator algebras and topology at the 'School on High Dimensional Manifold Theory' at the ICTP in Trieste, introduce a new set of tools to high dimensional manifold theory, namely techniques coming from the theory of operator algebras, in particular C*-algebras. These are extensively studied in their own right. We will focus on the basic definitions and properties, and on their relevance to the geometry and topology of manifolds. A central pillar of work in the theory of C*-algebras is the Baum-Connes conjecture. This is an isomorphism conjecture, as discussed in the talks of Luck, but with a certain special flavor. Nevertheless, it has important direct applications to the topology of manifolds, it implies e.g. the Novikov conjecture. In the first chapter, the Baum-Connes conjecture will be explained and put into our context. Another application of the Baum-Connes conjecture is to the positive scalar curvature question. This will be discussed by Stephan Stolz. It implies the so-called 'stable Gromov-Lawson-Rosenberg conjecture'. The unstable version of this conjecture said that, given a closed spin manifold M, a certain obstruction, living in a certain (topological) K-theory group, vanishes if and only M admits a Riemannian metric with positive scalar curvature. It turns out that this is wrong, and counterexamples will be presented in the second chapter. The third chapter introduces another set of invariants, also using operator algebra techniques, namely L 2 -cohomology, L 2 -Betti numbers and other L 2 -invariants. These invariants, their basic properties, and the central questions about them, are introduced in the third chapter. (author)

  17. Advanced modern algebra part 2

    CERN Document Server

    Rotman, Joseph J

    2017-01-01

    This book is the second part of the new edition of Advanced Modern Algebra (the first part published as Graduate Studies in Mathematics, Volume 165). Compared to the previous edition, the material has been significantly reorganized and many sections have been rewritten. The book presents many topics mentioned in the first part in greater depth and in more detail. The five chapters of the book are devoted to group theory, representation theory, homological algebra, categories, and commutative algebra, respectively. The book can be used as a text for a second abstract algebra graduate course, as a source of additional material to a first abstract algebra graduate course, or for self-study.

  18. Invariant differential operators for non-compact Lie algebras parabolically related to conformal Lie algebras

    Science.gov (United States)

    Dobrev, V. K.

    2013-02-01

    In the present paper we continue the project of systematic construction of invariant differential operators for non-compact semisimple Lie groups. Our starting points is the class of algebras, which we call 'conformal Lie algebras' (CLA), which have very similar properties to the conformal algebras of Minkowski space-time, though our aim is to go beyond this class in a natural way. For this we introduce the new notion of parabolic relation between two non-compact semisimple Lie algebras G and G ' that have the same complexification and possess maximal parabolic subalgebras with the same complexification. Thus, we consider the exceptional algebra E 7(7) which is parabolically related to the CLA E 7(-25) , the parabolic subalgebras including E 6(6) and E 6(-26). Other interesting examples are the orthogonal algebras so(p, q) all of which are parabolically related to the conformal algebra so( n, 2) with p + q = n + 2, the parabolic subalgebras including the Lorentz subalgebra so( n - 1, 1) and its analogs so( p - 1, q - 1). We consider also E6(6) and E6(2) which are parabolically related to the hermitian symmetric case E6(-14) , the parabolic subalgebras including real forms of sl(6). We also give a formula for the number of representations in the main multiplets valid for CLAs and all algebras that are parabolically related to them. In all considered cases we give the main multiplets of indecomposable elementary representations including the necessary data for all relevant invariant differential operators. In the case of so( p, q) we give also the reduced multiplets. We should stress that the multiplets are given in the most economic way in pairs of shadow fields. Furthermore we should stress that the classification of all invariant differential operators includes as special cases all possible conservation laws and conserved currents, unitary or not.

  19. Exploring Teacher Noticing of Student Algebraic Thinking in a Video Club

    Science.gov (United States)

    Walkoe, Janet

    2015-01-01

    Learning algebra is critical for students in the USA today, yet many students in the USA struggle in algebra classes. Researchers claim that one reason for these difficulties is that algebra classes often focus on symbol manipulation and procedures above, and many times at the expense of, a more conceptual understanding of the content. Teaching…

  20. Quantum algebraic representation of localization and motion of a Dirac electron

    International Nuclear Information System (INIS)

    Jaekel, Marc-Thierry; Reynaud, Serge

    2001-01-01

    Quantum algebraic observables representing localization in space-time of a Dirac electron are defined. Inertial motion of the electron is represented in the quantum algebra with electron mass acting as the generator of motion. Since transformations to uniformly accelerated frames are naturally included in this conformally invariant description, the quantum algebra is also able to deal with uniformly accelerated motion

  1. Computer Aided Continuous Time Stochastic Process Modelling

    DEFF Research Database (Denmark)

    Kristensen, N.R.; Madsen, Henrik; Jørgensen, Sten Bay

    2001-01-01

    A grey-box approach to process modelling that combines deterministic and stochastic modelling is advocated for identification of models for model-based control of batch and semi-batch processes. A computer-aided tool designed for supporting decision-making within the corresponding modelling cycle...

  2. On Dunkl angular momenta algebra

    Energy Technology Data Exchange (ETDEWEB)

    Feigin, Misha [School of Mathematics and Statistics, University of Glasgow,15 University Gardens, Glasgow G12 8QW (United Kingdom); Hakobyan, Tigran [Yerevan State University,1 Alex Manoogian, 0025 Yerevan (Armenia); Tomsk Polytechnic University,Lenin Ave. 30, 634050 Tomsk (Russian Federation)

    2015-11-17

    We consider the quantum angular momentum generators, deformed by means of the Dunkl operators. Together with the reflection operators they generate a subalgebra in the rational Cherednik algebra associated with a finite real reflection group. We find all the defining relations of the algebra, which appear to be quadratic, and we show that the algebra is of Poincaré-Birkhoff-Witt (PBW) type. We show that this algebra contains the angular part of the Calogero-Moser Hamiltonian and that together with constants it generates the centre of the algebra. We also consider the gl(N) version of the subalgebra of the rational Cherednik algebra and show that it is a non-homogeneous quadratic algebra of PBW type as well. In this case the central generator can be identified with the usual Calogero-Moser Hamiltonian associated with the Coxeter group in the harmonic confinement.

  3. Applications of Maple To Algebraic Cryptography.

    Science.gov (United States)

    Sigmon, Neil P.

    1997-01-01

    Demonstrates the use of technology to enhance the appreciation of applications involving abstract algebra. The symbolic manipulator Maple can perform computations required for a linear cryptosystem. One major benefit of this process is that students can encipher and decipher messages using a linear cryptosystem without becoming confused and…

  4. Journal Writing: Enlivening Elementary Linear Algebra.

    Science.gov (United States)

    Meel, David E.

    1999-01-01

    Examines the various issues surrounding the implementation of journal writing in an undergraduate linear algebra course. Identifies the benefits of incorporating journal writing into an undergraduate mathematics course, which are supported with students' comments from their journals and their reflections on the process. Contains 14 references.…

  5. Current algebra and η → 3π

    International Nuclear Information System (INIS)

    Bell, J.S.; Sutherland, D.G.

    1995-01-01

    A critical review is given of developments in the theory subsequent to the demonstration that in first approximation η → 3π is forbidden. It remains difficult to understand the process with conventional ideas without reducing to an accident the success of current algebra, and a simple linear matrix element, in K → 3π. (author)

  6. Linear algebra a first course with applications

    CERN Document Server

    Knop, Larry E

    2008-01-01

    Linear Algebra: A First Course with Applications explores the fundamental ideas of linear algebra, including vector spaces, subspaces, basis, span, linear independence, linear transformation, eigenvalues, and eigenvectors, as well as a variety of applications, from inventories to graphics to Google's PageRank. Unlike other texts on the subject, this classroom-tested book gives students enough time to absorb the material by focusing on vector spaces early on and using computational sections as numerical interludes. It offers introductions to Maple™, MATLAB®, and TI-83 Plus for calculating matri

  7. Continuum analogues of contragredient Lie algebras

    International Nuclear Information System (INIS)

    Saveliev, M.V.; Vershik, A.M.

    1989-03-01

    We present an axiomatic formulation of a new class of infinite-dimensional Lie algebras - the generalizations of Z-graded Lie algebras with, generally speaking, an infinite-dimensional Cartan subalgebra and a contiguous set of roots. We call such algebras ''continuum Lie algebras''. The simple Lie algebras of constant growth are encapsulated in our formulation. We pay particular attention to the case when the local algebra is parametrized by a commutative algebra while the Cartan operator (the generalization of the Cartan matrix) is a linear operator. Special examples of these algebras are the Kac-Moody algebras, algebras of Poisson brackets, algebras of vector fields on a manifold, current algebras, and algebras with differential or integro-differential Cartan operator. The nonlinear dynamical systems associated with the continuum contragredient Lie algebras are also considered. (author). 9 refs

  8. Free Malcev algebra of rank three

    OpenAIRE

    Kornev, Alexandr

    2011-01-01

    We find a basis of the free Malcev algebra on three free generators over a field of characteristic zero. The specialty and semiprimity of this algebra are proved. In addition, we prove the decomposability of this algebra into subdirect sum of the free Lie algebra rank three and the free algebra of rank three of variety of Malcev algebras generated by a simple seven-dimensional Malcev algebra.

  9. Real algebraic geometry

    CERN Document Server

    Bochnak, Jacek; Roy, Marie-Françoise

    1998-01-01

    This book is a systematic treatment of real algebraic geometry, a subject that has strong interrelation with other areas of mathematics: singularity theory, differential topology, quadratic forms, commutative algebra, model theory, complexity theory etc. The careful and clearly written account covers both basic concepts and up-to-date research topics. It may be used as text for a graduate course. The present edition is a substantially revised and expanded English version of the book "Géometrie algébrique réelle" originally published in French, in 1987, as Volume 12 of ERGEBNISSE. Since the publication of the French version the theory has made advances in several directions. Many of these are included in this English version. Thus the English book may be regarded as a completely new treatment of the subject.

  10. Jacobson-Witt algebras and Lie-admissible algebras

    International Nuclear Information System (INIS)

    Tomber, M.L.

    1981-01-01

    For any field PHI of characteristics p > 0 and integer m greater than or equal to 1, there is a Jacobson-Witt algebra which is a Lie algebra. In this paper, all flexible Lie-admissible algebras U, such that U - is a Jacobson-Witt algebra W/sub m/(p), are determined. For any W/sub m/(p), p > 2 there is exactly one such U and it is isomorphic to W/sub m/(p). There are two non-isomorphic algebras U such that U - is isomorphic to W 1 (2), and there are no algebras U with U - isomorphic to W/sub m/(2), m > 1

  11. Time reversal signal processing for communication.

    Energy Technology Data Exchange (ETDEWEB)

    Young, Derek P.; Jacklin, Neil; Punnoose, Ratish J.; Counsil, David T.

    2011-09-01

    Time-reversal is a wave focusing technique that makes use of the reciprocity of wireless propagation channels. It works particularly well in a cluttered environment with associated multipath reflection. This technique uses the multipath in the environment to increase focusing ability. Time-reversal can also be used to null signals, either to reduce unintentional interference or to prevent eavesdropping. It does not require controlled geometric placement of the transmit antennas. Unlike existing techniques it can work without line-of-sight. We have explored the performance of time-reversal focusing in a variety of simulated environments. We have also developed new algorithms to simultaneously focus at a location while nulling at an eavesdropper location. We have experimentally verified these techniques in a realistic cluttered environment.

  12. Algebras of Information States

    Czech Academy of Sciences Publication Activity Database

    Punčochář, Vít

    2017-01-01

    Roč. 27, č. 5 (2017), s. 1643-1675 ISSN 0955-792X R&D Projects: GA ČR(CZ) GC16-07954J Institutional support: RVO:67985955 Keywords : information states * relational semantics * algebraic semantics * intuitionistic logic * inquisitive disjunction Subject RIV: AA - Philosophy ; Religion OBOR OECD: Philosophy, History and Philosophy of science and technology Impact factor: 0.909, year: 2016

  13. Algebra, Arithmetic, and Geometry

    CERN Document Server

    Tschinkel, Yuri

    2009-01-01

    The two volumes of "Algebra, Arithmetic, and Geometry: In Honor of Y.I. Manin" are composed of invited expository articles and extensions detailing Manin's contributions to the subjects, and are in celebration of his 70th birthday. The well-respected and distinguished contributors include: Behrend, Berkovich, Bost, Bressler, Calaque, Carlson, Chambert-Loir, Colombo, Connes, Consani, Dabrowski, Deninger, Dolgachev, Donaldson, Ekedahl, Elsenhans, Enriques, Etingof, Fock, Friedlander, Geemen, Getzler, Goncharov, Harris, Iskovskikh, Jahnel, Kaledin, Kapranov, Katz, Kaufmann, Kollar, Kont

  14. Split Malcev algebras

    Indian Academy of Sciences (India)

    project of the Spanish Ministerio de Educación y Ciencia MTM2007-60333. References. [1] Calderón A J, On split Lie algebras with symmetric root systems, Proc. Indian. Acad. Sci (Math. Sci.) 118(2008) 351–356. [2] Calderón A J, On split Lie triple systems, Proc. Indian. Acad. Sci (Math. Sci.) 119(2009). 165–177.

  15. Fundamentals of linear algebra

    CERN Document Server

    Dash, Rajani Ballav

    2008-01-01

    FUNDAMENTALS OF LINEAR ALGEBRA is a comprehensive Text Book, which can be used by students and teachers of All Indian Universities. The Text has easy, understandable form and covers all topics of UGC Curriculum. There are lots of worked out examples which helps the students in solving the problems without anybody's help. The Problem sets have been designed keeping in view of the questions asked in different examinations.

  16. Clifford Algebras and Spinors

    International Nuclear Information System (INIS)

    Todorov, Ivan

    2010-12-01

    Expository notes on Clifford algebras and spinors with a detailed discussion of Majorana, Weyl, and Dirac spinors. The paper is meant as a review of background material, needed, in particular, in now fashionable theoretical speculations on neutrino masses. It has a more mathematical flavour than the over twenty-six-year-old Introduction to Majorana masses [M84] and includes historical notes and biographical data on past participants in the story. (author)

  17. Modern algebra essentials

    CERN Document Server

    Lutfiyya, Lutfi A

    2012-01-01

    REA's Essentials provide quick and easy access to critical information in a variety of different fields, ranging from the most basic to the most advanced. As its name implies, these concise, comprehensive study guides summarize the essentials of the field covered. Essentials are helpful when preparing for exams, doing homework and will remain a lasting reference source for students, teachers, and professionals. Modern Algebra includes set theory, operations, relations, basic properties of the integers, group theory, and ring theory.

  18. Algebra & trigonometry II essentials

    CERN Document Server

    REA, Editors of

    2012-01-01

    REA's Essentials provide quick and easy access to critical information in a variety of different fields, ranging from the most basic to the most advanced. As its name implies, these concise, comprehensive study guides summarize the essentials of the field covered. Essentials are helpful when preparing for exams, doing homework and will remain a lasting reference source for students, teachers, and professionals. Algebra & Trigonometry II includes logarithms, sequences and series, permutations, combinations and probability, vectors, matrices, determinants and systems of equations, mathematica

  19. Irrational "Coefficients" in Renaissance Algebra.

    Science.gov (United States)

    Oaks, Jeffrey A

    2017-06-01

    Argument From the time of al-Khwārizmī in the ninth century to the beginning of the sixteenth century algebraists did not allow irrational numbers to serve as coefficients. To multiply by x, for instance, the result was expressed as the rhetorical equivalent of . The reason for this practice has to do with the premodern concept of a monomial. The coefficient, or "number," of a term was thought of as how many of that term are present, and not as the scalar multiple that we work with today. Then, in sixteenth-century Europe, a few algebraists began to allow for irrational coefficients in their notation. Christoff Rudolff (1525) was the first to admit them in special cases, and subsequently they appear more liberally in Cardano (1539), Scheubel (1550), Bombelli (1572), and others, though most algebraists continued to ban them. We survey this development by examining the texts that show irrational coefficients and those that argue against them. We show that the debate took place entirely in the conceptual context of premodern, "cossic" algebra, and persisted in the sixteenth century independent of the development of the new algebra of Viète, Decartes, and Fermat. This was a formal innovation violating prevailing concepts that we propose could only be introduced because of the growing autonomy of notation from rhetorical text.

  20. Probability timed automata for investigating communication processes

    Directory of Open Access Journals (Sweden)

    Piech Henryk

    2015-06-01

    Full Text Available Exploitation characteristics behaves as a decreasing valors factor (DVF which can be connected with degradation processes. It is a structure that consists of independent attributes which represent situations generally connected with a given exploitation factor. The multi-attribute structure contains attributes directly and indirectly referring to the main factor. Attribute states, by definition, can only maintain or decrease their values. Such situations are met in security, reliability, exploitation, fatigues and many complex one-directed or irreversible processes. The main goal refers to protocol security analysis during the realization of the communication run that specifies the assessment of the level of current and oncoming threats connected with cryptography authentication. In the communication run, the operations of different protocols mutually interleave. Our concept is based on the algorithm of attributes correction during exploitation process realization (Blanchet et al., 2008. The monitoring and correcting procedures make it possible to provide forecast information about possible threats on the basis of the structure of the current attribute values.

  1. Compactly Generated de Morgan Lattices, Basic Algebras and Effect Algebras

    Science.gov (United States)

    Paseka, Jan; Riečanová, Zdenka

    2010-12-01

    We prove that a de Morgan lattice is compactly generated if and only if its order topology is compatible with a uniformity on L generated by some separating function family on L. Moreover, if L is complete then L is (o)-topological. Further, if a basic algebra L (hence lattice with sectional antitone involutions) is compactly generated then L is atomic. Thus all non-atomic Boolean algebras as well as non-atomic lattice effect algebras (including non-atomic MV-algebras and orthomodular lattices) are not compactly generated.

  2. Pre-ideals of Basic Algebras

    Science.gov (United States)

    Krňávek, Jan; Kühr, Jan

    2011-12-01

    Basic algebras are a generalization of MV-algebras, also including orthomodular lattices and lattice effect algebras. A pre-ideal of a basic algebra is a non-empty subset that is closed under the addition ⊕ and downwards closed with respect to the underlying order. In this paper, we study the pre-ideal lattices of algebras in a particular subclass of basic algebras which are closer to MV-algebras than basic algebras in general. We also prove that finite members of this subclass are exactly finite MV-algebras.

  3. Associative and Lie deformations of Poisson algebras

    OpenAIRE

    Remm, Elisabeth

    2011-01-01

    Considering a Poisson algebra as a non associative algebra satisfying the Markl-Remm identity, we study deformations of Poisson algebras as deformations of this non associative algebra. This gives a natural interpretation of deformations which preserves the underlying associative structure and we study deformations which preserve the underlying Lie algebra.

  4. Fusion rules of chiral algebras

    International Nuclear Information System (INIS)

    Gaberdiel, M.

    1994-01-01

    Recently we showed that for the case of the WZW and the minimal models fusion can be understood as a certain ring-like tensor product of the symmetry algebra. In this paper we generalize this analysis to arbitrary chiral algebras. We define the tensor product of conformal field theory in the general case and prove that it is associative and symmetric up to equivalence. We also determine explicitly the action of the chiral algebra on this tensor product. In the second part of the paper we demonstrate that this framework provides a powerful tool for calculating restrictions for the fusion rules of chiral algebras. We exhibit this for the case of the W 3 algebra and the N=1 and N=2 NS superconformal algebras. (orig.)

  5. Time-dependent studies of multiphoton processes

    International Nuclear Information System (INIS)

    Kulander, K.C.; Schafer, K.J.; Krause, J.L.

    1992-01-01

    Interest in intense-field laser-atom interactions has undergone very rapid growth over the past decade due to a number of very surprising observations made during short-pulse (much-lt 1 ns) excitation of atoms and molecules. Extensive results have been reported for electron and photon emission from atoms subject to high-intensity lasers. This wealth of data has greatly increased our detailed knowledge of the effects of electromagnetic radiation on the electrons in these systems. The richness of these results has encouraged the development of new theoretical methods to provide an understanding of the observations. This paper reports that one of the major techniques being used to study the dynamics of excitation and ionization is the direct solution of the time-dependent Schrodinger equation for an atom or molecule in a pulse laser field. The time-dependent methods allow the exact calculation of above-threshold ionization (ATI) spectra for real (three-dimensional) hydrogenic systems and of photon emission from atoms excited by lasers. Recently the possibility of high-frequency, high-intensity suppression of ionization has also been addressed

  6. Categorical Algebra and its Applications

    CERN Document Server

    1988-01-01

    Categorical algebra and its applications contain several fundamental papers on general category theory, by the top specialists in the field, and many interesting papers on the applications of category theory in functional analysis, algebraic topology, algebraic geometry, general topology, ring theory, cohomology, differential geometry, group theory, mathematical logic and computer sciences. The volume contains 28 carefully selected and refereed papers, out of 96 talks delivered, and illustrates the usefulness of category theory today as a powerful tool of investigation in many other areas.

  7. "Lost chains" in algebraic models

    Science.gov (United States)

    Fortunato, L.; de Graaf, W. A.

    2011-03-01

    The algebraic structure of some of the simplest algebraic models u(2), u(3) and u(4), widely used in several branches of physics either as toy models or as working instruments, are reanalyzed under a new perspective that releases the requirement that chains should terminate or pass through the angular momentum algebra. Unitary algebras are non-semisimple, therefore we first apply the Levi-Malcev decomposition. Then we use the theory of weighted Dynkin diagrams to identify conjugacy classes of A1 ~ su(2) ~ so(3) subalgebras: a complete classification of new angular momentum non conserving (AMNC) dynamical symmetries follows that we substantiate with examples.

  8. Applications of Computer Algebra Conference

    CERN Document Server

    Martínez-Moro, Edgar

    2017-01-01

    The Applications of Computer Algebra (ACA) conference covers a wide range of topics from Coding Theory to Differential Algebra to Quantam Computing, focusing on the interactions of these and other areas with the discipline of Computer Algebra. This volume provides the latest developments in the field as well as its applications in various domains, including communications, modelling, and theoretical physics. The book will appeal to researchers and professors of computer algebra, applied mathematics, and computer science, as well as to engineers and computer scientists engaged in research and development.

  9. Introduction to algebraic independence theory

    CERN Document Server

    Philippon, Patrice

    2001-01-01

    In the last five years there has been very significant progress in the development of transcendence theory. A new approach to the arithmetic properties of values of modular forms and theta-functions was found. The solution of the Mahler-Manin problem on values of modular function j(tau) and algebraic independence of numbers pi and e^(pi) are most impressive results of this breakthrough. The book presents these and other results on algebraic independence of numbers and further, a detailed exposition of methods created in last the 25 years, during which commutative algebra and algebraic geometry exerted strong catalytic influence on the development of the subject.

  10. Chiral algebras for trinion theories

    International Nuclear Information System (INIS)

    Lemos, Madalena; Peelaers, Wolfger

    2015-01-01

    It was recently understood that one can identify a chiral algebra in any four-dimensional N=2 superconformal theory. In this note, we conjecture the full set of generators of the chiral algebras associated with the T n theories. The conjecture is motivated by making manifest the critical affine module structure in the graded partition function of the chiral algebras, which is computed by the Schur limit of the superconformal index for T n theories. We also explicitly construct the chiral algebra arising from the T 4 theory. Its null relations give rise to new T 4 Higgs branch chiral ring relations.

  11. Computational aspects of algebraic curves

    CERN Document Server

    Shaska, Tanush

    2005-01-01

    The development of new computational techniques and better computing power has made it possible to attack some classical problems of algebraic geometry. The main goal of this book is to highlight such computational techniques related to algebraic curves. The area of research in algebraic curves is receiving more interest not only from the mathematics community, but also from engineers and computer scientists, because of the importance of algebraic curves in applications including cryptography, coding theory, error-correcting codes, digital imaging, computer vision, and many more.This book cove

  12. Students’ Algebraic Reasonsing In Solving Mathematical Problems With Adversity Quotient

    Science.gov (United States)

    Aryani, F.; Amin, S. M.; Sulaiman, R.

    2018-01-01

    Algebraic reasoning is a process in which students generalize mathematical ideas from a set of particular instances and express them in increasingly formal and age-appropriate ways. Using problem solving approach to develop algebraic reasoning of mathematics may enhace the long-term learning trajectory of the majority students. The purpose of this research was to describe the algebraic reasoning of quitter, camper, and climber junior high school students in solving mathematical problems. This research used qualitative descriptive method. Subjects were determined by purposive sampling. The technique of collecting data was done by task-based interviews.The results showed that the algebraic reasoning of three students in the process of pattern seeking by identifying the things that are known and asked in a similar way. But three students found the elements of pattern recognition in different ways or method. So, they are generalize the problem of pattern formation with different ways. The study of algebraic reasoning and problem solving can be a learning paradigm in the improve students’ knowledge and skills in algebra work. The goal is to help students’ improve academic competence, develop algebraic reasoning in problem solving.

  13. Algebraic Varieties and System Design

    DEFF Research Database (Denmark)

    Aabrandt, Andreas

    Design and analysis of networks have many applications in the engineering sciences. This dissertation seeks to contribute to the methods used in the analysis of networks with a view towards assisting decision making processes. Networks are initially considered as objects in the category of graphs...... of cover ideals of hypergraphs, the topological ranking demonstrates the non-trivial decisions that needs to be considered in system design. All the methods developed here have an underlying common structure, namely that they all appear at solution sets for systems of polynomials. These solution sets...... and later as objects in the category of hypergraphs. The connection with the category of simplicial pairs become apparent when the topology is analyzed using homological algebra. A topological ranking is developed that measures the ability of the network to stay path-connected. Combined with the analysis...

  14. The planar algebra of a semisimple and cosemisimple Hopf algebra

    Indian Academy of Sciences (India)

    M. Senthilkumar (Newgen Imaging) 1461 1996 Oct 15 13:05:22

    [TngGlk] Etingof Pavel and Gelaki Shlomo, On finite-dimensional semisimple and cosemisimple Hopf algebras in positive characteristic. Int. Math. Res. Notices,. 16 (1998) 851–864. [DasKdy] Das Paramita and Vijay Kodiyalam, Planar algebras and the Ocneanu–. Szymanski theorem, Proc. AMS, 133 (2005) 2751–2759.

  15. Galois Theory of Differential Equations, Algebraic Groups and Lie Algebras

    NARCIS (Netherlands)

    Put, Marius van der

    1999-01-01

    The Galois theory of linear differential equations is presented, including full proofs. The connection with algebraic groups and their Lie algebras is given. As an application the inverse problem of differential Galois theory is discussed. There are many exercises in the text.

  16. Dynamical entropy of C* algebras and Von Neumann algebras

    International Nuclear Information System (INIS)

    Connes, A.; Narnhofer, H.; Thirring, W.

    1986-01-01

    The definition of the dynamical entropy is extended for automorphism groups of C * algebras. As example the dynamical entropy of the shift of a lattice algebra is studied and it is shown that in some cases it coincides with the entropy density. (Author)

  17. Algebraic K-theory of generalized schemes

    DEFF Research Database (Denmark)

    Anevski, Stella Victoria Desiree

    Nikolai Durov has developed a generalization of conventional scheme theory in which commutative algebraic monads replace commutative unital rings as the basic algebraic objects. The resulting geometry is expressive enough to encompass conventional scheme theory, tropical algebraic geometry and ge...

  18. Quantum deformation of the affine transformation algebra

    International Nuclear Information System (INIS)

    Aizawa, N.; Sato, Haru-Tada

    1994-01-01

    We discuss a quantum deformation of the affine transformation algebra in one-dimensional space. It is shown that the quantum algebra has a non-cocommutative Hopf algebra structure, simple realizations and quantum tensor operators. (orig.)

  19. Algebraic K-theory of generalized schemes

    DEFF Research Database (Denmark)

    Anevski, Stella Victoria Desiree

    Nikolai Durov has developed a generalization of conventional scheme theory in which commutative algebraic monads replace commutative unital rings as the basic algebraic objects. The resulting geometry is expressive enough to encompass conventional scheme theory, tropical algebraic geometry...

  20. Matlab linear algebra

    CERN Document Server

    Lopez, Cesar

    2014-01-01

    MATLAB is a high-level language and environment for numerical computation, visualization, and programming. Using MATLAB, you can analyze data, develop algorithms, and create models and applications. The language, tools, and built-in math functions enable you to explore multiple approaches and reach a solution faster than with spreadsheets or traditional programming languages, such as C/C++ or Java. MATLAB Linear Algebra introduces you to the MATLAB language with practical hands-on instructions and results, allowing you to quickly achieve your goals. In addition to giving an introduction to

  1. Algebraic topology and concurrency

    DEFF Research Database (Denmark)

    Fajstrup, Lisbeth; Raussen, Martin; Goubault, Eric

    2006-01-01

    We show in this article that some concepts from homotopy theory, in algebraic topology,are relevant for studying concurrent programs. We exhibit a natural semantics of semaphore programs, based on partially ordered topological spaces, which are studied up to “elastic deformation” or homotopy...... differences between ordinary and directed homotopy through examples. We also relate the topological view to a combinatorial view of concurrent programs closer to transition systems, through the notion of a cubical set. Finally we apply some of these concepts to the proof of the safeness of a two...

  2. Handbook of algebra

    CERN Document Server

    Hazewinkel, M

    2008-01-01

    Algebra, as we know it today, consists of many different ideas, concepts and results. A reasonable estimate of the number of these different items would be somewhere between 50,000 and 200,000. Many of these have been named and many more could (and perhaps should) have a name or a convenient designation. Even the nonspecialist is likely to encounter most of these, either somewhere in the literature, disguised as a definition or a theorem or to hear about them and feel the need for more information. If this happens, one should be able to find enough information in this Handbook to judge if it i

  3. Vector processing enhancements for real-time image analysis

    International Nuclear Information System (INIS)

    Shoaf, S.

    2008-01-01

    A real-time image analysis system was developed for beam imaging diagnostics. An Apple Power Mac G5 with an Active Silicon LFG frame grabber was used to capture video images that were processed and analyzed. Software routines were created to utilize vector-processing hardware to reduce the time to process images as compared to conventional methods. These improvements allow for more advanced image processing diagnostics to be performed in real time.

  4. New examples of continuum graded Lie algebras

    International Nuclear Information System (INIS)

    Savel'ev, M.V.

    1989-01-01

    Several new examples of continuum graded Lie algebras which provide an additional elucidation of these algebras are given. Here, in particular, the Kac-Moody algebras, the algebra S 0 Diff T 2 of infinitesimal area-preserving diffeomorphisms of the torus T 2 , the Fairlie, Fletcher and Zachos sine-algebras, etc., are described as special cases of the cross product Lie algebras. 8 refs

  5. Fractional supersymmetry and infinite dimensional lie algebras

    International Nuclear Information System (INIS)

    Rausch de Traubenberg, M.

    2001-01-01

    In an earlier work extensions of supersymmetry and super Lie algebras were constructed consistently starting from any representation D of any Lie algebra g. Here it is shown how infinite dimensional Lie algebras appear naturally within the framework of fractional supersymmetry. Using a differential realization of g this infinite dimensional Lie algebra, containing the Lie algebra g as a sub-algebra, is explicitly constructed

  6. Graded associative conformal algebras of finite type

    OpenAIRE

    Kolesnikov, Pavel

    2011-01-01

    In this paper, we consider graded associative conformal algebras. The class of these objects includes pseudo-algebras over non-cocommutative Hopf algebras of regular functions on some linear algebraic groups. In particular, an associative conformal algebra which is graded by a finite group $\\Gamma $ is a pseudo-algebra over the coordinate Hopf algebra of a linear algebraic group $G$ such that the identity component $G^0$ is the affine line and $G/G^0\\simeq \\Gamma $. A classification of simple...

  7. A Generalised Approach to Petri Nets and Algebraic Specifications

    International Nuclear Information System (INIS)

    Sivertsen, Terje

    1998-02-01

    The present report represents a continuation of the work on Petri nets and algebraic specifications. The reported research has focused on generalising the approach introduced in HWR-454, with the aim of facilitating the translation of a wider class of Petri nets into algebraic specification. This includes autonomous Petri nets with increased descriptive power, as well as non-autonomous Petri nets allowing the modelling of systems (1) involving extensive data processing; (2) with transitions synchronized on external events; (3) whose evolutions are time dependent. The generalised approach has the important property of being modular in the sense that the translated specifications can be gradually extended to include data processing, synchronization, and timing. The report also discusses the relative merits of state-based and transition-based specifications, and includes a non-trivial case study involving automated proofs of a large number of interrelated theorems. The examples in the report illustrate the use of the new HRP Prover. Of particular importance in this context is the automatic transformation between state-based and transitionbased specifications. It is expected that the approach introduced in HWR-454 and generalised in the present report will prove useful in future work on combination of wide variety of specification techniques

  8. Galois Connections for Flow Algebras

    DEFF Research Database (Denmark)

    Filipiuk, Piotr; Terepeta, Michal Tomasz; Nielson, Hanne Riis

    2011-01-01

    to the approach taken by Monotone Frameworks and other classical analyses. We present a generic framework for static analysis based on flow algebras and program graphs. Program graphs are often used in Model Checking to model concurrent and distributed systems. The framework allows to induce new flow algebras...

  9. Ultraproducts of von Neumann algebras

    DEFF Research Database (Denmark)

    Ando, Hiroshi; Haagerup, Uffe

    2014-01-01

    We study several notions of ultraproducts of von Neumann algebras from a unified viewpoint. In particular, we show that for a sigma-finite von Neumann algebra M  , the ultraproduct MωMω introduced by Ocneanu is a corner of the ultraproduct ∏ωM∏ωM introduced by Groh and Raynaud. Using...

  10. Orthogonal symmetries and Clifford algebras

    Indian Academy of Sciences (India)

    a universal property of the even Clifford algebra in §3. ..... symmetry if σ2 = id. In the literature, such maps are sometimes also called “orthogonal involutions” (cf. Ch. III, §5 of [4]). We have, however, preferred to use the former ...... [7] Helmstetter J and Micali A, Quadratic mappings and Clifford algebras (Basel: Birkhäuser.

  11. Six Lectures on Commutative Algebra

    CERN Document Server

    Elias, J; Miro-Roig, Rosa Maria; Zarzuela, Santiago

    2009-01-01

    Interest in commutative algebra has surged over the years. In order to survey and highlight the developments in this rapidly expanding field, the Centre de Recerca Matematica in Bellaterra organized a ten-days Summer School on Commutative Algebra in 1996. This title offers a synthesis of the lectures presented at the Summer School

  12. Templates for Linear Algebra Problems

    NARCIS (Netherlands)

    Bai, Z.; Day, D.; Demmel, J.; Dongarra, J.; Gu, M.; Ruhe, A.; Vorst, H.A. van der

    1995-01-01

    The increasing availability of advanced-architecture computers is having a very signicant eect on all spheres of scientic computation, including algorithm research and software development in numerical linear algebra. Linear algebra {in particular, the solution of linear systems of equations and

  13. Smarandache hyper BCC-algebra

    OpenAIRE

    Ahadpanah, A.; Borumand Saeid, A.

    2011-01-01

    In this paper, we define the Smarandache hyper BCC-algebra, and Smarandache hyper BCC-ideals of type 1, 2, 3 and 4. We state and prove some theorems in Smarandache hyper BCC -algebras, and then we determine the relationships between these hyper ideals.

  14. The Algebra of Complex Numbers.

    Science.gov (United States)

    LePage, Wilbur R.

    This programed text is an introduction to the algebra of complex numbers for engineering students, particularly because of its relevance to important problems of applications in electrical engineering. It is designed for a person who is well experienced with the algebra of real numbers and calculus, but who has no experience with complex number…

  15. Linear Algebra and Linear Models

    Indian Academy of Sciences (India)

    Linear Algebra and Linear. Models. Kalyan Das. Linear Algebra and linear Models. (2nd Edn) by R P Bapat. Hindustan Book Agency, 1999 pp.xiii+180, Price: Rs.135/-. This monograph provides an introduction to the basic aspects of the theory oflinear estima- tion and that of testing linear hypotheses. The primary objective ...

  16. Quantum Observables and Effect Algebras

    Science.gov (United States)

    Dvurečenskij, Anatolij

    2017-11-01

    We study observables on monotone σ-complete effect algebras. We find conditions when a spectral resolution implies existence of the corresponding observable. We characterize sharp observables of a monotone σ-complete homogeneous effect algebra using its orthoalgebraic skeleton. In addition, we study compatibility in orthoalgebras and we show that every orthoalgebra satisfying RIP is an orthomodular poset.

  17. Algebraic study of chiral anomalies

    Indian Academy of Sciences (India)

    2012-06-14

    Jun 14, 2012 ... Abstract. The algebraic structure of chiral anomalies is made globally valid on non-trivial bundles ... Editor's Note: †Reproduced with kind permission from Springer Science+Business Media: Algebraic study of chiral anoma- ..... We shall see in the sequel several examples in which this ambiguity helps.

  18. K-theory for group C*-algebras and semigroup C*-algebras

    CERN Document Server

    Cuntz, Joachim; Li, Xin; Yu, Guoliang

    2017-01-01

    This book gives an account of the necessary background for group algebras and crossed products for actions of a group or a semigroup on a space and reports on some very recently developed techniques with applications to particular examples. Much of the material is available here for the first time in book form. The topics discussed are among the most classical and intensely studied C*-algebras. They are important for applications in fields as diverse as the theory of unitary group representations, index theory, the topology of manifolds or ergodic theory of group actions.

  19. Analysis and solution of algebraic-differential equations of the steam generation processes; Analisis y resolucion de ecuaciones algebraico-diferenciales de los procesos de generacion de vapor

    Energy Technology Data Exchange (ETDEWEB)

    Gonzalez Herrera, Juan Anibal

    1996-10-01

    This work presents the construction, analysis and solution of an equipment`s network in steady and dynamic state from: a) The mathematical models of individual equipment and of their geometry. b) The topology let interconnections between equipment. c) The selection of a numerical method to solve simultaneously the mathematical models. The selected mathematical models represent the cycle boiler-superheater. These models were taken from the MICROTERM-300 modular simulator, which contains the simplified models of the process (feedwater, boiler, turbines, etc.) of the thermoelectric plant Francisco Perez Rios from Tula Hidalgo, Mexico. This work was developed in the following stages: 1.- The selection of an appropiate numerical integration method to solve simultaneously the algebraic and differential equations of the equipment conforming the cycle boiler-superheater. 2.- The adaptation of individual mathematical models to allow changes in their geometry, operating conditions and different forms of connection. Also, this models were modified to have a representation of the equations to allow their analysis and an efficient organization to get their solution. 3.- The application of two computer-aided tools to trace possible coding errors in the mathematical models: a) A syntax analyzer which detect assignation and reference errors of variables. b) A structural analyzer to obtain the structural matrix, which relate the variables and the equations in a model. During this stage some improvements to these computer-aided tools were suggested. 4.- The individual testing of each mathematical model in steady and dynamic state in order to: a) Validate the mathematical models. b) Analyze the behavior of the variables of the mathematical models with different parameters, different operating conditions and different initial conditions. 5.- Lastly, the coupling between equipment analyzed to form an equipment`s network what represent the cycle boiler-superheater and the testing in

  20. Waterloo Workshop on Computer Algebra

    CERN Document Server

    Zima, Eugene; WWCA-2016; Advances in computer algebra : in honour of Sergei Abramov's' 70th birthday

    2018-01-01

    This book discusses the latest advances in algorithms for symbolic summation, factorization, symbolic-numeric linear algebra and linear functional equations. It presents a collection of papers on original research topics from the Waterloo Workshop on Computer Algebra (WWCA-2016), a satellite workshop of the International Symposium on Symbolic and Algebraic Computation (ISSAC’2016), which was held at Wilfrid Laurier University (Waterloo, Ontario, Canada) on July 23–24, 2016.   This workshop and the resulting book celebrate the 70th birthday of Sergei Abramov (Dorodnicyn Computing Centre of the Russian Academy of Sciences, Moscow), whose highly regarded and inspirational contributions to symbolic methods have become a crucial benchmark of computer algebra and have been broadly adopted by many Computer Algebra systems.

  1. Invariants of triangular Lie algebras

    International Nuclear Information System (INIS)

    Boyko, Vyacheslav; Patera, Jiri; Popovych, Roman

    2007-01-01

    Triangular Lie algebras are the Lie algebras which can be faithfully represented by triangular matrices of any finite size over the real/complex number field. In the paper invariants ('generalized Casimir operators') are found for three classes of Lie algebras, namely those which are either strictly or non-strictly triangular, and for so-called special upper triangular Lie algebras. Algebraic algorithm of Boyko et al (2006 J. Phys. A: Math. Gen.39 5749 (Preprint math-ph/0602046)), developed further in Boyko et al (2007 J. Phys. A: Math. Theor.40 113 (Preprint math-ph/0606045)), is used to determine the invariants. A conjecture of Tremblay and Winternitz (2001 J. Phys. A: Math. Gen.34 9085), concerning the number of independent invariants and their form, is corroborated

  2. Elements of algebraic coding systems

    CERN Document Server

    Cardoso da Rocha, Jr, Valdemar

    2014-01-01

    Elements of Algebraic Coding Systems is an introductory text to algebraic coding theory. In the first chapter, you'll gain inside knowledge of coding fundamentals, which is essential for a deeper understanding of state-of-the-art coding systems. This book is a quick reference for those who are unfamiliar with this topic, as well as for use with specific applications such as cryptography and communication. Linear error-correcting block codes through elementary principles span eleven chapters of the text. Cyclic codes, some finite field algebra, Goppa codes, algebraic decoding algorithms, and applications in public-key cryptography and secret-key cryptography are discussed, including problems and solutions at the end of each chapter. Three appendices cover the Gilbert bound and some related derivations, a derivation of the Mac- Williams' identities based on the probability of undetected error, and two important tools for algebraic decoding-namely, the finite field Fourier transform and the Euclidean algorithm f...

  3. Representations of affine Hecke algebras

    CERN Document Server

    Xi, Nanhua

    1994-01-01

    Kazhdan and Lusztig classified the simple modules of an affine Hecke algebra Hq (q E C*) provided that q is not a root of 1 (Invent. Math. 1987). Ginzburg had some very interesting work on affine Hecke algebras. Combining these results simple Hq-modules can be classified provided that the order of q is not too small. These Lecture Notes of N. Xi show that the classification of simple Hq-modules is essentially different from general cases when q is a root of 1 of certain orders. In addition the based rings of affine Weyl groups are shown to be of interest in understanding irreducible representations of affine Hecke algebras. Basic knowledge of abstract algebra is enough to read one third of the book. Some knowledge of K-theory, algebraic group, and Kazhdan-Lusztig cell of Cexeter group is useful for the rest

  4. A Continuous Formulation for Logical Decisions in Differential Algebraic Systems using Mathematical Programs with Complementarity Constraints

    Directory of Open Access Journals (Sweden)

    Kody M. Powell

    2016-03-01

    Full Text Available This work presents a methodology to represent logical decisions in differential algebraic equation simulation and constrained optimization problems using a set of continuous algebraic equations. The formulations may be used when state variables trigger a change in process dynamics, and introduces a pseudo-binary decision variable, which is continuous, but should only have valid solutions at values of either zero or one within a finite time horizon. This formulation enables dynamic optimization problems with logical disjunctions to be solved by simultaneous solution methods without using methods such as mixed integer programming. Several case studies are given to illustrate the value of this methodology including nonlinear model predictive control of a chemical reactor using a surge tank with overflow to buffer disturbances in feed flow rate. Although this work contains novel methodologies for solving dynamic algebraic equation (DAE constrained problems where the system may experience an abrupt change in dynamics that may otherwise require a conditional statement, there remain substantial limitations to this methodology, including a limited domain where problems may converge and the possibility for ill-conditioning. Although the problems presented use only continuous algebraic equations, the formulation has inherent non-smoothness. Hence, these problems must be solved with care and only in select circumstances, such as in simulation or situations when the solution is expected to be near the solver’s initial point.

  5. (Modular Effect Algebras are Equivalent to (Frobenius Antispecial Algebras

    Directory of Open Access Journals (Sweden)

    Dusko Pavlovic

    2017-01-01

    Full Text Available Effect algebras are one of the generalizations of Boolean algebras proposed in the quest for a quantum logic. Frobenius algebras are a tool of categorical quantum mechanics, used to present various families of observables in abstract, often nonstandard frameworks. Both effect algebras and Frobenius algebras capture their respective fragments of quantum mechanics by elegant and succinct axioms; and both come with their conceptual mysteries. A particularly elegant and mysterious constraint, imposed on Frobenius algebras to characterize a class of tripartite entangled states, is the antispecial law. A particularly contentious issue on the quantum logic side is the modularity law, proposed by von Neumann to mitigate the failure of distributivity of quantum logical connectives. We show that, if quantum logic and categorical quantum mechanics are formalized in the same framework, then the antispecial law of categorical quantum mechanics corresponds to the natural requirement of effect algebras that the units are each other's unique complements; and that the modularity law corresponds to the Frobenius condition. These correspondences lead to the equivalence announced in the title. Aligning the two formalisms, at the very least, sheds new light on the concepts that are more clearly displayed on one side than on the other (such as e.g. the orthogonality. Beyond that, it may also open up new approaches to deep and important problems of quantum mechanics (such as the classification of complementary observables.

  6. Universal enveloping Lie Rota-Baxter algebra of preLie and post-Lie algebras

    OpenAIRE

    Gubarev, Vsevolod

    2017-01-01

    Universal enveloping Lie Rota-Baxter algebras of pre-Lie and post-Lie algebras are constructed. It is proved that the pairs of varieties (Lie Rota-Baxter algebras of zero weight,preLie algebras) and (Lie Rota-Baxter algebras of nonzero weight,post-Lie algebras) are PBW-pairs and the variety of Lie Rota-Baxter algebras is not Schreier.

  7. Parsing with Regular Expressions & Extensions to Kleene Algebra

    DEFF Research Database (Denmark)

    Grathwohl, Niels Bjørn Bugge

    to do so. To be optimal, the algorithm performs a PSPACE-complete preprocessing step; for a fixed RE the running time is linear in the input size. Finally, we present and implement a determinization procedure, omitting the preprocessing step, and a surface language, Kleenex, for expressing general...... string transductions. We have implemented a compiler that translates Kleenex programs into efficient C code. The resulting programs are essentially optimally streaming, run in worst-case linear time in the input size, and show consistent high performance in the 1 Gbps range on various use cases....... In the second part of this thesis, we study two extensions to Kleene algebra. Chomsky algebra is an algebra with a structure similar to Kleene algebra, but with a generalized mu-operator for recursion instead of the Kleene star. We show that the axioms of idempotent semirings along with continuity of the mu...

  8. The generalized time variable reconstructed birth-death process.

    Science.gov (United States)

    Hallinan, Nathaniel

    2012-05-07

    Much recent research has investigated the effect that different time variable birth-death processes have on the distribution of branching times in phylogenies of extant taxa. Previous work has shown how to calculate the distributions of number of lineages and branching times for a reconstructed constant rate birth-death process that started with one or two reconstructed lineages at some time in the past or ended with some number of lineages in the present. Here I expand that work to include any time variable birth-death process that starts with any number of reconstructed lineages and/or ends with any number of reconstructed lineages at any time, and I calculate a number of distributions under that process. I also explore the discrete time birth-death process which operates as an efficient and accurate numerical solution to any time-variable birth-death process and allows for the analytical incorporation of sampling and mass extinctions. I describe how these distributions can be used to compare different time variable models using maximum likelihood analysis, and I show how to simulate random trees under any of these models. I also introduce two visual methods for evaluating different time variable birth-death processes; these methods illustrate the shape of distributions for the number of lineages and waiting times by plotting them over time. Copyright © 2012 Elsevier Ltd. All rights reserved.

  9. Signal Processing for Time-Series Functions on a Graph

    Science.gov (United States)

    2018-02-01

    ARL-TR-8276• FEB 2018 US Army Research Laboratory Signal Processing for Time-Series Functions on a Graph by Humberto Muñoz-Barona, Jean Vettel, and...ARL-TR-8276• FEB 2018 US Army Research Laboratory Signal Processing for Time-Series Functions on a Graph by Humberto Muñoz-Barona Southern University...addison.w.bohannon.civ@mail.mil>. Previous research introduced signal processing on graphs, an approach to generalize signal processing tools such

  10. Higher-spin extended conformal algebras and W-gravities

    International Nuclear Information System (INIS)

    Hull, C.M.

    1991-01-01

    The construction of classical W 3 gravity is reviewed. It is suggested that the hidden symmetry for quantum W 3 gravity in the chiral gauge is not SL(3, R) but a group contraction of this, ISL(2, R). This is extended to W N gravity, and the case of W 4 gravity is presented in detail. The gauge transformations are realized on D free bosons, with the spin-n conserved current (2 ≤ n ≤ N) taking the form d sub(i i ...i n ) δ + Φ sup(i 1 ) δ + Φ sup(i n ) for some constant tensor d sub(i i ...i n ). The d-tensors must satisfy N-2 non-linear algebraic constraints and these constraints are shown to be satisfied if the d-tensors are taken to be the structure-tensors of an Nth degree Jordan algebra. The relation with Jordan algebras is used to give solutions of the d-tensor constraints for any value of D, N. The free-boson construction of the W N algebras is generalized to give a Sugaware-type construction of a large class of classical extended conformal algebras. The chiral gauging of any classical extended conformal algebra is shown to require only a linear Noether coupling to world-sheet gauge-fields, while gauging a non-chiral algebra in general leads to a non-polynomial action. A number of examples are examined, including W ∞ W-supergravity, Knizhnik-Berschadsky supergravity and 'W N/M ' algebras. Theories of higher-spin W-gravity of the type described are only possible in one and two space-time dimensions, and the one-dimensional cases is briefly discussed. The covariant formulation of W-gravity is briefly discussed and the relation between classical and quantum extended conformal algebras is analyzed. (orig.)

  11. Disability Reconsideration Average Processing Time (in Days) (Excludes technical denials)

    Data.gov (United States)

    Social Security Administration — A presentation of the overall cumulative number of elapsed days (including processing time for transit, medical determinations, and SSA quality review) from the date...

  12. Residence time modeling of hot melt extrusion processes.

    Science.gov (United States)

    Reitz, Elena; Podhaisky, Helmut; Ely, David; Thommes, Markus

    2013-11-01

    The hot melt extrusion process is a widespread technique to mix viscous melts. The residence time of material in the process frequently determines the product properties. An experimental setup and a corresponding mathematical model were developed to evaluate residence time and residence time distribution in twin screw extrusion processes. The extrusion process was modeled as the convolution of a mass transport process described by a Gaussian probability function, and a mixing process represented by an exponential function. The residence time of the extrusion process was determined by introducing a tracer at the extruder inlet and measuring the tracer concentration at the die. These concentrations were fitted to the residence time model, and an adequate correlation was found. Different parameters were derived to characterize the extrusion process including the dead time, the apparent mixing volume, and a transport related axial mixing. A 2(3) design of experiments was performed to evaluate the effect of powder feed rate, screw speed, and melt viscosity of the material on the residence time. All three parameters affect the residence time of material in the extruder. In conclusion, a residence time model was developed to interpret experimental data and to get insights into the hot melt extrusion process. Copyright © 2013 Elsevier B.V. All rights reserved.

  13. Lie algebra in quantum physics by means of computer algebra

    OpenAIRE

    Kikuchi, Ichio; Kikuchi, Akihito

    2017-01-01

    This article explains how to apply the computer algebra package GAP (www.gap-system.org) in the computation of the problems in quantum physics, in which the application of Lie algebra is necessary. The article contains several exemplary computations which readers would follow in the desktop PC: such as, the brief review of elementary ideas of Lie algebra, the angular momentum in quantum mechanics, the quark eight-fold way model, and the usage of Weyl character formula (in order to construct w...

  14. Head First Algebra A Learner's Guide to Algebra I

    CERN Document Server

    Pilone, Tracey

    2008-01-01

    Having trouble understanding algebra? Do algebraic concepts, equations, and logic just make your head spin? We have great news: Head First Algebra is designed for you. Full of engaging stories and practical, real-world explanations, this book will help you learn everything from natural numbers and exponents to solving systems of equations and graphing polynomials. Along the way, you'll go beyond solving hundreds of repetitive problems, and actually use what you learn to make real-life decisions. Does it make sense to buy two years of insurance on a car that depreciates as soon as you drive i

  15. Using Linear Algebra to Introduce Computer Algebra, Numerical Analysis, Data Structures and Algorithms (and To Teach Linear Algebra, Too).

    Science.gov (United States)

    Gonzalez-Vega, Laureano

    1999-01-01

    Using a Computer Algebra System (CAS) to help with the teaching of an elementary course in linear algebra can be one way to introduce computer algebra, numerical analysis, data structures, and algorithms. Highlights the advantages and disadvantages of this approach to the teaching of linear algebra. (Author/MM)

  16. Particle physics phenomenology from Q-deformed Poincare algebra

    International Nuclear Information System (INIS)

    Dey, J.; Choudhury, R.R.

    1993-03-01

    In their search for non-linearities in quantum physics, physicists have turned to q-deformed generalizations of group algebras. The latest approach is to look for such deformations in the space time structure itself, i.e. In Poincare algebra. Can one find any empirical evidence in favour of this from available particle data. The affirmative seems to be the answer. (author). 8 refs, 3 tabs

  17. An efficient solution of real-time data processing for multi-GNSS network

    Science.gov (United States)

    Gong, Xiaopeng; Gu, Shengfeng; Lou, Yidong; Zheng, Fu; Ge, Maorong; Liu, Jingnan

    2017-12-01

    Global navigation satellite systems (GNSS) are acting as an indispensable tool for geodetic research and global monitoring of the Earth, and they have been rapidly developed over the past few years with abundant GNSS networks, modern constellations, and significant improvement in mathematic models of data processing. However, due to the increasing number of satellites and stations, the computational efficiency becomes a key issue and it could hamper the further development of GNSS applications. In this contribution, this problem is overcome from the aspects of both dense linear algebra algorithms and GNSS processing strategy. First, in order to fully explore the power of modern microprocessors, the square root information filter solution based on the blocked QR factorization employing as many matrix-matrix operations as possible is introduced. In addition, the algorithm complexity of GNSS data processing is further decreased by centralizing the carrier-phase observations and ambiguity parameters, as well as performing the real-time ambiguity resolution and elimination. Based on the QR factorization of the simulated matrix, we can conclude that compared to unblocked QR factorization, the blocked QR factorization can greatly improve processing efficiency with a magnitude of nearly two orders on a personal computer with four 3.30 GHz cores. Then, with 82 globally distributed stations, the processing efficiency is further validated in multi-GNSS (GPS/BDS/Galileo) satellite clock estimation. The results suggest that it will take about 31.38 s per epoch for the unblocked method. While, without any loss of accuracy, it only takes 0.50 and 0.31 s for our new algorithm per epoch for float and fixed clock solutions, respectively.

  18. High-speed optical signal processing using time lenses

    DEFF Research Database (Denmark)

    Galili, Michael; Hu, Hao; Guan, Pengyu

    2015-01-01

    This paper will discuss time lenses and their broad range of applications. A number of recent demonstrations of complex high-speed optical signal processing using time lenses will be outlined with focus on the operating principle.......This paper will discuss time lenses and their broad range of applications. A number of recent demonstrations of complex high-speed optical signal processing using time lenses will be outlined with focus on the operating principle....

  19. ALGEBRA: a computer program that algebraically manipulates finite element output data. [In extended FORTRAN for CDC 7600 or CYBER 76 only

    Energy Technology Data Exchange (ETDEWEB)

    Richgels, M A; Biffle, J H

    1980-09-01

    ALGEBRA is a program that allows the user to process output data from finite-element analysis codes before they are sent to plotting routines. These data take the form of variable values (stress, strain, and velocity components, etc.) on a tape that is both the output tape from the analyses code and the input tape to ALGEBRA. The ALGEBRA code evaluates functions of these data and writes the function values on an output tape that can be used as input to plotting routines. Convenient input format and error detection capabilities aid the user in providing ALGEBRA with the functions to be evaluated. 1 figure.

  20. Algebra for cryptologists

    CERN Document Server

    Meijer, Alko R

    2016-01-01

    This textbook provides an introduction to the mathematics on which modern cryptology is based. It covers not only public key cryptography, the glamorous component of modern cryptology, but also pays considerable attention to secret key cryptography, its workhorse in practice. Modern cryptology has been described as the science of the integrity of information, covering all aspects like confidentiality, authenticity and non-repudiation and also including the protocols required for achieving these aims. In both theory and practice it requires notions and constructions from three major disciplines: computer science, electronic engineering and mathematics. Within mathematics, group theory, the theory of finite fields, and elementary number theory as well as some topics not normally covered in courses in algebra, such as the theory of Boolean functions and Shannon theory, are involved. Although essentially self-contained, a degree of mathematical maturity on the part of the reader is assumed, corresponding to his o...

  1. Macdonald index and chiral algebra

    Science.gov (United States)

    Song, Jaewon

    2017-08-01

    For any 4d N = 2 SCFT, there is a subsector described by a 2d chiral algebra. The vacuum character of the chiral algebra reproduces the Schur index of the corresponding 4d theory. The Macdonald index counts the same set of operators as the Schur index, but the former has one more fugacity than the latter. We conjecture a prescription to obtain the Macdonald index from the chiral algebra. The vacuum module admits a filtration, from which we construct an associated graded vector space. From this grading, we conjecture a notion of refined character for the vacuum module of a chiral algebra, which reproduces the Macdonald index. We test this prescription for the Argyres-Douglas theories of type ( A 1 , A 2 n ) and ( A 1 , D 2 n+1) where the chiral algebras are given by Virasoro and \\widehat{su}(2) affine Kac-Moody algebra. When the chiral algebra has more than one family of generators, our prescription requires a knowledge of the generators from the 4d.

  2. Quantum algebra of N superspace

    International Nuclear Information System (INIS)

    Hatcher, Nicolas; Restuccia, A.; Stephany, J.

    2007-01-01

    We identify the quantum algebra of position and momentum operators for a quantum system bearing an irreducible representation of the super Poincare algebra in the N>1 and D=4 superspace, both in the case where there are no central charges in the algebra, and when they are present. This algebra is noncommutative for the position operators. We use the properties of superprojectors acting on the superfields to construct explicit position and momentum operators satisfying the algebra. They act on the projected wave functions associated to the various supermultiplets with defined superspin present in the representation. We show that the quantum algebra associated to the massive superparticle appears in our construction and is described by a supermultiplet of superspin 0. This result generalizes the construction for D=4, N=1 reported recently. For the case N=2 with central charges, we present the equivalent results when the central charge and the mass are different. For the κ-symmetric case when these quantities are equal, we discuss the reduction to the physical degrees of freedom of the corresponding superparticle and the construction of the associated quantum algebra

  3. Vertex algebras and mirror symmetry

    International Nuclear Information System (INIS)

    Borisov, L.A.

    2001-01-01

    Mirror Symmetry for Calabi-Yau hypersurfaces in toric varieties is by now well established. However, previous approaches to it did not uncover the underlying reason for mirror varieties to be mirror. We are able to calculate explicitly vertex algebras that correspond to holomorphic parts of A and B models of Calabi-Yau hypersurfaces and complete intersections in toric varieties. We establish the relation between these vertex algebras for mirror Calabi-Yau manifolds. This should eventually allow us to rewrite the whole story of toric mirror symmetry in the language of sheaves of vertex algebras. Our approach is purely algebraic and involves simple techniques from toric geometry and homological algebra, as well as some basic results of the theory of vertex algebras. Ideas of this paper may also be useful in other problems related to maps from curves to algebraic varieties.This paper could also be of interest to physicists, because it contains explicit description of holomorphic parts of A and B models of Calabi-Yau hypersurfaces and complete intersections in terms of free bosons and fermions. (orig.)

  4. A Process For Performance Evaluation Of Real-Time Systems

    Directory of Open Access Journals (Sweden)

    Andrew J. Kornecki

    2003-12-01

    Full Text Available Real-time developers and engineers must not only meet the system functional requirements, but also the stringent timing requirements. One of the critical decisions leading to meeting these timing requirements is the selection of an operating system under which the software will be developed and run. Although there is ample documentation on real-time systems performance and evaluation, little can be found that combines such information into an efficient process for use by developers. As the software industry moves towards clearly defined processes, creation of appropriate guidelines describing a process for performance evaluation of real-time system would greatly benefit real-time developers. This technology transition research focuses on developing such a process. PROPERT (PROcess for Performance Evaluation of Real Time systems - the process described in this paper - is based upon established techniques for evaluating real-time systems. It organizes already existing real-time performance criteria and assessment techniques in a manner consistent with a well-formed process, based on the Personal Software Process concepts.

  5. Independent Sets from an Algebraic Perspective

    OpenAIRE

    Dickenstein, Alicia; Tobis, Enrique A.

    2010-01-01

    In this paper, we study the basic problem of counting independent sets in a graph and, in particular, the problem of counting antichains in a finite poset, from an algebraic perspective. We show that neither independence polynomials of bipartite Cohen-Macaulay graphs nor Hilbert series of initial ideals of radical zero-dimensional complete intersections ideals, can be evaluated in polynomial time, unless #P=P. Moreover, we present a family of radical zero-dimensional complete intersection ide...

  6. Gravity and the structure of noncommutative algebras

    International Nuclear Information System (INIS)

    Buric, Maja; Madore, John; Grammatikopoulos, Theodoros; Zoupanos, George

    2006-01-01

    A gravitational field can be defined in terms of a moving frame, which when made noncommutative yields a preferred basis for a differential calculus. It is conjectured that to a linear perturbation of the commutation relations which define the algebra there corresponds a linear perturbation of the gravitational field. This is shown to be true in the case of a perturbation of Minkowski space-time

  7. Improved Nonequilibrium Algebraic Model Of Turbulence

    Science.gov (United States)

    Johnson, D. A.; Coakley, T. J.

    1993-01-01

    Blend of previous models predicts pressure distributions more accurately. Improved algebraic model represents some of time-averaged effects of turbulence in transonic flow of air over airfoil. Based partly on comparisons among various eddy-viscosity formulations for turbulence and partly on premise that law of wall more universally valid in immediate region of surface in presence of adverse gradient of pressure than mixing-length theory and original Johnson and King model.

  8. Data Processing in Precise Time and Frequency Applications

    CERN Document Server

    Desaintfuscien, Michel

    2007-01-01

    Physical processes, involving atomic phenomena, allow more and more precise time and frequency measurements. This progress is not possible without convenient processing of the respective raw data. The book describes the data processing at various levels: design of the time and frequency references, characterization of the time and frequency references, applications involving precise time and/or frequency references. The metrological properties stability, accuracy and reproducibility are defined and the processes leading to their characterization are shown. The various aspects of the variance of the frequency fluctuations are discussed and compared and their significance is given. Some major applications of the best frequency and time standards are finally discussed. The way the extreme precision of these sources is used to obtain precise time and position information is shown: - Time scales, used to describe every human and physical activities, such as astronomy, physical laws, etc. - Positioning systems, suc...

  9. Semiprojectivity of universal -algebras generated by algebraic elements

    DEFF Research Database (Denmark)

    Shulman, Tatiana

    2012-01-01

    Let be a polynomial in one variable whose roots all have multiplicity more than 1. It is shown that the universal -algebra of a relation , , is semiprojective and residually finite-dimensional. Applications to polynomially compact operators are given....

  10. Topological Ã-algebras with CÃ-enveloping algebras II

    Indian Academy of Sciences (India)

    subalgebra and contained in the crossed product *-algebra *(, , ) satisfies ()=*(, , ). If G = R , if is an -invariant dense Frechet ∗-subalgebra of such that () = , and if the action on is -tempered, smooth and by continuous ...

  11. Coxeter groups and Hopf algebras

    CERN Document Server

    Aguiar, Marcelo

    2011-01-01

    An important idea in the work of G.-C. Rota is that certain combinatorial objects give rise to Hopf algebras that reflect the manner in which these objects compose and decompose. Recent work has seen the emergence of several interesting Hopf algebras of this kind, which connect diverse subjects such as combinatorics, algebra, geometry, and theoretical physics. This monograph presents a novel geometric approach using Coxeter complexes and the projection maps of Tits for constructing and studying many of these objects as well as new ones. The first three chapters introduce the necessary backgrou

  12. Linear operators in Clifford algebras

    International Nuclear Information System (INIS)

    Laoues, M.

    1991-01-01

    We consider the real vector space structure of the algebra of linear endomorphisms of a finite-dimensional real Clifford algebra (2, 4, 5, 6, 7, 8). A basis of that space is constructed in terms of the operators M eI,eJ defined by x→e I .x.e J , where the e I are the generators of the Clifford algebra and I is a multi-index (3, 7). In particular, it is shown that the family (M eI,eJ ) is exactly a basis in the even case. (orig.)

  13. Homology theory on algebraic varieties

    CERN Document Server

    Wallace, Andrew H

    1958-01-01

    Homology Theory on Algebraic Varieties, Volume 6 deals with the principles of homology theory in algebraic geometry and includes the main theorems first formulated by Lefschetz, one of which is interpreted in terms of relative homology and another concerns the Poincaré formula. The actual details of the proofs of these theorems are introduced by geometrical descriptions, sometimes aided with diagrams. This book is comprised of eight chapters and begins with a discussion on linear sections of an algebraic variety, with emphasis on the fibring of a variety defined over the complex numbers. The n

  14. Clifford algebraic symmetries in physics

    International Nuclear Information System (INIS)

    Salingaros, N.

    1986-01-01

    This paper reviews the following appearances of Clifford algebras in theoretical physics: statistical mechanics; general relativity; quantum electrodynamics; internal symmetries; the vee product; classical electrodynamics; charged-particle motion; and the Lorentz group. It is concluded that the power of the Clifford-algebraic description resides in its ability to perform representation-free calculations which are generalizations of the traditional vector algebra and that this considerable computational asset, in combination with the intrinsic symmetry, provides a practical framework for much of theoretical physics. 5 references

  15. Test bank for college algebra

    CERN Document Server

    Kolman, Bernard; Levitan, Michael L

    1985-01-01

    Test Bank for College Algebra, Second Edition is a supplementary material for the text, College Algebra, Second Edition. The book is intended for use by mathematics teachers.The book contains standard tests for each chapter in the textbook. Each set of test aims to evaluate the level of understanding the student has achieved during the course. The answers for each chapter test and the final exam are found at the end of the book.Mathematics teachers teaching college algebra will find the book very useful.

  16. Introduction to applied algebraic systems

    CERN Document Server

    Reilly, Norman R

    2009-01-01

    This upper-level undergraduate textbook provides a modern view of algebra with an eye to new applications that have arisen in recent years. A rigorous introduction to basic number theory, rings, fields, polynomial theory, groups, algebraic geometry and elliptic curves prepares students for exploring their practical applications related to storing, securing, retrieving and communicating information in the electronic world. It will serve as a textbook for an undergraduate course in algebra with a strong emphasis on applications. The book offers a brief introduction to elementary number theory as

  17. Introduction to algebra and trigonometry

    CERN Document Server

    Kolman, Bernard

    1981-01-01

    Introduction to Algebra and Trigonometry provides a complete and self-contained presentation of the fundamentals of algebra and trigonometry.This book describes an axiomatic development of the foundations of algebra, defining complex numbers that are used to find the roots of any quadratic equation. Advanced concepts involving complex numbers are also elaborated, including the roots of polynomials, functions and function notation, and computations with logarithms. This text also discusses trigonometry from a functional standpoint. The angles, triangles, and applications involving triangles are

  18. Study guide for college algebra

    CERN Document Server

    Snow, James W; Shapiro, Arnold

    1981-01-01

    Study Guide for College Algebra is a supplemental material for the basic text, College Algebra. Its purpose is to make the learning of college algebra and trigonometry easier and enjoyable.The book provides detailed solutions to exercises found in the text. Students are encouraged to use the study guide as a learning tool during the duration of the course, a reviewer prior to an exam, a reference book, and as a quick overview before studying a section of the text. The Study Guide and Solutions Manual consists of four major components: basic concepts that should be learned from each unit, what

  19. Planar algebra of the subgroup-subfactor

    Indian Academy of Sciences (India)

    G in terms of operator matrices. We also obtain an identification between the planar algebra of the fixed algebra sub- factor RG ⊂ RH and the G-invariant planar subalgebra of the planar algebra of the 'flip' of ⋆n. Keywords. Planar algebras; subfactors; standard invariant. 1. Introduction. For every pair H ⊂ G of finite groups, ...

  20. Abstract algebra an introduction with applications

    CERN Document Server

    Robinson, Derek JS

    2015-01-01

    This is the second edition of the introduction to abstract algebra. In addition to introducing the main concepts of modern algebra, the book contains numerous applications, which are intended to illustrate the concepts and to convince the reader of the utility and relevance of algebra today. There is ample material here for a two semester course in abstract algebra.

  1. Homomorphisms of certain Banach function algebras

    Indian Academy of Sciences (India)

    R. Narasimhan (Krishtel eMaging) 1461 1996 Oct 15 13:05:22

    . } < ∞ is denoted by Lipα(X, d). These algebras are called Lipschitz algebras of order α and were first studied by Sherbert. The Lipschitz algebras Lipα(X, d) for α ≤ 1 are natural. Banach function algebras on X under the norm f α = f X + pα(f ) ...

  2. Contraction of graded su(2) algebra

    International Nuclear Information System (INIS)

    Patra, M.K.; Tripathy, K.C.

    1989-01-01

    The Inoenu-Wigner contraction scheme is extended to Lie superalgebras. The structure and representations of extended BRS algebra are obtained from contraction of the graded su(2) algebra. From cohomological consideration, we demonstrate that the graded su(2) algebra is the only superalgebra which, on contraction, yields the full BRS algebra. (orig.)

  3. Hypercontractivity in group Von Neumann algebras

    CERN Document Server

    Junge, Marius; Parcet, Javier

    2017-01-01

    In this paper, the authors provide a combinatorial/numerical method to establish new hypercontractivity estimates in group von Neumann algebras. They illustrate their method with free groups, triangular groups and finite cyclic groups, for which they obtain optimal time hypercontractive L_2 \\to L_q inequalities with respect to the Markov process given by the word length and with q an even integer. Interpolation and differentiation also yield general L_p \\to L_q hypercontrativity for 1 < p \\le q < \\infty via logarithmic Sobolev inequalities. The authors' method admits further applications to other discrete groups without small loops as far as the numerical part-which varies from one group to another-is implemented and tested on a computer. The authors also develop another combinatorial method which does not rely on computational estimates and provides (non-optimal) L_p \\to L_q hypercontractive inequalities for a larger class of groups/lengths, including any finitely generated group equipped with a condit...

  4. Hypercontractivity in group von neumann algebras

    CERN Document Server

    Junge, Marius; Parcet, Javier

    2017-01-01

    In this paper, the authors provide a combinatorial/numerical method to establish new hypercontractivity estimates in group von Neumann algebras. They illustrate their method with free groups, triangular groups and finite cyclic groups, for which they obtain optimal time hypercontractive L_2 \\to L_q inequalities with respect to the Markov process given by the word length and with q an even integer. Interpolation and differentiation also yield general L_p \\to L_q hypercontrativity for 1 < p \\le q < \\infty via logarithmic Sobolev inequalities. The authors' method admits further applications to other discrete groups without small loops as far as the numerical part-which varies from one group to another-is implemented and tested on a computer. The authors also develop another combinatorial method which does not rely on computational estimates and provides (non-optimal) L_p \\to L_q hypercontractive inequalities for a larger class of groups/lengths, including any finitely generated group equipped with a condit...

  5. The time course of attentional modulation on emotional conflict processing.

    Science.gov (United States)

    Zhou, Pingyan; Yang, Guochun; Nan, Weizhi; Liu, Xun

    2016-01-01

    Cognitive conflict resolution is critical to human survival in a rapidly changing environment. However, emotional conflict processing seems to be particularly important for human interactions. This study examined whether the time course of attentional modulation on emotional conflict processing was different from cognitive conflict processing during a flanker task. Results showed that emotional N200 and P300 effects, similar to colour conflict processing, appeared only during the relevant task. However, the emotional N200 effect preceded the colour N200 effect, indicating that emotional conflict can be identified earlier than cognitive conflict. Additionally, a significant emotional N100 effect revealed that emotional valence differences could be perceived during early processing based on rough aspects of input. The present data suggest that emotional conflict processing is modulated by top-down attention, similar to cognitive conflict processing (reflected by N200 and P300 effects). However, emotional conflict processing seems to have more time advantages during two different processing stages.

  6. Analytic transfer maps for Lie algebraic design codes

    International Nuclear Information System (INIS)

    van Zeijts, J.; Neri, F.; Dragt, A.J.

    1990-01-01

    Lie algebraic methods provide a powerful tool for modeling particle transport through Hamiltonian systems. Briefly summarized, Lie algebraic design codes work as follows: first the time t flow generated by a Hamiltonian system is represented by a Lie algebraic map acting on the initial conditions. Maps are generated for each element in the lattice or beamline under study. Next all these maps are concatenated into a one-turn or one-pass map that represents the complete dynamics of the system. Finally, the resulting map is analyzed and design decisions are made based on the linear and nonlinear entries in the map. The authors give a short description of how to find Lie algebraic transfer maps in analytic form, for inclusion in accelerator design codes. As an example they find the transfer map, through third order, for the combined-function quadrupole magnet, and use such magnets to correct detrimental third-order aberrations in a spot forming system

  7. Kac and new determinants for fractional superconformal algebras

    International Nuclear Information System (INIS)

    Kakushadze, Z.; Tye, S.H.

    1994-01-01

    We derive the Kac and new determinant formulas for an arbitrary (integer) level K fractional superconformal algebra using the BRST cohomology techniques developed in conformal field theory. In particular, we reproduce the Kac determinants for the Virasoro (K=1) and superconformal (K=2) algebras. For K≥3 there always exist modules where the Kac determinant factorizes into a product of more fundamental new determinants. Using our results for general K, we sketch the nonunitarity proof for the SU(2) minimal series; as expected, the only unitary models are those already known from the coset construction. We apply the Kac determinant formulas for the spin 4/3 parafermion current algebra (i.e., the K=4 fractional superconformal algebra) to the recently constructed three-dimensional flat Minkowski space-time representation of the spin-4/3 fractional superstring

  8. Operator algebra of free conformal currents via twistors

    Energy Technology Data Exchange (ETDEWEB)

    Gelfond, O.A. [Institute of System Research of Russian Academy of Sciences, Nakhimovsky prospect 36-1, 117218 Moscow (Russian Federation); Vasiliev, M.A., E-mail: vasiliev@lpi.ru [I.E. Tamm Department of Theoretical Physics, Lebedev Physical Institute, Leninsky prospect 53, 119991 Moscow (Russian Federation)

    2013-11-21

    Operator algebra of (not necessarily free) higher-spin conformal conserved currents in generalized matrix spaces, that include 3d Minkowski space–time as a particular case, is shown to be determined by an associative algebra M of functions on the twistor space. For free conserved currents, M is the universal enveloping algebra of the higher-spin algebra. Proposed construction greatly simplifies computation and analysis of correlators of conserved currents. Generating function for n-point functions of 3d (super)currents of all spins, built from N free constituent massless scalars and spinors, is obtained in a concise form of certain determinant. Our results agree with and extend earlier bulk computations in the HS AdS{sub 4}/CFT{sub 3} framework. Generating function for n-point functions of 4d conformal currents is also presented.

  9. Efficient Processing of Multiple DTW Queries in Time Series Databases

    DEFF Research Database (Denmark)

    Kremer, Hardy; Günnemann, Stephan; Ivanescu, Anca-Maria

    2011-01-01

    Dynamic Time Warping (DTW) is a widely used distance measure for time series that has been successfully used in science and many other application domains. As DTW is computationally expensive, there is a strong need for efficient query processing algorithms. Such algorithms exist for single queries....... In many of today’s applications, however, large numbers of queries arise at any given time. Existing DTW techniques do not process multiple DTW queries simultaneously, a serious limitation which slows down overall processing. In this paper, we propose an efficient processing approach for multiple DTW...

  10. AT -algebras and extensions of AT-algebras

    Indian Academy of Sciences (India)

    and E has real rank zero, then E is an AT-algebra if and only if the index maps are both zero. Accordingly, in this ... It is well-known that two extensions with the same index are isomorphic as C. ∗. -algebras. We call these .... where each Bi = I (Ei) is a direct sum of K. By Lemma 2.3, I (E) = B. Without loss of generality, we may ...

  11. Lectures on algebraic quantum field theory and operator algebras

    International Nuclear Information System (INIS)

    Schroer, Bert

    2001-04-01

    In this series of lectures directed towards a mainly mathematically oriented audience I try to motivate the use of operator algebra methods in quantum field theory. Therefore a title as why mathematicians are/should be interested in algebraic quantum field theory would be equally fitting. besides a presentation of the framework and the main results of local quantum physics these notes may serve as a guide to frontier research problems in mathematical. (author)

  12. Topological أ-algebras with Cأ-enveloping algebras II

    Indian Academy of Sciences (India)

    A with the locally convex inductive limit topology t is a locally m-convex Q-algebra satisfying EًKnc. A ق ¼ EًKAق ¼ A. (3) If A has a countable bounded approximate identity, then ًKnc. A ; tق is an LFQ-algebra. In general KA 6¼ Knc. A , though KA Knc. A . Now KA has been interpreted as a non- commutative analogue of CcًXق.

  13. A chaotic modulation scheme based on algebraic observability and sliding mode differentiators

    International Nuclear Information System (INIS)

    Cannas, Barbara; Cincotti, Silvano; Usai, Elio

    2005-01-01

    A chaotic communication technique for the transmission of secure information signals is presented. The proposed method allows the reconstruction of the system input (i.e., the information signal) from a scalar observable (i.e., the transmitted signal) and its derivatives. The approach is based on the concept of algebraic observability. A systematic procedure for the chaotic demodulation of the class of algebraic chaotic systems is described and discussed. The proposed procedure also allows one to directly identify a suitable 'response' system and the 'drive signal'. Moreover, it is shown that sliding differentiators can be used to reconstruct the time derivatives of the observable, and thus the information signal is recovered at the receiving end through some simple signal-processing operations such as multiplication, addition and subtraction. This allows the estimation of the system state and of the input signal (i.e., the information recovery) in a finite time

  14. Pre-Algebra Essentials For Dummies

    CERN Document Server

    Zegarelli, Mark

    2010-01-01

    Many students worry about starting algebra. Pre-Algebra Essentials For Dummies provides an overview of critical pre-algebra concepts to help new algebra students (and their parents) take the next step without fear. Free of ramp-up material, Pre-Algebra Essentials For Dummies contains content focused on key topics only. It provides discrete explanations of critical concepts taught in a typical pre-algebra course, from fractions, decimals, and percents to scientific notation and simple variable equations. This guide is also a perfect reference for parents who need to review critical pre-algebra

  15. A Verified Algebra for Linked Data

    Directory of Open Access Journals (Sweden)

    Ross Horne

    2011-07-01

    Full Text Available A foundation is investigated for the application of loosely structured data on the Web. This area is often referred to as Linked Data, due to the use of URIs in data to establish links. This work focuses on emerging W3C standards which specify query languages for Linked Data. The approach is to provide an abstract syntax to capture Linked Data structures and queries, which are then internalised in a process calculus. An operational semantics for the calculus specifies how queries, data and processes interact. A labelled transition system is shown to be sound with respect to the operational semantics. Bisimulation over the labelled transition system is used to verify an algebra over queries. The derived algebra is a contribution to the application domain. For instance, the algebra may be used to rewrite a query to optimise its distribution across a cluster of servers. The framework used to provide the operational semantics is powerful enough to model related calculi for the Web.

  16. Real-Time "Garbage Collection" for List Processing

    Science.gov (United States)

    Shuler, Robert L., Jr.

    1987-01-01

    Two proposed algorithmic techniques for list processing enable immediate identification of computer memory cells having become inactive through disconnection from active cells, together with addition of these inactive cells to pool of reusable cells. These two "garbage collection" techniques reduce memory requirements of list processors or increase their speed or both. With both techniques, processing continuity maintained, enabling real-time processing.

  17. Option Pricing with Time-changed Lévy Processes

    DEFF Research Database (Denmark)

    Klingler, Sven; Kim, Young Shin; Rachev, Svetlozar T.

    2013-01-01

    In this article, we introduce two new six-parameter processes based on time-changing tempered stable distributions and develop an option pricing model based on these processes. This model provides a good fit to observed option prices. To demonstrate the advantages of the new processes, we conduct...

  18. Shortened processing time technique for color industrial radiography

    Science.gov (United States)

    Lapinski, N. P.

    1969-01-01

    Improved processing method reduces time required to generate a color radiograph. Prior to, or after exposure to penetrating radiation, the emulsion side of the film is flashed to a colored light which produces the hue changes in the processed radiograph. Agitation of the film during processing assures uniformity of results.

  19. Connections between algebra, combinatorics, and geometry

    CERN Document Server

    Sather-Wagstaff, Sean

    2014-01-01

    Commutative algebra, combinatorics, and algebraic geometry are thriving areas of mathematical research with a rich history of interaction. Connections Between Algebra, Combinatorics, and Geometry contains lecture notes, along with exercises and solutions, from the Workshop on Connections Between Algebra and Geometry held at the University of Regina from May 29-June 1, 2012. It also contains research and survey papers from academics invited to participate in the companion Special Session on Interactions Between Algebraic Geometry and Commutative Algebra, which was part of the CMS Summer Meeting at the University of Regina held June 2–3, 2012, and the meeting Further Connections Between Algebra and Geometry, which was held at the North Dakota State University, February 23, 2013. This volume highlights three mini-courses in the areas of commutative algebra and algebraic geometry: differential graded commutative algebra, secant varieties, and fat points and symbolic powers. It will serve as a useful resou...

  20. TIME SERIES WORKSHOP” OBSERVATIONS DATA PROCESSING TOOL

    OpenAIRE

    Shapovalova, L. L

    2017-01-01

    The new tool for mathematical and visual processing of time series is reresented. The program ”Time Series WorkShop” (TSW) is specialized for processing visual observations of variable stars. An open structure of the allows to apply any old and new mathematical methods for searching any parameters of variability. The program also allows to visualize the time series and any  calculation results (periodograms, histograms, light curves and their smoothing curves) in a camera-ready form. The foll...

  1. Algebraic formulation of higher gauge theory

    Science.gov (United States)

    Zucchini, Roberto

    2017-06-01

    In this paper, we present a purely algebraic formulation of higher gauge theory and gauged sigma models based on the abstract theory of graded commutative algebras and their morphisms. The formulation incorporates naturally Becchi - Rouet -Stora - Tyutin (BRST) symmetry and is also suitable for Alexandrov - Kontsevich - Schwartz-Zaboronsky (AKSZ) type constructions. It is also shown that for a full-fledged Batalin-Vilkovisky formulation including ghost degrees of freedom, higher gauge and gauged sigma model fields must be viewed as internal smooth functions on the shifted tangent bundle of a space-time manifold valued in a shifted L∞-algebroid encoding symmetry. The relationship to other formulations where the L∞-algebroid arises from a higher Lie groupoid by Lie differentiation is highlighted.

  2. Ada Linear-Algebra Program

    Science.gov (United States)

    Klumpp, A. R.; Lawson, C. L.

    1988-01-01

    Routines provided for common scalar, vector, matrix, and quaternion operations. Computer program extends Ada programming language to include linear-algebra capabilities similar to HAS/S programming language. Designed for such avionics applications as software for Space Station.

  3. Cartooning in Algebra and Calculus

    Science.gov (United States)

    Moseley, L. Jeneva

    2014-01-01

    This article discusses how teachers can create cartoons for undergraduate math classes, such as college algebra and basic calculus. The practice of cartooning for teaching can be helpful for communication with students and for students' conceptual understanding.

  4. Lie-Algebras. Pt. 1

    International Nuclear Information System (INIS)

    Baeuerle, G.G.A.; Kerf, E.A. de

    1990-01-01

    The structure of the laws in physics is largely based on symmetries. This book is on Lie algebras, the mathematics of symmetry. It gives a thorough mathematical treatment of finite dimensional Lie algebras and Kac-Moody algebras. Concepts such as Cartan matrix, root system, Serre's construction are carefully introduced. Although the book can be read by an undergraduate with only an elementary knowledge of linear algebra, the book will also be of use to the experienced researcher. Experience has shown that students who followed the lectures are well-prepared to take on research in the realms of string-theory, conformal field-theory and integrable systems. 48 refs.; 66 figs.; 3 tabs

  5. Classical theory of algebraic numbers

    CERN Document Server

    Ribenboim, Paulo

    2001-01-01

    Gauss created the theory of binary quadratic forms in "Disquisitiones Arithmeticae" and Kummer invented ideals and the theory of cyclotomic fields in his attempt to prove Fermat's Last Theorem These were the starting points for the theory of algebraic numbers, developed in the classical papers of Dedekind, Dirichlet, Eisenstein, Hermite and many others This theory, enriched with more recent contributions, is of basic importance in the study of diophantine equations and arithmetic algebraic geometry, including methods in cryptography This book has a clear and thorough exposition of the classical theory of algebraic numbers, and contains a large number of exercises as well as worked out numerical examples The Introduction is a recapitulation of results about principal ideal domains, unique factorization domains and commutative fields Part One is devoted to residue classes and quadratic residues In Part Two one finds the study of algebraic integers, ideals, units, class numbers, the theory of decomposition, iner...

  6. Computational linear and commutative algebra

    CERN Document Server

    Kreuzer, Martin

    2016-01-01

    This book combines, in a novel and general way, an extensive development of the theory of families of commuting matrices with applications to zero-dimensional commutative rings, primary decompositions and polynomial system solving. It integrates the Linear Algebra of the Third Millennium, developed exclusively here, with classical algorithmic and algebraic techniques. Even the experienced reader will be pleasantly surprised to discover new and unexpected aspects in a variety of subjects including eigenvalues and eigenspaces of linear maps, joint eigenspaces of commuting families of endomorphisms, multiplication maps of zero-dimensional affine algebras, computation of primary decompositions and maximal ideals, and solution of polynomial systems. This book completes a trilogy initiated by the uncharacteristically witty books Computational Commutative Algebra 1 and 2 by the same authors. The material treated here is not available in book form, and much of it is not available at all. The authors continue to prese...

  7. Completeness of algebraic CPS simulations

    Directory of Open Access Journals (Sweden)

    Ali Assaf

    2012-07-01

    Full Text Available The algebraic lambda calculus and the linear algebraic lambda calculus are two extensions of the classical lambda calculus with linear combinations of terms. They arise independently in distinct contexts: the former is a fragment of the differential lambda calculus, the latter is a candidate lambda calculus for quantum computation. They differ in the handling of application arguments and algebraic rules. The two languages can simulate each other using an algebraic extension of the well-known call-by-value and call-by-name CPS translations. These simulations are sound, in that they preserve reductions. In this paper, we prove that the simulations are actually complete, strengthening the connection between the two languages.

  8. Finite-Time Approach to Microeconomic and Information Exchange Processes

    Directory of Open Access Journals (Sweden)

    Serghey A. Amelkin

    2009-07-01

    Full Text Available Finite-time approach allows one to optimize regimes of processes in macrosystems when duration of the processes is restricted. Driving force of the processes is difference of intensive variables: temperatures in thermodynamics, values in economics, etc. In microeconomic systems two counterflow fluxes appear due to the only driving force. They are goods and money fluxes. Another possible case is two fluxes with the same direction. The processes of information exchange can be described by this formalism.

  9. Delayed Nondeterminism in Continuous-Time Markov Decision Processes

    NARCIS (Netherlands)

    Neuhausser, M.; Stoelinga, Mariëlle Ida Antoinette; Katoen, Joost P.

    2009-01-01

    Schedulers in randomly timed games can be classified as to whether they use timing information or not. We consider continuous-time Markov decision processes (CTMDPs) and define a hierarchy of positional (P) and history-dependent (H) schedulers which induce strictly tighter bounds on quantitative

  10. Cluster algebras in mathematical physics

    International Nuclear Information System (INIS)

    Francesco, Philippe Di; Gekhtman, Michael; Kuniba, Atsuo; Yamazaki, Masahito

    2014-01-01

    This special issue of Journal of Physics A: Mathematical and Theoretical contains reviews and original research articles on cluster algebras and their applications to mathematical physics. Cluster algebras were introduced by S Fomin and A Zelevinsky around 2000 as a tool for studying total positivity and dual canonical bases in Lie theory. Since then the theory has found diverse applications in mathematics and mathematical physics. Cluster algebras are axiomatically defined commutative rings equipped with a distinguished set of generators (cluster variables) subdivided into overlapping subsets (clusters) of the same cardinality subject to certain polynomial relations. A cluster algebra of rank n can be viewed as a subring of the field of rational functions in n variables. Rather than being presented, at the outset, by a complete set of generators and relations, it is constructed from the initial seed via an iterative procedure called mutation producing new seeds successively to generate the whole algebra. A seed consists of an n-tuple of rational functions called cluster variables and an exchange matrix controlling the mutation. Relations of cluster algebra type can be observed in many areas of mathematics (Plücker and Ptolemy relations, Stokes curves and wall-crossing phenomena, Feynman integrals, Somos sequences and Hirota equations to name just a few examples). The cluster variables enjoy a remarkable combinatorial pattern; in particular, they exhibit the Laurent phenomenon: they are expressed as Laurent polynomials rather than more general rational functions in terms of the cluster variables in any seed. These characteristic features are often referred to as the cluster algebra structure. In the last decade, it became apparent that cluster structures are ubiquitous in mathematical physics. Examples include supersymmetric gauge theories, Poisson geometry, integrable systems, statistical mechanics, fusion products in infinite dimensional algebras, dilogarithm

  11. A characterisation of algebraic exactness

    OpenAIRE

    Garner, Richard

    2011-01-01

    An algebraically exact category in one that admits all of the limits and colimits which every variety of algebras possesses and every forgetful functor between varieties preserves, and which verifies the same interactions between these limits and colimits as hold in any variety. Such categories were studied by Ad\\'amek, Lawvere and Rosick\\'y: they characterised them as the categories with small limits and sifted colimits for which the functor taking sifted colimits is continuous. They conject...

  12. Nineteen papers on algebraic semigroups

    CERN Document Server

    Aizenshtat, A Ya; Podran, N E; Ponizovskii, IS; Shain, BM

    1988-01-01

    This volume contains papers selected by leading specialists in algebraic semigroups in the U.S., the United Kingdom, and Australia. Many of the papers strongly influenced the development of algebraic semigroups, but most were virtually unavailable outside the U.S.S.R. Written by some of the most prominent Soviet researchers in the field, the papers have a particular emphasis on semigroups of transformations. Boris Schein of the University of Arkansas is the translator.

  13. Algebras with actions and automata

    Directory of Open Access Journals (Sweden)

    W. Kühnel

    1982-01-01

    Full Text Available In the present paper we want to give a common structure theory of left action, group operations, R-modules and automata of different types defined over various kinds of carrier objects: sets, graphs, presheaves, sheaves, topological spaces (in particular: compactly generated Hausdorff spaces. The first section gives an axiomatic approach to algebraic structures relative to a base category B, slightly more powerful than that of monadic (tripleable functors. In section 2 we generalize Lawveres functorial semantics to many-sorted algebras over cartesian closed categories. In section 3 we treat the structures mentioned in the beginning as many-sorted algebras with fixed “scalar” or “input” object and show that they still have an algebraic (or monadic forgetful functor (theorem 3.3 and hence the general theory of algebraic structures applies. These structures were usually treated as one-sorted in the Lawvere-setting, the action being expressed by a family of unary operations indexed over the scalars. But this approach cannot, as the one developed here, describe continuity of the action (more general: the action to be a B-morphism, which is essential for the structures mentioned above, e.g. modules for a sheaf of rings or topological automata. Finally we discuss consequences of theorem 3.3 for the structure theory of various types of automata. The particular case of algebras with fixed “natural numbers object” has been studied by the authors in [23].

  14. Algebraic Systems and Pushdown Automata

    Science.gov (United States)

    Petre, Ion; Salomaa, Arto

    We concentrate in this chapter on the core aspects of algebraic series, pushdown automata, and their relation to formal languages. We choose to follow here a presentation of their theory based on the concept of properness. We introduce in Sect. 2 some auxiliary notions and results needed throughout the chapter, in particular the notions of discrete convergence in semirings and C-cycle free infinite matrices. In Sect. 3 we introduce the algebraic power series in terms of algebraic systems of equations. We focus on interconnections with context-free grammars and on normal forms. We then conclude the section with a presentation of the theorems of Shamir and Chomsky-Schützenberger. We discuss in Sect. 4 the algebraic and the regulated rational transductions, as well as some representation results related to them. Section 5 is dedicated to pushdown automata and focuses on the interconnections with classical (non-weighted) pushdown automata and on the interconnections with algebraic systems. We then conclude the chapter with a brief discussion of some of the other topics related to algebraic systems and pushdown automata.

  15. Electronic Algebra and Calculus Tutor

    Directory of Open Access Journals (Sweden)

    Larissa Fradkin

    2012-06-01

    Full Text Available Modern undergraduates join science and engineering courses with poorer mathematical background than most contemporaries of the current faculty had when they were freshers. The problem is very acute in the United Kingdom but more and more countries adopt less resource intensive models of teaching and the problem spreads. University tutors and lecturers spend more and more time covering the basics. However, most of them still rely on traditional methods of delivery which presuppose that learners have a good memory and considerable time to practice, so that they can memorize disjointed facts and discover for themselves various connections between the underlying concepts. These suppositions are particularly unrealistic when dealing with a large number of undergraduates who are ordinary learners with limited mathematics background. The first author has developed a teaching system that allows such adult learners achieve relatively deep learning of mathematics – and remarkably quickly – through a teacher-guided (often called Socratic dialog, which aims at the frequent reinforcement of basic mathematical abstractions through Eulerian sequencing. These ideas have been applied to create a prototype of a Cognitive Mathematics Tutoring System aimed at teaching basic mathematics to University freshers., an electronic Personal Algebra and Calculus Tutor (e- PACT.

  16. Infrared signature analysis - Real time monitoring of manufacturing processes

    International Nuclear Information System (INIS)

    Bangs, E.R.

    1988-01-01

    The ability to monitor manufacturing processes in an adaptive control mode and perform an inspection in real time is of interest to fabricators in the pressure vessel, aerospace, automotive, nuclear, and shipbuilding industries. Results of a series of experiments using infrared thermography as the principal sensing mode are presented to show how artificial intelligence contained in infrared isotherm, contains vast critical process variables. Image processing computer software development has demonstrated in a spot welding application how the process can be monitored and controlled in real time. The IR vision sensor program is now under way. Research thus far has focused on fusion welding, resistance spot welding and metal removal. 6 references

  17. Testing the causality of Hawkes processes with time reversal

    Science.gov (United States)

    Cordi, Marcus; Challet, Damien; Muni Toke, Ioane

    2018-03-01

    We show that univariate and symmetric multivariate Hawkes processes are only weakly causal: the true log-likelihoods of real and reversed event time vectors are almost equal, thus parameter estimation via maximum likelihood only weakly depends on the direction of the arrow of time. In ideal (synthetic) conditions, tests of goodness of parametric fit unambiguously reject backward event times, which implies that inferring kernels from time-symmetric quantities, such as the autocovariance of the event rate, only rarely produce statistically significant fits. Finally, we find that fitting financial data with many-parameter kernels may yield significant fits for both arrows of time for the same event time vector, sometimes favouring the backward time direction. This goes to show that a significant fit of Hawkes processes to real data with flexible kernels does not imply a definite arrow of time unless one tests it.

  18. Algebras in genetics

    CERN Document Server

    Wörz-Busekros, Angelika

    1980-01-01

    The purpose of these notes is to give a rather complete presentation of the mathematical theory of algebras in genetics and to discuss in detail many applications to concrete genetic situations. Historically, the subject has its origin in several papers of Etherington in 1939- 1941. Fundamental contributions have been given by Schafer, Gonshor, Holgate, Reiers¢l, Heuch, and Abraham. At the moment there exist about forty papers in this field, one survey article by Monique Bertrand from 1966 based on four papers of Etherington, a paper by Schafer and Gonshor's first paper. Furthermore Ballonoff in the third section of his book "Genetics and Social Structure" has included four papers by Etherington and Reiers¢l's paper. Apparently a complete review, in par­ ticular one comprising more recent results was lacking, and it was difficult for students to enter this field of research. I started to write these notes in spring 1978. A first german version was finished at the end of that year. Further revision and tran...

  19. Esercizi scelti di algebra

    CERN Document Server

    Chirivì, Rocco; Dvornicich, Roberto

    2017-01-01

    Questo libro – primo di due volumi -  presenta oltre 250 esercizi scelti di algebra ricavati dai compiti d'esame dei corsi di Aritmetica tenuti dagli autori all'Università di Pisa. Ogni esercizio viene presentato con una o più soluzioni accuratamente redatte con linguaggio e notazioni uniformi. Caratteristica distintiva del libro è che gli esercizi proposti sono tutti diversi uno dall'altro e le soluzioni richiedono sempre una piccola idea originale; ciò rende il libro unico nel genere. Gli argomenti di questo primo volume sono: principio d'induzione, combinatoria, congruenze, gruppi abeliani, anelli commutativi, polinomi, estensioni di campi, campi finiti. Il libro contiene inoltre una dettagliata sezione di richiami teorici e può essere usato come libro di riferimento per lo studio. Una serie di esercizi preliminari introduce le tecniche principali da usare per confrontarsi con i testi d'esame proposti. Il volume è rivolto a tutti gli studenti del primo anno dei corsi di laur ea in Matematica e Inf...

  20. Approximation of complex algebraic numbers by algebraic numbers of bounded degree

    OpenAIRE

    Bugeaud, Yann; Evertse, Jan-Hendrik

    2007-01-01

    We investigate how well complex algebraic numbers can be approximated by algebraic numbers of degree at most n. We also investigate how well complex algebraic numbers can be approximated by algebraic integers of degree at most n+1. It follows from our investigations that for every positive integer n there are complex algebraic numbers of degree larger than n that are better approximable by algebraic numbers of degree at most n than almost all complex numbers. As it turns out, these numbers ar...

  1. Algebras and manifolds: Differential, difference, simplicial and quantum

    International Nuclear Information System (INIS)

    Finkelstein, D.; Rodriguez, E.

    1986-01-01

    Generalized manifolds and Clifford algebras depict the world at levels of resolution ranging from the classical macroscopic to the quantum microscopic. The coarsest picture is a differential manifold and algebra (dm), direct integral of familiar local Clifford algebras of spin operators in curved time-space. Next is a finite difference manifold (Δm) of Regge calculus. This is a subalgebra of the third, a Minkowskian simplicial manifold (Σm). The most detailed description is the quantum manifold (Qm), whose algebra is the free Clifford algebra S of quantum set theory. We surmise that each Σm is a classical 'condensation' of a Qm. Quantum simplices have both integer and half-integer spins in their spectrum. A quantum set theory of nature requires a series of reductions leading from the Qm and a world descriptor W up through the intermediate Σm and Δm to a dm and an action principle. What may be a new algebraic language for topology, classical or quantum, is a by-product of the work. (orig.)

  2. A discrete time formulation for batch processes with storage capacity and storage time limitations

    NARCIS (Netherlands)

    Kilic, O.A.; van Donk, D.P.; Wijngaard, J.

    This paper extends the conventional discrete time mixed integer linear programming (MILP) formulation for scheduling multiproduct/multipurpose batch processes by introducing storage capacity and storage time limitations. For this purpose, storage vessels are explicitly modeled on which material

  3. Free probability on Hecke algebras and certain group C^{*}-algebras induced by Hecke algebras

    Directory of Open Access Journals (Sweden)

    Ilwoo Cho

    2016-01-01

    Full Text Available In this paper, by establishing free-probabilistic models on the Hecke algebras \\(\\mathcal{H}\\left(GL_{2}(\\mathbb{Q}_{p}\\right\\ induced by \\(p\\-adic number fields \\(\\mathbb{Q}_{p}\\, we construct free probability spaces for all primes \\(p\\. Hilbert-space representations are induced by such free-probabilistic structures. We study \\(C^{*}\\-algebras induced by certain partial isometries realized under the representations.

  4. Continuous-time Markov decision processes theory and applications

    CERN Document Server

    Guo, Xianping

    2009-01-01

    This volume provides the first book entirely devoted to recent developments on the theory and applications of continuous-time Markov decision processes (MDPs). The MDPs presented here include most of the cases that arise in applications.

  5. Space Time Adaptive Processing and Clutter Classification Integration and Evaluation

    National Research Council Canada - National Science Library

    Jensen, Nathan

    2002-01-01

    .... Current radar technologies suffer from jamming and clutter limitations. STAP is a statistical method to remove this noise, however it is extremely computationally intensive, and presents several real time processing hurdles...

  6. Course Development Cycle Time: A Framework for Continuous Process Improvement.

    Science.gov (United States)

    Lake, Erinn

    2003-01-01

    Details Edinboro University's efforts to reduce the extended cycle time required to develop new courses and programs. Describes a collaborative process improvement framework, illustrated data findings, the team's recommendations for improvement, and the outcomes of those recommendations. (EV)

  7. Specification and Compilation of Real-Time Stream Processing Applications

    NARCIS (Netherlands)

    Geuns, S.J.

    2015-01-01

    This thesis is concerned with the specification, compilation and corresponding temporal analysis of real-time stream processing applications that are executed on embedded multiprocessor systems. An example of such applications are software defined radio applications. These applications typically

  8. Modeling non-Gaussian time-varying vector autoregressive process

    Data.gov (United States)

    National Aeronautics and Space Administration — We present a novel and general methodology for modeling time-varying vector autoregressive processes which are widely used in many areas such as modeling of chemical...

  9. Translating cosmological special relativity into geometric algebra

    Science.gov (United States)

    Horn, Martin Erik

    2012-11-01

    Geometric algebra and Clifford algebra are important tools to describe and analyze the physics of the world we live in. Although there is enormous empirical evidence that we are living in four dimensional spacetime, mathematical worlds of higher dimensions can be used to present the physical laws of our world in an aesthetical and didactical more appealing way. In physics and mathematics education we are therefore confronted with the question how these high dimensional spaces should be taught. But as an immediate confrontation of students with high dimensional compactified spacetimes would expect too much from them at the beginning of their university studies, it seems reasonable to approach the mathematics and physics of higher dimensions step by step. The first step naturally is the step from four dimensional spacetime of special relativity to a five dimensional spacetime world. As a toy model for this artificial world cosmological special relativity, invented by Moshe Carmeli, can be used. This five dimensional non-compactified approach describes a spacetime which consists not only of one time dimension and three space dimensions. In addition velocity is regarded as a fifth dimension. This model very probably will not represent physics correctly. But it can be used to discuss and analyze the consequences of an additional dimension in a clear and simple way. Unfortunately Carmeli has formulated cosmological special relativity in standard vector notation. Therefore a translation of cosmological special relativity into the mathematical language of Grassmann and Clifford (Geometric algebra) is given and the physics of cosmological special relativity is discussed.

  10. Renormalization group flows and continual Lie algebras

    International Nuclear Information System (INIS)

    Bakas, Ioannis

    2003-01-01

    We study the renormalization group flows of two-dimensional metrics in sigma models using the one-loop beta functions, and demonstrate that they provide a continual analogue of the Toda field equations in conformally flat coordinates. In this algebraic setting, the logarithm of the world-sheet length scale, t, is interpreted as Dynkin parameter on the root system of a novel continual Lie algebra, denoted by (d/dt;1), with anti-symmetric Cartan kernel K(t,t') = δ'(t-t'); as such, it coincides with the Cartan matrix of the superalgebra sl(N vertical bar N+1) in the large-N limit. The resulting Toda field equation is a non-linear generalization of the heat equation, which is integrable in target space and shares the same dissipative properties in time, t. We provide the general solution of the renormalization group flows in terms of free fields, via Baecklund transformations, and present some simple examples that illustrate the validity of their formal power series expansion in terms of algebraic data. We study in detail the sausage model that arises as geometric deformation of the O(3) sigma model, and give a new interpretation to its ultra-violet limit by gluing together two copies of Witten's two-dimensional black hole in the asymptotic region. We also provide some new solutions that describe the renormalization group flow of negatively curved spaces in different patches, which look like a cane in the infra-red region. Finally, we revisit the transition of a flat cone C/Z n to the plane, as another special solution, and note that tachyon condensation in closed string theory exhibits a hidden relation to the infinite dimensional algebra (d/dt;1) in the regime of gravity. Its exponential growth holds the key for the construction of conserved currents and their systematic interpretation in string theory, but they still remain unknown. (author)

  11. On higher-dimensional loop algebras, pseudodifferential operators and Fock space realizations

    International Nuclear Information System (INIS)

    Westerberg, A.

    1997-01-01

    We discuss a previously discovered extension of the infinite-dimensional Lie algebra map(M,g) which generalizes the Kac-Moody algebras in 1+1 dimensions and the Mickelsson-Faddeev algebras in 3+1 dimensions to manifolds M of general dimensions. Furthermore, we review the method of regularizing current algebras in higher dimensions using pseudodifferential operator (PSDO) symbol calculus. In particular, we discuss the issue of Lie algebra cohomology of PSDOs and its relation to the Schwinger terms arising in the quantization process. Finally, we apply this regularization method to the algebra with partial success, and discuss the remaining obstacles to the construction of a Fock space representation. (orig.)

  12. Homological methods, representation theory, and cluster algebras

    CERN Document Server

    Trepode, Sonia

    2018-01-01

    This text presents six mini-courses, all devoted to interactions between representation theory of algebras, homological algebra, and the new ever-expanding theory of cluster algebras. The interplay between the topics discussed in this text will continue to grow and this collection of courses stands as a partial testimony to this new development. The courses are useful for any mathematician who would like to learn more about this rapidly developing field; the primary aim is to engage graduate students and young researchers. Prerequisites include knowledge of some noncommutative algebra or homological algebra. Homological algebra has always been considered as one of the main tools in the study of finite-dimensional algebras. The strong relationship with cluster algebras is more recent and has quickly established itself as one of the important highlights of today’s mathematical landscape. This connection has been fruitful to both areas—representation theory provides a categorification of cluster algebras, wh...

  13. Extended Kac-Moody algebras and applications

    International Nuclear Information System (INIS)

    Ragoucy, E.; Sorba, P.

    1991-04-01

    The notion of a Kac-Moody algebra defined on the S 1 circle is extended to super Kac-Moody algebras defined on MxG N , M being a smooth closed compact manifold of dimension greater than one, and G N the Grassman algebra with N generators. All the central extensions of these algebras are computed. Then, for each such algebra the derivation algebra constructed from the MxG N diffeomorphism is determined. The twists of such super Kac-Moody algebras as well as the generalization to non-compact surfaces are partially studied. Finally, the general construction is applied to the study of conformal and superconformal algebras, as well as area-preserving diffeomorphisms algebra and its supersymmetric extension. (author) 65 refs

  14. Online Scheduling on a Single Machine with Grouped Processing Times

    Directory of Open Access Journals (Sweden)

    Qijia Liu

    2015-01-01

    Full Text Available We consider the online scheduling problem on a single machine with the assumption that all jobs have their processing times in [p,(1+αp], where p>0 and α=(5-1/2. All jobs arrive over time, and each job and its processing time become known at its arrival time. The jobs should be first processed on a single machine and then delivered by a vehicle to some customer. When the capacity of the vehicle is infinite, we provide an online algorithm with the best competitive ratio of (5+1/2. When the capacity of the vehicle is finite, that is, the vehicle can deliver at most c jobs at a time, we provide another best possible online algorithm with the competitive ratio of (5+1/2.

  15. Infinite dimension algebra and conformal symmetry

    International Nuclear Information System (INIS)

    Ragoucy-Aubezon, E.

    1991-04-01

    A generalisation of Kac-Moody algebras (current algebras defined on a circle) to algebras defined on a compact supermanifold of any dimension and with any number of supersymmetries is presented. For such a purpose, we compute all the central extensions of loop algebras defined on this supermanifold, i.e. all the cohomology classes of these loop algebras. Then, we try to extend the relation (i.e. semi-direct sum) that exists between the two dimensional conformal algebras (called Virasoro algebra) and the usual Kac-Moody algebras, by considering the derivation algebra of our extended Kac-Moody algebras. The case of superconformal algebras (used in superstrings theories) is treated, as well as the cases of area-preserving diffeomorphisms (used in membranes theories), and Krichever-Novikov algebras (used for interacting strings). Finally, we present some generalizations of the Sugawara construction to the cases of extended Kac-Moody algebras, and Kac-Moody of superalgebras. These constructions allow us to get new realizations of the Virasoro, and Ramond, Neveu-Schwarz algebras

  16. Reachability in continuous-time Markov reward decision processes

    NARCIS (Netherlands)

    Baier, Christel; Haverkort, Boudewijn R.H.M.; Hermanns, H.; Katoen, Joost P.; Flum, J.; Graedel, E.; Wilke, Th.

    Continuous-time Markov decision processes (CTMDPs) are widely used for the control of queueing systems, epidemic and manufacturing processes. Various results on optimal schedulers for discounted and average reward optimality criteria in CTMDPs are known, but the typical game-theoretic winning

  17. Three-dimensional spin-3 theories based on general kinematical algebras

    Energy Technology Data Exchange (ETDEWEB)

    Bergshoeff, Eric [Van Swinderen Institute for Particle Physics and Gravity, University of Groningen,Nijenborgh 4, 9747 AG Groningen (Netherlands); Grumiller, Daniel; Prohazka, Stefan [Institute for Theoretical Physics, TU Wien,Wiedner Hauptstrasse 8-10/136, A-1040 Vienna (Austria); Rosseel, Jan [Albert Einstein Center for Fundamental Physics, University of Bern,Sidlerstrasse 5, 3012 Bern (Switzerland); Faculty of Physics, University of Vienna,Boltzmanngasse 5, A-1090 Vienna (Austria)

    2017-01-25

    We initiate the study of non- and ultra-relativistic higher spin theories. For sake of simplicity we focus on the spin-3 case in three dimensions. We classify all kinematical algebras that can be obtained by all possible Inönü-Wigner contraction procedures of the kinematical algebra of spin-3 theory in three dimensional (anti-) de Sitter space-time. We demonstrate how to construct associated actions of Chern-Simons type, directly in the ultra-relativistic case and by suitable algebraic extensions in the non-relativistic case. We show how to give these kinematical algebras an infinite-dimensional lift by imposing suitable boundary conditions in a theory we call “Carroll Gravity”, whose asymptotic symmetry algebra turns out to be an infinite-dimensional extension of the Carroll algebra.

  18. Time and activity sequence prediction of business process instances

    DEFF Research Database (Denmark)

    Polato, Mirko; Sperduti, Alessandro; Burattin, Andrea

    2018-01-01

    The ability to know in advance the trend of running process instances, with respect to different features, such as the expected completion time, would allow business managers to timely counteract to undesired situations, in order to prevent losses. Therefore, the ability to accurately predict...

  19. Aperiodic Multiprocessor Scheduling for Real-Time Stream Processing Applications

    NARCIS (Netherlands)

    Wiggers, M.H.

    2009-01-01

    This thesis is concerned with the computation of buffer capacities that guarantee satisfaction of timing and resource constraints for task graphs with aperiodic task execution rates that are executed on run-time scheduled resources. Stream processing applications such as digital radio baseband

  20. Sequential specification of time-aware stream processing applications

    NARCIS (Netherlands)

    Geuns, S.J.; Hausmans, J.P.H.M.; Bekooij, Marco Jan Gerrit

    Automatic parallelization of Nested Loop Programs (NLPs) is an attractive method to create embedded real-time stream processing applications for multi-core systems. However, the description and parallelization of applications with a time dependent functional behavior has not been considered in NLPs.

  1. Real-time digital signal processing fundamentals, implementations and applications

    CERN Document Server

    Kuo, Sen M; Tian, Wenshun

    2013-01-01

    Combines both the DSP principles and real-time implementations and applications, and now updated with the new eZdsp USB Stick, which is very low cost, portable and widely employed at many DSP labs. Real-Time Digital Signal Processing introduces fundamental digital signal processing (DSP) principles and will be updated to include the latest DSP applications, introduce new software development tools and adjust the software design process to reflect the latest advances in the field. In the 3rd edition of the book, the key aspect of hands-on experiments will be enhanced to make the DSP principle

  2. A time fractional model to represent rainfall process

    Directory of Open Access Journals (Sweden)

    Jacques Golder

    2014-01-01

    Full Text Available This paper deals with a stochastic representation of the rainfall process. The analysis of a rainfall time series shows that cumulative representation of a rainfall time series can be modeled as a non-Gaussian random walk with a log-normal jump distribution and a time-waiting distribution following a tempered α-stable probability law. Based on the random walk model, a fractional Fokker-Planck equation (FFPE with tempered α-stable waiting times was obtained. Through the comparison of observed data and simulated results from the random walk model and FFPE model with tempered á-stable waiting times, it can be concluded that the behavior of the rainfall process is globally reproduced, and the FFPE model with tempered α-stable waiting times is more efficient in reproducing the observed behavior.

  3. Finite-dimensional division algebras over fields

    CERN Document Server

    Jacobson, Nathan

    2009-01-01

    Finite-Dimensional Division Algebras over fields determine, by the Wedderburn Theorem, the semi-simple finite-dimensional algebras over a field. They lead to the definition of the Brauer group and to certain geometric objects, the Brauer-Severi varieties. The book concentrates on those algebras that have an involution. Algebras with involution appear in many contexts; they arose first in the study of the so-called 'multiplication algebras of Riemann matrices'. The largest part of the book is the fifth chapter, dealing with involutorial simple algebras of finite dimension over a field. Of parti

  4. Principles of linear algebra with Mathematica

    CERN Document Server

    Shiskowski, Kenneth M

    2013-01-01

    A hands-on introduction to the theoretical and computational aspects of linear algebra using Mathematica® Many topics in linear algebra are simple, yet computationally intensive, and computer algebra systems such as Mathematica® are essential not only for learning to apply the concepts to computationally challenging problems, but also for visualizing many of the geometric aspects within this field of study. Principles of Linear Algebra with Mathematica uniquely bridges the gap between beginning linear algebra and computational linear algebra that is often encountered in applied settings,

  5. Double-partition Quantum Cluster Algebras

    DEFF Research Database (Denmark)

    Jakobsen, Hans Plesner; Zhang, Hechun

    2012-01-01

    A family of quantum cluster algebras is introduced and studied. In general, these algebras are new, but sub-classes have been studied previously by other authors. The algebras are indexed by double parti- tions or double flag varieties. Equivalently, they are indexed by broken lines L. By grouping...... together neighboring mutations into quantum line mutations we can mutate from the cluster algebra of one broken line to another. Compatible pairs can be written down. The algebras are equal to their upper cluster algebras. The variables of the quantum seeds are given by elements of the dual canonical basis....

  6. The estimation and compensation of processes with time delays

    OpenAIRE

    O'Dwyer, Aidan

    1996-01-01

    The estimation and compensation of processes with time delays have been of interest to academics and practitioners for several decades. A full review of the literature for both model parameter and time delay estimation is presented. Gradient methods of parameter estimation, in open loop, in the time and frequency domains are subsequently considered in detail. Firstly, an algorithm is developed, using an appropriate gradient algorithm, for the estimation of all the parameters of an appropriate...

  7. Time-variant reliability assessment through equivalent stochastic process transformation

    International Nuclear Information System (INIS)

    Wang, Zequn; Chen, Wei

    2016-01-01

    Time-variant reliability measures the probability that an engineering system successfully performs intended functions over a certain period of time under various sources of uncertainty. In practice, it is computationally prohibitive to propagate uncertainty in time-variant reliability assessment based on expensive or complex numerical models. This paper presents an equivalent stochastic process transformation approach for cost-effective prediction of reliability deterioration over the life cycle of an engineering system. To reduce the high dimensionality, a time-independent reliability model is developed by translating random processes and time parameters into random parameters in order to equivalently cover all potential failures that may occur during the time interval of interest. With the time-independent reliability model, an instantaneous failure surface is attained by using a Kriging-based surrogate model to identify all potential failure events. To enhance the efficacy of failure surface identification, a maximum confidence enhancement method is utilized to update the Kriging model sequentially. Then, the time-variant reliability is approximated using Monte Carlo simulations of the Kriging model where system failures over a time interval are predicted by the instantaneous failure surface. The results of two case studies demonstrate that the proposed approach is able to accurately predict the time evolution of system reliability while requiring much less computational efforts compared with the existing analytical approach. - Highlights: • Developed a new approach for time-variant reliability analysis. • Proposed a novel stochastic process transformation procedure to reduce the dimensionality. • Employed Kriging models with confidence-based adaptive sampling scheme to enhance computational efficiency. • The approach is effective for handling random process in time-variant reliability analysis. • Two case studies are used to demonstrate the efficacy

  8. A Comparative Analysis of Short Time Series Processing Methods

    OpenAIRE

    Kiršners, A; Borisovs, A

    2012-01-01

    This article analyzes the traditional time series processing methods that are used to perform the task of short time series analysis in demand forecasting. The main aim of this paper is to scrutinize the ability of these methods to be used when analyzing short time series. The analyzed methods include exponential smoothing, exponential smoothing with the development trend and moving average method. The paper gives the description of the structure and main operating princi...

  9. How to Produce S-Tense Operators on Lattice Effect Algebras

    Science.gov (United States)

    Chajda, Ivan; Janda, Jiří; Paseka, Jan

    2014-07-01

    Tense operators in effect algebras play a key role for the representation of the dynamics of formally described physical systems. For this, it is important to know how to construct them on a given effect algebra and how to compute all possible pairs of tense operators on . However, we firstly need to derive a time frame which enables these constructions and computations. Hence, we usually apply a suitable set of states of the effect algebra in question. To approximate physical reality in quantum mechanics, we use only the so-called Jauch-Piron states on in our paper. To realize our constructions, we are restricted on lattice effect algebras only.

  10. Study on infrared multiphoton excitation of the linear triatomic molecule by the Lie-algebra approach

    International Nuclear Information System (INIS)

    Feng, H.; Zheng, Y.; Ding, S.

    2007-01-01

    Infrared multiphoton vibrational excitation of the linear triatomic molecule has been studied using the quadratic anharmonic Lie-algebra model, unitary transformations, and Magnus approximation. An explicit Lie-algebra expression for the vibrational transition probability is obtained by using a Lie-algebra approach. This explicit Lie-algebra expressions for time-evolution operator and vibrational transition probabilities make the computation clearer and easier. The infrared multiphoton vibrational excitation of the DCN linear tri-atomic molecule is discussed as an example

  11. Survey of real-time processing systems for big data

    DEFF Research Database (Denmark)

    Liu, Xiufeng; Lftikhar, Nadeem; Xie, Xike

    2014-01-01

    In recent years, real-time processing and analytics systems for big data–in the context of Business Intelligence (BI)–have received a growing attention. The traditional BI platforms that perform regular updates on daily, weekly or monthly basis are no longer adequate to satisfy the fast-changing ......In recent years, real-time processing and analytics systems for big data–in the context of Business Intelligence (BI)–have received a growing attention. The traditional BI platforms that perform regular updates on daily, weekly or monthly basis are no longer adequate to satisfy the fast...... emerging in recent years. This paper presents a survey of the open source technologies that support big data processing in a real-time/near real-time fashion, including their system architectures and platforms....

  12. Near Real-Time Processing of Proteomics Data Using Hadoop.

    Science.gov (United States)

    Hillman, Chris; Ahmad, Yasmeen; Whitehorn, Mark; Cobley, Andy

    2014-03-01

    This article presents a near real-time processing solution using MapReduce and Hadoop. The solution is aimed at some of the data management and processing challenges facing the life sciences community. Research into genes and their product proteins generates huge volumes of data that must be extensively preprocessed before any biological insight can be gained. In order to carry out this processing in a timely manner, we have investigated the use of techniques from the big data field. These are applied specifically to process data resulting from mass spectrometers in the course of proteomic experiments. Here we present methods of handling the raw data in Hadoop, and then we investigate a process for preprocessing the data using Java code and the MapReduce framework to identify 2D and 3D peaks.

  13. A Novel Partial Differential Algebraic Equation (PDAE) Solver

    DEFF Research Database (Denmark)

    Lim, Young-il; Chang, Sin-Chung; Jørgensen, Sten Bay

    2004-01-01

    accuracy and stability. The space-time CE/SE method is successfully implemented to solve PDAE systems through combining an iteration procedure for nonlinear algebraic equations. For illustration, chromatographic adsorption problems including convection, diffusion and reaction terms with a linear......For solving partial differential algebraic equations (PDAEs), the space-time conservation element/solution element (CE/SE) method is addressed in this study. The method of lines (MOL) using an implicit time integrator is compared with the CE/SE method in terms of computational efficiency, solution...

  14. Some problems in inference from time series of geophysical processes

    Science.gov (United States)

    Koutsoyiannis, Demetris

    2010-05-01

    Due to the complexity of geophysical processes, their modelling and the conducting of typical tasks, such as estimation, prediction and hypothesis testing, heavily rely on available data series and their statistical processing. The classical statistical approaches, which are often used in geophysical modelling, are based upon several simplifying assumptions, which are invalidated in natural processes. Central among these is the (usually tacit) time independence assumption which is regarded to simplify modelling and statistical testing at no substantial cost for the validity of results. Moreover, the perception of the general behaviour of the natural processes and the implied uncertainty is heavily affected by the classical statistical paradigm that is in common use. However, the study of natural behaviours reveals the dominance of change at a multitude of time scales, which in statistical terms is translated in strong time dependence, decaying very slowly with lag time. In its simplest form, this dependence, and equivalently the multi-scale change, can be described by a Hurst-Kolmogorov process using a single parameter additional to those of the marginal distribution. Remarkably, the Hurst-Kolmogorov stochastic dynamics results in much higher uncertainty in comparison to either nonstationary descriptions, or to typical stationary descriptions with independent random processes and common Markov-type processes. In addition, as far as typical statistical estimation is concerned, the Hurst-Kolmogorov dynamics implies dramatically higher intervals in the estimation of location statistical parameters (e.g., mean) and highly negative bias in the estimation of dispersion parameters (e.g., standard deviation), not to mention the bias and uncertainty in higher order moments. Surprisingly, all these differences are commonly unaccounted for in most studies of geophysical processes, which may result in inappropriate modelling, wrong inferences and false claims about the

  15. Voronoi Tessellation for reducing the processing time of correlation functions

    Science.gov (United States)

    Cárdenas-Montes, Miguel; Sevilla-Noarbe, Ignacio

    2018-01-01

    The increase of data volume in Cosmology is motivating the search of new solutions for solving the difficulties associated with the large processing time and precision of calculations. This is specially true in the case of several relevant statistics of the galaxy distribution of the Large Scale Structure of the Universe, namely the two and three point angular correlation functions. For these, the processing time has critically grown with the increase of the size of the data sample. Beyond parallel implementations to overcome the barrier of processing time, space partitioning algorithms are necessary to reduce the computational load. These can delimit the elements involved in the correlation function estimation to those that can potentially contribute to the final result. In this work, Voronoi Tessellation is used to reduce the processing time of the two-point and three-point angular correlation functions. The results of this proof-of-concept show a significant reduction of the processing time when preprocessing the galaxy positions with Voronoi Tessellation.

  16. Dynamical systems of algebraic origin

    CERN Document Server

    Schmidt, Klaus

    1995-01-01

    Although much of classical ergodic theory is concerned with single transformations and one-parameter flows, the subject inherits from statistical mechanics not only its name, but also an obligation to analyze spatially extended systems with multidimensional symmetry groups. However, the wealth of concrete and natural examples which has contributed so much to the appeal and development of classical dynamics, is noticeably absent in this more general theory. The purpose of this book is to help remedy this scarcity of explicit examples by introducing a class of continuous Zd-actions diverse enough to exhibit many of the new phenomena encountered in the transition from Z to Zd, but which nevertheless lends itself to systematic study: the Zd-actions by automorphisms of compact, abelian groups. One aspect of these actions, not surprising in itself but quite striking in its extent and depth nonetheless, is the connection with commutative algebra and arithmetical algebraic geometry. The algebraic framework resulting...

  17. Algebraic geometry and effective lagrangians

    International Nuclear Information System (INIS)

    Martinec, E.J.; Chicago Univ., IL

    1989-01-01

    N=2 supersymmetric Landau-Ginsburg fixed points describe nonlinear models whose target spaces are algebraic varieties in certain generalized projective spaces; the defining equation is precisely the zero set of the superpotential, considered as a condition in the projective space. The ADE classification of modular invariants arises as the classification of projective descriptions of P 1 ; in general, the hierarchy of fixed points is conjectured to be isomorphic to the classification of quasihomogeneous singularities. The condition of vanishing first Chern class is an integrality condition on the Virasoro central charge; the central charge is determined by the superpotential. The operator algebra is given by the algebra of Wick contractions of perturbations of the superpotential. (orig.)

  18. Logarithmic exotic conformal Galilean algebras

    Energy Technology Data Exchange (ETDEWEB)

    Henkel, Malte, E-mail: Malte.henkel@univ-lorraine.fr [Groupe de Physique Statistique, Institut Jean Lamour (CNRS UMR 7198), Université de Lorraine Nancy, B.P. 70239, F-54506 Vandoeuvre-lès-Nancy Cedex (France); Hosseiny, Ali, E-mail: al_hosseiny@sbu.ac.ir [Department of Physics, Shahid Beheshti University, G.C. Evin, Tehran 19839 (Iran, Islamic Republic of); School of Particles and Accelerators, Institute for Research in Fundamental Sciences (IPM), P.O. Box 19395-5531, Tehran (Iran, Islamic Republic of); Rouhani, Shahin, E-mail: rouhani@ipm.ir [Department of Physics, Sharif University of Technology, P.O. Box 11165-9161, Tehran (Iran, Islamic Republic of); School of Particles and Accelerators, Institute for Research in Fundamental Sciences (IPM), P.O. Box 19395-5531, Tehran (Iran, Islamic Republic of)

    2014-02-15

    Logarithmic representations of the conformal Galilean algebra (CGA) and the Exotic Conformal Galilean algebra (ECGA) are constructed. This can be achieved by non-decomposable representations of the scaling dimensions or the rapidity indices, specific to conformal Galilean algebras. Logarithmic representations of the non-exotic CGA lead to the expected constraints on scaling dimensions and rapidities and also on the logarithmic contributions in the co-variant two-point functions. On the other hand, the ECGA admits several distinct situations which are distinguished by different sets of constraints and distinct scaling forms of the two-point functions. Two distinct realisations for the spatial rotations are identified as well. This is the first concrete example of a reducible, but non-decomposable representation, without logarithmic terms. Such cases had been anticipated before.

  19. Visualizing automorphisms of graph algebras

    DEFF Research Database (Denmark)

    Avery, James Emil; Johansen, Rune; Szymanski, Wojciech

    2018-01-01

    Graph C*-algebras have been celebrated as C*-algebras that can be seen, because many important properties may be determined by looking at the underlying graph. This paper introduces the permutation graph for a permutative endomorphism of a graph C*-algebra as a labeled directed multigraph...... that gives a visual representation of the endomorphism and facilitates computations. Combinatorial criteria have previously been developed for deciding when such an endomorphism is an automorphism, but here the question is reformulated in terms of the permutation graph and new proofs are given. Furthermore......, it is shown how to use permutation graphs to efficiently generate exhaustive collections of permutative automorphisms. Permutation graphs provide a natural link to the textile systems representing induced endomorphisms on the edge shift of the given graph, and this allows the powerful tools of the theory...

  20. Topics in quaternion linear algebra

    CERN Document Server

    Rodman, Leiba

    2014-01-01

    Quaternions are a number system that has become increasingly useful for representing the rotations of objects in three-dimensional space and has important applications in theoretical and applied mathematics, physics, computer science, and engineering. This is the first book to provide a systematic, accessible, and self-contained exposition of quaternion linear algebra. It features previously unpublished research results with complete proofs and many open problems at various levels, as well as more than 200 exercises to facilitate use by students and instructors. Applications presented in the book include numerical ranges, invariant semidefinite subspaces, differential equations with symmetries, and matrix equations. Designed for researchers and students across a variety of disciplines, the book can be read by anyone with a background in linear algebra, rudimentary complex analysis, and some multivariable calculus. Instructors will find it useful as a complementary text for undergraduate linear algebra courses...