Graphical constraints: a graphical user interface for constraint problems

A constraint satisfaction problem is a classical artificial intelligence paradigm characterized by a set of variables (each variable with an associated domain of possible values), and a set of constraints that specify relations among subsets of these variables. Solutions are assignments of values to all variables that satisfy all the constraints. Many real world problems may be modelled by means of constraints. The range of problems that can use this representation is very diverse and embraces areas like resource allocation, scheduling, timetabling or vehicle routing. Constraint programming is a form of declarative programming in the sense that instead of specifying a sequence of steps to execute, it relies on properties of the solutions to be found, which are explicitly defined by constraints. The idea of constraint programming is to solve problems by stating constraints which must be satisfied by the solutions. Constraint programming is based on specialized constraint solvers that take advantage of constraints to search for solutions. The success and popularity of complex problem solving tools can be greatly enhanced by the availability of friendly user interfaces. User interfaces cover two fundamental areas: receiving information from the user and communicating it to the system; and getting information from the system and deliver it to the user. Despite its potential impact, adequate user interfaces are uncommon in constraint programming in general. The main goal of this project is to develop a graphical user interface that allows to, intuitively, represent constraint satisfaction problems. The idea is to visually represent the variables of the problem, their domains and the problem constraints and enable the user to interact with an adequate constraint solver to process the constraints and compute the solutions. Moreover, the graphical interface should be capable of configure the solver’s parameters and present solutions in an appealing interactive way. As a proof of concept, the developed application – GraphicalConstraints – focus on continuous constraint programming, which deals with real valued variables and numerical constraints (equations and inequalities). RealPaver, a state-of-the-art solver in continuous domains, was used in the application. The graphical interface supports all stages of constraint processing, from the design of the constraint network to the presentation of the end feasible space solutions as 2D or 3D boxes.

GRAPHICAL REPRESENTATIONS of MESSAGE EXCHANGES INTO WEB SERVICE-BASED APPLICATIONS

Web service-based application is an architectural style, where a collection of Web services communicate to each other to execute processes. With the popularity increase of Web service-based applications and since messages exchanged inside of this applications can be complex, we need tools to simplify the understanding of interrelationship among Web services. This work present a description of a graphical representation of Web service-based applications and the mechanisms inserted among Web service requesters and providers to catch information to represent an application. The major contribution of this paper is to discus and use HTTP and SOAP information to show a graphical representation similar to a UML sequence diagram of Web service-based applications.

Oral rehabilitation of severely worn dentition using an overlay for immediate re-establishment of occlusal vertical dimension

The aim of this study was to describe the treatment used in an elderly patient presenting with bruxism and dental erosion, with good gingival health and bone support, but with decreased occlusal vertical dimension (OVD). The oral rehabilitation of elderly patients presenting with bruxism in association with tooth erosion has been a great challenge for dentists. The loss of OVD, the presence of occlusal instability and the absence of an effective anterior guide due excessive dental wear, can damage stomatognathic system (SS) biology, the function and the aesthetics. In the first treatment stage, an overlay removable partial denture (ORPD) was fabricated for the immediate re-establishment of function and aesthetics. After a 2-month follow up, with the patient presenting no symptoms, a second rehabilitation stage was accomplished, with fixed and removable prostheses. Oral rehabilitation with an ORPD was able to re-establish the SS biology, but a correct diagnosis and treatment plan are essential for success. The ORPD is a non-invasive and reversible restoring modality for general dentists that allow the re-establishment of the patient's immediate aesthetics and function at low cost.

A simple graphical model of small mammal succession after fire in the Brazilian cerrado

