Search results for " Languages"
showing 10 items of 1859 documents
Exploring web-mediated communication: A genre-based linguistic study for new patterns of doctor–patient interaction in online environment
2016
This paper questions the nature of the communicative event that takes place in online contexts between doctors and web-users, showing computer-mediated linguistic norms and discussing the nature of the participants’ roles. Based on an analysis of 1005 posts occurring between doctors and the users of health service websites, I analyse how doctor–patient communication is affected by the medium and how health professionals overcome issues concerning the virtual medical visit. Results suggest that (a) online medical answers offer a different service from that expected by users, as doctors cannot always fulfill patient requests, and (b) net consultations use aspects of traditional doctor–patient…
Improvement of a Service Level Negotiation Protocol using Formal Verification
2013
International audience; The goal of the pervasive connectivity is to enable mobile users to be permanently connected to the Internet. Mobile users are often connected to wireless networks and consuming services that require quality of service guarantees. Accessing services using wireless technologies may make the service delivery vulnerable to security attacks because of the open medium of these technologies. In this context, we need to guarantee both quality of service and security for mobile users communications. In this paper, we present a protocol for service level negotiation which covers both quality of service and security and assigns a profile to each user in order to optimize and a…
Some Remarks on Automata Minimality
2011
It is well known that the minimization problem of deterministic finite automata (DFAs) is related to the indistinguishability notion of states (cf. [HMU00]). Indeed, a well known technique to minimize a DFA, essentially, consists in finding pairs of states that are equivalent (or indistinguishable), namely pairs of states (p,q) such that it is impossible to assert the difference between p and q only by starting in each of the two states and asking whether or not a given input string leads to a final state. Since, in the testing states equivalence, the notion of initial state is irrelevant, some of the main techniques for the minimization of automata, such as Moore’s algorithm [Moo56] and Ho…
Words and Patterns
2002
In this paper some new ideas, problems and results on patterns are proposed. In particular, motivated by questions concerning avoidability, we first study the set of binary patterns that can occur in one infinite binary word, comparing it with the set of factors of the word. This suggests a classification of infinite words in terms of the "difference" between the set of its patterns and the set of its factors. The fact that each factor in an infinite word can give rise to several distinct patterns leads to study the set of patterns of a single finite word. This set, endowed with a natural order relation, defines a poset: we investigate the relationships between the structure of such a poset…
Interactive Gradually Generating Relevance Query Refinement Under the Human-Mediated Scenario in Multilingual Settings
2016
As opposed to query modelling, relevance generating interactive query refinement (QR) is a technique aimed at exploiting syntax variations of gradually extended, being removed or replaced with some other keywords query, which depending on the factors like e.g. the information resource, the database structure, or the keyword alignment, facilitates significantly the searching process. Therefore our motivation is to explore the dynamism of the precision trend depended upon the factors analyzed. For a couple of language pairs which constitute multilingual settings, we develop a user-centred framework that imposes distributed search optimization. Our data set contains variety of query types subm…
Black-Box Solvers
2017
Linear programming is perhaps the best-known tool for optimization. Linear programming is a general-purpose framework that allows a real system to be abstracted as a model with a linear objective function subject to a set of linear constraints.
A High Level Language for Pyramidal Architectures
1986
In the paper are described the syntax and some implementation features of a high level language for pyramidal architectures called Pyramid B Language (PCL). The language is an extension of the B and include data type, set of instructions and builtin functions oriented to the pyramidal architectures. Some notes on the implementation for the PAPIA machine are also given.
"This is Babel": Sicily, The Mediterranean Islands and Southern Italy (1450-1550)
2016
This essay focuses on period from the 15th to the 16th centuries, a period, moreover rich in documents that can be related to many still extant monuments. This period regarded as a critical phases from European civilization, offers the opportunity to sched light on equally striking artistic achievements in the heart of the Mediterranean area: in Southern Italy, Sicily and the nearby islands. The topic of ornament is particolarly suitable for explicating the key features, boundaries, and tensions characteristics of this region, as well, as for addressing the presents of vernacular elements that ought to find their place in the larger artistic histories of the period. the choise of the subjec…
A Medium Level Language for Pyramid Architectures
1989
In the paper a Parallel C Languages for pyramid architectures is described. The concept of context is introduced in order to handle concurrence between processes in massive parallel machines. Feature implementation on the PAPIA-machine are given.
Knowledge Discovery and Digital Cartography for the ALS (Linguistic Atlas of Sicily) Project
2009
In this paper the latest developments of the ALS (Linguistic Atlas of Sicily) project are presented. The ALS project has the purpose to define methodologies and tools to allow researches in the socio-linguistic field. Different types of variables (both quantitative and qualitative) are involved. The whole framework is based on the definition of ontology-based applications for the creation, retrieval, manipulation and browsing of related data. To this aim, some mapping processes have been defined. The framework eventually shows the result in many ways including spatial maps. The on-going collaboration process is a perfect example a domain hybridizing process, enabling the training on-the-fie…