HASLab - Indexed Articles in Conferences

Permanent URI for this collection

http://localhost:4000/handle/123456789/176

Browse

Browsing HASLab - Indexed Articles in Conferences by Author "5603"
  • Item
    Capturing Qubit Decoherence through Paraconsistent Transition Systems
    ( 2023) Alexandre Castro Madeira ; Luís Soares Barbosa ; 5620 ; 5603
    This position paper builds on the authors' previous work on paraconsistent transition systems to propose a modelling framework for quantum circuits with explicit representation of decoherence. © 2023 Owner/Author.
  • Item
    Combining Advantages from Parameters in Modeling and Control of Discrete Event Systems
    ( 2019) Mazzetto,M ; Teixeira,M ; Luís Soares Barbosa ; Barbosa,MAC ; Casanova,D ; Southier,LFP ; 5603
    Although Finite-State Automata (FSA) have been successfully used in modeling and control of Discrete Event Systems (DESs), they are limited to represent complex and advanced features of DESs, such as context recognition and switching. The literature has suggested that a FSA can nevertheless be enriched with parameters properly collected from the modeled system, so that this favors design and control. A parameter can be embedded either on transitions or states. However, each approach is structured within a specific framework, so that their comparison and integration are not straightforward and they may lead to different control solutions, modeled, computed and implemented using distinct strategies. In this paper, we show how to combine advantages from parameters in modeling and control of DESs. Each approach is structured and their advantages are identified and exemplified. Then, we propose a conversion method that allows to translate a design-friendly model into a synthesis-efficient structure. Examples illustrate the approach. © 2019 IEEE.
  • Item
    Deep learning powered question-answering framework for organizations digital transformation
    ( 2019) Carvalho,NR ; Luís Soares Barbosa ; 5603
    In the context of digital transformation by governments, the public sector and other organizations, many information is moving to digital platforms. Chatbots and similar question-answering systems are becoming popular to answer information queries, opposed to browsing online repositories or webpages. State-of-the-art approaches for these systems may be laborious to implement, hard to train and maintain, and also require a high level of expertise. is work explores the definition of a generic framework to systematically build question-answering systems. A sandbox implementation of this framework enables the deployment of turnkey systems, directly from already existing collections of documents. ese systems can then be used to provide a question-answering system communication channel to enrich the organization digital presence. © 2019 Association for Computing Machinery.
  • Item
    Introducing Synchrony in Fuzzy Automata
    ( 2020) Leandro Rafael Gomes ; Luís Soares Barbosa ; Madeira,A ; 6759 ; 5603
  • Item
    A Logic for Paraconsistent Transition Systems
    ( 2022) Cruz,A ; Alexandre Castro Madeira ; Luís Soares Barbosa ; 5603 ; 5620
  • Item
    On Kleene Algebras for Weighted Computation
    ( 2017) Leandro Rafael Gomes ; Alexandre Castro Madeira ; Luís Soares Barbosa ; 5620 ; 6759 ; 5603
  • Item
    On the Generation of Equational Dynamic Logics for Weighted Imperative Programs
    ( 2019) Madeira,A ; Leandro Rafael Gomes ; Jain,M ; Luís Soares Barbosa ; 5603 ; 6759
  • Item
    Paraconsistent Transition Systems
    ( 2023) Luís Soares Barbosa ; Alexandre Castro Madeira ; 5603 ; 5620
    Often in Software Engineering a modelling formalism has to support scenarios of inconsistency in which several requirements either reinforce or contradict each other. Paraconsistent transition systems are proposed in this paper as one such formalism: states evolve through two accessibility relations capturing weighted evidence of a transition or its absence, respectively. Their weights come from a specific residuated lattice. A category of these systems, and the corresponding algebra, is defined providing a formal setting to model different application scenarios. One of them, dealing with the effect of quantum decoherence in quantum programs, is used for illustration purposes.
  • Item
    Stepwise Development of Paraconsistent Processes
    ( 2023) Alexandre Castro Madeira ; Luís Soares Barbosa ; 5620 ; 5603
  • Item
    Structured Specification of Paraconsistent Transition Systems
    ( 2023) Luís Soares Barbosa ; Alexandre Castro Madeira ; 5603 ; 5620
    This paper sets the basis for a compositional and structured approach to the specification of paraconsistent transitions systems, framed as an institution. The latter and theirs logics were previously introduced in [CMB22] to deal with scenarios of inconsistency in which several requirements are on stake, either reinforcing or contradicting each other. © 2023, IFIP International Federation for Information Processing.