5,037 research outputs found

    Decomposition of sequential and concurrent models

    Get PDF
    Le macchine a stati finiti (FSM), sistemi di transizioni (TS) e le reti di Petri (PN) sono importanti modelli formali per la progettazione di sistemi. Un problema fodamentale è la conversione da un modello all'altro. Questa tesi esplora il mondo delle reti di Petri e della decomposizione di sistemi di transizioni. Per quanto riguarda la decomposizione dei sistemi di transizioni, la teoria delle regioni rappresenta la colonna portante dell'intero processo di decomposizione, mirato soprattutto a decomposizioni che utilizzano due sottoclassi delle reti di Petri: macchine a stati e reti di Petri a scelta libera. Nella tesi si dimostra che una proprietà chiamata ``chiusura rispetto all'eccitazione" (excitation-closure) è sufficiente per produrre un insieme di reti di Petri la cui sincronizzazione è bisimile al sistema di transizioni (o rete di Petri di partenza, se la decomposizione parte da una rete di Petri), dimostrando costruttivamente l'esistenza di una bisimulazione. Inoltre, è stato implementato un software che esegue la decomposizione dei sistemi di transizioni, per rafforzare i risultati teorici con dati sperimentali sistematici. Nella seconda parte della dissertazione si analizza un nuovo modello chiamato MSFSM, che rappresenta un insieme di FSM sincronizzate da due primitive specifiche (Wait State - Stato d'Attesa e Transition Barrier - Barriera di Transizione). Tale modello trova un utilizzo significativo nella sintesi di circuiti sincroni a partire da reti di Petri a scelta libera. In particolare vengono identificati degli errori nell'approccio originale, fornendo delle correzioni.Finite State Machines (FSMs), transition systems (TSs) and Petri nets (PNs) are important models of computation ubiquitous in formal methods for modeling systems. Important problems involve the transition from one model to another. This thesis explores Petri nets, transition systems and Finite State Machines decomposition and optimization. The first part addresses decomposition of transition systems and Petri nets, based on the theory of regions, representing them by means of restricted PNs, e.g., State Machines (SMs) and Free-choice Petri nets (FCPNs). We show that the property called ``excitation-closure" is sufficient to produce a set of synchronized Petri nets bisimilar to the original transition system or to the initial Petri net (if the decomposition starts from a PN), proving by construction the existence of a bisimulation. Furthermore, we implemented a software performing the decomposition of transition systems, and reported extensive experiments. The second part of the dissertation discusses Multiple Synchronized Finite State Machines (MSFSMs) specifying a set of FSMs synchronized by specific primitives: Wait State and Transition Barrier. It introduces a method for converting Petri nets into synchronous circuits using MSFSM, identifies errors in the initial approach, and provides corrections

    LIPIcs, Volume 251, ITCS 2023, Complete Volume

    Get PDF
    LIPIcs, Volume 251, ITCS 2023, Complete Volum

    Spectrum auctions: designing markets to benefit the public, industry and the economy

    Get PDF
    Access to the radio spectrum is vital for modern digital communication. It is an essential component for smartphone capabilities, the Cloud, the Internet of Things, autonomous vehicles, and multiple other new technologies. Governments use spectrum auctions to decide which companies should use what parts of the radio spectrum. Successful auctions can fuel rapid innovation in products and services, unlock substantial economic benefits, build comparative advantage across all regions, and create billions of dollars of government revenues. Poor auction strategies can leave bandwidth unsold and delay innovation, sell national assets to firms too cheaply, or create uncompetitive markets with high mobile prices and patchy coverage that stifles economic growth. Corporate bidders regularly complain that auctions raise their costs, while government critics argue that insufficient revenues are raised. The cross-national record shows many examples of both highly successful auctions and miserable failures. Drawing on experience from the UK and other countries, senior regulator Geoffrey Myers explains how to optimise the regulatory design of auctions, from initial planning to final implementation. Spectrum Auctions offers unrivalled expertise for regulators and economists engaged in practical auction design or company executives planning bidding strategies. For applied economists, teachers, and advanced students this book provides unrivalled insights in market design and public management. Providing clear analytical frameworks, case studies of auctions, and stage-by-stage advice, it is essential reading for anyone interested in designing public-interested and successful spectrum auctions

    UMSL Bulletin 2022-2023

    Get PDF
    The 2022-2023 Bulletin and Course Catalog for the University of Missouri St. Louis.https://irl.umsl.edu/bulletin/1087/thumbnail.jp

    Cinnamon: An antimicrobial ingredient for active packaging

    Get PDF
    Financiado para publicación en acceso aberto: Universidade de Vigo/CISUGCinnamon (Cinnamomum spp.) is one of the oldest spices known to humankind and is used in culinary and traditional medicine practices. It is obtained from the inner bark of cinnamon trees and contains cinnamaldehyde, cinnamic acid, and cinnamate responsible for its antimicrobial activities. The focus on agri-food industry challenges, such as sustainability, antibiotic-resistant, eco-friendly farming, and the clean label, has been highlighted and increased. Therefore, the review will give a critical snapshot of cinnamon's potential to respond to the agri-food industry challenge. Cinnamon essential oil, obtained from both bark and leave, has been widely used as an antimicrobial ingredient against spoilage microorganisms and foodborne pathogens in the formulations of biodegradative films, edible coating, and adhesive patches. In addition to antibacterial and antifungal activity shown by these packaging, the cinnamon essential oil can improve the barrier, thermal and mechanical properties of films and coatings.GAIN (Axencia Galega de Innovación) | Ref. IN607A2019/01CYTED | Ref. 119RT0568Ministerio de UniversidadesUniversidade de Vigo/CISU

    Talking about personal recovery in bipolar disorder: Integrating health research, natural language processing, and corpus linguistics to analyse peer online support forum posts

    Get PDF
    Background: Personal recovery, ‘living a satisfying, hopeful and contributing lifeeven with the limitations caused by the illness’ (Anthony, 1993) is of particular value in bipolar disorder where symptoms often persist despite treatment. So far, personal recovery has only been studied in researcher-constructed environments (interviews, focus groups). Support forum posts can serve as a complementary naturalistic data source. Objective: The overarching aim of this thesis was to study personal recovery experiences that people living with bipolar disorder have shared in online support forums through integrating health research, NLP, and corpus linguistics in a mixed methods approach within a pragmatic research paradigm, while considering ethical issues and involving people with lived experience. Methods: This mixed-methods study analysed: 1) previous qualitative evidence on personal recovery in bipolar disorder from interviews and focus groups 2) who self-reports a bipolar disorder diagnosis on the online discussion platform Reddit 3) the relationship of mood and posting in mental health-specific Reddit forums (subreddits) 4) discussions of personal recovery in bipolar disorder subreddits. Results: A systematic review of qualitative evidence resulted in the first framework for personal recovery in bipolar disorder, POETIC (Purpose & meaning, Optimism & hope, Empowerment, Tensions, Identity, Connectedness). Mainly young or middle-aged US-based adults self-report a bipolar disorder diagnosis on Reddit. Of these, those experiencing more intense emotions appear to be more likely to post in mental health support subreddits. Their personal recovery-related discussions in bipolar disorder subreddits primarily focussed on three domains: Purpose & meaning (particularly reproductive decisions, work), Connectedness (romantic relationships, social support), Empowerment (self-management, personal responsibility). Support forum data highlighted personal recovery issues that exclusively or more frequently came up online compared to previous evidence from interviews and focus groups. Conclusion: This project is the first to analyse non-reactive data on personal recovery in bipolar disorder. Indicating the key areas that people focus on in personal recovery when posting freely and the language they use provides a helpful starting point for formal and informal carers to understand the concerns of people diagnosed with bipolar disorder and to consider how best to offer support

    To make the dominoes fall: A relational-processual approach to societal accountability in the Italian and Spanish anti-corruption arenas

    Get PDF
    In che modo le organizzazioni della società civile (OSC) contribuiscono alla lotta contro la corruzione? Come possono responsabilizzare i rappresentanti politici? La presente tesi si propone di rispondere a queste a queste domande di ricerca, unendo gli studi sulla lotta alla corruzione a quelli sui movimenti sociali e concentrandosi sul concetto di societal accountability, cioè sui meccanismi di controllo e di sanzione dei rappresentanti pubblici. Negli ultimi anni, gli studiosi della corruzione hanno enfatizzato sempre più il ruolo della società civile come antidoto contro la corruzione, a complemento dei meccanismi di accountability statali ed elettorali. Tuttavia, gli studi empirici sugli effetti anticorruzione degli interventi civici non hanno ancora prodotto risultati coerenti. Questo non dovrebbe sorprendere. Se misurare la corruzione è un compito arduo, valutare se e quanto gli scambi corruttivi vengano impediti grazie alle iniziative della società civile sembra virtualmente impossibile. Per questo motivo, il presente lavoro fa un passo indietro e problematizza lo studio della societal accountability, affrontandola non come un insieme predefinito di meccanismi o pratiche messe in atto da attori civici anticorruzione, ma come il risultato di interazioni sostenute e conflittuali tra più attori, civici e non. Per fare ciò, lo studio si ispira alle teorie dei movimenti sociali e concettualizza la societal accountability come un insieme di conseguenze dell’azione collettiva. Pertanto, questo lavoro mira a capire come e in quali condizioni le iniziative anticorruzione dal basso raggiungano risultati di accountability, quali il passaggio di nuove norme, il miglioramento dell’answerability istituzionale e potenziale sanzionatorio. Con questo obiettivo, la tesi si basa sulle evidenze esistenti negli studi sulla corruzione e sull'accountability e contribuisce ai dibattiti in corso sulle conseguenze dell'azione collettiva. Il quadro teorico si concentra sul concetto di influenza, aderendo a un approccio processuale-relazionale. L'influenza è intesa come un'istanza di causalità relazionale, una forma di potere posizionale che consente a più attori di esercitare un controllo sulle conseguenze dell’azione collettiva. Facendo da ponte tra l'approccio strategico-interazionale e i modelli di mediazione, l'analisi chiarisce le strategie seguite dalle OSC nella ricerca di posizioni di influenza, così come i meccanismi attraverso i quali i modelli relazionali producono cambiamento sociale. Il quadro analitico è applicato alle arene anticorruzione in Italia e in Spagna e si restringe a tre specifiche aree di intervento: l'introduzione di leggi sulla trasparenza, l'approvazione di leggi per la protezione dei whistleblower e lo sviluppo di progetti di monitoraggio civico. Il materiale empirico comprende 37 interviste qualitative semi-strutturate, documenti e dati network. Nel complesso, le evidenze raccolte contribuiscono alla letteratura sulla lotta alla corruzione, dimostrando che le OSC contribuiscono, direttamente e indirettamente, alla lotta contro la corruzione ottenendo cambiamenti nelle politiche, aumentando l’answerability del sistema e innescando sanzioni formali e informali quando necessario. Tuttavia, l’analisi comparata dei casi italiano e spagnolo evidenziano differenze rilevanti. In particolare, l'indagine empirica contribuisce agli attuali dibattiti sullo studio della società della social accountability, dimostrando che l'integrazione con le élite politiche può aumentare la probabilità di ottenere di ottenere un cambiamento delle politiche, mentre l'integrazione orizzontale tra gli attori civici può aumentare il loro potenziale sanzionatorio. In definitiva, questo lavoro dimostra come gli approcci processuali-relazionali possano integrare modelli strategici e di mediazione per comprendere meglio il modo in cui gli attori collettivi influenzano il cambiamento politico e sociale. Le osservazioni conclusive sostengono che le interazioni e le relazioni costruite dagli attori nel corso del tempo e in diverse arene fungono da canali di mediazione a livello micro, meso e macro. Complessivamente, ciò dimostra che i singoli attori, i modelli di relazione nelle e tra le arene e le idee sulle relazioni mediano tra le strategie dei attori collettivi, aumentando o limitando così la loro influenza sulla lotta alla corruzione.How do civil society organizations (CSOs) contribute to the struggle against public corruption? How can they hold their political representatives accountable? This thesis aims to answer these wide-ranging research questions, bridging anti-corruption and social movement studies by focusing on societal accountability, i.e., grassroots mechanisms for controlling and sanctioning powerholders. Over the last few years, corruption scholars have increasingly emphasized the role of civil society as an antidote against corruption, complementing state and electoral accountability mechanisms. However, empirical studies on the anti-corruption effects of civic interventions have yet to yield consistent results. This should hardly come as a surprise. If measuring corruption is a challenging task, assessing the extent to which corrupt deals are prevented due to civil society initiatives appears virtually impossible. Hence, this work takes a step back and problematizes the study of societal accountability, approaching it not as a pre-given set of mechanisms or practices deployed by anti-corruption civic actors but as the result of sustained and contentious interactions between multiple players. To do so, the study draws on social movement theories and conceptualizes societal accountability as a set of consequences of collective action efforts. Therefore, this work aims to understand how and under what conditions bottom-up anti-corruption initiatives achieve accountability results such as legal claim attainments, answerability, and sanctioning potential. With this goal in mind, the thesis builds upon existing evidence from corruption and accountability studies and contributes to ongoing debates on the consequences of collective action. The theoretical framework focuses on the concept of influence, subscribing to a processual-relational approach. It understands influence as a relationally emergent instance of causality, a form of positional power that enables multiple players to exert control over the consequences of collective struggles. By bridging the strategic-interaction approach and mediation models; the analysis elucidates the strategies followed by CSOs in seeking positions of influence, as well as the mechanisms through which relational patterns produce social change. The analytical framework is applied to the anti-corruption arenas in Italy and Spain and is narrowed down by focusing on three specific campaigns in each country: introducing transparency laws, passing whistleblowers' protection acts, and developing civic monitoring projects. The empirical material comprises 37 semi-structured qualitative interviews, documents, and network data retrieved through Action Organization Analysis. The corpus of data is analyzed by combining thematic analysis, frame analysis, and a theory-building process tracing through a qualitative network approach. Overall, the evidence collected contributes to the literature on anti-corruption, demonstrating that CSOs, directly and indirectly, contribute to the anti-corruption struggle by achieving policy change, increasing the system's answerability, and triggering formal and informal sanctions when necessary. However, the Italian and Spanish cases' comparative accounts highlight relevant differences. In particular, the empirical investigation contributes to current debates on the study of societal accountability, showing that integration with political elites may increase the likelihood of obtaining policy change, whereas horizontal integration among civic actors may enhance their sanctioning potential. Ultimately, this work shows how processual-relational approaches can help integrate strategic and mediation models to understand better how change-oriented collective actors influence political and social change. The concluding remarks maintain that the interactions and relations built by players over time and across different arenas serve as mediation channels at the micro-, meso-, and macro-levels. Overall, this demonstrates that individual players, patterns of relations in and across arenas, and ideas about relationships mediate between players' strategies, resources, or frames and their contextual conditions, thereby increasing or constraining their influence over the anti-corruption struggl

    University bulletin 2023-2024

    Get PDF
    This catalog for the University of South Carolina at Beaufort lists information about the college, the academic calendar, admission policies, degree programs, faculty and course descriptions

    Gratitude in Healthcare an interdisciplinary inquiry

    Get PDF
    The expression and reception of gratitude is a significant dimension of interpersonal communication in care-giving relationships. Although there is a growing body of evidence that practising gratitude has health and wellbeing benefits for the giver and receiver, gratitude as a social emotion made in interaction has received comparatively little research attention. To address this gap, this thesis draws on a portfolio of qualitative methods to explore the ways in which gratitude is constituted in care provision in personal, professional, and public discourse. This research is informed by a discursive psychology approach in which gratitude is analysed, not as a morally virtuous character trait, but as a purposeful, performative social action that is mutually co-constructed in interaction.I investigate gratitude through studies that approach it on a meta, meso, macro, and micro level. Key intellectual traditions that underpin research literature on gratitude in healthcare are explored through a metanarrative review. Six underlying metanarratives were identified: social capital; gifts; care ethics; benefits of gratitude; staff wellbeing; and gratitude as an indicator of quality of care. At the meso (institutional) level, a narrative analysis of an archive of letters between patients treated for tuberculosis and hospital almoners positions gratitude as participating in a Maussian gift-exchange ritual in which communal ties are created and consolidated.At the macro (societal) level, a discursive analysis of tweets of gratitude to the National Health Service at the outset of the Covid-19 pandemic shows that attitudes to gratitude were dynamic in response to events, with growing unease about deflecting attention from risk reduction for those working in the health and social care sectors. A follow-up analysis of the clap-for-carers movement implicates gratitude in embodied, symbolic, and imagined performances in debates about care justice. At the micro (interpersonal) level, an analysis of gratitude encounters broadcast in the BBC documentary series, Hospital, uses pragmatics and conversation analysis to argue that gratitude is an emotion made in talk, with the uptake of gratitude opportunities influencing the course of conversational sequencing. The findings challenge the oftenmade distinction between task-oriented and relational conversation in healthcare.Moral economics are paradigmatic in the philosophical conceptualisation of gratitude. My research shows that, although balance-sheet reciprocity characterised the institutional culture of the voluntary hospital, it is hardly ever a feature ofinterpersonal gratitude encounters. Instead, gratitude is accomplished as shared moments of humanity through negotiated encounters infused with affect. Gratitude should never be instrumentalised as compensating for unsafe, inadequatelyrenumerated work. Neither should its potential to enhance healthcare encounters be underestimated. Attention to gratitude can participate in culture change by affirming modes of acting, emoting, relating, expressing, and connecting that intersect with care justice.This thesis speaks to gratitude as a culturally salient indicator of what people express as worthy of appreciation. It calls for these expressions to be more closely attended to, not only as useful feedback that can inform change, but also because gratitude is a resource on which we can draw to enhance and enrich healthcare as a communal, collaborative, cooperative endeavour
    • …
    corecore