A web-based tool to evaluate the iterative processes of direct search methods

Constrained and unconstrained Nonlinear Optimization Problems often appear in many engineering areas. In some of these cases it is not possible to use derivative based optimization methods because the objective function is not known or it is too complex or the objective function is non-smooth. In these cases derivative based methods cannot be used and Direct Search Methods might be the most suitable optimization methods. An Application Programming Interface (API) including some of these methods was implemented using Java Technology. This API can be accessed either by applications running in the same computer where it is installed or, it can be remotely accessed through a LAN or the Internet, using webservices. From the engineering point of view, the information needed from the API is the solution for the provided problem. On the other hand, from the optimization methods researchers’ point of view, not only the solution for the problem is needed. Also additional information about the iterative process is useful, such as: the number of iterations; the value of the solution at each iteration; the stopping criteria, etc. In this paper are presented the features added to the API to allow users to access to the iterative process data.

Beam Search Algorithms for Minimizing Tool Switches on a Flexible Manufacturing System

In the minimization of tool switches problem we seek a sequence to process a set of jobs so that the number of tool switches required is minimized. In this work different variations of a heuristic based on partial ordered job sequences are implemented and evaluated. All variations adopt a depth first strategy of the enumeration tree. The computational test results indicate that good results can be obtained by a variation which keeps the best three branches at each node of the enumeration tree, and randomly choose, among all active nodes, the next node to branch when backtracking.

On the path of Exploratory Search Users - A Semantic Web tool

L’Exploratory Search, paradigma di ricerca basato sulle attività di scoperta e d’apprendimento, è stato per diverso tempo ignorato dai motori di ricerca tradizionali. Invece, è spesso dalle ricerche esplorative che nascono le idee più innovative. Le recenti tecnologie del Semantic Web forniscono le soluzioni che permettono d’implementare dei motori di ricerca capaci di accompagnare gli utenti impegnati in tale tipo di ricerca. Aemoo, motore di ricerca sul quale s’appoggia questa tesi ne è un esempio efficace. A partire da quest’ultimo e sempre con l’aiuto delle tecnologie del Web of Data, questo lavoro si propone di fornire una metodologia che permette di prendere in considerazione la singolarità del profilo di ciascun utente al fine di guidarlo nella sua ricerca esplorativa in modo personalizzato. Il criterio di personalizzazione che abbiamo scelto è comportamentale, ovvero basato sulle decisioni che l’utente prende ad ogni tappa che ritma il processo di ricerca. Implementando un prototipo, abbiamo potuto testare la validità di quest’approccio permettendo quindi all’utente di non essere più solo nel lungo e tortuoso cammino che porta alla conoscenza.

Tools for Search Tree Visualization: The APT Tool

The control part of the execution of a constraint logic program can be conceptually shown as a search-tree, where nodes correspond to calis, and whose branches represent conjunctions and disjunctions. This tree represents the search space traversed by the program, and has also a direct relationship with the amount of work performed by the program. The nodes of the tree can be used to display information regarding the state and origin of instantiation of the variables involved in each cali. This depiction can also be used for the enumeration process. These are the features implemented in APT, a tool which runs constraint logic programs while depicting a (modified) search-tree, keeping at the same time information about the state of the variables at every moment in the execution. This information can be used to replay the execution at will, both forwards and backwards in time. These views can be abstracted when the size of the execution requires it. The search-tree view is used as a framework onto which constraint-level visualizations (such as those presented in the following chapter) can be attached.

Sim-xl: A Powerful And User-friendly Tool For Peptide Cross-linking Analysis.

Chemical cross-linking has emerged as a powerful approach for the structural characterization of proteins and protein complexes. However, the correct identification of covalently linked (cross-linked or XL) peptides analyzed by tandem mass spectrometry is still an open challenge. Here we present SIM-XL, a software tool that can analyze data generated through commonly used cross-linkers (e.g., BS3/DSS). Our software introduces a new paradigm for search-space reduction, which ultimately accounts for its increase in speed and sensitivity. Moreover, our search engine is the first to capitalize on reporter ions for selecting tandem mass spectra derived from cross-linked peptides. It also makes available a 2D interaction map and a spectrum-annotation tool unmatched by any of its kind. We show SIM-XL to be more sensitive and faster than a competing tool when analyzing a data set obtained from the human HSP90. The software is freely available for academic use at http://patternlabforproteomics.org/sim-xl. A video demonstrating the tool is available at http://patternlabforproteomics.org/sim-xl/video. SIM-XL is the first tool to support XL data in the mzIdentML format; all data are thus available from the ProteomeXchange consortium (identifier PXD001677).

Document retrieval for e-mail search and discovery using Formal Concept Analysis

This paper discusses a document discovery tool based on Conceptual Clustering by Formal Concept Analysis. The program allows users to navigate e-mail using a visual lattice metaphor rather than a tree. It implements a virtual. le structure over e-mail where files and entire directories can appear in multiple positions. The content and shape of the lattice formed by the conceptual ontology can assist in e-mail discovery. The system described provides more flexibility in retrieving stored e-mails than what is normally available in e-mail clients. The paper discusses how conceptual ontologies can leverage traditional document retrieval systems and aid knowledge discovery in document collections.

