Obstructive sleep apnea (OSA) is a common sleep disorder, especially in middle-aged and obese patients. However, the diagnosis and treatment of OSA is complex, particularly in patients with mild or moderate symptoms and co-occurring medical problems. Furthermore, sleep disorders are interconnected with diverse factors, such life style, shift work, and psychological problems. Case-based reasonin...

This paper describes some tools to support formal methods, and conversely some formal methods for developing such tools. We focus on distributed cooperative proving over the web. Our tools include a proof editor/assistant, servers for remote proof execution, a distributed truth protocol, an editor generator, and a new method for interface design called algebraic semiotics, which combines semiot...

Abstract The changing culture toward multimodality enforces acquiring visual literacy in every aspect of today’s modern life. One of the fields intermingled with using various modes in different variations is language teaching and learning, especially for and by young learners. Young language learners’ (5-12 years old) lack of world experience forces them to make the most use of non-verbal mode...

In article authors put forward a hypothesis about existence special semiotics system in music, which is close on the structure and mechanisms to a natural language. To check the hypothesis we have selected the ancient Russian chants of XI-XVII centuries, written by Znamenny notation. Using "lingvomusical" analogies and allocation of the corresponding semiotics designs allowed applying linguisti...

ABSTRACT Objective: to develop a playful-educational technology for learning Nursing Semiology and Semiotics, as well carry out the evaluation of its playability before after implementing adjustments with undergraduate students. Method: methodological study that followed planning, prototyping production stages corresponding first playable version development. For evaluation, 62 students were di...

Software Evolution is a fact in industrial life. More than that, maintenance is one of the most expensive phases on software life cycle. Additionally, social and organizational aspects are increasingly gaining greater importance for information systems development. In this context, Organizational Semiotics has been considered a promising tool, providing the framework MEASUR for requirements gat...

The Tatami project is building a system to support software engineering over the internet, exploiting recent advances in web technology, interface design, and specification. Our effort to improve the usability of such systems led us into algebraic semiotics, while our effort to develop better formal methods for distributed concurrent systems led us into hidden algebra. We discuss the Tatami sys...

Sometimes, in order to mature, a methodology operates outside the mainstream for a period of time; it becomes the mainstream methodology only after this phase. This happened, for example, with neural networks, which appeared in the early 60's, but became the mainstream in research only 25 years later, after the development of the backpropagation algorithm as its learning algorithm. It happened ...

A man in a hut high above the North Wales coast points his telescope towards a similar hut 15 km to the west. He suddenly sees an array of shapes being hoisted up a mast above the hut. He notes the shapes and the angles of their display and creates the same array on the mast above his hut. And 15 km to the east someone is carefully watching and will repeat the display. This is the 1820s and the...

the present article intends to study badr shakir al sayyab poetries in descriptive – analytical method by place semiotics which is paid attention by linguists. the outcome is that the study of place semiotics assists us to find the place beauties in sayyab poetries and discover the hidden treasures inside his poetry by the cities and villages he met his beloved. this article has been done based...