Curriculum Vitae John Peter Fitch Personal Details: Employment Record
Total Page:16
File Type:pdf, Size:1020Kb
Load more
Recommended publications
-
Sage: Unifying Mathematical Software for Scientists, Engineers, and Mathematicians
Sage: Unifying Mathematical Software for Scientists, Engineers, and Mathematicians 1 Introduction The goal of this proposal is to further the development of Sage, which is comprehensive unified open source software for mathematical and scientific computing that builds on high-quality mainstream methodologies and tools. Sage [12] uses Python, one of the world's most popular general-purpose interpreted programming languages, to create a system that scales to modern interdisciplinary prob- lems. Sage is also Internet friendly, featuring a web-based interface (see http://www.sagenb.org) that can be used from any computer with a web browser (PC's, Macs, iPhones, Android cell phones, etc.), and has sophisticated interfaces to nearly all other mathematics software, includ- ing the commercial programs Mathematica, Maple, MATLAB and Magma. Sage is not tied to any particular commercial mathematics software platform, is open source, and is completely free. With sufficient new work, Sage has the potential to have a transformative impact on the compu- tational sciences, by helping to set a high standard for reproducible computational research and peer reviewed publication of code. Our vision is that Sage will have a broad impact by supporting cutting edge research in a wide range of areas of computational mathematics, ranging from applied numerical computation to the most abstract realms of number theory. Already, Sage combines several hundred thousand lines of new code with over 5 million lines of code from other projects. Thousands of researchers use Sage in their work to find new conjectures and results (see [13] for a list of over 75 publications that use Sage). -
Design and Implementation of a Modern Algebraic Manipulator for Celestial Mechanics
Design and implementation of a modern algebraic manipulator for Celestial Mechanics Francesco Biscani January 30, 2008 “Design and implementation of a modern algebraic manipulator for Celestial Me- chanics”, by Francesco Biscani ([email protected]), is licensed under a Creative Commons Attribution-Noncommercial-Share Alike 3.0 Unported License (http://creativecommons.org/licenses/by/3.0/). Copyright © 2007 by Francesco Biscani. Created with LYX and X TE EX. Dedicata alla memoria di Elisa. Summary¹ e goals of this research are the design and implementation of a modern and efficient algebraic manipulator specialised for Celestial Mechanics. Specialised algebraic manipulators are funda- mental tools both in classical Celestial Mechanics and in modern studies on the behaviour of dynamical systems, and they are routinely employed in such diverse tasks as the elaboration of theories of motion of celestial bodies, geodetical and terrestrial orientation studies, perturbation theories for artificial satellites and studies about the long-term evolution of the Solar System. Specialised manipulators for Celestial Mechanics are usually concerned with mathematical objects known as Poisson series (see Danby et al. [1966]), which are defined as multivariate Fourier series with multivariate Laurent series as coefficients: X ( ) cos P (i1y1 + i2y2 + ... + inyn) , i sin i where the Pi are multivariate polynomials. Poisson series manipulators have been developed continuously since the ’60s and today there are many different packages available (an incomplete list includes Herget and Musen [1959], Broucke and Garthwaite [1969], Jefferys [1970, 1972], Rom [1970], Bourne and Horton [1971], Babaev et al. [1980], Dasenbrock [1982], Richardson [1989], Abad and San-Juan [1994], Ivanova [1996], Chapront [2003b,a] and Gastineau and Laskar [2005]). -
ICL Technical Journal Volume 5 Issue 3
TECHniCAl j o u m n i Volume 5 Issue 3 May 1987 Published by INTERNATIONAL COMPUTERS LIMITED at OXFORD UNIVERSITY PRESS iCL The ICL Technical Journal is published twice a year by TECHniCRl International Computers Limited at Oxford University jouRnfli Press. Editor J. Howlett ICL House, Putney, London SW15 ISW, UK Editorial Board J. Howlett (Editor) F.F. Land H.M. Cropper (F International) (London School of Economics & D.W. Davies, FRS Political Science) G.E. Felton K.H. Macdonald M.D. Godfrey M R. Miller C.H.L. Goodman (British Telecom Research (Standard Telephone Laboratories) Laboratories and Warwick J.M. Pinkerton University) E.C.P. Portman All correspondence and papers to be considered for publication should be addressed to the Editor. The views expressed in the papers are those of the authors and do not necessarily represent ICL policy. 1987 subscription rates: annual subscription £32 UK, £40 rest of world, US $72 N. America; single issues £17 UK, £22 rest of world, US $38 N. America. Orders with remittances should be sent to the Journals Subscriptions Department, Oxford University Press, Walton Street, Oxford 0X2 6DP, UK. This publication is copyright under the Berne Convention and the Interna tional Copyright Convention. All rights reserved. Apart from any copying under the UK Copyright Act 1956, part 1, section 7, whereby a single copy of an article may be supplied, under certain conditions, for the purposes of research or private study, by a library of a class prescribed by the UK Board of Trade Regulations (Statutory Instruments 1957, No. 868), no part of this publication may be reproduced, stored in a retrieval system or transmitted in any form or by any means without the prior permission of the copyright owners. -
The Piranha Algebraic Manipulator
THE PIRANHA ALGEBRAIC MANIPULATOR FRANCESCO BISCANI∗ Key words. Celestial Mechanics, algebraic manipulation, computer algebra, Poisson series, multivariate polynomials Abstract. In this paper we present a specialised algebraic manipulation package devoted to Celestial Mechanics. The system, called Piranha, is built on top of a generic and extensible frame- work, which allows to treat eciently and in a unied way the algebraic structures most commonly encountered in Celestial Mechanics (such as multivariate polynomials and Poisson series). In this contribution we explain the architecture of the software, with special focus on the implementation of series arithmetics, show its current capabilities, and present benchmarks indicating that Piranha is competitive, performance-wise, with other specialised manipulators. 1. Introduction. Since the late Fifties ([27]) researchers in the eld of Celestial Mechanics have manifested a steady and constant interest in software systems able to manipulate the long algebraic expressions arising in the application of perturbative methods. Despite the widespread availability of commercial general-purpose algebraic manipulators, researchers have often preferred to develop and employ specialised ad- hoc programs (we recall here, without claims of completeness, [10], [31, 32], [48], [7], [4], [18], [47], [1], [29], [13, 12] and [23]). The reason for this preference lies mainly in the higher performance that can be obtained by these. Specialised manipulators are built to deal only with specic algebraic structures, and thus they can adopt fast algo- rithm and data structures and avoid the overhead inherent in general-purpose systems (which instead are designed to deal with a wide variety of mathematical expressions). The performance gap between specialised and general-purpose manipulators is often measured in orders of magnitude, especially for the most computationally-intensive operations. -
Basic Concepts and Algorithms of Computer Algebra Stefan Weinzierl
Basic Concepts and Algorithms of Computer Algebra Stefan Weinzierl Institut fur¨ Physik, Universitat¨ Mainz I. Introduction II. Data Structures III. Efficiency IV. Classical Algorithms Literature Books: D. Knuth, “The Art of Computer Programming”, Addison-Wesley, third edition, 1997 • K. Geddes, S. Czapor and G. Labahn, “Algorithms for Computer Algebra”, Kluwer, • 1992 J. von zur Gathen and J. Gerhard, “Modern Computer Algebra”, Cambridge • University Press, 1999 Lecture notes: S.W., “Computer Algebra in Particle Physics”, hep-ph/0209234. • The need for precision Hunting for the Higgs and other yet-to-be-discovered particles requires accurate and precise predictions from theory. Theoretical predictions are calculated as a power expansion in the coupling. Higher precision is reached by including the next higher term in the perturbative expansion. State of the art: Third or fourth order calculations for a few selected quantities (R-ratio, QCD β- • function, anomalous magnetic moment of the muon). Fully differential NNLO calculations for a few selected 2 2 and 2 3 processes. • ! ! Automated NLO calculations for 2 n (n = 4::6;7) processes. • ! Computer algebra programs are a standard tool ! History The early days, mainly LISP based systems: 1965 MATHLAB 1958 FORTRAN 1967 SCHOONSHIP 1960 LISP 1968 REDUCE 1970 SCRATCHPAD, evolved into AXIOM 1971 MACSYMA 1979 muMATH, evolved into DERIVE Commercialization and migration to C: 1981 SMP, with successor MATHEMATICA 1972 C 1988 MAPLE 1992 MuPAD Specialized systems: 1975 CAYLEY (group theory), with -
Fcommi SS IONEN for DE EUROPÆISKE FÆLLESSKABER
fcoMMI SS IONEN FOR DE EUROPÆISKE FÆLLESSKABER KOM(93) 454 end«lig udg. Bruxelles, den 22. oktober 1993 (forelagt af Kommissionen) EVALUERINGSRAPPORT VEDRØRENDE DET STATISTISKE PROGRAM 1989-1992 INDHOLD INDHOLD FORORD 8 INDLEDNING ; 9 DEL 1 - SAMMENFATNING .. 9 I. Målsætninger for det statistiske program 1989-1992 JO II. Overvågning af det statistiske program 10 III. Gennemførelsen af det statistiske program 1989-1992 11 III.A. Redskaber til gennemførelsen 11 III.B. Aktioner for gennemførelsen 12 III.B.1. Den almindelige koordinering i institutionerne 12 III.B.2. Dialogen med de nationale statistiksystemer 12 III.B.3. Det internationale statistiske samarbejde 12 IV. Midler til opfyldelse af de fastlagte målsætninger 13 V. Budget for det statistiske program 17 VI. Evaluering af de overordnede resultater 19 DEL 2: SAMMENFATNING AF RESULTATER SAMT PROBLEMER VED IVÆRKSÆTTELSEN AF DE STATISTISKE PROGRAMMER, DER ER UDARBEJDET I FORBINDELSE MED FÆLLESSKABSPOLITIKKER 22 I. STATISTISKE OPGAVER INDEN FOR RAMMERNE AF DEN EUROPÆISKE FÆLLES AKT ;............22 I.A. Statistiske opgaver med henblik på virkeliggørelsen af det indre marked 22 I.A.1. Standardisering og beskyttelse af fortrolige oplysninger 22 I.A.2 Statistik over EF-samhandelen efter 1992 22 I.A.3. Virksomhedsstatistik 24 - Page 2 - EVALUERINGSRAPPORT VEDRØRENDE DET STATISTISKE PROGRAM 1989-1992 INDHOLD I.B. Statistik med henblik på etablering af et udvidet økonomisk og socialt samarbejde 24 I.B.1. Statistik til styrkelse af den sociale og økonomiske samhørighed - standardisering 24 I.B.2. Statistik til styrkelse af det sociale samarbejde 25 I.B.3. Statistik til støtte for Den Økonomiske og Monetære Union 28 I.B.4. -
Chapter1 History of Computer Security
Chapter1 History of Computer Security Those who do not learn from the past will repeat it. George Santanya Security is a journey, not a destination. Computer security has been travelling for 40 years, and counting. On this journey, the challenges faced have kept changing, as have the answers to familiar challenges. This first chapter will trace the history of computer security, putting security mechanisms into the perspective of the IT landscape they were developed for. OBJECTIVES • Give an outline of the history of computer security. • Explain the context in which familiar security mechanisms were originally developed. • Show how changes in the application of IT pose new challenges in computer security. • DiscussCOPYRIGHTED the impact of disruptive technologies MATERIAL on computer security. 2 1 HISTORY OF COMPUTER SECURITY 1.1 THE DAWN OF COMPUTER SECURITY New security challenges arise when new – or old – technologies are put to new use. The code breakers at Bletchley Park pioneered the use of electronic programmable computers during World War II [117, 233]. The first electronic computers were built in the 1940s (Colossus, EDVAC, ENIAC) and found applications in academia (Ferranti Mark I, University of Manchester), commercial organizations (LEO, J. Lyons & Co.), and government agencies (Univac I, US Census Bureau) in the early 1950s. Computer security can trace its origins back to the 1960s. Multi-user systems emerged, needing mechanisms for protecting the system from its users, and the users from each other. Protection rings (Section 5.6.4) are a concept dating from this period [108]. Two reports in the early 1970s signal the start of computer security as a field of research in its own right. -
Applications of Computer Algebra
22nd Conference on Applications of Computer Algebra ACA 2016 Kassel (Germany) st th August 1 – 4 Chairs Wolfram Koepf and Werner Seiler (general) Georg Regensburger Winfried Neun Michael Wester (program) Advisory Committee: Eugenio Roanes-Lozano Stanly Steinberg Michael Wester Contact: [email protected] Deadline for submissions: March 31st, 2016 submission of session proposals May 29th, 2016 submission of talks Notification of acceptance: 1 July 13th, 2016 http://www.mathematik.uni-kassel.de/ACA2016 Contents Sponsors vi Schedule vii Plenary Talks 1 Computer Algebra Systems and the Lambert W Function D. Jeffrey .........................................2 Real Problems over the Reals: From Complete Elimination Procedures to Subtropical Decisions T. Sturm .........................................2 Exploring a Homotopy Approach to the Science of Data: Huge Scenarios, Topological Scintigraphy and Flagellate Structures P. Real ..........................................2 Sponsor Talks 3 What's New in Mathematica? S. Szurmant ........................................4 What's New in Maple 2016? J. Gerhard ........................................4 S1 Computer Algebra for Modeling in Science and Engineering 5 Application of Computer Algebra System and the Mean-Value Theory for Evaluating Electrostatic Potential and its Associated Field for Nontrivial Configurations H. Sarafian ........................................6 Experimental and Finite Elements Stress Analysis of a Double Edge Notched Specimen A. Bilek, M. Beldi, T. Cherfi, S. Djebali and S. Larbi ................ 12 Modelling and Simulation of Solid Particle Sidementation in an Incompressible Newtonian Fluid S. Zouaoui, H. Djebouri, A. Bilek and K. Mohammedi ................ 18 Interfacing KetCindy and CASs, and its Applications to Scientific Problems Modeling S. Takato, J. A. Vallejo and M. Kaneko ........................ 23 On the Visualization of Random Fibonacci-Padovan Sequences T. Myll¨ari,A. -
A Statistical Examination of the Evolution of the UNIX System
1 IMPERIAL COLLEGE OF SCIENCE, TECHNOLOGY AND MEDICINE University of London A Statistical Examination of The Evolution of the UNIX System by Shamim Sharifuddin Pirzada September 1988 A thesis submitted for the Degree of Doctor of Philosophy of the University of London and for the Diploma of Membership of the Imperial College. 2 ABSTRACT The UNIX system is one of the most successful operating systems in use today. However, due to its age, and in view of the tendencies of other operating systems to degenerate over time, concern has been expressed about its potential for further evolution. Modelling techniques have been proposed to view and predict the evolution of software but they have not yet been sufficiently evaluated. The project uses one such technique, developed by Lehman and others, to examine the evolution of UNIX and attempt a prognosis for its future. Hence it critically evaluates Lehman's concepts of program evolution. A brief survey of quantitative software modelling techniques is given with particular emphasis on models which predict the behaviour of software systems already in use. The development of Lehman's "Theory of Program Evolution" is reviewed and the implications of the hypotheses proposed in the theory are discussed. Also, the history of UNIX is presented as a sequence of releases from the main UNIX centres in the Bell System and the University of California, Berkeley. An attempt is made to construct statistical models of the UNIX evolution process by plotting the progress of the three main branches of the UNIX evolution tree (Research UNIX, the System V stream and BSD/UNDC) in terms of changes in various system and process attributes such as size, growth-rate, work- rate and staffing. -
PV109: Historie a V´Yvojov´Etrendy Ve VT Operaˇcn´Isyst´Emy
PV109: Historie a v´yvojov´etrendy ve VT Operaˇcn´ısyst´emy LudˇekMatyska Fakulta informatiky Masarykovy univerzity podzim 2016 LudˇekMatyska (FI MU) PV109: Historie a v´yvojov´etrendy ve VT podzim 2016 1 / 29 Poˇc´ıtaˇcebez operaˇcn´ıhosyst´emu Obvykl´eve svˇetˇecca do 50. let, u n´asd´ele Programov´an´ıHW { strojov´yk´od Veˇsker´aobsluha z ovl´adac´ıhopultu Program nˇekdymusel obsahovat i zav´adˇec´ıˇc´ast Na poˇc´ıtaˇcivˇzdy bˇeˇzelpouze jeden program LudˇekMatyska (FI MU) PV109: Historie a v´yvojov´etrendy ve VT podzim 2016 2 / 29 Z´arodky prvn´ıchOS C´ılembylo minimalizovat prostoje mezi ´ulohami Nˇekdyintegrov´anys pˇrekladaˇcem Hlavn´ıkomponenta - jazyk pro ˇr´ızen´ı´uloh Job Control Language, JCL Pozdˇejii dalˇs´ıfunkce, zprvu opˇetty, kter´eminimalizuj´ıprostoje spooling oˇsetˇren´ıchyb LudˇekMatyska (FI MU) PV109: Historie a v´yvojov´etrendy ve VT podzim 2016 3 / 29 Komponenty modern´ıchOS Spr´avaprocesor˚u Spr´avaproces˚ua vl´aken Spr´avahlavn´ı(operaˇcn´ı)pamˇet'i Spr´avasoubor˚u Spr´avaI/O zaˇr´ızen´ı Spr´avavnˇejˇs´ı(sekund´arn´ı)pamˇeti Networking, distribuovan´esyst´emy Syst´emochran Interpret pˇr´ıkaz˚u{ CLI/GUI Syst´emov´eprogramy Rozhran´ı(sluˇzeb)OS pro uˇzivatele V minulosti se za souˇc´astOS povaˇzovalymnohdy i pˇrekladaˇce LudˇekMatyska (FI MU) PV109: Historie a v´yvojov´etrendy ve VT podzim 2016 4 / 29 ZOS { Z´akladn´ıOperaˇcn´ıSyst´em Urˇcenpro poˇc´ıtaˇcZPA 600 (modernizovan´yEPOS2) v 60. letech Velmi jednoduch´ysyst´em Zajiˇst'oval pouze prov´adˇen´ıakc´ıpodle pokyn˚uuˇzivatele Zad´av´an´ıpˇr´ıkaz˚u konzola (psac´ıstroj) sn´ımaˇcdˇern´ychˇst´ıtk˚u Uloˇzenkomplˇenˇeve statick´epamˇeti, Pozdˇejinˇekter´eˇc´astina magnetick´ep´asce LudˇekMatyska (FI MU) PV109: Historie a v´yvojov´etrendy ve VT podzim 2016 5 / 29 IBM DOS (1966) D´avkov´ezpracov´an´ı´uloh Urˇcen´ypro menˇs´ımodely ˇradyIBM 360 Ovl´ad´an´ız dˇern´ychˇst´ıtk˚ua z konzoly Uloˇzenna magnetick´emdisku Multiprogramov´an´ıs max. -
ICL Technical Journal Volume 7 Issue 2
ICL TECHNICAL JOURNAL Volume 7 Issue 2 November 1990 Published by International Computers Limited at Oxford University Press AN STC COMPANY iCL TECHNICAL JOURNAL The ICL Technical Journal is published twice a year by International Computers Limited at Oxford University Press. Editor J.M.M. Pinkerton ICL, Lovelace Road, Bracknell, Berks RG12 4SN Editorial Board J.M.M. Pinkerton (Editor) A. Rowley P.J. Cropper M.R. Miller D.W. Davies FRS (British Telecom Research G.E. Felton Laboratories) P. Galais (ICL France) E.C.P. Portman M.D. Godfrey (Imperial College, B.C. Warboys (University London University) of Manchester) J. Howlett H.J. Winterbotham F.F. Land (STC Technology Ltd.) (London Business School) All correspondence and papers to be considered for publication should be addressed to the Editor. The views expressed in the papers are those of the authors and do not necessarily represent ICL policy. 1990 subscription rates: annual subscription £40 UK, £44 EEC, £48 rest of world, US $95 N. America; single issues £22 UK, £25 EEC, £27 rest of world, US $52 N. America. Orders with remittances should be sent to the Journals Subscriptions Department, Oxford University Press, Pinkhill House, Southfield Road, Eynsham, Oxford 0X8 1JJ. This publication is copyright under the Berne Convention and the Inter national Copyright Convention. All rights reserved. Apart from any copying under the UK Copyright Act 1956, part 1, section 7, whereby a single copy of an article may be supplied, under certain conditions, for the purposes of research or private study, by a library of a class prescribed by the UK Board of Trade Regulations (Statutory Instruments 1957, No. -
Roberto De Holanda Christoph Engenharia De Software Para
Roberto de Holanda Christoph Engenharia de software para software livre Dissertação apresentada ao Departamento de Informática da Pontifícia Universidade Católica do Rio de Janeiro, como parte dos requisitos para a obtenção de grau de Mestre em Informática. Orientador: Julio Cesar Sampaio do Prado Leite Todos os direitos reservados. É proibida a reprodução total ou parcial do trabalho sem a autorização da universidade, do autor e do orientador. Roberto de Holanda Christoph Graduou-se em Engenharia de Computação (Pontifícia Universidade Católica do Rio de Janeiro) em 2002. Trabalhou em diversos lugares, entre eles está no LES (Laboratório de Engenharia de Software) da PUC-Rio durante seu período de graduação e pós-graduação. Participou de diversos projetos no laboratório, entre eles o C&L, um software livre que implementa um ambiente colaborativo para a edição de cenários e léxicos. Tem grande interesse na área de Engenharia de Software, principalmente na parte de Engenharia de Requisitos. Ficha catalográfica Christoph, Roberto de Holanda Engenharia de software para software livre / Roberto de Holanda Christoph; orientador: Julio Cesar Sampaio do Prado Leite. Rio de Janeiro: PUC, Departamento de Informática, 2004. 118 f .: il. ; 29,7 cm Dissertação (mestrado) – Pontifícia Universidade Católica do Rio de Janeiro, Departamento de Informática. Inclui referências bibliográficas. 1. Informática – Teses. 2. Requisitos. 3. Engenharia de Software. 4. Software Livre. 5. Cenários. 6. Léxicos. I. Leite, Julio Cesar Sampaio do Prado. II. Pontifícia Universidade Católica do Rio de Janeiro. Departamento de Informática. III. Título. CDD 004 ii Agradecimentos Aos funcionários, professores e alunos da PUC-Rio, e a todos aqueles que acreditaram em mim e me auxiliaram neste longo caminho.