Gene regulatory network inference by point-based Gaussian approximation filters incorporating the prior information

Examinar a ampliação do uso de TICs por organizações sociais e governamentais na gestão da cidade é o objetivo do presente estudo. Nossa intenção é entender de que forma as tecnologias da informação e comunicação podem ser uma via alternativa que redefine as relações entre Estado e sociedade, substituindo políticas urbanas tradicionais por formas colaborativas de interação dos atores sociais. Entre os resultados alcançados pela pesquisa, é possível destacar a elaboração de uma metodologia capaz de mapear os princípios de organização, articulação, conexão e interação que constituem a existência de redes tecnossociais. A aplicação da metodologia nas cidades do Rio de Janeiro e de São Paulo demonstrou indicadores, gráficos e práticas políticas. A análise desses dados revela como as redes se constituem por uma arquitetura móvel, fluída, flexível, organizadas em torno de políticas comuns de ação e formadas por uma identidade coletiva que aproxima os atores das redes tecnossociais. Os princípios que mediam esta coesão são de compartilhamento, confiança e solidariedade, que redefinem as formas da organização do poder em direção a alternativas de organização política e desenvolvimento social

V-Star: Learning Visibly Pushdown Grammars from Program Inputs

Accurate description of program inputs remains a critical challenge in the field of programming languages. Active learning, as a well-established field, achieves exact learning for regular languages. We offer an innovative grammar inference tool, V-Star, based on the active learning of visibly pushdown automata. V-Star deduces nesting structures of program input languages from sample inputs, employing a novel inference mechanism based on nested patterns. This mechanism identifies token boundaries and converts languages such as XML documents into VPLs. We then adapted Angluin's L-Star, an exact learning algorithm, for VPA learning, which improves the precision of our tool. Our evaluation demonstrates that V-Star effectively and efficiently learns a variety of practical grammars, including S-Expressions, JSON, and XML, and outperforms other state-of-the-art tools.Comment: PLDI '2

Continuous R-valuations

We introduce continuous $R$-valuations on directed-complete posets (dcpos, for short), as a generalization of continuous valuations in domain theory, by extending values of continuous valuations from reals to so-called Abelian d-rags $R$. Like the valuation monad $\mathbf{V}$ introduced by Jones and Plotkin, we show that the construction of continuous $R$-valuations extends to a strong monad $\mathbf{V}^R$ on the category of dcpos and Scott-continuous maps. Additionally, and as in recent work by the two authors and C. Th\'eron, and by the second author, B. Lindenhovius, M. Mislove and V. Zamdzhiev, we show that we can extract a commutative monad $\mathbf{V}^R_m$ out of it, whose elements we call minimal $R$-valuations. We also show that continuous $R$-valuations have close connections to measures when $R$ is taken to be $\mathbf{I}\mathbb{R}^\star_+$, the interval domain of the extended nonnegative reals: (1) On every coherent topological space, every non-zero, bounded $\tau$-smooth measure $\mu$ (defined on the Borel $\sigma$-algebra), canonically determines a continuous $\mathbf{I}\mathbb{R}^\star_+$-valuation; and (2) such a continuous $\mathbf{I}\mathbb{R}^\star_+$-valuation is the most precise (in a certain sense) continuous $\mathbf{I}\mathbb{R}^\star_+$-valuation that approximates $\mu$, when the support of $\mu$ is a compact Hausdorff subspace of a second-countable stably compact topological space. This in particular applies to Lebesgue measure on the unit interval. As a result, the Lebesgue measure can be identified as a continuous $\mathbf{I}\mathbb{R}^\star_+$-valuation. Additionally, we show that the latter is minimal

A cone-theoretic barycenter existence theorem

We show that every continuous valuation on a locally convex, locally convex-compact, sober topological cone $\mathfrak{C}$ has a barycenter. This barycenter is unique, and the barycenter map $\beta$ is continuous, hence is the structure map of a $\mathbf V_{\mathrm w}$-algebra, i.e., an Eilenberg-Moore algebra of the extended valuation monad on the category of $T_0$ topological spaces; it is, in fact, the unique $\mathbf V_{\mathrm w}$-algebra that induces the cone structure on $\mathfrak{C}$