Design of a case-based reasoner for information security in military organizations

Information security is concerned with the protection of information, which can be stored, processed or transmitted within critical information systems of the organizations, against loss of confidentiality, integrity or availability. Protection measures to prevent these problems result through the implementation of controls at several dimensions: technical, administrative or physical. A vital objective for military organizations is to ensure superiority in contexts of information warfare and competitive intelligence. Therefore, the problem of information security in military organizations has been a topic of intensive work at both national and transnational levels, and extensive conceptual and standardization work is being produced. A current effort is therefore to develop automated decision support systems to assist military decision makers, at different levels in the command chain, to provide suitable control measures that can effectively deal with potential attacks and, at the same time, prevent, detect and contain vulnerabilities targeted at their information systems. The concept and processes of the Case-Based Reasoning (CBR) methodology outstandingly resembles classical military processes and doctrine, in particular the analysis of “lessons learned” and definition of “modes of action”. Therefore, the present paper addresses the modeling and design of a CBR system with two key objectives: to support an effective response in context of information security for military organizations; to allow for scenario planning and analysis for training and auditing processes.

As restrições à liberdade de testar

Dissertação de mestrado em Direito das Crianças, Família e Sucessões

Object-oriented inheritance of statecharts for control applications

This paper discusses how object-oriented iuheritance can be re-interpreted if statecharts are used for modelling the dynamic behaviour of an object. The support of inheritance of statecharts allows the improvement of systems' development by easing the reutilization of parts of already developed euccessful systems, aad by promoting the iterative and continuous models' refinement advocated by the operatioaal approach. Statechart is the formalism used within UML to specify reactive state.based behaviours. This paper covers the use of statecharts within the modelling of embedded systems for industrial control applxications, where performance and memory usage are main concerns.

State of the art and open questions on cathode preparation based on carbon coated lithium iron phosphate

One important component with particular relevance in battery performance is the cathode, being one of the main responsible elements for cell capacity and cycle life. Carbon coated lithium iron phosphate, C-LiFePO4, active material is one of the most promising cathode materials for the next generation of large scale lithium ion battery applications and strong research efforts are being devoted to it, due to its excellent characteristics, including high capacity, ~170 mAh/g, and safety. This review summarizes the main developments on C-LiFePO4 based cathode film preparation and performance. The effect of the binder, conductive additive, relationship between active material-binder-conductive additive and drying step, in the electrode film fabrication and performance is presented and discussed. Finally, after the presentation of the cell types fabricated with C-LiFePO4 active material and their performance, some conclusions and guidelines for further investigations are outlined.

Abstract computation in schizophrenia detection through artificial neural network based systems

Schizophrenia stands for a long-lasting state of mental uncertainty that may bring to an end the relation among behavior, thought, and emotion; that is, it may lead to unreliable perception, not suitable actions and feelings, and a sense of mental fragmentation. Indeed, its diagnosis is done over a large period of time; continuos signs of the disturbance persist for at least 6 (six) months. Once detected, the psychiatrist diagnosis is made through the clinical interview and a series of psychic tests, addressed mainly to avoid the diagnosis of other mental states or diseases. Undeniably, the main problem with identifying schizophrenia is the difficulty to distinguish its symptoms from those associated to different untidiness or roles. Therefore, this work will focus on the development of a diagnostic support system, in terms of its knowledge representation and reasoning procedures, based on a blended of Logic Programming and Artificial Neural Networks approaches to computing, taking advantage of a novel approach to knowledge representation and reasoning, which aims to solve the problems associated in the handling (i.e., to stand for and reason) of defective information.

Critical analyses of the introduction of liquid-based cytology in a public health service of the state of São Paulo, Brazil

OBJECTIVE The aim of this study was to compare the performance of the current conventional Pap smear with liquid-based cytology (LBC) preparations. STUDY DESIGN Women routinely undergoing their cytopathological and histopathological examinations at Fundação Oncocentro de São Paulo (FOSP) were recruited for LBC. Conventional smears were analyzed from women from other areas of the State of São Paulo with similar sociodemographic characteristics. RESULTS A total of 218,594 cases were analyzed, consisting of 206,999 conventional smears and 11,595 LBC. Among the conventional smears, 3.0% were of unsatisfactory preparation; conversely, unsatisfactory LBC preparations accounted for 0.3%. The ASC-H (atypical squamous cells - cannot exclude high-grade squamous intraepithelial lesion) frequency did not demonstrate any differences between the two methods. In contrast, the incidence of ASC-US (atypical squamous cells of undetermined significance) was almost twice as frequent between LBC and conventional smears, at 2.9 versus 1.6%, respectively. An equal percentage of high-grade squamous intraepithelial lesions were observed for the two methods, but not for low-grade squamous intraepithelial lesions, which were more significantly observed in LBC preparations than in conventional smears (2.2 vs. 0.7%). The index of positivity was importantly enhanced from 3.0% (conventional smears) to 5.7% (LBC). CONCLUSIONS LBC performed better than conventional smears, and we are truly confident that LBC can improve public health strategies aimed at reducing cervical lesions through prevention programs.

