9 resultados para CASL
Resumo:
Na computação científica é necessário que os dados sejam o mais precisos e exatos possível, porém a imprecisão dos dados de entrada desse tipo de computação pode estar associada às medidas obtidas por equipamentos que fornecem dados truncados ou arredondados, fazendo com que os cálculos com esses dados produzam resultados imprecisos. Os erros mais comuns durante a computação científica são: erros de truncamentos, que surgem em dados infinitos e que muitas vezes são truncados", ou interrompidos; erros de arredondamento que são responsáveis pela imprecisão de cálculos em seqüências finitas de operações aritméticas. Diante desse tipo de problema Moore, na década de 60, introduziu a matemática intervalar, onde foi definido um tipo de dado que permitiu trabalhar dados contínuos,possibilitando, inclusive prever o tamanho máximo do erro. A matemática intervalar é uma saída para essa questão, já que permite um controle e análise de erros de maneira automática. Porém, as propriedades algébricas dos intervalos não são as mesmas dos números reais, apesar dos números reais serem vistos como intervalos degenerados, e as propriedades algébricas dos intervalos degenerados serem exatamente as dos números reais. Partindo disso, e pensando nas técnicas de especificação algébrica, precisa-se de uma linguagem capaz de implementar uma noção auxiliar de equivalência introduzida por Santiago [6] que ``simule" as propriedades algébricas dos números reais nos intervalos. A linguagem de especificação CASL, Common Algebraic Specification Language, [1] é uma linguagem de especificação algébrica para a descrição de requisitos funcionais e projetos modulares de software, que vem sendo desenvolvida pelo CoFI, The Common Framework Initiative [2] a partir do ano de 1996. O desenvolvimento de CASL se encontra em andamento e representa um esforço conjunto de grandes expoentes da área de especificações algébricas no sentido de criar um padrão para a área. A dissertação proposta apresenta uma especificação em CASL do tipo intervalo, munido da aritmética de Moore, afim de que ele venha a estender os sistemas que manipulem dados contínuos, sendo possível não só o controle e a análise dos erros de aproximação, como também a verificação algébrica de propriedades do tipo de sistema aqui mencionado. A especificação de intervalos apresentada aqui foi feita apartir das especificações dos números racionais proposta por Mossakowaski em 2001 [3] e introduz a noção de igualdade local proposta por Santiago [6, 5, 4]
Resumo:
The interval datatype applications in several areas is important to construct a interval type reusable, i.e., a interval constructor can be applied to any datatype and get intervals this datatype. Since the interval is, of certain form, a set of elements limited for two bounds, left and right, with a order notions, then it s reasonable that interval constructor enclose datatypes with partial order. On the order hand, what we want is work with interval of any datatype like this we work with this datatype then. it s important to guarantee the properties of the datatype when maps to interval of this datatype. Thus, the interval constructor get a theory to parametrized interval type, i.e., a interval with generics parameters (for example rational, real, complex). Sometimes, the interval application in some algebras doesn t guarantee the mainutenance of their properties, for example, when we use interval of real, that satisfies the field properties, it doesn t guarantee the distributivity propertie. A form to surpass this problem Santiago introduced the local equality theory that weakened the notion of strong equality, and thus, allowing some properties are local keeped, what can be discard before. The interval arithmetic generalization aim to apply the interval constructor on ordered algebras weakened for local equality with the purpose of the keep their properties. How the intervals are important in applications with continuous data, it s interesting specify that theory using a specification language that supply a system development using intervals of form disciplined, trustworth and safe. Currently, the algebraic specification language, based in math models, have been use to that intention often. We choose CASL (Common Algebraic Specification Language) among others languages because CASL has several characteristics excellent to parametrized interval type, such as, provide parcialiy and parametrization
Resumo:
Among numerous magnetic resonance imaging (MRI) techniques, perfusion MRI provides insight into the passage of blood through the brain's vascular network non-invasively. Studying disease models and transgenic mice would intrinsically help understanding the underlying brain functions, cerebrovascular disease and brain disorders. This study evaluates the feasibility of performing continuous arterial spin labeling (CASL) on all cranial arteries for mapping murine cerebral blood flow at 9.4 T. We showed that with an active-detuned two-coil system, a labeling efficiency of 0.82 ± 0.03 was achieved with minimal magnetization transfer residuals in brain. The resulting cerebral blood flow of healthy mouse was 99 ± 26 mL/100g/min, in excellent agreement with other techniques. In conclusion, high magnetic fields deliver high sensitivity and allowing not only CASL but also other MR techniques, i.e. (1)H MRS and diffusion MRI etc, in studying murine brains.
Resumo:
El propósito central del estudio consiste en descifrar, entender, contextualizar y reinventar el trabajo directivo actual. En el inicio del texto se busca comprender las realidades sobre el trabajo directivo desde la perspectiva y estudios de dos autores principales, Henry Mintzberg y Stefan Tengblad, los cuales exponen desde otro ángulo el día a día de los directivos; posteriormente se presenta la influencia que tiene el contexto nacional en los diferentes comportamientos y modelos de dirección, haciendo una comparación entre los directivos Suecos y Estado Unidenses para concluir las variables culturales, económicas, políticas y sociales que modifican y personalizan el trabajo directivo; finalmente en la última sección, después de comprender el trabajo directivo desde su naturaleza y sus fuentes externas de influencia, se propone reinventarlo o desde diferentes postulados y modelos, entendiendo que no existe una solución o fórmula mágica, sino unas herramientas que cada directivo debe definir y construir a lo largo de su vida.
Resumo:
MICALs (molecules interacting with CasL) are atypical multidomain flavoenzymes with diverse cellular functions. The molecular pathways employed by MICAL proteins to exert their cellular effects remain largely uncharacterized. Via an unbiased proteomics approach, we identify MICAL-1 as a binding partner of NDR (nuclear Dbf2-related) kinases. NDR1/2 kinases are known to mediate apoptosis downstream of the mammalian Ste-20-like kinase MST1, and ablation of NDR1 in mice predisposes the mice to cancer as a result of compromised apoptosis. MST1 phosphorylates NDR1/2 kinases at their hydrophobic motif, thereby facilitating full NDR kinase activity and function. However, if and how this key phosphorylation event is regulated are unknown. Here we show that MICAL-1 interacts with the hydrophobic motif of NDR1/2 and that overexpression or knockdown of MICAL-1 reduces or augments NDR kinase activation or activity, respectively. Surprisingly, MICAL-1 is a phosphoprotein but not an NDR or MST1 substrate. Rather, MICAL-1 competes with MST1 for NDR binding and thereby antagonizes MST1-induced NDR activation. In line with this inhibitory effect, overexpression or knockdown of MICAL-1 inhibits or enhances, respectively, NDR-dependent proapoptotic signaling induced by extrinsic stimuli. Our findings unveil a previously unknown biological role for MICAL-1 in apoptosis and define a novel negative regulatory mechanism of MST-NDR signaling.
Resumo:
Purpose: To obtain cerebral perfusion territories of the left, the right. and the posterior circulation in humans with high signal-to-noise ratio (SNR) and robust delineation. Materials and Methods: Continuous arterial spin labeling (CASL) was implemented using a dedicated radio frequency (RF) coil. positioned over the neck, to label the major cerebral feeding arteries in humans. Selective labeling was achieved by flow-driven adiabatic fast passage and by tilting the longitudinal labeling gradient about the Y-axis by theta = +/- 60 degrees. Results: Mean cerebral blood flow (CBF) values in gray matter (GM) and white matter (WM) were 74 +/- 13 mL center dot 100 g(-1) center dot minute(-1) and 14 +/- 13 mL center dot 100 g(-1) center dot minute(-1), respectively (N = 14). There were no signal differences between left and right hemispheres when theta = 0 degrees (P > 0.19), indicating efficient labeling of both hemispheres. When theta = +60 degrees, the signal in GM on the left hemisphere, 0.07 +/- 0.06%, was 92% lower than on the right hemisphere. 0.85 +/- 0.30% (P < 1 x 10(-9)). while for theta = -60 degrees, the signal in the right hemisphere. 0.16 +/- 0.13%, was 82% lower than on the contralateral side. 0.89 +/- 0.22% (P < 1 x 10(-10)). Similar attenuations were obtained in WM. Conclusion: Clear delineation of the left and right cerebral perfusion territories was obtained, allowing discrimination of the anterior and posterior circulation in each hemisphere.
Resumo:
We present a method using an extended logical system for obtaining programs from specifications written in a sublanguage of CASL. These programs are “correct” in the sense that they satisfy their specifications. The technique we use is to extract programs from proofs in formal logic by techniques due to Curry and Howard. The logical calculus, however, is novel because it adds structural rules corresponding to the standard ways of modifying specifications: translating (renaming), taking unions, and hiding signatures. Although programs extracted by the Curry-Howard process can be very cumbersome, we use a number of simplifications that ensure that the programs extracted are in a language close to a standard high-level programming language. We use this to produce an executable refinement of a given specification and we then provide a method for producing a program module that maximally respects the original structure of the specification. Throughout the paper we demonstrate the technique with a simple example.
Resumo:
Collateral circulation, defined as the supplementary vascular network that maintains cerebral blood flow (CBF) when the main vessels fail, constitutes one important defense mechanism of the brain against ischemic stroke. In the present study, continuous arterial spin labeling (CASL) was used to quantify CBF and obtain perfusion territory maps of the major cerebral arteries in spontaneously hypertensive rats (SHRs) and their normotensive Wistar-Kyoto (WKY) controls. Results show that both WKY and SHR have complementary, yet significantly asymmetric perfusion territories. Right or left dominances were observed in territories of the anterior (ACA), middle and posterior cerebral arteries, and the thalamic artery. Magnetic resonance angiography showed that some of the asymmetries were correlated with variations of the ACA. The leptomeningeal circulation perfusing the outer layers of the cortex was observed as well. Significant and permanent changes in perfusion territories were obtained after temporary occlusion of the right middle cerebral artery in both SHR and WKY, regardless of their particular dominance. However, animals with right dominance presented a larger volume change of the left perfusion territory (23 +/- 9%) than animals with left dominance (7 +/- 5%, P<0.002). The data suggest that animals with contralesional dominance primarily safeguard local CBF values with small changes in contralesional perfusion territory, while animals with ipsilesional dominance show a reversal of dominance and a substantial increase in contralesional perfusion territory. These findings show the usefulness of CASL to probe the collateral circulation.
Resumo:
Survivin, a unique member of the family of inhibitors of apoptosis (IAP) proteins, orchestrates intracellular pathways during cell division and apoptosis. Its central regulatory function in vertebrate molecular pathways as mitotic regulator and inhibitor of apoptotic cell death has major implications for tumor cell proliferation and viability, and has inspired several approaches that target survivin for cancer therapy. Analyses in early-branching Metazoa so far propose an exclusive role of survivin as a chromosomal passenger protein, whereas only later during evolution the second, complementary antiapoptotic function might have arisen, concurrent with increased organismal complexity. To lift the veil on the ancestral function(s) of this key regulatory molecule, a survivin homologue of the phylogenetically oldest extant metazoan taxon (phylum Porifera) was identified and functionally characterized. SURVL of the demosponge Suberites domuncula shares significant similarities with its metazoan homologues, ranging from conserved exon/intron structures to the presence of localization signal and protein-interaction domains, characteristic of IAP proteins. Whereas sponge tissue displayed a very low steady-state level, SURVL expression was significantly up-regulated in rapidly proliferating primmorph cells. In addition, challenge of sponge tissue and primmorphs with cadmium and the lipopeptide Pam3Cys-Ser-(Lys)4 stimulated SURVL expression, concurrent with the expression of newly discovered poriferan caspases (CASL and CASL2). Complementary functional analyses in transfected HEK-293 revealed that heterologous expression of poriferan survivin in human cells not only promotes cell proliferation but also augments resistance to cadmium-induced cell death. Taken together, these results demonstrate both a deep evolutionary conserved and fundamental dual role of survivin, and an equally conserved central position of this key regulatory molecule in interconnected pathways of cell cycle and apoptosis. Additionally, SDCASL, SDCASL2, and SDTILRc (TIR-LRR containing protein) may represent new components of the innate defense sentinel in sponges. SDCASL and SDCASL2 are two new caspase-homolog proteins with a singular structure. In addition to their CASc domains, SDCASL and SDCASL2 feature a small prodomain NH2-terminal (effector caspases) and a remarkably long COOH-terminal domain containing one or several functional double stranded RNA binding domains (dsrm). This new caspase prototype can characterize a caspase specialization coupling pathogen sensing and apoptosis, and could represent a very efficient defense mechanism. SDTILRc encompasses also a unique combination of domains: several leucine rich repeats (LRR) and a Toll/IL-1 receptor (TIR) domain. This unusual domain association may correspond to a new family of intracellular sensing protein, forming a subclass of pattern recognition receptors (PRR).