Pages that link to "Item:Q959788"
From MaRDI portal
The following pages link to On temporal logic constraint solving for analyzing numerical data time series (Q959788):
Displaying 8 items.
- Design, optimization and predictions of a coupled model of the cell cycle, circadian clock, DNA repair system, irinotecan metabolism and exposure control under temporal logic constraints (Q533354) (← links)
- Continuous valuations of temporal logic specifications with applications to parameter optimization and robustness measures (Q548479) (← links)
- Experimental analysis of numeric and symbolic constraint satisfaction techniques for temporal reasoning (Q1273464) (← links)
- A logic of behaviour in context (Q2453209) (← links)
- (Q5234567) (← links)
- Model Checking of Biological Systems (Q5300885) (← links)
- A skin microbiome model with AMP interactions and analysis of quasi-stability vs stability in population dynamics (Q6144018) (← links)
- Artificial intelligence in biological modelling (Q6602271) (← links)