Detalles de la búsqueda
1.
Synthesising Programs with Non-trivial Constants.
J Autom Reason
; 67(2): 19, 2023.
Artículo
en Inglés
| MEDLINE | ID: mdl-37193313
2.
Unbounded-Time Safety Verification of Guarded LTI Models with Inputs by Abstract Acceleration.
J Autom Reason
; 65(2): 157-203, 2021.
Artículo
en Inglés
| MEDLINE | ID: mdl-33678930
3.
Irreversible prey diapause as an optimal strategy of a physiologically extended Lotka-Volterra model.
J Math Biol
; 66(4-5): 767-94, 2013 Mar.
Artículo
en Inglés
| MEDLINE | ID: mdl-23070213
4.
Cell packing influences planar cell polarity signaling.
Proc Natl Acad Sci U S A
; 105(48): 18800-5, 2008 Dec 02.
Artículo
en Inglés
| MEDLINE | ID: mdl-19022903
5.
The Impact of Cheering on Sports Performance: Comparison of Serie A Statistics Before and During COVID-19.
Cureus
; 13(8): e17382, 2021 Aug.
Artículo
en Inglés
| MEDLINE | ID: mdl-34584792
6.
Automated formal synthesis of provably safe digital controllers for continuous plants.
Acta Inform
; 57(1): 223-244, 2020.
Artículo
en Inglés
| MEDLINE | ID: mdl-32189718
7.
Do weather conditions influence the onset of renal colic? A novel approach to analysis.
Urol Int
; 80(1): 19-25, 2008.
Artículo
en Inglés
| MEDLINE | ID: mdl-18204228
8.
Flux response of glycolysis and storage metabolism during rapid feast/famine conditions in Penicillium chrysogenum using dynamic (13)C labeling.
Biotechnol J
; 9(3): 372-85, 2014 Mar.
Artículo
en Inglés
| MEDLINE | ID: mdl-24376125
9.
Joining or opting out of a Lotka-Volterra game between predators and prey: does the best strategy depend on modelling energy lost and gained?
Interface Focus
; 3(6): 20130034, 2013 Dec 06.
Artículo
en Inglés
| MEDLINE | ID: mdl-24516720
10.
A mathematical model to study the dynamics of epithelial cellular networks.
IEEE/ACM Trans Comput Biol Bioinform
; 9(6): 1607-20, 2012.
Artículo
en Inglés
| MEDLINE | ID: mdl-23221083
11.
A toolkit to enable hydrocarbon conversion in aqueous environments.
J Vis Exp
; (68): e4182, 2012 Oct 02.
Artículo
en Inglés
| MEDLINE | ID: mdl-23052445
Resultados
1 -
11
de 11
1
Próxima >
>>