Results 81 to 90 of about 842,589 (329)
What’s decidable about weighted automata [PDF]
, 2011 . Weighted automata map input words to numerical values. Ap-plications of weighted automata include formal verification of quantitative properties, as well as text, speech, and image processing.
Shaull Almagor +5 more
core +1 more source
Computing Nash Equilibrium in Wireless Ad Hoc Networks: A Simulation-Based Approach [PDF]
Electronic Proceedings in Theoretical Computer Science, 2012 This paper studies the problem of computing Nash equilibrium in wireless networks modeled by Weighted Timed Automata. Such formalism comes together with a logic that can be used to describe complex features such as timed energy constraints.
Peter Bulychev +4 more
doaj +1 more source
FEBS Open Bio, EarlyView.CRISPRI‐mediated gene silencing and phenotypic exploration in nontuberculous mycobacteria. In this Research Protocol, we describe approaches to control, monitor, and quantitatively assess CRISPRI‐mediated gene silencing in M. smegmatis and M. abscessus model organisms.
Vanessa Point +7 more
wiley +1 more source
Improved learning automata applied to routing in multi-service networks [PDF]
, 2000 Multi-service communications networks are generally designed, provisioned and configured, based on source-destination user demands expected to occur over a recurring time period.
Aranzulla, P.J., Aranzulla, Philip John
core
Coalgebraic trace semantics via forgetful logics [PDF]
Logical Methods in Computer Science, 2017 We use modal logic as a framework for coalgebraic trace semantics, and show the flexibility of the approach with concrete examples such as the language semantics of weighted, alternating and tree automata, and the trace semantics of generative ...
Bartek Klin, Jurriaan Rot
doaj +1 more source
Weighted finite automata with output [PDF]
Soft Computing, 2017 In this paper we prove the equivalence of sequential, Mealy-type and Moore-type weighted finite automata with output, with respect to various semantics which are defined here.
Jelena Ignjatovic +2 more
openaire +2 more sources
FEBS Open Bio, EarlyView.This protocol paper outlines methods to establish the success of a time‐resolved serial crystallographic experiment, by means of statistical analysis of timepoint data in reciprocal space and models in real space. We show how to amplify the signal from excited states to visualise structural changes in successful experiments.
Jake Hill +4 more
wiley +1 more source
FEBS Open Bio, EarlyView.Pharmacological inhibition of PERK in a DEN‐induced mouse model of liver cancer does not reduce tumor burden but alters cellular stress signaling. Despite blocking PERK activity, downstream stress responses, including CHOP expression, remain active, suggesting compensatory mechanisms within the unfolded protein response that may influence tumor ...
Ada Lerma‐Clavero +5 more
wiley +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
Dinamika Spasial Wilayah Rawan Tsunami di Kecamatan Nusaniwe, Kota Ambon, Provinsi Maluku
Jurnal Geosains dan Remote Sensing, 2022 Berdasarkan kondisi geografis Kecamatan Nusaniwe yang merupakan kawasan rawan tsunami, dengan pertumbuhan penduduk yang semakin berkembang, hal ini dapat meningkatkan risiko tsunami sebagai bencana yang sulit diprediksi kedatangannya.
Philia Christi Latue, Heinrich Rakuasa
doaj +1 more source