Implicit vector equilibrium problems with applications

Let X and Y be Hausdorff topological vector spaces, K a nonempty, closed, and convex subset of X, C: K--> 2(Y) a point-to-set mapping such that for any x is an element of K, C(x) is a pointed, closed, and convex cone in Y and int C(x) not equal 0. Given a mapping g : K --> K and a vector valued bifunction f : K x K - Y, we consider the implicit vector equilibrium problem (IVEP) of finding x* is an element of K such that f (g(x*), y) is not an element of - int C(x) for all y is an element of K. This problem generalizes the (scalar) implicit equilibrium problem and implicit variational inequality problem. We propose the dual of the implicit vector equilibrium problem (DIVEP) and establish the equivalence between (IVEP) and (DIVEP) under certain assumptions. Also, we give characterizations of the set of solutions for (IVP) in case of nonmonotonicity, weak C-pseudomonotonicity, C-pseudomonotonicity, and strict C-pseudomonotonicity, respectively. Under these assumptions, we conclude that the sets of solutions are nonempty, closed, and convex. Finally, we give some applications of (IVEP) to vector variational inequality problems and vector optimization problems. (C) 2003 Elsevier Science Ltd. All rights reserved.

Model-based clustering in gene expression microarrays: An application to breast cancer data

In microarray studies, the application of clustering techniques is often used to derive meaningful insights into the data. In the past, hierarchical methods have been the primary clustering tool employed to perform this task. The hierarchical algorithms have been mainly applied heuristically to these cluster analysis problems. Further, a major limitation of these methods is their inability to determine the number of clusters. Thus there is a need for a model-based approach to these. clustering problems. To this end, McLachlan et al. [7] developed a mixture model-based algorithm (EMMIX-GENE) for the clustering of tissue samples. To further investigate the EMMIX-GENE procedure as a model-based -approach, we present a case study involving the application of EMMIX-GENE to the breast cancer data as studied recently in van 't Veer et al. [10]. Our analysis considers the problem of clustering the tissue samples on the basis of the genes which is a non-standard problem because the number of genes greatly exceed the number of tissue samples. We demonstrate how EMMIX-GENE can be useful in reducing the initial set of genes down to a more computationally manageable size. The results from this analysis also emphasise the difficulty associated with the task of separating two tissue groups on the basis of a particular subset of genes. These results also shed light on why supervised methods have such a high misallocation error rate for the breast cancer data.

Assessing childrens competence in computer interactions: Preliminary reliability and validity of the test of mouse proficiency

The Test of Mouse Proficiency (TOMP) was developed to assist occupational therapists and education professionals assess computer mouse competency skills in children from preschool to upper primary (elementary) school age. The preliminary reliability and validity of TOMP are reported in this paper. Methods used to examine the internal consistency, test-retest reliability, and criterion- and construct-related validity of the test are elaborated. In the continuing process of test refinement, these preliminary studies support to varying degrees the reliability and validity of TOMP. Recommendations for further validation of the assessment are discussed along with indications for potential clinical application.

Localization of a novel melanoma susceptibility locus to 1p22

Over the past 20 years, the incidence of cutaneous malignant melanoma (CMM) has increased dramatically worldwide. A positive family history of the disease is among the most established risk factors for CMM; it is estimated that 10% of CMM cases result from an inherited predisposition. Although mutations in two genes, CDKN2A and CDK4, have been shown to confer an increased risk of CMM, they account for only 20%-25% of families with multiple cases of CMM. Therefore, to localize additional loci involved in melanoma susceptibility, we have performed a genomewide scan for linkage in 49 Australian pedigrees containing at least three CMM cases, in which CDKN2A and CDK4 involvement has been excluded. The highest two-point parametric LOD score (1.82; recombination fraction [theta] 0.2) was obtained at D1S2726, which maps to the short arm of chromosome 1 (1p22). A parametric LOD score of 4.65 (theta = 0) and a nonparametric LOD score of 4.19 were found at D1S2779 in nine families selected for early age at onset. Additional typing yielded seven adjacent markers with LOD scores 13 in this subset, with the highest parametric LOD score, 4.95 (theta = 0) ( nonparametric LOD score 5.37), at D1S2776. Analysis of 33 additional multiplex families with CMM from several continents provided further evidence for linkage to the 1p22 region, again strongest in families with the earliest mean age at diagnosis. A nonparametric ordered sequential analysis was used, based on the average age at diagnosis in each family. The highest LOD score, 6.43, was obtained at D1S2779 and occurred when the 15 families with the earliest ages at onset were included. These data provide significant evidence of a novel susceptibility gene for CMM located within chromosome band 1p22.

