Context-sensitive analysis without calling-context

Since Sharir and Pnueli, algorithms for context-sensitivity have been defined in terms of 'valid' paths in an interprocedural flow graph. The definition of valid paths requires atomic call and ret statements, and encapsulated procedures. Thus, the resulting algorithms are not directly applicable when behavior similar to call and ret instructions may be realized using non-atomic statements, or when procedures do not have rigid boundaries, such as with programs in low level languages like assembly or RTL. We present a framework for context-sensitive analysis that requires neither atomic call and ret instructions, nor encapsulated procedures. The framework presented decouples the transfer of control semantics and the context manipulation semantics of statements. A new definition of context-sensitivity, called stack contexts, is developed. A stack context, which is defined using trace semantics, is more general than Sharir and Pnueli's interprocedural path based calling-context. An abstract interpretation based framework is developed to reason about stack-contexts and to derive analogues of calling-context based algorithms using stack-context. The framework presented is suitable for deriving algorithms for analyzing binary programs, such as malware, that employ obfuscations with the deliberate intent of defeating automated analysis. The framework is used to create a context-sensitive version of Venable et al.'s algorithm for analyzing x86 binaries without requiring that a binary conforms to a standard compilation model for maintaining procedures, calls, and returns. Experimental results show that a context-sensitive analysis using stack-context performs just as well for programs where the use of Sharir and Pnueli's calling-context produces correct approximations. However, if those programs are transformed to use call obfuscations, a contextsensitive analysis using stack-context still provides the same, correct results and without any additional overhead. © Springer Science+Business Media, LLC 2011.

Adaptação transcultural do Preschool Language Assessment Instrument (PLAI-2) em falantes do português brasileiro com desenvolvimento típico de linguagem

Pós-graduação em Fonoaudiologia - FFC

Economic analysis for sizing of sugarcane (Saccharum spp.) mechanized harvesting

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Preschool Language Assessment Instrument, second edition, in Brazilian Portuguese-speaking children

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Information access law and disclosing of information by joint-stock companies in Brazil: open data and Extensible Business Reporting Language (XBRL) standard

The strategic management of information plays a fundamental role in the organizational management process since the decision-making process depend on the need for survival in a highly competitive market. Companies are constantly concerned about information transparency and good practices of corporate governance (CG) which, in turn, directs relations between the controlling power of the company and investors. In this context, this article presents the relationship between the disclosing of information of joint-stock companies by means of using XBRL, the open data model adopted by the Brazilian government, a model that boosted the publication of Information Access Law (Lei de Acesso à Informação), nº 12,527 of 18 November 2011. Information access should be permeated by a mediation policy in order to subsidize the knowledge construction and decision-making of investors. The XBRL is the main model for the publishing of financial information. The use of XBRL by means of new semantic standard created for Linked Data, strengthens the information dissemination, as well as creates analysis mechanisms and cross-referencing of data with different open databases available on the Internet, providing added value to the data/information accessed by civil society.

Efficacy of antibiotic therapy for peritoneal dialysis-associated peritonitis: a proportional meta-analysis

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)

Competences in the classroom in the perspectives of foreign language teachers

In this article we raise some considerations about teachers’ competences, from the perspective of teachers in the Brazilian public sector. The theoretical framework includes articles by Paulo Freire (2001), Philippe Perrenoud (2012), Edgar Morin (2003) and Maurice Tardif (2002) and, based on these authors, we reflect upon issues concerning teachers’ competences taking answers provided by the Brazilian language teachers as a departing point. In a teachers’ course, followed by the same teachers, we posed the main question in our study: Which competences are necessary for a teacher to be considered a good professional at present? From the answers given individually and group discussions we proceeded to a comparative analysis with the adopted framework, and other issues concerning teachers’ competences were considered as well. All the participants mentioned the same two competences, the use of technology and sound knowledge of the course content, and other competences were pointed out by the various teachers as well. Such procedure, besides providing data for our study, also helped as a self-reflexive activity for the teachers involved, about their own professional performance. Given the issues raised in the theoretical texts and the answers provided by the teachers, we expect to revisit the competences necessary for foreign language teacher efficient performance.

Easy Bioinformatics Analysis (EBiAn): a package for manipulating and analysis of short biological sequences

