Semantics of logic programs with explicit negation

After a historical introduction, the bulk of the thesis concerns the study of a declarative semantics for logic programs. The main original contributions are: ² WFSX (Well–Founded Semantics with eXplicit negation), a new semantics for logic programs with explicit negation (i.e. extended logic programs), which compares favourably in its properties with other extant semantics. ² A generic characterization schema that facilitates comparisons among a diversity of semantics of extended logic programs, including WFSX. ² An autoepistemic and a default logic corresponding to WFSX, which solve existing problems of the classical approaches to autoepistemic and default logics, and clarify the meaning of explicit negation in logic programs. ² A framework for defining a spectrum of semantics of extended logic programs based on the abduction of negative hypotheses. This framework allows for the characterization of different levels of scepticism/credulity, consensuality, and argumentation. One of the semantics of abduction coincides with WFSX. ² O–semantics, a semantics that uniquely adds more CWA hypotheses to WFSX. The techniques used for doing so are applicable as well to the well–founded semantics of normal logic programs. ² By introducing explicit negation into logic programs contradiction may appear. I present two approaches for dealing with contradiction, and show their equivalence. One of the approaches consists in avoiding contradiction, and is based on restrictions in the adoption of abductive hypotheses. The other approach consists in removing contradiction, and is based in a transformation of contradictory programs into noncontradictory ones, guided by the reasons for contradiction.

Strength prediction of single- and double-lap joints by standard and extended finite element modelling

The structural integrity of multi-component structures is usually determined by the strength and durability of their unions. Adhesive bonding is often chosen over welding, riveting and bolting, due to the reduction of stress concentrations, reduced weight penalty and easy manufacturing, amongst other issues. In the past decades, the Finite Element Method (FEM) has been used for the simulation and strength prediction of bonded structures, by strength of materials or fracture mechanics-based criteria. Cohesive-zone models (CZMs) have already proved to be an effective tool in modelling damage growth, surpassing a few limitations of the aforementioned techniques. Despite this fact, they still suffer from the restriction of damage growth only at predefined growth paths. The eXtended Finite Element Method (XFEM) is a recent improvement of the FEM, developed to allow the growth of discontinuities within bulk solids along an arbitrary path, by enriching degrees of freedom with special displacement functions, thus overcoming the main restriction of CZMs. These two techniques were tested to simulate adhesively bonded single- and double-lap joints. The comparative evaluation of the two methods showed their capabilities and/or limitations for this specific purpose.

Board-level prototype validation: a built-in controller and extended BST architecture

Prototype validation is a major concern in modern electronic product design and development. Simulation, structural test, functional and timing debug are all forming parts of the validation process, although very often addressed as dissociated tasks. In this paper we describe an integrated approach to board-level prototype validation, based on a set of mandatory/optional BST instructions and a built-in controller for debug and test, that addresses the late mentioned tasks as inherent parts of a whole process

Thermographic and visible spectrum camera calibration for marine robotic target detection

Oceans - San Diego, 2013

Spectrum and Frequency of GJB2 Mutations in a Cohort of 264 Portuguese Nonsyndromic Sensorineural Hearing Loss Patients

OBJECTIVE: To assess the spectrum and prevalence of mutations in the GJB2 gene in Portuguese nonsyndromic sensorineural hearing loss (NSSHL) patients. DESIGN: Sequencing of the coding region, basal promoter, exon 1, and donor splice site of the GJB2 gene; screening for the presence of the two common GJB6 deletions. STUDY SAMPLE: A cohort of 264 Portuguese NSSHL patients. RESULTS: At least one out of 21 different GJB2 variants was identified in 80 (30.2%) of the 264 patients analysed. Two mutant alleles were found in 53 (20%) of these probands, of which 83% (44/53) harboured at least one c.35delG allele. Twenty-seven (10.2%) of the probands harboured only one mutant allele. Subsequent analysis revealed that the GJB6 deletion del(GJB6-D13S1854) was present in at least 7.4% (2/27) of the patients carrying only one mutant GJB2 allele. Overall, one in five (55/264) of the patients were diagnosed as having DFNB1-related NSSHL, of which the vast majority (53/55) harboured only GJB2 mutations. CONCLUSIONS: This study provides clear demonstration that mutations in the GJB2 gene are an important cause of NSSHL in Portugal, thus representing a valuable indicator as regards therapeutical and rehabilitation options, as well as genetic counseling of these patients and their families.

