The Infona portal uses cookies, i.e. strings of text saved by a browser on the user's device. The portal can access those files and use them to remember the user's data, such as their chosen settings (screen view, interface language, etc.), or their login data. By using the Infona portal the user accepts automatic saving and using this information for portal operation purposes. More information on the subject can be found in the Privacy Policy and Terms of Service. By closing this window the user confirms that they have read the information on cookie usage, and they accept the privacy policy and the way cookies are used by the portal. You can change the cookie settings in your browser.
Verifying that hardware design implementations adhere to specifications is a time intensive and sometimes intractable problem due to the massive size of the system's state space. Formal methods techniques can be used to prove certain tractable specification properties; however, they are expensive, and often require subject matter experts to develop and solve. Nonetheless, hardware verification is...
To teach the computational science necessary to prepare STEM students for positions in both research and industry, faculty need HPC resources specifically tailored for their classrooms. Scholar was developed as a large-scale computing tool that faculty can use in their classrooms to teach HPC as well as scientific principles and experimentation. In this paper, we discuss the pedagogical need for a...
We present an analog implementation of a dynamical system for solving Boolean satisfiability, an NP-complete problem. Simulations of modest-sized hardware implementations in the presence of noise and integrator offset demonstrate that the algorithm is suitable for implementation in analog electronics.
In 2010 Naval Surface Warfare Center — Panama City Division (NSWC-PCD) developed a System Performance and Layered Analysis Tool (SPLAT) that evaluates candidate threat detection systems. Given a sensor deployment pattern, SPLAT combines sensor performances, scenario data, and pedestrian flow to analytically compute expected probability of detection (pd) and false alarm (pfa). Because the 2010 pedestrian...
nanoHUB.org is arguably the largest online nanotechnology user facility in the world. Just between July 2010 and June 2011 it served 177,823 users. 10,477 users ran 393,648 simulation jobs on a variety of computational resources ranging from HUB zero-based virtual execution hosts for rapid, interactive runs as well as grid-based resources for computationally-intense runs. We believe that as such our...
We introduce RuleBender, a novel visualization system for the integrated visualization, modeling and simulation of rule-based intra-cellular biochemistry. Rule-based modeling (RBM) is a powerful and increasingly popular approach to modeling cell signaling networks. However, novel visual tools are needed in order to make RBM accessible to a broad range of users, to make specification of models less...
An approximate method for determining the statistical properties of an FDTD Analysis has been derived, allowing the determination of the mean and the variance of an FDTD simulation. This stochastic simulator progresses in the same fashion as an FDTD simulation progresses. The variance-wave builds and propagates with reflections occurring at dielectric boundaries. Computer overhead is reduced, i.e...
The National Spherical Torus Experiment (NSTX) is being upgraded to increase plasma current to 2 MA and central toroidal magnetic field to 1 Tesla [1]. The upgrades include a replacement of the centerstack and addition of a second neutral beam. The Inner legs of the TF coil which are at the core of the new larger NSTX upgrade center stack are designed to carry twice the current of the existing TF...
The MapReduce pattern popularized by Google has successfully been utilized in several scientific applications. In this paper, it is investigated whether a MapReduce approach utilizing on-demand resources from a Cloud is beneficial to perform simulation tasks in the area of Systems Biology and whether it can be seamlessly integrated into a service-oriented scientific workflow framework. In particular,...
LUDOCORE is a logical “game engine”, linking game rules as reasoned about by game designers to the formal logic used by automated reasoning tools in AI. A key challenge in designing this bridge is engineering a concise, safe, and flexible representation that is compatible with the semantics of the games that logical models created with our engine intend to represent. Building on the event calculus,...
In this paper, we present a new framework for non-rigid structure from motion (NRSFM) that simultaneously addresses three significant challenges: severe occlusion, perspective camera projection, and large non-linear deformation. We introduce a concept called a model graph, which greatly reduces the computational cost of discovering groups of input images that depict consistent 3D shapes. A 3D model...
Epidemiological studies have suggested that increased soy consumption is associated with reduced cancer occurrence. Genistein, a soy isoflavone, has been reported to inhibit the growth of human tumor cells although the involved molecular mechanisms are not clearly defined. Here we report that genistein inhibits the proteasomal chymotrypsin-like activity in vitro and in vivo. Computational docking...
Set the date range to filter the displayed results. You can set a starting date, ending date or both. You can enter the dates manually or choose them from the calendar.