Patterns, mathematics and culture : the search for symmetry in Azorean sidewalks and traditional crafts

In the hustle and bustle of daily life, how often do we stop to pay attention to the tiny details around us, some of them right beneath our feet? Such is the case of interesting decorative patterns that can be found in squares and sidewalks beautified by the traditional Portuguese pavement. Its most common colors are the black and the white of the basalt and the limestone used; the result is a large variety and richness in patterns. No doubt, it is worth devoting some of our time enjoying the lovely Portuguese pavement, a true worldwide attraction. The interesting patterns found on the Azorean handicrafts are as fascinating and substantial from the cultural point of view. Patterns existing in the sidewalks and crafts can be studied from the mathematical point of view, thus allowing a thorough and rigorous cataloguing of such heritage. The mathematical classification is based on the concept of symmetry, a unifying principle of geometry. Symmetry is a unique tool for helping us relate things that at first glance may appear to have no common ground at all. By interlacing different fields of endeavor, the mathematical approach to sidewalks and crafts is particularly interesting, and an excellent source of inspiration for the development of highly motivated recreational activities. This text is an invitation to visit the nine islands of the Azores and to identify a wide range of patterns, namely rosettes and friezes, by getting to know different arts and crafts and sidewalks.

Direct search optimization application programming interface with remote access

Search Optimization methods are needed to solve optimization problems where the objective function and/or constraints functions might be non differentiable, non convex or might not be possible to determine its analytical expressions either due to its complexity or its cost (monetary, computational, time,...). Many optimization problems in engineering and other fields have these characteristics, because functions values can result from experimental or simulation processes, can be modelled by functions with complex expressions or by noise functions and it is impossible or very difficult to calculate their derivatives. Direct Search Optimization methods only use function values and do not need any derivatives or approximations of them. In this work we present a Java API that including several methods and algorithms, that do not use derivatives, to solve constrained and unconstrained optimization problems. Traditional API access, by installing it on the developer and/or user computer, and remote API access to it, using Web Services, are also presented. Remote access to the API has the advantage of always allow the access to the latest version of the API. For users that simply want to have a tool to solve Nonlinear Optimization Problems and do not want to integrate these methods in applications, also two applications were developed. One is a standalone Java application and the other a Web-based application, both using the developed API.

Active search for leprosy cases in Midwestern Brazil: a serological evaluation of asymptomatic household contacts before and after prophylaxis with bacillus Calmette-Guérin

Leprosy is a disease caused by Mycobacterium leprae that carries a high risk of disability, making early diagnosis mandatory. This study aimed to determine the applicability of anti-PGL-1 IgM antibody detection, using the ML FLOW technique, as an assistant tool for the detection of leprosy infection in asymptomatic household contacts (AHHC) of multibacillary leprosy index cases from Midwest Brazil. Serological changes induced by the prophylaxis of these household contacts with Bacillus Calmette-Guérin (BCG) were also verified. A total of 91 AHHC were assessed, among which, 18.68% (n = 17) presented both positive bacilloscopy and positive anti-PGL-1 IgM serology. Positivity concordance between these two laboratorial exams (Kappa Index = 1; p < 0.001) was indicated, however, one case did not demonstrate concordance between the semiquantitative assessment of anti-PGL-1 IgM and the bacilloscopy index (Kappa Index = 0.96; p < 0.001). Among the 17 AHHC with positive bacilloscopy, eight were reassessed after prophylaxis with BCG and two of them presented negative anti-PGL-1 IgM serology, being these patients who had presented a bacilloscopy index of < 2[+] in the initial assessment. This study shows that anti-PGL-1 IgM detection may be used as a tool to determine the bacillary load in AHHC and to detect immune changes related to prophylaxis by nonspecific vaccination.

Improving search engines with open Web-based SKOS vocabularies

Dissertação para obtenção do Grau de Mestre em Engenharia Informática

In search of a language textile and text in contemporary women's art

