Halaman : 403 - 410 suyanto
This book explores the rise and consolidation of Symbolic Interactionism. This is one of the most important and significant theories of social action in all the disciplines of social science and sociology. The book begins by charting its historiography, conceptual developments, key authors, links to emerging methodologies, and methods. The book ends with a reflective critique pointing to buildi…
Invited Papers -- A Survey of Some Recent Results on Bent Functions -- A Survey of the Merit Factor Problem for Binary Sequences -- A Survey of Feedback with Carry Shift Registers -- Univariate and Multivariate Merit Factors -- Complexity of Sequences I -- Discrete Fourier Transform, Joint Linear Complexity and Generalized Joint Linear Complexity of Multisequences -- Expected Value of the Linea…
Invited Technical Paper -- Behavior-Preserving Refinement Relations Between Dynamic Software Architectures -- Contributed Papers -- Modelling Mobility with Petri Hypernets -- Cryptomorphisms at Work -- Towards a Formal Specification of an Electronic Payment System in CSP-CASL -- Algebraic Semantics of Design Abstractions for Context-Awareness -- CCC – The Casl Consistency Checker -- Ontologie…
Solving Polynomial Equations -- Resultants -- Computation in Local Rings -- Modules -- Free Resolutions -- Polytopes, Resultants, and Equations -- Polyhedral Regions and Polynomials -- Algebraic Coding Theory -- The Berlekamp-Massey-Sakata Decoding Algorithm.In recent years, the discovery of new algorithms for dealing with polynomial equations, coupled with their implementation on fast inexpens…
Algebraic Preliminaries -- Integration of Rational Functions -- Differential Fields -- The Order Function -- Integration of Transcendental Functions -- The Risch Differential Equation -- Parametric Problems -- The Coupled Differential System -- Structure Theorems -- Parallel Integration.This first volume in the series "Algorithms and Computation in Mathematics" is destined to become the standar…
to residues and resultants -- Solving equations via algebras -- Symbolic-numeric methods for solving polynomial equations and applications -- An algebraist’s view on border bases -- Tools for computing primary decompositions and applications to ideals associated to Bayesian networks -- Algorithms and their complexities -- Toric resultants and applications to geometric modelling -- to numerica…
to MuPAD -- Mathematical graphics with MuPAD -- to calculus of one variable -- Multivariable calculus -- Algebra with MuPAD -- Data visualization and elementary statistics -- A brief introduction to programming.The world of mathematics is probably one of the most fascinating creations of mankind. The world of mathematics with a Computer Algebra System, like MuPAD, is even more fascinating. With…
Foreword -- Introduction -- The Homogeneous Case -- Hilbert Functions -- Further Applications -- A. The ABC of CoCoA 5 -- B. Suggestions for Further Reading -- C. Hints for Selected Exercises -- Bibliography.Computational Commutative Algebra 2 is the natural continuation of Computational Commutative Algebra 1 with some twists, starting with the differently coloured cover graphics. The first vol…
Invited Talks -- Abstract Scalars, Loops, and Free Traced and Strongly Compact Closed Categories -- Labels from Reductions: Towards a General Theory -- Adequacy for Algebraic Effects with State -- Contributed Papers -- Bisimilarity Is Not Finitely Based over BPA with Interrupt -- Algebra ? Coalgebra = Presheaves -- Strong Splitting Bisimulation Equivalence -- Complete Axioms for Stateless Conne…