Intencionalidade e linguagem (II): algumas considerações sobre Tomaselo, Searle e Dennett

Propomos, neste trabalho, que o conceito de intencionalidade é uma ferramenta relevante para a interpretação de repertórios simbólicos humanos. Analisamos como os conceitos de intencionalidade e de linguagem verbal são articulados na Teoria da Aquisição da Linguagem Baseada no Uso de Tomasello, na Teoria dos Atos Ilocucionários de Searle e na Teoria dos Sistemas Intencionais de Dennett, buscando identificar seu papel na determinação da cognição humana. Essas teorias propõem uma interdependência entre esses conceitos, os quais difeririam entre si quanto ao modo como se dá essa articulação. Elas também destacam a importância dos repertórios simbólicos, especialmente a linguagem verbal, para a cognição humana. Como a intencionalidade é um aspecto da cognição humana, uma conexão entre linguagem verbal e intencionalidade para o funcionamento cognitivo humano é uma questão a ser investigada na psicologia científica.

Designing Software Product Lines for Testability

Software product line (SPL) engineering offers several advantages in the development of families of software products such as reduced costs, high quality and a short time to market. A software product line is a set of software intensive systems, each of which shares a common core set of functionalities, but also differs from the other products through customization tailored to fit the needs of individual groups of customers. The differences between products within the family are well-understood and organized into a feature model that represents the variability of the SPL. Products can then be built by generating and composing features described in the feature model. Testing of software product lines has become a bottleneck in the SPL development lifecycle, since many of the techniques used in their testing have been borrowed from traditional software testing and do not directly take advantage of the similarities between products. This limits the overall gains that can be achieved in SPL engineering. Recent work proposed by both industry and the research community for improving SPL testing has begun to consider this problem, but there is still a need for better testing techniques that are tailored to SPL development. In this thesis, I make two primary contributions to software product line testing. First I propose a new definition for testability of SPLs that is based on the ability to re-use test cases between products without a loss of fault detection effectiveness. I build on this idea to identify elements of the feature model that contribute positively and/or negatively towards SPL testability. Second, I provide a graph based testing approach called the FIG Basis Path method that selects products and features for testing based on a feature dependency graph. This method should increase our ability to re-use results of test cases across successive products in the family and reduce testing effort. I report the results of a case study involving several non-trivial SPLs and show that for these objects, the FIG Basis Path method is as effective as testing all products, but requires us to test no more than 24% of the products in the SPL.

Linguistica Cognitiva e analisi retorica: indicazioni per un percorso sulla metafora nella didattica della lingua.

La tesi sviluppa le proposte teoriche della Linguistica Cognitiva a proposito della metafora e propone una loro possibile applicazione in ambito didattico. La linguistica cognitiva costituisce la cornice interpretativa della ricerca, a partire dai suoi concetti principali: la prospettiva integrata, l’embodiment, la centralità della semantica, l’attenzione per la psicolinguistica e le neuroscienze. All’interno di questo panorama, prende vigore un’idea di metafora come punto d’incontro tra lingua e pensiero, come criterio organizzatore delle conoscenze, strumento conoscitivo fondamentale nei processi di apprendimento. A livello didattico, la metafora si rivela imprescindibile sia come strumento operativo che come oggetto di riflessione. L’approccio cognitivista può fornire utili indicazioni su come impostare un percorso didattico sulla metafora. Nel presente lavoro, si indaga in particolare l’uso didattico di stimoli non verbali nel rafforzamento delle competenze metaforiche di studenti di scuola media. Si è scelto come materiale di partenza la pubblicità, per due motivi: il diffuso impiego di strategie retoriche in ambito pubblicitario e la specificità comunicativa del genere, che permette una chiara disambiguazione di fenomeni che, in altri contesti, non potrebbero essere analizzati con la stessa univocità. Si presenta dunque un laboratorio finalizzato al miglioramento della competenza metaforica degli studenti che si avvale di due strategie complementari: da una parte, una spiegazione ispirata ai modelli cognitivisti, sia nella terminologia impiegata che nella modalità di analisi (di tipo usage-based); dall’altra un training con metafore visive in pubblicità, che comprende una fase di analisi e una fase di produzione. È stato usato un test, suddiviso in compiti specifici, per oggettivare il più possibile i progressi degli studenti alla fine del training, ma anche per rilevare le difficoltà e i punti di forza nell’analisi rispetto sia ai contesti d’uso (letterario e convenzionale) sia alle forme linguistiche assunte dalla metafora (nominale, verbale, aggettivale).

