1,721,130 research outputs found
A Process Algebraic Theory of Reversible Concurrent Systems with Applications to Noninterference Analysis
Full text linkThis thesis explores reversible calculus in process algebra and its application to noninterference analysis, presenting
advancements in both theoretical foundations and practical implications. In the rst part, we introduce a novel
process calculus for reversible systems, allowing the modeling of both forward and backward behaviors without
relying on communication keys or stack-based memories. Key contributions include the development of strong and
weak bisimulation equivalences, their characterization through modal logic, and sound and complete axiomatiza-
tions. We also establish connections with existing equivalences, showing how our approach aligns with reverse trace
equivalences and branching bisimilarity for sequential processes and hereditary history-preserving bisimilarity for
fully concurrent systems.
In the second part, we investigate noninterference analysis for systems capable of reversing computations, with
branching bisimilarity as the common thread of the investigation. For nondeterministic systems, we extend the
classical taxonomy of noninterference properties, analyze their preservation and compositionality features, and
demonstrate the need for branching bisimilarity in uncovering covert channels arising in reversible systems. This
analysis is further extended to probabilistic systems, where we rene the taxonomy and illustrate its application
to detect information ows in both reversible and irreversible systems. We also propose a Markovian branching
bisimilarity for reversible Markovian processes, providing a unied framework for noninterference analysis.
This work contributes to the understanding of reversible systems and their applications in secure information
ow analysis, laying the foundation for future research in extending reversible calculi.This thesis explores reversible calculus in process algebra and its application to noninterference analysis, presenting
advancements in both theoretical foundations and practical implications. In the rst part, we introduce a novel
process calculus for reversible systems, allowing the modeling of both forward and backward behaviors without
relying on communication keys or stack-based memories. Key contributions include the development of strong and
weak bisimulation equivalences, their characterization through modal logic, and sound and complete axiomatiza-
tions. We also establish connections with existing equivalences, showing how our approach aligns with reverse trace
equivalences and branching bisimilarity for sequential processes and hereditary history-preserving bisimilarity for
fully concurrent systems.
In the second part, we investigate noninterference analysis for systems capable of reversing computations, with
branching bisimilarity as the common thread of the investigation. For nondeterministic systems, we extend the
classical taxonomy of noninterference properties, analyze their preservation and compositionality features, and
demonstrate the need for branching bisimilarity in uncovering covert channels arising in reversible systems. This
analysis is further extended to probabilistic systems, where we rene the taxonomy and illustrate its application
to detect information ows in both reversible and irreversible systems. We also propose a Markovian branching
bisimilarity for reversible Markovian processes, providing a unied framework for noninterference analysis.
This work contributes to the understanding of reversible systems and their applications in secure information
ow analysis, laying the foundation for future research in extending reversible calculi
Role and regulation of autophagy-lysosomal proteolysis in cancer progression: insights from 2D and 3D models
No full textResveratrol counteracts IL-6-pro-growth effects, inducing a dormant state in ovarian cancer cells through autophagy. ARH-I (DIRAS3) is a target of miR-1305, an oncomiRNA upregulated by IL-6 and downregulated by RV. High expression of DIRAS3 and MAP1LC3B correlates with CDKN1A and predicts good prognosis, associated with MIR1305 downregulation. Maintaining dormancy in ovarian cancer through chronic RV could prevent the "awakening" of cancer cells. RV counteracts malignant activity induced by lysophosphatidic acid, a bioactive phospholipid abundant in the ovarian tumor microenvironment. LPA stimulates EMT, migration, spheroid growth, and chemo-resistance in ovarian cancer cells, while RV mitigates these effects. Bioinformatic analyses revealed the Hedgehog signaling pathway's involvement. LPA prevents autophagy, whereas RV restores it. Hh pathway dysregulation and impaired autophagy correlate with platinum resistance and poor prognosis. RV could be a therapy to impede metastasis and enhance chemosensitivity. Neuroblastoma is a childhood cancer causing significant fatalities. Cathepsin D, an aspartic protease in endosomal-lysosomal compartments, maintains protein homeostasis and influences cell growth. Dysfunctions in CD are linked to cancer. We explored CD's role in NB cell growth in suspension versus adherent conditions and its impact on metastatic behavior. CD inhibits EGF-induced NB cell proliferation in 2D by suppressing EGFR/MAPK signaling. Transgenic clones with silenced or overexpressed CD revealed that CD overexpression favored suspension growth, while suppression favored adherent growth. CD's dual role in 2D and 3D tumor growth suggests subclones with varying CD levels confer survival advantages during metastasis. We identified 38 miRNAs associated with cell adhesion and migration that reduce CD expression. CD expression could be epigenetically regulated during NB growth. Epigenetic targeting of CD could prevent NB metastases
L’eco-efficienza dei contenitori di vetro sottile
Full text linkLa valutazione economica della produzione sostenibile dei contenitori di vetro dimostra che l’assottigliamento dei contenitori e il loro riciclo comporta vantaggi ambientali immediatamente quantificabili.Economic assessment of the sustainable production of glass containers shows that making the containers thinner and recycling them carries immediately quantifiable environmental advantages
Lirismo della sensatezza
No full textL'approccio di Barata al progetto di architettura, ricade nel solco della lezione di Fernando Tàvora, secondo cui il rapporto con i luoghi e con le architetture, si svolge secondo una linea di continuità che tuttavia, non trascuri l'esigenza di ogni progetto, di appartenere interamente alla circostanza temporale in cui lo stesso si genera e trova attuazione. Si è costituita così, nel corso degli anni, una poetica personale che non indulge ai personalismi e ai tic delle mode ma che riconosce nella capacità di relazione stretta con i caratteri collettivi della cultura architettonica e urbana, un lato lirico e discreto del fare architettura nella realtà contemporanea, pesantemente segnata da una convulsa elaborazione di espressioni formali individuali
Going Beyond Counting First Authors in Author Co-citation Analysis
Full text linkThe present study examines one of the fundamental aspects of author co-citation analysis (ACA) - the way co-citation
counts are defined. Co-citation counting provides the data on which all subsequent statistical analyses and mappings
are based, and we compare ACA results based on two different types of co-citation counting - the traditional type that
only counts the first one among a cited work's authors on the one hand and a non-traditional type that takes into
account the first 5 authors of a cited work on the other hand. Results indicate that the picture produced through this non-traditional author co-citation counting contains more coherent author groups and is therefore considerably clearer. However, this picture represents fewer specialties in the research field being studied than that produced through the traditional first-author co-citation counting when the same number of top-ranked authors is selected and analyzed. Reasons for these effects are discussed
A dataset of interactions and emotions for website user experience evaluation
No full textThis data descriptor introduces a dataset designed for affective computing applications in the context of human-computer interaction, with a particular focus on user experience (UX) and website interactions. The dataset comprises interaction logs, including mouse movements and key presses, collected over a period of 30 days from various websites. Each recorded interaction is paired with corresponding emotional data, which is encoded according to Ekman's emotion model, allowing for a nuanced analysis of emotional responses. This dataset is particularly valuable for examining how emotions influence user behaviour, and vice versa, also across different types of websites. Its primary aim is to facilitate the development of Artificial Intelligence (AI) systems capable of detecting user emotions solely based on user interaction data. Such systems have potential applications in improving UX design, personalizing web content, and enhancing the overall UX by adapting to emotional states without requiring explicit input from users
Variations on the Author
Full text link“Variations on the Author” discusses two of Eduardo Coutinho’s recent films (Um Dia na Vida, from 2010, and Últimas Conversas, posthumously released in 2015) and their contribution to the general question of documentary authorship. The director’s filmography is characterized by a consistent yet self-effacing form of authorial self-inscription: Coutinho often features as an interviewer that rather than express opinions propels discourses; an interviewer that is good at listening. This mode of self-inscription characterizes him as an author who is not expressive but who is nonetheless markedly present on the screen. In Um Dia na Vida, however, Coutinho is completely absent form the image, while Últimas Conversas, on the contrary, includes a confessional prologue that moves the director from the margins to the center of his films. This article examines the ways in which these works stand out in the filmography of a director who offers new insights into the notion of cinematic authorship
- …
