Wiki-research-l February 2014

wiki-research-l@lists.wikimedia.org

26 participants
23 discussions

Re: [Wiki-research-l] General user survey: future plans?
by James Salsman 21 Feb '14

21 Feb '14

> Is anyone working on a general user survey? http://lists.wikimedia.org/pipermail/advocacy_advisors/2014-February/000394… Our advocacy orientation isn't well aligned with the issues that most affect Wikimedians at present, because previous surveys had some huge bias flaws. We need to cover about twelve categories previously under "human rights." For example, class size and negative interest on excess reserves. A lot of our copyright advocacy skirts blatant plagiarism which anyone skilled at summarization would wonder why to ever care about.

1 0

General user survey: future plans?
by Samuel Klein 20 Feb '14

20 Feb '14

There has been a healthy amount of discussion recently about project-level surveys. Is anyone working on a general user survey? An annual version of this would be valuable: https://meta.wikimedia.org/wiki/General_User_Survey Likewise, an annual report on opt-in data from user preferences. SJ

1 0

generating QA review questions?
by James Salsman 18 Feb '14

18 Feb '14

Has anyone been working on automatic generation of QA review questions weighted by their real-world outcome preference implications? I recently noticed a controversy about when rebar for reinforced concrete was invented. I had looked the fact up earlier out of idle curiosity, but I realize that many insurance plans are struggling with the end-of-life claims on reinforced concrete foundations, so there is a potential financial incentive to mislead people about the date that rebar was invented: it would be easier to terminate insurance contracts and total more buildings, which has substantial dollar figure financial implications. I am not suggesting the process of ranking questions by their dollar value implications could be automated without human support, but has anyone explored the extent to which automation can assist? Updating is a core, if not the most core as of last year, editing activity necessary to maintain quality. Wikidata can help, but QA review needs to be independent and relatively anonymous. Best regards, James Salsman

1 0

2nd Call for Papers: Conf. Intelligent Computer Mathematics (CICM 2014)
by serge.autexier＠dfki.de 17 Feb '14

17 Feb '14