Explaining the Ditransitive Person-Role Constraint

This paper proposes a frequency-based explanation of the Ditransitive Person-Role Constraint, a cross-linguistic generalization that can be formulated as follows: "Combinations of bound pronouns with the roles Recipient and Theme are disfavored if the Theme pronoun is first or second person and the Recipient pronoun is third person."

Construction Grammar For Kids

Most accounts of child language acquisition use as analytic tools adult-like syntactic categories and schemas (formal grammars) with little concern for whether they are psychologically real for young children. Recent research has demonstrated, however, that children do not operate initially with such abstract linguistic entities, but instead operate on the basis of concrete, item-based constructions. Children construct more abstract linguistic constructions only gradually – on the basis of linguistic experience in which frequency plays a key role – and they constrain these constructions to their appropriate ranges of use only gradually as well – again on the basis of linguistic experience in which frequency plays a key role. The best account of first language acquisition is provided by a construction-based, usage-based model in which children process the language they experience in discourse interactions with other persons, relying explicitly and exclusively on social and cognitive skills that children of this age are known to possess.

The Cost-Effectiveness of Monitoring Strategies for Antiretroviral Therapy of HIV Infected Patients in Resource-Limited Settings: Software Tool.

BACKGROUND The cost-effectiveness of routine viral load (VL) monitoring of HIV-infected patients on antiretroviral therapy (ART) depends on various factors that differ between settings and across time. Low-cost point-of-care (POC) tests for VL are in development and may make routine VL monitoring affordable in resource-limited settings. We developed a software tool to study the cost-effectiveness of switching to second-line ART with different monitoring strategies, and focused on POC-VL monitoring. METHODS We used a mathematical model to simulate cohorts of patients from start of ART until death. We modeled 13 strategies (no 2nd-line, clinical, CD4 (with or without targeted VL), POC-VL, and laboratory-based VL monitoring, with different frequencies). We included a scenario with identical failure rates across strategies, and one in which routine VL monitoring reduces the risk of failure. We compared lifetime costs and averted disability-adjusted life-years (DALYs). We calculated incremental cost-effectiveness ratios (ICER). We developed an Excel tool to update the results of the model for varying unit costs and cohort characteristics, and conducted several sensitivity analyses varying the input costs. RESULTS Introducing 2nd-line ART had an ICER of US$1651-1766/DALY averted. Compared with clinical monitoring, the ICER of CD4 monitoring was US$1896-US$5488/DALY averted and VL monitoring US$951-US$5813/DALY averted. We found no difference between POC- and laboratory-based VL monitoring, except for the highest measurement frequency (every 6 months), where laboratory-based testing was more effective. Targeted VL monitoring was on the cost-effectiveness frontier only if the difference between 1st- and 2nd-line costs remained large, and if we assumed that routine VL monitoring does not prevent failure. CONCLUSION Compared with the less expensive strategies, the cost-effectiveness of routine VL monitoring essentially depends on the cost of 2nd-line ART. Our Excel tool is useful for determining optimal monitoring strategies for specific settings, with specific sex-and age-distributions and unit costs.

In vitro-ex vivo model systems for nanosafety assessment

Engineered nanomaterials have unique and novel properties enabling wide-ranging new applications in nearly all fields of research. As these new properties have raised concerns about potential adverse effects for the environment and human health, extensive efforts are underway to define reliable, cost- and time-effective, as well as mechanistic-based testing strategies to replace the current method of animal testing, which is still the most prevalent model used for the risk assessment of chemicals. Current approaches for nanomaterials follow this line. The aim of this review is to explore and qualify the relevance of new in vitro and ex vivo models in (nano)material safety assessment, a crucial prerequisite for translation into applications.

Controversies in the use of hydroxyethyl starch solutions in small animal emergency and critical care