Tube-jack and sonic testing for the evaluation of the state of stress in historical masonry

In the investigation and diagnosis of damages to historical masonry structures, the state of stress of the masonry is an important characteristic that must be determined with as much accuracy as possible. Flat-jack testing is a traditional method used to determine the state of stress in historical masonry structures. However, when irregular masonry is tested the method can cause damage to the masonry units and the accuracy of the method is reduced. An enhanced technique, called tube-jack testing, is being developed at the University of Minho to reduce the damage caused during testing and improve the accuracy when used on irregular masonry. This method uses multiple cylindrical jacks inserted in a line of holes drilled in the mortar joints of the masonry, avoiding damage to the masonry units. Concurrently with the development of tube-jack testing, the effect of stress state on sonic testing is being studied. Sonic testing is often used to determine locations of voids and damage in masonry. The focus of these studies was to determine if the state of stress is influencing the sonic test results. In this paper the results of tube-jack testing and sonic testing on masonry walls, built for the purpose of this study in the laboratory, loaded in compression is presented. The tube-jack testing is used to estimate the state of stress in the masonry and the sonic test results are evaluated based on the effect of the applied load on the wall. Future testing and study are suggested for continued development of these test methods.

Gamification e game-based learning: uma abordagem lúdica à aprendizagem

Relatório de estágio de mestrado em Ensino de Informática

Proteins on microbial identification: past achievements, present state-of-the-art, and future challenges

The use of chemical analysis of microbial components, including proteins, became an important achievement in the 80’s of the last century to the microbial identification. This led a more objective microbial identification scheme, called chemotaxonomy, and the analytical tools used in the field are mainly 1D/2D gel electrophoresis, spectrophotometry, high-performance liquid chromatography, gas chromatography, and combined gas chromatography-mass spectrometry. The Edman degradation reaction was also applied to peptides sequence giving important insights to the microbial identification. The rapid development of these techniques, in association with knowledge generated by DNA sequencing and phylogeny based on rRNA gene and housekeeping genes sequences, boosted the microbial identification to an unparalleled scale. The recent results of mass spectrometry (MS), like Matrix-Assisted Laser Desorption/Ionisation Time-of-Flight (MALDI-TOF), for rapid and reliable microbial identification showed considerable promise. In addition, the technique is rapid, reliable and inexpensive in terms of labour and consumables when compared with other biological techniques. At present, MALDI-TOF MS adds an additional step for polyphasic identification which is essential when there is a paucity of characters or high DNA homologies for delimiting very close related species. The full impact of this approach is now being appreciated when more diverse species are studied in detail and successfully identified. However, even with the best polyphasic system, identification of some taxa remains time-consuming and determining what represents a species remains subjective. The possibilities opened with new and even more robust mass spectrometers combined with sound and reliable databases allow not only the microbial identification based on the proteome fingerprinting but also include de novo specific proteins sequencing as additional step. These approaches are pushing the boundaries in the microbial identification field.

Search for W'→tb- in the lepton plus jets final state in proton-proton collisions at a centre-of-mass energy of s=8 TeV with the ATLAS detector

A search for new charged massive gauge bosons, called W′, is performed with the ATLAS detector at the LHC, in proton--proton collisions at a centre-of-mass energy of s√ = 8 TeV, using a dataset corresponding to an integrated luminosity of 20.3 fb−1. This analysis searches for W′ bosons in the W′→tb¯ decay channel in final states with electrons or muons, using a multivariate method based on boosted decision trees. The search covers masses between 0.5 and 3.0 TeV, for right-handed or left-handed W′ bosons. No significant deviation from the Standard Model expectation is observed and limits are set on the W′→tb¯ cross-section times branching ratio and on the W′-boson effective couplings as a function of the W′-boson mass using the CLs procedure. For a left-handed (right-handed) W′ boson, masses below 1.70 (1.92) TeV are excluded at 95% confidence level.

Search for production of vector-like quark pairs and of four top quarks in the lepton-plus-jets final state in pp collisions at root 8=8 TeV with the ATLAS detector

A search for pair production of vector-like quarks, both up-type (T) and down-type (B), as well as for four-top-quark production, is presented. The search is based on pp collisions at s√=8 TeV recorded in 2012 with the ATLAS detector at the CERN Large Hadron Collider and corresponding to an integrated luminosity of 20.3 fb−1. Data are analysed in the lepton-plus-jets final state, characterised by an isolated electron or muon with high transverse momentum, large missing transverse momentum and multiple jets. Dedicated analyses are performed targeting three cases: a T quark with significant branching ratio to a W boson and a b-quark (TT¯→Wb+X), and both a T quark and a B quark with significant branching ratio to a Higgs boson and a third-generation quark (TT¯→Ht+X and BB¯→Hb+X respectively). No significant excess of events above the Standard Model expectation is observed, and 95% CL lower limits are derived on the masses of the vector-like T and B quarks under several branching ratio hypotheses assuming contributions from T→Wb, Zt, Ht and B→Wt, Zb, Hb decays. The 95% CL observed lower limits on the T quark mass range between 715 GeV and 950 GeV for all possible values of the branching ratios into the three decay modes, and are the most stringent constraints to date. Additionally, the most restrictive upper bounds on four-top-quark production are set in a number of new physics scenarios.