CICM 2014 - Conferences on Intelligent Computer Mathematics July 7-11, 2014 at University of Coimbra, Portugal http://www.cicm-conference.org/2014 Second Call for Papers ------------------------------------------------------------------- * Co-located Workshops * - CCA'14: Workshop on Compact Computer Algebra (organiser: Elena Smirnova) - MathUI'14: Workshop on Mathematical User Interfaces (organisers: Andrea Kohlhase, Paul Libbrecht) - OpenMath Workshop (organisers: James Davenport, Michael Kohlhase) - Workshop on The Notion of Proof (organisers: Jesse Alama, Reinhard Kahle) - ThEdu'14: Workshop on Theorem Provers Components for Educational Software (organisers: Walther Neuper, Pedro Quaresma) ------------------------------------------------------------------- As computers and communications technology advance, greater opportunities arise for intelligent mathematical computation. While computer algebra, automated deduction, mathematical publishing and novel user interfaces individually have long and successful histories, we are now seeing increasing opportunities for synergy among these areas. The Conferences on Intelligent Computer Mathematics (CICM) offer a venue for discussing these areas and their synergy. CICM has been held annually as a joint meeting since 2008, colocating related conferences and workshops to advance work in these subjects. Previous meetings have been held in Birmingham (U.K. 2008), Grand Bend (Canada 2009), Paris (France 2010), Bertinoro (Italy 2011), Bremen (Germany 2012) and Bath (U.K. 2013). This is a call for papers for CICM 2014, which will be held at the University of Coimbra, 7-11 July 2014, following the 10th International Workshop on Automated Deduction in Geometry. The principal tracks of the conference will be: Calculemus (Symbolic Computation and Mechanised Reasoning) Chair: James Davenport DML (Digital Mathematical Libraries) Chair: Petr Sojka MKM (Mathematical Knowledge Management) Chair: Josef Urban Systems and Projects Chair: Alan Sexton The local arrangements will be coordinated by the Local Arrangements Chair, Pedro Quaresma (U. Coimbra, Portugal), and the overall programme will be organised by the General Program Chair, Stephen Watt (U. Western Ontario, Canada). The proceedings of the conference will be published by Springer Verlag as a volume in Lecture Notes in Artificial Intelligence (LNAI). As in previous years, it is anticipated that there will be a number co-located workshops, including one to mentor doctoral students giving presentations. ---------------------------------------------------------------- Important dates ---------------------------------------------------------------- Conference submissions: Abstract submission: 28 February 2014 Submission deadline: 7 March 2014 Reviews sent to authors: 4 April 2014 Rebuttals due: 8 April 2014 Notification of acceptance: 14 April 2014 Camera ready copies due: 25 April 2014 Work in progress and Doctoral Programme submissions: Submission deadline: 28 April 2014 (Doctoral: Abstract+CV) Notification of acceptance: 19 May 2014 Camera ready copies due: 26 May 2014 Conference: 7-11 July 2014 ---------------------------------------------------------------- Tracks ---------------------------------------------------------------- ================================================================ Track Calculemus: Symbolic Computation and Mechanised Reasoning ================================================================ Calculemus 2014 invites the submission of original research contributions to be considered for publication and presentation at the conference. Calculemus is a series of conferences dedicated to the integration of computer algebra systems (CAS) and systems for mechanised reasoning like interactive proof assistants (PA) or automated theorem provers (ATP). Currently, symbolic computation is divided into several (more or less) independent branches: traditional ones (e.g., computer algebra and mechanised reasoning) as well as newly emerging ones (on user interfaces, knowledge management, theory exploration, etc.) The main concern of the Calculemus community is to bring these developments together in order to facilitate the theory, design, and implementation of integrated mathematical assistant systems that will be used routinely by mathematicians, computer scientists and all others who need computer-supported mathematics in their every day business. All topics in the intersection of computer algebra systems and automated reasoning systems are of interest for Calculemus. These include but are not limited to: * Automated theorem proving in computer algebra systems. * Computer algebra in theorem proving systems. * Adding reasoning capabilities to computer algebra systems. * Adding computational capabilities to theorem proving systems. * Theory, design and implementation of interdisciplinary systems for computer mathematics. * Case studies and applications that involve a mix of computation and reasoning. * Case studies in formalization of mathematical theories. * Representation of mathematics in computer algebra systems. * Theory exploration techniques. * Combining methods of symbolic computation and formal deduction. * Input languages, programming languages, types and constraint languages, and modeling languages for mathematical assistant systems. * Homotopy type theory. * Infrastructure for mathematical services. ================================================================ Track DML: Digital Mathematical Libraries ================================================================ Mathematicians dream of a digital archive containing all validated mathematical literature ever published, reviewed, properly linked, and verified. It is estimated that the entire corpus of mathematical knowledge published over the centuries does not exceed 100,000,000 pages, an amount easily manageable by current information technologies. The track objective is to provide a forum for the development of math-aware technologies, standards, algorithms and formats for the fulfillment of the dream of a global digital mathematical library (DML). Computer scientists (D) and librarians of the digital age (L) are especially welcome to join mathematicians (M) and discuss many aspects of DML preparation. Track topics are all topics of mathematical knowledge management and digital libraries applicable in the context of DML building, including the processing of mathematical knowledge expressed in scientific papers in natural languages: * Math-aware text mining (math mining) and MSC classification * Math-aware representations of mathematical knowledge * Math-aware computational linguistics and corpora * Math-aware tools for [meta]data and fulltext processing * Math-aware OCR and document analysis * Math-aware information retrieval * Math-aware indexing and search * Authoring languages and tools * MathML, OpenMath, TeX and other mathematical content markup languages * Web interfaces for DML content * Mathematics on the web, math crawling and indexing * Math-aware document processing workflows * Archives of written mathematics * DML management, business models * DML rights handling, funding, sustainability * DML content acquisition, validation and curation * Reports and experience from running existing DMLs ================================================================ Track MKM: Mathematical Knowledge Management ================================================================ Mathematical Knowledge Management is an interdisciplinary field of research in the intersection of mathematics, computer science, library science, and scientific publishing. The objective of MKM is to develop new and better ways of managing sophisticated mathematical knowledge, based on innovative technology of computer science, the Internet, and intelligent knowledge processing. MKM is expected to serve mathematicians, scientists, and engineers who produce and use mathematical knowledge; educators and students who teach and learn mathematics; publishers who offer mathematical textbooks and disseminate new mathematical results; and librarians and mathematicians who catalog and organize mathematical knowledge. The track is concerned with all aspects of mathematical knowledge management. A non-exclusive list of important topics includes: * Representations of mathematical knowledge * Authoring languages and tools * Repositories of formalized mathematics * Deduction systems * Mathematical digital libraries * Diagrammatic representations * Mathematical OCR * Mathematical search and retrieval * Math assistants, tutoring and assessment systems * MathML, OpenMath, and other mathematical content standards * Web presentation of mathematics * Data mining, discovery, theory exploration * Computer algebra systems * Collaboration tools for mathematics * Challenges and solutions for mathematical workflows ================================================================ Track Systems and Projects ================================================================ The Systems and Projects track of the Conferences on Intelligent Computer Mathematics is a forum for presenting available systems and new and ongoing projects in all areas and topics related to the CICM conferences: * Deduction and Computer Algebra (Calculemus) * Digital Mathematical Libraries (DML) * Mathematical Knowledge Management (MKM) The track aims to provide an overview of the latest developments and trends within the CICM community as well as to exchange ideas between developers and introduce systems to an audience of potential users. ---------------------------------------------------------------- Submission Instructions ---------------------------------------------------------------- Electronic submission is done through Easychair http://www.easychair.org/conferences/?conf=cicm2014 All papers should be prepared in LaTeX and formatted according to the requirements of Springer's LNCS series (the corresponding style files can be downloaded from http://www.springer.de/comp/lncs/authors.html). By submitting a paper the authors agree that if it is accepted at least one of the authors will attend the conference to present it. Submissions to the research tracks (Calculemus, DML, MKM) must not exceed 15 pages in the LNCS style and will be reviewed and evaluated with respect to relevance, clarity, quality, originality, and impact. Shorter papers, e.g., for system descriptions, are welcome. Authors will have an opportunity to respond to their papers' reviews before the programme committee makes a decision. System descriptions and projects descriptions should be 2-4 pages in the LNCS style and should present * newly developed systems, * systems not previously been presented to the CICM community, or * significant updates to existing systems. Systems must either be available for download or currently executable by the general public as a web application. Project presentations should describe * projects that are new or about to start, * ongoing projects that have not yet been presented to the CICM community or * significant new developments in ongoing previously presented projects. Presentations of new projects should mention relevant previous work and include a roadmap that outlines concrete steps. All project submissions must have a live project website and should contain links to demos, videos, downloadable systems or downloadable datasets. Accepted conference submissions from all tracks will be published as a volume in the series Lecture Notes in Artificial Intelligence (LNAI) by Springer. In addition to these formal proceedings, authors are permitted and encouraged to publish the final versions of their papers on arXiv.org. Work-in-progress submissions are intended to provide a forum for the presentation of original work that is not yet in a suitable form for submission as a full paper for a research track or system description. This includes work in progress and emerging trends. Their size is not limited, but we recommend 5-10 pages. The programme committee may offer authors of rejected formal submissions the opportunity to publish their contributions as work-in-progress papers instead. Depending on the number of work-in-progress papers accepted, they will be presented at the conference either as short talks or as posters. The work-in-progress proceedings will be published as a technical report, as well as online with CEUR-WS.org. ---------------------------------------------------------------- Doctoral Programme ---------------------------------------------------------------- Chair: David Wilson (University of Bath, UK) CICM is an excellent opportunity for graduate students to meet established researchers from the areas of computer algebra, automated deduction, and mathematical publishing. The Doctoral Programme provides a dedicated forum for PhD students to present and discuss their ideas, ongoing or planned research, and achieved results in an open atmosphere. It will consist of presentations by the PhD students to get constructive feedback, advice, and suggestions from the research advisory board, researchers, and other PhD students. Each PhD student will be assigned to an experienced researcher from the research advisory board who will act as a mentor and who will provide detailed feedback and advice on their intended and ongoing research. Students at any stage of their PhD can apply and should submit the following documents through EasyChair: * A two-page abstract of your thesis describing your research questions, research plans, completed and remaining research, evaluation plans and publication plans; * A two-page CV that includes background information (name, university, supervisor), education (degree sought, year/status of degree, previous degrees), employments, relevant research experience (publications, presentations, attended conferences or workshops, etc.) Submission Deadline: 28 April 2014. ---------------------------------------------------------------- Programme Committee ---------------------------------------------------------------- General chair: Stephen Watt (University of Western Ontario, Canada) Calculemus track James Davenport, University of Bath, UK (Chair) Matthew England, University Of Bath, UK, Dejan Jovanović, SRI, USA Laura Kovács, Chalmers University of Technology, Sweden Assia Mahboubi, INRIA, France Adam Naumowicz, Institute of Informatics, U. Bialystok, Poland Grant Passmore, U. Cambridge and U. Edinburgh, UK Florian Rabe, Jacobs University Bremen. Germany Claudio Sacerdoti Coen, University of Bologna, Italy Freek Wiedijk, Radboud University Nijmegen, Netherlands (Other invitations pending) DML track Petr Sojka, Masaryk University, Brno, CZ (Chair) Akiko Aizawa, NII, University of Tokyo, Japan Łukasz Bolikowski, ICM, University of Warsaw, Poland Thierry Bouche, Université Joseph Fourier, Grenoble, france Yannis Haralambous, Inst Mines-Télécom - Télécom Bretagne, France Janka Chlebíková, School of Computing, University of Portsmouth, UK Michael Kohlhase, Jacobs University Bremen, Germany Jiří Rákosník, Institute of Mathematics AS CR, CZ David Ruddy, Cornell University, USA Volker Sorge, University of Birmingham, UK Frank Tompa, University of Waterloo, Canada Richard Zanibbi, Rochester Institute of Technology, USA MKM track Josef Urban, Radboud University Nijmegen, The Netherlands (Chair) Rob Arthan, Queen Mary University of London, UK David Aspinall, Univerity of Edinburgh, UK Michael Beeson, San Jose State University, USA Claudio Sacerdoti Coen, University of Bologna, Italy Thomas Hales, University of Pittsburgh, USA Johan Jeuring, Open Universiteit Nederland and Universiteit Utrecht, NL Peter Jipsen, Chapman University, USA Cezary Kaliszyk, University of Innsbruck, Austria Michael Kohlhase, Jacobs University Bremen, Germany Christoph Lange, University of Birmingham, UK Paul Libbrecht, Weingarten University of Education, Germany Ursula Martin, Queen Mary University of London, UK Bruce Miller, NIST, USA Adam Naumowicz, University of Bialystok, Poland Florian Rabe, Jacobs University Bremen, Germany Alan Sexton, University of Birmingham, UK Enrico Tassi, INRIA, France Stephen Watt, University of Western Ontario, Canada Makarius Wenzel, Université Paris-Sud 11, France Freek Wiedijk, Radboud University Nijmegen, The Netherlands Systems & Projects track Alan Sexton, University of Birmingham, UK (Chair) Christoph Lange, University of Bonn, Germany Jesse Alama, Technical University of Vienna, Austria Rob Arthan, Queen Mary University of London, UK Deyan Ginev, Jacobs University Bremen, Germany Jónathan Heras, University of Dundee, Scotland Mateja Jamnik, University of Cambridge, UK Predrag Janičić, University of Belgrade, Serbia Christoph Lüth, DFKI and University of Bremen, Germany Bruce Miller, NIST, Gaithersburg, Maryland, USA Hendrik Tews, TU Dresden, Germany

