121 research outputs found

    One-Membrane P Systems with Activation and Blocking of Rules

    Get PDF
    We introduce new possibilities to control the application of rules based on the preceding applications, which can be de ned in a general way for (hierarchical) P systems and the main known derivation modes. Computational completeness can be obtained even for one-membrane P systems with non-cooperative rules and using both activation and blocking of rules, especially for the set modes of derivation. When we allow the application of rules to in uence the application of rules in previous derivation steps, applying a non-conservative semantics for what we consider to be a derivation step, we can even \go beyond Turing"

    P Colony Automata with LL(k)-like Conditions

    Get PDF
    We investigate the possibility of the deterministic parsing (that is, parsing without backtracking) of languages characterized by (generalized) P colony automata. We de ne a class of P colony automata satisfying a property which resembles the LL(k) property of context-free grammars, and study the possibility of parsing the characterized languages using a k symbol lookahead, as in the LL(k) parsing method for context-free languages

    Parsing languages of P colony automata

    Get PDF
    In this paper a subclass of generalized P colony automata is defined that satisfies a property which resembles the LL(k) property of context-free grammars The possibility of parsing the characterized languages using a k symbol lookahead, as in the LL(k) parsing method for context-free languages, is examined

    Automatic Selection of Statistical Model Checkers for Analysis of Biological Models

    Get PDF
    Statistical Model Checking (SMC) blends the speed of simulation with the rigorous analytical capabilities of model checking, and its success has prompted researchers to implement a number of SMC tools whose availability provides flexibility and fine-tuned control over model analysis. However, each tool has its own practical limitations, and different tools have different requirements and performance characteristics. The performance of different tools may also depend on the specific features of the input model or the type of query to be verified. Consequently, choosing the most suitable tool for verifying any given model requires a significant degree of experience, and in most cases, it is challenging to predict the right one. The aim of our research has been to simplify the model checking process for researchers in biological systems modelling by simplifying and rationalising the model selection process. This has been achieved through delivery of the various key contributions listed below. • We have developed a software component for verification of kernel P (kP) system models, using the NuSMV model checker. We integrated it into a larger software platform (www.kpworkbench.org). • We surveyed five popular SMC tools, comparing their modelling languages, external dependencies, expressibility of specification languages, and performance. To best of our knowledge, this is the first known attempt to categorise the performance of SMC tools based on the commonly used property specifications (property patterns) for model checking. • We have proposed a set of model features which can be used for predicting the fastest SMC for biological model verification, and have shown, moreover, that the proposed features both reduce computation time and increase predictive power. • We used machine learning algorithms for predicting the fastest SMC tool for verification of biological models, and have shown that this approach can successfully predict the fastest SMC tool with over 90% accuracy. • We have developed a software tool, SMC Predictor, that predicts the fastest SMC tool for a given model and property query, and have made this freely available to the wider research community (www.smcpredictor.com). Our results show that using our methodology can generate significant savings in the amount of time and resources required for model verification

    A Petri net view of covalent bonds

    Get PDF
    In nature and chemistry the interactions among elements often form bonds and among them covalent bonds are relevant, involving the sharing of electrons. Another relevant and compelling facet of calculi modelling covalent bonds is that certain steps in reactions are the result of concerting different activities, possibly reversing some of them. Starting from a calculus for covalent bonds, we investigate on how it can be done in a compositional fashion and how it can be encoded in suitable Petri nets. The outcome gives us a compositional covalent bond calculus and a truly distributed implementation. On these results it is possible to build a behavioural equivalence among terms.Fil: Melgratti, Hernan Claudio. Consejo Nacional de Investigaciones Científicas y Técnicas. Oficina de Coordinación Administrativa Ciudad Universitaria. Instituto de Investigación en Ciencias de la Computación. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales. Instituto de Investigación en Ciencias de la Computación; ArgentinaFil: Mezzina, Claudio Antares. Università Degli Studi Di Urbino Carlo Bo; ItaliaFil: Pinna, G. Michele. Università degli Studi di Cagliari; Itali

    Biotechnology for Sustainability and Social Well Being

    Get PDF
    This book covers the latest development of bioprocess technology including theoretical, numerical, and experimental approaches in biotechnology as well as green technology that bridge conventional practices and Industry 4.0. Bioprocessing is one of the key factors in several emerging industries of biofuels, used in the production of biogas, bioethanol, and biodiesel; industrial enzymes; waste management through biotechnology; new vaccines; and many more. It is hoped that the novel bioprocess and green biotechnologies presented in this book are useful in assisting the global community in working towards fulfilling the Sustainable Development Goals (SDG) of the United Nations

    A critical review of the current state of forensic science knowledge and its integration in legal systems

    Get PDF
    Forensic science has a significant historical and contemporary relationship with the criminal justice system. It is a relationship between two disciplines whose origins stem from different backgrounds. It is trite that effective communication assist in resolving underlying problems in any given context. However, a lack of communication continues to characterise the intersection between law and science. As recently as 2019, a six-part symposium on the use of forensic science in the criminal justice system again posed the question on how the justice system could ensure the reliability of forensic science evidence presented during trials. As the law demands finality, science is always evolving and can never be considered finite or final. Legal systems do not always adapt to the nature of scientific knowledge, and are not willing to abandon finality when that scientific knowledge shifts. Advocacy plays an important role in the promotion of forensic science, particularly advocacy to the broader scientific community for financial support, much needed research and more testing. However, despite its important function, advocacy should not be conflated with science. The foundation of advocacy is a cause; whereas the foundation of science is fact. The objective of this research was to conduct a qualitative literature review of the field of forensic science; to identify gaps in the knowledge of forensic science and its integration in the criminal justice system. The literature review will provide researchers within the field of forensic science with suggested research topics requiring further examination and research. To achieve its objective, the study critically analysed the historical development of, and evaluated the use of forensic science evidence in legal systems generally, including its role regarding the admissibility or inadmissibility of the evidence in the courtroom. In conclusion, it was determined that the breadth of forensic scientific knowledge is comprehensive but scattered. The foundational underpinning of the four disciplines, discussed in this dissertation, has been put to the legal test on countless occasions. Some gaps still remain that require further research in order to strengthen the foundation of the disciplines. Human influence will always be present in examinations and interpretations and will lean towards subjective decision making.JurisprudenceD. Phil

    Neuroimaging of human motor control in real world scenarios: from lab to urban environment

    Get PDF
    The main goal of this research programme was to explore the neurophysiological correlates of human motor control in real-world scenarios and define mechanism-specific markers that could eventually be employed as targets of novel neurorehabilitation practice. As a result of recent developments in mobile technologies it is now possible to observe subjects' behaviour and monitor neurophysiological activity whilst they perform natural activities freely. Investigations in real-world scenarios would shed new light on mechanisms of human motor control previously not observed in laboratory settings and how they could be exploited to improve rehabilitative interventions for the neurologically impaired. This research programme was focussed on identifying cortical mechanisms involved in both upper- (i.e. reaching) and lower-limb (i.e. locomotion) motor control. Complementary results were obtained by the simultaneous recordings of kinematic, electromyographic and electrocorticographic signals. To study motor control of the upper-limb, a lab­based setup was developed, and the reaching movement of healthy young individuals was observed in both stable and unstable (i.e. external perturbation) situations. Robot-mediated force-field adaptation has the potential to be employed in rehabilitation practice to promote new skills learning and motor recovery. The muscular (i.e. intermuscular couplings) and neural (i.e. spontaneous oscillations and cortico­muscular couplings) indicators of the undergoing adaptation process were all symbolic of adaptive strategies employed during early stages of adaptation. The medial frontal, premotor and supplementary motor regions appeared to be the principal cortical regions promoting adaptive control and force modulation. To study locomotion control, a mobile setup was developed and daily life human activities (i.e. walking while conversing, walking while texting with a smartphone) were investigated outside the lab. Walking in hazardous environments or when simultaneously performing a secondary task has been demonstrated to be challenging for the neurologically impaired. Healthy young adults showed a reduced motor performance when walking in multitasking conditions, during which whole-brain and task-specific neural correlates were observed. Interestingly, the activity of the left posterior parietal cortex was predictive of the level of gait stability across individuals, suggesting a crucial role of this area in gait control and determination of subject specific motor capabilities. In summary, this research programme provided evidence on different cortical mechanisms operative during two specific scenarios for "real­world" motor behaviour in and outside the laboratory-setting in healthy subjects. The results suggested that identification of neuro-muscular indicators of specific motor control mechanisms could be exploited in future "real-world" rehabilitative practice

    THE COULTER PRINCIPLE: FOR THE GOOD OF HUMANKIND

    Get PDF
    The atomic bombings of Hiroshima and Nagasaki in August 1945 made Wallace H. Coulter abruptly comprehend the critical need for rapid and accurate blood-cell counts in providing care for victims of radiation exposure. This thesis documents the unwritten story of his journey from that comprehension through his invention and implementation of the Coulter Principle, its commercialization in the first widely available automated blood-cell counter, and elaboration of that ground-breaking counter into increasingly sophisticated instrumentation for analysis not only of blood cells, but of particles involved in many other scientific disciplines. International cold-war politics and the burgeoning of increasingly powerful nuclear weapons were important motivations for him throughout the period here considered; these are summarized as context for his developmental activities. The Coulter Principle states that if a suspension of blood cells is passed through a small restriction simultaneously with an electric current, the cells will modulate the current, so enabling them to be counted and sized. Today, hematology analyzers based on the Coulter Principle daily process blood samples from many more patients than the number of casualties from the Hiroshima and Nagasaki bombings. In closing, significant recognitions of Coulter’s contributions are summarized
    • …
    corecore