We studied the succession of small mammal species after fire in the cerrado (Neotropical savanna) of Central Brazil. Populations of small mammals were sampled with live-trapping techniques in a series of nine sites of different successional age, ranging from 1 to 26 years after fire. Ten species of small mammals were captured through all the seral stages of succession. Species richness ranged from two to seven species by seral stage. The species were arranged in different groups with respect to abundance along the succession: the first was composed of early successional species that peaked <2 years after fire (Calomys callosus, C. tener, Thalpomys cerradensis, Mus musculus, Thylamys velutinus); the second occurred or peaked 2-3 years after fire (Necromys lasiurus, Gracilinanus sp., Oryzomys scoth). Gracilinanus agilis peaked in the last seral stage. Species richness of small mammals showed an abrupt decrease from an average of four species immediately after fire to two species 5-26 years after the last fire. We propose a simple graphical model to explain the pattern of species richness of small mammals after fire in the cerrado. This model assumes that the occurrence of species of small mammals is determined by habitat selection behavior by each species along a habitat gradient. The habitat gradient is defined as the ratio of cover of herbaceous to woody vegetation. The replacement of species results from a trade-off in habitat requirements for the two habitat variables.

CP and T trajectory diagrams for a unified graphical representation of neutrino oscillations

Recently the CP trajectory diagram was introduced to demonstrate the difference between the intrinsic CP violating effects to those induced by matter for neutrino oscillation. In this Letter we introduce the T trajectory diagram. In these diagrams the probability for a given oscillation process is plotted versus the probability for the CP- or the T-conjugate processes, which forms an ellipse as the CP- or T-violating phase is varied. Since the CP- and the T-conjugate processes are related by CPT symmetry, even in the presence of matter, these two trajectory diagrams are closely related with each other and form a unified description of neutrino oscillations in matter. (C) 2002 Published by Elsevier B.V. B.V.

Development of a graphical interface for the Rietveld refinement program DBWS

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)

Overlay removable partial dentures for a patient with ectodermal dysplasia: A clinical report

The orofacial characteristics of ectodermal dysplasia include anodontia or hypodontia, hypoplastic conical teeth, underdevelopment of the alveolar ridges, frontal bossing, a depressed nasal bridge, protuberant lips, and hypotrichosis. Patients with this disease often need complex prosthetic treatment. The options for a definitive treatment plan may include fixed, removable, or implant-supported prostheses, singly or in combination. However, financial constraints and other priorities can prevent patients from choosing the most desirable treatment. This clinical report describes the diagnosis and treatment of ectodermal dysplasia in an 18-year-old man. The treatment included interim removable partial dentures fabricated to establish an acceptable therapeutic occlusal vertical dimension, followed by definitive overlay removable partial dentures and composite restorations.

Towards an intelligent graphical interface for linear programming modelling

The increase of computing power of the microcomputers has stimulated the building of direct manipulation interfaces that allow graphical representation of Linear Programming (LP) models. This work discusses the components of such a graphical interface as the basis for a system to assist users in the process of formulating LP problems. In essence, this work proposes a methodology which considers the modelling task as divided into three stages which are specification of the Data Model, the Conceptual Model and the LP Model. The necessity for using Artificial Intelligence techniques in the problem conceptualisation and to help the model formulation task is illustrated.

Quasiconformal mappings in octonionic algebra: A graphical and analytical comparison

In this article, we present quasiconformal mappings related to octonionic algebra. Based on the metric definition of quasiconformal mappings and using transformations of the type f(z)=zn, we compare the graphical and analytic results. © 2009 Pushpa Publishing House.

Design para a permanência e atratividade em nichos de espaços abertos de convívio: DePAN

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Effect of oil overlay on inhibition potential of roscovitine in sheep cumulus-oocyte complexes

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Planejamento em reabilitação oral: restabelecimento da relação intermaxilar por meio de prótese provisória overlay

The present article describes the treatment planning and fabrication of overlay denture to restore the jaw relationship in a partial edentulous patient with bruxism. A male patient, 51 years old, was referred to the oral rehabilitation clinic complaining about the chewing and aesthetic. The occlusal surface of the superior teeth presented severe wear. The fabrication of an interim overlay denture to restore the jaw relationship was planned. The overlay had metallic projections and covered the occlusal surface of superior teeth. After overlay insertion both function and aesthetic of the patient were recovered. It was concluded that the use of overlay improved the physiological normal position of the jaw and could provide a favorable prognosis for a definitive oral rehabilitation with implant-supported fixed denture.