1 0

CfP SEMANTiCS (formerly known as I-SEMANTICS) September 4-5, 2014
by Sebastian Hellmann 13 Feb '14

13 Feb '14

<imap://hellmann@mail.informatik.uni-leipzig.de:143/fetch%3EUID%3E.Drafts%3E14116?part=1.2&filename=cc81ce36d80bcaad222b2fc1c3e9cdf556c5b101><imap://hellmann@mail.informatik.uni-leipzig.de:143/fetch%3EUID%3E.Drafts%3E14116?part=1.2&filename=cc81ce36d80bcaad222b2fc1c3e9cdf556c5b101> Call for Participation SEMANTiCS 2014 Transfer // Engineering // Community 10th International Conference on Semantic Systems (formerly known as I-SEMANTICS) Leipzig, Germany, September 4-5, 2014 http://www.semantics.cc Towards Engineering of Information Machines - We believe that semantic technologies are mature enough to dare the jump from research to engineering. We would like to invite you to Leipzig, Germany to explore with us best practices in engineering semantic systems. *Important Information (to help you prepare):* * The *deadline *for scientific papers will be *May 30th*a separate call for papers will be announced soon. * SEMANTiCS 2014 will be co-located with o September 3: 2nd DBpedia Community Meeting: http://wiki.dbpedia.org/meetings/Leipzig2014 o September 2: Multilingual Linked Open Data for Enterprises (MLODE 2014) o September 1-3: More workshops, meetings, tutorials * Workshop, Community Meetings and Challenges: We have a total of three days reserved for additional meetings, tutorials and workshops for September 1 - 3. If you are interested in a free room (coffee included), please send an email to the Chair of the Organising Committee, Ricardo Usbeck (http://www.semantics.cc/home/committee/organising-committee/). The annual SEMANTiCS conference (formerly known as I-Semantics) is the meeting place for professionals who make semantic computing work and understand the benefits and discuss how to overcome its limitations. Every year, SEMANTiCS attracts information managers, IT-architects, software engineers, and researchers, from organisations ranging from NPOs, public administrations to the largest companies in the world. Attendees learn from industry experts and top researchers about emerging trends and topics in semantic software, enterprise data, linked data & open data strategies and methodologies in knowledge modeling and text & data analytics. The SEMANTiCS community is very diverse; attendees have responsibilities in a range of areas, including knowledge management, technical documentation, e-commerce, big data analytics, enterprise search, document management, business intelligence, and enterprise vocabulary management. SEMANTiCS 2014 in Leipzig continues our long tradition of bringing together colleagues from around the world to present papers, panels, exhibitions and posters, to discuss best practices of semantic systems in birds-of-a-feather sessions and exchange knowledge further in informal settings. SEMANTiCS addresses problems common among information managers, software engineers, IT-architects and various specialist departments working to develop, implement and/or evaluate semantic software systems. The SEMANTiCS program is a rich mix of technical talks, panel discussions of important topics, and presentations by people who are ambitious to make information machines work - just like you. In addition, attendees can network with experts in a variety of fields. These relationships provide great value to organisations as they encounter subtle technical issues. The expertise gained by SEMANTiCS attendees has a long-term impact on their careers and organisations. These factors make SEMANTiCS the premiere event for our community. The following 'horizontals' (topics) and 'verticals' (industries) are mainly addressed: * Business Models, Governance & Data Strategies * Knowledge Discovery & Intelligent Search * Data Integration & Enterprise Linked Data * Big Data & Text Analytics * Data Portals & Knowledge Visualisation * Document Management & Content Management * Terminology, Thesaurus & Ontology Management * Industry & Engineering * Life Sciences & Health Care * Public Administration * Galleries, Libraries, Archives & Museums (GLAM) * Media, Publishing & Advertising * Financial Industry * Telecommunications * Energy We encourage participants to submit proposals for workshops, thematic focus and special programmes and events in contacting anyone from the SEMANTiCS Organising Committee: (http://www.semantics.cc/home/committee/organising-committee/) Call for Industry Presentations and Research Papers as well Posters and Demos will be announced at www.semantics.cc <http://www.semantics.cc> soon. Transfer: Research and experts meet industry, industry meets experts and research. SEMANTiCS is the place to exchange (project) ideas based on best practices and to learn more about the various perspectives one can have on probably the most valuable resources of our days: data & information. Engineering: Software providers, developers and IT-architects meet research and (potential) users from industry. SEMANTiCS is the place to dive deep into semantic web and linked data technologies. Community: Make new friends and renew old acquaintances. SEMANTiCS is the meeting place to discuss and to initiate new projects, to extend ongoing activities, and to showcase the latest developments. On behalf of all the people organizing SEMANTiCS 2014, we hope to see you in September in Leipzig, Sebastian Hellmann (AKSW, DBpedia), Harald Sack (Hasso-Plattner-Institut), Agata Filipowska (Poznan University of Economics), Christian Dirschl (Wolters Kluwer) and Andreas Blumenauer (Semantic Web Company) -- Sebastian Hellmann AKSW/NLP2RDF research group Insitute for Applied Informatics (InfAI) affiliated with DBpedia Events: * *21st March, 2014*: LD4LT Kick-Off <https://www.w3.org/community/ld4lt/wiki/LD4LT_Group_Kick-Off_and_Roadmap_Me…> @European Data Forum * *Sept. 1-5, 2014* Conference Week in Leipzig, including ** *Sept 2nd*, MLODE 2014 ** *Sept 3rd*, 2nd DBpedia Community Meeting ** *Sept 4th-5th*, SEMANTiCS (formerly i-SEMANTICS) <http://semantics.cc/> Venha para a Alemanha como PhD: http://bis.informatik.uni-leipzig.de/csf Projects: http://dbpedia.org, http://nlp2rdf.org, http://linguistics.okfn.org, https://www.w3.org/community/ld4lt <http://www.w3.org/community/ld4lt> Homepage: http://aksw.org/SebastianHellmann Research Group: http://aksw.org Thesis: http://tinyurl.com/sh-thesis-summary http://tinyurl.com/sh-thesis