This research uses the textile/text axis concept as a conceptual tool to investigate the role of textile and text in contemporary women’s art practice and theorizing, investigating textile as a largely hitherto unacknowledged element in women’s art practice of the late 20th and early 21st centuries. Textile and text share a common etymological root, from the Latin textere to weave, textus a fabric. The thesis illuminates the pathways whereby textile and text played an important role in women reclaiming a speaking voice as creators of culture and signification during a revolutionary period of renewal in women’s cultural contribution and positioning. The methodological approach used in the research consisted of a comprehensive literature review, the compilation of an inventory of relevant women artists, developing a classificatory system differentiating types of approaches, concerns and concepts underpinning women’s art practice vis a vis the textile/text axis and a series of three in-depth case studies of artists Tracey Emin, Louise Bourgeois and Faith Ringgold. The thesis points to the fact that contemporary women artists and theorists have rounded their art practice and aesthetic discourse in textile as prime visual metaphor and signifier, turning towards the ancient language of textile not merely to reclaim a speaking voice but to occupy a ground breaking locus of signification and representation in contemporary culture. The textile/text axis facilitated women artists in powerfully countering a culturally inscribed status of Lacanian ‘no-woman’ (a position of abjection, absence and lack in the phallocentric symbolic). Turning towards a language of aeons, textile as fertile wellspring, the thesis identifies the methodologies and strategies whereby women artists have inserted their webs of subjectivities and deepest concerns into the records and discourses of contemporary culture. Presenting an anatomy of the textile/text axis, the thesis identifies nine component elements manifesting in contemporary women’s aesthetic practice and discourse. In this cultural renaissance, the textile/text axis, the thesis suggests, served as a complex lexicon, a system of labyrinthine references and signification, a site of layered meanings and ambiguities, a body proxy and a corporeal cartography, facilitating a revolution in women’s aesthetic praxis.

CAT (Curator Archiving Tool): improving access to web archives

PADICAT is the web archive created in 2005 in Catalonia (Spain ) by the Library of Catalonia (BC ) , the National Library of Catalonia , with the aim of collecting , processing and providing permanent access to the digital heritage of Catalonia . Its harvesting strategy is based on the hybrid model ( of massive harvesting . SPA top level domain ; selective compilation of the web site output of Catalan organizations; focused harvesting of public events) . The system provides open access to the whole collection , on the Internet . We consider necessary to complement the current search for new and visualization software with open source software tool, CAT ( Curator Archiving Tool) , composed by three modules aimed to effectively managing the processes of human cataloguing ; to publish directories where the digital resources and special collections ; and to offer statistical information of added value to end users. Within the framework of the International Internet Preservation Consortium meeting ( Vienna 2010) , the progress in the development of this new tool, and the philosophy that has motivated his design, are presented to the international community.

Version brève du DISCERN, une voie d'amélioration de la recherche d'information médicale sur le net [Brief-DISCERN, a possible way to improve patient's search on the health-related web]

Internet is increasingly used as a source of information on health issues and is probably a major source of patients' empowerment. This process is however limited by the frequently poor quality of web-based health information designed for consumers. A better diffusion of information about criteria defining the quality of the content of websites, and about useful methods designed for searching such needed information, could be particularly useful to patients and their relatives. A brief, six-items DISCERN version, characterized by a high specificity for detecting websites with good or very good content quality was recently developed. This tool could facilitate the identification of high-quality information on the web by patients and may improve the empowerment process initiated by the development of the health-related web.

Polymerase chain reaction of peripheral blood as a tool for the diagnosis of visceral leishmaniasis in children

The diagnosis of visceral leishmaniasis (VL) generally requires the use of invasive tests for the collection of infected tissue (aspirates of bone marrow, spleen, liver or lymph nodes). This difficulty has led to the search for safer and less painful techniques to confirm the occurrence of the disease in children. Polymerase chain reaction (PCR) is a method that is advantageous in that it allows the use of peripheral blood samples for diagnosis. This paper reports the utilisation of PCR on peripheral blood samples to diagnose VL in 45 children in Mato Grosso do Sul, Brazil. This technique is compared with methods carried out using tissue collected by invasive procedures, including direct microscopy, culture and detection of Leishmania DNA by PCR in bone marrow aspirates. The results show that PCR of peripheral blood provides great sensitivity (95.6%) that is similar to that from the PCR of bone marrow aspirates (91.1%) and higher than that achieved with microscopy (80%) or culture (26.7%) methods. PCR of peripheral blood proved to be a suitable tool for the diagnosis of VL in children because it is highly sensitive and safe, with tissue collection being less invasive than in traditional tests.

Validation of the Mini Nutritional Assessment short-form (MNA-SF): a practical tool for identification of nutritional status.

OBJECTIVE: To validate a revision of the Mini Nutritional Assessment short-form (MNA(R)-SF) against the full MNA, a standard tool for nutritional evaluation. METHODS: A literature search identified studies that used the MNA for nutritional screening in geriatric patients. The contacted authors submitted original datasets that were merged into a single database. Various combinations of the questions on the current MNA-SF were tested using this database through combination analysis and ROC based derivation of classification thresholds. RESULTS: Twenty-seven datasets (n=6257 participants) were initially processed from which twelve were used in the current analysis on a sample of 2032 study participants (mean age 82.3y) with complete information on all MNA items. The original MNA-SF was a combination of six questions from the full MNA. A revised MNA-SF included calf circumference (CC) substituted for BMI performed equally well. A revised three-category scoring classification for this revised MNA-SF, using BMI and/or CC, had good sensitivity compared to the full MNA. CONCLUSION: The newly revised MNA-SF is a valid nutritional screening tool applicable to geriatric health care professionals with the option of using CC when BMI cannot be calculated. This revised MNA-SF increases the applicability of this rapid screening tool in clinical practice through the inclusion of a "malnourished" category.