motivation
play

Motivation SMT-solvers are routinely used in program analysis: - PowerPoint PPT Presentation

Oct 24, 2023 •210 likes •913 views

Extending the Theory of Arrays: st , , and Beyond Stephan Falke , Florian Merz, and Carsten Sinz INSTITUTE FOR THEORETICAL COMPUTER SCIENCE (ITI) 0 08.07.2013 S. Falke , F. Merz, C. Sinz - Extending the Theory of

  1. Extending the Theory of Arrays: ♠❡♠s❡t , ♠❡♠❝♣② , and Beyond Stephan Falke , Florian Merz, and Carsten Sinz INSTITUTE FOR THEORETICAL COMPUTER SCIENCE (ITI) 0 08.07.2013 S. Falke , F. Merz, C. Sinz - Extending the Theory of Arrays ITI KIT – University of the State of Baden-Wuerttemberg and www.kit.edu National Research Center of the Helmholtz Association

  2. Motivation SMT-solvers are routinely used in program analysis: Deductive program verification Symbolic execution Software bounded model checking . . . 1 08.07.2013 S. Falke , F. Merz, C. Sinz - Extending the Theory of Arrays ITI

  3. Motivation SMT-solvers are routinely used in program analysis: Deductive program verification Symbolic execution Software bounded model checking . . . Prominent theory: T A (theory of arrays) Model arrays/structures/objects in the program Model main memory 1 08.07.2013 S. Falke , F. Merz, C. Sinz - Extending the Theory of Arrays ITI

  4. r❡❛❞ ✇r✐t❡ r❡❛❞ ✇r✐t❡ r❡❛❞ T A : The Theory of Arrays index terms t I :: = . . . element terms t E :: = . . . | r❡❛❞ ( t A , t I ) t A :: = a | ✇r✐t❡ ( t A , t I , t E ) array terms 2 08.07.2013 S. Falke , F. Merz, C. Sinz - Extending the Theory of Arrays ITI

  5. T A : The Theory of Arrays index terms t I :: = . . . element terms t E :: = . . . | r❡❛❞ ( t A , t I ) t A :: = a | ✇r✐t❡ ( t A , t I , t E ) array terms p = r = ⇒ r❡❛❞ ( ✇r✐t❡ ( a , p , v ) , r ) = v ¬ ( p = r ) = ⇒ r❡❛❞ ( ✇r✐t❡ ( a , p , v ) , r ) = r❡❛❞ ( a , r ) 2 08.07.2013 S. Falke , F. Merz, C. Sinz - Extending the Theory of Arrays ITI

  6. T A : The Theory of Arrays index terms t I :: = . . . element terms t E :: = . . . | r❡❛❞ ( t A , t I ) t A :: = a | ✇r✐t❡ ( t A , t I , t E ) array terms a write modifies the position written to . . . p = r = ⇒ r❡❛❞ ( ✇r✐t❡ ( a , p , v ) , r ) = v ¬ ( p = r ) = ⇒ r❡❛❞ ( ✇r✐t❡ ( a , p , v ) , r ) = r❡❛❞ ( a , r ) 2 08.07.2013 S. Falke , F. Merz, C. Sinz - Extending the Theory of Arrays ITI

  7. T A : The Theory of Arrays index terms t I :: = . . . element terms t E :: = . . . | r❡❛❞ ( t A , t I ) t A :: = a | ✇r✐t❡ ( t A , t I , t E ) array terms a write modifies the position written to . . . p = r = ⇒ r❡❛❞ ( ✇r✐t❡ ( a , p , v ) , r ) = v ¬ ( p = r ) = ⇒ r❡❛❞ ( ✇r✐t❡ ( a , p , v ) , r ) = r❡❛❞ ( a , r ) . . . and nothing else 2 08.07.2013 S. Falke , F. Merz, C. Sinz - Extending the Theory of Arrays ITI

  8. Motivation How to model standard library functions such as ♠❡♠s❡t and ♠❡♠❝♣② ? ✈♦✐❞ ✯♠❡♠s❡t✭✈♦✐❞ ✯❞st✱ ✐♥t ❝✱ s✐③❡❴t ♥✮❀ ✈♦✐❞ ✯♠❡♠❝♣②✭✈♦✐❞ ✯❞st✱ ❝♦♥st ✈♦✐❞ ✯sr❝✱ s✐③❡❴t ♥✮❀ 3 08.07.2013 S. Falke , F. Merz, C. Sinz - Extending the Theory of Arrays ITI

  9. Motivation How to model standard library functions such as ♠❡♠s❡t and ♠❡♠❝♣② ? might not be constant! ✈♦✐❞ ✯♠❡♠s❡t✭✈♦✐❞ ✯❞st✱ ✐♥t ❝✱ s✐③❡❴t ♥✮❀ might not be constant! ✈♦✐❞ ✯♠❡♠❝♣②✭✈♦✐❞ ✯❞st✱ ❝♦♥st ✈♦✐❞ ✯sr❝✱ s✐③❡❴t ♥✮❀ 3 08.07.2013 S. Falke , F. Merz, C. Sinz - Extending the Theory of Arrays ITI

  10. Motivation ✳✳✳ ♠❡♠❝♣②✭❛✱ ❜✱ ✹✮❀ ✳✳✳ 4 08.07.2013 S. Falke , F. Merz, C. Sinz - Extending the Theory of Arrays ITI

  11. Motivation a 1 = ✇r✐t❡ ( a , 0 , r❡❛❞ ( b , 0 )) ✳✳✳ ♠❡♠❝♣②✭❛✱ ❜✱ ✹✮❀ ✳✳✳ 4 08.07.2013 S. Falke , F. Merz, C. Sinz - Extending the Theory of Arrays ITI

  12. Motivation a 1 = ✇r✐t❡ ( a , 0 , r❡❛❞ ( b , 0 )) a 2 = ✇r✐t❡ ( a 1 , 1 , r❡❛❞ ( b , 1 )) ✳✳✳ ♠❡♠❝♣②✭❛✱ ❜✱ ✹✮❀ ✳✳✳ 4 08.07.2013 S. Falke , F. Merz, C. Sinz - Extending the Theory of Arrays ITI

  13. Motivation a 1 = ✇r✐t❡ ( a , 0 , r❡❛❞ ( b , 0 )) a 2 = ✇r✐t❡ ( a 1 , 1 , r❡❛❞ ( b , 1 )) ✳✳✳ ♠❡♠❝♣②✭❛✱ ❜✱ ✹✮❀ a 3 = ✇r✐t❡ ( a 2 , 2 , r❡❛❞ ( b , 2 )) ✳✳✳ 4 08.07.2013 S. Falke , F. Merz, C. Sinz - Extending the Theory of Arrays ITI

  14. Motivation a 1 = ✇r✐t❡ ( a , 0 , r❡❛❞ ( b , 0 )) a 2 = ✇r✐t❡ ( a 1 , 1 , r❡❛❞ ( b , 1 )) ✳✳✳ ♠❡♠❝♣②✭❛✱ ❜✱ ✹✮❀ a 3 = ✇r✐t❡ ( a 2 , 2 , r❡❛❞ ( b , 2 )) ✳✳✳ a ′ = ✇r✐t❡ ( a 3 , 3 , r❡❛❞ ( b , 3 )) 4 08.07.2013 S. Falke , F. Merz, C. Sinz - Extending the Theory of Arrays ITI

  15. Motivation a 1 = ✇r✐t❡ ( a , 0 , r❡❛❞ ( b , 0 )) a 2 = ✇r✐t❡ ( a 1 , 1 , r❡❛❞ ( b , 1 )) ✳✳✳ ♠❡♠❝♣②✭❛✱ ❜✱ ✹✮❀ a 3 = ✇r✐t❡ ( a 2 , 2 , r❡❛❞ ( b , 2 )) ✳✳✳ a ′ = ✇r✐t❡ ( a 3 , 3 , r❡❛❞ ( b , 3 )) Does not scale well for large constants 4 08.07.2013 S. Falke , F. Merz, C. Sinz - Extending the Theory of Arrays ITI

  16. Motivation ✳✳✳ ♠❡♠❝♣②✭❛✱ ❜✱ ♥✮❀ ✳✳✳ 4 08.07.2013 S. Falke , F. Merz, C. Sinz - Extending the Theory of Arrays ITI

  17. Motivation ✳✳✳ ??? ♠❡♠❝♣②✭❛✱ ❜✱ ♥✮❀ ✳✳✳ 4 08.07.2013 S. Falke , F. Merz, C. Sinz - Extending the Theory of Arrays ITI

  18. Motivation ✳✳✳ a ′ = copy ( a , 0 , b , 0 , n ) ♠❡♠❝♣②✭❛✱ ❜✱ ♥✮❀ ✳✳✳ 4 08.07.2013 S. Falke , F. Merz, C. Sinz - Extending the Theory of Arrays ITI

  19. Motivation ✳✳✳ a ′ = λ i . ITE ( 0 ≤ i < n , r❡❛❞ ( b , i ) , r❡❛❞ ( a , i )) ♠❡♠❝♣②✭❛✱ ❜✱ ♥✮❀ ✳✳✳ 4 08.07.2013 S. Falke , F. Merz, C. Sinz - Extending the Theory of Arrays ITI

  20. Motivation ✳✳✳ a ′ = λ i . ITE ( 0 ≤ i < n , r❡❛❞ ( b , i ) , r❡❛❞ ( a , i )) ♠❡♠❝♣②✭❛✱ ❜✱ ♥✮❀ ✳✳✳ = ⇒ Extend T A by λ -terms that describe arrays 4 08.07.2013 S. Falke , F. Merz, C. Sinz - Extending the Theory of Arrays ITI

  21. Motivation ✳✳✳ ♠❡♠s❡t✭❛✱ ✈✱ ♥✮❀ ✳✳✳ 5 08.07.2013 S. Falke , F. Merz, C. Sinz - Extending the Theory of Arrays ITI

  22. Motivation ✳✳✳ a ′ = λ i . ITE ( 0 ≤ i < n , v , r❡❛❞ ( a , i )) ♠❡♠s❡t✭❛✱ ✈✱ ♥✮❀ ✳✳✳ 5 08.07.2013 S. Falke , F. Merz, C. Sinz - Extending the Theory of Arrays ITI

  23. Motivation ✐♥t ✐✱ ❥✱ ♥ ❂ ✳✳✳❀ ✐♥t ✯❛ ❂ ♠❛❧❧♦❝✭✷ ✯ ♥ ✯ s✐③❡♦❢✭✐♥t✮✮❀ ❢♦r ✭✐ ❂ ✵❀ ✐ ❁ ♥❀ ✰✰✐✮ ④ ❛❬✐❪ ❂ ✐ ✰ ✶❀ ⑥ ❢♦r ✭❥ ❂ ♥❀ ❥ ❁ ✷ ✯ ♥❀ ✰✰❥✮ ④ ❛❬❥❪ ❂ ✷ ✯ ❥❀ ⑥ 6 08.07.2013 S. Falke , F. Merz, C. Sinz - Extending the Theory of Arrays ITI

  24. Motivation ✐♥t ✐✱ ❥✱ ♥ ❂ ✳✳✳❀ ✐♥t ✯❛ ❂ ♠❛❧❧♦❝✭✷ ✯ ♥ ✯ s✐③❡♦❢✭✐♥t✮✮❀ ❢♦r ✭✐ ❂ ✵❀ ✐ ❁ ♥❀ ✰✰✐✮ ④ ❛❬✐❪ ❂ ✐ ✰ ✶❀ ⑥ ❢♦r ✭❥ ❂ ♥❀ ❥ ❁ ✷ ✯ ♥❀ ✰✰❥✮ ④ ❛❬❥❪ ❂ ✷ ✯ ❥❀ ⑥ a ′ = λ i . ITE ( 0 ≤ i < n , i + 1 , r❡❛❞ ( a , i )) 6 08.07.2013 S. Falke , F. Merz, C. Sinz - Extending the Theory of Arrays ITI

  25. Motivation ✐♥t ✐✱ ❥✱ ♥ ❂ ✳✳✳❀ ✐♥t ✯❛ ❂ ♠❛❧❧♦❝✭✷ ✯ ♥ ✯ s✐③❡♦❢✭✐♥t✮✮❀ ❢♦r ✭✐ ❂ ✵❀ ✐ ❁ ♥❀ ✰✰✐✮ ④ ❛❬✐❪ ❂ ✐ ✰ ✶❀ ⑥ ❢♦r ✭❥ ❂ ♥❀ ❥ ❁ ✷ ✯ ♥❀ ✰✰❥✮ ④ ❛❬❥❪ ❂ ✷ ✯ ❥❀ ⑥ a ′ = λ i . ITE ( 0 ≤ i < n , i + 1 , r❡❛❞ ( a , i )) a ′′ = λ j . ITE ( n ≤ j < 2 ∗ n , 2 ∗ j , r❡❛❞ ( a ′ , j )) 6 08.07.2013 S. Falke , F. Merz, C. Sinz - Extending the Theory of Arrays ITI

  26. Contributions 1 T λ A : an extension of T A with λ -terms 7 08.07.2013 S. Falke , F. Merz, C. Sinz - Extending the Theory of Arrays ITI

  27. Contributions 1 T λ A : an extension of T A with λ -terms 2 Satisfiability checking for T λ A 7 08.07.2013 S. Falke , F. Merz, C. Sinz - Extending the Theory of Arrays ITI

  28. ✇r✐t❡ r❡❛❞ T λ A : The Theory of Arrays with λ -Terms t I :: = . . . index terms element terms t E :: = . . . | r❡❛❞ ( t A , t I ) t A :: = a | ✇r✐t❡ ( t A , t I , t E ) array terms p = r = ⇒ r❡❛❞ ( ✇r✐t❡ ( a , p , v ) , r ) = v ¬ ( p = r ) = ⇒ r❡❛❞ ( ✇r✐t❡ ( a , p , v ) , r ) = r❡❛❞ ( a , r ) 8 08.07.2013 S. Falke , F. Merz, C. Sinz - Extending the Theory of Arrays ITI

  29. ✇r✐t❡ r❡❛❞ T λ A : The Theory of Arrays with λ -Terms t I :: = . . . index terms element terms t E :: = . . . | r❡❛❞ ( t A , t I ) t A :: = a | ✇r✐t❡ ( t A , t I , t E ) | λ i . t E array terms p = r = ⇒ r❡❛❞ ( ✇r✐t❡ ( a , p , v ) , r ) = v ¬ ( p = r ) = ⇒ r❡❛❞ ( ✇r✐t❡ ( a , p , v ) , r ) = r❡❛❞ ( a , r ) 8 08.07.2013 S. Falke , F. Merz, C. Sinz - Extending the Theory of Arrays ITI

