HungerCraft
•
0 likes•422 views
HungerCraft was an event at the Bronx Museum of the Arts where visitors could play Minecraft and take sides as either the capitol or district 12 from The Hunger Games, staying in the game by trading resources and having discussions about the interaction and themes from the work of fiction.
Report
Share
Report
Share
Download to read offline
Recommended
Model Checking History
This presentation describes the history and background behind the introduction of model checking. Transition systems workflow is also illustrated in terms of model checking.
Mathw6
This document outlines the lessons, materials, and activities for a 6th week mathematics class focusing on addition problems. The lessons cover solving routine addition problems, non-routine addition problems, and word problems involving addition. Materials include flashcards and practice problems. Learning tasks involve reviewing concepts of whole numbers and addition, as well as the steps for problem solving. Activities have students practicing addition problems orally and indicating whether number sentences are true or false. The class aims to help students easily solve word problems using appropriate problem-solving strategies and tools.
Mathematical problem solving
The document discusses mathematical problem solving. It defines problems and problem types, and describes problem solving as a process involving understanding the problem, devising a plan or strategy, carrying out the plan, and verifying the solution. Several models of the problem solving process are presented, including Polya's four-step model of understanding the problem, devising a plan, carrying out the plan, and looking back. The document also discusses teaching problem solving, including issues teachers may face and how to assess students' problem solving abilities.
Perkembangan Surat Kabar di Indonesia pada Masa Sebelum Kolonial sampai Kemer...
Sejarah surat kabar di Indonesia terbagi dalam beberapa periode, yaitu zaman Belanda, Jepang, Kemerdekaan, Orde Lama, Orde Baru dan Reformasi. Pada zaman Belanda, surat kabar pertama kali diterbitkan pada tahun 1744 dengan bahasa Belanda dan berisi iklan serta berita resmi pemerintah kolonial. Pada zaman Jepang, surat kabar diambil alih dan digunakan sebagai alat propaganda. Pada zaman Kemerdekaan, surat
Integrated 2 Section 3-3
The document discusses how to create mathematical models to describe real-world situations. It defines key terms like model, mathematical model, and algebraic model. It also presents a 5-step problem solving plan of reading, planning, solving, answering, and checking. An example taxi fare problem is worked through, with a table created to show fares from 1 to 3 miles and an algebraic expression developed to model the fare system of $3.25 plus $0.80 per quarter mile.
Puzzle Solving Using Model Checking
Puzzle solving using NuSMV model checking tools. This presentation includs the basic for modeling checking using NuSMV for a numbers puzzle like Number Paranoia Game.
Translasi - Transformasi Geometri
Dokumen ini membahas tentang transformasi geometri khususnya translasi. Translasi adalah memindahkan tiap titik pada bidang dengan jarak dan arah tertentu sehingga hanya mengalami perubahan posisi tanpa mengubah bentuk dan ukuran. Secara umum, translasi ditandai dengan T(a,b) dimana a dan b masing-masing menunjukkan jarak gerak ke kanan/kiri dan ke atas/bawah.
Linear Temporal Logic LTL
Learn the basic of linear temporal logic. This presentation slide includes the explanation of syntax and semantics of linear temporal logic in model checking. This is research presentation submitted to Prof Gihwon Kwon, Kyonggi University.
Includes ;
Syantax of LTL
Semantics of LTL
LTL Formula Examples
Recommended
Model Checking History
This presentation describes the history and background behind the introduction of model checking. Transition systems workflow is also illustrated in terms of model checking.
Mathw6
This document outlines the lessons, materials, and activities for a 6th week mathematics class focusing on addition problems. The lessons cover solving routine addition problems, non-routine addition problems, and word problems involving addition. Materials include flashcards and practice problems. Learning tasks involve reviewing concepts of whole numbers and addition, as well as the steps for problem solving. Activities have students practicing addition problems orally and indicating whether number sentences are true or false. The class aims to help students easily solve word problems using appropriate problem-solving strategies and tools.
Mathematical problem solving
The document discusses mathematical problem solving. It defines problems and problem types, and describes problem solving as a process involving understanding the problem, devising a plan or strategy, carrying out the plan, and verifying the solution. Several models of the problem solving process are presented, including Polya's four-step model of understanding the problem, devising a plan, carrying out the plan, and looking back. The document also discusses teaching problem solving, including issues teachers may face and how to assess students' problem solving abilities.
Perkembangan Surat Kabar di Indonesia pada Masa Sebelum Kolonial sampai Kemer...
Sejarah surat kabar di Indonesia terbagi dalam beberapa periode, yaitu zaman Belanda, Jepang, Kemerdekaan, Orde Lama, Orde Baru dan Reformasi. Pada zaman Belanda, surat kabar pertama kali diterbitkan pada tahun 1744 dengan bahasa Belanda dan berisi iklan serta berita resmi pemerintah kolonial. Pada zaman Jepang, surat kabar diambil alih dan digunakan sebagai alat propaganda. Pada zaman Kemerdekaan, surat
Integrated 2 Section 3-3
The document discusses how to create mathematical models to describe real-world situations. It defines key terms like model, mathematical model, and algebraic model. It also presents a 5-step problem solving plan of reading, planning, solving, answering, and checking. An example taxi fare problem is worked through, with a table created to show fares from 1 to 3 miles and an algebraic expression developed to model the fare system of $3.25 plus $0.80 per quarter mile.
Puzzle Solving Using Model Checking
Puzzle solving using NuSMV model checking tools. This presentation includs the basic for modeling checking using NuSMV for a numbers puzzle like Number Paranoia Game.
Translasi - Transformasi Geometri
Dokumen ini membahas tentang transformasi geometri khususnya translasi. Translasi adalah memindahkan tiap titik pada bidang dengan jarak dan arah tertentu sehingga hanya mengalami perubahan posisi tanpa mengubah bentuk dan ukuran. Secara umum, translasi ditandai dengan T(a,b) dimana a dan b masing-masing menunjukkan jarak gerak ke kanan/kiri dan ke atas/bawah.
Linear Temporal Logic LTL
Learn the basic of linear temporal logic. This presentation slide includes the explanation of syntax and semantics of linear temporal logic in model checking. This is research presentation submitted to Prof Gihwon Kwon, Kyonggi University.
Includes ;
Syantax of LTL
Semantics of LTL
LTL Formula Examples
Determinan dan Invers Matriks
berikut adalah presentasi tentang determinan dan invers matriks dengan KI yang telah disesuaikan pada kurikulum 2013
Differential Geometry presentation
The document describes various geometric properties related to curves, including osculating planes and circles, and their associated tangent, normal, and binormal lines. Different geometric elements like curves and circles are assigned colors and animation for visualization purposes across 5 examples on different pages.
Rotasi
Dokumen tersebut membahas tentang rotasi (perputaran) dalam transformasi geometri. Rotasi adalah transformasi yang memutar setiap titik pada bidang dengan mengubah koordinatnya berdasarkan sudut putar dan pusat putar. Dokumen tersebut menjelaskan rumus-rumus rotasi dengan pusat titik asal koordinat dan pusat titik lain serta contoh penerapannya untuk menentukan bayangan suatu titik dan kurva setelah dirotasi.
Rotasi - Geometri Transformasi
Dokumen tersebut membahas tentang rotasi dan transformasi rotasi. Rotasi adalah perputaran benda pada suatu sumbu yang tetap, misalnya perputaran gasing dan bumi. Ada tiga hal yang perlu diperhatikan dalam rotasi yaitu pusat titik putar, besar sudut putaran, dan arah putaran. Dokumen tersebut juga menjelaskan rumus transformasi rotasi dengan memberikan contoh-contoh soal dan penyelesaiannya.
Italy erasmus
The document summarizes a trip to Catania, Italy as part of an Erasmus+ exchange program. The author's first impressions were that Catania was a beautiful city with nice, open people and amazing food, along with warm weather, big houses, and a fondness for nutella. Meals with host families included lots of pasta and ice cream or granita for dessert. The best parts of the trip were the incredible food, friendly people, unique sights like Mount Etna and historical places not found in Finland, swimming in the Mediterranean Sea, shopping, and making new friends.
BSc08 Polya
The BSc 08 MAT150 class shared Polya's model for problem solving in mathematics with samples of work done by the class. They asked if a poster could be designed using the model that is suitable for the age group taught.
DILATASI Transformasi Geometri
Dokumen tersebut membahas tentang transformasi geometri jenis dilatasi. Dilatasi adalah transformasi yang mengubah ukuran suatu bangun tanpa merubah bentuknya dengan menggunakan faktor skala. Dilatasi dapat dilakukan dengan menentukan pusat dan faktor skala transformasi. Diberikan contoh soal latihan untuk menentukan bayangan suatu titik akibat dilatasi.
Presentation translasi
Dokumen tersebut berisi contoh soal dan pembahasan mengenai transformasi translasi pada bidang kartesius. Terdapat beberapa contoh soal translasi titik, garis, lingkaran, dan segitiga serta pembahasannya. Transformasi translasi memetakan suatu objek geometri dengan cara memindahkannya sejauh jarak tertentu sepanjang arah tertentu.
Problem Solving in Mathematics Education
A major focus on current mathematics education is "problem solving." But "problem solving" means something very different from "Doing the exercises at the end of the chapter." An explanation of what problem solving is, and how it can be implemented.
Fractals in nature and science dfs
This document provides an overview of fractals, beginning with their origins in mathematics and nature. It discusses how Benoit Mandelbrot introduced fractals as a way to describe irregular shapes in nature. Examples are given of fractals found in nature like trees, clouds, coastlines, and cauliflowers that exhibit self-similarity across scales. Applications of fractals are explored in fields like mathematics, science, engineering, art, music and finance due to their ability to model complex patterns.
NCTM Geometry
The document outlines the five strands of the National Council of Teachers of Mathematics (NCTM) standards: Number and Operations, Algebra, Geometry, Measurement, and Data Analysis & Probability. It focuses on the Geometry strand, which has four main goals: 1) analyze characteristics and properties of shapes, 2) specify locations and spatial relationships, 3) apply transformations and symmetry, and 4) use visualization, reasoning, and modeling to solve problems. Each goal is further broken down into specific learning objectives.
Design and development of a novel fractal antenna for wireless applications
The document describes the design and development of a novel fractal antenna for wireless applications. The antenna was designed using a combination of Koch prefractal and meander line fractal geometries to achieve a miniaturized and multiband structure. Parametric analysis was performed to optimize the substrate thickness and meander line length. The proposed antenna demonstrated resonant frequencies of 2.81 GHz, 6.81 GHz, 7.33 GHz and 8.55 GHz with return losses between -14.3 dB and -29.01 dB. A peak gain of 6.73 dB was also achieved, indicating good radiation properties for wireless applications.
Grooming with Groovy
Overview of Groovy language features and lead to Functional Programming in Groovy. As this is a code along session backed by this presentation, code examples are not include here as I code them live.
More Related Content
Viewers also liked
Determinan dan Invers Matriks
berikut adalah presentasi tentang determinan dan invers matriks dengan KI yang telah disesuaikan pada kurikulum 2013
Differential Geometry presentation
The document describes various geometric properties related to curves, including osculating planes and circles, and their associated tangent, normal, and binormal lines. Different geometric elements like curves and circles are assigned colors and animation for visualization purposes across 5 examples on different pages.
Rotasi
Dokumen tersebut membahas tentang rotasi (perputaran) dalam transformasi geometri. Rotasi adalah transformasi yang memutar setiap titik pada bidang dengan mengubah koordinatnya berdasarkan sudut putar dan pusat putar. Dokumen tersebut menjelaskan rumus-rumus rotasi dengan pusat titik asal koordinat dan pusat titik lain serta contoh penerapannya untuk menentukan bayangan suatu titik dan kurva setelah dirotasi.
Rotasi - Geometri Transformasi
Dokumen tersebut membahas tentang rotasi dan transformasi rotasi. Rotasi adalah perputaran benda pada suatu sumbu yang tetap, misalnya perputaran gasing dan bumi. Ada tiga hal yang perlu diperhatikan dalam rotasi yaitu pusat titik putar, besar sudut putaran, dan arah putaran. Dokumen tersebut juga menjelaskan rumus transformasi rotasi dengan memberikan contoh-contoh soal dan penyelesaiannya.
Italy erasmus
The document summarizes a trip to Catania, Italy as part of an Erasmus+ exchange program. The author's first impressions were that Catania was a beautiful city with nice, open people and amazing food, along with warm weather, big houses, and a fondness for nutella. Meals with host families included lots of pasta and ice cream or granita for dessert. The best parts of the trip were the incredible food, friendly people, unique sights like Mount Etna and historical places not found in Finland, swimming in the Mediterranean Sea, shopping, and making new friends.
BSc08 Polya
The BSc 08 MAT150 class shared Polya's model for problem solving in mathematics with samples of work done by the class. They asked if a poster could be designed using the model that is suitable for the age group taught.
DILATASI Transformasi Geometri
Dokumen tersebut membahas tentang transformasi geometri jenis dilatasi. Dilatasi adalah transformasi yang mengubah ukuran suatu bangun tanpa merubah bentuknya dengan menggunakan faktor skala. Dilatasi dapat dilakukan dengan menentukan pusat dan faktor skala transformasi. Diberikan contoh soal latihan untuk menentukan bayangan suatu titik akibat dilatasi.
Presentation translasi
Dokumen tersebut berisi contoh soal dan pembahasan mengenai transformasi translasi pada bidang kartesius. Terdapat beberapa contoh soal translasi titik, garis, lingkaran, dan segitiga serta pembahasannya. Transformasi translasi memetakan suatu objek geometri dengan cara memindahkannya sejauh jarak tertentu sepanjang arah tertentu.
Problem Solving in Mathematics Education
A major focus on current mathematics education is "problem solving." But "problem solving" means something very different from "Doing the exercises at the end of the chapter." An explanation of what problem solving is, and how it can be implemented.
Fractals in nature and science dfs
This document provides an overview of fractals, beginning with their origins in mathematics and nature. It discusses how Benoit Mandelbrot introduced fractals as a way to describe irregular shapes in nature. Examples are given of fractals found in nature like trees, clouds, coastlines, and cauliflowers that exhibit self-similarity across scales. Applications of fractals are explored in fields like mathematics, science, engineering, art, music and finance due to their ability to model complex patterns.
NCTM Geometry
The document outlines the five strands of the National Council of Teachers of Mathematics (NCTM) standards: Number and Operations, Algebra, Geometry, Measurement, and Data Analysis & Probability. It focuses on the Geometry strand, which has four main goals: 1) analyze characteristics and properties of shapes, 2) specify locations and spatial relationships, 3) apply transformations and symmetry, and 4) use visualization, reasoning, and modeling to solve problems. Each goal is further broken down into specific learning objectives.
Design and development of a novel fractal antenna for wireless applications
The document describes the design and development of a novel fractal antenna for wireless applications. The antenna was designed using a combination of Koch prefractal and meander line fractal geometries to achieve a miniaturized and multiband structure. Parametric analysis was performed to optimize the substrate thickness and meander line length. The proposed antenna demonstrated resonant frequencies of 2.81 GHz, 6.81 GHz, 7.33 GHz and 8.55 GHz with return losses between -14.3 dB and -29.01 dB. A peak gain of 6.73 dB was also achieved, indicating good radiation properties for wireless applications.
Grooming with Groovy
Overview of Groovy language features and lead to Functional Programming in Groovy. As this is a code along session backed by this presentation, code examples are not include here as I code them live.
Viewers also liked (18)
Design and development of a novel fractal antenna for wireless applications
Design and development of a novel fractal antenna for wireless applications
HungerCraft
- 1. HungerCraft Bronx Museum of the Arts
- 2. minecraft play the game
- 3. take sides capitol vs. district 12
- 4. stay in the game by trading resources
- 5. discussions about the interaction
- 6. odds in our favor http://oddsinourfavor.org/