A short note on Simulation and Abstraction

This short note is written in celebration of David Schmidt's sixtieth birthday. He has now been active in the program analysis research community for over thirty years and we have enjoyed many interactions with him. His work on characterising simulations between Kripke structures using Galois connections was particularly influential in our own work on using probabilistic abstract interpretation to study Larsen and Skou's notion of probabilistic bisimulation. We briefly review this work and discuss some recent applications of these ideas in a variety of different application areas.Comment: In Proceedings Festschrift for Dave Schmidt, arXiv:1309.455

Community Detection from Location-Tagged Networks

Many real world systems or web services can be represented as a network such as social networks and transportation networks. In the past decade, many algorithms have been developed to detect the communities in a network using connections between nodes. However in many real world networks, the locations of nodes have great influence on the community structure. For example, in a social network, more connections are established between geographically proximate users. The impact of locations on community has not been fully investigated by the research literature. In this paper, we propose a community detection method which takes locations of nodes into consideration. The goal is to detect communities with both geographic proximity and network closeness. We analyze the distribution of the distances between connected and unconnected nodes to measure the influence of location on the network structure on two real location-tagged social networks. We propose a method to determine if a location-based community detection method is suitable for a given network. We propose a new community detection algorithm that pushes the location information into the community detection. We test our proposed method on both synthetic data and real world network datasets. The results show that the communities detected by our method distribute in a smaller area compared with the traditional methods and have the similar or higher tightness on network connections

Transportes Activos como Alternativa Segura y Sostenible en una Ciudad Post-Pandemia

Este proyecto de grado, nace del seminario internacional interdisciplinario 2021- “la ciudad post-Covid”; un seminario que buscaba que los estudiantes propusiéramos ideas de como seria la vida en una ciudad luego de la pandemia, vista desde 4 ejes temáticos (urbanismo tradicional, relaciones interpersonales, producción y distribución, saber e información por redes sociales). Por esta razón, este proyecto de grado busca incentivar a que las personas de la ciudad de Bogotá conozcan los beneficios de utilizar transportes activos para movilizarse a sus puntos de destino, con la finalidad de disminuir los grandes contagios por 4 Covid 19 que se presentan diariamente en el transporte público de Bogotá; aunado a lo anterior, mejorar la movilidad de la ciudad, disminuir el tráfico motorizado y contribuir a la mejora de la calidad del aire en la misma

Code Bending: A New Creative Coding Practice

Creative coding, or artistic creation through the medium of program instructions, is constantly gaining traction, and there is a steady stream of new resources emerging to support it. However, the question of how creative coding is carried out still deserves more attention. In what ways may the act of program development be rendered conducive to artistic creativity? As one possible answer to this question, the authors present and discuss a new creative coding practice, that of code bending, alongside examples and considerations regarding its applications

Does 45,X/46,XX mosaicism with 6-28% of aneuploidy affect the outcomes of IVF or ICSI?

International audienceOBJECTIVE: Several studies have shown an increased frequency of chromosomal aberrations in female partners of couples examined prior to intracytoplasmic sperm injection (ICSI). A retrospective cohort study was performed to determine whether 45,X/46,XX mosaicism affects the outcomes of in vitro fertilization (IVF) or ICSI. STUDY DESIGN: Forty-six women with a 45,X/46,XX karyotype with 6-28% of aneuploidy were compared with 59 control women (46,XX), matched for age, from the female population who underwent IVF or ICSI between 1 January 1996 and 31 December 2006 at the Reproductive Medicine Unit at Brest University Hospital. The outcomes of 254 treatment cycles were compared according to patient karyotype. RESULTS: No difference was found in the number of retrieved oocytes (8.9 ± 5.5 vs 8.5 ± 4.7; p=0.56) or the number of mature oocytes (7.4 ± 4.7 vs 6.9 ± 4.2; p=0.49) between the 45,X/46,XX group and the 46,XX group, respectively. Fertilization rates did not differ between the groups for either IVF or ICSI. In addition, no difference was found in the pregnancy rate by cycle (17.4% vs 18.7%, respectively; p=0.87). The percentage of first-trimester miscarriages was similar in both groups (13.6% vs 12.5%, respectively; p=0.51). CONCLUSION: 45,X/46,XX mosaicism with 6-28% of aneuploidy has no adverse effect on the outcomes of IVF or ICSI among women referred to assisted reproductive technologies

Quelles stimulations pour quelles femmes : le syndrome des ovaires polykystiques (SOPK)

International audienc

Integration of microRNA miR-122 in hepatic circadian gene expression

In liver, most metabolic pathways are under circadian control, and hundreds of protein-encoding genes are thus transcribed in a cyclic fashion. Here we show that rhythmic transcription extends to the locus specifying miR-122, a highly abundant, hepatocyte-specific microRNA. Genetic loss-of-function and gain-of-function experiments have identified the orphan nuclear receptor REV-ERBα as the major circadian regulator of mir-122 transcription. Although due to its long half-life mature miR-122 accumulates at nearly constant rates throughout the day, this miRNA is tightly associated with control mechanisms governing circadian gene expression. Thus, the knockdown of miR-122 expression via an antisense oligonucleotide (ASO) strategy resulted in the up- and down-regulation of hundreds of mRNAs, of which a disproportionately high fraction accumulates in a circadian fashion. miR-122 has previously been linked to the regulation of cholesterol and lipid metabolism. The transcripts associated with these pathways indeed show the strongest time point-specific changes upon miR-122 depletion. The identification of Pparβ/δ and the peroxisome proliferator-activated receptor α (PPARα) coactivator Smarcd1/Baf60a as novel miR-122 targets suggests an involvement of the circadian metabolic regulators of the PPAR family in miR-122-mediated metabolic control

Circadian clock-dependent and -independent rhythmic proteomes implement distinct diurnal functions in mouse liver.

Diurnal oscillations of gene expression controlled by the circadian clock underlie rhythmic physiology across most living organisms. Although such rhythms have been extensively studied at the level of transcription and mRNA accumulation, little is known about the accumulation patterns of proteins. Here, we quantified temporal profiles in the murine hepatic proteome under physiological light-dark conditions using stable isotope labeling by amino acids quantitative MS. Our analysis identified over 5,000 proteins, of which several hundred showed robust diurnal oscillations with peak phases enriched in the morning and during the night and related to core hepatic physiological functions. Combined mathematical modeling of temporal protein and mRNA profiles indicated that proteins accumulate with reduced amplitudes and significant delays, consistent with protein half-life data. Moreover, a group comprising about one-half of the rhythmic proteins showed no corresponding rhythmic mRNAs, indicating significant translational or posttranslational diurnal control. Such rhythms were highly enriched in secreted proteins accumulating tightly during the night. Also, these rhythms persisted in clock-deficient animals subjected to rhythmic feeding, suggesting that food-related entrainment signals influence rhythms in circulating plasma factors