Distinguished algebraic semantics for t-norm based fuzzy logics:Methods and algebraic equivalencies

This paper is a contribution to Mathematical fuzzy logic, in particular to the algebraic study of t-norm based fuzzy logics. In the general framework of propositional core and ?-core fuzzy logics we consider three properties of completeness with respect to any semantics of linearly ordered algebras. Useful algebraic characterizations of these completeness properties are obtained and their relations are studied. Moreover, we concentrate on five kinds of distinguished semantics for these logics-namely the class of algebras defined over the real unit interval, the rational unit interval, the hyperreals (all ultrapowers of the real unit interval), the strict hyperreals (only ultrapowers giving a proper extension of the real unit interval) and finite chains, respectively-and we survey the known completeness methods and results for prominent logics. We also obtain new interesting relations between the real, rational and (strict) hyperreal semantics, and good characterizations for the completeness with respect to the semantics of finite chains. Finally, all completeness properties and distinguished semantics are also considered for the first-order versions of the logics where a number of new results are proved. © 2009 Elsevier B.V. All rights reserved.

From hyperactive children to ADHD adults:Observations on the expansion of medical categories

Medicalization is by definition, about the extension of medical boundaries. Analogous to "domain expansion," extant medicalized categories can expand to become broader and more inclusive. This paper examines the emergence of Attention Deficit Hyperactivity Disorder (ADHD) in adults. ADHD, commonly known as Hyperactivity, became established in the 1970s as a diagnosis for children; it expanded first to include "adult hyperactives" and, in the 1990s, "ADHD Adults." This allowed for the inclusion of an entire population of people and their problems that were excluded by the original conception of hyperactive children. We show how lay, professional, and media claims help establish the expanded diagnostic category. We identify particular aspects of the social context that contributed to the rise of adult ADHD and outline some of the social implications of ADHD in adults, especially the medicalization of underperformance and the availability of new disability rights. Adult ADHD serves as an exemplar of several cases of diagnostic expansion, an important avenue of increasing medicalization.

Understanding the migratory orientation program of birds: extending laboratory studies to study free flying migrants in a natural setting

For many years, orientation in migratory birds has primarily been studied in the laboratory. Although a laboratory-based setting enables greater control over environmental cues, the laboratory-based findings must be confirmed in the wild in free-flying birds to be able to fully understand how birds orient during migration. Despite the difficulties associated with following free-flying birds over long distances, a number of possibilities currently exist for tracking the long distance, sometimes even globe-spanning, journeys undertaken by migrating birds. Birds fitted with radio transmitters can either be located from the ground or from aircraft (conventional tracking), or from space. Alternatively, positional information obtained by onboard equipment (e.g., GPS units) can be transmitted to receivers in space. Use of these tracking methods has provided a wealth of information on migratory behaviors that are otherwise very difficult to study. Here, we focus on the progress in understanding certain components of the migration-orientation system. Comparably exciting results can be expected in the future from tracking free-flying migrants in the wild. Use of orientation cues has been studied in migrating raptors (satellite telemetry) and thrushes (conventional telemetry), highlighting that findings in the natural setting may not always be as expected on the basis of cage-experiments. Furthermore, field tracking methods combined with experimental approaches have finally allowed for an extension of the paradigmatic displacement experiments performed by Perdeck in 1958 on the short-distance, social migrant, the starling, to long-distance migrating storks and long-distance, non-socially migrating passerines. Results from these studies provide fundamental insights into the nature of the migratory orientation system that enables experienced birds to navigate and guide inexperienced, young birds to their species-specific winter grounds.

A material model for multiaxial stretching and stress relaxation of polypropylene under process conditions