A molecular mechanism for mRNA trafficking in neuronal dendrites

Specific neuronal mRNAs are localized in dendrites, often concentrated in dendritic spines and spine synapses, where they are translated. The molecular mechanism of localization is mostly unknown. Here we have explored the roles of A2 response element (A2RE), a cis-acting signal for oligodendrocyte RNA trafficking, and its cognate trans-acting factor, heterogeneous nuclear ribonucleoprotein ( hnRNP) A2, in neurons. Fluorescently labeled chimeric RNAs containing A2RE were microinjected into hippocampal neurons, and RNA transport followed using confocal laser scanning microscopy. These RNA molecules, but not RNA lacking the A2RE sequence, were transported in granules to the distal neurites. hnRNP A2 protein was implicated as the cognate trans-acting factor: it was colocalized with RNA in cytoplasmic granules, and RNA trafficking in neurites was compromised by A2RE mutations that abrogate hnRNP A2 binding. Coinjection of antibodies to hnRNP A2 halved the number of trafficking cells, and treatment of neurons with antisense oligonucleotides also disrupted A2RE - RNA transport. Colchicine inhibited trafficking, whereas cells treated with cytochalasin were unaffected, implicating involvement of microtubules rather than microfilaments. A2RE-like sequences are found in a subset of dendritically localized mRNAs, which, together with these results, suggests that a molecular mechanism based on this cis-acting sequence may contribute to dendritic RNA localization.

API documentation with executable examples

The rise of component-based software development has created an urgent need for effective application program interface (API) documentation. Experience has shown that it is hard to create precise and readable documentation. Prose documentation can provide a good overview but lacks precision. Formal methods offer precision but the resulting documentation is expensive to develop. Worse, few developers have the skill or inclination to read formal documentation. We present a pragmatic solution to the problem of API documentation. We augment the prose documentation with executable test cases, including expected outputs, and use the prose plus the test cases as the documentation. With appropriate tool support, the test cases are easy to develop and read. Such test cases constitute a completely formal, albeit partial, specification of input/output behavior. Equally important, consistency between code and documentation is demonstrated by running the test cases. This approach provides an attractive bridge between formal and informal documentation. We also present a tool that supports compact and readable test cases; and generation of test drivers and documentation, and illustrate the approach with detailed case studies. (C) 2002 Elsevier Science Inc. All rights reserved.

The t-SNARE syntaxin 4 is regulated during macrophage activation to function in membrane traffic and cytokine secretion

Activation of macrophages with lipopolysaccharide (LPS) induces the rapid synthesis and secretion of proinflammatory cytokines, such as tumor necrosis factor (TNFalpha), for priming the immune response [1, 2]. TNFalpha plays a key role in inflammatory disease [3]; yet, little is known of the intracellular trafficking events leading to its secretion. In order to identify molecules involved in this secretory pathway, we asked whether any of the known trafficking proteins are regulated by LPS. We found that the levels of SNARE proteins were rapidly and significantly up- or downregulated during macrophage activation. A subset of t-SNAREs (Syntaxin 4/SNAP23/Munc18c) known to control regulated exocytosis in other cell types [4, 5] was substantially increased by LPS in a temporal pattern coinciding with peak TNFalpha secretion. Syntaxin 4 formed a complex with Munc18c at the cell surface of macrophages. Functional studies involving the introduction of Syntaxin 4 cDNA or peptides into macrophages implicate this t-SNARE in a rate-limiting step of TNFalpha secretion and in membrane ruffling during macrophage activation. We conclude that in macrophages, SNAREs are regulated in order to accommodate the rapid onset of cytokine secretion and for membrane traffic associated with the phenotypic changes of immune activation. This represents a novel regulatory role for SNAREs in regulated secretion and in macrophage-mediated host defense.

GAIP participates in budding of membrane carriers at the trans-Golgi network

Galpha interacting protein (GAIP) is a regulator of G protein signaling protein that associates dynamically with vesicles and has been implicated in membrane trafficking, although its specific role is not yet known. Using an in vitro budding assay, we show that GAIP is recruited to a specific population of trans-Golgi network-derived vesicles and that these are distinct from coatomer or clathrin-coated vesicles. A truncation mutant (NT-GAIP) encoding only the N-terminal half of GAIP is recruited to trans -Golgi network membranes during the formation of vesicle carriers. Overexpression of NT-GAIP induces the formation of long, coated tubules, which are stabilized by microtubules. Results from the budding assay and from imaging in live cells show that these tubules remain attached to the Golgi stack rather than being released as carrier vesicles. NT-GAIP expression blocks membrane budding and results in the accumulation of tubular carrier intermediates. NT-GAIP-decorated tubules are competent to load vesicular stomatitis virus protein G-green fluorescent protein as post-Golgi, exocytic cargo and in cells expressing NT-GAIP there is reduced surface delivery of vesicular stomatitis virus protein G-green fluorescent protein. We conclude that GAIP functions as an essential part of the membrane budding machinery for a subset of post-Golgi exocytic carriers derived from the trans-Golgi network.