Recommend

5. Motivation Motivation: Big Questions Where does motivation come from? Can

5. Motivation Motivation: Big Questions Where does motivation come from? Can

5. Motivation Motivation: Big Questions Where does motivation come from? Can motivation be created or increased? What motivates school- age children? 5.1 Behavioral Theory 5.2 Human Needs Theory 5.3 Attribution Theory

831 views • 45 slides
with Polynomial Filters Josiah Manson and Scott Schaefer Texas A&amp;M University Motivation

with Polynomial Filters Josiah Manson and Scott Schaefer Texas A&amp;M University Motivation

Analytic Rasterization of Curves with Polynomial Filters Josiah Manson and Scott Schaefer Texas A&amp;M University Motivation Motivation Motivation Motivation Motivation Motivation Motivation Constant colors Color gradients Motivation

976 views • 70 slides
Sketch Model Review MotoThresher Empowering Tanzanian Farmers Motivation Motivation

Sketch Model Review MotoThresher Empowering Tanzanian Farmers Motivation Motivation

Sketch Model Review MotoThresher Empowering Tanzanian Farmers Motivation Motivation Motivation Motivation Motivation Motivation Motivation + thresher $3000 price [$] MotoThresher $115 50 100 300 throughput [kg/hr] Motivation Can

372 views • 22 slides
Bringing Portraits to Life CS448V: Lecture 13 Motivation Motivation Motivation Bring Your

