950 resultados para Symbolic Execution


Relevância:

10.00% 10.00%

Publicador:

Resumo:

This study evaluated the effectiveness of a teacher-implemented intervention package designed to replace prelinguistic behaviors with functional communication. Four young children with autism participated in a multiple-probe design across three communicative functions. Initially, three existing communication functions were selected for each child. Next, the existing prelinguistic behaviors that the children used to achieve these functions were identified. Replacement forms that were considered more recognizable and symbolic were defined to achieve these same functions. After a baseline phase, teachers received inservice training, consultation, and feedback on how to encourage, acknowledge, and respond to the replacement forms. During intervention, the replacement forms increased and prelinguistic behaviors decreased in most cases. The results suggested that the teacher-implemented intervention was effective in replacing prelinguistic behaviors with alternative forms of functional communication.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

This paper presents the multi-threading and internet message communication capabilities of Qu-Prolog. Message addresses are symbolic and the communications package provides high-level support that completely hides details of IP addresses and port numbers as well as the underlying TCP/IP transport layer. The combination of the multi-threads and the high level inter-thread message communications provide simple, powerful support for implementing internet distributed intelligent applications.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Objective: To describe and analyse the study design and manuscript deficiencies in original research articles submitted to Emergency Medicine. Methods: This was a retrospective, analytical study. Articles were enrolled if the reports of the Section Editor and two reviewers were available. Data were extracted from these reports only. Outcome measures were the mean number and nature of the deficiencies and the mean reviewers’ assessment score. Results: Fifty-seven articles were evaluated (28 accepted for publication, 19 rejected, 10 pending revision). The mean (± SD) number of deficiencies was 18.1 ± 6.9, 16.4 ± 6.5 and 18.4 ± 6.7 for all articles, articles accepted for publication and articles rejected, respectively (P = 0.31 between accepted and rejected articles). The mean assessment scores (0–10) were 5.5 ± 1.5, 5.9 ± 1.5 and 4.7 ± 1.4 for all articles, articles accepted for publication and articles rejected, respectively. Accepted articles had a significantly higher assessment score than rejected articles (P = 0.006). For each group, there was a negative correlation between the number of deficiencies and the mean assessment score (P > 0.05). Significantly more rejected articles ‘… did not further our knowledge’ (P = 0.0014) and ‘… did not describe background information adequately’ (P = 0.049). Many rejected articles had ‘… findings that were not clinically or socially significant’ (P = 0.07). Common deficiencies among all articles included ambiguity of the methods (77%) and results (68%), conclusions not warranted by the data (72%), poor referencing (56%), inadequate study design description (51%), unclear tables (49%), an overly long discussion (49%), limitations of the study not described (51%), inadequate definition of terms (49%) and subject selection bias (40%). Conclusions: Researchers should undertake studies that are likely to further our knowledge and be clinically or socially significant. Deficiencies in manuscript preparation are more frequent than mistakes in study design and execution. Specific training or assistance in manuscript preparation is indicated.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Based on the idea that emotional exchanges determine symbolic meanings in interpersonal exchanges, we hypothesized that displays of positive and congruent affect determine members' ratings of leaders in a simulated performance appraisal context. To test the hypotheses, 537 participants viewed videotapes of four male and female leaders giving positive and negative feedback, and with facial expressions of affect that were either congruent or incongruent with the verbal message that they were delivering. Results supported hypotheses that positive and message-congruent leader affect results in more positive member ratings of the leader, assessed using a seven-item measure of members' perceptions of the leader's negotiating latitude. The least positive ratings of negotiating latitude were given when positive feedback was delivered with negative facial affect. (C) 2002 Elsevier Science Inc. All rights reserved.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Based on discussions with Asian-Australian young women at a mixed-sex, Australia State high school, this article argues that the pro-school conformity of Asian-Australian young women sets them in a problematic and precarious relationship to the material and symbolic and processes of racialisation. The first part of the article identifies the limitations of research into the pro-school/anti-school orientations of minority students, arguing that most accounts are based on theories of culture, acculturation, class and gender, and class and race that neglect an analysis of race and sex. I then argue that practices of racialisation and sexualisation actually sustain pro-school culture and Asian female group associations. While these formations are effective in securing Asian female educational success, they are also problematic because they limit the educational possibilities and employment opportunities of Asian young women in Australia.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

