Rationalisation of Profiles of Abstract Argumentation Frameworks

International audienceDifferent agents may have different points of view. This can be modelled using different abstract argumentation frameworks , each consisting of a set of arguments and a binary attack-relation between them. A question arising in this context is whether the diversity of views observed in such a profile of argumentation frameworks is consistent with the assumption that every individual argumentation framework is induced by a combination of, first, some basic factual attack-relation between the arguments and, second, the personal preferences of the agent concerned. We treat this question of rationalisability of a profile as an algorithmic problem and identify tractable and intractable cases. This is useful for understanding what types of profiles can reasonably be expected to come up in a multiagent system

Cloud Manufacturing: state of the art and evaluation of the BaSyx project

The emergence of new technologies such as the Internet of Things (IoT) and Cloud Computing hasstrongly boosted the manufacturing industry, opening the doors to a much broader world ofpossibilities and starting what many consider to be the Fourth Industrial Revolution. In this context iswhere the manufacturing paradigm of Cloud Manufacturing (CMfg) emerges, with the goal to connectmanufacturing processes through the Cloud in such a way that it allows different organizations tocooperate and to offer services to customers that could not be possible by their own independently. Asystematic review of the literature was carried out in order to determine the main characteristics andfunctionalities that a CMfg system should provide as well as the main current lines of research in thisregard. Then, we developed a prototype CMfg system based on the open source middleware EclipseBaSyx, a software development kit for CMfg systems. The developed prototype consists of a webinterface module that allows different users to create new machines and to insert job orders from thecustomers, and a server logic module that is responsible for accepting jobs, dividing them intosubtasks and distributing them among the different machines that work independently from eachother. The web module is composed by three main sub-modules: 1) a scheduler to control anddistribute the orders among the different machines of the system; 2) a verifier, which is in charge ofmonitoring the state of the machines in the real time, collecting a large amount of information fromthem and notifying the scheduler in case of failures or when they need special attention; and 3) aBaSyx module that is in charge of the creation of the Digital Twins. Finally, several numericalexperiments were carried out to show the potential of BaSyx for leveraging different productionplanning and operations management problems that may arise under Cloud Manufacturingenvironments.Fil: Videla Helal, Matías Emiliano. Universidad de la República; UruguayFil: Chiappa Curbelo, Carlos S.. Universidad de la República; UruguayFil: Piñeyro, Pedro. Universidad de la República; UruguayFil: Viana, Víctor. Universidad de la República; UruguayFil: Rossit, Daniel Alejandro. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Bahía Blanca. Instituto de Matemática Bahía Blanca. Universidad Nacional del Sur. Departamento de Matemática. Instituto de Matemática Bahía Blanca; Argentina. Universidad Nacional del Sur. Departamento de Ingeniería; ArgentinaXXI Latin Ibero-American Conference on Operations Research -CLAIO 2022Buenos AiresArgentinaUniversidad de Buenos Aires. Facultad de Ciencias Exactas y Naturale

Reforms to improve reproducibility and quality must be coordinated across the research ecosystem: the view from the UKRN Local Network Leads

Many disciplines are facing a “reproducibility crisis”, which has precipitated much discussion about how to improve research integrity, reproducibility, and transparency. A unified effort across all sectors, levels, and stages of the research ecosystem is needed to coordinate goals and reforms that focus on open and transparent research practices. Promoting a more positive incentive culture for all ecosystem members is also paramount. In this commentary, we—the Local Network Leads of the UK Reproducibility Network—outline our response to the UK House of Commons Science and Technology Committee’s inquiry on research integrity and reproducibility. We argue that coordinated change is needed to create (1) a positive research culture, (2) a unified stance on improving research quality, (3) common foundations for open and transparent research practice, and (4) the routinisation of this practice. For each of these areas, we outline the roles that individuals, institutions, funders, publishers, and Government can play in shaping the research ecosystem. Working together, these constituent members must also partner with sectoral and coordinating organisations to produce effective and long-lasting reforms that are fit-for-purpose and future-proof. These efforts will strengthen research quality and create research capable of generating far-reaching applications with a sustained impact on society

