搜索结果：Calculus

We introduce the spi calculus, an extension of the pi calculus designed for the description and analysis of cryptographic protocols. We show how to use the spi calculus, particularly for studying authentication protocols. The pi calculus (without extension) suffices for some abstract protocols; the spi calculus enables us to consider cryptographic issues in more detail. We represent protocols as processes in the spi calculus and state their security properties in terms of coarse-grained notions of protocol equivalence.

Much recent theorizing about the utility of voting concludes that voting is an irrational act in that it usually costs more to vote than one can expect to get in return. 1 This conclusion is doubtless disconcerting ideologically to democrats; but ideological embarrassment is not our interest here. Rather we are concerned with an apparent paradox in the theory. The writers who constructed these analyses were engaged in an endeavor to explain political behavior with a calculus of rational choice; yet they were led by their argument to the conclusion that voting, the fundamental political act, is typically irrational. We find this conflict between purpose and conclusion bizarre but not nearly so bizarre as a non-explanatory theory: The function of theory is to explain behavior and it is certainly no explanation to assign a sizeable part of politics to the mysterious and inexplicable world of the irrational. 2 This essay is, therefore, an effort to reinterpret the voting calculus so that it can fit comfortably into a rationalistic theory of political behavior. We describe a calculus of voting from which one infers that it is reasonable for those who vote to do so and also that it is equally reasonable for those who do not vote not to do so. Furthermore we present empirical evidence that citizens actually behave as if they employed this calculus. 3

Fractional calculus is a collection of relatively little-known mathematical results concerning generalizations of differentiation and integration to noninteger orders. While these results have been accumulated over centuries in various branches of mathematics, they have until recently found little appreciation or application in physics and other mathematically oriented sciences. This situation is beginning to change, and there are now a growing number of research areas in physics which employ fractional calculus.This volume provides an introduction to fractional calculus for physicists, and co

Glossary Part I. Communicating Systems: 1. Introduction 2. Behaviour of automata 3. Sequential processes and bisimulation 4. Concurrent processes and reaction 5. Transitions and strong equivalence 6. Observation equivalence: theory 7. Observation equivalence: examples Part II. The pi-Calculus: 8. What is mobility? 9. The pi-calculus and reaction 10. Applications of the pi-calculus 11. Sorts, objects and functions 12. Commitments and strong bisimulation 13. Observation equivalence and examples 14. Discussion and related work Bibliography Index.

This monograph provides a comprehensive overview of the author's work on the fields of fractional calculus and waves in linear viscoelastic media, which includes his pioneering contributions on the applications of special functions of the Mittag-Leffler and Wright types.
\nIt is intended to serve as a general introduction to the above-mentioned areas of mathematical modeling. The explanations in the book are detailed enough to capture the interest of the curious reader, and complete enough to provide the necessary background material needed to delve further into the subject and explore the research literature given in the huge general bibliography.
\nThis book is likely to be of interest to applied scientists and engineers. See 
\nhttp://www.worldscibooks.com/mathematics/p614.html
\nContents:
\n•Essentials of Fractional Calculus 
\n•Essentials of Linear Viscoelasticity 
\n•Fractional Viscoelastic Media 
\n•Waves in Linear Viscoelastic Media: Dispersion and Dissipation 
\n•Waves in Linear Viscoelastic Media: Asymptotic Representations 
\n•Diffusion and Wave-Propagation via Fractional Calculus 
\n•The Eulerian Functions 
\n•The Bessel Functions 
\n•The Error Functions 
\n•The Exponential Integral Functions 
\n•The Mittag-Leffler Functions 
\n•The Wright Functions

Historical Survey The Modern Approach The Riemann-Liouville Fractional Integral The Riemann-Liouville Fractional Calculus Fractional Differential Equations Further Results Associated with Fractional Differential Equations The Weyl Fractional Calculus Some Historical Arguments.

Journal Article The Calculus of Consent: Logical Foundations of Constitutional Democracy Get access The Calculus of Consent: Logical Foundations of Constitutional Democracy. By J. M. Buchanan and G. Tuxlock. (Ann Arbor, Michigan: University of Michigan Press, 1962. Pp. x + 361. $6.95.) J. E. Meade J. E. Meade Christ's College, Cambridge Search for other works by this author on: Oxford Academic Google Scholar The Economic Journal, Volume 73, Issue 289, 1 March 1963, Pages 101–104, https://doi.org/10.2307/2228407 Published: 01 March 1963

