| 1. |
- Glasser, Christian, et al.
(författare)
-
Circuit Satisfiability and Constraint Satisfaction Around Skolem Arithmetic
- 2016
-
Ingår i: Pursuit of the Universal. - Cham : SPRINGER INT PUBLISHING AG. - 9783319401898 - 9783319401881 ; , s. 323-332
-
Konferensbidrag (refereegranskat)abstract
- We study interactions between Skolem Arithmetic and certain classes of Circuit Satisfiability and Constraint Satisfaction Problems (CSPs). We revisit results of Gla beta er et al. [16] in the context of CSPs and settle the major open question from that paper, finding a certain satisfiability problem on circuits-involving complement, intersection, union and multiplication-to be decidable. This we prove using the decidability of Skolem Arithmetic. Then we solve a second question left open in [16] by proving a tight upper bound for the similar circuit satisfiability problem involving just intersection, union and multiplication. We continue by studying first-order expansions of Skolem Arithmetic without constants, (N; x), as CSPs. We find already here a rich landscape of problems with non-trivial instances that are in P as well as those that are NP-complete.
|
|
| 2. |
- Glasser, Christian, et al.
(författare)
-
Circuit satisfiability and constraint satisfaction around Skolem Arithmetic
- 2017
-
Ingår i: Theoretical Computer Science. - : ELSEVIER SCIENCE BV. - 0304-3975 .- 1879-2294. ; 703, s. 18-36
-
Tidskriftsartikel (refereegranskat)abstract
- We study interactions between Skolem Arithmetic and certain classes of Circuit Satisfiability and Constraint Satisfaction Problems (CSPs). We revisit results of Glasser et al. [1] in the context of CSPs and settle the major open question from that paper, finding a certain satisfiability problem on circuits-involving complement, intersection, union and multiplication-to be decidable. This we prove using the decidability of Skolem Arithmetic. Then we solve a second question left open in [1] by proving a tight upper bound for the similar circuit satisfiability problem involving just intersection, union and multiplication. We continue by studying first-order expansions of Skolem Arithmetic without constants, (N; x), as CSPs. We find already here a rich landscape of problems with non-trivial instances that are in P as well as those that are NP-complete. (C) 2017 Elsevier B.V. All rights reserved.
|
|
| 3. |
- Lenz, Thomas, et al.
(författare)
-
Microstructured organic ferroelectric thin film capacitors by solution micromolding
- 2015
-
Ingår i: Physica Status Solidi (a) applications and materials science. - : Wiley-VCH Verlagsgesellschaft. - 1862-6300 .- 1862-6319. ; 212:10, s. 2124-2132
-
Tidskriftsartikel (refereegranskat)abstract
- Ferroelectric nanostructures offer a promising route for novel integrated electronic devices such as non-volatile memories. Here we present a facile fabrication route for ferroelectric capacitors comprising a linear array of the ferroelectric random copolymer of vinylidenefluoride and trifluoroethylene (P(VDF-TrFE)) interdigitated with the electrically insulating polymer polyvinyl alcohol (PVA). Micrometer size line gratings of both polymers were fabricated over large area by solution micromolding, a soft lithography method. The binary linear arrays were realized by backfilling with the second polymer. We investigated in detail the device physics of the patterned capacitors. The electrical equivalent circuit is a linear capacitor of PVA in parallel with a ferroelectric capacitor of P(VDF-TrFE). The binary arrays are electrically characterized by both conventional Sawyer-Tower and shunt measurements. The dependence of the remanent polarization on the array topography is explained by numerical simulation of the electric field distribution.
|
|
| 4. |
- Pfeffer, W. Tad, et al.
(författare)
-
The Randolph Glacier Inventory : a globally complete inventory of glaciers
- 2014
-
Ingår i: Journal of Glaciology. - 0022-1430 .- 1727-5652. ; 60:221, s. 537-552
-
Tidskriftsartikel (refereegranskat)abstract
- The Randolph Glacier Inventory (RGI) is a globally complete collection of digital outlines of glaciers, excluding the ice sheets, developed to meet the needs of the Fifth Assessment of the Intergovernmental Panel on Climate Change for estimates of past and future mass balance. The RGI was created with limited resources in a short period. Priority was given to completeness of coverage, but a limited, uniform set of attributes is attached to each of the similar to 198 000 glaciers in its latest version, 3.2. Satellite imagery from 1999-2010 provided most of the outlines. Their total extent is estimated as 726 800 +/- 34 000 km(2). The uncertainty, about +/- 5%, is derived from careful single-glacier and basin-scale uncertainty estimates and comparisons with inventories that were not sources for the RGI. The main contributors to uncertainty are probably misinterpretation of seasonal snow cover and debris cover. These errors appear not to be normally distributed, and quantifying them reliably is an unsolved problem. Combined with digital elevation models, the RGI glacier outlines yield hypsometries that can be combined with atmospheric data or model outputs for analysis of the impacts of climatic change on glaciers. The RGI has already proved its value in the generation of significantly improved aggregate estimates of glacier mass changes and total volume, and thus actual and potential contributions to sea-level rise.
|
|
| 5. |
- Svagan, Anna J., et al.
(författare)
-
Cellulose Nanofiber/Nanocrystal Reinforced Capsules : A Fast and Facile Approach Toward Assembly of Liquid-Core Capsules with High Mechanical Stability
- 2014
-
Ingår i: Biomacromolecules. - : American Chemical Society (ACS). - 1525-7797 .- 1526-4602. ; 15:5, s. 1852-1859
-
Tidskriftsartikel (refereegranskat)abstract
- Liquid-core capsules of high mechanical stability open up for many solid state-like applications where functionality depending on liquid mobility is vital. Herein, a novel concept for fast and facile improvement of the mechanical properties of walls of liquid-core capsules is reported. By imitating nature's own way of enhancing the mechanical properties in liquid-core capsules, the parenchyma plant cells found in fruits and vegetables, a blend of short cellulose nanofibers (<1 mu m, NFC) and nanocrystals (CNC) was exploited in the creation of the capsule walls. The NFC/CNC blend was prepared from a new version of the classical wood pulp hydrolysis. The capsule shell consisted of a covalently (by aromatic diisocyanate) cross-linked NFC/CNC structure at the outer capsule wall and an inner layer dominated by aromatic polyurea. The mechanical properties revealed an effective capsule elastic modulus of 4.8 GPa at 17 wt % NFC/CNC loading, about six times higher compared to a neat aromatic polyurea capsule (0.79 GPa) and 3 orders of magnitude higher than previously reported capsules from regenerated cellulose (0.0074 GPa). The outstanding mechanical properties are ascribed to the dense nanofiber structure, present in the outer part of the capsule wall, that is formed by oriented NFC/CNC of high average aspect ratio (L/d similar to 70) and held together by both covalent (urethane bonds) and physical bonds (hydrogen bonds).
|
|
