274 resultados para Arquiteturas SMT


Relevância:

10.00% 10.00%

Publicador:

Resumo:

The usability and accessibility, when applied to digital information environments, provide ease of use and access to information, respectively. Thus, we aim to discuss these concepts and apply them in specific digital environments to the elderly through the documentary and bibliographic study of specific recommendations on projects for elderly users. This study was conducted in conjunction with students at the Universidade Aberta à Terceira Idade (UNATI) - UNESP - Marilia, who assisted in the classification of recommendations for usability and accessibility are essential (Priority 1), important (Priority 2) and optional (Priority 3). The results indicate the importance of this type of study for the digital and social inclusion of older people by facilitating elements of access and use of information, providing the building more inclusive informational architectures. The resulting recommendations can be used as a starting point for the design of digital environments for the elderly in a specific heuristic evaluation, for example. However, it remains important to the application of usability testing with users, including the application to validate these recommendations, since different contexts may arise from the implementation of different elements, resources and information services.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

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

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Neste trabalho, analiso aspectos da constituição e do uso do juntor que nem, em dados da modalidade de enunciação falada do português. A questão maior é mostrar que a inserção de que nem no paradigma dos juntores, por meio de processos de gramaticalização, resulta em quatro novos padrões funcionais, que refletem uma rede de parentesco semântico no domínio das relações modais. As construções com que nem são descritas a partir do pareamento entre forma e significado, com o propósito de defender que arquiteturas sintáticas diferenciadas contribuem para a interpretação da polifuncionalidade semântica de que nem; e que as fontes sincrônicas do português ajudam a desvendar etapas do processo de reanálise de que e nem, tendo em vista as tendências diacrônicas sobre mudança de juntores nas línguas (Kortmann, 1997).

Relevância:

10.00% 10.00%

Publicador:

Resumo:

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

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Pós-graduação em Geociências e Meio Ambiente - IGCE

Relevância:

10.00% 10.00%

Publicador:

Resumo:

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

Relevância:

10.00% 10.00%

Publicador:

Resumo:

O antigo Casarão da Avenida Doutor Teixeira de Barros, destoa no bairro da Vila Prado por seu estado degradado, além de ser o único casarão da região. Apesar de abandonado, o Casarão tem um grande valor histórico para o bairro e a cidade e também valor arquitetônico devido seus ornamentos característicos das arquiteturas São-Carlenses do final do século XIX e início do século XX. Este trabalho visa a revitalização do Casarão abandonado, restaurando e preservando suas características e propondo um novo uso para o mesmo, beneficiando a população da cidade tanto com o novo uso proposto como também com a preservação desta parte da história de São Carlos

Relevância:

10.00% 10.00%

Publicador:

Resumo:

A multiplicação de experiências participativas visando ampliar o controle social sobre políticas e políticos tornou-se fenômeno relevante no Brasil e mundo afora. Neste artigo é apresentado um quadro analítico útil à comparação da diversidade da inovação democrática enquanto arquitetura da participação orientada para o controle social. Mediante a aplicação desse quadro, examinamos a configuração de duas arquiteturas contrastantes, originárias de dois contextos nacionais distintos: México e Brasil.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Objective: To evaluate the histomorphometry and expression of Ki-67 and c-kit in ovarian follicles of pinealectomized or melatonin-treated pinealectomized rats. Study design: Forty adult rats were randomly divided into four groups of 10 animals: Group I – control; Group II – sham-pinealectomized; Group III – pinealectomized (Px), and Group IV – Px treated with melatonin (10 mg/night, per animal). After two months’ treatment, on the night of proestrous, the animals were placed in metabolic cages for night urine collection and subsequent measurement of 6-sulfatoxymelatonin (6-SMT). The rats were anesthetized, blood samples were taken for estrogen and progesterone determinations, and they were then euthanized. The ovaries were dissected out for further histological and immunohistochemical analyses. Data were first submitted to analysis of variance (ANOVA) complemented with the Tukey–Kramer test for multiple comparisons (P < 0.05). Results: The urinary levels of 6-SMT and serum progesterone were lower in the Px group (GIII). Exogenous melatonin treatment restored both blood melatonin and 6-SMT urinary levels. The histomorphometric data in Group III revealed a significant increase of degenerating antral and nonantral follicles with regard to the other groups. In addition no corpora lutea were observed in this group. No significant differences were noticed regarding the number of corpora lutea among the other groups (I, II and IV), but the number of cells and the thickness of the theca interna of Px animals (Group III) were higher than in the other groups. Conversely, the density of progesterone receptors (fmol/g) in the ovaries of Group III was significantly lower than in the other groups. Conclusion: Our data indicate that melatonin exerts a role on the maintenance of a proper follicular function, and is thus important for ovulation and progesterone production.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