Polypropylene sheets have been stretched at 160 °C to a state of large biaxial strain of extension ratio 3, and the stresses then allowed to relax at constant strain. The state of strain is reached via a path consisting of two sequential planar extensions, the second perpendicular to the first, under plane stress conditions with zero stress acting normal to the sheet. This strain path is highly relevant to solid phase deformation processes such as stretch blow moulding and thermoforming, and also reveals fundamental aspects of the flow rule required in the constitutive behaviour of the material. The rate of decay of stress is rapid, and such as to be highly significant in the modelling of processes that include stages of constant strain. A constitutive equation is developed that includes Eyring processes to model both the stress relaxation and strain rate dependence of the stress. The axial and transverse stresses observed during loading show that the use of a conventional Levy-Mises flow rule is ineffective, and instead a flow rule is used that takes account of the anisotropic state of the material via a power law function of the principal extension ratios. Finally the constitutive model is demonstrated to give quantitatively useful representation of the stresses both in loading and in stress relaxation.

Are there developmentally distinct motor indicators of pain in preterm infants?

The aims of this study were to examine preterm infant reactions to pain in detail over prolonged time periods using multiple measures, and to assess the value of including specific body movements of the Neonatal Individualized Developmental Care and Assessment Program (NIDCAP) system to evaluate pain. Ten preterm infants born at 31 weeks mean gestational age (GA) and mean birth weight 1676 g were studied during a routine blood collection in a Level III neonatal intensive care unit (NICU). At 32-week post-conceptional age, computerized physiologic and video recordings were obtained continuously for 60 min (prior to, during and after lance). Motor and facial behaviors were coded independently, using the NIDCAP and the NFCS (Neonatal Facial Coding System), respectively, and compared with heart rate (HR) and oxygen saturation responses. Of the movements hypothesized to be stress cues in the NIDCAP model, extension of arms and legs (80%) and finger splay (70%) were the most common following lance. Contrary to the model, most infants (70%) had lower incidence of twitches and startles post-lance compared to baseline. Whereas all infants showed some NFCS response to lance, for three infants, the magnitude was low. HR increased and oxygen saturation decreased post-lance. Infants with more prior pain exposure, lower Apgar, and lower GA at birth, displayed more motor stress cues but less facial activity post-lance. Extension of extremities and finger splay, but not twitches and startles, from the NIDCAP, appear to be stress cues and show promise as clinical pain indicators to supplement facial and physiological pain measures in preterm infants.

Caregiving at the end of life:perspectives from spousal caregivers and care recipients.

OBJECTIVE: The purpose of this study is to examine the perspectives of both the spousal caregiver and care recipient on the caregiving experience in home-based palliative care. METHODS: A qualitative research strategy involving home-based face-to-face interviews with older palliative care patients and their spousal caregivers was used to examine the caregiving experience. RESULTS: Ten spousal caregivers and care recipient dyads participated in the study. Most informal caregivers viewed caregiving as an extension of the family relationship where caregiving responsibilities evolved over time. Spousal caregivers identified many negative reactions to caregiving, such as fatigue or weariness, depression, anger and sadness, financial stresses, and lack of time. Care recipients acknowledged the emotional and financial strain and expressed concern for their spouses. Both caregivers and care recipients were appreciative of home care services although they identified the need for additional services. They also identified difficulties in communication with formal providers and poor coordination of care among the various services. Both caregivers and care recipients disclosed some challenges with informal supports, but on the whole felt that their presence was positive. Additional positive aspects of caregiving reported by spouses included strengthened relationship with their spouse and discovering emotional strength and physical abilities in managing care. SIGNIFICANCE OF RESULTS: Health care and social service professionals need to recognize and understand both caregiver and care recipient perspectives if they are to successfully meet the needs of both members of the dyad.

Targeting distributed systems in FastFlow

FastFlow is a structured parallel programming framework targeting shared memory multi-core architectures. In this paper we introduce a FastFlow extension aimed at supporting also a network of multi-core workstations. The extension supports the execution of FastFlow programs by coordinating-in a structured way-the fine grain parallel activities running on a single workstation. We discuss the design and the implementation of this extension presenting preliminary experimental results validating it on state-of-the-art networked multi-core nodes. © 2013 Springer-Verlag.

The p-hub Model with Hub-catchment Areas, Existing Hubs, and Simulation: A Case Study of Serbian Intermodal Terminals

