Swedish has – like other Germanic languages – flexible stress placement, which underlies morphological rules and is also based on the individual word’s origin. The achievement of the correct usage when learning Swedish is challenging. As second language learners of Swedish in the classrooms present speakers of a variety of first languages (L1s), the opportunity has been taken to have a closer l...

We prove that the study of stability using energy methods strongly depends on the conservation laws considered. We exemplify this by studying stability using Arnold’s method in the case of so(4) free rigid body. Using the classical Mishchenko’s constants of motion we do not obtain satisfactory stability results. We find new constants of motion generated by Mishchenko’s first integrals that give...

In this paper, we propose a logical approach to represent and reason about different time granularities. We identify a time granularity as a discrete infinite sequence of time points properly labelled with proposition symbols marking the starting and ending points of the corresponding granules, and we intensively model sets of granularities with linear time logic formulas. Some real-world granu...

This paper describes our independent effort for extending the monolingual semantic textual similarity (STS) task setting to multiple cross-lingual settings involving English, Japanese, and Chinese. So far, we have adopted a “monolingual similarity after translation” strategy to predict the semantic similarity between a pair of sentences in different languages. With this strategy, a monolingual ...

In this paper we propose a methodology to understand complex concepts, and which captures aspects of the contextual—and collaboratively constructed—meaning of these concepts with considerably less effort than manual coding. We use the word “quality” as one such concept to exemplify our methodology. By using unsupervised topic models along with a small corpus of human labeled data we explore the...

This paper describes a method for the design of compensators able to reduce hysteresis in transducers, as well as two measures to quantify and compare controller performance. Rate independent hysteresis, as represented by the Preisach model of hysteresis, is seen as an input–output phase lag. The compensation is based on controllers derived from the “phaser,” a unitary gain operator that shifts...

The challenge of finding services or resources in Web services and Grid environments has recently been the subject of a lot of attention. Different solutions to this problem were proposed, each with its specific model and realization. Although all solutions address the same problem, it is very difficult for a non-expert and even for an expert in the field to decide if one solution is better the...

Excerpt] In this chapter, I present a case study of a department at a large research university in which the use of non-tenured faculty increased dramatically over three decades. I begin by examining the historical sources of the expansion. I describe the arrangements that were implemented to resolve these problems. These arrangements exemplify many of the “best management practices” for non-te...

Imagine a zombie world that looks “from the outside” just like ours, but where there is no phenomenal consciousness. Creatures look us move about as we do and make same noises do, nobody experiences or feels anything. How much of epistemic value that's exemplified in our survives one? The short answer is: any kind requires occurrence consciousness for its exemplification cannot exist world, doe...

The OTS/CafeOBJ method is an instance of the proof score approach to systems analysis, which has been mainly devoted by researchers in the OBJ community. We describe some tips on writing proof scores in the OTS/CafeOBJ method and use a mutual exclusion protocol to exemplify the tips. We also argue soundness of proof scores in the OTS/CafeOBJ method.