OBJECTIVES: To (1) review the development and medical applications of hydroxyethyl starch (HES) solutions with particular emphasis on its physiochemical properties; (2) critically appraise the available evidence in human and veterinary medicine, and (3) evaluate the potential risks and benefits associated with their use in critically ill small animals. DATA SOURCES: Human and veterinary original research articles, scientific reviews, and textbook sources from 1950 to the present. HUMAN DATA SYNTHESIS: HES solutions have been used extensively in people for over 30 years and ever since its introduction there has been a great deal of debate over its safety and efficacy. Recently, results of seminal trials and meta-analyses showing increased risks related to kidney dysfunction and mortality in septic and critically ill patients, have led to the restriction of HES use in these patient populations by European regulatory authorities. Although the initial ban on the use of HES in Europe has been eased, proof regarding the benefits and safety profile of HES in trauma and surgical patient populations has been requested by these same European regulatory authorities. VETERINARY DATA SYNTHESIS: The veterinary literature is limited mostly to experimental studies and clinical investigations with small populations of patients with short-term end points and there is insufficient evidence to generate recommendations. CONCLUSIONS: Currently, there are no consensus recommendations regarding the use of HES in veterinary medicine. Veterinarians and institutions affected by the HES restrictions have had to critically reassess the risks and benefits related to HES usage based on the available information and sometimes adapt their procedures and policies based on their reassessment. Meanwhile, large, prospective, randomized veterinary studies evaluating HES use are needed to achieve relevant levels of evidence to enable formulation of specific veterinary guidelines.

The effect of obesity on mammography utilization in African American women

Breast cancer continues to reign as a common cause of death for women in the United States, claiming the lives of more than an estimated 40,000 women in 2009 alone (Ries et al., 2009). A mammogram, an x-ray of the breast, can aid in early detection of breast cancer and thus more successful treatment. Screening patterns indicate African American women are less likely to utilize mammography technology when compared to their Caucasian counterparts. Additionally, the obesity epidemic in the United States remains a major public health problem. Obesity trends indicate that African American women are likely to be more obese when compared to Caucasian women. Pischon, Nöthlings, & Boeing (2008) concluded there was sufficient evidence linking breast cancer and obesity. Many researchers have identified obesity as a risk factor for breast cancer. As African American women are disproportionately burdened by both breast cancer mortality and obesity, more extensive research is needed to gain more knowledge about their association. The purpose of this study was to identify the role obesity plays in lessening an African American woman’s usage of mammography technology. Data from the 2005 National Health Interview Study were analyzed using SPSS to evaluate the relationship between body mass index (BMI) and mammography utilization in the two aforementioned populations.^ After excluding respondents from the sample who did not meet the set criteria, there were 17,666 women remaining. Of the 17,666 women, 6,156 (34.8%) had a healthy weight, 6,024 (34.1%) were overweight, and 4,285 (24.3%) were obese. About 70% of the sample population reported having had a mammogram in the last two years. Another 27.6% of women reported not receiving a mammogram within this same two year time frame. Within ethnic categories, the majority of the sample was Caucasian (64.2%) while only 15.1% of the sample was African American. The relationship between mammography usage and body mass index was not statistically significant within any body mass index categories. When analyzing the relationship between mammography usage and BMI, adjusting for ethnicity, there was also no significant difference between obese African American and obese Caucasian women. The study did find significant relationships between mammography usage and body mass index when adjusting for cancer risk OR = .79 (95% CI .72 - .85), and marital status OR = 1.18 (95% CI 1.05 - 1.34). Due to insignificant findings, there was no evidence to support the hypothesis regarding differences in mammography usage based on weight or ethnicity. Mammography screening differences based on ethnicity are widely cited. Unfortunately it is still unclear exactly where these differences lie. Obesity has been widely documented in the literature as a risk factor for many chronic diseases, including certain forms of cancer. Understanding the relationship between screening behaviors and weight can assist in the development of health promotion programs aimed at high risk groups. In order to change screening behavior and reduce mortality from breast cancer, more research is needed to identify similarities within low screening populations.^

Semántica de simulación para relaciones de conformidad