This paper addresses the problem of optimally locating intermodal freight terminals in Serbia. To solve this problem and determine the effects of the resulting scenarios, two modeling approaches were combined. The first approach is based on multiple-assignment hub-network design, and the second is based on simulation. The multiple-assignment p-hub network location model was used to determine the optimal location of intermodal terminals. Simulation was used as a tool to estimate intermodal transport flow volumes, due to the unreliability and unavailability of specific statistical data, and as a method for quantitatively analyzing the economic, time, and environmental effects of different scenarios of intermodal terminal development. The results presented here represent a summary, with some extension, of the research realized in the IMOD-X project (Intermodal Solutions for Competitive Transport in Serbia).

Interventions for prevention of giant retinal tear in the fellow eye

Background: A giant retinal tear is a full-thickness retinal break that extends circumferentially around the retina for 90 degrees ormore in the presence of a posteriorly detached vitreous. It causes significant visual morbidity from retinal detachment and proliferative vitreoretinopathy. The fellow eye of patients who have had a spontaneous giant retinal tear has an increased risk of developing a giant retinal tear, a retinal detachment or both. Interventions such as 360-degree encircling scleral buckling, 360-degree cryotherapy and 360-degree laser photocoagulation have been advocated by some ophthalmologists as prophylaxis for the fellow eye against the development of a giant retinal tear and/or a retinal detachment, or to prevent its extension. Objectives: To evaluate the effectiveness of prophylactic 360-degree interventions in the fellow eye of patients with unilateral giant retinal tear to prevent the occurrence of a giant retinal tear and/or a retinal detachment. Search strategy: We searched the Cochrane Central Register of Controlled Trials (CENTRAL) (which contains the Cochrane Eyes and Vision Group Trials Register) (The Cochrane Library 2008, Issue 4), MEDLINE (January 1950 to December 2008), EMBASE (January 1980 to December 2008) and Latin American and Caribbean Literature on Health Sciences (LILACS) (January 1982 to December 2008). In addition, we searched the proceedings of the Annual Meeting of the Association for Research in Vision and Ophthalmology (ARVO) up to 2008 for information about other relevant studies. There were no language or date restrictions in the search for trials. The electronic databases were last searched on 15 December 2008. Selection criteria: Prospective randomised controlled trials (RCTs) comparing one prophylactic treatment for fellow eyes of patients with giant retinal tear against observation (no treatment) or another form of prophylactic treatment. In the absence of RCTs, we planned to discuss case-control studies that met the inclusion criteria but we would not conduct a meta-analysis using these studies. Data collection and analysis: We did not find any studies that met the inclusion criteria for the review and therefore no assessment of methodological quality or meta-analysis could be performed. Main results: No studies met the inclusion criteria for this review. Authors' conclusions: No strong evidence in the literature was found to support or refute prophylactic 360-degree treatments to prevent a giant retinal tear or a retinal detachment in the fellow eye of patients with unilateral giant retinal tears. Copyright © 2009 The Cochrane Collaboration. Published by John Wiley & Sons, Ltd.

Demarcation laser therapy in the management of macular-sparing persistent subretinal fluid after scleral buckling procedures

Background: Persistent or recurrent macular-sparing subretinal fluid (SRF) can sometimes occur following scleral buckling procedures. Observation and reoperation have been used in the management of such cases. Demarcation laser therapy (DLT) has been used to treat macular-sparing retinal detachments in the context of cytomegalovirus retinitis and as primary treatment for selected rhegmatogenous retinal detachments. There are, however, scarce data in the literature regarding its use following primary scleral buckling procedures. The current study explores the use of DLT under the latter circumstances. Methods: The medical records of all consecutive patients with persistent SRF sparing the macula following primary rhegmatogenous retinal detachment repair using a scleral buckling procedure were retrospectively reviewed. Only those patients in whom the breaks were localised to the area of indentation and, thus, seemed to be well supported by the buckle were included. Demographics, clinical characteristics of the retinal detachment prior to scleral buckling, extension of the residual SRF observed postoperatively, details of the laser procedure, anatomical and functional outcomes and complications were evaluated. Results: Seven patients, all females, with a mean age of 47.9 years (range: 20-81) were included in the study. The retinal detachments were superior (n=3), inferior (n=3) and subtotal, affecting both superior and inferior retina (n=1). Scleral buckling procedures were used to treat the retinal detachments in all cases. Following demarcation laser therapy, the area of SRF remained stable in two patients, and flattened in four. In one patient, extension of SRF occurred requiring further surgery. Conclusions: Demarcation laser therapy appears to be a reasonable option in the management of patients with persistent or recurrent SRF sparing the macula following scleral buckling surgery. © Springer-Verlag 2006.

