Results 81 to 90 of about 1,475,237 (325)
Nested Weighted Limit-Average Automata of Bounded Width [PDF]
, 2016 While weighted automata provide a natural framework to express quantitative properties, many basic properties like average response time cannot be expressed with weighted automata. Nested weighted automata extend weighted automata and consist of a master
Henzinger, Thomas A. +5 more
core +1 more source
Integer Weighted Automata on Infinite Words [PDF]
, 2023 In this paper we combine two classical generalisations of finite automata (weighted automata and automata on infinite words) into a model of integer weighted automata on infinite words and study the universality and the emptiness problems under zero ...
Harju, T +7 more
core +2 more sources
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
Molecular Oncology, EarlyView.LVRF (lymphatic and vascular resistance factor) is a VEGFA splice variant upregulated in response to anti‐angiogenic therapy that fosters tumor adaptation through enhanced vascularization, lymphangiogenesis, and metastatic dissemination. Targeting LVRF with fully human neutralizing antibodies disrupts these processes and limits resistant tumor growth ...
Marion David +12 more
wiley +1 more source
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
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
MagmaFlow: A desktop platform for artificial intelligence‐driven expression analysis
FEBS Open Bio, EarlyView.MagmaFlow is a free, no‐code platform for gene expression analysis. It generates interactive volcano plots, links genes to literature, pathways, and diseases, prioritizes candidates using millions of publications, identifies affected biological processes, builds network diagrams, and exports publication‐ready figures and reports for macOS and Windows ...
Carlos E. Buss +7 more
wiley +1 more source
Weighted Automata Extraction from Recurrent Neural Networks via Regression on State Spaces [PDF]
AAAI Conference on Artificial Intelligence, 2019 We present a method to extract a weighted finite automaton (WFA) from a recurrent neural network (RNN). Our method is based on the WFA learning algorithm by Balle and Mohri, which is in turn an extension of Angluin's classic L* algorithm.
Takamasa Okudono +3 more
semanticscholar +1 more source
FEBS Open Bio, EarlyView.Biophysical characterisation shows that NanX, a membrane transport protein from the major facilitator superfamily (MFS), forms both monomers and dimers after purification. AlphaFold modelling and substrate docking provide information on residues likely involved in substrate recognition for NanX and another MFS member, NanT.
Michael C. Newton‐Vesty +13 more
wiley +1 more source
Multi-weighted Automata Models and Quantitative Logics [PDF]
, 2015 Recently, multi-priced timed automata have received much attention for real-time systems. These automata extend priced timed automata by featuring several price parameters.
Perevoshchikov, Vitaly
core +1 more source