Interface para classificação de dados por máquinas de vetores de suporte

In this project the Pattern Recognition Problem is approached with the Support Vector Machines (SVM) technique, a binary method of classification that provides the best solution separating the data in the better way with a hiperplan and an extension of the input space dimension, as a Machine Learning solution. The system aims to classify two classes of pixels chosen by the user in the interface in the interest selection phase and in the background selection phase, generating all the data to be used in the LibSVM library, a library that implements the SVM, illustrating the library operation in a casual way. The data provided by the interface is organized in three types, RGB (Red, Green and Blue color system), texture (calculated) or RGB + texture. At last the project showed successful results, where the classification of the image pixels was showed as been from one of the two classes, from the interest selection area or from the background selection area. The simplest user view of results classification is the RGB type of data arrange, because it’s the most concrete way of data acquisition

Influência do agente de união na resistência ao cisalhamento da interface titânio/polímero de vidro

There is little information regarding bond strengths of polyglass to metal alloys. This study evaluated the influence of bonding system on shear bond strength of a composite resin (Artglass/Heraeus Kulzer) to cast titanium (Ti). Twenty metallic structures (4mm in diameter, 5mm thick) of titanium grade I were cast shaped and abraded with 250mm aluminum oxide and separated into two groups. For each group was applied one bonding system (Siloc or Retention Flow) before opaque and dentin polymer superposition. This procedure was managed using teflon matrices. They were manipulated and polymerized according to the manufacturer's recommendations. The samples were stored in distilled water for 24 hours at 37º and thermocycled (5º and 55ºC/500 cycles). Shear bond strength tests were performed by using an Instron Universal testing machine at a crosshead speed of 5mm/min. Results were analyzed statistically with one-way ANOVA (a=0,5) and they indicated that the Retention Flow system was statistically better than Siloc (20.74 MPa and 11.65 MPa , respectively). It was possible to conclude that the bonding agent influenced the adhesion between polymer and cast titanium.

Análise da interface adesiva entre pinos de fibra de vidro e dentina intrarradicular submetida à irrigação com diferentes agentes condicionantes

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

Problemas ergonômicos enfrentados por profissionais de enfermagem em ambientes hospitalares: aspectos da interface trabalhadores x equipamentos

The ergonomic design seeks to establish parameters to improve the interface between the technologies (products, systems and environments) and between man (users). Among the many factors involved, there are the activities performed in hospital settings, both by patients and by clinical staff. Accordingly, efforts have been demonstrated biomechanical with a leading occupational problem, especially regarding the transfer of patients.

Problemas ergonômicos enfrentados por profissionais de enfermagem em ambientes hospitalares: aspectos da interface trabalhadores x equipamentos

The ergonomic design seeks to establish parameters to improve the interface between the technologies (products, systems and environments) and between man (users). Among the many factors involved, there are the activities performed in hospital settings, both by patients and by clinical staff. Accordingly, efforts have been demonstrated biomechanical with a leading occupational problem, especially regarding the transfer of patients.

Six-month evaluation of a resin/dentin interface created by methacrylate and silorane-based materials

Objectives: This study aimed to compare the micro-tensile bond strength of methacrylate resin systems to a silorane-based restorative system on dentin after 24 hours and six months water storage. Material and Methods: The restorative systems Adper Single Bond 2/Filtek Z350 (ASB), Clearfil SE Bond/Z350 (CF), Adper SE Plus/Z350 (ASEP) and P90 Adhesive System/Filtek P90 (P90) were applied on flat dentin surfaces of 20 third molars (n=5). The restored teeth were sectioned perpendicularly to the bonding interface to obtain sticks (0.8 mm2) to be tested after 24 hours (24 h) and 6 months (6 m) of water storage, in a universal testing machine at 0.5 mm/min. The data was analyzed via two-way Analysis of Variance/Bonferroni post hoc tests at 5% global significance. Results: Overall outcomes did not indicate a statistical difference for the resin systems (p=0.26) nor time (p=0.62). No interaction between material × time was detected (p=0.28). Mean standard-deviation in MPa at 24 h and 6 m were: ASB 31.38 (4.53) and 30.06 (1.95), CF 34.26 (3.47) and 32.75 (4.18), ASEP 29.54 (4.14) and 33.47 (2.47), P90 30.27 (2.03) and 31.34 (2.19). Conclusions: The silorane-based system showed a similar performance to methacrylate-based materials on dentin. All systems were stable in terms of bond strength up to 6 month of water storage.

