Electronics & Software

NASA’s Jet Propulsion Laboratory has developed a nano-electro-mechanical resonator (NEMR) based on vertically aligned carbon nanofibers (CNFs) that is suitable for applications requiring high sensitivity, broad tenability, low loss (high...

Particle shape is a very important property in many fields of research, and with many practical, diverse, and commercially important applications including pharmaceuticals, civil engineering, metallurgy, health, and food processing. Many of the methods used to evaluate the shapes of...

Libibvpp provides a C++ wrapper API to the libibverbs library. Libibverbs is the OpenIB library that provides the Verbs API for programming Infiniband hardware. It is written in C and provides a C API. Because the API is in C, it is up to the library user to do explicit resource management for the objects created through the API.

The demands for high-sensitivity and high-resolution radiometry have recently led the science community to examine the use of large deployable mesh reflectors, which have heretofore only been used in telecommunications applications.

Recurring Slope Lineae (RSL) are low-albedo features that appear and disappear seasonally on Martian slopes. They provide distinct surface markers that are thought to result from the activity of subsurface water. Reliable characterizations of RSL activity are needed to test this hypothesis....

JPL Operations Engineers (Operators) need to interact with their telemetry to assess the health of and successfully operate a spacecraft or rover. Operators must analyze the immediate data for health and understand the current state of these complex systems, but they also must be...

The technique of synthesizing state-machine-based hybrid controller flight software (FSW) from formal specifications is demonstrated utilizing two simple controller examples (i.e. a simple thermostat and a simple autonomous vehicle). Formal requirements for these...

The Intermediate Palomar Transient Factory (iPTF) is a visible-spectrum astronomy survey aimed at detecting “transient” events such as supernovae. Every night, a telescope at the Palomar observatory collects images of various regions of the sky and compares them to a set of reference...

Source code analysis typically requires the use of expensive and difficult-to-configure tools that support only a predefined set of standard checks. In some cases, it is possible to add customized checks, but doing so can be laborious and requires a deep understanding of each tool’s internal...

A new machine-learning training method developed at the University of Toronto enables neural networks to learn directly from human-defined rules. The achievement supports new possibilities for artificial intelligence in medical diagnostics and self-driving cars.

Motivated by public hazards associated with contaminated sources of drinking water, a group of scientists has successfully developed and tested tiny, glowing crystals that detect and trap heavy-metal toxins like mercury and lead.

North Carolina State University researchers will use unmanned aerial vehicles (UAVs) and insect cyborgs, or biobots, to map large, unfamiliar locations.