Effect of functional gain on satisfaction with medical rehabilitation after stroke

Objective: To examine the association between gain in motor and cognitive functional status with patient satisfaction 3-6 mo after rehabilitation discharge. Design: Patient satisfaction and changes in functional status were examined in 18,375 patients with stroke who received inpatient medical rehabilitation. Information was obtained from 144 hospitals and rehabilitation facilities contributing records to the Uniform Data System for Medical Rehabilitation and the National Follow-up Services. Results: Data analysis revealed significant (P < 0.05) differences in satisfaction responses based on whether information was collected from patient self-report or from a family member proxy, and the two subsets were analyzed separately. Logistic regression revealed the following significant predictors of satisfaction for data collected from stroke patients: cognitive and motor gain, rehospitalization, who the patient was living with at follow-up, age, and follow-up therapy. In the patient-reported data subset, compared with patients who showed improved cognitive or motor functional status, those with no change, respectively, had a 31% and 33% reduced risk of dissatisfaction. In addition, rehospitalized patients had a higher risk of dissatisfaction. For the proxy reported data subset, significant influences on satisfaction were health maintenance, rehospitalization, stroke type, ethnicity, cognitive FIM(TM) gain, length of stay, and follow-up therapy. Conclusions: Ratings of satisfaction with rehabilitation services were affected by change in functional status and whether the information was collected from patient rating or proxy response.

Dynamic stability of laminated FGM plates based on higher-order shear deformation theory

This paper conducts a dynamic stability analysis of symmetrically laminated FGM rectangular plates with general out-of-plane supporting conditions, subjected to a uniaxial periodic in-plane load and undergoing uniform temperature change. Theoretical formulations are based on Reddy's third-order shear deformation plate theory, and account for the temperature dependence of material properties. A semi-analytical Galerkin-differential quadrature approach is employed to convert the governing equations into a linear system of Mathieu-Hill equations from which the boundary points on the unstable regions are determined by Bolotin's method. Free vibration and bifurcation buckling are also discussed as subset problems. Numerical results are presented in both dimensionless tabular and graphical forms for laminated plates with FGM layers made of silicon nitride and stainless steel. The influences of various parameters such as material composition, layer thickness ratio, temperature change, static load level, boundary constraints on the dynamic stability, buckling and vibration frequencies are examined in detail through parametric studies.

An approach to verifying and debugging simulation models governed by ordinary differential equations: Part 2. Residuals analysis and a case study

In Part 1 of this paper a methodology for back-to-back testing of simulation software was described. Residuals with error-dependent geometric properties were generated. A set of potential coding errors was enumerated, along with a corresponding set of feature matrices, which describe the geometric properties imposed on the residuals by each of the errors. In this part of the paper, an algorithm is developed to isolate the coding errors present by analysing the residuals. A set of errors is isolated when the subspace spanned by their combined feature matrices corresponds to that of the residuals. Individual feature matrices are compared to the residuals and classified as 'definite', 'possible' or 'impossible'. The status of 'possible' errors is resolved using a dynamic subset testing algorithm. To demonstrate and validate the testing methodology presented in Part 1 and the isolation algorithm presented in Part 2, a case study is presented using a model for biological wastewater treatment. Both single and simultaneous errors that are deliberately introduced into the simulation code are correctly detected and isolated. Copyright (C) 2003 John Wiley Sons, Ltd.

On measuring quality of a probabilistic commodity forecast for a system that incorporates seasonal climate forecasts