Thermo and mechanical cycling and veneering method do not influence Y-TZP core/veneer interface bond strength

Objectives: The purpose of this study was to evaluate the influence of thermal and mechanical cycling and veneering technique on the shear bond strength of Y-TZP (yttrium oxide partially stabilized tetragonal zirconia polycrystal) core–veneer interfaces. Materials and methods: Cylindrical Y-TZP specimens were veneered either by layering (n = 20) or by pressing technique (n = 20). A metal ceramic group (CoCr) was used as control (n = 20). Ten specimens for each group were thermal and mechanical cycled and then all samples were subjected to shear bond strength in a universal testing machine with a 0.5 mm/min crosshead speed. Mean shear bond strength (MPa) was analysed with a 2-way analysis of variance and Tukey’s test ( p < 0.05). Failure mode was determined using stereomicroscopy and scanning electron microscopy (SEM). Results: Thermal and mechanical cycling had no influence on the shear bond strength for all groups. The CoCr group presented the highest bond strength value ( p < 0.05) (34.72 7.05 MPa). There was no significant difference between Y-TZP veneered by layering (22.46 2.08 MPa) or pressing (23.58 2.1 MPa) technique. Failure modes were predominantly adhesive for CoCr group, and cohesive within veneer for Y-TZP groups. Conclusions: Thermal and mechanical cycling, as well as the veneering technique does not affect Y-TZP core–veneer bond strength. Clinical significance: Different methods of veneering Y-TZP restorations would not influence the clinical performance of the core/veneer interfaces.

Mental states monitoring through passive Brain-Computer Interface systems

The monitoring of cognitive functions aims at gaining information about the current cognitive state of the user by decoding brain signals. In recent years, this approach allowed to acquire valuable information about the cognitive aspects regarding the interaction of humans with external world. From this consideration, researchers started to consider passive application of brain–computer interface (BCI) in order to provide a novel input modality for technical systems solely based on brain activity. The objective of this thesis is to demonstrate how the passive Brain Computer Interfaces (BCIs) applications can be used to assess the mental states of the users, in order to improve the human machine interaction. Two main studies has been proposed. The first one allows to investigate whatever the Event Related Potentials (ERPs) morphological variations can be used to predict the users’ mental states (e.g. attentional resources, mental workload) during different reactive BCI tasks (e.g. P300-based BCIs), and if these information can predict the subjects’ performance in performing the tasks. In the second study, a passive BCI system able to online estimate the mental workload of the user by relying on the combination of the EEG and the ECG biosignals has been proposed. The latter study has been performed by simulating an operative scenario, in which the occurrence of errors or lack of performance could have significant consequences. The results showed that the proposed system is able to estimate online the mental workload of the subjects discriminating three different difficulty level of the tasks ensuring a high reliability.

The Man-Made Environment in Post-Stalinist Europe 1953-1968

This project looked at the various responses, both political and aesthetic, to the end of socialist realism and the return of pre-war modernism as a desirable ideal. It considered both the built environment and objects of daily use (furniture, radios, TV sets, etc.) in several countries of the region, including Estonia, Hungary, Poland, Russia and Romania, also comparing developments there with corresponding ones in the west. Among particular aspects considered were the effects of Kruschev's speech in December 1954 to workers in construction, machine-building and design industries, in which he argued against monumentalism and criticised both "classical architecture" and socialist realism. The team see the real issue in interpreting Eastern European architecture as its lack of a critical edge, since official discourses took the place of any form of criticism and architects sought to implement the "official line". Megastructures became increasingly popular from the 1960s onwards and in Romania, for instance, came to dominate the city in the late 1980s. Such structures proved an efficient way to control the environment in countries plagued by prefabrication and social housing, and the group see the exhibition of inflated concrete grids as perhaps the most important feature of Eastern European architecture in the 1960s and 1970s. They also point out the rarity of glass and steel architecture in the east, where the preferred material was concrete, a material seen as "revolutionary" as it was the product of heavy industry and was grey, i.e. the workers' colour. Tactile elements were more important here than the visual elements favoured in the west, and a solidity more in line with the dominant ideology than the ephemeral qualities of glass.

