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 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 Michael Kohlhase for having the overview to find the right research topic for me and for making it possible for me to explore it. I am especially indebted to Cristian Calude whose insights and advice have been very compelling and fruitful. I have benefited from a lot discussions and collaborations with numerous researchers, in particular, Normen Muller¨ and the members of the KWARC group at Jacobs University Bremen. 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 transformed our present era into an information age, in which individuals can freely transfer information and have instant access to data that was formerly difficult or impossible to access. In particular, the rise of the World Wide Web (WWW, W3 or Web) has led to an explosion of digital materials that are highly interlinked and available at our fingertips. Originally developed by Tim Berners-Lee in 1989 [BL90] to provide an easy way to exchange research results, the WWW evolved into a global source of information for everyone: The WWW is a wide-area hypermedia information retrieval initiative aiming to give universal access to a large universe of documents (Tim Berners-Lee). Summarised
Recommended publications
  • Arxiv:Cs/0107036V2 [Cs.SC] 31 Jul 2001
    TEXmacs interfaces to Maxima, MuPAD and REDUCE A. G. Grozin Budker Institute of Nuclear Physics, Novosibirsk 630090, Russia [email protected] Abstract GNU TEXmacs is a free wysiwyg word processor providing an excellent typesetting quality of texts and formulae. It can also be used as an interface to Computer Algebra Systems (CASs). In the present work, interfaces to three general-purpose CASs have been implemented. 1 TEXmacs GNU TEXmacs [1] is a free (GPL) word processor which typesets texts and mathematical formulae with very high quality (like LAT X), • E emphasizes the logical structure of a document rather than its appearance (like • LATEX), is easy to use and intuitive (like typical wysiwyg word processors), • arXiv:cs/0107036v2 [cs.SC] 31 Jul 2001 can be extended by a powerful programming language (like Emacs), • can include PostScript figures (as well as other figures which can be converted • to PostScript), can export LAT X, and import LAT X and html, • E E supports a number of languages based on Latin and Cyrillic alphabets. • It uses TEX fonts both on screen and when printing documents. Therefore, it is truly wysiwyg, with equally good quality of on-screen and printed documents (in contrast to LyX which uses X fonts on screen and calls LATEX for printing). There is a similar commercial program called Scientific Workplace (for Windows). TEXmacs can also be used as an interface to any CAS which can generate LATEX output. It renders LATEX formulae on the fly, producing CAS output with highest 1 typesetting quality (better than, e.g., Mathematica, which uses fixed-width fonts for formula output).
    [Show full text]
  • Using Mathjax and Its Accessibility Features
    Using MathJax and its Accessibility Features Volker Sorge, Peter Krautzberger MathJax AHG 2016, Denver, November 16 2016 Read along at: mathjax.github.io/MathJax-a11y/slides/ahg16.pdf Volker Sorge, Peter Krautzberger Using MathJax and its Accessibility Features What is MathJax? MathJax is a JavaScript library for rendering Mathematics in all browsers Can take LATEX, AsciiMath, and MathML as input Generates browser output, e.g. HTML/CSS, SVG Standard Maths rendering solution for: stackexchange, wordpress blogs, mediawiki, etc. MathJax is the de facto rendering solution of (nearly) all Mathematics on the web (35 million unique daily rendering requests via CDN) http://www.mathjax.org Volker Sorge, Peter Krautzberger Using MathJax and its Accessibility Features Using MathJax Use it directly from CDN Configure according to the need of your web document Local installations possible Detailed documentation available at: http://docs.mathjax.org Large user community and support Volker Sorge, Peter Krautzberger Using MathJax and its Accessibility Features Configuring MathJax: CDN Load directly from Content Distribution Network Include single line script tag into web document Example with broad, standard configuration <s c r i p t sr c ='https://cdn.mathjax.org/mathjax/latest/MathJax. js? c o n f i g=TeX−AMS−MML HTMLorMML'></ s c r i p t> Volker Sorge, Peter Krautzberger Using MathJax and its Accessibility Features Configuring MathJax: Locally Local configurations to customise for your web content Allows for fine-grained control of MathJax's behaviour Needs to be added BEFORE the CDN call Example for including inline LATEX formulas: <s c r i p t type=" t e x t /x−mathjax−c o n f i g "> MathJax.Hub.
    [Show full text]
  • El Manual De GNU TEXMACS
    El manual de GNU TEXMACS Índice 1. Iniciar . 9 1.1. Convenciones para este manual . 9 1.2. Congurar TEXMACS . 9 1.3. Crear, guardar y cargar documentos . 10 1.4. Imprimir documentos . 10 2. Escribir documentos sencillos . 11 2.1. Generalidades para teclear de texto . 11 2.2. Tecleando texto estructurado . 11 2.3. Etiquetas basadas en contenido . 12 2.4. Listas . 12 2.5. Entornos . 13 2.6. Aspectos de presentación . 14 2.7. El sistema de selección de fuentes . 14 2.8. Dominando el teclado . 15 2.8.1. Reglas generales de prejos . 15 2.8.2. Algunos atajos de teclado fundamentales . 15 2.8.3. Atajos de teclado para el modo texto . 16 2.8.4. Comandos híbridos y simulación LATEX . 16 2.8.5. Objetos dinámicos . 16 2.8.6. Personalización del teclado . 17 3. Fórmulas matemáticas . 19 3.1. Principales constructos matemáticos . 19 3.2. Tecleando símbolos matemáticos . 20 3.3. Tecleando operadores grandes . 20 3.4. Teclear delimitadores grandes . 21 3.5. Acentos matemáticos anchos . 22 4. Material tabular . 23 4.1. Creando tablas . 23 4.2. El modo para dar formato . 23 4.3. Especicando el alineamiento de la celda y la tabla . 24 4.4. Especicando el tamaño de la celda y la tabla . 24 4.5. Bordes, acolchado y color de fondo . 25 4.6. Características avanzadas de la tabla . 25 5. Links and automatically generated content . 27 5.1. Creating labels, links and references . 27 5.2. Inserting images . 27 5.3. Generating a table of contents . 28 5.4.
    [Show full text]
  • Software Livre Para Engenharia
    SSOOFFTTWWAARREE LLIIVVRREE PPAARRAA EENNGENHGENHAARRIAIA AdAdiillssoonn JJ.. ddee AsAsssiiss [email protected] I Semana Acadêmica da UFU 28 de maio de 2004 Universidade Federal de Uberlândia Faculdade de Engenharia Química Núcleo de Modelagem, Controle e Otimização de Processos TERMINTERMINOOLLOOGGIAIA Software em Domínio Público Software em domínio público é software sem copyright. Alguns tipos de cópia, ou versões modificadas, podem não ser livres porque o autor permite que restrições adicionais sejam impostas na redistribuição do original ou de trabalhos derivados. Software Semi-livre Software semi-livre é software que não é livre, mas é concedida a permissão para que indivíduos o usem, copiem, distribuam e modifiquem, incluindo a distribuição de versões modificadas, desde que o façam sem o propósito de auferir lucros. Exemplos de software semi-livre são as primeiras versões do Internet Explorer da Microsoft, algumas versões dos browsers da Netscape, e o StarOffice. Softw are liv re p ara engenha ria I Sem ana Acadêm ica da UFU TERMINTERMINOOLLOOGGIAIA Freeware O termo freeware não possui uma definição amplamente aceita mas é usado com programas que permitem a redistribuição mas não a modificação, e seu código fonte não é disponibilizado. Estes programas não são software livre. Shareware Shareware é o software disponibilizado com a permissão para que seja redistribuído, mas a sua utilização implica no pagamento pela sua licença. Geralmente, o código fonte não é disponibilizado e portanto modificações são impossíveis. Softw are liv re p ara engenha ria I Sem ana Acadêm ica da UFU TERMINTERMINOOLLOOGGIAIA Software Proprietário Software proprietário é aquele cuja cópia, redistribuição ou modificação são em alguma medida proibidos pelo seu proprietário.
    [Show full text]
  • Conservative Conversion Between and Texmacs
    Conservative conversion between A L TEX and TEXMACS by Joris van der Hoevena, François Poulainb LIX, CNRS École polytechnique 91128 Palaiseau Cedex France a. Email: [email protected] b. Email: [email protected] April 15, 2014 Abstract Back and forth converters between two document formats are said to be conservative if the following holds: given a source document D, its conversion D0, a locally modied version M 0 of D0 and the back con- version M of M 0, the document M is a locally modied version of D. We will describe mechanisms for the implementation of such converters, A with the L TEX and TEXMACS formats as our guiding example. Keywords: Conservative document conversion, LATEX conversion, TEXMACS, mathematical editing A.M.S. subject classication: 68U15, 68U35, 68N99 1 Introduction The TEXMACS project [7, 10] aims at creating a free scientic oce suite with an integrated structured mathematical text editor [8], tools for graphical drawings and presentations, a spreadsheed, interfaces to various computer algebra sys- tems, and so on. Although TEXMACS aims at a typesetting quality which is at least as good as TEX and LATEX [14, 15], the system is not based on these latter systems. In particular, a new incremental typesetting engine was implemented from scratch, which allows documents to be edited in a wysiwyg and thereby more user friendly manner. This design choice made it also possible or at least easier to use TEXMACS as an interface for external systems, or as an editor for technical drawings. However, unlike existing graphical front-ends for LATEX such as LyX [2] or Scientific Workplace [23], native compatibility with LATEX is not ensured.
    [Show full text]
  • Referência Debian I
    Referência Debian i Referência Debian Osamu Aoki Referência Debian ii Copyright © 2013-2021 Osamu Aoki Esta Referência Debian (versão 2.85) (2021-09-17 09:11:56 UTC) pretende fornecer uma visão geral do sistema Debian como um guia do utilizador pós-instalação. Cobre muitos aspetos da administração do sistema através de exemplos shell-command para não programadores. Referência Debian iii COLLABORATORS TITLE : Referência Debian ACTION NAME DATE SIGNATURE WRITTEN BY Osamu Aoki 17 de setembro de 2021 REVISION HISTORY NUMBER DATE DESCRIPTION NAME Referência Debian iv Conteúdo 1 Manuais de GNU/Linux 1 1.1 Básico da consola ................................................... 1 1.1.1 A linha de comandos da shell ........................................ 1 1.1.2 The shell prompt under GUI ......................................... 2 1.1.3 A conta root .................................................. 2 1.1.4 A linha de comandos shell do root ...................................... 3 1.1.5 GUI de ferramentas de administração do sistema .............................. 3 1.1.6 Consolas virtuais ............................................... 3 1.1.7 Como abandonar a linha de comandos .................................... 3 1.1.8 Como desligar o sistema ........................................... 4 1.1.9 Recuperar uma consola sã .......................................... 4 1.1.10 Sugestões de pacotes adicionais para o novato ................................ 4 1.1.11 Uma conta de utilizador extra ........................................ 5 1.1.12 Configuração
    [Show full text]
  • GNU Texmacs User Manual Joris Van Der Hoeven
    GNU TeXmacs User Manual Joris van der Hoeven To cite this version: Joris van der Hoeven. GNU TeXmacs User Manual. 2013. hal-00785535 HAL Id: hal-00785535 https://hal.archives-ouvertes.fr/hal-00785535 Preprint submitted on 6 Feb 2013 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. GNU TEXMACS user manual Joris van der Hoeven & others Table of contents 1. Getting started ...................................... 11 1.1. Conventionsforthismanual . .......... 11 Menuentries ..................................... 11 Keyboardmodifiers ................................. 11 Keyboardshortcuts ................................ 11 Specialkeys ..................................... 11 1.2. Configuring TEXMACS ..................................... 12 1.3. Creating, saving and loading documents . ............ 12 1.4. Printingdocuments .............................. ........ 13 2. Writing simple documents ............................. 15 2.1. Generalities for typing text . ........... 15 2.2. Typingstructuredtext ........................... ......... 15 2.3. Content-basedtags
    [Show full text]
  • GNU TEXMACS Towards a ScientiC OCe Suite
    GNU TEXMACS Towards a scientic oce suite Massimiliano Gubinelli CEREMADE - UMR CNRS 7534, Université Paris Dauphine Place du Maréchal De Lattre De Tassigny, 75775 Paris cedex 16, France Joris van der Hoeven, François Poulain, Denis Raux Laboratoire d'informatique, UMR 7161 CNRS, École polytechnique 91128 Palaiseau Cedex, France June 2, 2014 1 Introduction The GNU TEXMACS project aims to provide a free, polyvalent and user-friendly scientic oce suite, which can easily be interfaced with a wide range of external mathematical software. The system can be downloaded from www.texmacs.org. It should be noticed that TEXMACS has been developed from scratch in C++ and Scheme. In particular, the software does not rely on TEX or LATEX. With respect to standard oce suites such as Microsoft Word or Open Oce, we oer better support for mathematical typesetting, formula editing, and other features useful for scientists. With respect to TEX/LATEX [Knu84, Lam94] and its various front-ends, TEXMACS has the advantage of being completely wysiwyg (what you see is what you get). Indeed, the development of our system was initially motivated by the following reasons: An editor should allow the author to concentrate on what is written and not on how it is written. In particular, editors should be as wysiwyg as possible. With the advent of a wide variety of mathematical software, it should be possible to make documents more active. One might wish to incorporate computer algebra sessions and spreadsheets, for instance. Scientic editors should become more integrated, taking example on oce suits for non-scientic users. For instance, they should provide tools for drawing technical pictures, making presentations from a laptop, anno- tating texts, etc.
    [Show full text]
  • AIUCD 2016 Book of Abstracts (Rev
    AIUCD 2016 Book of Abstracts (Rev. 0.1) Edizioni digitali: rappresentazione, interoperabilità, analisi del testo e infrastrutture Digital editions: representation, interoperability, text analysis and infrastructures edited by Federico Boschetti Venezia 2016 AIUCD 2016 Book of Abstracts (Rev. 0.1) Edizioni digitali: rappresentazione, interoperabilità, analisi del testo e infrastrutture Digital editions: representation, interoperability, text analysis and infrastructures edited by Federico Boschetti Venezia 2016 Gli abstract pubblicati in questo volume hanno ottenuto il parere favorevole da par- te di valutatori esperti della materia, attraverso un processo di revisione anonima sotto la responsabilità del Comitato Scientifico di AIUCD 2016. Questo volume non comprende gli interventi degli invited speakers, che saranno pub- blicati nel volume degli Atti del Convegno. All abstracts published in this volume have received a favourable review by experts in the field of DH, through an anonymous peer review process under the responsibility of the AIUCD 2016 Scientific Committee. This book does not contains the key-notes, which will be published in the Proceedings. Comitato Scientifico / Scientific Committee Maristella Agosti, Monica Berti, Federico Boschetti, Dino Buzzetti, Marina Buzzoni, Fabio Ciotti, Adele Cipolla, Gregory Crane, Paolo Mastandrea (Coordinatore / Coordi- nator), Roberto Rosselli Del Turco, Linda Spinazzè, Anna Maria Tammaro, Sara Tonelli, Paolo Trovato Valutatori Esterni / External Reviewers Andrea Bellandi, Giulia Benotto, Marco Callieri, Marilena Daquino, Riccardo Del Grat- ta, Angelo Mario Del Grosso, Rodolfo Delmonte, Emanuele Di Buccio, Emiliano Giovan- netti, Gianmario Guidarelli, Marion Lamé, Maurizio Lana, Stefano Maso, Federico Me- schini, Monica Monachini, Ouafae Nahli, Fabio Nolfo, Chiara Ponchia, Gino Roncaglia, Enrica Salvatori, Alessia Scacchi, Roberto Scopigno, Daria Spampinato, Francesco Stella, Timothy Tambassi, Anna Maria Tammaro, Francesca Tomasi © 2016 Federico Boschetti.
    [Show full text]
  • Text-Based Input Formats for Mathematical Formulas
    Text-based input formats for mathematical formulas Peter Jipsen Chapman University December 8, 2006 Peter Jipsen (Chapman University) Text-based mathematical input formats December 8, 2006 1 / 22 The problem How to make computers display and understand e.g.: π sin−1 plog e = e 2 Mathematical notation uses complex 2D positioning The information has to be entered in some form Converted to an internal representation Displayed / printed / spoken / archived / searched / ... Peter Jipsen (Chapman University) Text-based mathematical input formats December 8, 2006 2 / 22 Creating mathematical content Traditional document: Handwritten Advantages versatile simple fast Disadvantages hard to digitize hard to parse can’t edit or copy/paste easily semantics? Peter Jipsen (Chapman University) Text-based mathematical input formats December 8, 2006 3 / 22 Creating mathematical content Traditional document: using point and click formula editor Advantages easy to use wysiwyg captures structure Disadvantages slow nonstandard difficult to add to existing tools display quality? Peter Jipsen (Chapman University) Text-based mathematical input formats December 8, 2006 4 / 22 Creating mathematical content Traditional document: using a typesetting system Advantages high quality output import/export features for larger systems expected by publishers Disadvantages cryptic commands tedious textediting/proofreading “nonstandard” Peter Jipsen (Chapman University) Text-based mathematical input formats December 8, 2006 5 / 22 Displaying mathematical content Math on webpages
    [Show full text]
  • 2018 Unité De Recherche Dossier D'autoévaluation
    Évaluation des unités de recherche Novembre 2016 Vague D Campagne d’évaluation 2017 – 2018 Unité de recherche Dossier d’autoévaluation Informations générales Nom de l’unité : Centre de Recherche en Mathématiques de la Décision Acronyme : CEREMADE UMR CNRS 7534 Champ de recherche de rattachement : Recherche Nom du directeur pour le contrat en cours : Vincent Rivoirard Nom du directeur pour le contrat à venir : Vincent Rivoirard Type de demande : Renouvellement à l’identique x Restructuration □ Création ex nihilo □ Établissements et organismes de rattachement : Liste des établissements et organismes tutelles de l’unité de recherche pour le contrat en cours et pour le prochain contrat (tutelles). Contrat en cours : | Prochain contrat : - Université Paris-Dauphine |- Université Paris-Dauphine - CNRS |- CNRS Choix de l’évaluation interdisciplinaire de l’unité de recherche ou de l’équipe interne : Oui □ Non x Vague D : campagne d’évaluation 2017 – 2018 1 Département d’évaluation de la recherche 2 Table des matières 1 Présentation du Ceremade7 1.1 Introduction..............................................7 1.2 Tableau des effectifs et moyens du Ceremade............................7 1.2.1 Effectifs............................................7 1.2.2 Parité.............................................9 1.2.3 Moyens financiers......................................9 1.2.4 Locaux occupés........................................ 10 1.2.5 Ressources documentaires.................................. 10 1.3 Politique scientifique......................................... 10 1.3.1 Missions et objectifs scientifiques.............................. 10 1.3.2 Structuration......................................... 11 1.3.3 Recrutements......................................... 12 1.3.4 Illustration de la mise en œuvre de la stratégie scientifique adoptée en 2012 en direction des applications........................................ 14 1.3.5 Programmes de soutien à la recherche du Ceremade déployés par la Fondation Dauphine, PSL, la FSMP et la Région Ile-de-France.........................
    [Show full text]
  • Research Techniques in Network and Information Technologies, February
    Tools to support research M. Antonia Huertas Sánchez PID_00185350 CC-BY-SA • PID_00185350 Tools to support research The texts and images contained in this publication are subject -except where indicated to the contrary- to an Attribution- ShareAlike license (BY-SA) v.3.0 Spain by Creative Commons. This work can be modified, reproduced, distributed and publicly disseminated as long as the author and the source are quoted (FUOC. Fundació per a la Universitat Oberta de Catalunya), and as long as the derived work is subject to the same license as the original material. The full terms of the license can be viewed at http:// creativecommons.org/licenses/by-sa/3.0/es/legalcode.ca CC-BY-SA • PID_00185350 Tools to support research Index Introduction............................................................................................... 5 Objectives..................................................................................................... 6 1. Management........................................................................................ 7 1.1. Databases search engine ............................................................. 7 1.2. Reference and bibliography management tools ......................... 18 1.3. Tools for the management of research projects .......................... 26 2. Data Analysis....................................................................................... 31 2.1. Tools for quantitative analysis and statistics software packages ......................................................................................
    [Show full text]