We study the incorporation of generic types in aspect languages. Since advice acts likemethod update, such a study has to accommodate the subtleties of the interaction of classes,polymorphism and aspects. Indeed, simple examples demonstrate that current aspect com-piling techniques do not avoid runtime type errors.We explore type systems with polymorphism for two models of param...

To investigate the risk factors of scrub typhus infection in Beijing, China, a case-control study was carried out. Cases (n = 56) were defined as persons who were diagnosed by PCR and serological method within three years. Three neighborhood control subjects were selected by matching for age and occupation. Living at the edge of the village, living in the houses near grassland, vegetable field ...

An idling scheme of Synchronous Switch Harvesting on Inductor (SSHI) is proposed for piling up output voltage of the piezoelectric energy (PE) harvester cycle by cycle, to deal with the PE harvester’s low output voltage. The proposed rectifier integrates active diodes and a parallel-SSHI technique with a simple control scheme, and therefore has a high efficiency. The simulation results demonstr...

The pairing of documentation and archiving also appears in several other contexts, including ethics, access and training. United via ethics we find, for example, Dwyer (2006:40) emphasising that ‘... properly archiving collected data is far more respectful to a speaker community than piling it in the back of a closet’. Dwyer (2006:35) also identifies archiving as a ‘phase’ of documentation that...

We propose a general framework for differential and linear cryptanalysis of block ciphers when the block is not a bitstring. We prove piling-up lemmas for the generalized differential probability and the linear potential, and we study their lower bounds and average value, in particular in the case of permutations of Fp. Using this framework, we describe a toy cipher, that operates on blocks of ...

This paper discusses the common-pool problems that arise when multiple territorially overlapping governments share the authority to provide services and levy taxes in a common geographic area. Contrary to a traditional Tiebout model in which increasing the number of local governments increases competition and improves efficiency, when jurisdictions overlap, increasing the number of governments ...

Designing advanced methods of corrosion protection and increasing the bearing capacity pile foundations on saline clayey soils is a priority geotechnical task in Kazakhstan. The formation suffusion-resistant waterproof shell was achieved by silicatization borehole before concreting, installation mold into impregnation sodium silicate solution space between soil under pressure. After coagulation...

Distance weighted discrimination (DWD) was originally proposed to handle the data piling issue in the support vector machine. In this paper, we consider the sparse penalized DWD for high-dimensional classification. The state-of-the-art algorithm for solving the standard DWD is based on second-order cone programming, however such an algorithm does not work well for the sparse penalized DWD with ...

In order to investigate explosive properties of ethylene-air premixed gas in flameproof enclosure with interconnected structure under pressure piling, a 161.5 mm × 250 cylindrical and 500 connected by partition hole (inner diameter 15 mm) were studied. A mathematical model the fluid dynamics combustion reaction was selected perform numerical simulations this using finite volume method. Numerica...

A combined finite-discrete element method (FDEM) is proposed to model the dynamic fracture, fragmentation, and resultant muck-piling process during mining production by blast in underground mine. The key component of method, that is, transition from continuum discontinuum through fracture introduced detail, which makes superior continuum-based finite discontinuum-based discrete method. FDEM cal...