Building science

Results: 15678



#Item
1October 9, 2018 Senator John Thune, Chairman Senator Bill Nelson, Ranking Member U.S. Senate Committee on Commerce, Science, & Transportation Russell Senate Office Building, Room 253 Washington, DC 20002

October 9, 2018 Senator John Thune, Chairman Senator Bill Nelson, Ranking Member U.S. Senate Committee on Commerce, Science, & Transportation Russell Senate Office Building, Room 253 Washington, DC 20002

Add to Reading List

Source URL: www.epic.org

Language: English - Date: 2018-10-09 19:25:42
2August 21, 2018 The Honorable John Thune, Chairman The Honorable Bill Nelson, Ranking Member U.S. Senate Committee on Commerce, Science, & Transportation 512 Dirksen Senate Office Building Washington, DC 20510

August 21, 2018 The Honorable John Thune, Chairman The Honorable Bill Nelson, Ranking Member U.S. Senate Committee on Commerce, Science, & Transportation 512 Dirksen Senate Office Building Washington, DC 20510

Add to Reading List

Source URL: www.epic.org

Language: English - Date: 2018-08-21 13:28:01
3Building the Billion-Mulmod PC Bo-Yin Yang Institute of Information Science Academia Sinica Taipei, Taiwan

Building the Billion-Mulmod PC Bo-Yin Yang Institute of Information Science Academia Sinica Taipei, Taiwan

Add to Reading List

Source URL: www.hyperelliptic.org

Language: English - Date: 2009-09-26 00:44:36
4June 27, 2018 The Honorable Ralph Abraham, Chairman The Honorable Don Beyer, Ranking Member House Committee on Science, Space, and Technology Subcommittee on Oversight 2321 Rayburn House Office Building

June 27, 2018 The Honorable Ralph Abraham, Chairman The Honorable Don Beyer, Ranking Member House Committee on Science, Space, and Technology Subcommittee on Oversight 2321 Rayburn House Office Building

Add to Reading List

Source URL: www.epic.org

Language: English - Date: 2018-06-27 07:52:28
5June 25, 2018 House Committee on Science, Space, and Technology Subcommittee on Research and Technology Subcommittee on Energy 2321 Rayburn House Office Building Washington, DC 20515

June 25, 2018 House Committee on Science, Space, and Technology Subcommittee on Research and Technology Subcommittee on Energy 2321 Rayburn House Office Building Washington, DC 20515

Add to Reading List

Source URL: www.epic.org

Language: English - Date: 2018-06-25 16:26:03
6Verifying Team Formation Protocols with Probabilistic Model Checking? Taolue Chen, Marta Kwiatkowska, David Parker, and Aistis Simaitis Department of Computer Science, University of Oxford, Wolfson Building, Parks Road,

Verifying Team Formation Protocols with Probabilistic Model Checking? Taolue Chen, Marta Kwiatkowska, David Parker, and Aistis Simaitis Department of Computer Science, University of Oxford, Wolfson Building, Parks Road,

Add to Reading List

Source URL: www.prismmodelchecker.org

Language: English - Date: 2012-05-10 09:21:45
7Building Power Consumption Models from Executable Timed I/O Automata Specifications ∗ Benoît Barbot , Marta Kwiatkowska, Alexandru Mereacre and Nicola Paoletti Department of Computer Science, University of Oxford, UK

Building Power Consumption Models from Executable Timed I/O Automata Specifications ∗ Benoît Barbot , Marta Kwiatkowska, Alexandru Mereacre and Nicola Paoletti Department of Computer Science, University of Oxford, UK

Add to Reading List

Source URL: qav.comlab.ox.ac.uk

Language: English - Date: 2016-02-03 11:53:39
    8August 15, 2018 The Honorable John Thune, Chairman The Honorable Bill Nelson, Ranking Member U.S. Senate Committee on Commerce, Science, & Transportation 512 Dirksen Senate Office Building Washington, DC 20510

    August 15, 2018 The Honorable John Thune, Chairman The Honorable Bill Nelson, Ranking Member U.S. Senate Committee on Commerce, Science, & Transportation 512 Dirksen Senate Office Building Washington, DC 20510

    Add to Reading List

    Source URL: www.epic.org

    Language: English - Date: 2018-08-15 13:36:42
    9October 9, 2018 Senator John Thune, Chairman Senator Bill Nelson, Ranking Member U.S. Senate Committee on Commerce, Science, & Transportation Russell Senate Office Building, Room 253 Washington, DC 20002

    October 9, 2018 Senator John Thune, Chairman Senator Bill Nelson, Ranking Member U.S. Senate Committee on Commerce, Science, & Transportation Russell Senate Office Building, Room 253 Washington, DC 20002

    Add to Reading List

    Source URL: www.epic.org

    Language: English - Date: 2018-10-09 19:06:46
    10September 24, 2018 The Honorable John Thune, Chairman The Honorable Bill Nelson, Ranking Member U.S. Senate Committee on Commerce, Science, and Transportation 512 Dirksen Senate Office Building Washington, DC 20510

    September 24, 2018 The Honorable John Thune, Chairman The Honorable Bill Nelson, Ranking Member U.S. Senate Committee on Commerce, Science, and Transportation 512 Dirksen Senate Office Building Washington, DC 20510

    Add to Reading List

    Source URL: www.epic.org

    Language: English - Date: 2018-09-24 14:29:22