All public logs
From Murray Wiki
Jump to navigationJump to search
Combined display of all available logs of Murray Wiki. You can narrow down the view by selecting a log type, the username (case-sensitive), or the affected page (also case-sensitive).
(newest | oldest) View (newer 20 | older 20) (20 | 50 | 100 | 250 | 500)- 19:29, 22 January 2023 Murray talk contribs created page SURF discussions, Feb 2023 (Created page with "Slots for talking with applicants and co-mentors about SURF projects. Please sign up for one of the slots below. All times are PST. __NOTOC__ In preparation for our conversation, please do the following: * SURF students should work with their co-mentors to find a time the meeting/Zoom call. (For Zoom calls, co-mentors should initiate.) * Please make sure you have read the material in the description of your project, so that you are prepared to talk about what the pro...")
- 14:30, 20 January 2023 User account Imalik talk contribs was created automatically
- 22:37, 15 January 2023 Murray talk contribs created page Paul Freemont, January 2023 (Created page with "Paul Freemont will visiting Caltech on 23-27 January. Sign up for times to meet with Paul here: == Monday == * 9:30 am: Richard Murray, 109 Steele Lab * 10 am: Cell-free discussion #1, 111 Keck * 11:45 am: Lunch at the Ath with students/postdocs * 1:00 pm: Open * 5:30 pm: Done for the day == Tuesday == * 9 am: EBRC PI&E meeting (Zoom) * 10 am: open * 10:45 am: Cell-free discussion #2, 111 Keck * 12:30 pm: Lunch at the Ath with Richard, Elisa Franco * 3:45 pm: Cell-fre...")
- 17:07, 7 January 2023 Murray talk contribs created page Reasoning over Test Specifications using Assume-Guarantee Contracts (Created page with "{{Paper |Title=Reasoning over Test Specifications using Assume-Guarantee Contracts |Authors=Apurva Badithela, Josefine B. Graebener, Inigo Incer, and Richard M. Murray |Source=Submitted, NASA Formal Methods (NFM), 2023 |Abstract=We establish a framework to reason about test campaigns described formally. First, we introduce the notion of a test structure — an object that carries i) the formal specifications of the system under test, and ii) the test objective, which is...")
- 17:00, 21 December 2022 Zmartine talk contribs uploaded a new version of File:Phage Infecting Synthetic Cell.png
- 16:57, 21 December 2022 Zmartine talk contribs uploaded a new version of File:Phage Infecting Synthetic Cell.png
- 16:56, 21 December 2022 Zmartine talk contribs created page File:Phage Infecting Synthetic Cell.png
- 16:56, 21 December 2022 Zmartine talk contribs uploaded File:Phage Infecting Synthetic Cell.png
- 05:35, 21 December 2022 Murray talk contribs moved page SURF 2023 Formal compositional design of electro-mechanical systems to SURF 2023: Formal compositional design of electro-mechanical systems without leaving a redirect
- 05:28, 21 December 2022 Murray talk contribs moved page SURF 2023: Minimal Viral Model to SURF 2023: Towards a Minimal Model for Virus-Host Interactions without leaving a redirect
- 03:02, 21 December 2022 Dajohnso talk contribs uploaded a new version of File:Integrated-membrane.png
- 16:12, 20 December 2022 Zmartine talk contribs created page SURF 2023: Minimal Viral Model (Created page with "= Towards a minimal model for virus-host interactions = '''2023 SURF project description''' * Mentor: Richard Murray * Co-mentors: Zachary Martinez <b>Main Idea:</b> Engineering a synthetic cell that can be infected by a natural virus. === Introduction === Viruses are abundant (~10<sup>31</sup>), ancient (> 4 billion years old), and evolve quickly (average of 10<sup>-3</sup> - 10<sup>-8</sup> mutation rate). Due to the immense diversity of viruses, bet...")
- 07:27, 20 December 2022 Yz473 talk contribs created page SURF 2023: Lysate Optimization to Extend Cell-Free Reaction Lifetime (Created page with "Mentor: Richard Murray Co-mentor: Yan Zhang <b> Introduction: </b> Cell-free expression systems harness the transcriptional and translational machinery of living cells to enable in vitro functions that are usually only effective in vivo [1]. Cell-free reactions can be created from purified recombinant elements comprising the minimum set of necessary transcriptional and translational machinery (PURE systems) [2] or via crude cell lysate from cells [3]. Of which, the...")
- 19:11, 19 December 2022 Inigo talk contribs created page File:SURF2023-CBD.png
- 19:11, 19 December 2022 Inigo talk contribs uploaded File:SURF2023-CBD.png
- 19:10, 19 December 2022 Inigo talk contribs created page SURF 2023 Formal compositional design of electro-mechanical systems (Created page with "Practitioners often rank the handling of specifications as one of the top challenges of systems engineering. Requirements expressed in natural languages can be conflicting, incomplete, unrealizable, etc. One way to alleviate this problem and the miscommunications it can produce in the supply chain is by making specifications formal (i.e., having well-defined mathematical meaning) and providing means for handling these specifications algebraically and computationally. Co...")
- 22:44, 18 December 2022 Murray talk contribs created page File:Afosr-t&e2.png
- 22:44, 18 December 2022 Murray talk contribs uploaded File:Afosr-t&e2.png
- 22:43, 18 December 2022 Murray talk contribs created page AFOSR T&E2 (Redirected page to Layered T&E for Safety-Critical Autonomous Systems) Tag: New redirect
- 22:34, 18 December 2022 Murray talk contribs created page Layered T&E for Safety-Critical Autonomous Systems (Created page with "{{subst:project boilerplate}} {{Project |Title=Layered T&E for Safety-Critical Autonomous Systems |Agency=AFOSR |Grant number=FA9550-22-1-0333 |Start date=30 Sep 2022 |End date=29 Sep 2025 |Support summary=1 postdoc, 1-2 graduate students |Reporting requirements=Annual program review + report |Project ID=AFOSR T&E2 |ack=Research supported by the AFOSR Test and Evaluation program, grant FA9550-22-1-0333 }}")
