Languages
Pages
Legal
Explore all categories to find your favorite topic
Donaldson Invariants and Moduli of Yang-Mills Instantons Jacob Gross Lincoln College Oxford University (slides posted at users.ox.ac.uk/∼linc4221) The ASD Equation in Low…
JOURNAL OF PURE AND ELSEVIER Journal of Pure and Applied Algebra 117 & 118 (1997) 353-379 APPLIED ALGEBRA An algorithm for computing invariants of differential Galois…
Dynamically Discovering Likely Program Invariants to Support Program Evolution Michael D Ernst Jake Cockrell William G Griswold Member IEEE and David Notkin Member IEEE Computer…
Analyzing Invariants in Cyber-Physical Systems using Latent Factor Regression Marjan Momtazpour1 Jinghe Zhang2 Saifur Rahman2 Ratnesh Sharma3 Naren Ramakrishnan1 1Discovery…
Verifying Architecture Jaein Jeong Johnathon Jamison This presentation will probably involve audience discussion, which will create action items. Use PowerPoint to keep track…
PowerPoint Presentation Verifying Funds Verifying Funds We are looking to verify the funds that are being used to close the transaction Part of the documentation process…
msp Geometry Topology Monographs 18 2012 253–289 An introduction to categorifying quantum knot invariants BEN WEBSTER We construct knot invariants categorifying the quantum…
Math Ann 287 39t--411 1990 I lthmmtkale A m �9 Springer-Verlag 1990 Symmetric invariants and cohomology of groups Alejandro Adem 1* John Maginnis 2* and R James Milgram…
GENERAL THEORY OF MODULAR INVARIANTS* BY LEONARD EUGENE DICKSON Introduction The discovery of the fundamental theorems established in the first part of the present paper…
In search of the spectrum Tom Leinster University of Edinburgh Meanings of ‘spectrum’ Physics chemistry: emissionabsorption spectra, mass spectroscopy, etc. Linear algebra:…
Invariants to affine transform What is affine transform? Why is affine transform important? Affine transform is a good approximation of projective transform Projective transform…
ÉLIE CARTAN Lessons on Integral Invariants Translated by D.H. Delphenich HERMANN Editors for the sciences and arts, 156, boulevard Saint-Germain, Paris VI 1922 TABLE OF…
1 PN - qualitative invariants We study Petri nets equilibrium with an eye on developing this later for the more sophisticated modeling languages Kappa. We will keep the same
University of Maryland [email protected] University of Maryland [email protected] Abstract A model of market microstructure invariance is presented based on the
habilitation3.dviListe des publications [P1 ] Hyperdeterminants on semilattices, à paraître dans Linear and Multi- linear algebra. [P2 ] avec G. Duchamp, J.-C.
Smacc: a Compiler-Compiler John Brant, Jason Lecerf, Thierry Goubier, Stéphane Ducasse The Pharo Booklet Collection — edited by S. Ducasse September 16, 2017 master@bee1e4f…
Braid invariants for non-linear differential equations Braid invariants for non-linear differential equations ISBN: 978-94-6191-654-9 THOMAS STIELTJES INSTITUTE FOR MATHEMATICS…
Introduction to Geometric Knot Theory 1: Knot invariants defined by minimizing curve invariants Jason Cantarella University of Georgia ICTP Knot Theory Summer School Trieste…
Monotone sets Cardinal invariants Mon and its cardinal invariants Open problems Special Session on Large Cardinals and the Continuum AMS meeting Los Angeles October 2010…
Verifying Message-Passing Programs with Dependent Behavioural Types Alceste Scalas Imperial College London and Aston University, Birmingham UK [email protected] Nobuko…