Abstract: Histone deacetylases inhibitors (HDACIs) and compositions containing the same are disclosed. Methods of treating diseases and conditions wherein inhibition of HDAC provides a benefit, like a cancer, a neurodegenerative disorder, a neurological disease, traumatic brain injury, stroke, malaria, an autoimmune disease, autism, and inflammation, also are disclosed.

Abstract: A method of generating assertions for verification of a hardware design expressed at a register transfer level (RTL) includes running simulation traces through the design to generate simulation data; extract domain-specific information about the design for variables of interest; execute a data mining algorithm with the simulation data and the domain-specific information, to generate a set of candidate assertions for variable(s) of interest through machine learning with respect to the domain-specific information, the candidate assertions being likely invariants; conduct formal verification on the design with respect to each candidate assertion by outputting as invariants the candidate assertions that pass verification; iteratively feed back into the algorithm a counterexample trace generated by each failed candidate assertion, each counterexample trace including at least one additional variable in the design not previously input into the data mining algorithm, to thus increase coverage of a state space of the

Abstract: An augmented, adaptive algorithm utilizing model predictive control (MPC) is developed for closed-loop glucose control in type 1 diabetes. A linear empirical input-output subject model is used with an MPC algorithm to regulate blood glucose online, where the subject model is recursively adapted, and the control signal for delivery of insulin and a counter-regulatory agent such as glucagon is based solely on online glucose concentration measurements. The MPC signal is synthesized by optimizing an augmented objective function that minimizes local insulin accumulation in the subcutaneous depot and control signal aggressiveness, while simultaneously regulating glucose concentration to a preset reference set point. The mathematical formulation governing the subcutaneous accumulation of administered insulin is derived based on nominal temporal values pertaining to the pharmacokinetics (timecourse of activity) of insulin in human, in terms of its absorption rate, peak absorption time, and overall time of action.

Abstract: The present invention is an electromagnetic energy, e.g., visible light, controlled low actuation voltage MEMS switch. Stimulation of photovoltaic diodes causes a switching that controls the flow of a signal. A metal or other suitable conductive pad moves freely up and down within brackets, without the need for deformation, in response to the diodes to either ground a signal or permit it to pass. The low activation voltage of the bracketed pad structure permits the use of a reasonable number of photovoltaic diodes to develop sufficient voltage for actuation of the switch, allowing the realization of the present electromagnetic energy, e.g., visible light, controlled MEMS switch in a minimized chip area. The photovoltaic diodes do not require an independent DC power source to operate the switch of the invention. Use of different wavelengths to excite different sets of diodes allows turning on and off of the switch of the invention.