The development of artificial intelligence (AI) technologies has far exceeded the investigation their relationship with society. Sociotechnical inquiry is needed to mitigate harms new whose potential impacts remain poorly understood. To date, subfields AI research develop primarily individual views on sociotechnics, while tools for external investigation, comparison, and cross-pollination are l...

Abstract Ultimate GemCutter verifies concurrent programs using the CEGAR paradigm, by generalizing from spurious counterexample traces to larger sets of correct traces. We integrate classical generalization with orthogonal across interleavings. Thereby, we are able prove correctness otherwise out-of-reach for interpolation-based verification. The competition results show significant advantages ...

FEED manufacturers are often forced by circumstances to focus on short-term concerns such as: How many tons were produced this week? How many customers do I have, or how much down time did I have this week? While important, short-term problems can cause manufacturers to focus on solving problems rather than pursuing the company’s mission. Manufacturers who regularly examine their company’s miss...

With the milk to feed ratio at 2.36 in February, 2008, dairy managers must carefully reviewing feed inputs relative to milk yield. A milk to feed ratio under 3 is a signal to reduce feed inputs. Feed efficiency (also referred to as milk performance efficiency and dairy efficiency) can be defined as pounds of 3.5%FCM (fat corrected milk) produced per pound of dry matter (DM) consumed. Monitoring...

This paper presents a novel long-stroke fast tool servo (FTS) system with counterbalance and its application to the diamond machining of microstructured surfaces. The FTS is driven by voice coil motor guided air bearings. A hybrid control algorithm which combines PID control, sliding mode feed-forward was specifically designed for ensures that it has less than 1% tracking error achieves ± 1 mm ...

This is a geometric approach to spatial involute gearing which has recently been developed by Jack Phillips [4]. Due to Phillips' fundamental theorems helical involute gears for parallel axes (Fig. 2) serve also as tooth flanks for a uniform transmission between skew axes, and the transmission ratio is even independent of the relative position of the axes.

We propose a framework of self-aware machines based on data collected using the MTConnect protocol. Beyond existing applications of OEE (Overall Equipment Effectiveness) reporting, the proposed framework integrates multiple sources of information for work-piece and machine condition monitoring, and equipment time to failure prediction in manufacturing processes, and provides feedback to shop su...

Marine algae have recently emerged as a new exciting source of biofuel. Our objective was to determine effect of supplemental defatted algal biomass from biofuel production on biochemical indicators of protein metabolism in plasma of weanling pigs. A total of 27 weanling pigs (BW = 10.69 ± 0.22 kg) were divided into 3 groups (n = 9/group), and fed a corn-soybean meal basal diet (BD), the BD plu...