Search results for " set"
showing 10 items of 2095 documents
Recess photomask contact lithography and the fabrication of coupled silicon photonic and plasmonic waveguide switches
2015
Display Omitted A lithography technique capable of printing submicron-sized features inside deep cavities is presented.A so-called recess photomask adapted to the wafer's topography is employed.Based on a standard mask aligner, Recess Photomask Contact Lithography has moderate cost.Its efficiency for a photonic/plasmonic switch application was demonstrated experimentally.The technique is extensible to any design and to wafers with multiple level recesses. A novel lithographic method is presented, based on the use of a mask aligner in the contact mode with a modified photomask, the so-called recess photomask; its goal is the printing of submicron-sized patterns into deep cavities of a chip, …
MR2645846 (2011f:46031) Day, Jerry B.; Lennard, Chris A characterization of the minimal invariant sets of Alspach's mapping. Nonlinear Anal. 73 (2010…
2011
Weakly compact, convex subsets in a Banach space need not have the fixed point property for nonexpansive mappings, as shown by D.E. Alspach in [Proc. Amer. Math. Soc. 82 (1981), no. 3, 423–424; MR0612733 (82j:47070)], where the example of a weakly compact, convex subset $C$ of $L_1[0,1]$ and of a nonexpansive self mapping $T$ on $C$ fixed point free is provided. Then, by Zorn's lemma, there exist weakly compact, convex, $T$-invariant fixed point free subsets of the set $C$ which are minimal with respect to these properties. But these minimal invariant sets have not been explicitly characterized. In the paper under review the authors give an explicit formula for the $n$th power $T^n$ of the …
Diachronic variation in the Middle Paleolithic settlement of Abrigo de la Quebrada (Chelva, Spain)
2017
Abstract This paper compares levels IV and VIII of Abrigo de la Quebrada. The study includes knapping technique, raw material, fauna, and the spatial distribution of lithic and bone remains. Although both levels correspond to cumulative palimpsests, patterns of resource management and use of space that suggest changes in the rhythm of occupation and the functionality of the settlements can be discerned. A change in mobility patterns probably underpins the differences between these two levels of Quebrada, but assessing this hypothesis is made difficult by the lack of comparable documentation for other sites in the region.
A Detailed Account of The Inconsistent Labelling Problem of Stutter-Preserving Partial-Order Reduction
2021
One of the most popular state-space reduction techniques for model checking is partial-order reduction (POR). Of the many different POR implementations, stubborn sets are a very versatile variant and have thus seen many different applications over the past 32 years. One of the early stubborn sets works shows how the basic conditions for reduction can be augmented to preserve stutter-trace equivalence, making stubborn sets suitable for model checking of linear-time properties. In this paper, we identify a flaw in the reasoning and show with a counter-example that stutter-trace equivalence is not necessarily preserved. We propose a stronger reduction condition and provide extensive new correc…
Extending and validating gestUI using technical action research
2017
gestUI is a model-driven method with tool support to define custom gestures and to include gesture-based interaction in existing user software system interfaces. So far, gestUI had been limited to the definition of the same gesture catalogue for all users of the software system. In this paper, we extend gestUI to permit individual users to define their own custom gesture catalogue and redefine some custom gestures in case of difficulty in using or remembering them. After extending gestUI, we applied technical action research from the FP7 CaaS project's Capability Design Tool with the aim of assessing its acceptance in an industrial setting. We also analysed its perceived ease-of-use and use…
Data Quality Model-based Testing of Information Systems
2020
This paper proposes a model-based testing approach by offering to use the data quality model (DQ-model) instead of the program’s control flow graph as a testing model. The DQ-model contains definitions and conditions for data objects to consider the data object as correct. The study proposes to automatically generate a complete test set (CTS) using a DQmodel that allows all data quality conditions to be tested, resulting in a full coverage of DQ-model. In addition, the possibility to check the conformity of the data to be entered and already stored in the database is ensured. The proposed alternative approach changes the testing process: (1) CTS can be generated prior to software developmen…
Imaging quality of multifocal intraocular lenses: automated assessment setup
2012
[EN] Purpose: A new technique for the assessment of the optical quality of multifocal intraocular lenses (MIOLs) under monochromatic and polychromatic illumination is presented. Methods: The system provides, in a totally automated procedure, the modulation transfer function (MTF) of the lens under test for different axial positions of the object. The artificial eye admits different artificial corneas, to optimise the axial resolution in the sampling of the MTF of the MIOL under test, and different pupils, to test the dependence of the optical performance of the MIOL on the eye pupil diameter. Results: The performance and sensitivity of the apparatus is tested with different commercial MIOLs…
Theoretical prediction of structural, vibrational and NMR parameters of plastic optical fiber (POF) material precursors. Cis and trans perhydro- and …
2014
Abstract Density functional theory (DFT) prediction of cis and trans perhydro- and perfluoro-2-methylene-4,5-dimethyl-1,3-dioxolanes structure, supported by vibrational analysis and calculation of multinuclear isotropic nuclear magnetic resonance (NMR) shieldings and indirect spin–spin couplings (SSCCs) was performed. The performance of the used methodology was verified on 1,3-dioxolane selected as model compound. The structures of hydrogenated and fluorinated monomers of POF materials were calculated using B3LYP and BLYP density functionals combined with 6-311 ++ G(3df,2pd) basis set. The BLYP/6-311++G(3df,2pd) level of theory was suggested for vibrational analysis. Gauge independent atomi…
Factors Governing the Chemical Stability and NMR Parameters of Uracil Tautomers and Its 5-Halogen Derivatives
2020
We report on the density functional theory (DFT) modelling of structural, energetic and NMR parameters of uracil and its derivatives (5-halogenouracil (5XU), X = F, Cl, Br and I) in vacuum and in water using the polarizable continuum model (PCM) and the solvent model density (SMD) approach. On the basis of the obtained results, we conclude that the intramolecular electrostatic interactions are the main factors governing the stability of the six tautomeric forms of uracil and 5XU. Two indices of aromaticity, the harmonic oscillator model of aromaticity (HOMA), satisfying the geometric criterion, and the nuclear independent chemical shift (NICS), were applied to evaluate the aromaticity of ur…
DFT study of zigzag (n, 0) single-walled carbon nanotubes: 13C NMR chemical shifts
2016
Abstract 13 C NMR chemical shifts of selected finite-size models of pristine zigzag single walled carbon nanotubes (SWCNTs) with a diameter of ∼0.4–0.8 nm and length up to 2.2 nm were studied theoretically. Results for finite SWCNTs models containing 1, 4 and 10 adjacent bamboo-type units were compared with data obtained for infinite tubes in order to estimate the reliability of small finite models in predicting magnetic properties of real-size nanotubes and to assess their tube-length dependence. SWCNTs were fully optimized using unrestricted density functional theory (DFT-UB3LYP/6-31G*). Cyclacenes, as the shortest models of open-ended zigzag SWCNTs, with systematically varying diameter w…