Results 31 to 40 of about 6,844,637 (293)
Distributed State Space Minimization
Electronic Notes in Theoretical Computer Science, 2003 AbstractIn [5], we have given a straightforward distributed implementation of the Kanellakis-Smolka 'naive' algorithm for reducing labeled transition systems modulo strong bisimulation. The algorithm proceeds by partition refinement, that is by computing increasingly fine-grained partitions of the set of states.
Blom, S.C.C., Orzan, S.M.
openaire +1 more source
Endogenous Fishing Mortalities: a State-Space Bioeconomic Model [PDF]
, 2017 A methodology that endogenously determines catchability functions that link fi shing mortality with contemporaneous stock abundance is presented. We consider a stochastic age-structured model for a fishery composed by a number of fi shing units ...
Da Rocha, José María +3 more
core +4 more sources
Large State Space Visualization [PDF]
, 2003 Insight in the global structure of a state space is of great help in the analysis of the underlying process. We present a tool to visualize the structure of very large state spaces. It uses a clustering method to obtain a simplified representation, which is used as a backbone for the display of the entire state space.
Jan Friso Groote, Frank van Ham
openaire +1 more source
State-space caching revisited [PDF]
Formal Methods in System Design, 1993 State space caching is a state space exploration method that stores all states of just one execution sequence plus as many previously visited states as available memory allows. So far, this technique has been of little practical significance. With a conventional reachability analysis, it allows one to reduce memory usage by only two to three times ...
Patrice Godefroid +2 more
openaire +1 more source
Continuous Time Structural Equation Modeling with R Package ctsem
Journal of Statistical Software, 2017 We introduce ctsem, an R package for continuous time structural equation modeling of panel (N > 1) and time series (N = 1) data, using full information maximum likelihood.
Charles C. Driver +2 more
doaj +1 more source
Guaranteed passive parameterized macromodeling by using Sylvester state-space realizations [PDF]
, 2013 A novel state-space realization for parameterized macromodeling is proposed in this paper. A judicious choice of the state-space realization is required in order to account for the assumed smoothness of the state-space matrices with respect to the design
Dhaene, Tom +3 more
core +1 more source
Intravitreal GD2‐Specific Chimeric Antigen Receptor T‐Cell Therapy for Refractory Retinoblastoma
Pediatric Blood &Cancer, EarlyView.ABSTRACT Effective treatments for advanced, treatment‐resistant retinoblastoma (RB) remain limited. GD2‐specific chimeric antigen receptor (CAR) T cells show potent antitumor activity with minimal toxicity but have not previously been evaluated in RB.
Subongkoch Subhadhirasakul +13 more
wiley +1 more source
State-dependent coupling of hippocampal oscillations
eLife, 2023 Oscillations occurring simultaneously in a given area represent a physiological unit of brain states. They allow for temporal segmentation of spikes and support distinct behaviors.
Brijesh Modi +5 more
doaj +1 more source
Wandering in the state space [PDF]
, 2010 We analyse the topology of the state space of two systems: i) N Ising spins +/-1 with the antiferromagnetic interactions on a triangular lattice, with the condition of minimum of energy, ii) a roundabout of three access roads and three exit roads, with ...
Krawczyk, Malgorzata J.
core
IEEE Access, 2018 In view of the particular research objectives rather than the system's characteristics, almost all systems can be discretized regardless of original continuous or discrete pattern.
Jun Tang, Feng Zhu
doaj +1 more source