Open Source Tools for Programming Open
Total Page：16
File Type：pdf, Size：1020Kb
Load more
Recommended publications
-
Using Macaulay2 Effectively in Practice
Using Macaulay2 effectively in practice Mike Stillman ([email protected]) Department of Mathematics Cornell 22 July 2019 / IMA Sage/M2 Macaulay2: at a glance Project started in 1993, Dan Grayson and Mike Stillman. Open source. Key computations: Gr¨obnerbases, free resolutions, Hilbert functions and applications of these. Rings, Modules and Chain Complexes are first class objects. Language which is comfortable for mathematicians, yet powerful, expressive, and fun to program in. Now a community project Journal of Software for Algebra and Geometry (started in 2009. Now we handle: Macaulay2, Singular, Gap, Cocoa) (original editors: Greg Smith, Amelia Taylor). Strong community: including about 2 workshops per year. User contributed packages (about 200 so far). Each has doc and tests, is tested every night, and is distributed with M2. Lots of activity Over 2000 math papers refer to Macaulay2. History: 1976-1978 (My undergrad years at Urbana) E. Graham Evans: asked me to write a program to compute syzygies, from Hilbert's algorithm from 1890. Really didn't work on computers of the day (probably might still be an issue!). Instead: Did computation degree by degree, no finishing condition. Used Buchsbaum-Eisenbud \What makes a complex exact" (by hand!) to see if the resulting complex was exact. Winfried Bruns was there too. Very exciting time. History: 1978-1983 (My grad years, with Dave Bayer, at Harvard) History: 1978-1983 (My grad years, with Dave Bayer, at Harvard) I tried to do \real mathematics" but Dave Bayer (basically) rediscovered Groebner bases, and saw that they gave an algorithm for computing all syzygies. I got excited, dropped what I was doing, and we programmed (in Pascal), in less than one week, the first version of what would be Macaulay. -
Codesaturne Practical User's Guide
EDF R&D Fluid Dynamics, Power Generation and Environment Department Single Phase Thermal-Hydraulics Group 6, quai Watier F-78401 Chatou Cedex Tel: 33 1 30 87 75 40 Fax: 33 1 30 87 79 16 JUNE 2017 Code Saturne documentation Code Saturne version 5.0.0 practical user's guide contact: [email protected] http://code-saturne.org/ c EDF 2017 Code Saturne EDF R&D Code Saturne version 5.0.0 practical user's documentation guide Page 1/142 ABSTRACT Code Saturne is a system designed to solve the Navier-Stokes equations in the cases of 2D, 2D ax- isymmetric or 3D flows. Its main module is designed for the simulation of flows which may be steady or unsteady, laminar or turbulent, incompressible or potentially dilatable, isothermal or not. Scalars and turbulent fluctuations of scalars can be taken into account. The code includes specific modules, referred to as \specific physics", for the treatment of Lagrangian particle tracking, semi-transparent radiative transfer, gas combustion, pulverised coal combustion, electricity effects (Joule effect and elec- tric arcs) and compressible flows. Code Saturne relies on a finite volume discretisation and allows the use of various mesh types which may be hybrid (containing several kinds of elements) and may have structural non-conformities (hanging nodes). The present document is a practical user's guide for Code Saturne version 5.0.0. It is the result of the joint effort of all the members in the development team. It presents all the necessary elements to run a calculation with Code Saturne version 5.0.0. -
JACSM No 1 2009
STORE: EMBEDDED PERSISTENT STORAGE FOR CLOJURE PROGRAMMING LANGUAGE Konrad Grzanek1 1IT Institute, Academy of Management, Lodz, Poland [email protected] Abstract Functional programming is the most popular declarative style of programming. Its lack of state leads to an increase of programmers' productivity and software robustness. Clojure is a very effective Lisp dialect, but it misses a solid embedded database implementation. A store is a proposed embedded database engine for Clojure that helps to deal with the problem of the inevitable state by mostly functional, minimalistic interface, abandoning SQL and tight integration with Clojure as a sole query and data-processing language. Key words: Functional programming, Lisp, Clojure, embedded database 1 Introduction Functional programming languages and functional programming style in general have been gaining a growing attention in the recent years. Lisp created by John McCarthy and specified in [8] is the oldest functional pro- gramming language. Some of its flavors (dialects, as some say [9]) are still in use today. Common Lisp was the first ANSI standardized Lisp dialect [13] and Common Lisp Object System (CLOS) was probably the first ANSI stan- dardized object oriented programming language [14]. Apart from its outstand- ing features as a Common Lisp subset. Various Lisps were used in artificial intelligence [11] and to some extent the language comes from AI labs and its ecosystem. Common Lisp was used as the language of choice by some AI tutors, like Peter Norvig (in [10]). But the whole family of languages address general problems in computer science, not only these in AI. John Backus argues [3] that the functional style is a real liberation from the traditional imperative languages and their problems. -
Working with Digital Video
Working with digital video By admin Published: 10/04/2007 - 08:35 Peter Westenberg , October 2007 Working with digital video is part of many artistic disciplines. Besides single screen narratives, video productions can range from animation, multiple screen installation to interactive work. Still, many aspects of digital video can be traced back to the history of film. The interface of a timeline editing software such as Cinelerra [1] shows a multitrack timeline, a viewing monitor, a bin for clips; echoing the setup of a flatbed table for editing celluloid. A dual head set up Cinelerra work station The physical materiality of film and video are fundamentaly different: celluloid versus pixels, chemicals versus algorhytms, but the relationship between film and video has mutually matured. As outlined by Matt Hanson [1b] , video expands cinematographic traditions in new directions, filmmakers can benefit from digitisation by reclaiming the central position of creativity in the film process, as pointed out by Samira Makhmalbaf. [1c] 1 / 28 An 'Old Delft Cinemonta' 16mm editing table in use at the Filmwerkplaats in Rotterdam Digital video also roots in artistic practices of the sixties and seventies. [1a] Artists started using video to capture temporary performances (Joan Jonas [2] , Vito Acconci [3] ), they integrated video monitors in installations (Nam June Paik [4] ), experimented with filters and mixing in video paintings (Peter Campus [5] ). Compared to film cameras, video cameras had a strong feature: it became possible connect a monitor and view directly what the camera recorded. Today, artists can use softwares such as Lives [5] , Jahshaka [6] , Zone Minder [7] or Pure Data [8] and Linux distributions aimed at audio and visual creation such as Dyne:bolic [9] Apodio [10] and Ubuntu Studio [11] to further explore the possibilities of real time video, multiple camera input and live interaction. -
The Toastboard: Ubiquitous Instrumentation and Automated Checking of Breadboarded Circuits
The Toastboard: Ubiquitous Instrumentation and Automated Checking of Breadboarded Circuits Daniel Drew†, Julie L. Newcomb‡, William McGrath?, Filip Maksimovic†, David Mellis†, Bjoern Hartmann† †: UC Berkeley EECS, ‡: University of Washington PLSE, ? : Stanford University HCI Group ddrew73,fil,mellis,[email protected], [email protected], [email protected] ABSTRACT The recent proliferation of easy to use electronic components and toolkits has introduced a large number of novices to de- signing and building electronic projects. Nevertheless, debug- ging circuits remains a difficult and time-consuming task. This paper presents a novel debugging tool for electronic design projects, the Toastboard, that aims to reduce debugging time by improving upon the standard paradigm of point-wise circuit measurements. Ubiquitous instrumentation allows for imme- diate visualization of an entire breadboard’s state, meaning users can diagnose problems based on a wealth of data instead Figure 1. The Toastboard device and accompanying software. (1) LED bars indicate power, ground, or other voltage. (2) A push button triggers of having to form a single hypothesis and plan before taking a scan. (3) Quantitative voltage data is displayed in the accompanying a measurement. Basic connectivity information is displayed software. (4) Components are associated with testers that run on every visually on the circuit itself and quantitative data is displayed scan. (5) The voltage at a selected row can be viewed over time as a on the accompanying web interface. Software-based testing graph. functions further lower the expertise threshold for efficient debugging by diagnosing classes of circuit errors automati- cally. In an informal study, participants found the detailed, frustrating, and time-consuming to debug. -
Luis David Garcıa Puente
Luis David Garc´ıa Puente Department of Mathematics and Statistics (936) 294-1581 Sam Houston State University [email protected] Huntsville, TX 77341–2206 http://www.shsu.edu/ldg005/ Professional Preparation Universidad Nacional Autonoma´ de Mexico´ (UNAM) Mexico City, Mexico´ B.S. Mathematics (with Honors) 1999 Virginia Polytechnic Institute and State University Blacksburg, VA Ph.D. Mathematics 2004 – Advisor: Reinhard Laubenbacher – Dissertation: Algebraic Geometry of Bayesian Networks University of California, Berkeley Berkeley, CA Postdoctoral Fellow Summer 2004 – Mentor: Lior Pachter Mathematical Sciences Research Institute (MSRI) Berkeley, CA Postdoctoral Fellow Fall 2004 – Mentor: Bernd Sturmfels Texas A&M University College Station, TX Visiting Assistant Professor 2005 – 2007 – Mentor: Frank Sottile Appointments Colorado College Colorado Springs, CO Professor of Mathematics and Computer Science 2021 – Sam Houston State University Huntsville, TX Professor of Mathematics 2019 – 2021 Sam Houston State University Huntsville, TX Associate Department Chair Fall 2017 – 2021 Sam Houston State University Huntsville, TX Associate Professor of Mathematics 2013 – 2019 Statistical and Applied Mathematical Sciences Institute Research Triangle Park, NC SAMSI New Researcher fellowship Spring 2009 Sam Houston State University Huntsville, TX Assistant Professor of Mathematics 2007 – 2013 Virginia Bioinformatics Institute (Virginia Tech) Blacksburg, VA Graduate Research Assistant Spring 2004 Virginia Polytechnic Institute and State University Blacksburg, -
“Laboratório” De T V Digital Usando Softw Are Open Source
“Laboratório” de TV digital usando software open source Objectivos Realizar uma pesquisa de software Open Source, nomeadamente o que está disponível em Sourceforge.net relacionado com a implementação de operações de processamento de sinais audiovisuais que tipicamente existem em sistemas de produção de TV digital. Devem ser identificadas aplicações para: • aquisição de vídeo, som e imagem • codificação com diferentes formatos (MPEG-2, MPEG-4, JPEG, etc.) • conversão entre formatos • pré e pós processamento (tal como filtragens) • edição • anotação Instalação dos programas e teste das suas funcionalidades. Linux Aquisição Filtros Codificação :: VLC :: Xine :: Ffmpeg :: Kino (DV) :: VLC :: Transcode :: Tvtime Television Viewer (TV) :: Video4Linux Grab Edição :: Mpeg4IP :: Kino (DV) Conversão :: Jashaka :: Kino :: Cinelerra :: VLC Playback :: Freej :: VLC :: FFMpeg :: Effectv :: MJPEG Tools :: PlayerYUV :: Lives :: Videometer :: MPlayer Anotação :: Xmovie :: Agtoolkit :: Video Squirrel VLC (VideoLan Client) VLC - the cross-platform media player and streaming server. VLC media player is a highly portable multimedia player for various audio and video formats (MPEG-1, MPEG-2, MPEG-4, DivX, mp3, ogg, ...) as well as DVDs, VCDs, and various streaming protocols. It can also be used as a server to stream in unicast or multicast in IPv4 or IPv6 on a high-bandwidth network. http://www.videolan.org/ Kino (DV) Kino is a non-linear DV editor for GNU/Linux. It features excellent integration with IEEE-1394 for capture, VTR control, and recording back to the camera. It captures video to disk in Raw DV and AVI format, in both type-1 DV and type-2 DV (separate audio stream) encodings. http://www.kinodv.org/ Tvtime Television Viewer (TV) Tvtime is a high quality television application for use with video capture cards on Linux systems. -
Electronic and Electromechanical Prototyping
Electronic and electromechanical prototyping Introduction - ECAD Corso LM ‘Materiali Intelligenti e Biomimetici’ – Prof. A. Ahluwalia 4/05/2017 [email protected] After Breadboards: Matrix Boards We use breadboards for quick construction, Matrix Boards for laying out a project so it can be copied to make a Printed Circuit Board. This is a prototyping board, with copper pads in a matrix layout. You solder the components in place, and then simply cut pieces of wire, and solder them to make the circuit Printed Circuit Board The PCB is the physical board that holds and connects all of the electronic components. The circuits are formed by a thin layer of conducting material deposited, or "printed," on the surface of an insulating board known as the substrate. Individual electronic components are placed on the surface of the substrate and soldered to the interconnecting circuits. ECAD Electronic computer-aided design (ECAD) or Electronic design automation (EDA) is a category of software tools for designing electronic systems such as integrated circuits and printed circuit boards. The tools work together in a design flow that chip designers use to design and analyze entire semiconductor chips. Before EDA, integrated circuits were designed by hand and manually laid out. By the mid-1970s, developers started to automate the design along with the drafting. The first placement and routing tools were developed. Printed Circuit Board Design PCB ECAD Software (Ex. Eagle): PCB design in EAGLE is a two-step process. First you design your schematic, then you lay out a PCB based on that schematic. PCB Design (2) Your circuit design software will allow you to output the PCB layout in a format called Gerber with one file for each PCB layer (copper layers, solder mask, legend or silk) to allow manufacturing. -
The Glib/GTK+ Development Platform
The GLib/GTK+ Development Platform A Getting Started Guide Version 0.8 Sébastien Wilmet March 29, 2019 Contents 1 Introduction 3 1.1 License . 3 1.2 Financial Support . 3 1.3 Todo List for this Book and a Quick 2019 Update . 4 1.4 What is GLib and GTK+? . 4 1.5 The GNOME Desktop . 5 1.6 Prerequisites . 6 1.7 Why and When Using the C Language? . 7 1.7.1 Separate the Backend from the Frontend . 7 1.7.2 Other Aspects to Keep in Mind . 8 1.8 Learning Path . 9 1.9 The Development Environment . 10 1.10 Acknowledgments . 10 I GLib, the Core Library 11 2 GLib, the Core Library 12 2.1 Basics . 13 2.1.1 Type Definitions . 13 2.1.2 Frequently Used Macros . 13 2.1.3 Debugging Macros . 14 2.1.4 Memory . 16 2.1.5 String Handling . 18 2.2 Data Structures . 20 2.2.1 Lists . 20 2.2.2 Trees . 24 2.2.3 Hash Tables . 29 2.3 The Main Event Loop . 31 2.4 Other Features . 33 II Object-Oriented Programming in C 35 3 Semi-Object-Oriented Programming in C 37 3.1 Header Example . 37 3.1.1 Project Namespace . 37 3.1.2 Class Namespace . 39 3.1.3 Lowercase, Uppercase or CamelCase? . 39 3.1.4 Include Guard . 39 3.1.5 C++ Support . 39 1 3.1.6 #include . 39 3.1.7 Type Definition . 40 3.1.8 Object Constructor . 40 3.1.9 Object Destructor . -
Sentiment Analysis Using a Novel Human Computation Game
Sentiment Analysis Using a Novel Human Computation Game Claudiu-Cristian Musat THISONE Alireza Ghasemi Boi Faltings Artificial Intelligence Laboratory (LIA) Ecole Polytechnique Fed´ erale´ de Lausanne (EPFL) IN-Ecublens, 1015 Lausanne, Switzerland [email protected] Abstract data is obtained from people using human computa- tion platforms and games. We also prove that the In this paper, we propose a novel human com- method can provide not only labelled texts, but peo- putation game for sentiment analysis. Our ple also help by selecting sentiment-expressing fea- game aims at annotating sentiments of a col- tures that can generalize well. lection of text documents and simultaneously constructing a highly discriminative lexicon of Human computation is a newly emerging positive and negative phrases. paradigm. It tries to solve large-scale problems by Human computation games have been widely utilizing human knowledge and has proven useful used in recent years to acquire human knowl- in solving various problems (Von Ahn and Dabbish, edge and use it to solve problems which are 2004; Von Ahn, 2006; Von Ahn et al., 2006a). infeasible to solve by machine intelligence. To obtain high quality solution from human com- We package the problems of lexicon construc- putation, people should be motivated to make their tion and sentiment detection as a single hu- best effort. One way to incentivize people for sub- man computation game. We compare the re- mitting high-quality results is to package the prob- sults obtained by the game with that of other well-known sentiment detection approaches. lem at hand as a game and request people to play Obtained results are promising and show im- it. -
Experiences in Using Open Source Software for Teaching Electronic Engineering CAD
Experiences in Using Open Source Software for Teaching Electronic Engineering CAD Dr Simon Busbridge1 & Dr Deshinder Singh Gill School of Computing, Engineering and Mathematics, University of Brighton, Brighton BN2 4GJ [email protected] Abstract Embedded systems and simulation distinguish modern professional electronic engineering from that learnt at school. First year undergraduates typically have little appreciation of engineering software capabilities and file handling beyond elementary word processing. This year we expedited blended teaching through the experiential based learning process via open source engineering software. Students engaged with the entire electronic engineering product creation process from inception, performance simulation, printed circuit board design, manufacture and assembly, to cabinet design and complete finished product. Currently students learn software skills using a mixture of electronic and mechanical engineering software packages. Although these have professional capability they are not available off-campus and are sometimes surprisingly poor in simulating real world devices. In this paper we report use of LTspice, FreePCB and OpenSCAD for the learning and teaching of analogue electronics simulation and manufacture. Comparison of the software options, the type of tasks undertaken, examples of student assignments and outputs, and learning achieved are presented. Examples of assignment based learning, integration between the open source packages and difficulties encountered are discussed. Evaluation of student attitudes and responses to this method of learning and teaching are also discussed, and the educational advantages of using this approach compared to the use of commercial packages is highlighted. Introduction Most educational establishments use software for simulating or designing engineering. Most commercial packages come with an academic licence which restricts access to on-site computers. -
Developments in the Modeling & Simulation Program at EDF
Developments in the Modeling & Simulation Program at EDF. Potential Collaboration Topics CASL Industry Council Meeting. Charleston, SC. April 4-5 2017 Didier Banner Presentation outline EDF’s M&S tools and software policy Current trends in numerical simulation -------------------- On-going CASL – CEA –EDF collaboration Potential collaboration on the NESTOR data EDF Key figures • French NPP fleet • 58 operating reactors, from 900 MW to 1450 MW • 157 to 205 fuel assemblies per reactor • Fuel cycles - 12 or 18 months • Fuel assemblies renewal from 1/4th to 1/3rd • Some estimated costs* • One day of outage: ~1 M€ • Total fuel cost: ~5 €/MWh • Major retrofit in France: ~50 b€ Including post-Fukushima program: ~10 b€ EDF R&D KEY FIGURES Use of Modelling &Simulation - examples Resistance to impact Tightness of the (projectiles) Seismic Analysis containment vessel Environmental impacts Behaviour of turbines Dismantling Waste Storage Tightness of the primary loop Control of nuclear Behaviour of the reactions pressure vessel EDF Modeling and Simulation policy Models Specific studies: i.e FSI interaction,irradiation, turbulence,.. Codes i.e CFD (Saturne), Neutronics (Cocagne),Mechanics (Aster) Platforms Interoperability, Users’s experience --------------------- Development Strategy - examples EDF Open-Source CFD (Saturne), Mechanics(Aster), Free Surface Flow EDF developments-not open source Neutronics, Electromagnetics, … Codevelopment/Partnership Two-phase flow (Neptune), Fast transient dynamics,.. Commercial Software: Ansys, Abaqus, EDF Modeling