The amalgamation property (AP) is of particular interest in the study of residuated lattices due to its relationship with various syntactic interpolation properties of substructural logics. There are no examples to date of non-commutative varieties of residuated lattices that satisfy the AP. The variety SemRL of semilinear residuated lattices is a natural candidate for enjoying this property, s...

BACKGROUND In view of the increasing pressure on the UK's maternity units, new methods of labour induction are required to alleviate the burden on the National Health Service, while maintaining the quality of care for women during delivery. A model was developed to evaluate the resource use associated with misoprostol vaginal inserts (MVIs) and dinoprostone vaginal inserts (DVIs) for the induct...

10 Quantification of electroinactive dopants in conductive polypyrrole (PPY) films was performed with electrochemistry combined on-line with inductively coupled plasma-atomic emission spectrometry (EC/ICP-AES). Anion (HSO4−) ejection out of a PPY film was first chosen as a model system and the results obtained with EC/ICP-AES were found to be comparable with values deduced by electrochemical qu...

In this paper we present a new improved design for multi-object auctions and report on the results of tests of that design. We merge the better features of two extant but very different auction processes, the Milgrom FCC design (see Milgrom (1995)) and the Adaptive User Selection Mechanism (AUSM) of Banks et al. (1989)). Then, by adding one crucial new feature, we are able to create a new desig...

13. Device-independent file format. Before we get into the details of DVItype, we need to know exactly what DVI files are. The form of such files was designed by David R. Fuchs in 1979. Almost any reasonable typesetting device can be driven by a program that takes DVI files as input, and dozens of such DVI-to-whatever programs have been written. Thus, it is possible to print the output of docum...

Distributed virtual inertia (DVI) is a promising method in frequency support provision for power system transition toward ≈100% electronic–based generation. In this approach, the provided by discharging or charging dc capacitors adhered to grid–tied inverters distributed grid. However, dc–bus voltage drifts with time from its nominal conventional DVI technique. Herein, we suggest modified DVI–b...

Drought characterization and risk assessment are of great significance due to drought’s negative impact on human health, economy, ecosystem. This paper investigates drought in the Lempa River basin Central America. We applied Standardized Evapotranspiration Deficit Index (SEDI) for hazard index (DHI) calculation. Although SEDI’s applicability is theoretically proven, it has been rarely applied....

Abstract. This paper provides convergence analysis of regularized time-stepping methods for the differential variational inequality (DVI), which consists of a system of ordinary differential equations and a parametric variational inequality (PVI) as the constraint. The PVI often has multiple solutions at each step of a time-stepping method and it is hard to choose an appropriate solution for gu...

We here report a statistical fact in support of the basic assumption underlying our model. The matching condition we employ dictates a certain correlation between the sets of regulated genes by each TF: if the binding sequence of a TF (A) is embedded in that of a TF (B), then the set of genes {Gi}B regulated by TFB in our model is a subset of {Gi}A. A similar investigation of the yeast database...