Segurança e criminalidade organizada

Globalization brought some deep changes to the world (dis)order. Nowadays, more than in other moment in history, we are closer to the ones physically far, living in “global village” called by Marshall McLuhan (1962). The concepts and premises built in this new order, have totally broken with the ones that “came out from Westphalia”, which had last to the end of the cold war, like, for example, the concept of security. Since then, security has been facing one of its biggest transformations ever, completely disrupting the state border based idea and starting to be extended to other domains, as human, economic, environmental and IT security, among others. In this global and interdependent environment, “new” threats and risks have raised, which are demanding a comprehensive approach from the States, international organizations and other actors, to allow the analysis and understanding its impacts on the various society sectors and orders. Inside the enormous challenges to the global security, it is important to regard the organized crime, which covers, by itself, a set of threats and risks, enhanced by its connection to other types of criminality, such as terrorism. The goals pursued and the tactics used by criminal organizations during the perpetration of illegal activities, specially the drug smuggling, have impact in an wide spectrum of the social, economic financial and politic dimensions, which should not be underestimated, otherwise our own security may be compromised. Therefore, the current investigation intends to be an important catalyst to the idea debate inside security scope, through the analysis of the organized crime and the drug smuggling, adding to a discussion of this issue, which should be deeper and holistic, aiming a better understanding of the challenges provided by our society.

Sustaining sleep spindles through enhanced SK2-channel activity consolidates sleep and elevates arousal threshold.

Sleep spindles are synchronized 11-15 Hz electroencephalographic (EEG) oscillations predominant during nonrapid-eye-movement sleep (NREMS). Rhythmic bursting in the reticular thalamic nucleus (nRt), arising from interplay between Ca(v)3.3-type Ca(2+) channels and Ca(2+)-dependent small-conductance-type 2 (SK2) K(+) channels, underlies spindle generation. Correlative evidence indicates that spindles contribute to memory consolidation and protection against environmental noise in human NREMS. Here, we describe a molecular mechanism through which spindle power is selectively extended and we probed the actions of intensified spindling in the naturally sleeping mouse. Using electrophysiological recordings in acute brain slices from SK2 channel-overexpressing (SK2-OE) mice, we found that nRt bursting was potentiated and thalamic circuit oscillations were prolonged. Moreover, nRt cells showed greater resilience to transit from burst to tonic discharge in response to gradual depolarization, mimicking transitions out of NREMS. Compared with wild-type littermates, chronic EEG recordings of SK2-OE mice contained less fragmented NREMS, while the NREMS EEG power spectrum was conserved. Furthermore, EEG spindle activity was prolonged at NREMS exit. Finally, when exposed to white noise, SK2-OE mice needed stronger stimuli to arouse. Increased nRt bursting thus strengthens spindles and improves sleep quality through mechanisms independent of EEG slow waves (<4 Hz), suggesting SK2 signaling as a new potential therapeutic target for sleep disorders and for neuropsychiatric diseases accompanied by weakened sleep spindles.

Spectrum of digoxin-induced ocular toxicity: a case report and literature review.

