Events for 11-2018

Instructors/Speakers Prof. Xiaowei HE Institute of Software Chinese Academy of Sciences China Abstract Peridynamics is a formulation of the classical elastic theory that was originally targeted at simulating deformable objects with discontinuities, especially fractures. In this talk, I will introduce how to reformulate classical continuum mechanics with the peridynamic theory. To get an intuitive model that can be easily controlled, we formulate the strain energy density function as a function parameterized by the dilatation and bond stretches, which can be decomposed into multiple one-dimensional functions independently. To account for nonlinear material behaviors, we also propose a set of nonlinear basis functions to help design a nonlinear strain energy function more easily. For an anisotropic material, we additionally introduce an anisotropic ...

Instructors/Speakers Prof. Mengchu ZHOU The Helen and John C. Hartmann Department of Electrical and Computer Engineering New Jersey Institute of Technology Newark, NJ 07102, USA Abstract An artificial neural network (ANN) that mimics the information processing mechanisms and procedures of neurons in human brains has achieved great success in many fields, e.g., classification, prediction and control. However, traditional ANNs suffer from many problems, such as the hard understanding problem, the slow and difficult training problem and the difficulty to scale them up. These drawbacks motivate us to develop a new dendritic neuron model (DNM) by considering the nonlinearity of synapses, not only for a better understanding of a biological neuronal system, but also for providing a more useful method for ...

Instructors/Speakers Prof. Naijun ZHAN State Key Lab of Computer Science Institute of Software Chinese Academy of Sciences Beijing Abstract Recently we propose an approach to designing embedded real-time systems formally. Using our approach, one can first build a graphical model of a system to be developed with Simulink/Stateflow (S/S), and then conduct extensive simulation. In order to verify the graphical model formally, we translate S/S diagrams into HCSP automatically. HCSP is a formal modeling language for hybrid systems, an extension of CSP by introducing differential equations to model continuous evolution and several kinds of interrupts to model the interaction between continuous evolution and discrete jumps. Using Hybrid Hoare Logic and its theorem prover, the translated HCSP model can be verified. ...

Instructors/Speakers Dr. Sahely BHADRA Computer Science and Engineering Indian Institute of Technology (IIT) Palakkad Abstract Motivation: In the analysis of metabolism, two distinct and complementary approaches are frequently used: Principal component analysis (PCA) and stoichiometric flux analysis. PCA is able to capture the main modes of variability in a set of experiments and does not make many prior assumptions about the data, but does not inherently take into account the flux mode structure of metabolism. Stoichiometric flux analysis methods, such as Flux Balance Analysis (FBA) and Elementary Mode Analysis, on the other hand, are able to capture the metabolic flux modes, however, they are primarily designed for the analysis of single samples at a time, and not best suited for ...

Instructors/Speakers Prof. Honghai LIU University of Portsmouth UK Abstract It requires innovative technologies and theoretical foundation of sensing and analytics as increasing complexity of modern systems with humans involved actively. The state of the art in human machine interface is largely dominant by solutions that are ad-hoc and application dependent. This talk attempts to summarize challenges for sensing and analytics from the perspective of human-machine systems, and presents a computational framework aiming at anchoring behaviors to hardcoded features. Two projects will be introduced to showcase the framework: human hand skill transfer and interaction with children with autism spectrum disorders. The talk will conclude with comments on open issues and challenges in human-machine systems. Biography Honghai Liu received his Ph.D from ...