DOCSLIB.ORG

5 European Lisp Symposium

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
5 European Lisp Symposium Proceedings of ELS 2012 5th European Lisp Symposium Interoperability: Systems, Libraries, Workflows April 30 – May1 2012 University of Zadar, Zadar, Croatia ELS 2012 1 Contents Organization 3 Programm Chair 3 Local Chair 3 Programm Committee 3 About ELS2012 4 Sponsors 5 Conference schedule 6 Invited Talks Juan Jose Garcia-Ripoll: Embeddable Common Lisp 7 Ernst van Waning. Aura (Automated User-centered Reasoning and Acquisition System) 7 Session I 8 Laurent Senta, Christopher Chedeau and Didier Verna: Generic Image Processing with Climb 9 Giovanni Anzani: An iterative method to solve overdetermined systems of nonlinear equations applied to the restitution of planimetric measurements 13 Session II 21 Alessio Stalla: Java interop with ABCL, a practical example 22 Nils Bertschinger: Embedded probabilistic programming in Clojure 26 Pascal Costanza: A little history of metaprogramming and reflection 30 Session III 31 Marco Benelli: Scheme in Industrial Automation 32 Gunnar Völkel, Johann M. Kraus and Hans A. Kestler: Algorithm Engineering with Clojure 34 Session IV 42 Irène Anne Durand: Object enumeration 43 Alessio Stalla: Doplus, the high-level, Lispy, extensible iteration construct 58 Lightening Talks 60 Zoltan Varju, Richard Littauer and Peteris Ernis, Using Clojure in Linguistic Computing 61 Mikhail Raskin. QueryFS, a virtual filesystem based on queries, and related tools 65 Organization Programme Chair Marco Antoniotti, Universita Milano Bicocca, ITALY Local Chair Franjo Pehar, University of Zadar, CROATIA Damir Kero, University of Zadar, CROATIA Programme Committee Giuseppe Attardi, Università degli Studi di Pisa, Pisa, ITALY Pascal Costanza, Intel, Bruxelles, BELGIUM Damir Ćavar, Eastern Michigan University, USA Marc Feeley, Université de Montreal, Montreal, CANADA Scott McKay, Google, U.S.A. Kent Pitman, Hypermeta Inc., U.S.A. Christophe Rhodes, Department of Computing, Goldsmiths, University of London, London, UNITED KINGDOM Robert Strandh, LABRI, Université de Bordeaux, Bordaux, FRANCE Didier Verna, EPITA / LRDE, FRANCE Taiichi Yuasa, Kyoto University, JAPAN ELS 2012 3 About ELS2012 The purpose of the European Lisp Symposium is to provide a forum for the discussion and dissemination of all aspects of design, implementation and application of any of the Lisp and Lisp-inspired dialects, including Common Lisp, Scheme, Emacs Lisp, AutoLisp, ISLISP, Dylan, Clojure, ACL2, ECMAScript, Racket, SKILL, and so on. We encourage everyone interested in Lisp to participate. The main theme of the 2012 European Lisp Conference is “Interoperability: Systems, Libraries, Workflows”. Lisp based and functional-languages based systems have grown a variety of solutions to become more and more integrated with the wider world of Information and Communication Technologies in current use. There are several dimensions to the scope of the solutions proposed, ranging from “embedding” of interpreters in C-based systems, to the development of abstractions levels that facilitate the expression of complex context dependent tasks, to the construction of exchange formats handling libraries, to the construction of theorem-provers for the “Semantic Web”. The European Lisp Symposium 2012 solicits the submission of papers with this specific theme in mind, alongside the more traditional tracks which have appeared in the past editions. ELS 2012 4 Sponsors We would like to thank our sponsors for making the event possible. ELS 2012 5 Conference schedule Sunday April 29. 11:00 Sea & Sun & Coffee (meeting place: The Sea organ & Greeting to the Sun) 19:30 – 21:30 19:30 – 21:30 Welcome Cocktail at the Maraschino Bar Monday April 30. 8:30 – 09:00 Registration 09:30 – 10:00 Welcome 10:00 – 11:00 Juan Jose Garcia-Ripoll: Embeddable Common Lisp 11:00 – 11:30 Coffee Break 11:30 – 13:00 Session 1 11:30 – 12:15 Laurent Senta, Christopher Chedeau and Didier Verna: Generic Image Processing with Climb 12:15 – 13:00 Giovanni Anzani: An iterative method to solve overdetermined systems of nonlinear equations applied to the restitution of planimetric measurements 13:00 – 15:00 Lunch Break 15:00 – 17:30 Session 2 15:00 – 15:45 Alessio Stalla: Java interop with ABCL, a practical example 15:45 – 16:30 Nils Bertschinger: Embedded probabilistic programming in Clojure 16:30 – 17:30 Pascal Costanza, A little history of metaprogramming and reflection 17:30 – 18:00 Lightening Talk (1) Zoltan Varju, Richard Littauer and Peteris Ernis: Using Clojure in Linguistic Computing 18:00 – 20:00 Buffet at the University of Zadar Tuesday May 1. 10:00 – 11:00 Ernst van Waning. Aura (Automated User-centered Reasoning and Acquisition System). 11:00 – 11:30 Coffee Break 11:30 – 13:00 Session 3 11:30 – 12:15 Marco Benelli: Scheme in Industrial Automation 12:15 – 13:00 Gunnar Völkel, Johann M. Kraus and Hans A. Kestler: Algorithm Engineering with Clojure 13:00 – 15:00 Lunch Break 15:00 – 16:30 Session 4 15:00 – 15:45 Irène Anne Durand: Object enumeration 15:45 – 16:30 Alessio Stalla: Doplus, the high-level, Lispy, extensible iteration construct 16:30 – 17:00 Lightening Talk (2) Mikhail Raskin: QueryFS, a virtual filesystem based on queries, and related tools 17:00 – 18:00 Announcements & Wrap-up 20:00 – 22:00 Dinner Invited Talks Embeddable Common Lisp Juan Jose Garcia-Ripoll This talk presents an implementation of the Common Lisp language that is built as a statically or dynamically loadable C library, ready to be used in third party applications as an utility language (for instance, to run Maxima in the Sage environment), but also fully functional as the core of arbitrarily complex standalone applications. This paper discusses the history of this implementation, starting with its roots in the ECoLisp, KCL and AKCL programmes, and the difficulties faced in upgrading this software to make it fully standalone, self- bootstrapable, thread- and async-interrupt safe and capable of interoperating with modern operating systems (Windows, Unix, iOS, etc). Aura (Automated User-centered Reasoning and Acquisition System) Ernst van Waning This talk will be about Aura (Automated User-centered Reasoning and Acquisition System), a step towards an application containing large volumes of scientific knowledge and capable of applying sophisticated problem-solving methods to answer novel questions: the Digital Aristotle. The current focus of AURA is to capture a significant fraction of a Biology textbook and embed the resulting knowledge base into an Intelligent Electronic Textbook reader that could be used by teachers and students. The talk will further focus on work done to improve Aura's performance, its stability and its documentation. ELS 2012 7 Session I ELS 2012 Generic Image Processing With Climb Laurent Senta Christopher Chedeau Didier Verna [email protected] [email protected] [email protected] Epita Research and Development Laboratory 14-16 rue Voltaire, 94276 Le Kremlin-Bicêtre Paris, France ABSTRACT Such level of genericity, however, may induce an important We present Climb, an experimental generic image process- performance cost. ing library written in Common Lisp. Most image process- ing libraries are developed in static languages such as C or In order to reconcile genericity and performance, the LRDE1 C++ (often for performance reasons). The motivation be- has developed an Image Processing platform called Olena2. hind Climb is to provide an alternative view of the same Olena is written in C++ and uses its templating system domain, from the perspective of dynamic languages. More abundantly. Olena is a ten years old project, well-proven precisely, the main goal of Climb is to explore the dynamic both in terms of usability, performance and genericity [2]. way(s) of addressing the question of genericity, while ap- plying the research to a concrete domain. Although still a In this context, the goal of Climb is to use this legacy for prototype, Climb already features several levels of genericity proposing another vision of the same domain, only based on and ships with a set of built-in algorithms as well as means a dynamic language. Common Lisp provides the necessary to combine them. flexibility and extensibility to let us consider several alter- nate implementations of the model provided by Olena from Categories and Subject Descriptors the dynamic perspective. I.4.0 [Image Processing And Computer Vision]: Gen- First, we provide a survey of the algorithms readily available eral|image processing software; D.2.11 [Software Engi- in Climb. Next, we present the tools available for compos- neering]: Software Architectures|Data abstraction, Domain- ing basic algorithms into more complex Image Processing specific architectures chains. Finally we describe the generic building blocks used to create new algorithms, hereby extending the library. General Terms Design, Languages 2. FEATURES Climb provides a basic image type with the necessary load- Keywords ing and saving operations, based on the lisp-magick library. Generic Image Processing, Common Lisp This allows for direct manipulation of many images formats, such as PNG and JPEG. The basic operations provided by Climb are loading an image, applying algorithms to it and 1. INTRODUCTION saving it back. In this section, we provide a survey of the Climb is a generic image processing library written in Com- algorithms already built in the library. mon Lisp. It comes with a set of built-in algorithms such as erosion, dilation and other mathematical morphology oper- ators, thresholding and image segmentation. 2.1 Histograms A histogram is a 2D representation of image information. The idea behind genericity is to be able to write algorithms The horizontal axis represents tonal values, from 0 to 255 only once, independently from the data types to which they in common grayscale images. For every tonal value, the will be applied. In the Image Processing domain, being fully vertical axis counts the number of such pixels in the image. generic means being independent from the image formats, Some Image Processing algorithms may be improved when pixels types, storage schemes (arrays, matrices, graphs) etc. the information provided by a histogram is known. Histogram Equalization.
Load more

