Electronics & Software

This week's Question: A recent study from Common Sense Media found that parents spend more than nine hours (9:22) a day with screen media, with the vast majority of that time being spent with personal screen media (7:43) and only a little more than 90 minutes devoted to work screen media. Most parents...

A machine learning system from the Massachusetts Institute of Technology (MIT) recognizes sounds by watching video. The neural network interprets natural sounds in terms of image categories, without hand-annotated training data.

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...