Bringing Portraits to Life CS448V: Lecture 13 Motivation Motivation Motivation Bring Your

Bringing Portraits to Life CS448V: Lecture 13 Motivation Motivation Motivation Bring Your Profile to Life Facebook (2015) Motivation Breathing Profile Motivation Reactive Profile Approach Target Image ( ! ) Output Video ( , = {! ' , !

1.41k views • 53 slides
Motivation What is Motivation? How motivated are you now? What are your thoughts as you enter

Motivation What is Motivation? How motivated are you now? What are your thoughts as you enter

Motivation What is Motivation? How motivated are you now? What are your thoughts as you enter the Bank daily? Motivation It is the driving force for you to achieve your goal! It is an inner drive to act or behave in a certain manner.

686 views • 16 slides
All are participants of road traffic (also elderly), especially in city All are participants of

All are participants of road traffic (also elderly), especially in city All are participants of

Motivation: Motivation: Motivation: Motivation: Average age of the population in developed countries increase. Statistical analysis - today in USA people over 60 represent 19 % of population, in Europe 23 % in Slovenia 21.6 % of

368 views • 15 slides
Video Analytics Xavier Gir-i-Nieto Motivation 2 Motivation 3 Motivation 4 Outline 1.

Video Analytics Xavier Gir-i-Nieto Motivation 2 Motivation 3 Motivation 4 Outline 1.

Day 4 Lecture 4 Video Analytics Xavier Gir-i-Nieto Motivation 2 Motivation 3 Motivation 4 Outline 1. Scene Classification 2. Object Detection &amp; Tracking 5 Scene Classification (Slides by Victor Campos) Karpathy, A., Toderici, G.,

966 views • 53 slides
Indoor Places Lukas Kuster Motivation GPS for localization [7] 2 Motivation Indoor

Indoor Places Lukas Kuster Motivation GPS for localization [7] 2 Motivation Indoor

Semantic Localization of Indoor Places Lukas Kuster Motivation GPS for localization [7] 2 Motivation Indoor navigation [8] 3 Motivation Crowd sensing [9] 4 Motivation Targeted Advertisement [10] 5 Motivation

870 views • 66 slides
MOTIVATION How to Find it and How to Keep it IN THE BEGINNING MOTIVATION IS THE PROCESS THAT

MOTIVATION How to Find it and How to Keep it IN THE BEGINNING MOTIVATION IS THE PROCESS THAT

OLIVIA WARD MOTIVATION How to Find it and How to Keep it IN THE BEGINNING MOTIVATION IS THE PROCESS THAT INITIATES, GUIDES, AND MAINTAINS GOAL-ORIENTED BEHAVIORS. IT IS WHAT CAUSES YOU TO ACTMOTIVATION INVOLVES THE BIOLOGICAL,

273 views • 14 slides
MOTIVATION MOTIVATION Dr. M. Thenmozhi Professor Department of Management Studies Indian

MOTIVATION MOTIVATION Dr. M. Thenmozhi Professor Department of Management Studies Indian

MOTIVATION MOTIVATION Dr. M. Thenmozhi Professor Department of Management Studies Indian Institute of Technology Madras Chennai 600 036 E-mail: mtm@iitm.ac.in MOTIVATION MOTIVATION Each person think and act like owners Each person think

362 views • 12 slides
Undergraduates and Public Service Motivation Student Motivation Literature Student

Undergraduates and Public Service Motivation Student Motivation Literature Student

Undergraduates and Public Service Motivation Student Motivation Literature Student Attributes Existing Motivation (Katt and Condly 2009) Extrinsic Rewards (Davis et al. 2006) Teacher Behaviors Immediacy (Edwards et al. 2008;

262 views • 5 slides
CT Analysis GROUP : PA4 Motivation The motivation of this project is to help the doctor to

CT Analysis GROUP : PA4 Motivation The motivation of this project is to help the doctor to

User Interface for Brain CT Analysis GROUP : PA4 Motivation The motivation of this project is to help the doctor to diagnose the disease more easily. Purpose To write Matlab programs to create the GUI for creating the 3D model of a

284 views • 10 slides
Symmetry Transforms 1 1 Motivation Symmetry is everywhere 2 Motivation Symmetry is

Symmetry Transforms 1 1 Motivation Symmetry is everywhere 2 Motivation Symmetry is

Symmetry Transforms 1 1 Motivation Symmetry is everywhere 2 Motivation Symmetry is everywhere Perfect Symmetry [Blum 64, 67] [Wolter 85] [Minovic 97] [Martinet 05] 3 Motivation Symmetry is everywhere Local Symmetry

741 views • 45 slides
MOTIVATION Watch this video on intrinsic versus extrinsic motivation Value x Expectation (of

MOTIVATION Watch this video on intrinsic versus extrinsic motivation Value x Expectation (of

MOTIVATION Watch this video on intrinsic versus extrinsic motivation Value x Expectation (of success) = Motivation What Values (Extrinsic or Intrinsic outcomes or experiences) do you rely on? Take 5 minutes to make a list of what motivates

303 views • 4 slides
7.2 Ray Tracing Hao Li http://cs420.hao-li.com 1 Motivation: Reflections 2 Motivation: Depth

7.2 Ray Tracing Hao Li http://cs420.hao-li.com 1 Motivation: Reflections 2 Motivation: Depth

Fall 2018 CSCI 420: Computer Graphics 7.2 Ray Tracing Hao Li http://cs420.hao-li.com 1 Motivation: Reflections 2 Motivation: Depth of Field 3 Local Illumination Object illuminations are independent No light scattering between objects

557 views • 34 slides
Intrinsic Motivation Ho How to to G Get et You our r Kid ids s Mo Moti tivate ted d

Intrinsic Motivation Ho How to to G Get et You our r Kid ids s Mo Moti tivate ted d

Intrinsic Motivation Ho How to to G Get et You our r Kid ids s Mo Moti tivate ted d WITHOUT THOUT Sta tars rs and Sti tick cker ers What is Intrinsic Motivation? Intrinsic motivation refers to behavior that is driven by internal

704 views • 12 slides
Outline Motivation Answer Set Programming is a well-known declarative problem solving approach.

Outline Motivation Answer Set Programming is a well-known declarative problem solving approach.

Motivation Motivation Outline Motivation Answer Set Programming is a well-known declarative problem solving approach. Answer Set Programs with Queries over Subprograms 1 Motivation Christoph Redl The Saturation Technique and its

259 views • 10 slides
Motivation for SMEs Some thoughts Leadership and Motivation Dia daoibh agus t filte

Motivation for SMEs Some thoughts Leadership and Motivation Dia daoibh agus t filte

Leadership and Motivation for SMEs Some thoughts Leadership and Motivation Dia daoibh agus t filte romhaibh innui! Leadership and Motivation Im learning Irish and I like to use a few words every day. Its one of the things that is a

753 views • 53 slides
My P value is lower than your P value! Beyond GWAS in livestock genomics Joanna Szyda Motivation

My P value is lower than your P value! Beyond GWAS in livestock genomics Joanna Szyda Motivation

My P value is lower than your P value! Beyond GWAS in livestock genomics Joanna Szyda Motivation P value based inference Motivation Biology emerges from pathways, not from single genes Eric Lander Motivation Combine various sources

1.06k views • 47 slides
Motivation: No Formal Theory Motivation: No Formal Theory Master course at Leiden University

Motivation: No Formal Theory Motivation: No Formal Theory Master course at Leiden University

On the Nature of Symbolic Execution 1 Frank de Boer (Joint work with Marcello Bonsangue) IFIP WG 2.2, 2019 1 FM 2019 Motivation: No Formal Theory Motivation: No Formal Theory Master course at Leiden University Motivation: No Formal Theory

724 views • 46 slides
End result Implementation Resources used Google maps Formsbased worksheets in both

End result Implementation Resources used Google maps Formsbased worksheets in both

4/16/2019 The teaching goal: Dept Earth, Ocean &amp; Atmospheric Sciences Enhance student motivation Automating Creative, Peerreviewed Projects to Enhance Tactics known to enhance motivation: Motivation in a large 1 st yr course

643 views • 4 slides
1 What motivates you? Motivation Survey Achievement Interpersonal relationships, superior

1 What motivates you? Motivation Survey Achievement Interpersonal relationships, superior

Announcements CSE 403 This week: Lecture 7 Motivation Is software different? Risks analysis Motivation Reading Assignment Mythical Man Month, Chapters 7-9 Project What makes a successful Successful software teams

481 views • 3 slides
1 Motivation of our project 2 Overview 3 Motivation for SYNENERGENE Identify problems

1 Motivation of our project 2 Overview 3 Motivation for SYNENERGENE Identify problems

1 Motivation of our project 2 Overview 3 Motivation for SYNENERGENE Identify problems Mapping problems Development of application scenarios Improve project parameters Electricity Carbon dioxide Isobutanol Product life

418 views • 22 slides
Team UC Chile PSB Lab Everything in nature is about Context Motivation Bioluminescence

Team UC Chile PSB Lab Everything in nature is about Context Motivation Bioluminescence

Team UC Chile PSB Lab Everything in nature is about Context Motivation Bioluminescence Motivation sustainability Motivation Cycles ? Luxilla Biolamp Background Luxbrick Space Invader made by 2010 Cambridge iGEM team Team UC Chile

329 views • 32 slides

More recommend