OBJECTIVES The size of active network (C) of Iranian population is a very important parameter to estimate the size of unknown population using Network Scale Up (NSU) technique. However, there is little information about this parameter not only in Iran but also in other countries in Middle East region. Based on these needs, the aim of this paper is to estimate C for the Iranian population. MET...

The purpose of this note is to present a simple formula for the area of the medial parallelogram of a tetrahedron in terms of the lengths of the six edges, together with its derivation. It is not claimed that this formula is original, though diligent searches of standard sources of mensuration formulae, and inquiries to mathematicians in a variety of fields suggest that it is not generally know...

In this paper we propose to extend the current capabilities of automated reasoning systems by making use of techniques from integer programming We describe the architecture of an automated reasoning system based on a Herbrand procedure enumeration of formula instan ces on clauses The input are arbitrary sentences of rst order logic The translation into clauses is done incrementally and is contr...

This paper presents the results of hydraulic model tests on the stability of rubble mound breakwaters with armour layers of antifer cubes. The tests were performed using irregular waves. The effect of wave parameters and the structure slope on the stability of these artificial armour units has been investigated and the stability formulae have been derived. Finally a comparison between these for...

In this paper, we investigate the connection between closed Newton-Cotes formulae, trigonometrically-fitted methods, symplectic integrators and efficient integration of the Schr¨odinger equation. The study of multistep symplectic integrators is very poor although in the last decades several one step symplectic integrators have been produced based on symplectic geometry (see the relevant lit...

Lexical knowledge is increasingly important in language engineering. However, it is a dii-cult kind of knowledge to represent and reason with. Existing approaches to formalizing lexical knowledge have used languages with limited expressibility and in particular they have not addressed the context-dependent nature of lexical knowledge. Here we present a framework, based on default logic, called ...

Introduction The completeness of the classical propositional calculus allows us to give a deductive system consisting of finitely many axiom schemas and finitely many rules of inference, that permit us to pass from a formula or a pair of formulae to a syntactically related formula, in such a manner that the formulae obtained inductively from the axioms by repeated application of the rules are e...

We present a corpus of 2,380 natural language queries paired with machine readable formulae that can be executed against world wide geographic data of the OpenStreetMap (OSM) database. We use the corpus to learn an accurate semantic parser that builds the basis of a natural language interface to OSM. Furthermore, we use response-based learning on parser feedback to adapt a statistical machine t...