Non emergency patients transport - a mixed integer linear programming

This work presents a model and a heuristic to solve the non-emergency patients transport (NEPT) service issues given the new rules recently established in Portugal. The model follows the same principle of the Team Orienteering Problem by selecting the patients to be included in the routes attending the maximum reduction in costs when compared with individual transportation. This model establishes the best sets of patients to be transported together. The model was implemented in AMPL and a compact formulation was solved using NEOS Server. A heuristic procedure based on iteratively solving problems with one vehicle was presented, and this heuristic provides good results in terms of accuracy and computation time.

Logic programming and artificial neural networks in breast cancer detection

About 90% of breast cancers do not cause or are capable of producing death if detected at an early stage and treated properly. Indeed, it is still not known a specific cause for the illness. It may be not only a beginning, but also a set of associations that will determine the onset of the disease. Undeniably, there are some factors that seem to be associated with the boosted risk of the malady. Pondering the present study, different breast cancer risk assessment models where considered. It is our intention to develop a hybrid decision support system under a formal framework based on Logic Programming for knowledge representation and reasoning, complemented with an approach to computing centered on Artificial Neural Networks, to evaluate the risk of developing breast cancer and the respective Degree-of-Confidence that one has on such a happening.

A structured inventory of spiders (Arachnida, Araneae) in natural and artificial forest gaps at Porto Urucu, Western Brazilian Amazonia

A preliminary survey of the spider fauna in natural and artificial forest gap formations at “Porto Urucu”, a petroleum/natural gas production facility in the Urucu river basin, Coari, Amazonas, Brazil is presented. Sampling was conducted both occasionally and using a protocol composed of a suite of techniques: beating trays (32 samples), nocturnal manual samplings (48), sweeping nets (16), Winkler extractors (24), and pitfall traps (120). A total of 4201 spiders, belonging to 43 families and 393 morphospecies, were collected during the dry season, in July, 2003. Excluding the occasional samples, the observed richness was 357 species. In a performance test of seven species richness estimators, the Incidence Based Coverage Estimator (ICE) was the best fit estimator, with 639 estimated species. To evaluate differences in species richness associated with natural and artificial gaps, samples from between the center of the gaps up to 300 meters inside the adjacent forest matrix were compared through the inspection of the confidence intervals of individual-based rarefaction curves for each treatment. The observed species richness was significantly higher in natural gaps combined with adjacent forest than in the artificial gaps combined with adjacent forest. Moreover, a community similarity analysis between the fauna collected under both treatments demonstrated that there were considerable differences in species composition. The significantly higher abundance of Lycosidae in artificial gap forest is explained by the presence of herbaceous vegetation in the gaps themselves. Ctenidae was significantly more abundant in the natural gap forest, probable due to the increase of shelter availability provided by the fallen trees in the gaps themselves. Both families are identified as potential indicators of environmental change related to the establishment or recovery of artificial gaps in the study area.

Towards the design and implementation of aspect-oriented programming for spreadsheets

A spreadsheet usually starts as a simple and singleuser software artifact, but, as frequent as in other software systems, quickly evolves into a complex system developed by many actors. Often, different users work on different aspects of the same spreadsheet: while a secretary may be only involved in adding plain data to the spreadsheet, an accountant may define new business rules, while an engineer may need to adapt the spreadsheet content so it can be used by other software systems.Unfortunately,spreadsheetsystemsdonotoffermodular mechanisms, and as a consequence, some of the previous tasks may be defined by adding intrusive “code” to the spreadsheet. In this paper we go through the design and implementation of an aspect-oriented language for spreadsheets so that users can work on different aspects of a spreadsheet in a modular way. For example, aspects can be defined in order to introduce new business rules to an existing spreadsheet, or to manipulate the spreadsheet data to be ported to another system. Aspects are defined as aspect-oriented program specifications that are dynamically woven into the underlying spreadsheet by an aspect weaver. In this aspect-oriented style of spreadsheet development, differentusers develop,orreuse,aspects withoutaddingintrusive code to the original spreadsheet. Such code is added/executed by the spreadsheet weaving mechanism proposed in this paper.

Metaphorisms in programming

This paper introduces the metaphorism pattern of relational specification and addresses how specification following this pattern can be refined into recursive programs. Metaphorisms express input-output relationships which preserve relevant information while at the same time some intended optimization takes place. Text processing, sorting, representation changers, etc., are examples of metaphorisms. The kind of metaphorism refinement proposed in this paper is a strategy known as change of virtual data structure. It gives sufficient conditions for such implementations to be calculated using relation algebra and illustrates the strategy with the derivation of quicksort as example.

Micro/nano-structured superhydrophobic surfaces in the biomedical field: part I: basic concepts and biomimetic approaches.

Inspired by natural structures, great attention has been devoted to the study and development of surfaces with extreme wettable properties. The meticulous study of natural systems revealed that the micro/nano-topography of the surface is critical to obtaining unique wettability features, including superhydrophobicity. However, the surface chemistry also has an important role in such surface characteristics. As the interaction of biomaterials with the biological milieu occurs at the surface of the materials, it is expected that synthetic substrates with extreme and controllable wettability ranging from superhydrophilic to superhydrophobic regimes could bring about the possibility of new investigations of cellâ material interactions on nonconventional surfaces and the development of alternative devices with biomedical utility. This first part of the review will describe in detail how proteins and cells interact with micro/nano-structured surfaces exhibiting extreme wettabilities.

