Results 51 to 60 of about 31,589 (286)
Rational streams coalgebraically [PDF]
Logical Methods in Computer Science, 2008 We study rational streams (over a field) from a coalgebraic perspective. Exploiting the finality of the set of streams, we present an elementary and uniform proof of the equivalence of four notions of representability of rational streams: by finite ...
J. J. M. M. Rutten
doaj +1 more source
Joint low power state assignment of sequential automata of a net implementing a parallel automaton
Informatika, 2023 Objectives. The problem of low power state assignment of partial states of a parallel automaton is considered. The objective of the paper is to investigate the possibilities of using the decomposition in state assignment of partial states in order to ...
Yu. V. Pottosin
doaj +1 more source
Efficient and Modular Coalgebraic Partition Refinement [PDF]
Logical Methods in Computer Science, 2020 We present a generic partition refinement algorithm that quotients coalgebraic systems by behavioural equivalence, an important task in system analysis and verification.
Thorsten Wißmann +3 more
doaj +1 more source
Stability and Complexity of Minimising Probabilistic Automata
, 2014 We consider the state-minimisation problem for weighted and probabilistic automata. We provide a numerically stable polynomial-time minimisation algorithm for weighted automata, with guaranteed bounds on the numerical error when run with floating-point ...
A. Aggarwal +16 more
core +1 more source
Cell wall target fragment discovery using a low‐cost, minimal fragment library
FEBS Letters, EarlyView.LoCoFrag100 is a fragment library made up of 100 different compounds. Similarity between the fragments is minimized and 10 different fragments are mixed into a single cocktail, which is soaked to protein crystals. These crystals are analysed by X‐ray crystallography, revealing the binding modes of the bound fragment ligands.
Kaizhou Yan +5 more
wiley +1 more source
Molecular Oncology, EarlyView.Aptamers are used both therapeutically and as targeting agents in cancer treatment. We developed an aptamer‐targeted PLGA–TRAIL nanosystem that exhibited superior therapeutic efficacy in NOD/SCID breast cancer models. This nanosystem represents a novel biotechnological drug candidate for suppressing resistance development in breast cancer.
Gulen Melike Demirbolat +8 more
wiley +1 more source
Weighted Asynchronous Cellular Automata
Theoretical Computer Science, 2006 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +1 more source
Quantum Finite Automata and Weighted Automata
, 2007 10 pages, Preliminary version appears in the Proceedings of ACiD-2005, Texts in Algorithmics series of KCL publications, pp.
Rao, M. V. Panduranga, Vinay, V.
openaire +2 more sources
Human Activity Recognition through Weighted Finite Automata
Proceedings, 2018 This work addresses the problem of human activity identification in an ubiquitous environment, where data is collected from a wide variety of sources.
Sergio Salomón, Cristina Tîrnăucă
doaj +1 more source
Optimal infinite scheduling for multi-priced timed automata [PDF]
, 2008 This paper is concerned with the derivation of infinite schedules for timed automata that are in some sense optimal. To cover a wide class of optimality criteria we start out by introducing an extension of the (priced) timed automata model that includes ...
A Dasdan +28 more
core +4 more sources