In previous work we presented argumentation schemes to capture the CATO and value based theory construction approaches to reasoning with legal cases with factors. We formalised the schemes with ASPIC+, a formal representation of instantiated argumentation. In ASPIC+ the premises of a scheme may either be a factor provided in a knowledge base or established using a further argumentation scheme. ...

Abstract. This paper obtains all solvable 3-Lie algebras with the m-dimensional filiform 3-Lie algebra N (m ≥ 5) as a maximal hypo-nilpotent ideal, and proves that the m-dimensional filiform 3-Lie algebra N can’t be as the nilradical of solvable non-nilpotent 3-Lie algebras. By means of one dimensional extension of Lie algebras to the 3-Lie algebras, we get some classes of solvable Lie algebras...

We consider 6-dimensional nearly Kähler manifolds M and prove that any totally geodesic hypersurface N of M is a Sasaki-Einstein manifold, and so it has a hypo structure in the sense of [8]. We show that such a hypo structure defines a nearly Kähler structure on N × R, and a compact nearly Kähler structure with conical singularities on N 5 × S 1 when N is compact. Moreover, an extension of the ...

This paper presents the concept of one possible but unconventional implementation a Low Pressure Tube Transport (LPTT) system for network with station-to-station distances 300 km, based on use circular tunnels in which modular vehicles consisting three interconnected functional segments move wheels airless tires. The physical limitations associated high-speed vehicle travel are presented. reaso...

S U M M A R Y We report on more than 100 earthquake waveform doublets in five subduction zones, including an earthquake nest in Bucaramanga, Colombia. Each doublet is presumed to be a pair of earthquakes that repeat at essentially the same location. These doublets are important for studying earthquake physics, as well as temporal changes of the inner core. Particularly, our observation from one...

Today, with the proliferation of switch-based local area network standards, such as ATM (Asynchronous Transfer Mode), HIPPI (HIgh Performance Parallel Interface) and Fibre Channel, the issue of the eecient interconnection among connection-oriented switches arises. This paper presents a study of eecient arrangements of switches intended to support a local area network environment. This multi-swi...

The widespread use of multimedia networking applications has brought more requirements to the network, creating a need for end-to-end Quality of Service (QoS). The contention-free Point Coordination Function (PCF) with Round Robin scheme, where the Access Point controls all transmissions based on a polling mechanism, is defined in IEEE 802.11 standard to provide QoS service. This network suffer...

In the event of an emergency due to a fire or other crisis, a necessary but time consuming pre-requisite, that could delay the real rescue operation, is to establish whether the ground or area can be entered safely by human emergency workers. The objective of the VIEW-FINDER project is to develop robots which have the primary task of gathering data. The robots are equipped with sensors that det...

Efforts have been made for surface ozone concentration measurements considering secondary reactions via actinometry. Pyro heliometry, pyranometry and spectrophotometry, idometry in Amir Abad station of Tehran city center parallel. In actinometry method consideration were to show solar radiation all different filters green, yellow, red dark by means 525 nm, 630 695 nm 721 parallel the same time ...

Consider a two-station, heterogeneous parallel queueing system in which each station operates as an independent M/M/1 queue with its own infinite-capacity buffer. The input to the system is a Poisson process that splits among the two stations according to a Bernoulli splitting mechanism. However, upon arrival, a strategic customer initially joins one of the queues selectively and decides at sub...