Performance of Sparse Binding Arrays for Or-Parallelism

One important problem in the design of novel logic programming systems is the support of several forms of implicit parallelism. A new binding model, the Sparse Binding Array (SBA), has been proposed for the efficient and simplified integration of Independent-And, Determinate-And and Or-parallelism. In this paper we report on the use of this model for pure Or-parallelism. The work discusses the major implementation issues in supporting this binding model for pure Or-parallelism. We show that an implementation based on this Binding model is more efficient then the original Aurora using tbe traditional Binding Array model [16]. Moreover, we explain how the notion of a variable level can be used to reduce overheads of the Orparallel system. Our results in supporting pure or-parallelism show that the approach is very promissing for combined paralell systems.</jats:p

Canard Cycles and Poincar\'e Index of Non-Smooth Vector Fields on the Plane

This paper is concerned with closed orbits of non-smooth vector fields on the plane. For a subclass of non-smooth vector fields we provide necessary and sufficient conditions for the existence of canard kind solutions. By means of a regularization we prove that the canard cycles are singular orbits of singular perturbation problems which are limit periodic sets of a sequence of limit cycles. Moreover, we generalize the Poincar\'e Index for non-smooth vector fields.Comment: 20 pages, 25 figure

ESTRATÉGIAS DE APRENDIZAGEM UTILIZADAS NA MUDANÇA CURRICULAR REVELAM PERSPECTIVAS DE TRANSFORMAÇÃO DOS ESTUDANTES DE ENFERMAGEM PELA NOVA EDUCAÇÃO

El presente artículo tiene como meta investigar la comprensión de los estudiantes sobre la estrategia adoptada en el cambio curricular del curso de graduación en Enfermería. La metodología versa la encuesta cualitativa, los sujetos fueron 27 educandos de una Facultad Privada del estado de Río de Janeiro. La recogida de datos ocurrió en el mes de septiembre de 2007. De los resultados fueron construidas cuatro unidades temáticas: la estrategia del aprendizaje posibilita la búsqueda del conocimiento; la estrategia del aprendizaje encamina al educando a aprender a aprender; la estrategia del aprendizaje fortalece la autonomía y creatividad del educando; el conocimiento es facilitado por la interacción del grupo. Todas las unidades temáticas están en concordancia con la propuesta de las estrategias educativas innovadoras.O presente artigo tem como objetivo a investigar a compreensão dos estudantes sobre a estratégia de aprendizagem adotada na mudança curricular do curso de graduação em Enfermagem. A metodologia versa a pesquisa qualitativa, os sujeitos foram 27 educandos de uma Faculdade Privada do estado do Rio de Janeiro. A coleta de dados ocorreu no mês de setembro de 2007. Dos resultados foram construídas quatro unidades temáticas: a estratégia de aprendizagem possibilita a busca do conhecimento; a estratégia de aprendizagem encaminha o educando a aprender a aprender; a estratégia de aprendizagem fortalece a autonomia e criatividade do educando; o conhecimento é facilitado pela interação do grupo. Todas as unidades temáticas estão em concordância com a proposta das estratégias educativas innovadoras

The Putative Leishmania Telomerase RNA (LeishTER) Undergoes Trans-Splicing and Contains a Conserved Template Sequence

Telomerase RNAs (TERs) are highly divergent between species, varying in size and sequence composition. Here, we identify a candidate for the telomerase RNA component of Leishmania genus, which includes species that cause leishmaniasis, a neglected tropical disease. Merging a thorough computational screening combined with RNA-seq evidence, we mapped a non-coding RNA gene localized in a syntenic locus on chromosome 25 of five Leishmania species that shares partial synteny with both Trypanosoma brucei TER locus and a putative TER candidate-containing locus of Crithidia fasciculata. Using target-driven molecular biology approaches, we detected a ∼2,100 nt transcript (LeishTER) that contains a 5′ spliced leader (SL) cap, a putative 3′ polyA tail and a predicted C/D box snoRNA domain. LeishTER is expressed at similar levels in the logarithmic and stationary growth phases of promastigote forms. A 5′SL capped LeishTER co-immunoprecipitated and co-localized with the telomerase protein component (TERT) in a cell cycle-dependent manner. Prediction of its secondary structure strongly suggests the existence of a bona fide single-stranded template sequence and a conserved C[U/C]GUCA motif-containing helix II, representing the template boundary element. This study paves the way for further investigations on the biogenesis of parasite TERT ribonucleoproteins (RNPs) and its role in parasite telomere biology

Restrictions and extensions of semibounded operators

We study restriction and extension theory for semibounded Hermitian operators in the Hardy space of analytic functions on the disk D. Starting with the operator zd/dz, we show that, for every choice of a closed subset F in T=bd(D) of measure zero, there is a densely defined Hermitian restriction of zd/dz corresponding to boundary functions vanishing on F. For every such restriction operator, we classify all its selfadjoint extension, and for each we present a complete spectral picture. We prove that different sets F with the same cardinality can lead to quite different boundary-value problems, inequivalent selfadjoint extension operators, and quite different spectral configurations. As a tool in our analysis, we prove that the von Neumann deficiency spaces, for a fixed set F, have a natural presentation as reproducing kernel Hilbert spaces, with a Hurwitz zeta-function, restricted to FxF, as reproducing kernel.Comment: 63 pages, 11 figure

PROCESO DE CAMBIO CURRICULAR DEL CURSO DE GRADUACIÓN EN ENFERMERÍA DE LA UNIFESO: POTENCIALIDADES Y VULNERABILIDADES

Se objetivó en este estudio subrayar las potencialidades y vulnerabilidades del proceso del cambio curricular. Los sujetos de la encuesta fueron 43 educandos del segundo período de graduación en enfermería de la UNIFESO, que están insertos en el cambio curricular. Los resultados fueron presentados en unidades temáticas enfatizando las potencialidades y vulnerabilidades del proceso de cambio curricular. Entre las potencialidades, la primera es que el aprendizaje es facilitado por la interacción grupal, la segunda que el aprendizaje ocurre por la participación efectiva de los educandos, tercera, el aprendizaje y el dinamismo del proceso enseñanza-aprendizaje y la cuarta, la integración enseñanza-trabajo-ciudadanía como un diferencial en la formación. Siendo las vulnerabilidades cuestiones relacionadas a la estructura y organización curricular y relativas al proceso enseñanza-aprendizaje. Por consiguiente, se puede afirmar que el desafío puesto es transformar las tensiones generadas por el cambio curricular en momentos propiciadores y generar de las vulnerabilidades las grandes potencialidades del proceso de cambio.Objetivou-se neste estudo a destacar as potencialidades e vulnerabilidades do processo de mudança curricular. Os sujeitos da pesquisa foram 43 educandos do segundo período de graduação em enfermagem da UNIFESO, que estão inseridos na mudança curricular. Os resultados foram apresentados em unidades temáticas enfatizando as potencialidades e vulnerabilidades do processo de mudança curricular. Dentre as potencialidades à aprendizagem é facilitada pela interação grupal, a segunda a aprendizagem ocorre pela participação efetiva dos educandos, a terceira aprendizagem e o dinamismo do processo ensino-aprendizagem e a quarta a integração ensino-trabalho-cidadania como um diferencial na formação. Sendo as vulnerabilidades questões relacionadas à estrutura e organização curricular e relativos ao processo ensino-aprendizagem. Por conseguinte pode-se afirmar que o desafio posto é transformar as tensões geradas pela mudança curricular em momentos propiciadores e gerar das vulnerabilidades as grandes potencialidades do processo de mudanç