The work of biochemists and molecular biologists often is dependent or extremely favored by a preliminary computer analysis. Thus, the development of an efficient and friendly computational tool is very important. In this work, we developed a package of programs in Javascript language which can be used online or locally. The programs depend exclusively of Web browsers and are compatible with Internet Explorer, Opera, Mozilla Firefox and Google Chrome. With the EBiAn package it is can perform the main analysis and manipulation of DNA, RNA, proteins and peptides sequences. The programs can be freely accessed and adapted or modified to generate new programs.

Tecnologias virtuais e análise videográfica: o YouTube® como recurso de pesquisa para compreensão sobre a imagem do idoso brasileiro = Virtual technologies and videographic analysis : YouTube® as research resource for understanding about brazilian elderly imagem

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Evaluation of the Computer-based Battery for Oral Language (BILOv3) through the Rasch model for a Brazilian Sample

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Trajectory and outcomes of speech language therapy in the Prader-Willi syndrome (PWS): case report

The aim of this study was to describe the trajectory and the outcomes of speech-language therapy in Prader-Willi syndrome through a longitudinal study of the case of an 8 year-old boy, along four years of speech-language therapy follow-up. The therapy sessions were filmed and documental analysis of information from the child's records regarding anamnesis, evaluation and speech-language therapy reports and multidisciplinary evaluations were carried out. The child presented typical characteristics of Prader-Willi syndrome, such as obesity, hyperfagia, anxiety, behavioral problems and self aggression episodes. Speech-language pathology evaluation showed orofacial hypotony, sialorrhea, hypernasal voice, cognitive deficits, oral comprehension difficulties, communication using gestures and unintelligible isolated words. Initially, speech-language therapy had the aim to promote the language development emphasizing social interaction through recreational activities. With the evolution of the case, the main focus became the development of conversation and narrative abilities. It were observed improvements in attention, symbolic play, social contact and behavior. Moreover, there was an increase in vocabulary, and evolution in oral comprehension and the development of narrative abilities. Hence, speech-language pathology intervention in the case described was effective in different linguistic levels, regarding phonological, syntactic, lexical and pragmatic abilities.

Speech-language therapy for treatment of dysphagia and dysphonia in systemic granulomatous diseases: granulomatous diseases: dysphagia and dysphonia treatments

The granulomatous lesions are frequently founded in infectious diseases and can involve the larynx and pharynx and can cause varying degrees of dysphonia and dysphagia. There is still no systematic review that analyzes effectiveness of speech therapy in systemic granulomatous diseases. Research strategy: A systematic review was performed according to Cochrane guideline considering the inclusion of RCTs and quasi-RCTs about the effectiveness of speech-language therapy to treat dysphagia and dysphonia symptoms in systemic granulomatous diseases of the larynx and pharynx. Selection criteria: The outcome planned to be measured in this review were: swallowing impairment, frequency of chest infections and voice and swallowing symptoms. Data analysis: We identified 1,140 citations from all electronic databases. After an initial shift we only selected 9 titles to be retrieved in full-text. After full reading, there was no RCT found in this review and therefore, we only described the existing 2 case series studies. Results: There were no randomized controlled trials found in the literature. Therefore, two studies were selected to be included only for narratively analysis as they were case series. Conclusion: There is no evidence from high quality studies about the effectiveness of speech-language therapy in patients with granulomatous diseases of the larynx and pharynx. The investigators could rely in the outcomes suggested in this review to design their own clinical trials.

Desempenho de pré-escolares com queixa de Distúrbios da Comunicação no Preschool Language Assessment Instrument (Plai-2)

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

All the World's a Stage: Reaching English Language Learners through Drama

The use of drama with language instruction has long been considered a legitimate practice. A recent survey of the literature shows that English Language Learners (ELLs) may have even more to benefit from the use of drama in the classroom. Studies showed an increase in language and problem-solving ability, as well as student self-efficacy that was transferrable across activities. Following an analysis of the literature is a proposed curriculum based on the findings of the researchers cited. This unit is centered on dramatic activities that make use of all four language domains and includes the examination of plays in writing, on the stage, and as a playwright. In the end, students will be asked to combine all of their skills to put on a completely student-created production. An analysis of the factors surrounding the implementation of such a unit follows the unit itself.

Desempenho de pré-escolares com queixa de Distúrbios da Comunicação no Preschool Language Assessment Instrument (Plai-2)

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)