A Survey on Retrieval of Mathematical Knowledge

We present a short survey of the literature on indexing and retrieval of mathematical knowledge, with pointers to 72 papers and tentative taxonomies of both retrieval problems and recurring techniques.Comment: CICM 2015, 20 page

Design and evaluation of acceleration strategies for speeding up the development of dialog applications

In this paper, we describe a complete development platform that features different innovative acceleration strategies, not included in any other current platform, that simplify and speed up the definition of the different elements required to design a spoken dialog service. The proposed accelerations are mainly based on using the information from the backend database schema and contents, as well as cumulative information produced throughout the different steps in the design. Thanks to these accelerations, the interaction between the designer and the platform is improved, and in most cases the design is reduced to simple confirmations of the “proposals” that the platform dynamically provides at each step. In addition, the platform provides several other accelerations such as configurable templates that can be used to define the different tasks in the service or the dialogs to obtain or show information to the user, automatic proposals for the best way to request slot contents from the user (i.e. using mixed-initiative forms or directed forms), an assistant that offers the set of more probable actions required to complete the definition of the different tasks in the application, or another assistant for solving specific modality details such as confirmations of user answers or how to present them the lists of retrieved results after querying the backend database. Additionally, the platform also allows the creation of speech grammars and prompts, database access functions, and the possibility of using mixed initiative and over-answering dialogs. In the paper we also describe in detail each assistant in the platform, emphasizing the different kind of methodologies followed to facilitate the design process at each one. Finally, we describe the results obtained in both a subjective and an objective evaluation with different designers that confirm the viability, usefulness, and functionality of the proposed accelerations. Thanks to the accelerations, the design time is reduced in more than 56% and the number of keystrokes by 84%

The Dimensions of Field Theory : From Particles to Strings

This is an editorial summary of the contents of a Book comprising a set of Articles by acknowledged experts dealing with the impact of Field Theory on major areas of physics (from elementary particles through condensed matter to strings), arranged subjectwise under six broad heads. The Book which emphasizes the conceptual, logical and formal aspects of the state of the art in these respective fields, carries a Foreword by Freeman Dyson, and is to be published by the Indian National Science Academy on the occasion of the International Mathematical Year 2000. The authors and full titles of all the Articles (33) are listed sequentially (in the order of their first appearance in the narration) under the bibliography at the end of this Summary, while a few of the individual articles to appear in the Book are already available on the LANL internet.Comment: LaTex file, 24 page

Social Union, Convergence and Migration

The forces of the market and systems competition bring about economic and social convergence in Europe. There is no need for social policies at the EU level. Social harmonisation would distort migration flows and slow down the speed of economic convergence. National welfare states will be threatened by the free migration of people in Europe. The race to the bottom is a serious risk. However, to contain this risk, neither harmonisation of welfare payments nor constraints on migration are needed. The adoption of the principle of selectively delayed integration is the better alternative.

What Explains the German Labor Market Miracle in the Great Recession?

Germany experienced an even deeper fall in GDP in the Great Recession than the United States with little employment loss. Employers’ reticence to hire in the preceding expansion - associated in part with a lack of confidence it would last - contributed to an employment shortfall equivalent to 40 percent of the missing employment decline in the recession. Another 20 percent may be explained by wage moderation. A third important element was the widespread adoption of working time accounts, which permit employers to avoid overtime pay if hours per worker average to standard hours over a window. We find that this provided disincentives for employers to lay off workers in the downturn. While the overall cuts in hours per worker were consistent with the severity of the Great Recession, reduction of working time account balances substituted for traditional government-sponsored short time work.unemployment, Germany, Great Recession, short time work, working time accounts, Hartz reforms, extensive vs. intensive employment margin

Timetabling in constraint logic programming

In this paper we describe the timetabling problem and its solvability in a Constraint Logic Programming Language. A solution to the problem has been developed and implemented in ECLiPSe, since it deals with finite domains, it has well-defined interfaces between basic building blocks and supports good debugging facilities. The implemented timetable was based on the existing, currently used, timetables at the School of Informatics at out university. It integrates constraints concerning room and period availability

Four Lessons in Versatility or How Query Languages Adapt to the Web

Exposing not only human-centered information, but machine-processable data on the Web is one of the commonalities of recent Web trends. It has enabled a new kind of applications and businesses where the data is used in ways not foreseen by the data providers. Yet this exposition has fractured the Web into islands of data, each in different Web formats: Some providers choose XML, others RDF, again others JSON or OWL, for their data, even in similar domains. This fracturing stifles innovation as application builders have to cope not only with one Web stack (e.g., XML technology) but with several ones, each of considerable complexity. With Xcerpt we have developed a rule- and pattern based query language that aims to give shield application builders from much of this complexity: In a single query language XML and RDF data can be accessed, processed, combined, and re-published. Though the need for combined access to XML and RDF data has been recognized in previous work (including the W3C’s GRDDL), our approach differs in four main aspects: (1) We provide a single language (rather than two separate or embedded languages), thus minimizing the conceptual overhead of dealing with disparate data formats. (2) Both the declarative (logic-based) and the operational semantics are unified in that they apply for querying XML and RDF in the same way. (3) We show that the resulting query language can be implemented reusing traditional database technology, if desirable. Nevertheless, we also give a unified evaluation approach based on interval labelings of graphs that is at least as fast as existing approaches for tree-shaped XML data, yet provides linear time and space querying also for many RDF graphs. We believe that Web query languages are the right tool for declarative data access in Web applications and that Xcerpt is a significant step towards a more convenient, yet highly efficient data access in a “Web of Data”