Output Reachable Set Estimation and Verification for Multi-Layer Neural Networks

In this paper, the output reachable estimation and safety verification problems for multi-layer perceptron neural networks are addressed. First, a conception called maximum sensitivity in introduced and, for a class of multi-layer perceptrons whose activation functions are monotonic functions, the maximum sensitivity can be computed via solving convex optimization problems. Then, using a simulation-based method, the output reachable set estimation problem for neural networks is formulated into a chain of optimization problems. Finally, an automated safety verification is developed based on the output reachable set estimation result. An application to the safety verification for a robotic arm model with two joints is presented to show the effectiveness of proposed approaches.Comment: 8 pages, 9 figures, to appear in TNNL

Composted tobacco waste increases the yield and organoleptic quality of leaf mustard

Tobacco (Nicotiana tabacum) waste is produced in many countries and is phytotoxic due to the alkaloid content; in Vietnam the waste is usually burned causing air pollution. We composted tobacco waste with chicken manure in different proportions—1 t of waste ± accelerant (C1 and C2); 0.8 t of waste + 0.2 t of chicken manure ± accelerant (C3 and C4); and 0.7 t of waste + 0.3 t of chicken manure ± accelerant (C5 and C6)—for 30 d in covered heaps. Three mixtures containing the accelerant (C2, C4, and C6) reached temperatures of ∼55 °C, that 5s, hot enough to suppress disease and weeds. Composting decreased the alkaloid content from ∼6,000 to ∼200 mg kg−1, and C4 with a C/N ratio of 19:1, was used in a field trial. The compost treatments (0, 10, 15, and 20 t ha−1) were combined fertilizer with phosphorus (40 kg ha−1), nitrogen (60 kg ha−1) and potassium (90 kg ha−1) for leaf mustard (Brassica integrifolia). The yield increased from ∼17 to ∼29 t ha−1 with the amount of compost applied, and the nitrate concentration decreased concomitantly from ∼67 to ∼42 mg NO3–N kg−1 fresh weight, presumably due to ongoing composting (nitrogen drawdown). Organoleptic evaluation showed a preference for the crops grown with the compost amendments. Whether remains to be seen whether one-off compost applications >20 t ha−1 and repeated, large applications provide additional, long-term production benefits, or if the benefits may be outweighed by the accumulation of persistent, phytotoxic alkaloids

A Categorical Data Analysis on Financial Failures in Vietnam, 2007-2013

In this paper, we examined 256 cases of financial failure and fraud occuring during the recent Vietnam’s chaotic years from 2007 to 2013, employing methods of categorical data analysis. Reported results suggest that the rent-seeking approach, or resource-based orientation, alone does not help explain the outcome of a business intention while the association between Orientation and Approach is the best-fit predictor. Rampant financial collapse not only increases the cost of funds but also erodes trust in the economy. Entrepreneurship development and creativity capacity building are necessary to improve socio-economic conditions and the environment. This work also introduces intuitive and cognitive factors to predict ex-ante outcome of a financing scheme