A documentation generator for (C)LP systems

We describe lpdoc, a tool which generates documentation manuals automatically from one or more logic program source files, written in Ciao, ISO-Prolog, and other (C)LP languages. It is particularly useful for documenting library modules, for which it automatically generates a rich description of the module interface. However, it can also be used quite successfully to document full applications. A fundamental advantage of using lpdoc is that it helps maintaining a true correspondence between the program and its documentation, and also identifying precisely to what versión of the program a given printed manual corresponds. The quality of the documentation generated can be greatly enhanced by including within the program text assertions (declarations with types, modes, etc. ...) for the predicates in the program, and machine-readable comments. One of the main novelties of lpdoc is that these assertions and comments are written using the Ciao system asseriion language, which is also the language of communication between the compiler and the user and between the components of the compiler. This allows a significant synergy among specification, debugging, documentation, optimization, etc. A simple compatibility library allows conventional (C)LP systems to ignore these assertions and comments and treat normally programs documented in this way. The documentation can be generated interactively from emacs or from the command line, in many formats including texinfo, dvi, ps, pdf, info, ascii, html/css, Unix nroff/man, Windows help, etc., and can include bibliographic citations and images, lpdoc can also genérate "man" pages (Unix man page format), nicely formatted plain ASCII "readme" files, installation scripts useful when the manuals are included in software distributions, brief descriptions in html/css or info formats suitable for inclusión in on-line Índices of manuals, and even complete WWW and info sites containing on-line catalogs of documents and software distributions. The lpdoc manual, all other Ciao system manuals, and parts of this paper are generated by lpdoc.

A system for automatically generating documentation for (C)LP programs

We describe lpdoc, a tool which generates documentation manuals automatically from one or more logic program source files, written in ISO-Prolog, Ciao, and other (C)LP languages. It is particularly useful for documenting library modules, for which it automatically generates a rich description of the module interface. However, it can also be used quite successfully to document full applications. A fundamental advantage of using lpdoc is that it helps maintaining a true correspondence between the program and its documentation, and also identifying precisely to what version of the program a given printed manual corresponds. The quality of the documentation generated can be greatly enhanced by including within the program text assertions (declarations with types, modes, etc.) for the predicates in the program, and machine-readable comments. One of the main novelties of lpdoc is that these assertions and comments are written using the Ciao system assertion language, which is also the language of communication between the compiler and the user and between the components of the compiler. This allows a significant synergy among specification, documentation, optimization, etc. A simple compatibility library allows conventional (C)LP systems to ignore these assertions and comments and treat normally programs documented in this way. The documentation can be generated in many formats including texinfo, dvi, ps, pdf, info, html/css, Unix nroff/man, Windows help, etc., and can include bibliographic citations and images. lpdoc can also generate “man” pages (Unix man page format), nicely formatted plain ascii “readme” files, installation scripts useful when the manuals are included in software distributions, brief descriptions in html/css or info formats suitable for inclusion in on-line indices of manuals, and even complete WWW and info sites containing on-line catalogs of documents and software distributions. The lpdoc manual, all other Ciao system manuals, and parts of this paper are generated by lpdoc.

A documentation generator for logic programming systems

We describe lpdoc, a tool which generates documentation manuals automatically from one or more logic program source files, written in ISO-Prolog, Ciao, and other (C)LP languages. It is particularly useful for documenting library modules, for which it automatically generates a rich description of the module interface. However, it can also be used quite successfully to document full applications. The documentation can be generated in many formats including t e x i n f o, dvi, ps, pdf, inf o, html/css, Unix nrof f/man, Windows help, etc., and can include bibliographic citations and images, lpdoc can also genérate "man" pages (Unix man page format), nicely formatted plain ascii "readme" files, installation scripts useful when the manuals are included in software distributions, brief descriptions in html/css or inf o formats suitable for inclusión in on-line Índices of manuals, and even complete WWW and inf o sites containing on-line catalogs of documents and software distributions. A fundamental advantage of using lpdoc is that it helps maintaining a true correspondence between the program and its documentation, and also identifying precisely to what versión of the program a given printed manual corresponds. The quality of the documentation generated can be greatly enhanced by including within the program text assertions (declarations with types, modes, etc. ...) for the predicates in the program, and machine-readable comments. These assertions and comments are written using the Ciao system assertion language. A simple compatibility library allows conventional (C)LP systems to ignore these assertions and comments and treat normally programs documented in this way. The lpdoc manual, all other Ciao system manuals, and most of this paper, are generated by lpdoc.