Regional commodity forecasts are being used increasingly in agricultural industries to enhance their risk management and decision-making processes. These commodity forecasts are probabilistic in nature and are often integrated with a seasonal climate forecast system. The climate forecast system is based on a subset of analogue years drawn from the full climatological distribution. In this study we sought to measure forecast quality for such an integrated system. We investigated the quality of a commodity (i.e. wheat and sugar) forecast based on a subset of analogue years in relation to a standard reference forecast based on the full climatological set. We derived three key dimensions of forecast quality for such probabilistic forecasts: reliability, distribution shift, and change in dispersion. A measure of reliability was required to ensure no bias in the forecast distribution. This was assessed via the slope of the reliability plot, which was derived from examination of probability levels of forecasts and associated frequencies of realizations. The other two dimensions related to changes in features of the forecast distribution relative to the reference distribution. The relationship of 13 published accuracy/skill measures to these dimensions of forecast quality was assessed using principal component analysis in case studies of commodity forecasting using seasonal climate forecasting for the wheat and sugar industries in Australia. There were two orthogonal dimensions of forecast quality: one associated with distribution shift relative to the reference distribution and the other associated with relative distribution dispersion. Although the conventional quality measures aligned with these dimensions, none measured both adequately. We conclude that a multi-dimensional approach to assessment of forecast quality is required and that simple measures of reliability, distribution shift, and change in dispersion provide a means for such assessment. The analysis presented was also relevant to measuring quality of probabilistic seasonal climate forecasting systems. The importance of retaining a focus on the probabilistic nature of the forecast and avoiding simplifying, but erroneous, distortions was discussed in relation to applying this new forecast quality assessment paradigm to seasonal climate forecasts. Copyright (K) 2003 Royal Meteorological Society.

Olhares acerca do processo de construção dos Projetos Políticos Pedagógicos dos cursos Técnicos Integrados ao Ensino Médio de Jovens e Adultos no contexto do Ifes campus Vitória

Este trabalho é resultado da investigação que teve como objetivo analisar o processo de construção dos Projetos Políticos Pedagógicos dos cursos do Proeja no contexto do Ifes campus Vitória. O problema de pesquisa buscou captar os movimentos e as experiências desencadeados nesse processo. No percurso metodológico, com ênfase na pesquisa qualitativa, foi necessário entrelaçar duas abordagens: a etnografia escolar e a pesquisa-ação em função da atuação profissional da pesquisadora no lócus de estudo. Variados instrumentos foram utilizados para levantamento e a produção dos dados, dentre os quais: questionários, entrevistas, diário de campo das observações, pesquisa bibliográfica e documental. Participaram da pesquisa aproximadamente 80 pessoas, entre docentes, alunos e gestores, abordados em contextos específicos: o grupo de formação continuada, a comissão dos projetos, o encontros dos alunos, a reunião intermediária dentre outros. O referencial teórico-metodológico pautado na perspectiva do materialismo histórico dialético embasou toda a trajetória investigativa, em coerência com a base da produção das pesquisas sobre trabalho e educação e por se constituir a referência que fundamenta os princípios estruturantes do currículo integrado na perspectiva da formação humana. Por meio da metáfora dos observatórios, focamos nossas lentes sobre as questões que desafiaram a construção dos projetos políticos pedagógicos e sua coerência com os princípios epistemológicos, políticos e pedagógicos do Proeja. Nesse movimento, diversos olhares foram captados, possibilitando-nos levantar os seguintes resultados: o percurso de construção dos projetos foi marcado por contradições que perpassam todo o processo e que constituíram um debate profícuo que tenciona a gestão pedagógica, administrativa e financeira do Ifes campus Vitória. O movimento se constituiu também em um processo de construção, partilha de saberes e experiências, impulsionado pela busca da apreensão dos sentidos da integração, que contraditoriamente não alcançou seus objetivos, embora não se possa negar os resultados positivos do processo no interior da Instituição. Dessa forma, os desafios para efetivação da formação integrada no Ifes persistem. Ganha centralidade nessa discussão os sujeitos a quem o programa se volta e suas demandas de formação, bem como as condições materiais de oferta dos cursos e de forma especial as condições de envolvimento dos professores com o programa e as reflexões sobre suas práticas.

Efeito da adição de extrato de casca de jabuticaba nas características físico-químicas e sensoriais de queijo petit suisse