This paper describes a coupled knowledge-based system (KBS) for the design of liquid-retaining structures, which can handle both the symbolic knowledge processing based on engineering heuristics in the preliminary synthesis stage and the extensive numerical crunching involved in the detailed analysis stage. The prototype system is developed by employing blackboard architecture and a commercial shell VISUAL RULE STUDIO. Its present scope covers design of three types of liquid-retaining structures, namely, a rectangular shape with one compartment, a rectangular shape with two compartments and a circular shape. Through custom-built interactive graphical user interfaces, the user is directed throughout the design process, which includes preliminary design, load specification, model generation, finite element analysis, code compliance checking and member sizing optimization. It is also integrated with various relational databases that provide the system with sectional properties, moment and shear coefficients and final member details. This system can act as a consultant to assist novice designers in the design of liquid-retaining structures with increase in efficiency and optimization of design output and automated record keeping. The design of a typical example of the liquid-retaining structure is also illustrated. (C) 2003 Elsevier B.V All rights reserved.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Concurrent programs are hard to test due to the inherent nondeterminism. This paper presents a method and tool support for testing concurrent Java components. Too[ support is offered through ConAn (Concurrency Analyser), a too] for generating drivers for unit testing Java classes that are used in a multithreaded context. To obtain adequate controllability over the interactions between Java threads, the generated driver contains threads that are synchronized by a clock. The driver automatically executes the calls in the test sequence in the prescribed order and compares the outputs against the expected outputs specified in the test sequence. The method and tool are illustrated in detail on an asymmetric producer-consumer monitor. Their application to testing over 20 concurrent components, a number of which are sourced from industry and were found to contain faults, is presented and discussed.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

We analyze the sequences of round-off errors of the orbits of a discretized planar rotation, from a probabilistic angle. It was shown [Bosio & Vivaldi, 2000] that for a dense set of parameters, the discretized map can be embedded into an expanding p-adic dynamical system, which serves as a source of deterministic randomness. For each parameter value, these systems can generate infinitely many distinct pseudo-random sequences over a finite alphabet, whose average period is conjectured to grow exponentially with the bit-length of the initial condition (the seed). We study some properties of these symbolic sequences, deriving a central limit theorem for the deviations between round-off and exact orbits, and obtain bounds concerning repetitions of words. We also explore some asymptotic problems computationally, verifying, among other things, that the occurrence of words of a given length is consistent with that of an abstract Bernoulli sequence.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

O artigo se prop??e a apresentar os principais aspectos e resultados de uma nova metodologia de avalia????o de programas de financiamento a micro e pequenas empresas aplicada ao Programa de Gera????o de Emprego e Renda na ??rea urbana ??? Proger urbano, tanto no que se refere aos seus custos efetivos, at?? ent??o desconhecidos, quanto no que se refere ao seu impacto sobre a gera????o de empregos, estimado utilizando dados prim??rios oriundos do cruzamento de dois bancos de dados do Minist??rio do Trabalho e Emprego, quais sejam, o do Sistema de Acompanhamento da Execu????o do Proger (Saep), e o do Cadastro Geral de Empregados e Desempregados. S??o apresentados, preliminarmente, alguns dos resultados de duas avalia????es anteriores do programa, uma realizada pelo Ibase, atrav??s de question??rios aos benefici??rios do programa, e outra, uma primeira experi??ncia de cruzamento dos dois referidos bancos de dados, que serviu de base para a avalia????o que se apresenta.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

