Formal analysis remains outside the mainstream of system design practice. Interactive methods and tools are regarded by some to be on the margin of useful research in this area. Although it may seem relatively academic to some, it is vital that this the so-called “theorem proving approach” continue to be as vigorously explored as approaches favoring highly automated reasoning. Design derivation...

Annie’s Project: Farming in New Jersey’s Cities and the Urban Fringe focused on following five areas of risk identified by US Department Agriculture Economic Research Service: financial, production, marketing/price, legal/institutional, human/personnel. Additional education regarding urban farming topics included securing suitable land, dealing with contaminated soils alternative growing medias...

A single-image fringe projection profiling method suitable for dynamic applications was developed by combining an accurate camera calibration procedure and improved phase extraction procedures. The improved phase extraction process used a modified Hilbert transform with Laplacian pyramid algorithms to improve measurement accuracy. The camera calibration method used an accurate pinhole camera mo...

This paper offers a new way of estimating workers’ valuation of fringe benefits using data on workers’ choices among fringe benefits packages offered by the employer. This approach overcomes both the omitted variable problem and the identification problem that bias estimates of compensating differentials and supply and demand parameters for fringe benefits from the traditional hedonic model mos...