Planeamento de Experiências: Modelos e desafios dos Planos em Blocos Incompletos

O principal objetivo de um Planeamento de Experiências reside essencialmente na procura de relações entre variáveis e na comparação de níveis de fatores, recorrendo ao tratamento estatístico dos dados recolhidos. A utilização de blocos no Planeamento de Experiências é fundamental, pois permite reduzir ou eliminar a variabilidade introduzida por fatores que podem influenciar a experiência mas que não interessam e/ou não foram explicitamente incluídos durante o planeamento. Neste trabalho apresentamos os resultados do estudo e investigação dos Planos em Blocos Incompletos Equilibrados (BIBD), Planos em Blocos Incompletos Equilibrados com repetição de blocos (BIBDR) e Planos em Blocos Incompletos com blocos de diferentes dimensões (VBBD). Exploramos algumas propriedades e métodos de construção destes planos e ilustramos, sempre que possível, com exemplos. Tendo como base o planeamento em blocos, apresentamos uma aplicação dos BIBDR na área da Educação com o objetivo de comparar cinco domínios do pensamento algébrico de uma amostra de alunos do 1º ano do ensino superior em Cabo Verde. Para a análise dos dados da amostra foi utilizado o software R, versão 2.12.1. Pudemos constatar que existem diferenças significativas entre alguns dos domínios do pensamento algébrico, nomeadamente entre os domínios da Generalização da Aritmética e Tecnicismo Algébrico com os restantes domínios. Recomendamos a escolha de uma amostra mais representativa constituída por alunos de todas as instituições superiores de Cabo Verde.

Planeamento de experiências : modelos e desafios dos planos em blocos incompletos

The main purpose of an Experimental Design resides mainly in the search for relationships between variables and in comparing levels of factors, using statistical treatment of collected data. The use of blocks in Experimental Design is essential because it allows reducing or eliminating the variability introduced by factors that can influence the experience but are not of main interest and/or were not explicitly included during experiments. In this work we present the results of the study and research of Balanced Incomplete Block Designs (BIBD), Balanced Incomplete Block Designs with repeated blocks (BIBDR) and the Incomplete Blocks Designs with blocks with different dimensions (VBBD). We explore some properties and construction methods of such designs and illustrate, when possible, with examples. Based on Block Designs, we present an application of BIBDR in Education, with the aim of comparing five domains of algebraic thinking in a sample of 1st year students of higher education in Cape Verde. For the analysis of sample data, the software R was used, version 2.12.1. We observed that significant differences exist between some of the domains of algebraic thinking, especially among the domains of Generalization of Arithmetic and Algebraic Technicality with the remaining areas. For a more representative sample, we recommend a bigger sample consisting of students from all higher institutions of Cape Verde.

Planeamento de experiências : modelos e desafios dos planos em blocos incompletos

The main purpose of an Experimental Design resides mainly in the search for relationships between variables and in comparing levels of factors, using statistical treatment of collected data. The use of blocks in Experimental Design is essential because it allows reducing or eliminating the variability introduced by factors that can influence the experience but are not of main interest and/or were not explicitly included during experiments. In this work we present the results of the study and research of Balanced Incomplete Block Designs (BIBD), Balanced Incomplete Block Designs with repeated blocks (BIBDR) and the Incomplete Blocks Designs with blocks with different dimensions (VBBD). We explore some properties and construction methods of such designs and illustrate, when possible, with examples. Based on Block Designs, we present an application of BIBDR in Education, with the aim of comparing five domains of algebraic thinking in a sample of 1st year students of higher education in Cape Verde. For the analysis of sample data, the software R was used, version 2.12.1. We observed that significant differences exist between some of the domains of algebraic thinking, especially among the domains of Generalization of Arithmetic and Algebraic Technicality with the remaining areas. For a more representative sample, we recommend a bigger sample consisting of students from all higher institutions of Cape Verde.

Planeamento de experiências : modelos e desafios dos planos em blocos incompletos.