O trabalho se prop??e a oferecer uma modesta contribui????o ao estudo da hist??ria das reformas administrativas realizadas no Brasil a partir da primeira metade do s??culo XX. Mais do que apresentar uma cronologia de fatos e um repert??rio de projetos, recupera as narrativas e an??lises dos estudiosos do tema para identificar as diferentes explica????es para os sucessos e insucessos do passado e estabelecer um sistema de categorias que seja ??til ?? compreens??o da din??mica hist??rica. Relatos, narrativas, teoriza????es, interpreta????es e ideologias se confundem. Em qualquer um dos casos, constituem representa????es do mundo administrativo brasileiro, quer dizer, apresentam-se como formas simb??licas de um Estado em transforma????o.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Esta dissertação teve o objetivo de investigar como a formalização das políticas de proteção social via programas e projetos socioeducativos se articulam com a educação escolarizada. Realiza uma discussão conceitual acerca das políticas de proteção social e “vulnerabilidade e risco social” a partir de aspectos históricos situando-as na lógica societária das desigualdades e complexificações das refrações da questão social do modelo capitalista de produção e reprodução social, sobretudo no contexto das reformas do Estado brasileiro enquanto demanda dos ajustes neoliberais. O lócus da pesquisa foi uma escola da rede pública municipal de Serra/ES. As investigações foram realizadas em duas etapas. A primeira constituiu-se de um estudo exploratório de caráter qualitativo. Por meio das análises abstraídas dessa fase, foi realizado um estudo de caso como segunda etapa da pesquisa. Os instrumentos utilizados, análise de documentos, observação participante e entrevistas, evidenciam que os programas e projetos socioeducativos desenvolvidos no espaço escolar visando a uma suposta proteção social, não guardam relação concreta com a melhoria dos processos de aprendizagem dos alunos, logo, seus efeitos na vida escolar desses alunos não foram evidenciados. Verificou-se ainda profunda desarticulação entre as propostas pedagógicas da escola e dos docentes com os programas e projetos investigados. A partir dos dados da pesquisa, pudemos ainda constatar que tais programas e projetos adentram o espaço escolar por meio de demandas externas envolvendo a Secretaria Municipal de Educação e a iniciativa privada. Concluímos que a proteção social no espaço escolar via programas e projetos socioeducativos necessita voltar-se à articulação com políticas públicas que ultrapassem os muros da escola e que de fato garantam o acesso a bens materiais e simbólicos com vista à melhoria das condições de vida material e sociocultural dos alunos a quem são destinados e, consequentemente, a melhoria da qualidade da educação escolarizada.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Este estudo foi elaborado a partir da proposta de fortalecimento das relações comunitárias entre a Universidade Federal do Espírito Santo e as comunidades jongueiras e caxambuzeiras. Destina-se a apresentar a pesquisa realizada em territórios negros sob a inspiração do Jongo e do Caxambu, reconhecidos como Patrimônio Imaterial do Brasil pelo Instituto do Patrimônio Histórico e Artístico Nacional (Iphan). A pesquisa foi desenvolvida no norte do Estado do Espírito Santo e tem como recurso analítico e conceitual estudos sobre etnicidade no campo da educação. Sua proposta é ampliar e constituir-se como base para a implementação da Lei nº. 10.639/2003, considerando a descrição das categorias religiosidade, territorialidade, memórias, cultura negra, cultura popular e tradição, com base nas narrativas dos sujeitos. Relaciona as práticas culturais do jongo e do caxambu como elementos importantes para a reconstrução da história do negro no Sudeste brasileiro. O tema de investigação foi construído sob a inspiração teórica dos estudos culturais referenciados em Stuart Hall (2008), Canclini (1997), Santos (2008, 2009), Certeau (2005) e na produção simbólica das interpretações sociais, das fronteiras étnicas para descrever as diferenças percebidas pelos sujeitos. Trabalhou-se basicamente propondo as múltiplas interpretações a partir do vivido. O estudo reforça a importância das africanidades na formação de professores e a discussão do Patrimônio Imaterial do Jongo como possibilidades de saberes-fazeres no campo do currículo escolar. Os caminhos da pesquisa partem de uma base etnográfica, conjugando a metodologia da história oral temática com a pesquisa participante e a pesquisa ação, interligando as memórias dos sujeitos, suas narrativas e vivências ao fazer pedagógico no cotidiano das comunidades. Ressalta a relação intercultural e territorial que identifica jongueiros e caxambuzeiros. Os resultados da pesquisa descrevem as condições dessas práticas, da visibilidade das políticas culturais, da produção das identidades jongueiras no norte do Estado do Espírito Santo, sob o ponto de vista dos sujeitos elencados.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Este estudo analisa os processos de circulação e apropriação das representações sobre os saberes da educação escolarizada difundidos pela Revista de Educação do Espírito Santo, entre os anos de 1934 e 1937. Como referencial teórico baseamo- nos em Chartier (1990) acerca do conceito de representação, em Balandier (1982) em relação ao conceito de encenação de poder instituído que assume visibilidade quando circula na Revista, concedendo publicização aos feitos políticos realizados por dado grupo social, e em Julia (2001), junto ao conceito de cultura escolar. A partir desse arcabouço teórico, empreendemos metodologia de pesquisa a partir da análise histórica da fonte, dialogando, para tanto, com diferentes documentos e registros que configuram uma série de dados que constituem nossa fonte. Trata-se da análise das representações travadas no debate sobre a formação, divulgação e apropriação do conjunto de práticas e saberes pedagógicos dirigido aos professores, por parte de um grupo de intelectuais locais que se apresentava como portador do projeto de modernização do Espírito Santo inserido no contexto nacional. A Revista de Educação/ES tinha entre seus principais objetivos o de (in)formar os professores, ou seja, enquadrar suas práticas às novas demandas educacionais. Deste modo, a Revista esteve atrelada a um projeto educacional em que os intelectuais corroboravam a ampla circulação de um conjunto de representações sobre a modernidade, utilizando a Revista como suporte, visto que, desde as capas, são expostos “monumentos de modernização”, como os prédios escolares e todo um complexo arranjo de artefatos simbólicos, traduzidos muitas vezes em festas e rituais escolares que evocavam “um novo tempo para a Educação do Estado”, ou seja, fazendo da educação escolarizada um espetáculo.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

