Specware is a tool that supports the modular construction of formal speciications and the stepwise and componentwise reenement of such speciications into executable code. Specware may be viewed as a visual interface to an abstract data type providing a suite of composition and transformation operators for building speciications, reenements, code modules, etc. This view has been realized in the ...

Introduction. Consider a Jacobi form φ(τ, z) = ∑ n,r c(n, r)q ζ whose Fourier coefficients c(n, r) are algebraic numbers. Let p be an odd prime. In this paper we associate to φ a Λ-adic p-ordinary form in the sense of [4]. The construction comes from the map Dν introduced in [2], Theorem 3.1. This map associates to a Jacobi form a family of modular forms parametrised by ν. We obtain the two-var...

The work reported involves the construction of a large modular testbed using IEEE 1355 DS link technology. A thousand nodes will be interconnected by a switching fabric based on the STC104 packet switch. The system has been designed and constructed in a modular way in order to allow a variety of diierent network topologies to be investigated. Network throughput and latency have been studied for...

Modular approaches to design and use of ontologies are essential to the success of the Semantic web enterprise. We describe P-OWL (Package-based OWL) which extends OWL, a widely used ontology language that supports modular design, adaptation, use, and reuse of ontologies. P-OWL localizes the semantics of entities and relationships in OWL to modules called packages. P-OWL and the associated tool...

We report on the effects of a filter based on modular arithmetic that has been introduced recently into the EXACUS library. Our experiments with planar arrangements for curves up to degree four show that the exact construction and comparison of real algebraic numbers are some of the most time consuming operations when solving intersection problems for curved objects. In our experiments the modu...

We show that theAtiyah–Patodi–Singer reducedη-invariant of the twisted Dirac operator on a closed 4m− 1-dimensional spin manifold, with the twisted bundle being the Witten bundle appearing in the theory of elliptic genus, is a meromorphic modular form of weight 2m up to an integral q-series. We prove this result by combining our construction of certain modular characteristic forms associated to...

This paper deals with the modular analysis of distributed concurrent systems modelled by Petri nets. The main analysis techniques of such systems suffer from the well-known problem of the combinatory explosion of state space. In order to cope with this problem, we use a modular representation of the state space instead of the ordinary one. The modular representation, namely modular state space,...

We brieey present a rigorous and modular method, we are developing to design concurrent systems starting from their desired properties. This method is based on a mechanization of Manna-Pnueli's modular validity concept and on a modular temporal language in which properties are invariant under stuttering 1]. A compositional proof system is established to support both speciication veriica-tion an...

After formulating Conjecture A for p-adic L-functions defined over ordinary Hilbert modular Hida deformations on a totally real field F of degree d, we construct two p-adic L-functions of d+1-variable depending on the parity of weight as a partial result on Conjecture A. We will also state Conjecture B which is a corollary of Conjecture A but is important by itself. Main issues of the construct...

Mobile MODRO is a modular mobile robot developed as a test platform for indoor applications at the Institute of Robotics, ETH Ziirich. The modularity is ensured for all components of the robot: electronics, sensors, software and mechanics. The benchmark task for the modular mobile robot is planned to be the distribution of internal mail in the new institute building of the Institute of Robotics...