Real-time control of smart grid will require fast and accurate implementation of intelligent monitoring and decision making techniques. Intelligent methods with faster speed and better accuracy will be possible by implementing in parallel on high performance computing platforms. Such methods need to be rigorously tested in simulations before implementing in actual systems. Therefore, integratio...

The ubiquity of smartphones have led to the emergence of mobile crowdsourcing markets, where several tens of thousands of smartphone users participate to perform tasks in the physical world. Mobile crowdsourcing platforms are uniquely different from their online counterparts in that they cater to smartphone users, require spatial mobility, and have tasks that involve more data collection and le...

We demonstrate how combinatory molecular computation allows parallel selfassembly of several kinds of nanomembranes and nanotubes. One such nanomembrane is a square grid constructed of cross-linked horizontal and vertical chains. We show that a relatively minor change causes it to self-assemble into a nanotube with the same cross-linked structure. A second nanomembrane is a monolayer arranged i...

Classical control systems utilize implicit analytical models and select inputs using numerical computation in order to achieve desired plant performance in real time. Artificial intelligence planning systems utilize explicit symbolic or logical models of discrete operations and construct consistent planned sequences using symbolic reasoning to achieve specified task goals. In the development of...

Bounded Model Checking (BMC) is one of the well known SAT based symbolic model checking techniques. It consists in searching for a counterexample of a particular length, and generating a propositional formula that is satisfiable iff such a counterexample exists. The BMC method is feasible for the various classes of temporal logic; in particular it is feasible for TECTL (the existential fragment...

Genetic Algorithms have been successful in several practical appliances and obtained great prominence among the techniques of Evolutionary Computation. A large portion of methods and parameters adopted in its use are heuristic or random choices, which remain unchanged throughout the execution once they are set. This can lead to a certain lack of exploration of the search surface and also compro...

Biomolecular Computation (BMC) is computation done at the molecular scale, using biotechnology techniques. This paper discusses the underlying biotechnology that BMC may utilize, and surveys a number of distinct paradigms for doing BMC. We also identify a number of key future experimental milestones for the eld of BMC.

People would like to communicate, learn, share, create and access information, as well as interact with objects in the physical environment, spontaneously and effortlessly as they go about their everyday lives. The field of Ubiquitous Computing aims to realize the vision that people can live harmoniously with technologies in today’s environment, analogous to the vision of Eden in which people l...

The Raven's Progressive Matrices (RPM) test is a commonly used test of intelligence. The literature suggests a variety of problem-solving methods for addressing RPM problems. For a graduate-level artificial intelligence class in Fall 2014, we asked students to develop intelligent agents that could address 123 RPM-inspired problems, essentially crowdsourcing RPM problem solving. The students in ...

In the flotation process, the concentrate grade and the tailing grade are crucial technical indices which reflect the product quality and efficiency. There are strong nonlinearity and uncertainty in such technical indices dynamic behaviors, which can hardly be described using accurate mathematical model. The technical indices which cannot be measured online continuously vary with boundary condi...