Immunophenotypic shift in a case of mycosis fungoides with vitreous invasion

The case of an 82-year-old man who developed intraocular extension from mycosis fungoides, a cutaneous T-cell lymphoma, is presented. The patient died soon after intra-ocular involvement occurred. Immunohistochemistry of a skin biopsy, taken early in the course of the disease, disclosed a predominance of T cells with a helper/inducer phenotype (CD4). However, an intraocular infiltrate obtained 7 years later contained mostly T cells with a suppressor/cytotoxic phenotype (CD8). The occurrence of ocular invasion, the change in immunophenotype, and the predominant proliferation of CD8 lymphocytes may have been related to the poor outcome in this patient.

Interventions for prevention of giant retinal tear in the fellow eye.

BACKGROUND: A giant retinal tear is a full-thickness retinal break that extends circumferentially around the retina for 90 degrees or more in the presence of a posteriorly detached vitreous. It causes significant visual morbidity from retinal detachment and proliferative vitreoretinopathy. The fellow eye of patients who have had a spontaneous giant retinal tear has an increased risk of developing a giant retinal tear, a retinal detachment or both. Interventions such as 360-degree encircling scleral buckling, 360-degree cryotherapy and 360-degree laser photocoagulation have been advocated by some ophthalmologists as prophylaxis for the fellow eye against the development of a giant retinal tear and/or a retinal detachment, or to prevent its extension. OBJECTIVES: To evaluate the effectiveness of prophylactic 360-degree interventions in the fellow eye of patients with unilateral giant retinal tear to prevent the occurrence of a giant retinal tear and/or a retinal detachment. SEARCH STRATEGY: We searched the Cochrane Central Register of Controlled Trials (CENTRAL) (which contains the Cochrane Eyes and Vision Group Trials Register) (The Cochrane Library 2008, Issue 4), MEDLINE (January 1950 to December 2008), EMBASE (January 1980 to December 2008) and Latin American and Caribbean Literature on Health Sciences (LILACS) (January 1982 to December 2008). In addition, we searched the proceedings of the Annual Meeting of the Association for Research in Vision and Ophthalmology (ARVO) up to 2008 for information about other relevant studies. There were no language or date restrictions in the search for trials. The electronic databases were last searched on 15 December 2008. SELECTION CRITERIA: Prospective randomised controlled trials (RCTs) comparing one prophylactic treatment for fellow eyes of patients with giant retinal tear against observation (no treatment) or another form of prophylactic treatment. In the absence of RCTs, we planned to discuss case-control studies that met the inclusion criteria but we would not conduct a meta-analysis using these studies. DATA COLLECTION AND ANALYSIS: We did not find any studies that met the inclusion criteria for the review and therefore no assessment of methodological quality or meta-analysis could be performed. MAIN RESULTS: No studies met the inclusion criteria for this review. AUTHORS' CONCLUSIONS: No strong evidence in the literature was found to support or refute prophylactic 360-degree treatments to prevent a giant retinal tear or a retinal detachment in the fellow eye of patients with unilateral giant retinal tears.

Interventions for prevention of giant retinal tear in the fellow eye.