1 0

Metadata on deleted pages on labs
by Dario Taraborelli 10 Feb '14

10 Feb '14

Quick heads that the replication of metadata on deleted pages to labs is now completed. Thanks Sean and everybody else who helped make this happen! Dario https://bugzilla.wikimedia.org/show_bug.cgi?id=49088 https://bugzilla.wikimedia.org/show_bug.cgi?id=49189

1 0

online survey invitation
by zhuangziyun 10 Feb '14

10 Feb '14

Excuse me, could you please help me with my paper by filling out a questionnaire? I am currently doing a project about personality traits and knowledge sharing in Wikipedia. The survey will take about 5 min of your time. Link: http://www.surveygizmo.com/s3/1538439/Wikipedia-Survey-Personality I need about 200 respondents, so your little help counts A LOT to me and I would GREATLY appreciate it! Thank you so much in advance! PS: If something is unclear or difficult to understand (English is not my first language), please tell me. I will fix it immediately.

1 0

unsubscrbe
by Edina Meyer-Maril 09 Feb '14

09 Feb '14

-- Edina Meyer-Maril Tel Aviv University Dept. of Art History

1 0

unsuscribe
by Edina Meyer-Maril 08 Feb '14

08 Feb '14

Sent from my iPad Air Edina Meyer-Maril

1 0

Preexsiting Researchers on Metrics for Users?
by Klein,Max 08 Feb '14

08 Feb '14

Hello All, Can you point me to research, or have ideas about metrics of user performance? I know edit count, and total bytes have their limitations. Right now I am counting the occurrences of "thank" "appreciate" and "barnstar" for a User in User talk namespace (and recursive subpages). What else is there? Let me explain more about my current project I am trying to develop some new techniques to measure user and article performance. I am repurposing the bi-partite economics trade model of countries-products, but instead using editors-articles. This means that I arrive at a new metric for users, and articles. Now I am calibrating some of the variables in this model, by comparing my results to exogenous variable. On pages, I use the metric that this listed pointed me to last time, like the actionable metrics from Group lens, and cleanup tags from Stein. (Thank list!). When I rank articles in a category using my economics method, versus the article-text methods I acheive .7 spearman correlation. Using my count-thanks-on-user-talk method for users in the user domain I acheive .50 spearman ranking correlation, which is still quite good, but I want to make sure there aren't better baselines to which to compare. Thanks, Maximilian Klein Wikipedian in Residence, OCLC +17074787023

4 7

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

2005

Wiki-research-l February 2014