O principal objetivo de um Planeamento de Experiências reside essencialmente na procura de relações entre variáveis e na comparação de níveis de fatores, recorrendo ao tratamento estatístico dos dados recolhidos. A utilização de blocos no Planeamento de Experiências é fundamental, pois permite reduzir ou eliminar a variabilidade introduzida por fatores que podem influenciar a experiência mas que não interessam e/ou não foram explicitamente incluídos durante o planeamento. Neste trabalho apresentamos os resultados do estudo e investigação dos Planos em Blocos Incompletos Equilibrados (BIBD), Planos em Blocos Incompletos Equilibrados com repetição de blocos (BIBDR) e Planos em Blocos Incompletos com blocos de diferentes dimensões (VBBD). Exploramos algumas propriedades e métodos de construção destes planos e ilustramos, sempre que possível, com exemplos. Tendo como base o planeamento em blocos, apresentamos uma aplicação dos BIBDR na área da Educação com o objetivo de comparar cinco domínios do pensamento algébrico de uma amostra de alunos do 1º ano do ensino superior em Cabo Verde. Para a análise dos dados da amostra foi utilizado o software R, versão 2.12.1. Pudemos constatar que existem diferenças significativas entre alguns dos domínios do pensamento algébrico, nomeadamente entre os domínios da Generalização da Aritmética e Tecnicismo Algébrico com os restantes domínios. Recomendamos a escolha de uma amostra mais representativa constituída por alunos de todas as instituições superiores de Cabo Verde

A universal microscope manipulator

A modified and improved model of a mechanical manipulator for observation of pinned and mounted insects is described. This device allows movement of the observed object around three perpendicular axes in the field of vision at all magnifications of stereomicroscopes. The main improvement of this new model is positioning of the guiding knobs for rotating around two of the axes next to each other, allowing faster and easier manipulation of the studied object. Thus, one of the main advantages of this device is the possibility to rotate the specimen without the need to refocus. The device enables easily reaching a precession deviation in the intersection point of axes up to 0.5 mm in the process of assembling.

A Variant of Higher-Order Anti-Unification

We present a rule-based Huet’s style anti-unification algorithm for simply-typed lambda-terms in ɳ long β normal form, which computes a least general higher-order pattern generalization. For a pair of arbitrary terms of the same type, such a generalization always exists and is unique modulo α equivalence and variable renaming. The algorithm computes it in cubic time within linear space. It has been implemented and the code is freely available

An Efficient Nominal Unification Algorithm

Nominal Unification is an extension of first-order unification where terms can contain binders and unification is performed modulo α equivalence. Here we prove that the existence of nominal unifiers can be decided in quadratic time. First, we linearly-reduce nominal unification problems to a sequence of freshness and equalities between atoms, modulo a permutation, using ideas as Paterson and Wegman for first-order unification. Second, we prove that solvability of these reduced problems may be checked in quadràtic time. Finally, we point out how using ideas of Brown and Tarjan for unbalanced merging, we could solve these reduced problems more efficiently

Comunicar la ciudad desde el paisaje: hacia una teoría del landscape branding

La necesidad de descodificar los significados inherentes al paisaje, la interactuación sociedadpaisaje (comunicación intra e interpersonal) y, más recientemente, los usos de paisaje a modo de aparador territorial mediático en el ámbito, por ejemplo, de la comunicación publicitaria, del citymarketing o del place branding (comunicación masiva), sirven para plantear el estudio de lo que, de algún modo, representa la persuasión del paisaje, la cual incluye claros tintes emocionales y simbólicos y, por tanto, también comunicacionales. El paisaje en su condición de imagen y/o rostro del territorio acumula la esencia del mensaje implícito en el espacio, posicionándose, de este modo, como la gran metáfora comunicativa de la ciudad. En este sentido, el trabajo de comunicación específico con el intangible paisajístico, unido a la reciente explosión de las denominadas geografías emocionales, plantea una teoría del mensaje territorial basada en la unión de las variables geografía, paisaje, emoción y comunicación. Históricamente, de los estudios de paisaje se han ocupado los geógrafos, arquitectos, historiadores, sociólogos o ambientólogos, entre muchos otros, sin embargo, el paisaje se ha mantenido poco explorado desde la perspectiva de la comunicación. En este sentido, es notoria la proliferación de análisis que ponen el acento en el papel que desarrolla el territorio como mediador de procesos de comunicación o en el estudio de procesos de retroalimentación entre la sociedad y sus espacios (cognición y/o percepción). El actual mercadeo identitario con los lugares se concreta en la creciente producción de marcas territoriales, las cuales acumulan, en los últimos tiempos, un importante protagonismo.

Targeting endoplasmic reticulum signaling pathways in cancer.

