We prove the Hausdorff property at the monodromy invariant subspace of the Zucker extension of the family of intermediate Jacobians if the divisor at infinity is smooth. Using a recent theorem of Green, Griffiths and Kerr, it implies in this case the analyticity of the closure of the zero locus of an admissible normal function, generalizing a theorem of Brosnan and Pearlstein in the curve case ...

Branch and bound is a well known, all-purpose optimization strategy. It relies on the availability of a search tree evaluation function and maintains an upper bound cost as a reference for the pruning. This upper bound is updated each time a better solution is encountered. In this paper, we propose a non-diident optimization strategy that imposes this value. The computation of the bound is base...

involving the application of formal notations to analyse accident reports has shown that the quality of these accident reports is poor, so much so that their conclusions can be misleading. The proposed solution has been to use formal notations in combination with traditional analysis to produce a report, the conclusions of which can be veriied by formal reasoning. However, there are weaknesses ...

In this article, we formalize a torsion Z-module and a torsionfree Z-module. Especially, we prove formally that finitely generated torsion-free Z-modules are finite rank free. We also formalize properties related to rank of finite rank free Z-modules. The notion of Z-module is necessary for solving lattice problems, LLL (Lenstra, Lenstra, and Lovász) base reduction algorithm [20], cryptographic...

fuzzy groups and fuzzy theory have a lot of applications in several sciencessuch as mathematics, computer science, computer and electrical engineering.hence, counting the number of fuzzy subgroups of finite groups to classify them isan important issue in fuzzy theory. the main goal of this paper is to give an explicitformula for the number of fuzzy subgroups of a finite cyclic groupg z p1 z p 2...

first error data capture concept S. Koerner R. Bawidamann W. Fischer U. Helmich D. Klodt B. K. Tolan P. Wojciak Superior availability is one of the outstanding features of modern zSeries machines, among the most highly rated of any existing computer platforms in this reqard. Many features contribute to this characteristic, some in hardware, some in software. This paper describes the first error...

KURZFASSUNG Ausführungspläne sind ein Ergebnis der Anfrageoptimierung relationaler Datenbankoptimierer. Sie umfassen eine Menge von Ausführungsplanoperatoren und unterscheiden sich je nach Datenbankmanagementsystem auf verschiedene Weise. Dennoch repräsentieren sie auf abstrakter Ebene inhaltlich ähnliche Informationen, sodass es für grundlegende systemübergreifende Analysen oder auch Interoper...