Adaptation of Mathematical Documents

Total Page:16

File Type:pdf, Size:1020Kb

Adaptation of Mathematical Documents Adaptation of Mathematical Documents Christine Muller¨ A thesis submitted in partial fulfilment of the requirements for the degree of Doctor of Philosophy in Computer Science Date of Defense: 5 May 2010 Date of Publication: 10 May 2010 Jacobs University Bremen School of Engineering and Science Dissertation Committee Prof. Michael Kohlhase, Jacobs University Bremen, Germany Prof. Adalbert Wilhelm, Jacobs University Bremen, Germany Prof. Cristian Calude, University of Auckland, New Zealand To my parents. I II I hereby declare that this thesis has been written independently except where sources and collaborations are acknowledged and has not been submitted at another university for the conferral of a degree. Parts of this thesis are based on or closely related to previously published material or material that is prepared for publication at the time of this writing. These are [MK09a, CM09, KLM+09, MK09b,M ul09a¨ , MK08a, MK08b,M ul08b¨ ,M ul08a¨ , MK08c, KMR08, WM07, MK07, KMM07a, KMM07b]. Parts of this work are the result of collaborations with other researchers: for PartII with Michael Kohlhase, Christoph Lange, Normen M uller,¨ and Florian Rabe and for Part III with Michael Kohlhase, Achim Mahnke, and Normen Muller.¨ In each case the precise connection to this work is detailed in the relevant passages of the text. Bremen, 10 May 2010, Christine Muller¨ III IV Abstract Modern web technologies have empowered users to create and share documents across the world. Today, users are confronted with an immense amount of documents, including doc- uments in a more traditional understanding such as publications, manuals, and textbooks as well as documents in a wider interpretation such as forum postings, ratings, and tags. Con- fronted with this immense amount of information, users struggle to find appropriate docu- ments and to acquire the essential knowledge conveyed in these documents. Essentially, the web’s usability depends on whether or not it can respond to the individual user preferences and needs (called the user context) and personalise web documents respectively. Personalising documents is widely addressed by applications in industry and research. For example, eLearning systems address the personalisation of online documents, particularly, the presentation and content planning of documents. They propose the most advanced adap- tation services and are thoroughly discussed in this thesis. Unfortunately, all of these sys- tems apply a topic-oriented approach: They can only handle self-contained information units (called topics or learning objects) that omit transitional phrases and cross-references. The resulting topic-oriented documents lack coherence and guidance that traditional, narrative writings provide. However, these narrative documents can not be easily modularised into reusable document parts that can be arbitrarily combined and arranged in a document. This work applies the topic-oriented principles of modularisation and reuse to the narrative authoring paradigm. Narrative documents are modularised into infoms, for which transitional phrases and cross-references are marked. Infoms and their semantic/narrative dependencies as well as variant relations are modelled as graphs. These graphs are processed during the content planning of narrative documents during which appropriate infoms are selected and ar- ranged according to the user’s context. Since the narrative transitions are visualised by words and phrases, they can reduce the adaptability of infoms. To improve the exchangeability of infoms, infoms are thus enriched with alternative transitions and cross-references. With these enrichments, appropriate narrative transitions can be selected according to the combination and arrangement of document parts into user-specific documents. To illustrate the proposed adaptation services for narrative documents, mathematical docu- ments are used. This decision required the author to take an essential aspect of mathematical text into account: Mathematics is a mixture of natural language text, symbols, and formulae. Symbols and formulae can be presented with different notations. These notations can com- plicate communication and acquisition processes since notations are context-dependent and can considerable vary among different communities and individuals. These variations can cause ambiguities and misunderstandings. In this situation, the author proposes a comprehensive framework that allows users to con- figure notations as well as to guide the content planning of mathematical documents regarding a semantic, narrative, and user context. To prioritise these contexts and to guide the adapta- tion, a combination of extensional and intensional options is provided. These give users full control over any step of the adaptation workflow: The specification of which document parts should be adapted and which should remain unchanged, the collection of adaptation objects (notation preferences, infoms, and context parameters), and the user-specific selection of the most appropriate objects to be applied in the rendering, substitution, and ordering of docu- ment parts. Since mathematics is the foundation of many other disciplines, the author expects that the findings of her work can be applied to other domains and a wide range of documents. V VI I am most grateful to my supervisor, Michael Kohlhase, for his continued encouragement and invaluable suggestions during this work. I am especially indebted to Cristian Calude whose insights and advice have been very compelling and fruitful. I also thank Adalbert Wilhelm for his support and feedback. I would also like to include my gratitude to my colleagues that have provided the envi- ronment for sharing their experiences and theories about the problem issues involved as well as participated in stimulating team exercises to discuss and develop solutions to the identified problems. I want to particularly like to thank my colleagues and co-authors Fulya Horozal, Constantin Jucovschi, Andrea Kohlhase, Christoph Lange, Immanuel Normann, Achim Mahnke, Normen Muller,¨ Florian Rabe, Heinrich Stamerjohanns, Marc Wagner, and Vyacheslav Zholudev. This is also extended to the students of the KWARC group who contributed to the development of my prototype system. These are Andrei Aiordachioaie, Stefania Dumbrava, Josip Dzolonga, Darko Makreshanski, Dimitar Misev, Alen Stojanov, and Jakob Ucker.¨ Finally, I would like to thank Jacobs University, the Germany National Merit Foundations, and the JEM-Thematic-Network ECP-038208 who have provided me with financial indepen- dence for the past three years. VII VIII Contents I. Introduction & State of the Art1 1. Introduction3 1.1. The Document-Centered and Topic-Oriented Paradigms............6 1.2. Research Contribution.............................7 1.3. Adaptation of Mathematical Documents....................9 1.4. Context-based Adaptation........................... 12 2. Preliminaries & State of the Art 17 2.1. XML-based Markup Formats.......................... 17 2.2. Systems for Document Adaptation....................... 31 II. Adaptation of Mathematical Notations 45 3. Introduction 47 3.1. Introduction into Mathematical Notations................... 48 3.2. Representation of Mathematical Notations................... 51 3.3. State of the Art................................. 53 3.4. Requirements Specification........................... 55 4. Pattern-based Rendering of Notations 59 4.1. Information Model............................... 60 4.2. Specification of Notation Definitions...................... 64 4.3. The Rendering Algorithm............................ 66 4.4. Guiding the Rendering Algorithm....................... 69 5. Summary & Evaluation of Notations 79 5.1. Services & Limitations............................. 79 5.2. Proof of Concept................................ 83 5.3. Chapter Summary................................ 84 III. Content Planning for Mathematical Documents 85 6. Introduction 87 6.1. Representation of Variants/Alternatives.................... 87 6.2. State of the Art................................. 92 6.3. Requirements Specification........................... 94 7. The Content Planning Approach 99 7.1. Modularisation of Mathematical Documents.................. 100 IX Contents 7.2. Variants & Variant Relations.......................... 108 7.3. Specification for the Content Planning..................... 114 8. Substitution of Document Parts 119 8.1. Information Model............................... 119 8.2. The Abstractor................................. 122 8.3. The Substitution Algorithm........................... 124 8.4. Summary & Evaluation of the Substitution................... 132 9. Reordering of Mathematical Documents 139 9.1. Information Model............................... 139 9.2. The Abstractor................................. 141 9.3. The Reordering Algorithm........................... 142 9.4. Summary & Evaluation of the Reordering................... 153 IV. Adaptation in Practice 159 10.The Panta Rhei System 161 10.1. The Adaptable Panta Rhei........................... 163 10.2. The Social Panta Rhei.............................. 175 10.3. The Adaptive Panta Rhei............................ 183 10.4. Chapter Summary................................ 194 11.Conclusion & Future Work 195 11.1. Conclusion................................... 195 11.2. Future Work................................... 196 11.3. Epilog...................................... 198 X Part I. Introduction & State of the Art 1 1. Introduction Information technologies have
Recommended publications
  • The Amsrefs Package
    The amsrefs package Michael Downes and David M. Jones American Mathematical Society Version 2.14, 2013/03/07 Contents 1 Introduction . 3 2 Package options . 3 3 More about the \bib command . 3 3.1 Field names for the \bib command . 3 3.2 Bibliography entry types . 4 4 Customizing the bibliography style . 5 5 Miscellaneous commands provided by the amsrefs package . 6 6 Implementation . 9 6.1 Overview . 9 6.1.1 Normal LATEX processing of cites . 9 6.2 How cites are processed by amsrefs . 10 6.3 Data structures . 11 6.4 Preliminaries . 12 6.5 Utilities . 13 6.6 Declaring package options . 16 6.6.1 The ? option . 18 6.7 Loading auxiliary packages . 18 6.7.1 The lite option . 18 6.8 Key-value setup . 18 6.8.1 Standard field names (the bib group) . 19 6.8.2 Auxiliary properties (the prop group) . 20 6.9 Bibliography type specifications . 20 6.10 The standard bibliography types . 23 6.11 The biblist environment . 27 6.12 Processing bibliography entries . 30 6.12.1 \@bibdef Implementations . 32 6.12.2 \bib@exec Implementations . 35 6.12.3 Resolving cross-references . 37 6.12.4 Bib field preprocessing . 40 6.12.5 Date setup . 42 6.12.6 Language setup . 43 6.12.7 Citation label setup . 44 1 THE AMSREFS PACKAGE 2 6.12.8 Printing the bibliography . 47 6.13 Name, journal and publisher abbreviations . 49 6.14 Processing .ltb files . 49 6.15 Citation processing . 53 6.15.1 The \citesel structure . 53 6.15.2 The basic \cite command .
    [Show full text]
  • Descargar Textos Completos
    Descargar textos completos Si su biblioteca ha solicitado este servicio, usted podrá descargar ebooks utilizando Adobe DRM. Para poder descargar un texto completo desde Digitalia, primero necesitará instalar Adobe Digital Editions, un programa gratuito, en su ordenador o dispositivo: http://www.adobe.com/es/products/digital-editions/download.html Usted podrá leer y anotar en ebooks descargados en su ordenador sin necesidad de estar conectado a internet, y podrá almacenar hasta 5 libros de forma simultánea. Los periodos de acceso serán de 20 días para todos los documentos. Usted siempre podrá devolver los libros antes de que finalice este plazo. 1. ¿Descarga libros por primera vez? Si es la primera vez que descarga un documento en su ordenador a través de Adobe Digital Editions: I. Se recomienda la instalación de Adobe Digital Editions en el ordenador antes de empezar la descarga desde Digitalia, II. O usted puede hacer todos los pasos juntos: o Desde su computadora, vaya al sitio de Digitalia o Si aún no lo ha hecho, inicie sesión en su cuenta personal de Digitalia Esto es, haga clic en el botón "Sign In" en la parte superior derecha e inicie su sesión. Si usted todavía no tiene una cuenta personal, puede crear una aquí: http://www.digitaliapublishing.com/registro o Encuentre el libro que desea descargar o Haga clic en el botón "Préstamo en Adobe DRM" o Seleccione el formato en que desea descargar (pdf o epub) Un fichero “URLLINK.acsm” se descargará en su ordenador. Si aún no lo ha hecho, usted tendrá que instalar Adobe Digital Editions en este punto.
    [Show full text]
  • Generación Automática De Reportes Con R Y LATEX
    Generaci´on autom´atica de reportes con R y LATEX Automatic report generation with R and LATEX Mario Alfonso Morales Rivera* Resumen R es un lenguaje y entorno para calculo estad´ıstico y gr´aficos. Es un proyecto GNU similar al lenguaje y entorno S que fue desarrollado en los laboratorios Bell por John Chambers y colegas. R puede considerarse como otra implementaci´on del lenguaje S. R proporciona una amplia variedad de t´ecnicas estad´ısticas y gr´aficas y es altamente extendible. A menudo el lenguaje S es el vinculo escogido por investigadores en metodolog´ıa estad´ıstica, y R proporciona una ruta de c´odigo abierto para la participaci´on en esa actividad (R Development Core Team 2006). LATEX es un sistema de preparaci´on de documentos para composici´on de texto de alta calidad. Este es usado a menudo para escribir medianos a grandes documentos cient´ıficos y t´ecnicos, pero puede usarse para casi cualquier tipo de publicaci´on. LATEX fue desarrollado en 1985 por Leslie Lamport, y ahora lo mantiene y desarrolla el proyecto A A LTEX3. Al igual que R, LTEX es software libre y en este momento es el formato de documento m´as empleado entre matem´aticos y estad´ısticos (The LaTeX3 project 2006). La funci´on Sweave() de R proporciona un marco flexible para mezclar texto y c´odigo R para la generaci´on autom´atica de documentos. Un archivo fuente simple contiene el texto de documentaci´on y el c´odigo R, los cuales son entrelazados dentro de un documento final que contiene el texto de documentaci´on junto con el c´odigo R y/o la salida del c´odigo (texto, gr´aficos).
    [Show full text]
  • Magistère Informatique 2016
    Magistère In fo rm a tiq u e 2016 JEU DI 1er SEPTEM BRE VENDREDI 2 SEPTEM BRE 9h Steve RO Q U ES 8h30 Thom as BAU M ELA Optimisation des accès mémoire spécifiques à une In tegratin g Sp lit D rivers in Lin u x application par prechargem ent de page dans les manycores. 9h10 Rém y BO U TO N N ET Relational Procedure Sum m aries for 9h40 Thom as LAVO CAT Interprocedural Analysis Gotaktuk, a versatile parallel launcher 10h Quentin RICARD 10h25 Myriam CLO U ET Détection d'intrusion en milieu industriel Rainem ent de propriétés de logique tem porelle 10h40 Christopher FERREIRA 11h05 Lenaïc TERRIER Scat : Function prototypes retrieval inside A language for the hom e - Dom ain-Specific stripp ed binaries Language design for End-User Program m ing in Sm art Hom es 11h30 Lina MARSSO Form al proof for an activation m odel of real- 14h Mathieu BAILLE tim e syste m Méthodologie d’analyse de corpus de flux RSS multimédia 14h Antoine DELISE Is facto rizatio n h elp fu l fo r cu rren t sat-so lvers ? 14h40 Jules LEFRERE Com position in Coq of silents distributed self- stab ilizing algo rith m s. 15h20 Rodolphe BERTO LINI Distributed Approach of Cross-Layer Le Magistère est une option pour les élèves de Allocator in Wireless Sensor Networks niveau L3 à M2 leur perm ettant d’acquérir de l’expérience dans le dom aine de la recherche. 16h15 Claude Gobet 3D kidney motion characterization from 2D+T MR Im ages Les soutenances, organisées sous form e de conférence, sont ouvertes au public.
    [Show full text]
  • Como Ser Un Intelectual Informático. (HOW-TO GEEK)
    11/20/2019 Como firmar documentos en PDF sin imprimirlos ni escanearlos. Como ser un Intelectual Informático. (HOW-TO GEEK) Cómo firmar electrónicamente documentos en formato PDF sin imprimir ni escanear. CHRIS HOFFMAN @chrishoffman Actualizado Mayo 16, 2018, 12:04 PM EDT Usted ha recibido un documento por correo electrónico y tiene que firmarlo y regresarlo. Usted pudiera imprimir el documento, firmarlo, escanearlo y entonces enviarlo por correo electrónico de regreso. Hay una manera mas rápida y menor de hacerlo. Le demostraremos cómo agregar rápidamente su firma a cualesquier documento de formato PDF y archivarlo como un archivo regular PDF que puede ser leído en cualesquier lugar. Usted puede hacer esto en Windows, Mac, iPad, iPhone, Android, Chrome OS, Linux- cualesquier plataforma que usted prefiera. Firmas Electrónicas, No Firmas Digitales Primero hablemos claramente _________________ SOLO LOS PASOS de alguna terminología. Este 1. Windows abra el PDF en Adobe Reader y presione el botón en el panel derecho de “Fill & Sign”(firme y artículo trata de firmas llene). Electrónicas no firmas digitales 2. Mac abra el PDF en vista previa, presione el botón las cuales son totalmente de la Caja de Herramientas, después presione Firma. 3. iPhone and iPad abra el PDF adjuntado en el correo diferentes. Una firma digital esta electrónico, presione en “Marcar y reaplicar” (Markup y asegurada criptográficamente y Replay)” para firmar. verifica que alguien con su llave 4. iPhone y Android descargue Adobe Fill & Sign (llenar y firmar), abra el PDF toque el botón de firma. de firma privada (en otras 5. Chrome instale la extensión HelloSign, suba su PDF y palabras, usted) ha visto y presione el botón de Firma.
    [Show full text]
  • Tutorial Sumatrapdf Programa Lector De Documentos PDF
    Tutorial SumatraPDF Programa lector de documentos PDF. COLECCIÓN DE APLICACIONES GRATUITAS PARA CONTEXTOS EDUCATIVOS Plan Integral de Educación Digital Gerencia Operativa de Incorporación de Tecnologías (InTec) Ministerio de Educación del Gobierno de la Ciudad de Buenos Aires 03-10-2021 Prólogo Este tutorial se enmarca dentro de los lineamientos del Plan Integral de Educación Digital (PIED) del Ministerio de Educación del Gobierno de la Ciudad Autónoma de Buenos Aires que busca integrar los procesos de enseñanza y de aprendizaje de las instituciones educativas a la cultura digital. Uno de los objetivos del PIED es “fomentar el conocimiento y la apropiación crítica de las Tecnologías de la Información y de la Comunicación (TIC) en la comunidad educativa y en la sociedad en general”. Cada una de las aplicaciones que forman parte de este banco de recursos son he- rramientas que, utilizándolas de forma creativa, permiten aprender y jugar en en- tornos digitales. El juego es una poderosa fuente de motivación para los alumnos y favorece la construcción del saber. Todas las aplicaciones son de uso libre y pue- den descargarse gratuitamente de Internet e instalarse en cualquier computadora. De esta manera, se promueve la igualdad de oportunidades y posibilidades para que todos puedan acceder a herramientas que desarrollen la creatividad. En cada uno de los tutoriales se presentan “consideraciones pedagógicas” que funcionan como disparadores pero que no deben limitar a los usuarios a explorar y desarrollar sus propios usos educativos. La aplicación de este tutorial no constituye por sí misma una propuesta pedagógi- ca. Su funcionalidad cobra sentido cuando se integra a una actividad.
    [Show full text]
  • Tree Automata, Approximations, and Constraints for Verification : Tree (Not Quite) Regular Model-Checking Vincent Hugot
    Tree automata, approximations, and constraints for verification : Tree (Not quite) regular model-checking Vincent Hugot To cite this version: Vincent Hugot. Tree automata, approximations, and constraints for verification : Tree (Not quite) regular model-checking. Information Theory [cs.IT]. Université de Franche-Comté, 2013. English. NNT : 2013BESA2010. tel-00909608v2 HAL Id: tel-00909608 https://tel.archives-ouvertes.fr/tel-00909608v2 Submitted on 10 Sep 2014 HAL is a multi-disciplinary open access L’archive ouverte pluridisciplinaire HAL, est archive for the deposit and dissemination of sci- destinée au dépôt et à la diffusion de documents entific research documents, whether they are pub- scientifiques de niveau recherche, publiés ou non, lished or not. The documents may come from émanant des établissements d’enseignement et de teaching and research institutions in France or recherche français ou étrangers, des laboratoires abroad, or from public or private research centers. publics ou privés. Thèse de Doctorat école doctorale sciences pour l’ingénieur et microtechniques UNIVERSITÉ DE FRANCHE-COMTÉ N◦ 6 6 6 THESE` present´ ee´ par VINCENT HUGOT pour obtenir le Grade de Docteur de l’Universite´ de Franche-Comte´ Specialit´ e´ : Informatique Tree Automata, Approximations, and Constraints for Verification Tree (Not-Quite) Regular Model-Checking Soutenue publiquement le 27 Septembre 2013 devant le Jury compose´ de : PHILIPPE SCHNOEBELEN Rapporteur Directeur de recherche, CNRS JEAN-MARC TALBOT Rapporteur Professeur a` l’Universite´ d’Aix-Marseille PIERRE-CYRILLE HEAM´ Co-Directeur Professeur a` l’Universite´ de Franche-Comte´ OLGA KOUCHNARENKO Directeur de these` Professeur a` l’Universite´ de Franche-Comte´ FLORENT JACQUEMARD Examinateur Charge´ de recherche HDR, INRIA JEAN-FRANC¸ OIS RASKIN Examinateur Professeur a` l’Universite´ libre de Bruxelles SOPHIE TISON Examinateur Professeur a` l’Universite´ de Lille 2 Version of the document: d361, dated 2013-12-30 05:08:42+01:00 , compiled on December 30, 2013.
    [Show full text]
  • Identifying Open-Source License Violation and 1-Day Security Risk at Large Scale
    Identifying Open-Source License Violation and 1-day Security Risk at Large Scale Ruian Duan⇤ Ashish Bijlani⇤ Meng Xu Georgia Institute of Technology Georgia Institute of Technology Georgia Institute of Technology Taesoo Kim Wenke Lee Georgia Institute of Technology Georgia Institute of Technology ABSTRACT CCS CONCEPTS With millions of apps available to users, the mobile app market is • Security and privacy → Software security engineering; Dig- rapidly becoming very crowded. Given the intense competition, the ital rights management; • Software and its engineering → Soft- time to market is a critical factor for the success and protability ware libraries and repositories; of an app. In order to shorten the development cycle, developers often focus their eorts on the unique features and workows of KEYWORDS their apps and rely on third-party Open Source Software (OSS) for the common features. Unfortunately, despite their benets, care- Application Security; License Violation; Code Clone Detection less use of OSS can introduce signicant legal and security risks, which if ignored can not only jeopardize security and privacy of end users, but can also cause app developers high nancial loss. 1 INTRODUCTION However, tracking OSS components, their versions, and interde- The mobile app market is rapidly becoming crowded. According pendencies can be very tedious and error-prone, particularly if an to AppBrain, there are 2.6 million apps on Google Play Store alone OSS is imported with little to no knowledge of its provenance. [5]. To stand out in such a crowded eld, developers build unique We therefore propose OSSP, a scalable and fully-automated features and functions for their apps, but more importantly, they tool for mobile app developers to quickly analyze their apps and try to bring their apps to the market as fast as possible for the rst- identify free software license violations as well as usage of known mover advantage and the subsequent network eect.
    [Show full text]
  • Una Introducción (No Demasiado Breve) a Context Mark IV Una Introducción (No Demasiado Breve) a Context Markiv Versión 1.6 [2 De Enero De 2021]
    Joaquín Ataz López Una introducción (no demasiado breve) a ConTEXt Mark IV Una introducción (no demasiado breve) a ConTEXt MarkIV Versión 1.6 [2 de enero de 2021] © 2020, Joaquín Ataz López El autor del presente texto autoriza su libre distribución y uso, lo que incluye el derecho a copiar y redistribuir este documento en soporte digital con la condición de que se cite la autoría del mismo, y éste no se incluya en ningún paquete o conjunto de software o de documentación cuyas condiciones de uso o distribución no contemplen el libre derecho de copia y redistribución por parte de sus destinatarios. Se autoriza, asímismo, la traducción del documento, siempre que se indique la autoría del texto original y el texto traducido se distribuya bajo licencia FDL de la Free Software Foundation, licencia Creative Commons que autorice la copia y redistribución, o licencia similar. No obstante lo anterior, la publicación y comercialización en papel de este documento, o de su traducción, requerirán autorización expresa y por escrito del autor. Historial de versiones: • 18 de agosto de 2020: Versión 1.0: Documento original. • 23 de agosto de 2020: Versión 1.1: Corrección de pequeñas erratas y despistes del autor. • 3 de septiembre de 2020: Versión 1.15: Más erratas y despistes. • 5 de septiembre de 2020: Versión 1.16: Más erratas y despistes así como algunos pequeñísimos cambios que aumentan la claridad del texto (creo). • 6 de septiembre de 2020: Versión 1.17: Es increible la cantidad de pequeñas erratas que voy encontrando. Si quiero parar debo dejar de releer el documento.
    [Show full text]
  • The UK Tex FAQ Your 469 Questions Answered Version 3.28, Date 2014-06-10
    The UK TeX FAQ Your 469 Questions Answered version 3.28, date 2014-06-10 June 10, 2014 NOTE This document is an updated and extended version of the FAQ article that was published as the December 1994 and 1995, and March 1999 editions of the UK TUG magazine Baskerville (which weren’t formatted like this). The article is also available via the World Wide Web. Contents Introduction 10 Licence of the FAQ 10 Finding the Files 10 A The Background 11 1 Getting started.............................. 11 2 What is TeX?.............................. 11 3 What’s “writing in TeX”?....................... 12 4 How should I pronounce “TeX”?................... 12 5 What is Metafont?........................... 12 6 What is Metapost?........................... 12 7 Things with “TeX” in the name.................... 13 8 What is CTAN?............................ 14 9 The (CTAN) catalogue......................... 15 10 How can I be sure it’s really TeX?................... 15 11 What is e-TeX?............................ 15 12 What is PDFTeX?........................... 16 13 What is LaTeX?............................ 16 14 What is LaTeX2e?........................... 16 15 How should I pronounce “LaTeX(2e)”?................. 17 16 Should I use Plain TeX or LaTeX?................... 17 17 How does LaTeX relate to Plain TeX?................. 17 18 What is ConTeXt?............................ 17 19 What are the AMS packages (AMSTeX, etc.)?............ 18 20 What is Eplain?............................ 18 21 What is Texinfo?............................ 19 22 Lollipop................................ 19 23 If TeX is so good, how come it’s free?................ 19 24 What is the future of TeX?....................... 19 25 Reading (La)TeX files......................... 19 26 Why is TeX not a WYSIWYG system?................. 20 27 TeX User Groups............................ 21 B Documentation and Help 21 28 Books relevant to TeX and friends...................
    [Show full text]
  • La Migración Del Escritorio a Software Libre Del Ayuntamiento De Zaragoza
    MIGRACION ESCRITORIO SOFTWARE LIBRE Servicio de Redes y Sistemas Dirección General de Ciencia y Tecnología 22 de Febrero de 2011 Ayuntamiento de Zaragoza Dirección del Documento: Eduardo Romero Moreno eromero[ ]zaragoza.es Autores: Alberto Gacias Mateo agacias[ ]zaragoza.es Alfonso Gomez Sanchez agomez[ ]zaragoza.es Eduardo Romero Moreno eromero[ ]zaragoza.es Jesus Pueyo Benedicto jpueyob[ ]zaragoza.es Jose Antonio Chavarria Trullen jachavarria[ ]zaragoza.es Raul Huerta Navarro rhuerta[ ]zaragoza.es Sergio Lara Gonzalez slara[ ]zaragoza.es Proyecto AZLinux: Blog http://zaragozaciudad.net/azlinux/ Twitter @azlinuxzgz Correo [email protected] Esta obra está bajo una licencia Attribution-ShareAlike 3.0 Spain de Creative Commons. Para ver una copia de esta licencia, visite http://creativecommons.org/licenses/by-sa/3.0/es/ o envie una carta a Creative Commons, 171 Second Street, Suite 300, San Francisco, California 94105, USA. Migración Escritorio Software Libre. Ayuntamiento de Zaragoza 2/113 Indice 1. Introducción 2. Estado del arte 2.1 Informes estadísticos...............................................................................................8 2.1.1 Ambito internacional 2.1.2 Ambito nacional 2.1.3 Conclusiones generales 2.2 Proyectos destacables...........................................................................................16 2.2.1 Organizaciones Privadas 2.2.2 Administración Pública 2.2.3 Ambito Educativo 2.3 Organismos de apoyo y Centros I+D...................................................................33 2.3.1 OSOR 2.3.2 CENATIC 2.3.3 CESLCAM 2.3.4 Mancomún 2.3.5 Universidad. Oficinas Software Libre. 2.3.5 Otros centros I+D 2.4 Marco normativo y legal........................................................................................37 2.4.1 Normas y recomendaciones 3. Guía metodológica 3.1 Valoración inicial....................................................................................................42 3.1.2 Recursos económicos y humanos.
    [Show full text]
  • Guía De Usuario
    GUÍA DE USUARIO GUÍA DE USUARIO Búsquedas El usuario dispone de diferentes métodos para acceder a los contenidos que desea mediante: Búsqueda rápida de los contenidos. Los distintos carruseles existentes en la página principal (novedades, más visitados, más prestados...). Búsqueda rápida de los contenidos Los pasos a seguir para realizar una búsqueda rápida son: 1. Diríjase a la página principal. 2. Introduzca en el área de texto, situada en la parte superior de la pantalla, la palabra o frase que identifique el contenido que se desea localizar. 3. Pulse el botón Buscar. Imagen 1. Búsqueda rápida. Filtros El usuario puede acotar la búsqueda del recurso deseado utilizando los filtros de las búsquedas facetadas. Los pasos que debe seguir son: 1. Realice una búsqueda en blanco. Para ello debe pulsar el botón Buscar. 2. En la parte izquierda de la ventana, aparecen distintos filtros que el usuario puede utilizar para acotar su búsqueda. Seleccione el filtro/los filtros que desea aplicar para estrechar la búsqueda anteriormente realizada. Imagen 2. Selección de filtros en la columna izquierda. 3. Si los filtros que aparecen por defecto no se adecuan al contenido que desea localizar, puede añadir filtros adicionales. Tan solo tiene que pulsar Mostrar filtros adicionales del menú de la parte izquierda. Seleccione los deseados y pulse el botón Mostrar. Imagen 3. Ventana emergente para añadir filtros adicionales. 4. Además de añadir filtros adicionales, el usuario puede añadir nuevos campos de búsqueda a cada uno de los filtros del panel de la izquierda. Pulse Más... del filtro deseado, seleccione los nuevos campos para aplicar a la nueva búsqueda y pulse el botón mostrar.
    [Show full text]