Hasil untuk "cs.OH"

Philippe Lacour, Aurélien Bénel

International audience TraduXio is a digital environment for computer assisted multilingual translation which is web-based, free to use and with an open source code. Its originality is threefold-whereas traditional technologies are limited to two languages (source/target), TraduXio enables the comparison of different versions of the same text in various languages; its concordancer provides relevant and multilingual suggestions through a classification of the source according to the history, genre and author; it uses collaborative devices (privilege management, forums, networks, history of modification, etc.) to promote collective (and distributed) translation. TraduXio is designed to encourage the diversification of language learning and to promote a reappraisal of translation as a professional skill. It can be used in many different ways, by very diverse kind of people. In this presentation, I will present the recent developments of the software (its version 2.1) and illustrate how specific groups (language teaching, social sciences, literature) use it on a regular basis. In this paper, I present the technology but concentrate more on the possible uses of TraduXio, thus focusing on translators' feedback about their experience when working in this digital environment in a truly collaborative way.

Philippe Lacour, Aurélien Bénel

TraduXio is a digital environment for computer assisted multilingual translation which is web-based, free to use and with an open source code. Its originality is threefold-whereas traditional technologies are limited to two languages (source/target), TraduXio enables the comparison of different versions of the same text in various languages; its concordancer provides relevant and multilingual suggestions through a classification of the source according to the history, genre and author; it uses collaborative devices (privilege management, forums, networks, history of modification, etc.) to promote collective (and distributed) translation. TraduXio is designed to encourage the diversification of language learning and to promote a reappraisal of translation as a professional skill. It can be used in many different ways, by very diverse kind of people. In this presentation, I will present the recent developments of the software (its version 2.1) and illustrate how specific groups (language teaching, social sciences, literature) use it on a regular basis. In this paper, I present the technology but concentrate more on the possible uses of TraduXio, thus focusing on translators' feedback about their experience when working in this digital environment in a truly collaborative way.

Jacky Akoka, Isabelle Comyn-Wattiau, Stéphane Lamassé et al.

Prosopographic databases, which allow the study of social groups through their bibliography, are used today by a significant number of historians. Computerization has allowed intensive and large-scale exploitation of these databases. The modeling of these proposopographic databases has given rise to several data models. An important problem is to ensure a level of quality of the stored information. In this article , we propose a generic data model allowing to describe most of the existing prosopographic databases and to enrich them by integrating several quality concepts such as uncertainty, reliability, accuracy or completeness.

Jan A. Bergstra, Mark Burgess

By reasoning about the claims and speculations promised as part of the public discourse, we analyze the hypothesis that flaws in software engineering played a critical role in the Boeing 737 MCAS incidents. We use promise-based reasoning to discuss how, from an outsider's perspective, one may assemble clues about what went wrong. Rather than looking for a Rational Alternative Design (RAD), as suggested by Wendel, we look for candidate flaws in the software process. We describe four such potential flaws. Recently, Boeing has circulated information on its envisaged MCAS algorithm upgrade. We cast this as a promise to resolve the flaws, i.e. to provide a RAD for the B737 Max. We offer an assessment of B-Max-New based on the public discourse.

W. B. Langdon

Report on Humies competition at GECCO 2018 in Japan

M. de Jong

Neville's algorithm is known to provide an efficient and numerically stable solution for polynomial interpolations. In this paper, an extension of this algorithm is presented which includes the derivatives of the interpolating polynomial.

Elizaveta V. Kondrashova

The problem of optimization of a transport traffic at preliminary registration of demands with use of the CBSMAP model is investigated. For the solution of an objective application of the queueing theory and the theory of controlled processes is supposed.

Su Kim

Creating a photomap plays a critical role in navigation. Therefore, flying vehicles are usually used to create topdown maps of the environment. In this report we used two different aerial vehicles to create a map in a simulated environment

Kalpana Kandpal, Anjali Singhal

This paper is in related to the demand genrated by the consumer for a time for the power which is being viewed by taking some measures to solve the demand need.

Swen Jacobs

We extend the AIGER format, as used in HWMCC, to a format that is suitable to define synthesis problems with safety specifications. We recap the original format and define one format for posing synthesis problems and one for solutions of synthesis problems in this setting.

Tairen Sun

This submission has been withdrawn by arXiv administrators because it contains fictitious content and was submitted under a pseudonym, which is against arXiv policy.

Nasrin Jaberi

Open question about Dependency of Life Time of Hardware Components and Dynamic Voltage Scaling (A primary idea)

Grenville J. Croll

Regarding some papers and notes submitted to, or presented at, the second congress of the International Torah Codes Society in Jerusalem, Israel, June 2000.

Deng Bin

This paper discuss two structures of WLAN system fit to Passenger Information Display System which is partly of subway.

Michael A. Popov

An attempt of a new kind of complexity anthropology is considered.

Alessandro Mirone

We present here an installation guide, a hand-on mini-tutorial through examples, and the theoretical foundations of the Hilbert++ code.

A. I. Solomon, G. E. H. Duchamp, P. Blasiak et al.

Recent elegant work on the structure of Perturbative Quantum Field Theory (PQFT) has revealed an astonishing interplay between analysis(Riemann Zeta functions), topology (Knot theory), combinatorial graph theory (Feynman Diagrams) and algebra (Hopf structure). The difficulty inherent in the complexities of a fully-fledged field theory such as PQFT means that the essential beauty of the relationships between these areas can be somewhat obscured. Our intention is to display some, although not all, of these structures in the context of a simple zero-dimensional field theory; i.e. a quantum theory of non-commuting operators which do not depend on spacetime. The combinatorial properties of these boson creation and annihilation operators, which is our chosen example, may be described by graphs, analogous to the Feynman diagrams of PQFT, which we show possess a Hopf algebra structure. Our approach is based on the partition function for a boson gas. In a subsequent note in these Proceedings we sketch the relationship between the Hopf algebra of our simple model and that of the PQFT algebra.

Giancarlo Crocetti

This submission was removed because it contained proprietary information that was distributed without permission.

Hooman Nikmehr, Braden Phillips, Cheng-Chew Lim

This paper has been withdrawn.

Louis Mello

This paper discusses the use of fat-tailed distributions in catastrophe prediction as opposed to the more common use of the Normal Distribution.