Mostrando recursos 121 - 140 de 28.941

  1. Who Will Be the Next President? A Guide to the U.S. Presidential Election System

    Belenky, Alexander
    Almost every American has either studied something about the Electoral College in school or at least heard of it. Yet to many people used to electing municipal, state, and federal officials by the democratic principle “the one who gets the most votes always wins,” the Electoral College looks quite mysterious and antiquated. The mystery concerns how such a system could have existed for so long, and why it has not been replaced by a system that is based on the above democratic principle. In contrast, people who are curious about the election system often try to grasp (a) how the Electoral College...

  2. Understanding and automating application-level caching

    Mertz, Jhonny Marcos Acordi
    Latency and cost of Internet-based services are encouraging the use of application-level caching to continue satisfying users’ demands, and improve the scalability and availability of origin servers. Application-level caching, in which developers manually control cached content, has been adopted when traditional forms of caching are insufficient to meet such requirements. Despite its popularity, this level of caching is typically addressed in an adhoc way, given that it depends on specific details of the application. Furthermore, it forces application developers to reason about a crosscutting concern, which is unrelated to the application business logic. As a result, application-level caching is a...

  3. Sistema de gestão da inovação da CEEE : proposta de indicadores para avaliação de desempenho

    Correa, Cristian Hans
    A inovação deixou de ser exclusividade de algumas empresas e passou a permear grande parte delas. Estas inovações podem ser incrementais, melhorando produtos ou processos, ou radicais, rompendo paradigmas no mercado consumidor. Porém, o ato de inovar requer suporte de muitas ações. Dentre essas ações estão às gerenciais, auxiliando na identificação de evidências que apontam se a empresa está no caminho adequado ou não. Alinhado a esta lógica de melhoria contínua é que são realizadas as inovações no âmbito do Programa de Pesquisa e Desenvolvimento (P&D) do setor elétrico, regulado pela Agência Nacional de Energia Elétrica (ANEEL). Este Programa foi...

  4. Biotagging of Specific Cell Populations in Zebrafish Reveals Gene Regulatory Logic Encoded in the Nuclear Transcriptome

    Trinh, Le A.; Chong-Morrison, Vanessa; Gavriouchkina, Daria; Hochgreb-Hägele, Tatiana; Senanayake, Upeka; Fraser, Scott E.; Sauka-Spengler, Tatjana
    Interrogation of gene regulatory circuits in complex organisms requires precise tools for the selection of individual cell types and robust methods for biochemical profiling of target proteins. We have developed a versatile, tissue-specific binary in vivo biotinylation system in zebrafish termed biotagging that uses genetically encoded components to biotinylate target proteins, enabling in-depth genome-wide analyses of their molecular interactions. Using tissue-specific drivers and cell-compartment-specific effector lines, we demonstrate the specificity of the biotagging toolkit at the biochemical, cellular, and transcriptional levels. We use biotagging to characterize the in vivo transcriptional landscape of migratory neural crest and myocardial cells in different...

  5. Sequential Response to Multiple Developmental Network Circuits Encoded in an Intronic cis- Regulatory Module of Sea Urchin hox11/13b

    Cui, Miao; Vielmas, Erika; Davidson, Eric H.; Peter, Isabelle S.
    Gene expression in different spatial domains is often controlled by separate cis-regulatory modules (CRMs), but regulatory states determining CRM activity are not only distinct in space, they also change continuously during developmental time. Here, we systematically analyzed the regulatory sequences controlling hox11/13b expression and identified a single CRM required throughout embryonic gut development. We show that within this CRM, distinct sets of binding sites recognizing Ets, Tcf, and homeodomain transcription factors control the dynamic spatial expression of hox11/13b in each developmental phase. Several binding sites execute multiple, sometimes contradictory, regulatory functions, depending on the temporal and spatial regulatory context. In...

  6. Dual characterizations for finite lattices via correspondence theory for monotone modal logic

    Frittella, Sabine; Palmigiano, Alessandra; Santocanale, Luigi
    International audience

  7. Fixed-Point Theory in the Varieties Dn

    Frittella, Sabine; Santocanale, Luigi
    International audience

  8. A proof-theoretic semantic analysis of dynamic epistemic logic

    Frittella, Sabine; Greco, Giuseppe; Kurz, Alexander; Palmigiano, Alessandra; Sikimic, Vlasta
    International audience

  9. Multi-type display calculus for propositional dynamic logic

    Frittella, Sabine; Greco, Giuseppe; Kurz, Alexander; Palmigiano, Alessandra
    International audience

  10. Multi-type display calculus for dynamic epistemic logic

    Frittella, Sabine; Greco, Giuseppe; Kurz, Alexander; Palmigiano, Alessandra; Sikimic, Vlasta
    International audience

  11. Multi-type Sequent Calculi

    Frittella, Sabine; Greco, Giuseppe; Kurz, Alexander; Palmigiano, Alessandra; Sikimic, Vlasta
    International audience

  12. Categories: How I Learned to Stop Worrying and Love Two Sorts

    Conradie, Willem; Frittella, Sabine; Palmigiano, Alessandra; Piazzai, Michele; Tzimoulis, Apostolos; Wijnberg, Nachoem
    International audience

  13. A Multi-type Calculus for Inquisitive Logic

    Frittella, Sabine; Greco, Giuseppe; Palmigiano, Alessandra; Yang, Fan
    International audience

  14. Probabilistic Epistemic Updates on Algebras

    Conradie, Willem; Frittella, Sabine; Palmigiano, Alessandra; Tzimoulis, Apostolos; Wijnberg, Nachoem
    The present paper contributes to the development of the mathematical theory of epistemic updates using the tools of duality theory. Here we focus on Probabilistic Dynamic Epistemic Logic (PDEL). We dually characterize the product update construction of PDEL-models as a certain construction transforming the complex algebras associated with the given model into the complex algebra associated with the updated model. Thanks to this construction, an interpretation of the language of PDEL can be defined on algebraic models based on Heyting algebras. This justifies our proposal for the axiomatization of the intuitionistic counterpart of PDEL, of which prove soundness and completeness...

  15. Tool support for reasoning in display calculi

    Balco, Sam; Frittella, Sabine; Greco, Giuseppe; Kurz, Alexander; Palmigiano, Alessandra
    We present a tool for reasoning in and about propositional sequent calculi. One aim is to support reasoning in calculi that contain a hundred rules or more so that even relatively small pen and paper derivations become tedious and error prone. As an example, we implement the display calculus D.EAK of dynamic epistemic logic. Second, we provide embeddings of the calculus in the theorem prover Isabelle for formalising proofs about D.EAK. As a case study, we show that the solution of the muddy children puzzle is derivable for any number of muddy children. Third, there is a set of meta-tools,...

  16. Cidade e direitos humanos : o comum como exercício ético da vida urbana

    Reis, Carolina dos
    Esse estudo parte da problemática da moradia no Brasil para pensar o modo como temos construídos as políticas de gestão do espaço urbano. Desde 2009 acompanhamos o aumento das práticas de remoção, impulsionadas pela demanda de organização do país para a Copa do Mundo de Futebol de 2014. Esse cenário agrava-se pelo fato de que, de maneira geral, as famílias removidas são oriundas das comunidades mais pauperizadas, habitantes informais de um modelo de cidade que os exclui da possibilidade de acesso a moradia legal. Tomamos como campo de pesquisa a remoção de 1500 famílias para ampliação da Avenida Tronco na...

  17. Bimodal Logics with a “Weakly Connected” Component without the Finite Model Property

    Kurucz, Agi
    There are two known general results on the finite model property (fmp) of commutators $[L_{0},L_{1}]$ (bimodal logics with commuting and confluent modalities). If $L$ is finitely axiomatizable by modal formulas having universal Horn first-order correspondents, then both $[L,\mathbf{K}]$ and $[L,\mathbf{S5}]$ are determined by classes of frames that admit filtration, and so they have the fmp. On the negative side, if both $L_{0}$ and $L_{1}$ are determined by transitive frames and have frames of arbitrarily large depth, then $[L_{0},L_{1}]$ does not have the fmp. In this paper we show that commutators with a “weakly connected” component often lack the fmp. Our...

  18. Why Intuitionistic Relevant Logic Cannot Be a Core Logic

    Vidal-Rosset, Joseph
    At the end of the 1980s, Tennant invented a logical system that he called “intuitionistic relevant logic” ( $\mathbf{IR}$ , for short). Now he calls this same system “Core logic.” In Section 1, by reference to the rules of natural deduction for $\mathbf{IR}$ , I explain why $\mathbf{IR}$ is a relevant logic in a subtle way. Sections 2, 3, and 4 give three reasons to assert that $\mathbf{IR}$ cannot be a core logic.

  19. Dunn–Priest Quotients of Many-Valued Structures

    Ferguson, Thomas Macaulay
    J. Michael Dunn’s Theorem in 3-Valued Model Theory and Graham Priest’s Collapsing Lemma provide the means of constructing first-order, three-valued structures from classical models while preserving some control over the theories of the ensuing models. The present article introduces a general construction that we call a Dunn–Priest quotient, providing a more general means of constructing models for arbitrary many-valued, first-order logical systems from models of any second system. This technique not only counts Dunn’s and Priest’s techniques as special cases, but also provides a generalized Collapsing Lemma for Priest’s more recent plurivalent semantics in general. We examine when and how...

  20. Systematic Analysis of Quantitative Logic Model Ensembles Predicts Drug Combination Effects on Cell Signaling Networks

    Morris, Melody Kay; Clarke, David C.; Osimiri, Lindsey C.; Lauffenburger, Douglas A
    A major challenge in developing anticancer therapies is determining the efficacies of drugs and their combinations in physiologically relevant microenvironments. We describe here our application of “constrained fuzzy logic” (CFL) ensemble modeling of the intracellular signaling network for predicting inhibitor treatments that reduce the phospho-levels of key transcription factors downstream of growth factors and inflammatory cytokines representative of hepatocellular carcinoma (HCC) microenvironments. We observed that the CFL models successfully predicted the effects of several kinase inhibitor combinations. Furthermore, the ensemble predictions revealed ambiguous predictions that could be traced to a specific structural feature of these models, which we resolved with...

Aviso de cookies: Usamos cookies propias y de terceros para mejorar nuestros servicios, para análisis estadístico y para mostrarle publicidad. Si continua navegando consideramos que acepta su uso en los términos establecidos en la Política de cookies.