The ciao prolog system

Ciao is a public domain, next generation multi-paradigm programming environment with a unique set of features: Ciao offers a complete Prolog system, supporting ISO-Prolog, but its novel modular design allows both restricting and extending the language. As a result, it allows working with fully declarative subsets of Prolog and also to extend these subsets (or ISO-Prolog) both syntactically and semantically. Most importantly, these restrictions and extensions can be activated separately on each program module so that several extensions can coexist in the same application for different modules. Ciao also supports (through such extensions) programming with functions, higher-order (with predicate abstractions), constraints, and objects, as well as feature terms (records), persistence, several control rules (breadth-first search, iterative deepening, ...), concurrency (threads/engines), a good base for distributed execution (agents), and parallel execution. Libraries also support WWW programming, sockets, external interfaces (C, Java, TclTk, relational databases, etc.), etc. Ciao offers support for programming in the large with a robust module/object system, module-based separate/incremental compilation (automatically -no need for makefiles), an assertion language for declaring (optional) program properties (including types and modes, but also determinacy, non-failure, cost, etc.), automatic static inference and static/dynamic checking of such assertions, etc. Ciao also offers support for programming in the small producing small executables (including only those builtins used by the program) and support for writing scripts in Prolog. The Ciao programming environment includes a classical top-level and a rich emacs interface with an embeddable source-level debugger and a number of execution visualization tools. The Ciao compiler (which can be run outside the top level shell) generates several forms of architecture-independent and stand-alone executables, which run with speed, efficiency and executable size which are very competive with other commercial and academic Prolog/CLP systems. Library modules can be compiled into compact bytecode or C source files, and linked statically, dynamically, or autoloaded. The novel modular design of Ciao enables, in addition to modular program development, effective global program analysis and static debugging and optimization via source to source program transformation. These tasks are performed by the Ciao preprocessor ( ciaopp, distributed separately). The Ciao programming environment also includes lpdoc, an automatic documentation generator for LP/CLP programs. It processes Prolog files adorned with (Ciao) assertions and machine-readable comments and generates manuals in many formats including postscript, pdf, texinfo, info, HTML, man, etc. , as well as on-line help, ascii README files, entries for indices of manuals (info, WWW, ...), and maintains WWW distribution sites.

Regularization for sparsity in statistical analysis and machine learning