Esta tesis trata de las llamadas relaciones de conformidad que pueden darse entre dos sistemas cualesquiera, especificación e implementación. Como novedad introduce el uso de técnicas coinductivas para la definición de iocos, una relación de conformidad capaz de distinguir el contexto local de ejecución de un proceso. Al constituir iocos la parte central de una nueva teoría de Model Based Testing (MBT), se precisa de una descripción formal de los sistemas en juego; esto se lleva a cabo en primera instancia mediante sistemas de transiciones etiquetadas y posteriormente mediante un enfoque más abstracto, un álgebra de procesos. Las teorías de testing tienen por objeto confirmar las relaciones de conformidad mediante la ejecución de un conjunto de tests sobre un sistema –la implementación– cuya estructura interna se desconoce. Particularmente los beneficios de un enfoque MBT son inmediatos, ya que la generación de los tests puede abordarse de manera sistemática una vez se disponga de un modelo formal de la especificación, lo que contribuye a eliminar el error imputable al factor humano; esto se logra dando un algoritmo generador de tests que toma cono entrada una especificación y produce un conjunto de tests, posiblemente infinito, suficientemente representativo para asegurar la relación de conformidad. Este enfoque inicial, conocido como testing offline o testing estático, es mejorado para ganar en eficiencia evitando un alto consumo en recursos tanto de tiempo como de memoria mediante la técnica de testing online o testing dinámico, donde ambos pasos de generación y ejecución se ejecutan de manera alternada...

Aplicação de modelos de defeitos na geração de conjuntos de teste completos a partir de Sistemas de Transição com Entrada/Saída

O Teste Baseado em Modelos (TBM) emergiu como uma estratégia promissora para minimizar problemas relacionados à falta de tempo e recursos em teste de software e visa verificar se a implementação sob teste está em conformidade com sua especificação. Casos de teste são gerados automaticamente a partir de modelos comportamentais produzidos durante o ciclo de desenvolvimento de software. Entre as técnicas de modelagem existentes, Sistemas de Transição com Entrada/Saída (do inglês, Input/Output Transition Systems - IOTSs), são modelos amplamente utilizados no TBM por serem mais expressivos do que Máquinas de Estado Finito (MEFs). Apesar dos métodos existentes para geração de testes a partir de IOTSs, o problema da seleção de casos de testes é um tópico difícil e importante. Os métodos existentes para IOTS são não-determinísticos, ao contrário da teoria existente para MEFs, que fornece garantia de cobertura completa com base em um modelo de defeitos. Esta tese investiga a aplicação de modelos de defeitos em métodos determinísticos de geração de testes a partir de IOTSs. Foi proposto um método para geração de conjuntos de teste com base no método W para MEFs. O método gera conjuntos de teste de forma determinística além de satisfazer condições de suficiência de cobertura da especificação e de todos os defeitos do domínio de defeitos definido. Estudos empíricos avaliaram a aplicabilidade e eficácia do método proposto: resultados experimentais para analisar o custo de geração de conjuntos de teste utilizando IOTSs gerados aleatoriamente e um estudo de caso com especificações da indústria mostram a efetividade dos conjuntos gerados em relação ao método tradicional de Tretmans.

Integrating formal specification and software verification and validation

It is not surprising that students are unconvinced about the benefits of formal methods if we do not show them how these methods can be integrated with other activities in the software lifecycle. In this paper, we describe an approach to integrating formal specification with more traditional verification and validation techniques in a course that teaches formal specification and specification-based testing. This is accomplished through a series of assignments on a single software component that involves specifying the component in Object-Z, validating that specification using inspection and a specification animation tool, and then testing an implementation of the specification using test cases derived from the formal specification.

FlexSIG-Flexible software inspection groupware

The objective of this research is to design and build a groupware system which will allow members of a distributed group more flexibility in performing software inspection. Software inspection, which is part of non-execution based testing in software development, is a group activity. The groupware system aims to provide a system that will improve acceptability of groupware and improve software quality by providing a software inspection tool that is flexible and adaptable. The groupware system provide a flexible structure for software inspection meetings. The groupware system will extend the structure of the software inspection meeting itself, allowing software inspection meetings to use all four quadrant of the space-time matrix: face-to-face, distributed synchronous, distributed asynchronous, and same place-different time. This will open up new working possibilities. The flexibility and adaptability of the system allows work to switch rapidly between synchronous and asynchronous interaction. A model for a flexible groupware system was developed. The model was developed based on review of the literature and questionnaires. A prototype based on the model was built using java and WWW technology. To test the effectiveness of the system, an evaluation was conducted. Questionnaires was used to gather response from the users. The evaluations ascertained that the model developed is flexible and adaptable to the different working modes, and the system is capable of supporting several different models of the software inspection process.

