To save content items to your account,
please confirm that you agree to abide by our usage policies.
If this is the first time you use this feature, you will be asked to authorise Cambridge Core to connect with your account.
Find out more about saving content to .
To save content items to your Kindle, first ensure email@example.com
is added to your Approved Personal Document E-mail List under your Personal Document Settings
on the Manage Your Content and Devices page of your Amazon account. Then enter the ‘name’ part
of your Kindle email address below.
Find out more about saving to your Kindle.
Note you can select to save to either the @free.kindle.com or @kindle.com variations.
‘@free.kindle.com’ emails are free but can only be saved to your device when it is connected to wi-fi.
‘@kindle.com’ emails can be delivered even when you are not connected to wi-fi, but note that service fees apply.
Maternal fish consumption exposes the fetus to beneficial nutrients and potentially adverse neurotoxicants. The current study investigated associations between maternal fish consumption and child neurodevelopmental outcomes. Maternal fish consumption was assessed in the Seychelles Child Development Study Nutrition Cohort 1 (n 229) using 4-day food diaries. Neurodevelopment was evaluated at 9 and 30 months, and 5 and 9 years with test batteries assessing twenty-six endpoints and covering multiple neurodevelopmental domains. Analyses used multiple linear regression with adjustment for covariates known to influence child neurodevelopment. This cohort consumed an average of 8 fish meals/week and the total fish intake during pregnancy was 106·8 (sd 61·9) g/d. Among the twenty-six endpoints evaluated in the primary analysis there was one beneficial association. Children whose mothers consumed larger quantities of fish performed marginally better on the Kaufman Brief Intelligence Test (a test of nonverbal intelligence) at age 5 years (β 0·003, 95 % CI (0, 0·005)). A secondary analysis dividing fish consumption into tertiles found no significant associations when comparing the highest and lowest consumption groups. In this cohort, where fish consumption is substantially higher than current global recommendations, maternal fish consumption during pregnancy was not beneficially or adversely associated with children’s neurodevelopmental outcomes.
Herbrand’s theorem is one of the most fundamental insights in logic. From the syntactic point of view, it suggests a compact representation of proofs in classical first- and higher-order logics by recording the information of which instances have been chosen for which quantifiers. This compact representation is known in the literature as Miller’s expansion tree proof. It is inherently analytic and hence corresponds to a cut-free sequent calculus proof. Recently several extensions of such proof representations to proofs with cuts have been proposed. These extensions are based on graphical formalisms similar to proof nets and are limited to prenex formulas.
In this paper, we present a new syntactic approach that directly extends Miller’s expansion trees by cuts and also covers non-prenex formulas. We describe a cut-elimination procedure for our expansion trees with cut that is based on the natural reduction steps and shows that it is weakly normalizing.
Hereby, we present a synthetic route for the production of wurtzite (WZ) CdSe nanocrystals (NCs), which are essential for further shell growing reaction (e.g. CdSe/CdS dot-in-rod (DRs) nanoheterostructures). Our continuous flow reactor set-up consists of a separate nucleation chamber and growth oven. Both components can be heated up to temperatures above 350 °C to guarantee WZ crystal structure.
Furthermore, we introduce DRs as the next powerful tool concerning biological imaging and assay detection. Using DRs in cell imaging results in an increased sensitivity due to the higher brightness compared to spherical core/shell/shell (CSS) nanocrystals.
We consider the following problem: Given a proof of the Skolemization of a formula F, what is the length of the shortest proof of F? For the restriction of this question to cut-free proofs we prove corresponding exponential upper and lower bounds.
Fulfilling the need for reproducible Quantum Dots (QDs) with certain spectroscopic features, high stability and luminescence we have established synthetic routes for the production of CdSe core as well as CdSe/shell particles in a continuous flow (cf) system. Our method features the deviation between nucleation and growth in two different parts of the system to mimic the well-known and often-used hot injection method for the synthesis of nanoparticles in organic solvents.
K2NiF4-type iron(III) oxides show a very common form of magnetic ordering, XY antiferromagnetic ordering within the layers combined with layer stacking based on alignment of spins in alternate layers. The Ising antiferromagnet Ca2MnO4 has been reported to have a doubled c-axis (ca 24Å) in the magnetic structure and we have found a similar stacking in the XY antiferromagnet Sr2FeO3F. We show here that this unusual c-axis doubling is related to the exposure of the material to air and suggest that in both Sr2FeO3F and Ca2MnO4 it may be related to the occupation of interstitial sites.
Email your librarian or administrator to recommend adding this to your organisation's collection.