Defense Advanced Research Projects AgencyTagged Content List

Mathematics

Ultimate truth

Showing 64 results for Math RSS
05/27/2015
The initial phase of a DARPA program that used publicly accessible online games to accelerate the verification of software has helped produce hundreds of thousands of program annotations in common software programming languages, adding credence to the idea that digital games can be an effective means of crowdsourcing solutions to software problems. The results have inspired DARPA to launch a new round of games with the goal of extending the successes to date and learning more about the approach’s potential.
06/25/2015
DARPA’s Defense Sciences Office (DSO) is sponsoring a two-day Proposers Day event to provide information to potential proposers on the objectives of an anticipated DSO Office-wide Broad Agency Announcement (BAA) solicitation. The event will be held on Tuesday and Wednesday, July 21-22, 2015, at the DARPA Conference Center (675 North Randolph Street, Arlington, VA 22203) and will be webcast for potential proposers who would like to participate remotely.
11/20/2015
Complex interconnected systems are increasingly becoming part of everyday life in both military and civilian environments. In the military domain, air-dominance system-of-systems concepts, such as those being developed under DARPA’s SoSITE effort, envision manned and unmanned aircraft linked by networks that seamlessly share data and resources in real time. In civilian settings such as urban “smart cities”, critical infrastructure systems such as water, power, transportation, communications and cyber are similarly integrated within complex networks. Dynamic systems such as these promise capabilities that are greater than the mere sum of their parts, as well as enhanced resilience when challenged by adversaries or natural disasters.
03/04/2016
The explosive growth of global digital connectivity has opened new possibilities for designing and conducting social science research. Once limited by practical constraints to experiments involving just a few dozen participants—often university students or other easily available groups—or to correlational studies of large datasets without any opportunity for determining causation, scientists can now engage thousands of diverse volunteers online and explore an expanded range of important topics and questions.
04/22/2016
Advanced materials are increasingly embodying counterintuitive properties, such as extreme strength and super lightness, while additive manufacturing and other new technologies are vastly improving the ability to fashion these novel materials into shapes that would previously have been extremely costly or even impossible to create. Generating new designs that fully exploit these properties, however, has proven extremely challenging.