search
Include:
484 Research products, page 1 of 49

  • Other research products
  • National Science Foundation

10
arrow_drop_down
Relevance
arrow_drop_down
  • Other research product . Other ORP type . 2012
    Open Access English
    Authors: 
    Botincan, Matko; Dodds, Michael David; Jagannathan, Suresh;
    Publisher: ACM
    Country: United Kingdom
    Project: NSF | CPA-SEL-T: Collaborative ... (0811631)

    We present an analysis which takes as its input a sequential program, augmented with annotations indicating potential parallelization opportunities, and a sequential proof, written in separation logic, and produces a correctly-synchronized parallelized program and proof...

  • English
    Authors: 
    Sabelli, Nora; Pea, Roy D.; Park, Menlo; Alto, Palo;
    Publisher: HAL CCSD
    Country: France
    Project: NSF | Learning and Intelligent ... (9720384), NSF | Learning & Intelligent Sy... (0124012)

    Center for Innovative Learning Technologies (CILT) report - 145 pages; This report presents a series of in-depth reflections about the work of the Center for Innovative Learning Technologies (CILT) from 1997 until 2004. Each member of the CILT team (Principal investigat...

  • Open Access English
    Authors: 
    Edward, T. Palazzolo; Archis, Ghate; Roberto, Dandi; Ashwin, Mahalingam; Noshir, Contractor; Raymond, Levitt;
    Country: Italy
    Project: NSF | KDI: Co-evolution of Know... (9980109)
  • Other research product . Other ORP type . 2009
    English
    Authors: 
    Bonami, Pierre; Kilinç, Mustafa; Linderoth, Jeff;
    Publisher: HAL CCSD
    Country: France
    Project: NSF | Collaborative Research: N... (0830153)

    Technical Report #1664, Computer Sciences Department, University of Wisconsin-Madison, 2009.; This paper provides a survey of recent progress and software for solving mixed integer nonlinear programs (MINLP) wherein the objective and constraints are defined by convex fu...

  • Open Access
    Authors: 
    Jarrard, R. D.; Bücker, C.; Wilson, T.; Paulsen, T. S.;
    Publisher: PANGAEA
    Country: Germany
    Project: NSF | Stress Field History, Cap... (9527319)
  • Open Access English
    Authors: 
    Hom, Jerry; Kremer, Ulrich;
    Publisher: Dagstuhl Seminar Proceedings. 05141 - Power-aware Computing Systems
    Country: Germany
    Project: NSF | CAREER: Compiler Optimiza... (9985050)

    Compiler support for power and energy management has been shown to be effective in reducing overall power dissipation and energy consumption of programs, for instance through compiler-directed resource hibernation and dynamic frequency and voltage scaling. The multi-pro...

  • Open Access English
    Authors: 
    Bonnett, C.; Wildemuth, B.; Sonnenwald, D. H.;
    Project: NSF | Center for Environmentall... (9876674)

    Interactivity is defined by Henri (1992) as a three-step process involving communication of information, a response to this information, and a reply to that first response. It is a key dimension of computer-mediated communication, particularly in the one-on-one communic...

  • Open Access
    Authors: 
    Powell, R.; Krissek, L. A.; van der Meer, J.;
    Publisher: PANGAEA
    Country: Germany
    Project: NSF | PYI: Experimental Study o... (9527482), NSF | Collaborative Research: I... (9527481)
  • Other research product . Other ORP type . 2019
    Closed Access
    Authors: 
    Gokce Ozcelik; Burcin Becerik-Gerber;
    Publisher: Zenodo
    Project: NSF | CAREER: A Human-Building ... (1351701)

    Interactive Sankey diagram mapping the HBI decisions on reported reasons

  • Open Access English
    Authors: 
    Hoarfrost, Adrienne; Snider, Rachel; Arnosti, Carol;
    Publisher: Frontiers Media S.A.
    Project: NSF | RAPID proposal: Site char... (1449604), NSF | Latitudinal and depth-rel... (1332881), NSF | Center for Dark Energy Bi... (0939564)

    Extracellular enzymatic activities initiate microbially-driven heterotrophic carbon cycling in subsurface sediments. While measurement of hydrolytic activities in sediments is fundamental to our understanding of carbon cycling, these measurements are often technically d...