Multilingualism in Finland: A Legal Perspective

Multilingualism is an increasingly frequent societal phenomenon. More and more societies and individuals are, or have become, multilingual. Legislation is an important tool for language policy and, ultimately, language environment. Yet, it seems that little research has been dedicated to multilingualism from a legal framework perspective. The law is, generally speaking, blind to language. This means that the legal framework rarely takes into account the co-existence of several languages in a society other than national languages. In addition, there are altogether relatively few provisions regarding what language shall be used in which contexts. The article focuses on multilingualism in Finland where the cornerstone for the Finnish language policy of the country is laid down in the Constitution. Multilingualism is particularly interesting in a bilingual country Finland that has a long and solid history of language legislation. The country has over a few decades undergone change and rapidly developed into a multilingual country. This article examines whether the Finnish current legislation enables and supports the societal multilingualism or poses restrictions on the parallel use of several languages. Another more fundamental question discussed in this article is if societal multilingualism sets new demands on the national legislation.

A theory for execution-time derivation in real-time programs

We provide an abstract command language for real-time programs and outline how a partial correctness semantics can be used to compute execution times. The notions of a timed command, refinement of a timed command, the command traversal condition, and the worst-case and best-case execution time of a command are formally introduced and investigated with the help of an underlying weakest liberal precondition semantics. The central result is a theory for the computation of worst-case and best-case execution times from the underlying semantics based on supremum and infimum calculations. The framework is applied to the analysis of a message transmitter program and its implementation. (c) 2005 Elsevier B.V. All rights reserved.

Refining exceptions using King and Morgan's exit construct

In this paper we discuss the refinement of exceptions. We extend the Guarded Command Language normally used in the refinement calculus, with a simple exception handling statement, which we model using King and Morgan's exit statement (1995). We derive some variants of King and Morgan's refinement laws for their exit statement, and illustrate the approach with an example of a refinement of a simple program.

Approximating differentiable relationships between delay embedded dynamical systems with radical basis functions

This thesis is about the study of relationships between experimental dynamical systems. The basic approach is to fit radial basis function maps between time delay embeddings of manifolds. We have shown that under certain conditions these maps are generically diffeomorphisms, and can be analysed to determine whether or not the manifolds in question are diffeomorphically related to each other. If not, a study of the distribution of errors may provide information about the lack of equivalence between the two. The method has applications wherever two or more sensors are used to measure a single system, or where a single sensor can respond on more than one time scale: their respective time series can be tested to determine whether or not they are coupled, and to what degree. One application which we have explored is the determination of a minimum embedding dimension for dynamical system reconstruction. In this special case the diffeomorphism in question is closely related to the predictor for the time series itself. Linear transformations of delay embedded manifolds can also be shown to have nonlinear inverses under the right conditions, and we have used radial basis functions to approximate these inverse maps in a variety of contexts. This method is particularly useful when the linear transformation corresponds to the delay embedding of a finite impulse response filtered time series. One application of fitting an inverse to this linear map is the detection of periodic orbits in chaotic attractors, using suitably tuned filters. This method has also been used to separate signals with known bandwidths from deterministic noise, by tuning a filter to stop the signal and then recovering the chaos with the nonlinear inverse. The method may have applications to the cancellation of noise generated by mechanical or electrical systems. In the course of this research a sophisticated piece of software has been developed. The program allows the construction of a hierarchy of delay embeddings from scalar and multi-valued time series. The embedded objects can be analysed graphically, and radial basis function maps can be fitted between them asynchronously, in parallel, on a multi-processor machine. In addition to a graphical user interface, the program can be driven by a batch mode command language, incorporating the concept of parallel and sequential instruction groups and enabling complex sequences of experiments to be performed in parallel in a resource-efficient manner.

A dicionarização de termos em língua brasileira de sinais (Libras) para o ensino de biologia: uma atitude empreendedora

Acompanha: Glossário de termos biológicos em língua brasileira de sinais (GBLI)

The GUISurfer tool: towards a language independent approach to reverse engineering GUI code

Graphical user interfaces (GUIs) are critical components of today's software. Developers are dedicating a larger portion of code to implementing them. Given their increased importance, correctness of GUIs code is becoming essential. This paper describes the latest results in the development of GUISurfer, a tool to reverse engineer the GUI layer of interactive computing systems. The ultimate goal of the tool is to enable analysis of interactive system from source code.

The use of a language eliciting procedure as a tool in the establishment of teaching goals

This paper reviews a study to examine the feasibility of using elicited language samples as a basis for planning language instruction and as a measure of progress in language development.

On componential analysis as a valid pedagogic tool for vocabulary instruction in foreign language teaching

Fil: Porto, Melina. Universidad Nacional de La Plata. Facultad de Humanidades y Ciencias de la Educación; Argentina.

On componential analysis as a valid pedagogic tool for vocabulary instruction in foreign language teaching

Fil: Porto, Melina. Universidad Nacional de La Plata. Facultad de Humanidades y Ciencias de la Educación; Argentina.

Validation tool for smart screening of language disorders in pediatrics care

Primary-care pediatricians could play a key role in early detection of development disorders as quick as they might have enough time and knowledge for suitable screenings at clinical routine. This research paper focuses on the development and validation of a knowledge-based web tool whose aim is to support a smart detection of developmental disorders in early childhood. Thus, the use of the system can trigger the necessary preventive and therapeutic actions from birth until the age of six. The platform was designed on the basis of an analysis of significant 21 cases of children with language disorders that supported the creation of a specific knowledge base, its ontology and a set of description logic relations. The resulting system is being validated in a scalable approach with a team of seven experts from the fields of neonathology, pediatrics, neurology and language therapy.

An introduction to the Hindustani language : comprising a grammar, and a vocabulary, English and Hindustani : also short stories and dialogues, short stories in Persian and Nagari characters ... and military words of command, Nagari and English /

Mode of access: Internet.

On componential analysis as a valid pedagogic tool for vocabulary instruction in foreign language teaching

Fil: Porto, Melina. Universidad Nacional de La Plata. Facultad de Humanidades y Ciencias de la Educación; Argentina.

A tool for a formal pattern modeling language

This paper presents a formal but practical approach for defining and using design patterns. Initially we formalize the concepts commonly used in defining design patterns using Object-Z. We also formalize consistency constraints that must be satisfied when a pattern is deployed in a design model. Then we implement the pattern modeling language and its consistency constraints using an existing modeling framework, EMF, and incorporate the implementation as plug-ins to the Eclipse modeling environment. While the language is defined formally in terms of Object-Z definitions, the language is implemented in a practical environment. Using the plug-ins, users can develop precise pattern descriptions without knowing the underlying formalism, and can use the tool to check the validity of the pattern descriptions and pattern usage in design models. In this work, formalism brings precision to the pattern language definition and its implementation brings practicability to our pattern-based modeling approach.