Bacterial nanocellulose as a structured platform for conductive biopolymers

[Exert] Since the discovery that polyacetylene could be doped to the metallic state more than 3 decades ago, an ever-growing body of a multidisciplinary approach to material design, synthesis, and system integration has been evidenced. The present chapter will primarily review the emerging field of intrinsically conducting polymer and conductive polymer blends, with polyaniline and polypyrrole as the major representatives of conducting polymers. This survey will also address some of the potential areas for applications of such conductive polymer blends. Also, current results concerning the chemical polymerization of conducting polymers on bacterial nanocellulose (BNC) will be presented, including brief remarks on the rationale for the use of conductive BNC blends. This will be followed by a discussion on their properties and potential applications (...).

Time- and frequency-domain modeling of passive interconncection structured in field and circuit analysis

PEEC, computational electromagnetics

Ontology learning from semi-structured Web documents

Magdeburg, Univ., Fak. für Informatik, Diss., 2010

Keyword search across distributed heterogenous structured data sources

Magdeburg, Univ., Fak. für Informatik, Diss., 2012

Computational methods for model reduction of large-scale sparse structured descriptor systems

Magdeburg, Univ., Fak. für Mathematik, Diss., 2015

Structured RNAs in the ENCODE selected regions of the human genome.

Functional RNA structures play an important role both in the context of noncoding RNA transcripts as well as regulatory elements in mRNAs. Here we present a computational study to detect functional RNA structures within the ENCODE regions of the human genome. Since structural RNAs in general lack characteristic signals in primary sequence, comparative approaches evaluating evolutionary conservation of structures are most promising. We have used three recently introduced programs based on either phylogenetic-stochastic context-free grammar (EvoFold) or energy directed folding (RNAz and AlifoldZ), yielding several thousand candidate structures (corresponding to approximately 2.7% of the ENCODE regions). EvoFold has its highest sensitivity in highly conserved and relatively AU-rich regions, while RNAz favors slightly GC-rich regions, resulting in a relatively small overlap between methods. Comparison with the GENCODE annotation points to functional RNAs in all genomic contexts, with a slightly increased density in 3'-UTRs. While we estimate a significant false discovery rate of approximately 50%-70% many of the predictions can be further substantiated by additional criteria: 248 loci are predicted by both RNAz and EvoFold, and an additional 239 RNAz or EvoFold predictions are supported by the (more stringent) AlifoldZ algorithm. Five hundred seventy RNAz structure predictions fall into regions that show signs of selection pressure also on the sequence level (i.e., conserved elements). More than 700 predictions overlap with noncoding transcripts detected by oligonucleotide tiling arrays. One hundred seventy-five selected candidates were tested by RT-PCR in six tissues, and expression could be verified in 43 cases (24.6%).

Nondictatorial Arrovian Social Welfare Functions: An Integer Programming Approach

In the line opened by Kalai and Muller (1997), we explore new conditions on prefernce domains which make it possible to avoid Arrow's impossibility result. In our main theorem, we provide a complete characterization of the domains admitting nondictorial Arrovian social welfare functions with ties (i.e. including indifference in the range) by introducing a notion of strict decomposability. In the proof, we use integer programming tools, following an approach first applied to social choice theory by Sethuraman, Teo and Vohra ((2003), (2006)). In order to obtain a representation of Arrovian social welfare functions whose range can include indifference, we generalize Sethuraman et al.'s work and specify integer programs in which variables are allowed to assume values in the set {0, 1/2, 1}: indeed, we show that, there exists a one-to-one correspondence between solutions of an integer program defined on this set and the set of all Arrovian social welfare functions - without restrictions on the range.

Integer Programming on Domains Containing Inseparable Ordered Paris

Using the integer programming approach introduced by Sethuraman, Teo, and Vohra (2003), we extend the analysis of the preference domains containing an inseparable ordered pair, initiated by Kalai and Ritz (1978). We show that these domains admit not only Arrovian social welfare functions \without ties," but also Arrovian social welfare functions \with ties," since they satisfy the strictly decomposability condition introduced by Busetto, Codognato, and Tonin (2012). Moreover, we go further in the comparison between Kalai and Ritz (1978)'s inseparability and Arrow (1963)'s single-peak restrictions, showing that the former condition is more \respectable," in the sense of Muller and Satterthwaite (1985).

On a size-structured two-phase population model with infinite states-at-birth

In this work we introduce and analyze a linear size-structured population model with infinite states-at-birth. We model the dynamics of a population in which individuals have two distinct life-stages: an “active” phase when individuals grow, reproduce and die and a second “resting” phase when individuals only grow. Transition between these two phases depends on individuals’ size. First we show that the problem is governed by a positive quasicontractive semigroup on the biologically relevant state space. Then we investigate, in the framework of the spectral theory of linear operators, the asymptotic behavior of solutions of the model. We prove that the associated semigroup has, under biologically plausible assumptions, the property of asynchronous exponential growth.