Tox Issues with virtualenv GNU Guix guix-tox. Guix-tox. A functional version of tox. Cyril Roelandt January 30, /35
|
|
- Katrina Bell
- 5 years ago
- Views:
Transcription
1 A functional version of tox January 30, /35
2 OpenStack developer at Red Hat since 2013 developer 2/35
3 1 2 Only Python packages can be installed Reproducibility One package manager per language 3 4 Goal Demo Drawbacks 3/35
4 : Automate/standardize testing of Python software Run tests with various congurations Widely used Uses virtualenv 4/35
5 Various user-dened congurations: $ t o x l py34 # Run t h e t e s t s u i t e w i t h Python 3. 4 py27 # Run t h e t e s t s u i t e w i t h Python 2. 7 pypy # Run t h e t e s t s u i t e w i t h PyPy pep8 # F i n d s t y l i s t i c i s s u e s d o c s # B u i l d t h e doc 5/35
6 Running tests: $ t o x epep8 pep8 c r e a t e : /home/ c y r i l / o p e n s t a c k / python n o v a c l i e n t /. t o x / pep8 pep8 i n s t a l l d e p s : r /home/ c y r i l / o p e n s t a c k / python n o v a c l i e n t / r e q u i r e m e n t s. t x t, r /home/ c y r i l / o p e n s t a c k / python n o v a c l i e n t / t e s t r e q u i r e m e n t s. t x t pep8 r u n t e s t s : PYTHONHASHSEED= ' ' pep8 r u n t e s t s : commands [ 0 ] f l a k e 8. / n o v a c l i e n t / v2 / s h e l l. py : : 1 0 : E211 w h i t e s p a c e b e f o r e ' ( ' p r i n t (_(" S e r v e r s u p p o r t e d API v e r s i o n s : " ) ) ERROR : I n v o c a t i o n E r r o r : ' / home/ c y r i l / o p e n s t a c k / python n o v a c l i e n t /. t o x / pep8 / b i n / f l a k e 8 ' ERROR : pep8 : commands f a i l e d 6/35
7 creates a virtualenv for each conguration: $ l s. t o x / l o g pep8 Users may ask tox to completely recreate a given environment: $ t o x r epep8 7/35
8 Only Python packages can be installed Reproducibility One package manager per language Table of contents 1 2 Only Python packages can be installed Reproducibility One package manager per language 3 4 Goal Demo Drawbacks 8/35
9 Only Python packages can be installed Reproducibility One package manager per language Issue: ( l i b f f i t e s t ) $ p i p i n s t a l l c f f i x86_64 l i n u x gnu gcc... c / _ c f f i _ b a c k e n d. c : 1 3 : 1 7 : f a t a l e r r o r : f f i. h : No s u c h f i l e o r d i r e c t o r y #i n c l u d e < f f i. h> ^ c o m p i l a t i o n t e r m i n a t e d. e r r o r : command ' x86_64 l i n u x gnu gcc ' f a i l e d w i t h e x i t s t a t u s 1 9/35
10 Only Python packages can be installed Reproducibility One package manager per language Fix: # apt g e t i n s t a l l l i b f f i dev Or: # yum i n s t a l l... Or... # $distro_pkg_manager i n s t a l l $missing_pkg 10/35
11 Only Python packages can be installed Reproducibility One package manager per language What version of lib will be used? Debian Stable/Testing/Unstable (+ Debian patches) Fedora X (+ Fedora patches) Package from another distribution "Vanilla" version manually installed from a tarball -> Dierent behaviours 11/35
12 Only Python packages can be installed Reproducibility One package manager per language Table of contents 1 2 Only Python packages can be installed Reproducibility One package manager per language 3 4 Goal Demo Drawbacks 12/35
13 Only Python packages can be installed Reproducibility One package manager per language Environment variables can change the behaviour of a program: $ LANG=C p y t hon3 c " p r i n t ( ' é ' ) " Unable to decode the command from the command l i n e : U n i c o d e E n c o d e E r r o r : ' u t f 8' c o d e c can ' t e ncode c h a r a c t e r ' \ udcc3 ' i n p o s i t i o n 7 : s u r r o g a t e s n o t a l l o w e d $ LANG=en_US. UTF 8 p y thon3 c " p r i n t ( ' é ' ) " é Two developers may witness dierent behaviours depending on the value of "LANG". 13/35
14 Only Python packages can be installed Reproducibility One package manager per language External commands may be used even though the virtual environment has no control over them: $ c a t t o x. i n i [ t o x ] e n v l i s t =py34 [ t e s t e n v ] w h i t e l i s t _ e x t e r n a l s =/ b i n / echo commands= echo " S t a r t i n g t e s t s " p y t h o n t e s t. py The "echo" command might not be the exact same on all machines. A valid tox.ini might even use more complex commands instead of "echo"... 14/35
15 Only Python packages can be installed Reproducibility One package manager per language Table of contents 1 2 Only Python packages can be installed Reproducibility One package manager per language 3 4 Goal Demo Drawbacks 15/35
16 Only Python packages can be installed Reproducibility One package manager per language Current trend: one language => one package manager Python -> pip Perl -> cpan Javascript -> npm... 16/35
17 Table of contents 1 2 Only Python packages can be installed Reproducibility One package manager per language 3 4 Goal Demo Drawbacks 17/35
18 Based on Nix Written in GNU Guile (Scheme) Per-user package management Rollbacks Functional 18/35
19 *Functional* package manager: As in "functional programming" A package is a "function" Parameters: version, tarball URL, inputs... Return value: directory in /gnu/store 19/35
20 Example: the "hello" package ( d e f i n e p u b l i c h e l l o ( p a c k a g e ( name " h e l l o ") ( v e r s i o n " " ) ( s o u r c e ( o r i g i n ( method u r l f e t c h ) ( u r i ( s t r i n g append " m i r r o r : / / gnu / h e l l o / h e l l o " v e r s i o n ". t a r. gz ") ) ( sha256 ( b a s e 3 2 "0 s s i 1 w p a f 7 p l a s w q q j w i g p p s g 5 f y h 9 9 v d l b 9 k z l 7 c 9 l n g 8 9 n d q 1 i ") ) ) ) ( build system gnu build system ) ( s y n o p s i s " H e l l o, GNU w o r l d : An example GNU p a c k a g e ") ( d e s c r i p t i o n "GNU H e l l o p r i n t s t h e message \" H e l l o, w o r l d! \ " and t h e n e x i t s. I t s e r v e s a s an example o f s t a n d a r d GNU c o d i n g p r a c t i c e s. As such, i t s u p p o r t s command l i n e arguments, m u l t i p l e l a n g u a g e s, and s o on. " ) ( home page " h t t p : / /www. gnu. o r g / s o f t w a r e / h e l l o /") ( l i c e n s e g p l 3 +) ) ) 20/35
21 Example: installing "hello" $ g u i x p a c k a g e i h e l l o The f o l l o w i n g p a c k a g e w i l l be i n s t a l l e d : h e l l o / gnu / s t o r e /6 b 2 s x s h m s s l d m j 2 k v 1 s k k k y h e l l o p a c k a g e s i n p r o f i l e $ which h e l l o /home/ c y r i l /. g u i x p r o f i l e / b i n / h e l l o $ l s l /home/ c y r i l /. g u i x p r o f i l e / b i n / h e l l o /home/ c y r i l /. g u i x p r o f i l e / b i n / h e l l o > / gnu / s t o r e /6 b 2 s x s h m s s l d m j 2 k v 1 s k k k y h e l l o 2.10/ b i n / h e l l o 21/35
22 Table of contents 1 2 Only Python packages can be installed Reproducibility One package manager per language 3 4 Goal Demo Drawbacks 22/35
23 Create a virtual environment (just like virtualenv) The user prole is left untouched Run a given command Interactive mode 23/35
24 $ g u i x e n v i r o n m e n t ad hoc p u r e which 24/35
25 $ g u i x e n v i r o n m e n t ad hoc p u r e which $ which g u i x which : no guix i n (/ gnu / s t o r e / scra07w6z2hnmackqj851rqznd7sznvm which 2.21/ b i n ) 24/35
26 $ g u i x e n v i r o n m e n t ad hoc p u r e which $ which g u i x which : no guix i n (/ gnu / s t o r e / scra07w6z2hnmackqj851rqznd7sznvm which 2.21/ b i n ) $ echo $PATH /gnu / s t o r e / scra07w6z2hnmackqj851rqznd7sznvm which 2.21/ bin 24/35
27 $ g u i x e n v i r o n m e n t ad hoc p u r e which $ which g u i x which : no guix i n (/ gnu / s t o r e / scra07w6z2hnmackqj851rqznd7sznvm which 2.21/ b i n ) $ echo $PATH /gnu / s t o r e / scra07w6z2hnmackqj851rqznd7sznvm which 2.21/ bin $ e x i t e x i t 24/35
28 $ g u i x e n v i r o n m e n t ad hoc p u r e python b a b e l p y t h o n 25/35
29 $ g u i x e n v i r o n m e n t ad hoc p u r e python b a b e l p y t h o n $ echo $PYTHONPATH /gnu / s t o r e /7 k8z2a1bqhj47hq4r4iz54cmb5y3hl7d python babel 1.3/ l i b / python3. 4 / s i t e p a c k a g e s : / gnu / s t o r e /9 i a n n n x g 7 m f n z 6 m i s i 4 n f 1 q 8 a v d j r l z r python 3.4.3/ l i b / p y t hon3. 4 / s i t e p a c k a g e s 25/35
30 $ g u i x e n v i r o n m e n t ad hoc p u r e python b a b e l p y t h o n $ echo $PYTHONPATH /gnu / s t o r e /7 k8z2a1bqhj47hq4r4iz54cmb5y3hl7d python babel 1.3/ l i b / python3. 4 / s i t e p a c k a g e s : / gnu / s t o r e /9 i a n n n x g 7 m f n z 6 m i s i 4 n f 1 q 8 a v d j r l z r python 3.4.3/ l i b / p y t hon3. 4 / s i t e p a c k a g e s $ e x i t e x i t 25/35
31 Complete isolation from the rest of the system using containers: $ g u i x e n v i r o n m e n t ad hoc p u r e c o r e u t i l s $ l s / u s r / b i n /make / u s r / b i n /make 26/35
32 Complete isolation from the rest of the system using containers: $ g u i x e n v i r o n m e n t ad hoc p u r e c o r e u t i l s $ l s / u s r / b i n /make / u s r / b i n /make $ g u i x e n v i r o n m e n t ad hoc p u r e c o n t a i n e r c o r e u t i l s # l s / u s r / b i n /make l s : c a n n o t a c c e s s / u s r / b i n /make : No s u c h f i l e o r d i r e c t o r y 26/35
33 Table of contents 1 2 Only Python packages can be installed Reproducibility One package manager per language 3 4 Goal Demo Drawbacks 27/35
34 Handling multiple versions of a single package (like virtualenv) Handling!Python packages (compilers, lib*-dev) Better isolation from the rest of the system (environment variables, unspecied commands...) 28/35
35 Goal Demo Drawbacks Table of contents 1 2 Only Python packages can be installed Reproducibility One package manager per language 3 4 Goal Demo Drawbacks 29/35
36 Goal Demo Drawbacks Keep using tox Replace virtualenv with Code : 30/35
37 Goal Demo Drawbacks Table of contents 1 2 Only Python packages can be installed Reproducibility One package manager per language 3 4 Goal Demo Drawbacks 31/35
38 Goal Demo Drawbacks $ cd python k e y s t o n e c l i e n t $ GUIX_TOX_EXTRA=o p e n s s l guix tox env=guix epy27... py27 Guix env : g u i x environment ad hoc pure python2 pbr python2 b a b e l python2 i s o python2 d e b t c o l l e c t o r python2 n e t a d d r python2 o s l o. c o n f i g python2 o s l o. i 1 8 n python2 o s l o. s e r i a l i z a t i o n python2 o s l o. u t i l s python2 p r e t t y t a b l e python2 r e q u e s t s python2 s i x python2 s t e v e d o r e python2 h a c k i n g python2 c o v e r a g e python2 d i s c o v e r python2 f i x t u r e s python2 k e y r i n g python2 l x m l python2 mock python2 o a u t h l i b python2 o s l o t e s t python2 pycrypto python2 requests mock python2 sphinx python2 t e s t r e p o s i t o r y python2 t e s t r e s o u r c e s python2 t e s t t o o l s python2 webob python2 s e t u p t o o l s python2 p b r o p e n s s l python 2 e x e c=p y t h o n s e t u p. py t e s t r s l o w e s t t e s t r a r g s=... Ran 1131 (+937) t e s t s i n s ( s ) PASSED ( i d =42, s k i p s =4)... 32/35
39 Goal Demo Drawbacks Table of contents 1 2 Only Python packages can be installed Reproducibility One package manager per language 3 4 Goal Demo Drawbacks 33/35
40 Goal Demo Drawbacks All of PyPI is not available in (but "guix import works pretty well) Some features are not supported is alpha software (but one can use " env=virtualenv") Only available on GNU/Linux 34/35
41 Goal Demo Drawbacks Join us on Freenode: #guix! 35/35
Notater: INF3331. Veronika Heimsbakk December 4, Introduction 3
Notater: INF3331 Veronika Heimsbakk veronahe@student.matnat.uio.no December 4, 2013 Contents 1 Introduction 3 2 Bash 3 2.1 Variables.............................. 3 2.2 Loops...............................
More informationScripting Languages Fast development, extensible programs
Scripting Languages Fast development, extensible programs Devert Alexandre School of Software Engineering of USTC November 30, 2012 Slide 1/60 Table of Contents 1 Introduction 2 Dynamic languages A Python
More informationDatabases through Python-Flask and MariaDB
1 Databases through Python-Flask and MariaDB Tanmay Agarwal, Durga Keerthi and G V V Sharma Contents 1 Python-flask 1 1.1 Installation.......... 1 1.2 Testing Flask......... 1 2 Mariadb 1 2.1 Software
More informationExtending MISP with Python modules MISP - Malware Information Sharing Platform & Threat Sharing
Extending MISP with Python modules MISP - Malware Information Sharing Platform & Threat Sharing MISP Project @MISPProject TLP:WHITE MISP Training - @SWITCH - 20161206 Why we want to go more modular...
More informationJug: Executing Parallel Tasks in Python
Jug: Executing Parallel Tasks in Python Luis Pedro Coelho EMBL 21 May 2013 Luis Pedro Coelho (EMBL) Jug 21 May 2013 (1 / 24) Jug: Coarse Parallel Tasks in Python Parallel Python code Memoization Luis Pedro
More informationCS429: Computer Organization and Architecture
CS429: Computer Organization and Architecture Warren Hunt, Jr. and Bill Young Department of Computer Sciences University of Texas at Austin Last updated: September 3, 2014 at 08:38 CS429 Slideset C: 1
More informationIntroduction Snippets Conclusion References. Beamer snippets. October 21, Decock Beamer snippets
Jérémie DECOCK October 21, 2014 Introduction 2 Introduction TODO TODO TODO 3 4 Basic frame Subtitle... 5 Citations and references cite, label and ref commands Eq. (1) define the Bellman equation [Bel57]
More informationPortal for ArcGIS: An Introduction
Portal for ArcGIS: An Introduction Derek Law Esri Product Management Esri UC 2014 Technical Workshop Agenda Web GIS pattern Product overview Installation and deployment Security and groups Configuration
More informationIntroduction to Portal for ArcGIS. Hao LEE November 12, 2015
Introduction to Portal for ArcGIS Hao LEE November 12, 2015 Agenda Web GIS pattern Product overview Installation and deployment Security and groups Configuration options Portal for ArcGIS + ArcGIS for
More informationAdministrivia. Course Objectives. Overview. Lecture Notes Week markem/cs333/ 2. Staff. 3. Prerequisites. 4. Grading. 1. Theory and application
Administrivia 1. markem/cs333/ 2. Staff 3. Prerequisites 4. Grading Course Objectives 1. Theory and application 2. Benefits 3. Labs TAs Overview 1. What is a computer system? CPU PC ALU System bus Memory
More informationIntroduction to Portal for ArcGIS
Introduction to Portal for ArcGIS Derek Law Product Management March 10 th, 2015 Esri Developer Summit 2015 Agenda Web GIS pattern Product overview Installation and deployment Security and groups Configuration
More informationInkscape and Python. Alex Valavanis. July 11, Institute of Microwaves and Photonics, University of Leeds
Inkscape and Python Alex Valavanis Institute of Microwaves and Photonics, University of Leeds July 11, 2014 Overview Inkscape: an intro to the project How I got involved Inkscape development My involvement
More informationMininet on OpenBSD. Using rdomains for Interactive SDN Testing and Development. Ayaka Koshibe. BSDCan
Mininet on OpenBSD Using rdomains for Interactive SDN Testing and Development Ayaka Koshibe akoshibe@openbsd.org BSDCan 2018 SDN? Anything you want it to mean... Or rather, a way to logically centralize
More informationepistasis Documentation
epistasis Documentation Release 0.1 Zach Sailer May 19, 2017 Contents 1 Table of Contents 3 1.1 Setup................................................... 3 1.2 Basic Usage...............................................
More informationLeveraging ArcGIS Online Elevation and Hydrology Services. Steve Kopp, Jian Lange
Leveraging ArcGIS Online Elevation and Hydrology Services Steve Kopp, Jian Lange Topics An overview of ArcGIS Online Elevation Analysis Using Elevation Analysis Services in ArcGIS for Desktop Using Elevation
More informationYYT-C3002 Application Programming in Engineering GIS I. Anas Altartouri Otaniemi
YYT-C3002 Application Programming in Engineering GIS I Otaniemi Overview: GIS lectures & exercise We will deal with GIS application development in two lectures. Because of the versatility of GIS data models
More informationBayesPy Documentation
BayesPy Documentation Release 0.4.1 Jaakko Luttinen April 01, 2016 Contents 1 Introduction 1 1.1 Project information............................................ 1 1.2 Similar projects..............................................
More informationCHAPTER 6 : LITERATURE REVIEW
CHAPTER 6 : LITERATURE REVIEW Chapter : LITERATURE REVIEW 77 M E A S U R I N G T H E E F F I C I E N C Y O F D E C I S I O N M A K I N G U N I T S A B S T R A C T A n o n l i n e a r ( n o n c o n v e
More informationP E R E N C O - C H R I S T M A S P A R T Y
L E T T I C E L E T T I C E I S A F A M I L Y R U N C O M P A N Y S P A N N I N G T W O G E N E R A T I O N S A N D T H R E E D E C A D E S. B A S E D I N L O N D O N, W E H A V E T H E P E R F E C T R
More informationMininet on OpenBSD. Using rdomains for Interactive SDN Testing and Development. Ayaka Koshibe. AsiaBSDCon
Mininet on OpenBSD Using rdomains for Interactive SDN Testing and Development Ayaka Koshibe akoshibe@openbsd.org AsiaBSDCon 2018 SDN? Network split into programmable nodes that handle traffic and entities
More information/home/thierry/columbia/msongsdb/tutorials/tutorial4/tutorial4.py January 25,
/home/thierry/columbia/msongsdb/tutorials/tutorial4/tutorial4.py January 25, 2011 1 26 """ 27 Thierry Bertin - Mahieux ( 2010) Columbia University 28 tb2332@ columbia. edu 29 30 This code demo the use
More informationDigital Design through Pi
1 Digital Design through Pi G V V Sharma Contents 1 Display Control through Hardware 1 1.1 Components......... 1 1.2 Software Setup........ 1 1.3 Powering the Display.... 1 1.4 Controlling the Display...
More informationPractical Bioinformatics
5/15/2015 Gotchas Indentation matters Clustering exercises Visualizing the distance matrix Loading and re-loading your functions # Use import the f i r s t time you l o a d a module # ( And keep u s i
More informationTryton Technical Training
Tryton Technical Training N. Évrard B 2CK September 18, 2015 N. Évrard (B 2 CK) Tryton Technical Training September 18, 2015 1 / 56 Overview and Installation Outline 1 Overview and Installation Tryton
More informationLocal stageout update
Local stageout update Subir Sarkar, Frank Würthwein, Johannes Mülmenstädt August 9, 2010 Big picture Local stageout requires the following pieces to be viable end-to-end: CRAB support (see Subir 7/26/2010)
More informationECS 120 Lesson 18 Decidable Problems, the Halting Problem
ECS 120 Lesson 18 Decidable Problems, the Halting Problem Oliver Kreylos Friday, May 11th, 2001 In the last lecture, we had a look at a problem that we claimed was not solvable by an algorithm the problem
More informationPackaging for major Linux distributions rpm in a nutshell
Packaging for major Linux distributions rpm in a nutshell Sebastian Hollizeck July 9 th, 2013 1 of 25 Requirements What you should have! SOURCE tar-ball BUILD instructions to build the package 2 of 25
More information. AIRE Linux. Liang Xu 1 JianFeng Zhou Review Plans Progress Call for Collaborators & Volunteers
.. AIRE Linux Benda Xu( ) 2 Zhuoxi Huo( ) 1 QiJiang Fan( ) 3 Liang Xu 1 JianFeng Zhou 1 1 Center for Astrophysics, Tsinghua University, China 2 Research Center for Neutrino Physics, Tohoku University,
More informationIntroduction to Python and its unit testing framework
Introduction to Python and its unit testing framework Instructions These are self evaluation exercises. If you know no python then work through these exercises and it will prepare yourself for the lab.
More informationAssembly Programming through Arduino
1 Assembly Programming through Arduino G V V Sharma Contents 1 Components 1 2 Seven Segment Display 1 2.1 Hardware Setup....... 1 2.2 Software Setup........ 2 2.3 Controlling the Display... 2 3 Display
More informationEBIS-PIC 2D. 2D EBIS Simulation Code. Version 0.1. Copyright ( ) January FAR-TECH, Inc Science Center Dr., Ste 150. San Diego CA 92121
EBIS-PIC 2D 2D EBIS Simulation Code Version 0.1 Copyright ( ) January 2017 by 10350 Science Center Dr., Ste 150 San Diego CA 92121 Phone 858-455-6655 Email support@far-tech.com URL http://www.far-tech.com
More informationPython. chrysn
Python chrysn 2008-09-25 Introduction Structure, Language & Syntax Strengths & Weaknesses Introduction Structure, Language & Syntax Strengths & Weaknesses Python Python is an interpreted,
More informationAlgorithms for Uncertainty Quantification
Technische Universität München SS 2017 Lehrstuhl für Informatik V Dr. Tobias Neckel M. Sc. Ionuț Farcaș April 26, 2017 Algorithms for Uncertainty Quantification Tutorial 1: Python overview In this worksheet,
More informationCISM Documentation
CISM 2.0.5 Documentation Stephen Price 1, William Lipscomb 1, Matthew Hoffman 1, Magnus Hagdorn 2, Ian Rutt 3, Tony Payne 4, Felix Hebeler 5, Joseph H. Kennedy 6 August 28, 2015 1 Group T-3, Fluid Dynamics
More informationfc-graphics4mesh Matlab toolbox, User's Guide under rhum-ubuntu lts computer
fc-graphics4mesh Matlab toolbox, User's Guide under rhum-ubuntu-16-04-3lts computer François Cuvelier December 13, 2017 Abstract This Matlab toolbox allows to display simplicial meshes or datas on simplicial
More informationFEniCS Course. Lecture 1: Introduction to FEniCS. Contributors Anders Logg André Massing
FEniCS Course Lecture 1: Introduction to FEniCS Contributors Anders Logg André Massing 1 / 15 What is FEniCS? 2 / 15 FEniCS is an automated programming environment for differential equations C++/Python
More informationContributing to Astropy: A community Python library for astronomers
Macalester Journal of Physics and Astronomy Volume 4 Issue 1 Spring 2016 Article 6 May 2016 Contributing to Astropy: A community Python library for astronomers Asra Nizami Macalester College, anizami@macalester.edu
More informationProductivity-oriented software design for geoscientific modelling
Productivity-oriented software design for geoscientific modelling Dorota Jarecka, Sylwester Arabas, Anna Jaruga University of Warsaw 2014 April 7 th UCAR SEA Software Engineering Conference 2014 Boulder,
More informationHapsembler version 2.1 ( + Encore & Scarpa) Manual. Nilgun Donmez Department of Computer Science University of Toronto
Hapsembler version 2.1 ( + Encore & Scarpa) Manual Nilgun Donmez Department of Computer Science University of Toronto January 13, 2013 Contents 1 Introduction.................................. 2 2 Installation..................................
More informationECEN 449: Microprocessor System Design Department of Electrical and Computer Engineering Texas A&M University
ECEN 449: Microprocessor System Design Department of Electrical and Computer Engineering Texas A&M University Prof. Sunil P Khatri (Lab exercise created and tested by Ramu Endluri, He Zhou and Sunil P
More informationFEniCS Course. Lecture 1: Introduction to FEniCS. Contributors Anders Logg André Massing
FEniCS Course Lecture 1: Introduction to FEniCS Contributors Anders Logg André Massing 1 / 30 What is FEniCS? 2 / 30 FEniCS is an automated programming environment for differential equations C++/Python
More informationExtending MISP with Python modules MISP - Malware Information Sharing Platform & Threat Sharing
Extending MISP with Python modules MISP - Malware Information Sharing Platform & Threat Sharing Alexandre Dulaunoy Andras Iklody TLP:WHITE June 16, 2016 Why we want to go more modular... Ways to extend
More informationApex Python library. Release 1.0.1
Apex Python library Release 1.0.1 Feb 28, 2018 Contents 1 Overview 1 1.1 Quick start................................................ 1 1.2 Documentation.............................................. 2
More informationLab Manual for ICEN 553/453 Cyber-Physical Systems Fall 2018
Lab Manual for ICEN 553/453 Cyber-Physical Systems Fall 2018 Prof. Dola Saha Assistant Professor Department of Electrical & Computer Engineering University at Albany, SUNY Chapter 1 Setup Headless Raspberry
More informationThe png2pdf program. Dipl.-Ing. D. Krause
The png2pdf program Dipl.-Ing. D. Krause July 10, 2006 Contents 1 Overview 2 2 Installation 3 2.1 Installation from source on UNIX systems............. 3 2.1.1 Prerequisitions....................... 3
More informationAppendix A Installing QUCS
Appendix A Installing QUCS In this appendix, we will discuss how to install QUCS [1]. Note that QUCS has a lot of components, many of which we will not use. Nevertheless, we will install all components
More informationCHEOPS Feasibility Checker Guidelines
CHEOPS Feasibility Checker Guidelines Open a terminal and run the following commands (USERNAME as provided by the SOC - UNIGE): ssh X USERNAME@isdc-nx00.isdc.unige.ch ssh X USERNAME@tichpsmps00 /cheops_sw/mps_test/bin/mps_client
More informationIntLinInc2D package User manual
IntLinInc2D package User manual Contents:. About the package 2. Purpose 3. Structure 4. Notation in figures 5. Examples 5.. The set of formal solutions for the interval inclusion Cx d 5.2. AE-solution
More informationFinnish Open Data Portal for Meteorological Data
18.11.2013 1 Finnish Open Data Portal for Meteorological Data 14th Workshop on meteorological operational systems Roope Tervo Finnish Meteorological Institute Example of Data Sets -- Observations Data
More informationL435/L555. Dept. of Linguistics, Indiana University Fall 2016
in in L435/L555 Dept. of Linguistics, Indiana University Fall 2016 1 / 13 in we know how to output something on the screen: print( Hello world. ) input: input() returns the input from the keyboard
More informationGLoBES. Patrick Huber. Physics Department VT. P. Huber p. 1
GLoBES Patrick Huber Physics Department VT P. Huber p. 1 P. Huber p. 2 General Long Baseline Experiment Simulator GLoBES is a software package designed for Simulation Analysis Comparison of neutrino oscillation
More informationCalibrated Virtual Urban Water Systems software tool for one partner city. Software
Calibrated Virtual Urban Water Systems software tool for one partner city Software COLOPHON Title Calibrated Virtual Urban Water Systems software tool for one partner city - Software Report number: PREPARED
More informationDue: since the calculation takes longer than before, we ll make it due on 02/05/2016, Friday
Homework 3 Due: since the calculation takes longer than before, we ll make it due on 02/05/2016, Friday Email to: jqian@caltech.edu Introduction In this assignment, you will be using a commercial periodic
More information/home/thierry/columbia/msongsdb/pyreport_tutorials/tutorial1/tutorial1.py January 23, 20111
/home/thierry/columbia/msongsdb/pyreport_tutorials/tutorial1/tutorial1.py January 23, 20111 27 """ 28 Tutorial for the Million Song Dataset 29 30 by Thierry Bertin - Mahieux ( 2011) Columbia University
More informationPractical Data Processing With Haskell
Practical Data Processing With Haskell Ozgun Ataman November 14, 2012 Ozgun Ataman (Soostone Inc) Practical Data Processing With Haskell November 14, 2012 1 / 18 A bit about the speaker Electrical Engineering,
More informationCGWAS 2013: Simulating Stellar Collapse
CGWAS 2013: Simulating Stellar Collapse C. D. Ott July 22, 2013 1 Introduction In this exercise, we will be using the code GR1D by O Connor & Ott (2010) [1] to simulate stellar collapse to a neutron star
More informationPython. Tutorial. Jan Pöschko. March 22, Graz University of Technology
Tutorial Graz University of Technology March 22, 2010 Why? is: very readable easy to learn interpreted & interactive like a UNIX shell, only better object-oriented but not religious about it slower than
More informationB u i l d i n g a n d E x p l o r i n g
B u i l d i n g a n d E x p l o r i n g ( Web) Corpora EMLS 2008, Stuttgart 23-25 July 2008 Pavel Rychlý pary@fi.muni.cz NLPlab, Masaryk University, Brno O u t l i n e (1)Introduction to text/web corpora
More informationNINE CHOICE SERIAL REACTION TIME TASK
instrumentation and software for research NINE CHOICE SERIAL REACTION TIME TASK MED-STATE NOTATION PROCEDURE SOF-700RA-8 USER S MANUAL DOC-025 Rev. 1.3 Copyright 2013 All Rights Reserved MED Associates
More informationThe Use of R Language in the Teaching of Central Limit Theorem
The Use of R Language in the Teaching of Central Limit Theorem Cheang Wai Kwong waikwong.cheang@nie.edu.sg National Institute of Education Nanyang Technological University Singapore Abstract: The Central
More informationarxiv:hep-ph/ v1 29 Jul 2004
TUM-HEP-553/4 Simulation of long-baseline neutrino oscillation experiments with GLoBES (General Long Baseline Experiment Simulator) P. Huber a, M. Lindner b, and W. Winter c arxiv:hep-ph/47333 v1 29 Jul
More informationIntroduction to CCN-lite
Introduction to CCN-lite Christopher Scherb, Claudio Marxer, Christian Tschudin University of Basel Department for Mathematics and Computer Science Computer Networking Group ACM ICN 2017 Introduction CCN-lite
More informationFundamentals of Computational Science
Fundamentals of Computational Science Dr. Hyrum D. Carroll August 23, 2016 Introductions Each student: Name Undergraduate school & major Masters & major Previous research (if any) Why Computational Science
More informationTensorFlow. Dan Evans
TensorFlow Presentation references material from https://www.tensorflow.org/get_started/get_started and Data Science From Scratch by Joel Grus, 25, O Reilly, Ch. 8 Dan Evans TensorFlow www.tensorflow.org
More informationBasics HTTP. requests. Ryan E. Freckleton. PySprings. May 24, 2016
PySprings May 24, 2016 >>> import r e q u e s t s >>> r = r e q u e s t s. g e t ( h t t p s : / / a p i. g i t h u b. com/ u s e r, auth=( u s e r, p a s s ) ) >>> r. status_code 401 >>> r. h e a d e
More informationV I A T. D e v e l o p e r ' s. v 0. 4
V I A T D e v e l o p e r ' s G u i d e v 0. 4 Verfahren zur Identikation und Abwehr von Telefon-SPAM (Translation: Method for the Identication and Blocking of Telephone-SPAM ) Prof. Dr. Heiko Knospe M.Sc.
More informationUser's Guide. 0 Contents. François Cuvelier December 16, Introduction 2
User's Guide François Cuvelier December 16, 2017 Abstract This Matlab toolbox uses a simesh object, comming from the fcsimesh toolbox, to display simplicial meshes or datas on simplicial meshes. Its kernel
More informationMapOSMatic, free city maps for everyone!
MapOSMatic, free city maps for everyone! Thomas Petazzoni thomas.petazzoni@enix.org Libre Software Meeting 2012 http://www.maposmatic.org Thomas Petazzoni () MapOSMatic: free city maps for everyone! July
More informationDouble Inverted Pendulum (DBIP)
Linear Motion Servo Plant: IP01_2 Linear Experiment #15: LQR Control Double Inverted Pendulum (DBIP) All of Quanser s systems have an inherent open architecture design. It should be noted that the following
More informationReminders. HW1 out, due 10/19/2017 (Thursday) Group formations for course project due today (1 pt) Join Piazza (
CS 145 Discussion 2 Reminders HW1 out, due 10/19/2017 (Thursday) Group formations for course project due today (1 pt) Join Piazza (email: juwood03@ucla.edu) Overview Linear Regression Z Score Normalization
More informationThe integration of land change modeling framework FUTURES into GRASS GIS 7
The integration of land change modeling framework FUTURES into GRASS GIS 7 Anna Petrasova, Vaclav Petras, Douglas A. Shoemaker, Monica A. Dorning, Ross K. Meentemeyer NCSU OSGeo Research and Education
More informationSimulated Data Sets and a Demonstration of Central Limit Theorem
Simulated Data Sets and a Demonstration of Central Limit Theorem Material to accompany coverage in Hughes and Hase. Introductory section complements Section 3.5, and generates graphs like those in Figs.3.6,
More informationScientific Programming in C XIII. Shell programming
Scientific Programming in C XIII. Shell programming Susi Lehtola 11 December 2012 Introduction Often in scientific computing one needs to do simple tasks related to renaming of files file conversions unit
More informationCiA Draft Standard Proposal CANopen. Application Profile for Lift Control Systems. Part 2: Virtual device definitions
CiA Draft Standard Proposal 417-2 CANopen Application Profile for Lift Control Systems Part 2: Virtual device definitions This is a draft standard proposal and may be changed without notification. Version
More informationFlight Utilities Metar Reader version 3.1 by Umberto Degli Esposti
Flight Utilities http://www.flightutilities.com Metar Reader version 3.1 by Umberto Degli Esposti 1 Description The program allows inserting a Metar, to load it from a disk or from internet and to show
More informationpygmm Documentation Release Albert Kottke
pygmm Documentation Release 0.3.0 Albert Kottke March 16, 2016 Contents 1 pygmm 3 1.1 Features.................................................. 3 1.2 Credits..................................................
More informationSupplementary Material
Supplementary Material Contents 1 Keywords of GQL 2 2 The GQL grammar 3 3 THE GQL user guide 4 3.1 The environment........................................... 4 3.2 GQL projects.............................................
More informationM etodos Matem aticos e de Computa c ao I
Métodos Matemáticos e de Computação I Complex Systems 01/16 General structure Microscopic scale Individual behavior Description of the constituents Model Macroscopic scale Collective behavior Emergence
More informationIntelMQ - a KISS incident handling automation project (IHAP)
IntelMQ - a KISS incident handling automation project (IHAP) L. Aaron Kaplan kaplan@cert.at Sebastian Wagner wagner@cert.at Tomás Lima tomas.lima@cert.pt 2015-11-21 Overview 1 cert.at 2 Motivation 3 Intro
More informationQuantum Computing is Here, Powered by Open Source. Konstantinos Karagiannis CTO, Security Consulting BT
Quantum Computing is Here, Powered by Open Source Konstantinos Karagiannis CTO, Security Consulting BT Americas @KonstantHacker It all started with the need to crack encryption We re there again Snowden
More informationST-Links. SpatialKit. Version 3.0.x. For ArcMap. ArcMap Extension for Directly Connecting to Spatial Databases. ST-Links Corporation.
ST-Links SpatialKit For ArcMap Version 3.0.x ArcMap Extension for Directly Connecting to Spatial Databases ST-Links Corporation www.st-links.com 2012 Contents Introduction... 3 Installation... 3 Database
More informationECEN 651: Microprogrammed Control of Digital Systems Department of Electrical and Computer Engineering Texas A&M University
ECEN 651: Microprogrammed Control of Digital Systems Department of Electrical and Computer Engineering Texas A&M University Prof. Mi Lu TA: Ehsan Rohani Laboratory Exercise #4 MIPS Assembly and Simulation
More informationCollaborative WRF-based research and education enabled by software containers
Collaborative WRF-based research and education enabled by software containers J. Hacker, J. Exby, K. Fossell National Center for Atmospheric Research Contributions from Tim See (U. North Dakota) 1 Why
More informationB.1 Numerical Continuation
APPENDIX B NUMERICAL CONTINUATION USING DDE-BIFTOOL In the several figures, results from the delay-differential equation continuation software DDE-BIFTOOL are displayed. This appendix serves as a simple
More informationFedora Astronomy. Integration of astronomical software into a Linux distribution. Christian Dersch. AG Astronomie, Philipps-Universität Marburg
Fedora Astronomy Integration of astronomical software into a Linux distribution Christian Dersch AG Astronomie, Philipps-Universität Marburg September 18, 2017 Why should astronomical software be part
More informationGIS4Graph: a tool for analyzing (geo)graphs applied to study efficiency in a street network
GIS4Graph: a tool for analyzing (geo)graphs applied to study efficiency in a street network Aurelienne A. S. Jorge 1, Márcio Rossato 2, Roberta B. Bacelar 3, Leonardo B. L. Santos 4 1 Instituto Nacional
More informationA Maple V Package for the Analysis and. Version 1.0. Claus Bendtsen. Abstract
A Maple V Package for the Analysis and Construction of Runge-Kutta Methods Version.0 Claus Bendtsen Abstract This package is for use with the Maple V symbolic computational software in order to ease the
More information1 Ex. 1 Verify that the function H(p 1,..., p n ) = k p k log 2 p k satisfies all 8 axioms on H.
Problem sheet Ex. Verify that the function H(p,..., p n ) = k p k log p k satisfies all 8 axioms on H. Ex. (Not to be handed in). looking at the notes). List as many of the 8 axioms as you can, (without
More informationdeconvolution Documentation
deconvolution Documentation Release 0.0.1 Frederic Grabowski, Paweł Czyż Aug 07, 2018 Contents 1 Readme 1 1.1 deconvolution.............................................. 1 2 Indices and tables 11 Bibliography
More informationArcGIS Enterprise: Administration Workflows STUDENT EDITION
ArcGIS Enterprise: Administration Workflows STUDENT EDITION Copyright 2019 Esri All rights reserved. Course version 1.1. Version release date April 2019. Printed in the United States of America. The information
More informationARPACK. A c++ implementation of ARPACK eigenvalue package.
!"#!%$& '()%*,+-. (/10)24365 78$9;:!?A@ B2CED8F?GIHKJ1GML NPORQ&L8S TEJUD8F"VXWYD8FFZ\[]O ^ L8CETIFJ1T_F ; Y`baU c?d%de%c +-)?+-=fc%cgd hjikmlnio
More informationInformation-Based Similarity Index
Information-Based Similarity Index Albert C.-C. Yang, Ary L Goldberger, C.-K. Peng This document can also be read on-line at http://physionet.org/physiotools/ibs/doc/. The most recent version of the software
More informationGRASS GIS in the sky
GRASS GIS as highperformance remote sensing toolbox Markus Neteler, Markus Metz, Moritz Lennert https://grass.osgeo.org/ GRASS GIS Intro Geographic Resources Analysis Support System Open Source GIS developed
More informationEUROPEAN MIDDLEWARE INITIATIVE
EUROPEAN MIDDLEWARE INITIATIVE MYPROXY YAIM ADMINISTRATOR GUIDE Document version: 1.0.2-1 EMI Component Version: 1.x 1/10 This work is co-funded by the European Commission as part of the EMI project under
More informationArcGIS GeoAnalytics Server: An Introduction. Sarah Ambrose and Ravi Narayanan
ArcGIS GeoAnalytics Server: An Introduction Sarah Ambrose and Ravi Narayanan Overview Introduction Demos Analysis Concepts using GeoAnalytics Server GeoAnalytics Data Sources GeoAnalytics Server Administration
More informationSapienza universita di Roma Dipartimento di Informatica e Sistemistica. User guide WSCE-Lite Web Service Composition Engine v 0.1.
Sapienza universita di Roma Dipartimento di Informatica e Sistemistica User guide WSCE-Lite Web Service Composition Engine v 0.1 Valerio Colaianni Contents 1 Installation 5 1.1 Installing TLV..........................
More informationDeep-dive into PyMISP MISP - Malware Information Sharing Platform & Threat Sharing
Deep-dive into PyMISP MISP - Malware Information Sharing Platform & Threat Sharing Team CIRCL http://www.misp-project.org/ Twitter: @MISPProject MISP Training @ Helsinki 20180423 Context MISP is complex
More informationIntegrating Open-Source Statistical Packages with ArcGIS
Esri International User Conference San Diego, California Technical Workshops 7-25-12 Integrating Open-Source Statistical Packages with ArcGIS Mark V. Janikas, Ph. D. Xing Kang Outline Introduction to Spatial
More informationApplication of Computer in Chemistry SSC Prof. Mohamed Noor Hasan Dr. Hasmerya Maarof Department of Chemistry
Application of Computer in Chemistry SSC 3533 Prof. Mohamed Noor Hasan Dr. Hasmerya Maarof Department of Chemistry Outline Fields of applica:on Examples Types of computer Programming languages 2 Introduction
More informationIntroduction to Modelling and Simulation
Introduction to Modelling and Simulation Prof. Cesar de Prada Dpt. Systems Engineering and Automatic Control EII, University of Valladolid, Spain prada@autom.uva.es Digital simulation Methods and tools
More information