Parafunção severa: reabilitação oral com prótese total mandibular x overlay maxilar: relato de caso

In many oral rehabilitation professionals seeking venture renew people smile. However, these procedures have functional implications and aesthetic criteria which must be satisfied so that the final result is predictable. The restoration of relations intermaxillary, phonetics, masticatory function, esthetics and patient comfort are the goals to be achieved. An effective way to achieve these goals when immediate reconstruction with permanent dentures is not possible, make use of a type of partial denture called overlay. Bruxism is a manifestation of biopsychological imbalance that affects the stomatognathic system, characterized by clenching and / or attrition of teeth together so centric or eccentric, can be manifestation of nocturnal or diurnal. Its effects can manifest themselves in different parts of the stomatognathic system, varying the severity of the damage as the resistance of the structures affected, the time of existence, its regularity and the general state of the wearer. The description of the steps followed in solving this case, in which the patient edentulous mandibular arch while the maxillary arch showed absence of teeth 16 and 26 and, except for the teeth 17 and 27, all other teeth showed wear very sharp in the sense denoting incisal cervical, severe impairment of the vertical dimension, the quality of masticatory function and a marked impairment phonetic, this case report aims to guide the beginning of a rehabilitation, as well as the transitional phase of treatment for recovery of functional and aesthetic relationships intermaxillary .

A graphical tool for the tomographic characterisation of microstructural features on metal matrix composites

Research on the micro-structural characterization of metal-matrix composites uses X-ray computed tomography to collect information about the interior features of the samples, in order to elucidate their exhibited properties. The tomographic raw data needs several steps of computational processing in order to eliminate noise and interference. Our experience with a program (Tritom) that handles these questions has shown that in some cases the processing steps take a very long time and that it is not easy for a Materials Science specialist to interact with Tritom in order to define the most adequate parameter values and the proper sequence of the available processing steps. For easing the use of Tritom, a system was built which addresses the aspects described before and that is based on the OpenDX visualization system. OpenDX visualization facilities constitute a great benefit to Tritom. The visual programming environment of OpenDX allows an easy definition of a sequence of processing steps thus fulfilling the requirement of an easy use by non-specialists on Computer Science. Also the possibility of incorporating external modules in a visual OpenDX program allows the researchers to tackle the aspect of reducing the long execution time of some processing steps. The longer processing steps of Tritom have been parallelized in two different types of hardware architectures (message-passing and shared-memory); the corresponding parallel programs can be easily incorporated in a sequence of processing steps defined in an OpenDX program. The benefits of our system are illustrated through an example where the tool is applied in the study of the sensitivity to crushing – and the implications thereof – of the reinforcements used in a functionally graded syntactic metallic foam.

Aplicação de um método ergonômico para avaliação da permanência e atratividade em espaço público aberto: estudo de caso Parque Vitória Régia, Bauru - SP

There are several researches on evaluation of urban public space, but not all establish a relationship between the configuration of spaces with the thermal environment, ergonomics and environmental behavior of users. To understand this relationship, the aim of this paper is to present the model DEPAN (Design for Permanence and Attractiveness in niches open spaces of conviviality), based on graphical meshes, which were designed to evaluate the influence of design and ergonomics of open public spaces in the human thermal comfort and the ways in which users appropriate the space. Its applicability is demonstrated through a case study conducted in a park in the city of Bauru-SP. To perform this evaluation public space niches were chosen. They were formed by morphological elements and street furniture and defined by their spatial arrangements. The collected data were incorporated into a Geographic Information System (GIS), which allowed the overlay of meshes. The results indicate that the DEPAN model allows the verification of the spatial characteristics, thermal quality and ergonomic design generated by spaces, as well as the evaluation of the influence of these aspects in the way of using the spaces. The model allows the generation of a classification for every niche and set a value for the level of service offered.