Recommended publications
  • The Machine That Builds Itself: How the Strengths of Lisp Family
    Khomtchouk et al. OPINION NOTE The Machine that Builds Itself: How the Strengths of Lisp Family Languages Facilitate Building Complex and Flexible Bioinformatic Models Bohdan B. Khomtchouk1*, Edmund Weitz2 and Claes Wahlestedt1 *Correspondence: [email protected] Abstract 1Center for Therapeutic Innovation and Department of We address the need for expanding the presence of the Lisp family of Psychiatry and Behavioral programming languages in bioinformatics and computational biology research. Sciences, University of Miami Languages of this family, like Common Lisp, Scheme, or Clojure, facilitate the Miller School of Medicine, 1120 NW 14th ST, Miami, FL, USA creation of powerful and flexible software models that are required for complex 33136 and rapidly evolving domains like biology. We will point out several important key Full list of author information is features that distinguish languages of the Lisp family from other programming available at the end of the article languages and we will explain how these features can aid researchers in becoming more productive and creating better code. We will also show how these features make these languages ideal tools for artificial intelligence and machine learning applications. We will specifically stress the advantages of domain-specific languages (DSL): languages which are specialized to a particular area and thus not only facilitate easier research problem formulation, but also aid in the establishment of standards and best programming practices as applied to the specific research field at hand. DSLs are particularly easy to build in Common Lisp, the most comprehensive Lisp dialect, which is commonly referred to as the “programmable programming language.” We are convinced that Lisp grants programmers unprecedented power to build increasingly sophisticated artificial intelligence systems that may ultimately transform machine learning and AI research in bioinformatics and computational biology.
    [Show full text]
  • Communications/Information
    Communications/Information Volume 7 — November 2008 Issue date: November 7, 2008 Info Update is published by the Canadian Standards Association (CSA) eight times a year. It contains important information about new and existing standards, e.g., recently published standards, and withdrawn standards. It also gives you highlights of other activities and services. CSA offers a free online service called Keep Me Informed that will notify registered users when each new issue of Info Update is published. To register go to http://www.csa-intl.org/onlinestore/KeepMeInformed/PleaseIdentifyYourself.asp?Language=EN. To view the complete issue of Info Update visit http://standardsactivities.csa.ca/standardsactivities/default.asp?language=en. y Completed Projects / Projets terminés New Standards — New Editions — Special Publications Please note: The following standards were developed by the International Organization for Standardization (ISO) and the International Electrotechnical Commission (IEC), and have been adopted by the Canadian Standards Association. These standards are available in Portable Document Format (PDF) only. CAN/CSA-ISO/IEC 7812-2:08, 2nd edition Identification cards — Identification of issuers — Part 2: Application and registration procedures (Adopted ISO/IEC 7812-2:2007).................................................................. $110 CAN/CSA-ISO/IEC 7816-2:08, 1st edition Identification cards — Integrated circuit cards — Part 2: Cards with contacts — Dimensions and location of the contacts (Adopted ISO/IEC 7816-2:2007) ......................... $60 CAN/CSA-ISO/IEC 7816-13:08, 1st edition Identification cards — Integrated circuit cards — Part 13: Commands for application management in a multi-application environment (Adopted ISO/IEC 7816-13:2007)....... $110 CAN/CSA-ISO/IEC 8484:08, 1st edition Information technology — Magnetic stripes on savingsbooks (Adopted ISO/IEC 8484:2007) ......................................................................................
    [Show full text]
  • Instructions to the Ada Rapporteur Group from SC22/WG9 For
    Work Programme of ISO/IEC JTC1/SC22/WG9 (Ada) For presentation to the SIGAda Conference December 2003 Jim Moore, [The MITRE Corporation] Convener of ISO/IEC JTC1/SC22/WG9 In this presentation, Jim Moore is representing his opinions as an officer of ISO/IEC JTC1/SC22/WG9. His opinions do not necessarily represent those of The MITRE Corporation or any of its sponsors. Goal for the Presentation A quick description of international standardization. An overview of the work programme of the standards committee responsible for Ada. A description of the process and constraints for amending the Ada language standard. Who Makes Standards? De jure standards are formal standards made Today’s by organizations authorized, in some way, to Subject make them. Examples include ISO and IEEE standards. De facto standards (more properly called specifications) are those recognized by the marketplace as important. Examples include OMG CORBA, Windows API. Developers of International Standards ISO IEC ITU ... TC176 JTC1 TC56 SC65A Quality Information Technology Dependability Functional Safety ... SC7 SC22 Software & Systems Languages, OS Engineering WG9 Ada Developers of US Standards ANSI INCITS AIAA ANS ASTM EIA IEEE PMI OMG About 550 organizations in the U. S. make standards. About half of them are accredited by ANSI, allowing them to participate in international standardization activity. Three Ways to Make a US Standard Accredited Standards Organization: An organization that does many things including making standards, e.g. IEEE. Accredited Standards
    [Show full text]
  • The Evolution of Lisp
    1 The Evolution of Lisp Guy L. Steele Jr. Richard P. Gabriel Thinking Machines Corporation Lucid, Inc. 245 First Street 707 Laurel Street Cambridge, Massachusetts 02142 Menlo Park, California 94025 Phone: (617) 234-2860 Phone: (415) 329-8400 FAX: (617) 243-4444 FAX: (415) 329-8480 E-mail: [email protected] E-mail: [email protected] Abstract Lisp is the world’s greatest programming language—or so its proponents think. The structure of Lisp makes it easy to extend the language or even to implement entirely new dialects without starting from scratch. Overall, the evolution of Lisp has been guided more by institutional rivalry, one-upsmanship, and the glee born of technical cleverness that is characteristic of the “hacker culture” than by sober assessments of technical requirements. Nevertheless this process has eventually produced both an industrial- strength programming language, messy but powerful, and a technically pure dialect, small but powerful, that is suitable for use by programming-language theoreticians. We pick up where McCarthy’s paper in the first HOPL conference left off. We trace the development chronologically from the era of the PDP-6, through the heyday of Interlisp and MacLisp, past the ascension and decline of special purpose Lisp machines, to the present era of standardization activities. We then examine the technical evolution of a few representative language features, including both some notable successes and some notable failures, that illuminate design issues that distinguish Lisp from other programming languages. We also discuss the use of Lisp as a laboratory for designing other programming languages. We conclude with some reflections on the forces that have driven the evolution of Lisp.
    [Show full text]
  • NINETEENTH PLENARY MEETING of ISO/IEC JTC 1/SC 22 London, United Kingdom September 19-22, 2006 [20060918/22] Version 1, April 17, 2006 1
    NINETEENTH PLENARY MEETING OF ISO/IEC JTC 1/SC 22 London, United Kingdom September 19-22, 2006 [20060918/22] Version 1, April 17, 2006 1. OPENING OF PLENARY MEETING (9:00 hours, Tuesday, September 19) 2. CHAIRMAN'S REMARKS 3. ROLL CALL OF DELEGATES 4. APPOINTMENT OF DRAFTING COMMITTEE 5. ADOPTION OF THE AGENDA 6. REPORT OF THE SECRETARY 6.1 SC 22 Project Information 6.2 Proposals for New Work Items within SC 22 6.3 Outstanding Actions From the Eighteenth Plenary of SC 22 Page 1 of 7 JTC 1 SC 22, 2005 Version 1, April 14, 2006 6.4 Transition to ISO Livelink 6.4.1 SC 22 Transition 7. ACTIVITY REPORTS 7.1 National Body Reports 7.2 External Liaison Reports 7.2.1 ECMA International (Rex Jaeschke) 7.2.2 Free Standards Group (Nick Stoughton) 7.2.2 Austin Joint Working Group (Nick Stoughton) 7.3 Internal Liaison Reports 7.3.1 Liaison Officers from JTC 1/SC 2 (Mike Ksar) 7.3.2 Liaison Officer from JTC 1/SC 7 (J. Moore) Page 2 of 7 JTC 1 SC 22, 2005 Version 1, April 14, 2006 7.3.3 Liaison Officer from ISO/TC 37 (Keld Simonsen) 7.3.5 Liaison Officer from JTC 1 SC 32 (Frank Farance) 7.4 Reports from SC 22 Subgroups 7.4.1 Other Working Group Vulnerabilities (Jim Moore) 7.4.2 SC 22 Advisory Group for POSIX (Stephen Walli) 7.5 Reports from JTC 1 Subgroups 7.5.1 JTC 1 Vocabulary (John Hill) 7.5.2 JTC 1 Ad Hoc Directives (John Hill) 8.
    [Show full text]
  • Proceedings of the 8Th European Lisp Symposium Goldsmiths, University of London, April 20-21, 2015 Julian Padget (Ed.) Sponsors
    Proceedings of the 8th European Lisp Symposium Goldsmiths, University of London, April 20-21, 2015 Julian Padget (ed.) Sponsors We gratefully acknowledge the support given to the 8th European Lisp Symposium by the following sponsors: WWWLISPWORKSCOM i Organization Programme Committee Julian Padget – University of Bath, UK (chair) Giuseppe Attardi — University of Pisa, Italy Sacha Chua — Toronto, Canada Stephen Eglen — University of Cambridge, UK Marc Feeley — University of Montreal, Canada Matthew Flatt — University of Utah, USA Rainer Joswig — Hamburg, Germany Nick Levine — RavenPack, Spain Henry Lieberman — MIT, USA Christian Queinnec — University Pierre et Marie Curie, Paris 6, France Robert Strandh — University of Bordeaux, France Edmund Weitz — University of Applied Sciences, Hamburg, Germany Local Organization Christophe Rhodes – Goldsmiths, University of London, UK (chair) Richard Lewis – Goldsmiths, University of London, UK Shivi Hotwani – Goldsmiths, University of London, UK Didier Verna – EPITA Research and Development Laboratory, France ii Contents Acknowledgments i Messages from the chairs v Invited contributions Quicklisp: On Beyond Beta 2 Zach Beane µKanren: Running the Little Things Backwards 3 Bodil Stokke Escaping the Heap 4 Ahmon Dancy Unwanted Memory Retention 5 Martin Cracauer Peer-reviewed papers Efficient Applicative Programming Environments for Computer Vision Applications 7 Benjamin Seppke and Leonie Dreschler-Fischer Keyboard? How quaint. Visual Dataflow Implemented in Lisp 15 Donald Fisk P2R: Implementation of
    [Show full text]
  • Gábor Melis to Keynote European Lisp Symposium
    Gábor Melis to Keynote European Lisp Symposium OAKLAND, Calif. — April 14, 2014 —Franz Inc.’s Senior Engineer, Gábor Melis, will be a keynote speaker at the 7th annual European Lisp Symposium (ELS’14) this May in Paris, France. The European Lisp Symposium provides a forum for the discussion and dissemination of all aspects of design, implementationand application of any of the Lisp and Lisp- inspired dialects, including Common Lisp, Scheme, Emacs Lisp, AutoLisp, ISLISP, Dylan, Clojure, ACL2, ECMAScript, Racket, SKILL, Hop etc. Sending Beams into the Parallel Cube A pop-scientific look through the Lisp lens at machine learning, parallelism, software, and prize fighting We send probes into the topic hypercube bounded by machine learning, parallelism, software and contests, demonstrate existing and sketch future Lisp infrastructure, pin the future and foreign arrays down. We take a seemingly random walk along the different paths, watch the scenery of pairwise interactions unfold and piece a puzzle together. In the purely speculative thread, we compare models of parallel computation, keeping an eye on their applicability and lisp support. In the the Python and R envy thread, we detail why lisp could be a better vehicle for scientific programming and how high performance computing is eroding lisp’s largely unrealized competitive advantages. Switching to constructive mode, a basic data structure is proposed as a first step. In the machine learning thread, lisp’s unparalleled interactive capabilities meet contests, neural networks cross threads and all get in the way of the presentation. Video Presentation About Gábor Melis Gábor Melis is a consultant at Franz Inc.
    [Show full text]
  • JTC1 and SC22 - Terminology
    JTC1 AD Hoc Terminology, August 2005 1 JTC1 and SC22 - Terminology Background Following my offer to collect together the definitions from SC22 standards, SC22 accepted my offer and appointed me as its terminology representative (I was later also asked to represent UK and BSI) on the JTC1 ad hoc group on terminology. These notes summarise the results of collecting the SC22 definitions, and my impressions of the JTC1 ad hoc group. Roger Scowen August 2005 A collection of definitions from SC22 standards SC22 asked me to prepare a collected terminology for SC22 containing the definitions from standards for which SC22 is responsible, and asked the project editors to send me the definitions in text form. Many, but not all, project editors did so. However there are sufficient for SC22 to judge whether to complete the list or abandon it as an interesting but unprofitable exercise. Adding definitions to the database The project editor of a standard typically sends the definitions from the standard as a Word file, but it may be plain text or in Latex or nroff format. These definitions are transformed into a uniform format by a series of global ‘find & replace’ operations to produce a Word file where each definition is represented as a row of a table with three columns: the term, its definition, and any notes and/or examples. It is often easier to check this has been accomplished by copying and pasting successive attempts into Excel than examining the Word file itself. Sometimes there are special cases such as exotic characters (for example Greek or mathematical characters), special fonts, illustrations, diagrams, or tables.
    [Show full text]
  • Essential Autolisp® Springer Science+ Business Media, LLC Royharkow
    Essential AutoLISP® Springer Science+ Business Media, LLC RoyHarkow Essential AutoLISP® With a Quick Reference Card and a Diskette Springer RoyHarkow Roy Harkow Associates 40 MacArthur Road Wellesley, MA 02181 USA E-mail: [email protected] AutoLISP, AutoCAD, and AutoCAD Training Center are registered trademarks of Autodesk, lnc. AutoCAD Development System is a trademark of Autodesk, Inc. This book is not an Autodesk product and is not warranted by Autodesk. Library of Congress Cataloging-in-Publication Data Harkow, Roy. Essential AutoLISP 1 Roy Harkow. p. cm. Includes bibliographical references and index. 1. AutoLISP (Computer program language) 1. Title. QA76.73.A84H37 1995 620'.0042'028755369-dc20 95-34192 Printed on acid-free paper. © 1996 Springer Science+Business Media New York Originally published by Springer-Verlag New York, Inc. in 1996 Softcover reprint of the hardcover 1st edition 1996 AH rights reserved. This work may not be translated or copied in whole or in part without the written permission of the publisher (Springer Science+Business Media, LLC), except for brief excerpts in connection with reviews or scholarly analysis. Use in connection with any form of information storage and retrieval, electronic adaptation, computer software, or by similar or dissimilar methodology now known or hereafter developed is forbidden. The use of general descriptive names, trade names, trademarks, etc., in this publication, even if the former are not especially identified, is not to be taken as a sign that such names, as understood by the Trade Marks and Merchandise Marks Act, may accordingly be used freely by anyone. Production coordinated by Impressions and managed by Bill Imbomoni; manufacturing super­ vised by Jacqui Ashri.
    [Show full text]
  • A Python Implementation for Racket
    PyonR: A Python Implementation for Racket Pedro Alexandre Henriques Palma Ramos Thesis to obtain the Master of Science Degree in Information Systems and Computer Engineering Supervisor: António Paulo Teles de Menezes Correia Leitão Examination Committee Chairperson: Prof. Dr. José Manuel da Costa Alves Marques Supervisor: Prof. Dr. António Paulo Teles de Menezes Correia Leitão Member of the Committee: Prof. Dr. João Coelho Garcia October 2014 ii Agradecimentos Agradec¸o... Em primeiro lugar ao Prof. Antonio´ Leitao,˜ por me ter dado a oportunidade de participar no projecto Rosetta com esta tese de mestrado, por todos os sabios´ conselhos e pelos momentos de discussao˜ e elucidac¸ao˜ que se proporcionaram ao longo deste trabalho. Aos meus pais excepcionais e a` minha mana preferida, por me terem aturado e suportado ao longo destes quase 23 anos e sobretudo pelo incondicional apoio durante estes 5 anos de formac¸ao˜ superior. Ao pessoal do Grupo de Arquitectura e Computac¸ao˜ (Hugo Correia, Sara Proenc¸a, Francisco Freire, Pedro Alfaiate, Bruno Ferreira, Guilherme Ferreira, Inesˆ Caetano e Carmo Cardoso), por todas as sug- estoes˜ e pelo inestimavel´ feedback em artigos e apresentac¸oes.˜ Aos amigos em Tomar (Rodrigo Carrao,˜ Hugo Matos, Andre´ Marques e Rui Santos) e em Lisboa (Diogo da Silva, Nuno Silva, Pedro Engana, Kaguedes, Clara Paiva e Odemira), por terem estado pre- sentes, duma forma ou doutra, nos essenciais momentos de lazer. A` Fundac¸ao˜ para a Cienciaˆ e Tecnologia (FCT) e ao INESC-ID pelo financiamento e acolhimento atraves´ da atribuic¸ao˜ de uma bolsa de investigac¸ao˜ no ambitoˆ dos contratos Pest-OE/EEI/LA0021/2013 e PTDC/ATP-AQI/5224/2012.
    [Show full text]
  • MNU, MNS, MNR, MNC, MNX, MNL ... Or CUI Speaker: Chris Lindner – WD Partners
    MNU, MNS, MNR, MNC, MNX, MNL ... or CUI Speaker: Chris Lindner – WD Partners GD105-2P This course guides anyone familiar the two-decade-old method of customizing AutoCAD's menus into the uncharted territory of the new CUIs. It outlines the procedures for creating, sharing and editing toolbars , menus, dashboards, shortcuts, mouse buttons, workspaces, and even touches on how to migrate legacy technologies (table, screen and image menus.. remember those?) safely and quickly. After attending this class, you will be able to: • Use previous menu knowledge to accelerate the CUI learning curve • Create CUI files from existing MNU/MNS files • Set up Enterprise and Main CUI files • Work with workspaces and dashboards About the Speaker: Chris is a veteran AutoCAD user of over 20 years. He has been a CAD drafter, CAD manager, trainer, and consultant in a variety of industries. He is currently the Director of CAD technology for WD Partners, an international, multi-unit design and development firm. Chris is currently serving as the Vice President for the AUGI Board of Directors, and is Manager of AUGI's monthly HotNews publication where he also writes the popular TIPniques column. [email protected] 1 Introduction Since AutoCAD 2006, Autodesk has taken some innovative steps to modernizing how we tailor the AutoCAD environment. Rather than having to do customization with a variety of tools, practically all of AutoCAD’s user interface (UI) elements (toolbars, menus, shortcuts, etc.) can be modified and managed from within AutoCAD itself using the new Customize User Interface (CUI) editor. This course will give you the fundamentals to fully leverage the new CUI 2 Out with the MNU, in with the New The CUI is not perfect, but is a step in the right direction.
    [Show full text]
  • Writing Cybersecurity Job Descriptions for the Greatest Impact
    Writing Cybersecurity Job Descriptions for the Greatest Impact Keith T. Hall U.S. Department of Homeland Security Welcome Writing Cybersecurity Job Descriptions for the Greatest Impact Disclaimers and Caveats • Content Not Officially Adopted. The content of this briefing is mine personally and does not reflect any position or policy of the United States Government (USG) or of the Department of Homeland Security. • Note on Terminology. Will use USG terminology in this brief (but generally translatable towards Private Sector equivalents) • Job Description Usage. For the purposes of this presentation only, the Job Description for the Position Description (PD) is used synonymously with the Job Opportunity Announcement (JOA). Although there are potential differences, it is not material to the concepts presented today. 3 Key Definitions and Concepts (1 of 2) • What do you want the person to do? • Major Duties and Responsibilities. “A statement of the important, regular, and recurring duties and responsibilities assigned to the position” SOURCE: https://www.opm.gov/policy-data- oversight/classification-qualifications/classifying-general-schedule-positions/classifierhandbook.pdf • Major vs. Minor Duties. “Major duties are those that represent the primary reason for the position's existence, and which govern the qualification requirements. Typically, they occupy most of the employee's time. Minor duties generally occupy a small portion of time, are not the primary purpose for which the position was established, and do not determine qualification requirements” SOURCE: https://www.opm.gov/policy-data- oversight/classification-qualifications/classifying-general-schedule-positions/positionclassificationintro.pdf • Tasks. “Activities an employee performs on a regular basis in order to carry out the functions of the job.” SOURCE: https://www.opm.gov/policy-data-oversight/assessment-and-selection/job-analysis/job_analysis_presentation.pdf 4 Key Definitions and Concepts (2 of 2) • What do you want to see on resumes that qualifies them to do this work? • Competency.
    [Show full text]