O objetivo dessa pesquisa é: Compreender os aspectos simbólicas que se relacionam com a motivação no trabalho voluntário na Associação de Voluntários da APAE de Venda Nova do Imigrante - AVAPAE. Para isso, os investigadores apoiam-se na relevância de se estudar as organizações através de abordagens que envolvem a problemática do estudo do simbolismo com intuito de entender as organizações por caminhos diferentes ás teorias organizacionais dominantes, como o funcionalismo. O simbolismo organizacional (MORGAN; FROST; PONDY, 1983; GIOIA, 1986; CARRIERI, 2007) é compreendido como uma teoria organizacional, e o paradigma interpretativo (MORGAN; FROST; PONDY,1983) está posicionado como uma importante abordagem na busca por entender tantos os aspectos formais como os aspectos informais de uma organização. A Teoria das Representações Sociais (MOSCOVICI, 2003) foi adotada como base para investigar essas interpretações em uma organização, com o intuito de alçar uma análise mais aprofundada da vida cotidiana e dos aspectos simbólicos que constroem esse cotidiano, a partir da aplicação da análise de conteúdo (BARDIN, 1977). O entendimento do que motiva o voluntário a exercer sua atividade foi ancorado na construção social dessa realidade (BERGER; LUCKMANN, 1985) estudada, que se baseia na representação do fenômeno motivação do trabalho pela abordagem da subjetividade (REY, 2003) do indivíduo em relação ao seu ambiente de trabalho. A pesquisa pôde chegar a resultados através de uma análise interpretativa simbólica, em um entendimento de que a realidade da AVAPAE se mostrou complexa e subjetiva, levando à identificação de uma relevante influência da construção simbólica da cidade em que a AVAPAE atua, Venda Nova do Imigrante. Assim, a partir desse diagnóstico se evidenciou a interferência dos valores do cidadão vendanovense enquanto produto e produtor dos simbolismos que envolvem o voluntariado. Como contribuição final deste trabalho, defende-se que os caminhos para tratar dessas questões devem considerar a subjetividade que as permeia como um sistema aberto, em uma expressão constante da ação do indivíduo e do contexto social em que ele vive, sendo essa relação uma troca contínua por meio das relações simbólicas vivenciadas pelo ator social e o grupo em que convive.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

O presente trabalho aborda, sob a perspectiva da geografia cultural renovada, a temática das formas simbólicas no espaço urbano, tento como problematização o estudo de caso das formas simbólicas espaciais mais representativas da centralidade na Área Central de Vitória (ES). O interesse sobre o tema está associado o quadro relativamente recente no qual a Área Central de Vitória, sobretudo nas últimas duas décadas do século XX, passa a sofrer com um intenso processo de descentralização apresentando como alguns efeitos dessa dinâmica não só aparecimento de núcleos secundários de comércio e serviços afastados da Área Central, quanto também exerce um papel fundamental no que se ficou consagrado como “crise da área central”. Entretanto, se o quadro acima descrito é muito recente, por outro lado, durante o amplo período da produção do espaço urbano da capital capixaba em que a organização interna da cidade foi tributária, fundamentalmente, do processo de centralização, o Centro de Vitória foi o lócus privilegiado de materialização de formas simbólicas espaciais tipicamente associadas à centralidade intra-urbana tais como edificações que são símbolos dos poderes político, jurídico e econômico; igrejas; os monumentos, dentre outras formas simbólicas espaciais. Deste modo, a dissertação pretende investigar o advento da descentralização sobre as formas simbólicas espaciais tipicamente associadas à Área Central da capital capixaba, questionando em que medida essas formas permanecem enquanto signos de resistência simbólica a importância da área, bem como a natureza da eventual requalificação de significado ao qual foram, eventualmente, submetidas.