Mycotoxin contamination of Maize and Guinea corn from markets in Plateau State, Nigeria

Maize (Zea mays) and guinea corn (Sorghum bicolor) are major food items in Plateau state, Nigeria. A multistage sampling technique was used to select the markets and store/warehouses used for this study; sample collection employed a simple random sampling method from different sampling points within designated areas. A total of 18 representative samples were collected and analyzed for the following mycotoxins: aflatoxins (Aflatoxin B1 - AFB1, Aflatoxin B2 - AFB2, Aflatoxin G1 - AFG1 and Aflatoxin G2 - AFG2), fumonisins (Fumonisin B1 - FB1 and Fumonisin B2 - FB2 ) and cyclopiazonic acid (CPA). Out of 12 samples analyzed for Aflatoxins, AFB1 was detected in 5, AFB2 in 1, AFG1 in 1 and AFG2 in 6 samples respectively. The highest concentration of AFB1 and AFG2 were found in maize samples from Pankshin market. Only maize samples from Mangu market were contaminated with AFB2 and also harboured the lowest concentration of AFG2. AFG1 contamination occurred in only guinea corn from Shendam market. and FB1 was detected in all 18 samples analyzed. The mycotoxin CPA was not detected in any of the samples. Aflatoxins levels in analyzed samples were regarded as safe based on Nigerian and European Union maximum permissible levels of 4g/kg. With the exception of two samples, FB1 levels in analyzed maize samples were within European Union maximum permissible levels of 1,000 to 3000g/kg. The health and food safety implications of these results for the human and animal population are further discussed.

Metabolic profiling and classification of propolis samples from Southern Brazil: an NMR-based platform coupled with machine learning

The chemical composition of propolis is affected by environmental factors and harvest season, making it difficult to standardize its extracts for medicinal usage. By detecting a typical chemical profile associated with propolis from a specific production region or season, certain types of propolis may be used to obtain a specific pharmacological activity. In this study, propolis from three agroecological regions (plain, plateau, and highlands) from southern Brazil, collected over the four seasons of 2010, were investigated through a novel NMR-based metabolomics data analysis workflow. Chemometrics and machine learning algorithms (PLS-DA and RF), including methods to estimate variable importance in classification, were used in this study. The machine learning and feature selection methods permitted construction of models for propolis sample classification with high accuracy (>75%, reaching 90% in the best case), better discriminating samples regarding their collection seasons comparatively to the harvest regions. PLS-DA and RF allowed the identification of biomarkers for sample discrimination, expanding the set of discriminating features and adding relevant information for the identification of the class-determining metabolites. The NMR-based metabolomics analytical platform, coupled to bioinformatic tools, allowed characterization and classification of Brazilian propolis samples regarding the metabolite signature of important compounds, i.e., chemical fingerprint, harvest seasons, and production regions.

Eco-friendly luminescent hybrid materials based on EuIII and LiI co-doped chitosan

Biopolymer-based materials have been of particular interest as alternatives do synthetic polymers due to their low toxicity, biodegradability and biocompatibility. Among them, chitosan is one of the most studied ones and has recently been investigated for the application as solid state polymer electrolytes. Furthermore, it can serve as a host for luminescent species such as rare earth ions, giving rise to materials with increased functionality, of particular interest for electrochemical devices. In this study, we investigate chitosan based luminescent materials doped wit Eu3+ and Li+ triflate salts from the structural, photophysical and conductivity points of view. Because the host presents a broad emission band in the blue to green, while Eu3+ emits in the red, fine tuning of emission colour and/or generation of white light is possible by optimizing composition and excitation scheme. Europium lifetimes (5D0) are in the range 270 – 350 µs and quantum yields are as high as 2%. Although Li+ does not interfere with the luminescent properties, it grants ion-conducting properties to the material suggesting that a combination of both properties could be further explored in multifunctional device.

Evaluating biomaterial-and microfluidic-based 3D tumor models

Cancer is a major cause of morbidity and mortality worldwide, with a disease burden estimated to increase in the coming decades. Disease heterogeneity and limited information on cancer biology and disease mechanisms are aspects that 2D cell cultures fail to address. We review the current "state-of-the-art" in 3D Tissue Engineering (TE) models developed for and used in cancer research. Scaffold-based TE models and microfluidics, are assessed for their potential to fill the gap between 2D models and clinical application. Recent advances in combining the principles of 3D TE models and microfluidics are discussed, with a special focus on biomaterials and the most promising chip-based 3D models.