Results 101 to 110 of about 227,942 (203)

A Dependently Typed Ambient Calculus

, 2004
The Ambient calculus is a successful model of distributed, mobile computation, and has been the vehicle of new ideas for resource access control. Mobility types have been used to enforce elementary access control policies, expressed indirectly via ...
Lhoussaine, C., Sassone, V.
core  

Smart Monte Carlo: Various tricks using Malliavin calculus [PDF]

Current Monte Carlo pricing engines may face computational challenge for the Greeks, because of not only their time consumption but also their poor convergence when using a finite difference estimate with a brute force perturbation.
Eric Benhamou
core  

Drilling on adding, subtracting and multiplying procedures

Transformación, 2010
This paper is an attempt to systematize written procedures involved in adding, subtracting, and multiplying primary education. In elaborating the concept of system of exercise the theory of system was taken as point of departure.
Blanco, Francisco, Reyes, José Ignacio
doaj  

The Flower Calculus

CoRR
We introduce the flower calculus, a deep inference proof system for intuitionistic first-order logic inspired by Peirce's existential graphs. It works as a rewriting system over inductive objects called ''flowers'', that enjoy both a graphical interpretation as topological diagrams, and a textual presentation as nested sequents akin to coherent ...
openaire   +7 more sources

The Intrinsic Blueprint: An Introduction to Relational Calculus

This paper introduces Relational Calculus, a domain-agnostic meta-mathematical framework that reformulates continuous physical and computational systems in terms of intrinsic, dimensionless relationships.
Concas, Massimiliano
core   +1 more source

DACIA LOGAN LIVE AXLE OPTIMISATION USING COMPUTER GRAPHICS

Journal of Industrial Design and Engineering Graphics, 2017
The paper presents some contributions to the calculus and optimisation of a live axle used at Dacia Logan using computer graphics software for creating the model and afterwards using FEA evaluation to determine the effectiveness of the optimisation. Thus
Andrei Kiraly
doaj  

Realm Calculus VII: Calculus of Variations and Functional Calculus

Paper VII develops the variational and functional calculus chapter of the Realm Calculus framework. It establishes realm aware action principles, realm Euler Lagrange equations with anomaly residue, realm Hamiltonian formulation with asymmetric Legendre transform, realm Noether theorem with a two trace conservation law, realm Hamilton Jacobi equation ...
openaire   +2 more sources

Spontaneous retrograde migration of a lower ureteric calculus in a child with primary non-refluxing obstructive megaureter: a rare case report. [PDF]

Urol Case Rep
Jain P, Singhania P, Desai D, Nikam SV.
europepmc   +1 more source

The Oral Microbiome of King Richard III of England. [PDF]

Am J Biol Anthropol
Velsko IM, Hübner A, Fagernäs Z, Yates JAF, Mann AE, Hofman CA, Ozga AT, Lewis CM, Speller C, Fiddyment S, Francken M, Wahl J, Krause J, Radini A, King T, Warinner C.   +15 more
europepmc   +1 more source

Rectovesical Fistula Caused by a Self-Inserted Intravesical Foreign Body Immobilized by a Giant Vesical Calculus: A Case Report. [PDF]

IJU Case Rep
Hikawa K, Mochizuki T, Yano F, Furuya S, Takahashi K, Hirose K, Shimura H, Kira S, Sawada N, Mitsui T.   +9 more
europepmc   +1 more source