Comparing ray-theoretical and finite-frequency teleseismic traveltimes: implications for constraining the ratio of S-wave to P-wave velocity variations in the lower mantle by Chaves, CAM, Ritsema, J, Koelemeijer, P

DSValidator: an automated counterexample reproducibility tool for digital systems by Chaves, L, Bessa, I, Cordeiro, L, Kroening, D

Verifying Digital Systems with MATLAB by Chaves, L, Bessa, I, Cordeiro, L, Kroening, D, Filho, E

Counterexample guided inductive optimization applied to mobile robots path planning by Araújo, R, Ribeiro, A, Bessa, I, Cordeiro, L, Chaves Filho, J

Formal non-fragile stability verification of digital control systems with uncertainty by Bessa, I, Ismail, H, Palhares, R, Cordeiro, L, Chaves Filho, J

Counterexample guided inductive optimization based on satisfiability modulo theories by Araújo, R, Albuquerque, H, Bessa, d, Cordeiro, L, Chaves Filho, J

Verifying digital systems with MATLAB by Chaves, L, Bessa, I, Cordeiro, L, Kroening, D, Lima Filho, E

Responses of soil microbiota and nematodes to application of organic and inorganic fertilizers in grassland columns by Ikoyi, I, Egeter, B, Chaves, C, Ahmed, M, Fowler, A, Schmalenberger, A

Emergence of NK-cell progenitors and functionally competent NK-cell lineage subsets in the early mouse embryo. by Tang, Y, Peitzsch, C, Charoudeh, H, Cheng, M, Chaves, P, Jacobsen, SE, Sitnicka, E

Diversity of functional trade‐offs enhances survival after fire in Neotropical savanna species by Scalon, M, Chaves Bicalho Domingos, F, Alves Da Cruz, W, Marimon, B, Marimon, B, Oliveras, I

Neglect-like visual exploration behaviour after theta burst transcranial magnetic stimulation of the right posterior parietal cortex. by Nyffeler, T, Cazzoli, D, Wurtz, P, Lüthi, M, von Wartburg, R, Chaves, S, Déruaz, A, Hess, C, Müri, R

Spontaneous symmetry breaking in vortex systems with two repulsive lengthscales by Curran, P. J., Desoky, W. M., Chaves, A., Bending, S. J., Milosevic, M. V., Moodera, Jagadeesh, Laloe, Jean-Baptiste

Get full text
Get full text

Linking physiology with behaviour: Functional specialisation of the visual field is reflected in gaze patterns during visual search. by Pflugshaupt, T, von Wartburg, R, Wurtz, P, Chaves, S, Déruaz, A, Nyffeler, T, von Arx, S, Luethi, M, Cazzoli, D, Mueri, R

DSSynth: An automated digital controller synthesis tool for physical plants by Abate, A, Bessa, I, Cattaruzza, D, Chaves, L, Cordeiro, L, David, C, Kesseli, P, Kroening, D, Polgreen, E

On the far-infrared metallicity diagnostics: applications to high-redshift galaxies by Rigopoulou, D, Pereira-Santaella, M, Magdis, G, Cooray, A, Farrah, D, Marques-Chaves, R, Perez-Fournon, I, Riechers, D

Seasonal influenza vaccination in Kenya: an economic evaluation using dynamic transmission modelling. by Dawa, J, Emukule, GO, Barasa, E, Widdowson, MA, Anzala, O, van Leeuwen, E, Baguelin, M, Chaves, SS, Eggo, RM

Vitamin D and risk of neuroimaging abnormalities by Littlejohns, T, Kos, K, Henley, W, Lang, I, Annweiler, C, Beauchet, O, Chaves, P, Kestenbaum, B, Kuller, L, Langa, K, Lopez, O, Llewellyn, D

Microbial differences between dental plaque and historic dental calculus are related to oral biofilm maturation stage by Velsko, I, Fellows Yates, J, Aron, F, Hagan, R, Frantz, L, Loe, L, Martinez, J, Chaves, E, Gosden, C, Larson, G, Warinner, C

Theta burst stimulation reduces disability during the activities of daily living in spatial neglect by Cazzoli, D, Rosenthal, C, Kennard, C, Müri, R, Schumacher, R, Von Arx, S, Chaves, S, Gutbrod, K, Bohlhalter, S, Vanbellingen, T, Bertschi, M, Kipfer, S, Bassetti, C, Nyffeler, T, Bauer, D

Theta burst stimulation reduces disability during the activities of daily living in spatial neglect. by Cazzoli, D, Müri, R, Schumacher, R, von Arx, S, Chaves, S, Gutbrod, K, Bohlhalter, S, Bauer, D, Vanbellingen, T, Bertschi, M, Kipfer, S, Rosenthal, C, Kennard, C, Bassetti, C, Nyffeler, T