Abstract The endoplasmic reticulum (ER) orchestrates the production of membrane-bound and secreted proteins. However, its capacity to process the synthesis and folding of protein is limited. Protein overload and the accumulation of misfolded proteins in the ER trigger an adaptive response known as the ER-stress response that is mediated by specific ER-anchored signaling pathways. This response regulates cell functions aimed at restoring cellular homeostasis or at promoting apoptosis of irreparably damaged cells. Activation or deregulation of ER-signaling pathways has been associated with various diseases including cancer. Here we discuss how tumors engage ER-signaling pathways to promote tumorigenesis and how manipulation of this process by anticancer drugs may contribute to cancer treatment.

Targeting endoplasmic reticulum signaling pathways in cancer.

The endoplasmic reticulum (ER) orchestrates the production of membrane-bound and secreted proteins. However, its capacity to process the synthesis and folding of protein is limited. Protein overload and the accumulation of misfolded proteins in the ER trigger an adaptive response known as the ER-stress response that is mediated by specific ER-anchored signaling pathways. This response regulates cell functions aimed at restoring cellular homeostasis or at promoting apoptosis of irreparably damaged cells. Activation or deregulation of ER-signaling pathways has been associated with various diseases including cancer. Here we discuss how tumors engage ER-signaling pathways to promote tumorigenesis and how manipulation of this process by anticancer drugs may contribute to cancer treatment.

Julkisen tilan politiikka : Senaatintorin rakenteellinen, symbolinen ja esteettien valta

Abstract: The politics of public space : the Senate Square in Helsinki as a form of structural, symbolic and aesthetic power

A Write-Based Solver for SAT Modulo the Theory of Arrays

The extensional theory of arrays is one of the most important ones for applications of SAT Modulo Theories (SMT) to hardware and software verification. Here we present a new T-solver for arrays in the context of the DPLL(T) approach to SMT. The main characteristics of our solver are: (i) no translation of writes into reads is needed, (ii) there is no axiom instantiation, and (iii) the T-solver interacts with the Boolean engine by asking to split on equality literals between indices. As far as we know, this is the first accurate description of an array solver integrated in a state-of-the-art SMT solver and, unlike most state-of-the-art solvers, it is not based on a lazy instantiation of the array axioms. Moreover, it is very competitive in practice, specially on problems that require heavy reasoning on array literals

Comunicar la ciudad desde el paisaje: hacia una teoría del landscape branding

The need to decode landscape meanings, the society- landscape interaction (intra- and inter-personal communication) and, more recently, the uses of landscape as a territorial sight linked to advertising communication, citymarketing or place branding (mass communication) highlights the study of landscape persuasion, which includes clear emotional, symbolic and, therefore, communicative aspects. The landscape, as a territory image or face, gathers the essence of the implicit message in the space, thus working as a great metaphor for city communication. Regarding the foregoing, specific communication research with intangible landscapes —together with the recent emergence of emotional geographies— suggests a new territorial message theory based on the union of geographical, landscape, emotional and communicational variables. Landscape has historically been studied by geographers, architects, historians or sociologists, among others researchers, but it has not been analysed from communicational viewpoints. In this sense, the proliferation of analyses highlighting the role played by the territory as a communication mediator in the interaction process between society and its spaces (cognition and/or perception) is also remarkable. Current sales of territorial identities lead to increases in the production of territory brands, which have gathered a noticeable relevance within the last years.

Den vårdande och helande bilden: möten med bildkonst i vårdandets värld