The modern GPUs are well suited for intensive computational tasks and massive parallel computation. Sparse matrix multiplication and linear triangular solver are the most important and heavily used kernels in scientific computation, and several challenges in developing a high performance kernel with the two modules is investigated. The main interest it to solve linear systems derived from the elliptic equations with triangular elements. The resulting linear system has a symmetric positive definite matrix. The sparse matrix is stored in the compressed sparse row (CSR) format. It is proposed a CUDA algorithm to execute the matrix vector multiplication using directly the CSR format. A dependence tree algorithm is used to determine which variables the linear triangular solver can determine in parallel. To increase the number of the parallel threads, a coloring graph algorithm is implemented to reorder the mesh numbering in a pre-processing phase. The proposed method is compared with parallel and serial available libraries. The results show that the proposed method improves the computation cost of the matrix vector multiplication. The pre-processing associated with the triangular solver needs to be executed just once in the proposed method. The conjugate gradient method was implemented and showed similar convergence rate for all the compared methods. The proposed method showed significant smaller execution time.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Mycotoxins are heterogeneous chemical compounds characterized by a low molecular weight and synthesized by the secondary metabolism of different molds. Fumonisins are water-soluble mycotoxins produced by Fusarium species spoiling corn and derived produc ts. These mycotoxins can be a health hazard when consuming contaminated cereals, but they can reach humans also indirectly through the consumption of food products derived from animals fed with contaminated feed. Fumonisins have been associated with several animal and human diseases: they are suspected risk factors for esophageal and liver cancers, neural tube defects and cardiovascular problems. Improved methods are needed to accurately assess fumonisins concentrations in food of vegetable and animal origin, in order to prevent acute and chronic human exposure. The aim of the present work was to evaluate the versatility and the performances of mass spectrometry, coupled with liquid chromatography, in fumonisins analysis from foods and matrices of animal origin. Different methods for the identification and quantification of fumonisins and related products have been developed and validated to determine fumonisin B1 in milk, fumonisin B1, fumonisin B2 and their complete hydrolyzed products (HFB1 and HFB2) in pig liver and fumonisins B1 and B2 in complete and complementary dry dog food. The experimental procedures have been carefully studied, considering matrices features, number and type of molecules to detect. Therefore, several extraction, clean up and separation techniques were tested in order to obtain the better conditions of sample processing. The fit for purpose sample preparation, matched with high mass spectrometry sensibility and specificity, have allowed to achieve good results in any tested animal matrices. Hence, the developed methods were validated and have shown a high accuracy, sensibility and precision, fulfilling performance requirements of Decision 2002/657/EC and of European Project Standard, Measuring and Testing (SMT). In any developed method, the analytes were identified and quantified even at very low concentrations : the limits of quantification resulted lower than other similar works, performed with different detectors. These methods were applied to some commercial samples and to some samples collected for research projects in the Department of Veterinary Public Health and Animal Pathology (DVPHAP) of University of Bologna. Although the disclosed data must be considered completely preliminary and without statistical significance, they emphasize the presence of mycotoxins in animal products. The outcomes obtained from the processed samples (bovine milk, pig liver and dry dog food) suggest the efficacy of these methods also on other food matrices, confirming the versatility and the performances of mass spectrometry, coupled with liquid chromatography, in fumonisins analysis. Moreover the results underline the need to set up a large scale monitoring in order to evaluate the presence of fumonisins in food of animal origin for human consumption.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

The use of linear programming in various areas has increased with the significant improvement of specialized solvers. Linear programs are used as such to model practical problems, or as subroutines in algorithms such as formal proofs or branch-and-cut frameworks. In many situations a certified answer is needed, for example the guarantee that the linear program is feasible or infeasible, or a provably safe bound on its objective value. Most of the available solvers work with floating-point arithmetic and are thus subject to its shortcomings such as rounding errors or underflow, therefore they can deliver incorrect answers. While adequate for some applications, this is unacceptable for critical applications like flight controlling or nuclear plant management due to the potential catastrophic consequences. We propose a method that gives a certified answer whether a linear program is feasible or infeasible, or returns unknown'. The advantage of our method is that it is reasonably fast and rarely answers unknown'. It works by computing a safe solution that is in some way the best possible in the relative interior of the feasible set. To certify the relative interior, we employ exact arithmetic, whose use is nevertheless limited in general to critical places, allowing us to rnremain computationally efficient. Moreover, when certain conditions are fulfilled, our method is able to deliver a provable bound on the objective value of the linear program. We test our algorithm on typical benchmark sets and obtain higher rates of success compared to previous approaches for this problem, while keeping the running times acceptably small. The computed objective value bounds are in most of the cases very close to the known exact objective values. We prove the usability of the method we developed by additionally employing a variant of it in a different scenario, namely to improve the results of a Satisfiability Modulo Theories solver. Our method is used as a black box in the nodes of a branch-and-bound tree to implement conflict learning based on the certificate of infeasibility for linear programs consisting of subsets of linear constraints. The generated conflict clauses are in general small and give good rnprospects for reducing the search space. Compared to other methods we obtain significant improvements in the running time, especially on the large instances.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

The thesis analyses the making of the Shiite middle- and upper/entrepreneurial-class in Lebanon from the 1960s till the present day. The trajectory explores the historical, political and social (internal and external) factors that brought a sub-proletariat to mobilise and become an entrepreneurial bourgeoisie in the span of less than three generations. This work proposes the main theoretical hypothesis to unpack and reveal the trajectory of a very recent social class that through education, diaspora, political and social mobilisation evolved in a few years into a very peculiar bourgeoisie: whereas Christian-Maronite middle class practically produced political formations and benefited from them and from Maronite’s state supremacy (National Pact, 1943) reinforcing the community’s status quo, Shiites built their own bourgeoisie from within, and mobilised their “cadres” (Boltanski) not just to benefit from their renovated presence at the state level, but to oppose to it. The general Social Movement Theory (SMT), as well as a vast amount of the literature on (middle) class formation are therefore largely contradicted, opening up new territories for discussion on how to build a bourgeoisie without the state’s support (Social Mobilisation Theory, Resource Mobilisation Theory) and if, eventually, the middle class always produces democratic movements (the emergence of a social group out of backwardness and isolation into near dominance of a political order). The middle/upper class described here is at once an economic class related to the control of multiple forms of capital, and produced by local, national, and transnational networks related to flows of services, money, and education, and a culturally constructed social location and identity structured by economic as well as other forms of capital in relation to other groups in Lebanon.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

The intent of this study was the development of new ceramic SOFC anode materials which possess electrical conductivity as well as redox stability.

Relevância:

10.00% 10.00%

Publicador: