Classical logic enforces the separation of individuals and predicates, linear logic draws them together via interaction; these are not right-orwrong alternatives but dual or complementary logics. Linear logic is an incomplete realization of this duality. While its completion is not essential for the development and maintenance of logic, it is crucial for its application. We outline the “four-sq...

A new algorithm is proposed for detection of corners and other high curvature points in planar curves. A corner is deened as a location where a triangle with speciied opening angle and size can be inscribed in the curve. The tests compare the new algorithm to four alternative algorithms for corner detection.

This paper presents the results of a study on the axial compressive strength of columnsstrengthened with FRP wrap. The experimental part of the study included testing 6 reinforcedconcrete columns in two series. The first series comprised three similar circular reinforced concretecolumns strengthened with FRP wrap. The second series consisted of three similar square columns,two with sharp corner...

This paper deals with the design of novel sub-1-V bandgap reference circuit using only MOS transistors in 0.18 μm CMOS technology, for a supply voltage of 1.8V. The circuit produces a voltage reference of 466.5 mV at 27C with a temperature coefficient of 28.4 ppm/C in the range of -20 to +120C. The power supply rejection of circuit is -30 dB at 8 KHz and this rejection further increase to -50 d...

The syntheses and physical properties are reported for three single-molecule magnets (SMMs) with the composition [Ni(hmp)(ROH)Cl]4, where R is CH3 (complex 1), CH2CH3 (complex 2) or CH2CH2C(CH3)3 (complex 3) and hmp is the monoanion of 2-hydroxymethylpyridine. The core of each complex is a distorted cube formed by four Ni ions and four alkoxide hmp oxygen atoms at alternating corners. Ferromagn...

A non-degenerate rectangular subdivision is a subdivision of a rectangle into a set of non-overlapping rectangles S, such that no four rectangles meet in a point. We consider a problem that Katz and colleagues call strong polychromatic four-colouring: Colouring the vertices of the subdivision with four colours, such that each rectangle of S has all colours among its four corners. By considering...

BACKGROUND Pedestrians distracted by digital devices or other activities are at a higher risk of injury as they cross streets. We sought to describe the incidence of pedestrians distracted by digital devices or other activities at two highly traveled urban intersections after the implementation of a pedestrian safety intervention at one of the intersections. METHODS This was an observational ...