Pragmatism is the leading motivation of regularization. We can understand regularization as a modification of the maximum-likelihood estimator so that a reasonable answer could be given in an unstable or ill-posed situation. To mention some typical examples, this happens when fitting parametric or non-parametric models with more parameters than data or when estimating large covariance matrices. Regularization is usually used, in addition, to improve the bias-variance tradeoff of an estimation. Then, the definition of regularization is quite general, and, although the introduction of a penalty is probably the most popular type, it is just one out of multiple forms of regularization. In this dissertation, we focus on the applications of regularization for obtaining sparse or parsimonious representations, where only a subset of the inputs is used. A particular form of regularization, L1-regularization, plays a key role for reaching sparsity. Most of the contributions presented here revolve around L1-regularization, although other forms of regularization are explored (also pursuing sparsity in some sense). In addition to present a compact review of L1-regularization and its applications in statistical and machine learning, we devise methodology for regression, supervised classification and structure induction of graphical models. Within the regression paradigm, we focus on kernel smoothing learning, proposing techniques for kernel design that are suitable for high dimensional settings and sparse regression functions. We also present an application of regularized regression techniques for modeling the response of biological neurons. Supervised classification advances deal, on the one hand, with the application of regularization for obtaining a na¨ıve Bayes classifier and, on the other hand, with a novel algorithm for brain-computer interface design that uses group regularization in an efficient manner. Finally, we present a heuristic for inducing structures of Gaussian Bayesian networks using L1-regularization as a filter. El pragmatismo es la principal motivación de la regularización. Podemos entender la regularización como una modificación del estimador de máxima verosimilitud, de tal manera que se pueda dar una respuesta cuando la configuración del problema es inestable. A modo de ejemplo, podemos mencionar el ajuste de modelos paramétricos o no paramétricos cuando hay más parámetros que casos en el conjunto de datos, o la estimación de grandes matrices de covarianzas. Se suele recurrir a la regularización, además, para mejorar el compromiso sesgo-varianza en una estimación. Por tanto, la definición de regularización es muy general y, aunque la introducción de una función de penalización es probablemente el método más popular, éste es sólo uno de entre varias posibilidades. En esta tesis se ha trabajado en aplicaciones de regularización para obtener representaciones dispersas, donde sólo se usa un subconjunto de las entradas. En particular, la regularización L1 juega un papel clave en la búsqueda de dicha dispersión. La mayor parte de las contribuciones presentadas en la tesis giran alrededor de la regularización L1, aunque también se exploran otras formas de regularización (que igualmente persiguen un modelo disperso). Además de presentar una revisión de la regularización L1 y sus aplicaciones en estadística y aprendizaje de máquina, se ha desarrollado metodología para regresión, clasificación supervisada y aprendizaje de estructura en modelos gráficos. Dentro de la regresión, se ha trabajado principalmente en métodos de regresión local, proponiendo técnicas de diseño del kernel que sean adecuadas a configuraciones de alta dimensionalidad y funciones de regresión dispersas. También se presenta una aplicación de las técnicas de regresión regularizada para modelar la respuesta de neuronas reales. Los avances en clasificación supervisada tratan, por una parte, con el uso de regularización para obtener un clasificador naive Bayes y, por otra parte, con el desarrollo de un algoritmo que usa regularización por grupos de una manera eficiente y que se ha aplicado al diseño de interfaces cerebromáquina. Finalmente, se presenta una heurística para inducir la estructura de redes Bayesianas Gaussianas usando regularización L1 a modo de filtro.

An automatic documentation generator for (C)LP - Reference manual

Lpdoc is an automatic program documentation generator for (C)LP systems. Lpdoc generates a reference manual automatically from one or more source files for a logic program (including ISO-Prolog, Ciao, many CLP systems, ...). It is particularly useful for documenting library modules, for which it automatically generates a description of the module interface. However, lpdoc can also be used quite successfully to document full applications and to generate nicely formatted plain ascii "readme" files. A fundamental advantage of using lpdoc to document programs is that it is much easier to maintain a true correspondence between the program and its documentation, and to identify precisely to what version of the program a given printed manual corresponds. The quality of the documentation generated can be greatly enhanced by including within the program text: • assertions (types, modes, etc. ...) for the predicates in the program, and • machine-readable comments (in the "literate programming" style). The assertions and comments included in the source file need to be written using the Ciao system assertion language. A simple compatibility library is available to make traditional (constraint) logic programming systems ignore these assertions and comments allowing normal treatment of programs documented in this way. The documentation is currently generated in HTML or texinf o format. From the texinf o output, printed and on-line manuals in several formats (dvi, ps, info, etc.) can be easily generated automatically, using publicly available tools, lpdoc can also generate 'man' pages (Unix man page format) as well as brief descriptions in html or emacs info formats suitable for inclusion in an on-line index of applications. In particular, lpdoc can create and maintain fully automatically WWW and info sites containing on-line versions of the documents it produces. The lpdoc manual (and the Ciao system manuals) are generated by lpdoc. Lpdoc is distributed under the GNU general public license. Note: lpdoc is fully supported on Linux, Mac OS X, and other Un*x-like systems. Due to the use of several Un*x-related utilities, some documentation back-ends may require Cygwin under Win32. This documentation corresponds to version 3.0 (2011/7/7, 16:33:15 CEST).