High-accuracy discrimination of Parkinson’s Disease participants from healthy controls using smartphones

Objective: To test the practicality and effectiveness of cheap, ubiquitous, consumer-grade smartphones to discriminate Parkinson’s disease (PD) subjects from healthy controls, using self-administered tests of gait and postural sway. Background: Existing tests for the diagnosis of PD are based on subjective neurological examinations, performed in-clinic. Objective movement symptom severity data, collected using widely-accessible technologies such as smartphones, would enable the remote characterization of PD symptoms based on self-administered, behavioral tests. Smartphones, when backed up by interviews using web-based videoconferencing, could make it feasible for expert neurologists to perform diagnostic testing on large numbers of individuals at low cost. However, to date, the compliance rate of testing using smart-phones has not been assessed. Methods: We conducted a one-month controlled study with twenty participants, comprising 10 PD subjects and 10 controls. All participants were provided identical LG Optimus S smartphones, capable of recording tri-axial acceleration. Using these smartphones, patients conducted self-administered, short (less than 5 minute) controlled gait and postural sway tests. We analyzed a wide range of summary measures of gait and postural sway from the accelerometry data. Using statistical machine learning techniques, we identified discriminating patterns in the summary measures in order to distinguish PD subjects from controls. Results: Compliance was high all 20 participants performed an average of 3.1 tests per day for the duration of the study. Using this test data, we demonstrated cross-validated sensitivity of 98% and specificity of 98% in discriminating PD subjects from healthy controls. Conclusions: Using consumer-grade smartphone accelerometers, it is possible to distinguish PD from healthy controls with high accuracy. Since these smartphones are inexpensive (around $30 each) and easily available, and the tests are highly non-invasive and objective, we envisage that this kind of smartphone-based testing could radically increase the reach and effectiveness of experts in diagnosing PD.

Development and verification of control and protection strategies in hybrid AC/DC power systems for smart grid applications

Modern power networks incorporate communications and information technology infrastructure into the electrical power system to create a smart grid in terms of control and operation. The smart grid enables real-time communication and control between consumers and utility companies allowing suppliers to optimize energy usage based on price preference and system technical issues. The smart grid design aims to provide overall power system monitoring, create protection and control strategies to maintain system performance, stability and security. This dissertation contributed to the development of a unique and novel smart grid test-bed laboratory with integrated monitoring, protection and control systems. This test-bed was used as a platform to test the smart grid operational ideas developed here. The implementation of this system in the real-time software creates an environment for studying, implementing and verifying novel control and protection schemes developed in this dissertation. Phasor measurement techniques were developed using the available Data Acquisition (DAQ) devices in order to monitor all points in the power system in real time. This provides a practical view of system parameter changes, system abnormal conditions and its stability and security information system. These developments provide valuable measurements for technical power system operators in the energy control centers. Phasor Measurement technology is an excellent solution for improving system planning, operation and energy trading in addition to enabling advanced applications in Wide Area Monitoring, Protection and Control (WAMPAC). Moreover, a virtual protection system was developed and implemented in the smart grid laboratory with integrated functionality for wide area applications. Experiments and procedures were developed in the system in order to detect the system abnormal conditions and apply proper remedies to heal the system. A design for DC microgrid was developed to integrate it to the AC system with appropriate control capability. This system represents realistic hybrid AC/DC microgrids connectivity to the AC side to study the use of such architecture in system operation to help remedy system abnormal conditions. In addition, this dissertation explored the challenges and feasibility of the implementation of real-time system analysis features in order to monitor the system security and stability measures. These indices are measured experimentally during the operation of the developed hybrid AC/DC microgrids. Furthermore, a real-time optimal power flow system was implemented to optimally manage the power sharing between AC generators and DC side resources. A study relating to real-time energy management algorithm in hybrid microgrids was performed to evaluate the effects of using energy storage resources and their use in mitigating heavy load impacts on system stability and operational security.