A giant retinal tear is a full-thickness retinal break that extends circumferentially around the retina for 90 degrees or more in the presence of a posteriorly detached vitreous. It causes significant visual morbidity from retinal detachment and proliferative vitreoretinopathy. The fellow eye of patients who have had a spontaneous giant retinal tear has an increased risk of developing a giant retinal tear, a retinal detachment or both. Interventions such as 360-degree encircling scleral buckling, 360-degree cryotherapy and 360-degree laser photocoagulation have been advocated by some ophthalmologists as prophylaxis for the fellow eye against the development of a giant retinal tear and/or a retinal detachment, or to prevent its extension. To evaluate the effectiveness of prophylactic 360-degree interventions in the fellow eye of patients with unilateral giant retinal tear to prevent the occurrence of a giant retinal tear, a retinal detachment or both. We searched CENTRAL (which contains the Cochrane Eyes and Vision Group Trials Register) (The Cochrane Library 2011, Issue 11), MEDLINE (January 1950 to December 2011), EMBASE (January 1980 to December 2011), Latin American and Caribbean Literature on Health Sciences (LILACS) (January 1982 to December 2011), the metaRegister of Controlled Trials (mRCT) (www.controlled-trials.com), ClinicalTrials.gov (www.clinicaltrials.gov) and the WHO International Clinical Trials Registry Platform (ICTRP) (www.who.int/ictrp/search/en). There were no date or language restrictions in the electronic searches for trials. The electronic databases were last searched on 6 December 2011. In addition, we searched the proceedings of the Annual Meeting of the Association for Research in Vision and Ophthalmology (ARVO) up to 2008 for information about other relevant studies. Prospective randomised controlled trials (RCTs) comparing one prophylactic treatment for fellow eyes of patients with giant retinal tear against observation (no treatment) or another form of prophylactic treatment. In the absence of RCTs, we planned to discuss case-control studies that met the inclusion criteria but we would not conduct a meta-analysis using these studies. We did not find any studies that met the inclusion criteria for the review and therefore no assessment of methodological quality or meta-analysis could be performed. No studies met the inclusion criteria for this review. No strong evidence in the literature was found to support or refute prophylactic 360-degree treatments to prevent a giant retinal tear or a retinal detachment in the fellow eye of patients with unilateral giant retinal tears.

Zero-One Designs Produce Small Hard SAT Instances

Some basics of combinatorial block design are combined with certain constraint satisfaction problems of interest to the satisfiability community. The paper shows how such combinations lead to satisfiability problems, and shows empirically that these are some of the smallest very hard satisfiability problems ever constructed. Partially balanced (0,1) designs (PB01Ds) are introduced as an extension of balanced incomplete block designs (BIBDs) and (0,1) designs. Also, (0,1) difference sets are introduced as an extension of certain cyclical difference sets. Constructions based on (0,1) difference sets enable generation of PB01Ds over a much wider range of parameters than is possible for BIBDs. Building upon previous work of Spence, it is shown how PB01Ds lead to small, very hard, unsatisfiable formulas. A new three-dimensional form of combinatorial block design is introduced, and leads to small, very hard, satisfiable formulas. The methods are validated on solvers that performed well in the SAT 2009 and earlier competitions.

Towards Utilizing Model-Driven Engineering of Composite Applications for Business Performance Analysis

Composite Applications on top of SAPs implementation of SOA (Enterprise SOA) enable the extension of already existing business logic. In this paper we show, based on a case study, how Model-Driven Engineering concepts are applied in the development of such Composite Applications. Our Case Study extends a back-end business process which is required for the specific needs of a demo company selling wine. We use this to describe how the business centric models specifying the modified business behaviour of our case study can be utilized for business performance analysis where most of the actions are performed by humans. In particular, we apply a refined version of Model-Driven Performance Engineering that we proposed in our previous work and motivate which business domain specifics have to be taken into account for business performance analysis. We additionally motivate the need for performance related decision support for domain experts, who generally lack performance related skills. Such a support should offer visual guidance about what should be changed in the design and resource mapping to get improved results with respect to modification constraints and performance objectives, or objectives for time.