While privacy is a highly cherished value, few would argue with the notion that absolute privacy is unattainable. Individuals make choices in which they surrender a certain degree of privacy in exchange for outcomes that are perceived to be worth the risk of information disclosure. This research attempts to better understand the delicate balance between privacy risk beliefs and confidence and enticement beliefs that influence the intention to provide personal information necessary to conduct transactions on the Internet. A theoretical model that incorporated contrary factors representing elements of a privacy calculus was tested using data gathered from 369 respondents. Structural equations modeling (SEM) using LISREL validated the instrument and the proposed model. The results suggest that although Internet privacy concerns inhibit e-commerce transactions, the cumulative influence of Internet trust and personal Internet interest are important factors that can outweigh privacy risk perceptions in the decision to disclose personal information when an individual uses the Internet. These findings provide empirical support for an extended privacy calculus model.

Lévy processes form a wide and rich class of random process, and have many applications ranging from physics to finance. Stochastic calculus is the mathematics of systems interacting with random noise. For the first time in a book, Applebaum ties the two subjects together. He begins with an introduction to the general theory of Lévy processes. The second part develops the stochastic calculus for Lévy processes in a direct and accessible way. En route, the reader is introduced to important concepts in modern probability theory, such as martingales, semimartingales, Markov and Feller processes, semigroups and generators, and the theory of Dirichlet forms. There is a careful development of stochastic integrals and stochastic differential equations driven by Lévy processes. The book introduces all the tools that are needed for the stochastic approach to option pricing, including Itô's formula, Girsanov's theorem and the martingale representation theorem.

The paper begins with a review of the algebras related to Kronecker products. These algebras have several applications in system theory including the analysis of stochastic steady state. The calculus of matrix valued functions of matrices is reviewed in the second part of the paper. This calculus is then used to develop an interesting new method for the identifiication of parameters of lnear time-invariant system models.

The connection between the fractional calculus and the theory of Abel’s integral equation is shown for materials with memory. Expressions for creep and relaxation functions, in terms of the Mittag-Leffler function that depends on the fractional derivative parameter β, are obtained. These creep and relaxation functions allow for significant creep or relaxation to occur over many decade intervals when the memory parameter, β, is in the range of 0.05–0.35. It is shown that the fractional calculus constitutive equation allows for a continuous transition from the solid state to the fluid state when the memory parameter varies from zero to one.

4-manifolds: Introduction Surfaces in 4-manifolds Complex surfaces Kirby calculus: Handelbodies and Kirby diagrams Kirby calculus More examples Applications: Branched covers and resolutions Elliptic and Lefschetz fibrations Cobordisms, $h$-cobordisms and exotic ${\mathbb{R}}^{4,}$s Symplectic 4-manifolds Stein surfaces Appendices: Solutions Notation, important figures Bibliography Index.

暂无摘要（点击查看原文获取完整内容）

Views Icon Views Article contents Figures & tables Video Audio Supplementary Data Peer Review Share Icon Share Twitter Facebook Reddit LinkedIn Tools Icon Tools Reprints and Permissions Cite Icon Cite Search Site Citation R. L. Bagley, P. J. Torvik; A Theoretical Basis for the Application of Fractional Calculus to Viscoelasticity. J. Rheol. 1 June 1983; 27 (3): 201–210. https://doi.org/10.1122/1.549724 Download citation file: Ris (Zotero) Reference Manager EasyBib Bookends Mendeley Papers EndNote RefWorks BibTex toolbar search Search Dropdown Menu toolbar search search input Search input auto suggest filter your search All ContentThe Society of RheologyJournal of Rheology Search Advanced Search |Citation Search

A calculus is developed for obtaining bounds on delay and buffering requirements in a communication network operating in a packet switched mode under a fixed routing strategy. The theory developed is different from traditional approaches to analyzing delay because the model used to describe the entry of data into the network is nonprobabilistic. It is supposed that the data stream entered into the network by any given user satisfies burstiness constraints. A data stream is said to satisfy a burstiness constraint if the quantity of data from the stream contained in any interval of time is less than a value that depends on the length of the interval. Several network elements are defined that can be used as building blocks to model a wide variety of communication networks. Each type of network element is analyzed by assuming that the traffic entering it satisfies bursting constraints. Under this assumption, bounds are obtained on delay and buffering requirements for the network element; burstiness constraints satisfied by the traffic that exits the element are derived.< <ETX xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">&gt;</ETX>

The description for this book, Multiple Integrals in the Calculus of Variations and Nonlinear Elliptic Systems. (AM-105), will be forthcoming.

暂无摘要（点击查看原文获取完整内容）

By F. B. Hildebrand London: Prentice-Hall International Inc. 1962. Pp. ix + 646. Price 78s. In this revision of the same author's Advanced Calculus for Engineers published in 1949, some additional material has been added as well as a substantial number of problems. The first four chapters are concerned mainly with ordinary differential equations and include analytical, operational and numerical methods of solution.

暂无摘要（点击查看原文获取完整内容）