BACKGROUND: Digoxin intoxication results in predominantly digestive, cardiac and neurological symptoms. This case is outstanding in that the intoxication occurred in a nonagenarian and induced severe, extensively documented visual symptoms as well as dysphagia and proprioceptive illusions. Moreover, it went undiagnosed for a whole month despite close medical follow-up, illustrating the difficulty in recognizing drug-induced effects in a polymorbid patient. CASE PRESENTATION: Digoxin 0.25 mg qd for atrial fibrillation was prescribed to a 91-year-old woman with an estimated creatinine clearance of 18 ml/min. Over the following 2-3 weeks she developed nausea, vomiting and dysphagia, snowy and blurry vision, photopsia, dyschromatopsia, aggravated pre-existing formed visual hallucinations and proprioceptive illusions. She saw her family doctor twice and visited the eye clinic once until, 1 month after starting digoxin, she was admitted to the emergency room. Intoxication was confirmed by a serum digoxin level of 5.7 ng/ml (reference range 0.8-2 ng/ml). After stopping digoxin, general symptoms resolved in a few days, but visual complaints persisted. Examination by the ophthalmologist revealed decreased visual acuity in both eyes, 4/10 in the right eye (OD) and 5/10 in the left eye (OS), decreased color vision as demonstrated by a score of 1/13 in both eyes (OU) on Ishihara pseudoisochromatic plates, OS cataract, and dry age-related macular degeneration (ARMD). Computerized static perimetry showed non-specific diffuse alterations suggestive of either bilateral retinopathy or optic neuropathy. Full-field electroretinography (ERG) disclosed moderate diffuse rod and cone dysfunction and multifocal ERG revealed central loss of function OU. Visual symptoms progressively improved over the next 2 months, but multifocal ERG did not. The patient was finally discharged home after a 5 week hospital stay. CONCLUSION: This case is a reminder of a complication of digoxin treatment to be considered by any treating physician. If digoxin is prescribed in a vulnerable patient, close monitoring is mandatory. In general, when facing a new health problem in a polymorbid patient, it is crucial to elicit a complete history, with all recent drug changes and detailed complaints, and to include a drug adverse reaction in the differential diagnosis.

Early detection and intervention for infants at risk of autism spectrum disorders

Autism is a developmental disorder that is characterized by abnonnal social interactions and communications as well as repetitive and restricted activities and interests. There is evidence of a genetic component, as 5% of younger siblings are diagnosed if their older sibling has been diagnosed. Autism is generally not diagnosed until age 3 at the earliest, yet it has been shown that early intervention for children with autism can greatly increase their functioning. Because of this, it is important that symptoms of autism are identified as early as possible so that diagnosis can occur as soon as possible to allow these children the earliest intervention. This thesis was divided into two parts. The first looked at the psychometrics of two proposed measures, the Parent Observation Checklist (POC), administered monthly, and the Infant Behavior Summary Evaluation (mSE), administered bimonthly, to see if they can be used with the infant population to identify autistic symptoms in infants who are at high risk for autism or related problems because they have an older sibling with autism. Study 1 reported acceptable psychometric properties of both the POC and IBSE in terms of test-retest reliability, internal consistency, construct validity and predictive validity. These results provide preliminary evidence that parent report measures can help to detect early symptoms of ASD in infants. The POC was shown to differentiate infants who were diagnosed from a matched group that was not diagnosed by 3 years of age. The second part of this thesis involved a telephone interview of parents who reported developmental and/or behavior problems in their high-risk infants that may be early signs of Autism Spectrum Disorder (ASD). During the interview, a service questionnaire was administered to see what interventions (including strategies recommended by the researchers) their at risk infants and affected older siblings were receiving, how satisfied the parents were with them and how effective they felt the interventions were. 3 Study 2 also yielded promising results. Parents utilized a variety of services for at risk infants and children with ASD. The interventions included empirically validated early intervention (e.g., ABA) to non-empirically validated treatments (e.g., diet therapy). The large number of nonempirically validated treatments parents used was surprising, yet parents reported being involved and satisfied, and thought that the services were effective. Parents' perceptions of their stress levels went down slightly and feelings of competence rose when they accessed services for their infants. Overall, the results of this thesis provide new evidence that parent-report methods hold promise as early detection instruments for ASD in at-risk infants. More research is needed to further validate these instruments as well as to understand the variables related to the parents' choice of early intervention for their at risk and affected children.