1. |
|
|
2. |
- Dzhigaev, D., et al.
(författare)
-
Bragg coherent x-ray diffractive imaging of a single indium phosphide nanowire
- 2016
-
Ingår i: Journal of Optics. - : IOP Publishing. - 2040-8978 .- 2040-8986. ; 18:6
-
Tidskriftsartikel (refereegranskat)abstract
- Three-dimensional (3D) Bragg coherent x-ray diffractive imaging (CXDI) with a nanofocused beam was applied to quantitatively map the internal strain field of a single indium phosphide nanowire. The quantitative values of the strain were obtained by pre-characterization of the beam profile with transmission ptychography on a test sample. Our measurements revealed the 3D strain distribution in a region of 150 nm below the catalyst Au particle. We observed a slight gradient of the strain in the range of 0.6% along the [111] growth direction of the nanowire. We also determined the spatial resolution in our measurements to be about 10 nm in the direction perpendicular to the facets of the nanowire. The CXDI measurements were compared with the finite element method simulations and show a good agreement with our experimental results. The proposed approach can become an effective tool for in operando studies of the nanowires.
|
|
3. |
- Baltopoulos, Ioannis G., et al.
(författare)
-
Maintaining Database Integrity with Refinement Types
- 2011
-
Ingår i: ECOOP 2011 – Object-Oriented Programming. - Berlin : Springer-Verlag. - 9783642226540 ; , s. 484-509
-
Konferensbidrag (refereegranskat)abstract
- Taking advantage of recent advances in automated theorem proving, we present a new method for determining whether database transactions preserve integrity constraints. We consider check constraints and referential-integrity constraints—extracted from SQL table declarations—and application-level in- variants expressed as formulas of first-order logic. Our motivation is to use static analysis of database transactions at development time, to catch bugs early, or during deployment, to allow only integrity-preserving stored procedures to be accepted. We work in the setting of a functional multi-tier language, where functional code is compiled to SQL that queries and updates a relational database. We use refinement types to track constraints on data and the underlying database. Our analysis uses a refinement-type checker, which relies on recent highly efficient SMT algorithms to check proof obligations. Our method is based on a list-processing semantics for an SQL fragment within the functional language, and is illustrated by a series of examples.
|
|
4. |
|
|
5. |
- Bergström, Lena, et al.
(författare)
-
Klimatförändringar och biologisk mångfald : Slutsatser från IPCC och IPBES i ett svenskt perspektiv.
- 2020
-
Rapport (övrigt vetenskapligt/konstnärligt)abstract
- De stora miljö- och samhällsproblemen kommer inte ensamma. De är sammankopplade på olika sätt. Detta innebär utmaningar men ger också möjligheter att utveckla åtgärder och lösningar. Det gäller både för klimatfrågan och frågan om att motverka förlusten av biologisk mångfald och ekosystem. Kunskapens betydelse för att hantera dessa och andra aspekter är ovärderlig, såväl kring specifika frågeställningar som kring omständigheter och förutsättningar för åtgärdsarbetet.Den här kunskapssammanställningen har gjorts av forskare från Lunds universitet och Sveriges lantbruksuniversitet på uppdrag av Naturvårdsverket och SMHI. Forskarna har tagit avstamp i de omfattande kunskapsutvärderingar som gjorts av den mellanstatliga klimatpanelen (IPCC) och den mellanstatliga plattformen för biologisk mångfald (IPBES). Slutsatserna från IPCC och IPBES sätts i ett svenskt perspektiv, bland annat genom utvalda exempel vilka fungerar som aktuella illustrationer av hur klimatförändringar påverkar biologisk mångfald och ekosystem i Sverige.
|
|
6. |
|
|
7. |
|
|
8. |
|
|
9. |
|
|
10. |
|
|