Optimization of flow shop scheduling through a hybrid genetic algorithm for manufacturing companies

A task scheduling problem is a process of assigning tasks to a limited set of resources available in a time interval, where certain criteria are optimized. In this way, the sequencing of tasks is directly associated with the executability and optimality of a preset plan and can be found in a wide range of applications, such as: programming flight dispatch at airports, programming production lines in a factory, programming of surgeries in a hospital, repair of equipment or machinery in a workshop, among others. The objective of this study is to analyze the effect of the inclusion of several restrictions that negatively influence the production programming in a real manufacturing environment. For this purpose, an efficient Genetic Algorithm combined with a Local Search of Variable Neighborhood for problems of n tasks and m machines is introduced, minimizing the time of total completion of the tasks. The computational experiments carried out on a set of problem instances with different sizes of complexity show that the proposed hybrid metaheuristics achieves high quality solutions compared to the reported optimal cases

Plasmodium vivax circumsporozoite genotypes: a limited variation or new subspecies with major biological consequences?

<p>Abstract</p> <p>Background</p> <p><it>Plasmodium vivax </it>circumsporozoite variants have been identified in several geographical areas. The real implication of the genetic variation in this region of the <it>P. vivax </it>genome has been questioned for a long time. Although previous studies have observed significant association between VK210 and the Duffy blood group, we present here that evidences of this variation are limited to the CSP central portion.</p> <p>Methods</p> <p>The phylogenetic analyses were accomplished starting from the amplification of conserved domains of <it>18 SSU RNAr </it>and <it>Cyt B</it>. The antibodies responses against the CSP peptides, MSP-1, AMA-1 and DBP were detected by ELISA, in plasma samples of individuals infected with two <it>P. vivax CS </it>genotypes: VK210 and <it>P. vivax</it>-like.</p> <p>Results</p> <p>These analyses of the two markers demonstrate high similarity among the <it>P. vivax CS </it>genotypes and surprisingly showed diversity equal to zero between VK210 and <it>P. vivax</it>-like, positioning these <it>CS </it>genotypes in the same clade. A high frequency IgG antibody against the N- and C-terminal regions of the <it>P. vivax </it>CSP was found as compared to the immune response to the R- and V- repetitive regions (<it>p </it>= 0.0005, Fisher's Exact test). This difference was more pronounced when the <it>P. vivax</it>-like variant was present in the infection (<it>p </it>= 0.003, Fisher's Exact test). A high frequency of antibody response against MSP-1 and AMA-1 peptides was observed for all <it>P. vivax CS </it>genotypes in comparison to the same frequency for DBP.</p> <p>Conclusions</p> <p>This results target that the differences among the <it>P. vivax CS </it>variants are restrict to the central repeated region of the protein, mostly nucleotide variation with important serological consequences.</p

Efficacy of home-based visuomotor feedback training in stroke patients with chronic hemispatial neglect

Hemispatial neglect is a severe cognitive condition frequently observed after a stroke, associated with unawareness of one side of space, disability and poor long-term outcome. Visuomotor feedback training (VFT) is a neglect rehabilitation technique that involves a simple, inexpensive and feasible training of grasping-to-lift rods at the centre. We compared the immediate and long-term effects of VFT vs. a control training when delivered in a home-based setting. Twenty participants were randomly allocated to an intervention (who received VFT) or a control group (n = 10 each). Training was delivered for two sessions by an experimenter and then patients self-administered it for 10 sessions over two weeks. Outcome measures included the Behavioural Inattention Test (BIT), line bisection, Balloons Test, Landmark task, room description task, subjective straight-ahead pointing task and the Stroke Impact Scale. The measures were obtained before, immediately after the training sessions and after four-months post-training. Significantly greater short and long-term improvements were obtained after VFT when compared to control training in line bisection, BIT and spatial bias in cancellation. VFT also produced improvements on activities of daily living. We conclude that VFT is a feasible, effective, home-based rehabilitation method for neglect patients that warrants further investigation with well-designed randomised controlled trials on a large sample of patients