Denna vårdvetenskapliga avhandling syftar till att avtäcka och belysa en vårdande och helande dimension vid existentiellt lidande patienters möten med bildkonst inom vårdkontext. Kunskapssökandet sker i två studier. Den första (studie I) är en ikonografi sk tolkning av konstnären Matthias Grünewalds (ca 1460–1528) senmedeltida altarskåpsmålningar. I studien uttolkas lidandets uttryck och narrativa budskap samt symboliska gestaltningar av vårdande och helande i valda delar av detta s.k. Isenheimaltares bildprogram. Tolkningen utgår från rekonstruktionen av altarskåpets ursprungskontext, det medeltida Isenheimklostret, där svårt sjuka och döende patienter vårdades. I studie två (II) fortsätter sökandet i den moderna hospicevårdens kontext med hjälp av en kvalitativ intervjustudie som utforskar patienters meningsskapande vid möten med självvald bildkonst (oljemålningar och akvareller av fi nländska konstnärer som donerats till det sjukhus där intervjustudien gjordes). Forskningsansatsen är inspirerad av Hans-Georg Gadamers (1901–2002) hermeneutik. Vidare används några nyare tolkningsteoretiska ansatser inom bildkonstens område. Forskningens tolkningsresultat visar att bildkonsten har potentialer såväl på ett miljöestetiskt plan som på en djupare individuell symbolnivå. Som designkomponent i vårdmiljöns rumsliga gestaltning bygger bildkonsten in estetiska, etiska och andliga kvaliteter utifrån tidsmässiga och kulturella koder. I den medeltida klostervårdens kontext sammanföll bildkonstens dekorativa betydelse med andliga och helande syften. När det gäller självvalda konstverk i den moderna vårdkontexten bidrar de till det enskilda patientrummets atmosfär på ett unikt sätt utifrån patientens personlighet och behov. På en fördjupad mötesnivå, i samspel med bildens symboliska funktion, sker en inlevelsemässig förfl yttning in i bildens värld. Betraktarens inlevelse aktiveras till en transcenderande rörelse som går bortom det faktiska rummets och den reella tidens gränser. Vid resor i konstens bildvärld spelas minnesvärda händelser upp från det förgångna, men även framtiden kommer betraktaren till mötes. I en existentiell livssituation söker människan i konstverkets bildinnehåll efter symbolisk mening som kan ge svar på lidandets frågor. Bilderna iscensätter då helande motbilder som utgör korrektiv i symboliska former när olika existentiella förluster hotar. När livet förbleknats av sjukdom besvarar bildvärlden den lidandes blick med lysande violer som blommar upp, ger livskraft och bekräftar personens värdighet mitt i det förvissnande människolivet. När ångest och otrygghet nalkas inbjuds betraktaren till besök i landskap som utvidgar sjukhusrummets väggar mot hemgårdens trygghet. Där livet hotas av förgänglighet tar bildvärlden människan med sig till naturens eviga återfödelse. Upplevelsen av att vara delaktig i ett större och heligt sammanhang öppnar vägen ut ur lidandets avskurenhet. I medeltidens vårdkontext erbjöd den sakrala bilden en kollektiv och helande Symbolon som genom sin representationskraft synliggjorde det osynliga. Vid bildmöten i den moderna hospicevårdens kontext var det naturteman som gläntade på dörren till ”det hemliga rummet i djupet av hjärtat”. Forskningen antyder att även om meningsskapandet i ett bildmöte är avhängigt tidsepok, betraktarens förförståelse och kulturella kontext samt typen av bilder kan bildsymboliken, generellt förstådd som den saknade formen eller det saknade livssammanhanget, framvisa en helande och hoppingivande ordning i lidandets kaos.

Homogeneous assay technologies in drug screening: Quenching Resonance Energy Transfer (QRET) technique

Information gained from the human genome project and improvements in compound synthesizing have increased the number of both therapeutic targets and potential lead compounds. This has evolved a need for better screening techniques to have a capacity to screen number of compound libraries against increasing amount of targets. Radioactivity based assays have been traditionally used in drug screening but the fluorescence based assays have become more popular in high throughput screening (HTS) as they avoid safety and waste problems confronted with radioactivity. In comparison to conventional fluorescence more sensitive detection is obtained with time-resolved luminescence which has increased the popularity of time-resolved fluorescence resonance energy transfer (TR-FRET) based assays. To simplify the current TR-FRET based assay concept the luminometric homogeneous single-label utilizing assay technique, Quenching Resonance Energy Transfer (QRET), was developed. The technique utilizes soluble quencher to quench non-specifically the signal of unbound fraction of lanthanide labeled ligand. One labeling procedure and fewer manipulation steps in the assay concept are saving resources. The QRET technique is suitable for both biochemical and cell-based assays as indicated in four studies:1) ligand screening study of β2 -adrenergic receptor (cell-based), 2) activation study of Gs-/Gi-protein coupled receptors by measuring intracellular concentration of cyclic adenosine monophosphate (cell-based), 3) activation study of G-protein coupled receptors by observing the binding of guanosine-5’-triphosphate (cell membranes), and 4) activation study of small GTP binding protein Ras (biochemical). Signal-to-background ratios were between 2.4 to 10 and coefficient of variation varied from 0.5 to 17% indicating their suitability to HTS use.