Classical and quantum satisfiability

We present the linear algebraic definition of QSAT and propose a direct logical characterization of such a definition. We then prove that this logical version of QSAT is not an extension of classical satisfiability problem (SAT). This shows that QSAT does not allow a direct comparison between the complexity classes NP and QMA, for which SAT and QSAT are respectively complete.Comment: In Proceedings LSFA 2011, arXiv:1203.542

O sistema de aprendizagem em alternância : alternativas ou mais do mesmo?

As organizações de trabalho são parte cada vez mais interessada nos resultados dos processos de aprendizagem – uma aprendizagem que se deseja a mais completa possível englobando um vasto conjunto de saberes e competências. Do ponto de vista político, ideológico e económico, o investimento no capital humano ressurge como um imperativo fundamental para o bem-estar e desenvolvimento das organizações, num contexto marcado por constantes transformações do mercado de trabalho, de alcance cada vez mais globalizado. Prolifera uma extensa variedade de alternativas para os jovens que optem pelo prosseguimento de estudos no nível secundário, cada uma delas possuindo enquadramentos normativos e regulamentares distintos que definem as suas naturezas e finalidades. A oferta educativa e formativa, a este nível, tenta responder, de múltiplas formas, a diferentes projectos vocacionais esforçando-se por conciliá-los com as "necessidades " do mercado de trabalho. A panóplia de oportunidades formativas situa-se num continuum entre a teoria (perfis formativos de índole mais académica) e a prática (perfis formativos de natureza mais profissionalizante) ou ainda, entre o que comummente se entende por educação e formação. O Sistema de Aprendizagem em Alternância existe há orais de vinte anos, mas permanece um sistema relativamente desconhecido. Que resultados tem produzido ao longo de duas décadas? Pretendemos comparar e contrastar este sistema coam os restantes de nível secundário, realçando as características distintivas do primeiro face aos segundos. A recente publicação do DL 39612007, de 31 de Dezembro, promete, com a criação do Sistema Nacional de Qualificações, introduzir profundas mudanças no sistema de educação e formação em vigor, procurando ajustá-lo às novas realidades. E nosso objectivo analisar criticamente o impacto destas recentes medidas políticas na reconfiguração do campo da educação e formação e da sua (re)articulaçào coar o mercado de trabalho

Partnership between the worlds of education and work : a threatening scenario or a beacon of hope?

Although the world of education and the world of work are unquestionably complementary the relationship between these important realities has always been uneasy. Humanistic educationalists defend that schools should be shielded from the manipulative, self-serving intents of the work market. Education must allow individuals to achieve emancipation and become critically aware, autonomous citizens, capable of understanding and participating in the world they live in. Reform-minded neoliberal enthusiasts claim, with equal strength, that the education system has contributed to economic decline and to the deterioration of school learning calling for a radical change of direction and policy. The need to improve education and training effectiveness has led to an expansion of work-based learning (WBL), Initial Vocational Education and Training (IVET) programs. In Portugal, although multiple forms of IVET co-exist, the Dual Apprenticeship system (DAS) represents the only genuine WBL IVET opportunity available. Despite the strong level of employability and real-world learning, it is perplexingly difficult to persuade the stakeholders in education about the value of this obscure alternative out-of-school pathway. The number of those taking part in the Portuguese DAS has been decreasing and finding employers willing to participate remains difficult, leading some to question the sustainability of this alternative IVET WBL system. This presentation offers a historical overview and critical assessment of key underlying features of the Portuguese IVET DAS. The aim is to provide a deeper understanding the only genuinely IVET WBL, out-of-school initiative that has ever existed in Portugal.Embora o mundo da educação e o mundo do trabalho são, sem dúvida, complementares, a relação entre essas importantes realidades nunca foi pacífica. Educadores humanistas defendem que as escolas deveriam ser protegidas das intenções manipuladores, auto-centradas do mercado de trabalho. A educação deve permitir que os indivíduos se transformem em cidadãos emancipados e criticamente conscientes, cidadãos autónomos, capazes de compreender e participar do mundo em que vivem. Os neo-liberais afirmam, com igual intensidade, que o sistema educativo tem contribuído para o declínio económico e para a deterioração da aprendizagem escolar reclamando uma mudança radical de direção e política. A necessidade de melhorar a eficácia da educação e da formação tem conduzido a uma expansão de programas de aprendizagem inicial baseada na formação extra-escolar. Em Portugal, apesar de existirem múltiplas modalidades de educação-formação, o Sistema de Aprendizagem é a única onde a empresa e a aprendizagem extra-escolar são dominantes. Apesar do forte nível de empregabilidade e da aprendizagem proporcionada no contexto real de trabalho permanece difícil convencer os stakeholders do valor desta obscura alternativa de formação inicial. O número de participantes no Sistema de Aprendizagem tem vindo a diminuir, sendo cada vez mais difícil encontrar empregadores dispostos a participar, factores que tem levado alguns a questionar a sustentabilidade desse sistema alternativo de educação-formação extra-escolar. Esta comunicação oferece uma perspectiva histórica e avaliação crítica das principais características do Sistema de Aprendizagem português. O objectivo é permitir uma melhor e mais profunda compreensão a única oportunidade de educação-formação inicial genuinamente extra-escolar que alguma vez existiu em Portugal.Centro de Investigação em Educação da Universidade do Minh

A Fortran Code for Null Geodesic Solutions in the Lemaitre-Tolman-Bondi Spacetime

This paper describes the Fortran 77 code SIMU, version 1.1, designed for numerical simulations of observational relations along the past null geodesic in the Lemaitre-Tolman-Bondi (LTB) spacetime. SIMU aims at finding scale invariant solutions of the average density, but due to its full modularity it can be easily adapted to any application which requires LTB's null geodesic solutions. In version 1.1 the numerical output can be read by the GNUPLOT plotting package to produce a fully graphical output, although other plotting routines can be easily adapted. Details of the code's subroutines are discussed, and an example of its output is shown.Comment: 13 pages, 10 figures, LaTeX. Fortran code included with the LaTeX source code (also available at http://www.if.ufrj.br/~mbr/codes). Accepted for publication in "Computer Physics Communications