Development in Lexicography: From Polyfunctional to Monofunctional Accounting Dictionaries

This article describes the theoretical foundation of the accounting dictionaries as well as its practical results. Furthermore, the implementation of the project shows how the constant interaction of lexicographical theory with practical dictionary work over a period of 10 years has led to lexicographical development and adaptation resulting in ongoing adjustments to the dictionaries and their theoretical foundation. This is exemplified by studying the transition from polyfunctional to monofunctional dictionaries in an attempt to provide help in several types of usage situations, typically in communicative situations, e.g. when reading, writing or translating English, Danish or Spanish accounting texts, or cognitive situations, i.e. when users want to know more about accounting matters or accounting language. The article also indicates that the creation of this project connects e-lexicography with the knowledge-based economy. Lexicographers work in the cloud being physically thousands of kilometres away; they work with experts in accounting, databases and the Internet with the aim of constructing and updating a high-quality tool with relatively low information costs for users. Finally, this article shows that the future of lexicography rests on designing, constructing, and updating information tools that take into consideration not only the true nature of lexicography but also the possibilities of the Internet and its technologies, as advocates of the Function Theory of Lexicography do on a regular basis.Keywords: specialized lexicography, function theory, polyfunctional dictionary, monofunctional dictionary, accounting dictionaries, information tools, lexicographical information costs, online dictionary, electronic lexicography, internet, meaning, writing, translation, knowledge, danish, english, spanis

Likelihood inference for exponential-trawl processes

Integer-valued trawl processes are a class of serially correlated, stationary and infinitely divisible processes that Ole E. Barndorff-Nielsen has been working on in recent years. In this Chapter, we provide the first analysis of likelihood inference for trawl processes by focusing on the so-called exponential-trawl process, which is also a continuous time hidden Markov process with countable state space. The core ideas include prediction decomposition, filtering and smoothing, complete-data analysis and EM algorithm. These can be easily scaled up to adapt to more general trawl processes but with increasing computation efforts.Comment: 29 pages, 6 figures, forthcoming in: "A Fascinating Journey through Probability, Statistics and Applications: In Honour of Ole E. Barndorff-Nielsen's 80th Birthday", Springer, New Yor

Mapping Microstructural Dynamics up to the Nanosecond of the Conjugated Polymer P3HT in the Solid State

We present a detailed study of the structure-dynamics relationship of regio-regular and regio-random PEHT using different neutron scattering techniques. Deuteration is employed to modulate the coherent and incoherent cross-sections, allowing particularly to access both self-motions and collective dynamics of the materials. The measurements are underpinned by extensive quantitative calculations using classical MD, as well as first principles quantum chemistry. MD reproduced well the main structural features and slow motions, and shed light on differences in collective dynamics between Q-values linked with the $\pi-\pi$ stacking and the lamellar stacking, with the crystalline phase being the most impacted. On the other hand MD led to a limited description of molecular vibrations. In this context, first principles molecular calculations described well the high-energy vibrational features ( $>$ 900 cm$^{-1}$ ), while periodic calculations allowed to better describe the low- and mid-energy vibrational ranges ( 200-900 cm$^{-1}$ ). The mid-energy range is predominantly associated with both intra-molecular and inter-molecular mode coupling, which encloses information about both the polymer conformation and the polymer packing at short range. One of the outcomes of this study is the validation of the common assumption made that RRa-P3HT is a good approximation for the amorphous phase of RR-P3HT at the macroscopic level. The present work helps to clarify unambiguously the latter point which has been largely overlooked in the literature. We highlight the importance to complement optical spectroscopy techniques with inelastic neutron scattering. The latter offering the advantage of being insensitive to the delocalized $\pi$-electron system, and thus enabling to infer relevant quantities like conjugation lengths, for instance, impacting properties of conjugated polymer.Comment: Featured as ACS Editors' Choice. Featured on the Cover of the December 10, 2019 issue of Chemistry of Material

Symbolic Partial-Order Execution for Testing Multi-Threaded Programs

We describe a technique for systematic testing of multi-threaded programs. We combine Quasi-Optimal Partial-Order Reduction, a state-of-the-art technique that tackles path explosion due to interleaving non-determinism, with symbolic execution to handle data non-determinism. Our technique iteratively and exhaustively finds all executions of the program. It represents program executions using partial orders and finds the next execution using an underlying unfolding semantics. We avoid the exploration of redundant program traces using cutoff events. We implemented our technique as an extension of KLEE and evaluated it on a set of large multi-threaded C programs. Our experiments found several previously undiscovered bugs and undefined behaviors in memcached and GNU sort, showing that the new method is capable of finding bugs in industrial-size benchmarks.Comment: Extended version of a paper presented at CAV'2

Death, dying and informatics: misrepresenting religion on MedLine

BACKGROUND: The globalization of medical science carries for doctors worldwide a correlative duty to deepen their understanding of patients' cultural contexts and religious backgrounds, in order to satisfy each as a unique individual. To become better informed, practitioners may turn to MedLine, but it is unclear whether the information found there is an accurate representation of culture and religion. To test MedLine's representation of this field, we chose the topic of death and dying in the three major monotheistic religions. METHODS: We searched MedLine using PubMed in order to retrieve and thematically analyze full-length scholarly journal papers or case reports dealing with religious traditions and end-of-life care. Our search consisted of a string of words that included the most common denominations of the three religions, the standard heading terms used by the National Reference Center for Bioethics Literature (NRCBL), and the Medical Subject Headings (MeSH) used by the National Library of Medicine. Eligible articles were limited to English-language papers with an abstract. RESULTS: We found that while a bibliographic search in MedLine on this topic produced instant results and some valuable literature, the aggregate reflected a selection bias. American writers were over-represented given the global prevalence of these religious traditions. Denominationally affiliated authors predominated in representing the Christian traditions. The Islamic tradition was under-represented. CONCLUSION: MedLine's capability to identify the most current, reliable and accurate information about purely scientific topics should not be assumed to be the same case when considering the interface of religion, culture and end-of-life care

Pure spinor computation towards open string three-loop

Using the recent results in the pure spinor formulation, we lay out a ground-work towards the full momentum space amplitudes of open superstrings at three-loop. After briefly reviewing the one-loop amplitude, we directly work out the two-loop and reproduce the result that was obtained by a symmetry argument. For the three-loop, first we use the two-loop regulator as a warm-up exercise. The result vanishes. We then employ the regulator that has been recently proposed by Aisaka and Berkovits (AB). It is noted that the terms in higher power in $\frac{1}{\lambda\bar{\lambda}}$ that render the two-loop regulator disqualified for the three-loop do not contribute. This with a few other indications suggests a possibility that the AB regulator might also lead to a vanishing result. Nevertheless, we argue that it is possible to acquire the three-loop amplitude, and present a result that we anticipate to be the three-loop amplitude.Comment: 41 pages, latex, cosmetic change

PREDIVAC: CD4+T-cell epitope prediction for vaccine design that covers 95% of HLA class II DR protein diversity

Background: CD4+ T-cell epitopes play a crucial role in eliciting vigorous protective immune responses during peptide (epitope)-based vaccination. The prediction of these epitopes focuses on the peptide binding process by MHC class II proteins. The ability to account for MHC class II polymorphism is critical for epitope-based vaccine design tools, as different allelic variants can have different peptide repertoires. In addition, the specificity of CD4+ T-cells is often directed to a very limited set of immunodominant peptides in pathogen proteins. The ability to predict what epitopes are most likely to dominate an immune response remains a challenge