20 results
VeriFly: On-the-fly Assertion Checking via Incrementality
-
- Journal:
- Theory and Practice of Logic Programming / Volume 21 / Issue 6 / November 2021
- Published online by Cambridge University Press:
- 02 November 2021, pp. 768-784
-
- Article
- Export citation
Incremental and Modular Context-sensitive Analysis
-
- Journal:
- Theory and Practice of Logic Programming / Volume 21 / Issue 2 / March 2021
- Published online by Cambridge University Press:
- 19 January 2021, pp. 196-243
-
- Article
- Export citation
Statistical student's t-test in carbon nanospheres synthesis from cis-1,4-polyisoprene
-
- Journal:
- MRS Advances / Volume 5 / Issue 63 / 2020
- Published online by Cambridge University Press:
- 28 October 2020, pp. 3371-3377
- Print publication:
- 2020
-
- Article
- Export citation
Is cognitive impairment associated with antipsychotic dose and anticholinergic equivalent loads in first-episode psychosis?
-
- Journal:
- Psychological Medicine / Volume 48 / Issue 13 / October 2018
- Published online by Cambridge University Press:
- 14 January 2018, pp. 2247-2256
-
- Article
- Export citation
MWCNTs-polymer composites characterization through spectroscopies: FTIR and Raman
-
- Journal:
- MRS Advances / Volume 3 / Issue 63 / 2018
- Published online by Cambridge University Press:
- 04 December 2018, pp. 3757-3762
- Print publication:
- 2018
-
- Article
- Export citation
Electrical and mechanical properties enhancing of PMMA and PA6 by functionalized MWCNTs addition
-
- Journal:
- MRS Advances / Volume 3 / Issue 62 / 2018
- Published online by Cambridge University Press:
- 30 October 2018, pp. 3715-3721
- Print publication:
- 2018
-
- Article
- Export citation
Atlantic Extreme Wave Events During the Last Four Millennia in the Guadalquivir Estuary, SW Spain
-
- Journal:
- Quaternary Research / Volume 83 / Issue 1 / January 2015
- Published online by Cambridge University Press:
- 20 January 2017, pp. 24-40
-
- Article
- Export citation
Mwcnts-PSOH Dispersion and Interaction Using Low Magnetic Fields
-
- Journal:
- MRS Advances / Volume 2 / Issue 62 / 2017
- Published online by Cambridge University Press:
- 30 January 2018, pp. 3891-3897
- Print publication:
- 2017
-
- Article
- Export citation
Semantic code browsing*
-
- Journal:
- Theory and Practice of Logic Programming / Volume 16 / Issue 5-6 / September 2016
- Published online by Cambridge University Press:
- 14 October 2016, pp. 721-737
-
- Article
- Export citation
Male influence on the ovarian development of the crustacean parasite Bopyrina abbreviata (Isopoda, Bopyridae)
-
- Journal:
- Journal of the Marine Biological Association of the United Kingdom / Volume 97 / Issue 1 / February 2017
- Published online by Cambridge University Press:
- 15 February 2016, pp. 91-98
-
- Article
- Export citation
Amygdala activation and symptom dimensions in obsessive–compulsive disorder
-
- Journal:
- The British Journal of Psychiatry / Volume 204 / Issue 1 / January 2014
- Published online by Cambridge University Press:
- 02 January 2018, pp. 61-68
- Print publication:
- January 2014
-
- Article
-
- You have access
- HTML
- Export citation
Structural Aspects of Ternary Phase Ni/MoWS2 Catalyst: An Aberration Corrected HRTEM Study
-
- Journal:
- MRS Online Proceedings Library Archive / Volume 1548 / 2013
- Published online by Cambridge University Press:
- 30 September 2013, mrss13-1548-n05-05
- Print publication:
- 2013
-
- Article
- Export citation
Characterization of heteroepitaxial multiferroic interface BiFeO3/SrTiO3/Si by Cs-corrected STEM
-
- Journal:
- Microscopy and Microanalysis / Volume 18 / Issue S2 / July 2012
- Published online by Cambridge University Press:
- 23 November 2012, pp. 1448-1449
- Print publication:
- July 2012
-
- Article
- Export citation
Technical Study of a set of Metallic Artifacts from the Maya Site of Lagartero, Chiapas, Mexico
-
- Journal:
- MRS Online Proceedings Library Archive / Volume 1374 / 2012
- Published online by Cambridge University Press:
- 16 August 2012, pp. 125-135
- Print publication:
- 2012
-
- Article
- Export citation
Adaptive behavioral phenotypes enabled by spinal interneuron circuits: Making sense the Darwinian way
-
- Journal:
- Behavioral and Brain Sciences / Volume 15 / Issue 4 / December 1992
- Published online by Cambridge University Press:
- 19 May 2011, pp. 717-720
-
- Article
- Export citation
The creative brain: Symmetry breaking in motor imagery
-
- Journal:
- Behavioral and Brain Sciences / Volume 17 / Issue 2 / June 1994
- Published online by Cambridge University Press:
- 04 February 2010, pp. 204-205
-
- Article
- Export citation
Effects on goat milk quality of the presence of Mycoplasma spp. in herds without symptoms of contagious agalactia
-
- Journal:
- Journal of Dairy Research / Volume 76 / Issue 1 / February 2009
- Published online by Cambridge University Press:
- 16 October 2008, pp. 20-23
- Print publication:
- February 2009
-
- Article
- Export citation
Physical activity, energy balance and obesity
-
- Journal:
- Public Health Nutrition / Volume 10 / Issue 10A / October 2007
- Published online by Cambridge University Press:
- 01 October 2007, pp. 1194-1199
-
- Article
-
- You have access
- HTML
- Export citation
Long-term costs of using heavy shells in terrestrial hermit crabs (Coenobita compressus) and the limits of shell preference: an experimental study
-
- Journal:
- Journal of Zoology / Volume 266 / Issue 4 / August 2005
- Published online by Cambridge University Press:
- 20 July 2005, pp. 377-383
- Print publication:
- August 2005
-
- Article
- Export citation