A busca pela melhoria da qualidade de vida e a procura por alimentos naturais e funcionais são crescentes. A incorporação de prebióticos e corantes naturais pode agregar valor ao produto, por serem capazes de melhorar sua qualidade e por apresentarem grandes atrativos tecnológicos. Portanto, o objetivo deste trabalho foi avaliar o efeito da adição de prebióticos (inulina e oligofrutose) e corante natural (extrato de casca de jabuticaba) nas características de queijo petit suisse. Foi realizada análise da composição físico-química (extrato seco total, cinzas, proteínas, lipídeos, carboidratos e acidez titulável) logo após o processamento, análise do pH, colorimetria, teor de compostos bioativos e atividade antioxidante em diferentes tempos de armazenamento (0, 7, 14, 21 e 28 dias), análise do teor de fibras alimentares da formulação de queijo petit suisse com maior atividade antioxidante ao final da vida de prateleira e análises microbiológica e sensorial. O queijo petit suisse elaborado foi dividido em cinco formulações, de acordo com a concentração de corante natural incorporado, que foram 0%, 1,5%, 2,0%, 2,5% e 3,0%. Os dados obtidos com as análises realizadas logo após o processamento e análise sensorial foram submetidos à análise de variância e teste de Tukey, os dados obtidos com as análises realizadas em diferentes tempos de armazenamento foram submetidos à análise de variância e estudo do comportamento cinético, e a análise de fibras e microbiológica foi analisada por meio de estatística descritiva. Os valores de extrato seco total, proteínas, lipídeos, cinzas e carboidrato não diferiram significativamente (p>0,05) entre as formulações. A formulação sem adição de corante natural apresentou menor acidez (p≤0,05), e com o aumento da concentração de corante natural, maior foi a acidez do queijo. Os teores de antocianinas, fenólicos totais e capacidade antioxidante foram maiores com o aumento da concentração de corante incorporado, sendo que o teor de antocianinas reduziu com o decorrer do tempo de armazenamento. O valor encontrado de fibras para a formulação contendo 3,0% de corante natural foi baixo, e o produto não apresentou alegação de propriedade funcional. A fim de verificar se o queijo estava próprio para o consumo, foi realizada análise microbiológica para coliformes termotolerantes, estando todas as formulações de queijo petit suisse em condições sanitárias satisfatórias. A análise sensorial foi realizada em duas etapas. Na primeira etapa foi realizado teste de aceitação com avaliação dos atributos cor, sabor, consistência e impressão global, e intenção de compra para todas as formulações com incorporação de corante natural. Na segunda etapa foi realizado o teste de aceitação com informação nutricional do produto para a amostra mais aceita na primeira etapa. Como resultado, foi observado que o atributo cor foi o único que apresentou diferença significativa (p≤0,05) entre as formulações, sendo as mais aceitas com concentração 2,5% e 3,0%. De forma geral, todas as formulações foram bem aceitas, porém, a formulação com maior adição de corante natural foi a que xiii apresentou maiores notas. Assim, o queijo com maior concentração de corante natural foi o utilizado na segunda etapa sensorial, sendo observada influência das informações nos atributos cor e consistência (p≤0,05). Dessa forma, a utilização de prebióticos e corante natural de casca de jabuticaba em queijo petit suisse foi viável por não alterar a composição centesimal do produto, além de conferir ao produto uma coloração atrativa.

Determinação do momento crítico de flambagem lateral com distorção em vigas mistas contínuas de aço e concreto com perfis de alma senoidal

As vigas mistas de aço e concreto estão sendo largamente utilizadas em construções de edifícios e pontes. Ao se combinar o aço com o concreto obtêm-se estruturas mais econômicas, uma vez que se tira proveito das melhores características de cada material. Nas regiões de momento negativo de uma viga mista contínua, a mesa inferior e parte da alma estão comprimidas, se a alma do perfil não tiver rigidez suficiente para evitar a flexão lateral, ela distorcerá gerando um deslocamento lateral e um giro na mesa comprimida, caracterizando um modo de flambagem denominado flambagem lateral com distorção (FLD). O procedimento de verificação à FLD da EN 1994-1-1:2004 originou o método de cálculo da ABNT NBR 8800:2008, entretanto a EN 1994-1-1:2004 não fornece expressão para o cálculo do momento crítico elástico, enquanto a ABNT NBR 8800:2008 prescreve uma formulação proposta por Roik, Hanswille e Kina (1990) desenvolvida para vigas mistas com perfis de alma plana. Embora as normas prescrevam um método de verificação à FLD para vigas mistas com perfis de alma plana, poucos estudos têm sido feitos sobre esse estado-limite. Além disso, tanto a ABNT NBR 8800:2008 quanto as normas internacionais não abordam perfis de alma senoidal. Neste trabalho, foram implementadas análises de flambagem elástica, com auxílio do software ANSYS 14.0 (2011), em modelos de elementos finitos que retratem o comportamento à FLD de vigas mistas de aço e concreto com perfis de alma plana e senoidal. Os modelos numéricos foram constituídos pelo perfil de aço, por uma mola rotacional que restringe parcialmente o giro da mesa superior e uma restrição ao deslocamento lateral, ao longo de todo o comprimento da viga. Os resultados numéricos são comparados com os obtidos pelas formulações de Roik, Hanswille e Kina (1990) e de Hanswille (2002), adaptadas para levar em consideração a corrugação da alma do perfil de aço. Para avaliação das formulações supracitadas e da consistência da modelagem numérica adotada, o momento crítico elástico foi determinado para vigas mistas com perfis de aço de alma plana. Como resultado, um método para o cálculo do momento crítico elástico de vigas mistas de alma senoidal é proposto.