Sampling Conditions for Conforming Voronoi Meshing by the VoroCrust Algorithm
|
|
- Adam George
- 5 years ago
- Views:
Transcription
1 Sampling Conditions for Conforming Voronoi Meshing by the VoroCrust Algorithm Ahmed Abdelkader 1, Chandrajit Bajaj 2, Mohamed Ebeida 3, Ahmed Mahmoud 4, Scott Mitchell 3, John Owens 4 and Ahmad Rushdi 4 1 University of Maryland, College Park 2 University of Texas, Austin 3 Sandia National Laboratories 4 University of California, Davis Ahmed Abdelkader (CS@UMD) Sampling Conditions for VoroCrust 1 / 24
2 Motivation Meshing Partition into simple elements Ahmed Abdelkader Sampling Conditions for VoroCrust 2 / 24
3 Motivation Meshing Partition into simple elements Tetrahedral mesh Ahmed Abdelkader Sampling Conditions for VoroCrust 2 / 24
4 Motivation Finite Element Method (FEM) PDE Mesh Algebra Discrete Approximation Interpolation Ahmed Abdelkader Sampling Conditions for VoroCrust 3 / 24
5 Motivation What type of element to use? No silver bullet.. Tetrahedral mesh vs. Voronoi mesh Ahmed Abdelkader Sampling Conditions for VoroCrust 4 / 24
6 Motivation Why polyhedral meshing? Less sensitive to stretching Efficient meshing of complicated domains Higher node degree, even at boundaries Better approximations of gradients Why Voronoi meshing? Convex elements Positive Jacobians Orthogonal dual: a Delaunay mesh Ahmed Abdelkader (CS@UMD) Sampling Conditions for VoroCrust 5 / 24
7 Related Work Voronoi meshing by clipping Initial Voronoi mesh Truncate cells by bounding surface Defects Ahmed Abdelkader Sampling Conditions for VoroCrust 6 / 24
8 Related Work Voronoi meshing by mirroring Pair seeds naïvely across surface Ahmed Abdelkader Sampling Conditions for VoroCrust 7 / 24
9 Related Work Voronoi meshing by mirroring Pair seeds naïvely across surface Bad surface normals Ahmed Abdelkader Sampling Conditions for VoroCrust 7 / 24
10 Related Work Voronoi meshing by mirroring Pair seeds naïvely across surface Bad surface normals Ahmed Abdelkader Sampling Conditions for VoroCrust 7 / 24
11 Related Work Voronoi meshing VoroCrust is a principled approach to mirroring Ahmed Abdelkader (CS@UMD) Sampling Conditions for VoroCrust 7 / 24
12 Preliminaries Notation O: bounded open set in R 3 ; the volume to be meshed M: boundary of O; a smooth surface P: input sample from M ˆM, Ô: surface and volume meshes Fillette aux tourterelles [Luigi Pampaloni] Ahmed Abdelkader (CS@UMD) Sampling Conditions for VoroCrust 8 / 24
13 Preliminaries Local features size (lfs) At any x M, lfs(x) is the distance from x to the medial axis of M. Ahmed Abdelkader (CS@UMD) Sampling Conditions for VoroCrust 9 / 24
14 Preliminaries ɛ-sample A set of points P on M such that x M p P s.t. px ɛ lfs(x). Ahmed Abdelkader (CS@UMD) Sampling Conditions for VoroCrust 9 / 24
15 VoroCrust Intuition - A 2D Example (1) Weighted samples (balls) Ahmed Abdelkader (CS@UMD) Sampling Conditions for VoroCrust 10 / 24
16 VoroCrust Intuition - A 2D Example (1) Weighted samples (balls) (2) Collect intersection points Ahmed Abdelkader (CS@UMD) Sampling Conditions for VoroCrust 10 / 24
17 VoroCrust Intuition - A 2D Example (1) Weighted samples (balls) (2) Collect intersection points (3) Compute Voronoi diagram Ahmed Abdelkader (CS@UMD) Sampling Conditions for VoroCrust 10 / 24
18 VoroCrust Intuition - A 2D Example (1) Weighted samples (balls) (2) Collect intersection points (3) Compute Voronoi diagram (4) Keep the separating facets Ahmed Abdelkader (CS@UMD) Sampling Conditions for VoroCrust 10 / 24
19 VoroCrust Intuition - A 2D Example Ahmed Abdelkader (CS@UMD) Sampling Conditions for VoroCrust 11 / 24
20 Tools - Non-Uniform Approximation From balls to surfaces [Chazal, Lieutier (2006)] Let P be an ɛ-sample of M and define b p as the ball centered at p P with radius δ(ɛ) lfs(p). Then, M is a deformation retract of b p. Ahmed Abdelkader (CS@UMD) Sampling Conditions for VoroCrust 12 / 24
21 Tools - Non-Uniform Approximation From balls to surfaces [Chazal, Lieutier (2006)] Let P be an ɛ-sample of M and define b p as the ball centered at p P with radius δ(ɛ) lfs(p). Then, M is a deformation retract of b p. VoroCrust step (1) Ahmed Abdelkader (CS@UMD) Sampling Conditions for VoroCrust 12 / 24
22 Tools - Non-Uniform Approximation From balls to surfaces [Chazal, Lieutier (2006)] Let P be an ɛ-sample of M and define b p as the ball centered at p P with radius δ(ɛ) lfs(p). Then, M is a deformation retract of b p. VoroCrust step (1) Corollary For sufficiently small ɛ, we may set δ(ɛ) = c; we take c = 2. Ahmed Abdelkader (CS@UMD) Sampling Conditions for VoroCrust 12 / 24
23 Tools - Union of Balls Power distance and cell For a ball b B centered at c with radius r, π(b, x) = cx 2 r 2. V b = {x R d π(b, x) π(b, x) b B}. Ahmed Abdelkader (CS@UMD) Sampling Conditions for VoroCrust 13 / 24
24 Tools - Union of Balls Power distance and cell For a ball b B centered at c with radius r, π(b, x) = cx 2 r 2. V b = {x R d π(b, x) π(b, x) b B}. Figures from [Edelsbrunner] Ahmed Abdelkader (CS@UMD) Sampling Conditions for VoroCrust 13 / 24
25 Tools - Union of Balls Weighted α-complex and α-shape [Edelsbrunner ( )] Define K = Nerve({V b b b B}) and S as the underlying space K. Ahmed Abdelkader (CS@UMD) Sampling Conditions for VoroCrust 14 / 24
26 Tools - Union of Balls Weighted α-complex and α-shape [Edelsbrunner ( )] Define K = Nerve({V b b b B}) and S as the underlying space K. Figures from [Edelsbrunner] Ahmed Abdelkader (CS@UMD) Sampling Conditions for VoroCrust 14 / 24
27 Tools - Union of Balls Weighted α-complex and α-shape [Edelsbrunner ( )] Define K = Nerve({V b b b B}) and S as the underlying space K. Homotopy-equivalence Figures from [Edelsbrunner] The nerve theorem implies S = K has the same homotopy-type as B. Ahmed Abdelkader (CS@UMD) Sampling Conditions for VoroCrust 14 / 24
28 Tools - Voronoi-based Surface Reconstruction Medial Axis of a Union of Balls [Amenta, Kolluri (2001)] Let U be a union of balls in R d, let V be the vertices of U and let S be the α-shape of U. The medial axis of U consists of: 1 the singular faces of S and 2 the subset of Vor(V ) which intersects the regular components of S. Ahmed Abdelkader (CS@UMD) Sampling Conditions for VoroCrust 15 / 24
29 Tools - Voronoi-based Surface Reconstruction Medial Axis of a Union of Balls [Amenta, Kolluri (2001)] Let U be a union of balls in R d, let V be the vertices of U and let S be the α-shape of U. The medial axis of U consists of: 1 the singular faces of S and 2 the subset of Vor(V ) which intersects the regular components of S. VoroCurst steps (2-4) Ahmed Abdelkader (CS@UMD) Sampling Conditions for VoroCrust 15 / 24
30 Tools - Voronoi-based Surface Reconstruction Case(1): singular facet of the α-shape Ahmed Abdelkader (CS@UMD) Sampling Conditions for VoroCrust 16 / 24
31 Tools - Voronoi-based Surface Reconstruction Case(2): regular component of the α-shape Ahmed Abdelkader (CS@UMD) Sampling Conditions for VoroCrust 16 / 24
32 Preliminaries - Isotopy Isotopic surface reconstruction Recover both surface topology and embedding Figure from [Wikipedia] Ahmed Abdelkader (CS@UMD) Sampling Conditions for VoroCrust 17 / 24
33 Tools - Isotopic Surface Reconstruction A purely topological condition [Chazal, Cohen-Steiner (2005)] M is homeomorphic to M, M is included in a topological thickening M of M, M separates the sides of M. Ahmed Abdelkader (CS@UMD) Sampling Conditions for VoroCrust 18 / 24
34 VoroCrust - The Abstract Algorithm Start with an ɛ-sample P M with weights r i = 2 lfs(p i ) defining the associated balls B. Ahmed Abdelkader (CS@UMD) Sampling Conditions for VoroCrust 19 / 24
35 VoroCrust - The Abstract Algorithm Start with an ɛ-sample P M with weights r i = 2 lfs(p i ) defining the associated balls B. Collect the corners of B, S = S S. Ahmed Abdelkader (CS@UMD) Sampling Conditions for VoroCrust 19 / 24
36 VoroCrust - The Abstract Algorithm Start with an ɛ-sample P M with weights r i = 2 lfs(p i ) defining the associated balls B. Collect the corners of B, S = S S. Compute the Voronoi diagram of S, Vor(S ). Ahmed Abdelkader (CS@UMD) Sampling Conditions for VoroCrust 19 / 24
37 VoroCrust - The Abstract Algorithm Start with an ɛ-sample P M with weights r i = 2 lfs(p i ) defining the associated balls B. Collect the corners of B, S = S S. Compute the Voronoi diagram of S, Vor(S ). Produce the surface approximation ˆM as the Vorono facets of separating S from S. Ahmed Abdelkader (CS@UMD) Sampling Conditions for VoroCrust 19 / 24
38 VoroCrust - The Abstract Algorithm Start with an ɛ-sample P M with weights r i = 2 lfs(p i ) defining the associated balls B. Collect the corners of B, S = S S. Compute the Voronoi diagram of S, Vor(S ). Produce the surface approximation ˆM as the Vorono facets of separating S from S. Generate additional seeds S from O. Ahmed Abdelkader (CS@UMD) Sampling Conditions for VoroCrust 19 / 24
39 VoroCrust - The Abstract Algorithm Start with an ɛ-sample P M with weights r i = 2 lfs(p i ) defining the associated balls B. Collect the corners of B, S = S S. Compute the Voronoi diagram of S, Vor(S ). Produce the surface approximation ˆM as the Vorono facets of separating S from S. Generate additional seeds S from O. Return the volume mesh Ô as the Voronoi cells in Vor(S S ) with seeds in S S. Ahmed Abdelkader (CS@UMD) Sampling Conditions for VoroCrust 19 / 24
40 VoroCrust - The Abstract Algorithm Start with an ɛ-sample P M with weights r i = 2 lfs(p i ) defining the associated balls B. Collect the corners of B, S = S S. Compute the Voronoi diagram of S, Vor(S ). Produce the surface approximation ˆM as the Vorono facets of separating S from S. Generate additional seeds S from O. Return the volume mesh Ô as the Voronoi cells in Vor(S S ) with seeds in S S. Theorem ˆM is isotopic to M. Hence, Ô is isotopic to O. Ahmed Abdelkader (CS@UMD) Sampling Conditions for VoroCrust 19 / 24
41 VoroCrust - Ball Intersections s 123 p 1 p 2 p 3 s 123 Ahmed Abdelkader (CS@UMD) Sampling Conditions for VoroCrust 20 / 24
42 VoroCrust - Sampling Conditions Requirement: disk caps Each sample ball contributes exactly two caps, i.e., topological-disks, to the boundary of the union. Ahmed Abdelkader (CS@UMD) Sampling Conditions for VoroCrust 21 / 24
43 VoroCrust - Sampling Conditions Requirement: disk caps Each sample ball contributes exactly two caps, i.e., topological-disks, to the boundary of the union. Sampling conditions lfs(q) lfs(p) = p q σ ɛlfs(p) Ahmed Abdelkader (CS@UMD) Sampling Conditions for VoroCrust 21 / 24
44 VoroCrust - Sampling Conditions Requirement: disk caps Each sample ball contributes exactly two caps, i.e., topological-disks, to the boundary of the union. Sampling conditions lfs(q) lfs(p) = p q σ ɛlfs(p) Lemma For sufficiently small ɛ, we may set σ = 3/4. Ahmed Abdelkader (CS@UMD) Sampling Conditions for VoroCrust 21 / 24
45 VoroCrust - Sampling Conditions Requirement: disk caps Each sample ball contributes exactly two caps, i.e., topological-disks, to the boundary of the union. Sampling conditions lfs(q) lfs(p) = p q σ ɛlfs(p) Lemma For sufficiently small ɛ, we may set σ = 3/4. More geometric lemmata Samples appear as vertices in ˆM. Bounds on angles and normal deviation of triangles in the weighted α-complex K. Ahmed Abdelkader (CS@UMD) Sampling Conditions for VoroCrust 21 / 24
46 VoroCrust - Interior Sampling and Fatness Lipschitz extension [Miller, Talmor, Teng (1999)] For x O let lfs(x) = inf p M (lfs(p) + xp ). ε Figure from [David Mount] Ahmed Abdelkader (CS@UMD) Sampling Conditions for VoroCrust 22 / 24
47 VoroCrust - Interior Sampling and Fatness Lipschitz extension [Miller, Talmor, Teng (1999)] For x O let lfs(x) = inf p M (lfs(p) + xp ). Sampling for fat cells Refine bounding box till lfs is satisfied Surface seeds are far from reconstruction ˆM ε Figure from [David Mount] Ahmed Abdelkader (CS@UMD) Sampling Conditions for VoroCrust 22 / 24
48 VoroCrust - Interior Sampling and Fatness Lipschitz extension [Miller, Talmor, Teng (1999)] For x O let lfs(x) = inf p M (lfs(p) + xp ). Sampling for fat cells Refine bounding box till lfs is satisfied Surface seeds are far from reconstruction Quality for Voronoi cells: Fatness Fix a Voronoi cell v Ô. R: radius of circumscribing sphere r: radius of inscribed sphere Fatness of v = R/r ˆM Figure from [David Mount] ε Ahmed Abdelkader (CS@UMD) Sampling Conditions for VoroCrust 22 / 24
49 VoroCrust - Interior Sampling and Fatness Ahmed Abdelkader (CS@UMD) Sampling Conditions for VoroCrust 23 / 24
50 VoroCrust - Interior Sampling and Fatness Lemma Out-radius to in-radius ratio is at most 15. Ahmed Abdelkader (CS@UMD) Sampling Conditions for VoroCrust 23 / 24
51 VoroCrust - Interior Sampling and Fatness Lemma Out-radius to in-radius ratio is at most 15. Number of interior seeds S = O(ɛ 3 vol lfs 3 ). Ahmed Abdelkader (CS@UMD) Sampling Conditions for VoroCrust 23 / 24
52 Summary A new Voronoi-based algorithm for isotopic surface reconstruction Conforming Voronoi meshing of volumes bounded by smooth surfaces Lower-bound on in-radius to out-radius ratio of all Voronoi cells For all matters related to the VoroCrust software Please contact: Mohamed S. Ebeida (msebeid@sandia.gov) Thanks for listening Ahmed Abdelkader (CS@UMD) Sampling Conditions for VoroCrust 24 / 24
Topological Distance Between Nonplanar Transportation Networks
Topological Distance Between Nonplanar Transportation Networks Ahmed Abdelkader 1, Geoff Boeing 2, Brittany Terese Fasy 3, David Millman 3 1 University of Maryland, College Park 2 Northeastern University
More informationMcDougal Littell High School Math Program. correlated to. Oregon Mathematics Grade-Level Standards
Math Program correlated to Grade-Level ( in regular (non-capitalized) font are eligible for inclusion on Oregon Statewide Assessment) CCG: NUMBERS - Understand numbers, ways of representing numbers, relationships
More informationGeorgia Quality Core Curriculum
correlated to the Grade 8 Georgia Quality Core Curriculum McDougal Littell 3/2000 Objective (Cite Numbers) M.8.1 Component Strand/Course Content Standard All Strands: Problem Solving; Algebra; Computation
More informationMITOCW ocw f08-rec10_300k
MITOCW ocw-18-085-f08-rec10_300k The following content is provided under a Creative Commons license. Your support will help MIT OpenCourseWare continue to offer high-quality educational resources for free.
More informationAgnostic KWIK learning and efficient approximate reinforcement learning
Agnostic KWIK learning and efficient approximate reinforcement learning István Szita Csaba Szepesvári Department of Computing Science University of Alberta Annual Conference on Learning Theory, 2011 Szityu
More informationReal Analysis Key Concepts
Real Analysis Key Concepts Xiangzhu Long 11691 Carnegie Mellon University According to Principles of Mathematical Analysis by Walter Rudin (Chapter 1-5) December 8, 2015 Xiangzhu Long (CMU) Real Analysis
More informationHoughton Mifflin MATHEMATICS
2002 for Mathematics Assessment NUMBER/COMPUTATION Concepts Students will describe properties of, give examples of, and apply to real-world or mathematical situations: MA-E-1.1.1 Whole numbers (0 to 100,000,000),
More informationHow I became interested in foundations of mathematics.
ASC 2014, Aug. 25, 2014, NTU, Singapore. How I became interested in foundations of mathematics. by Vladimir Voevodsky from the Institute for Advanced Study in Princeton, NJ. When I was 14 years I had a
More informationALGEBRAIC TOPOLOGY: A FIRST COURSE (MATHEMATICS LECTURE NOTE SERIES) BY MARVIN J. GREENBERG, JOHN R. HARPER
Read Online and Download Ebook ALGEBRAIC TOPOLOGY: A FIRST COURSE (MATHEMATICS LECTURE NOTE SERIES) BY MARVIN J. GREENBERG, JOHN R. HARPER DOWNLOAD EBOOK : ALGEBRAIC TOPOLOGY: A FIRST COURSE GREENBERG,
More informationcorrelated to the Massachussetts Learning Standards for Geometry C14
correlated to the Massachussetts Learning Standards for Geometry C14 12/2003 2004 McDougal Littell Geometry 2004 correlated to the Massachussetts Learning Standards for Geometry Note: The parentheses at
More informationMISSOURI S FRAMEWORK FOR CURRICULAR DEVELOPMENT IN MATH TOPIC I: PROBLEM SOLVING
Prentice Hall Mathematics:,, 2004 Missouri s Framework for Curricular Development in Mathematics (Grades 9-12) TOPIC I: PROBLEM SOLVING 1. Problem-solving strategies such as organizing data, drawing a
More informationON SOPHIE GERMAIN PRIMES
Journal for Algebra and Number Theory Academia Volume 6, Issue 1, August 016, ages 37-41 016 Mili ublications ON SOHIE GERMAIN RIMES 117 Arlozorov street Tel Aviv 609814, Israel Abstract A Sophie Germain
More informationStructures. Wood Shell Structures. Objectives 1 : Form and statics. Structures and connections. Analyses and construction.
1 Hannu Hirsi : Structures Wood Shell Structures Form and statics. Structures and connections. Analyses and construction. Ver. 2013 Objectives 1 : Rather than technology as well as art, architecture is
More informationProbability Foundations for Electrical Engineers Prof. Krishna Jagannathan Department of Electrical Engineering Indian Institute of Technology, Madras
Probability Foundations for Electrical Engineers Prof. Krishna Jagannathan Department of Electrical Engineering Indian Institute of Technology, Madras Lecture - 1 Introduction Welcome, this is Probability
More informationGrade 6 Math Connects Suggested Course Outline for Schooling at Home
Grade 6 Math Connects Suggested Course Outline for Schooling at Home I. Introduction: (1 day) Look at p. 1 in the textbook with your child and learn how to use the math book effectively. DO: Scavenger
More informationCurriculum Guide for Pre-Algebra
Unit 1: Variable, Expressions, & Integers 2 Weeks PA: 1, 2, 3, 9 Where did Math originate? Why is Math possible? What should we expect as we use Math? How should we use Math? What is the purpose of using
More information6.041SC Probabilistic Systems Analysis and Applied Probability, Fall 2013 Transcript Lecture 3
6.041SC Probabilistic Systems Analysis and Applied Probability, Fall 2013 Transcript Lecture 3 The following content is provided under a Creative Commons license. Your support will help MIT OpenCourseWare
More informationSUMMARY COMPARISON of 6 th grade Math texts approved for 2007 local Texas adoption
How much do these texts stress... reinventing more efficiently memorized? calculator dependence over mental training? estimation over exact answers? ; develops concepts incrementally suggested for 34 problems,
More informationEnd of the year test day 2 #3
End of the year test day 2 #3 8th Grade Pre-Algebra / 8th Grade Math Periods 2 & 3 (Ms. Schmalzbach) Student Name/ID: 1. For the figure below, do a dilation centered at the origin with a scale factor of
More information1. Introduction Formal deductive logic Overview
1. Introduction 1.1. Formal deductive logic 1.1.0. Overview In this course we will study reasoning, but we will study only certain aspects of reasoning and study them only from one perspective. The special
More informationOn the hard problem of consciousness: Why is physics not enough?
On the hard problem of consciousness: Why is physics not enough? Hrvoje Nikolić Theoretical Physics Division, Rudjer Bošković Institute, P.O.B. 180, HR-10002 Zagreb, Croatia e-mail: hnikolic@irb.hr Abstract
More informationScientific Realism and Empiricism
Philosophy 164/264 December 3, 2001 1 Scientific Realism and Empiricism Administrative: All papers due December 18th (at the latest). I will be available all this week and all next week... Scientific Realism
More information1.2. What is said: propositions
1.2. What is said: propositions 1.2.0. Overview In 1.1.5, we saw the close relation between two properties of a deductive inference: (i) it is a transition from premises to conclusion that is free of any
More informationCarl de Boor: On Wings of Splines >>>
Carl de Boor: On Wings of Splines >>> Interview of Carl de Boor by Y.K. Leong Carl de Boor made fundamental contributions to the theory of splines and numerous applications of splines that range from highly
More informationComputational Learning Theory: Agnostic Learning
Computational Learning Theory: Agnostic Learning Machine Learning Fall 2018 Slides based on material from Dan Roth, Avrim Blum, Tom Mitchell and others 1 This lecture: Computational Learning Theory The
More informationWoodin on The Realm of the Infinite
Woodin on The Realm of the Infinite Peter Koellner The paper The Realm of the Infinite is a tapestry of argumentation that weaves together the argumentation in the papers The Tower of Hanoi, The Continuum
More informationNatural frequenciesof orthotropic, monoclinic and hexagonal plates by a meshless method
Journal of Sound and Vibration 285 (2005) 734 742 JOURNAL OF SOUND AND VIBRATION www.elsevier.com/locate/jsvi Short Communication Natural frequenciesof orthotropic, monoclinic and hexagonal plates by a
More informationModule 02 Lecture - 10 Inferential Statistics Single Sample Tests
Introduction to Data Analytics Prof. Nandan Sudarsanam and Prof. B. Ravindran Department of Management Studies and Department of Computer Science and Engineering Indian Institute of Technology, Madras
More informationTorah Code Cluster Probabilities
Torah Code Cluster Probabilities Robert M. Haralick Computer Science Graduate Center City University of New York 365 Fifth Avenue New York, NY 006 haralick@netscape.net Introduction In this note we analyze
More informationWhat can happen if two quorums try to lock their nodes at the same time?
Chapter 5 Quorum Systems What happens if a single server is no longer powerful enough to service all your customers? The obvious choice is to add more servers and to use the majority approach (e.g. Paxos,
More informationMLLunsford, Spring Activity: Conditional Probability and The Law of Total Probability
MLLunsford, Spring 2003 1 Activity: Conditional Probability and The Law of Total Probability Concepts: Conditional Probability, Independent Events, the Multiplication Rule, the Law of Total Probability
More informationClustering. ABDBM Ron Shamir
Clustering ABDBM Ron Shamir 1 Topics Introduction K-means Self-organizing maps ABDBM Ron Shamir 2 How would you cluster these dogs? ABDBM Ron Shamir 3 What is a Cluster? A set of entities that are alike;
More informationECE 5424: Introduction to Machine Learning
ECE 5424: Introduction to Machine Learning Topics: (Finish) Model selection Error decomposition Bias-Variance Tradeoff Classification: Naïve Bayes Readings: Barber 17.1, 17.2, 10.1-10.3 Stefan Lee Virginia
More informationAnalysis and simulation on unequal settlement of ancient masonry pagodas
Structural Studies, Repairs and Maintenance of Heritage Architecture X 459 Analysis and simulation on unequal settlement of ancient masonry pagodas J. L. Yuan, J. Wang & H. Z. Lv Yangzhou University, Yangzhou,
More informationGrade 6 correlated to Illinois Learning Standards for Mathematics
STATE Goal 6: Demonstrate and apply a knowledge and sense of numbers, including numeration and operations (addition, subtraction, multiplication, division), patterns, ratios and proportions. A. Demonstrate
More informationGesture recognition with Kinect. Joakim Larsson
Gesture recognition with Kinect Joakim Larsson Outline Task description Kinect description AdaBoost Building a database Evaluation Task Description The task was to implement gesture detection for some
More informationBhaswar B. Bhattacharya
Bhaswar B. Bhattacharya Contact Information Wharton Statistics Department University of Pennsylvania Jon M. Huntsman Hall 3730 Walnut Street Philadelphia, PA 19104 E-mail: bhaswar@wharton.upenn.edu Research
More informationMath Matters: Why Do I Need To Know This? 1 Logic Understanding the English language
Math Matters: Why Do I Need To Know This? Bruce Kessler, Department of Mathematics Western Kentucky University Episode Two 1 Logic Understanding the English language Objective: To introduce the concept
More information6.080 / Great Ideas in Theoretical Computer Science Spring 2008
MIT OpenCourseWare http://ocw.mit.edu 6.080 / 6.089 Great Ideas in Theoretical Computer Science Spring 2008 For information about citing these materials or our Terms of Use, visit: http://ocw.mit.edu/terms.
More informationTHE USELESSNESS OF VENN DIAGRAMS*
J. VAN DORMOLEN THE USELESSNESS OF VENN DIAGRAMS* Attempts at introducing notions like intersection, subset, element of a set to highschool students by means of Venn diagrams turned out to be less successful
More informationOn the epistemological status of mathematical objects in Plato s philosophical system
On the epistemological status of mathematical objects in Plato s philosophical system Floris T. van Vugt University College Utrecht University, The Netherlands October 22, 2003 Abstract The main question
More information2017 Water Reactor Fuel Performance Meeting September 10 (Sun) ~ 14 (Thu), 2017 Ramada Plaza Jeju Jeju Island, Korea
Validation of PLEIADES/ALCYONE 2.0 fuel performance code Vincent Marelle 1, Patrick Goldbronn, Clément Introïni, Stéphane Bernaud, Antoine Bouloré, Michel Casella, Clara Fillaux, Jérôme Julien, Katherine
More informationTransferability and Proofs
Transferability and Proofs Kenny Easwaran Draft of October 15, 2007 1 Grice on Meaning [Grice, 1957] argues for the following account of non-natural meaning (i.e., ordinary linguistic meaning): A meant
More information(Refer Slide Time 03:00)
Artificial Intelligence Prof. Anupam Basu Department of Computer Science and Engineering Indian Institute of Technology, Kharagpur Lecture - 15 Resolution in FOPL In the last lecture we had discussed about
More informationECE 5424: Introduction to Machine Learning
ECE 5424: Introduction to Machine Learning Topics: Probability Review Readings: Barber 8.1, 8.2 Stefan Lee Virginia Tech Project Groups of 1-3 we prefer teams of 2 Deliverables: Project proposal (NIPS
More informationSame-different and A-not A tests with sensr. Same-Different and the Degree-of-Difference tests. Outline. Christine Borgen Linander
Same-different and -not tests with sensr Christine Borgen Linander DTU Compute Section for Statistics Technical University of Denmark chjo@dtu.dk huge thank to a former colleague of mine Rune H B Christensen.
More informationExaminers Report: Honour Moderations in Mathematics and Philosophy 2005
Examiners Report: Honour Moderations in Mathematics and Philosophy 2005 1 Part I A. STATISTICS (1) Numbers and percentages in each class/category Number Percentages % 2004/5 2003/4 2002/3 2004/5 2003/4
More informationThe Kripkenstein Paradox and the Private World. In his paper, Wittgenstein on Rules and Private Languages, Kripke expands upon a conclusion
24.251: Philosophy of Language Paper 2: S.A. Kripke, On Rules and Private Language 21 December 2011 The Kripkenstein Paradox and the Private World In his paper, Wittgenstein on Rules and Private Languages,
More informationINTERMEDIATE LOGIC Glossary of key terms
1 GLOSSARY INTERMEDIATE LOGIC BY JAMES B. NANCE INTERMEDIATE LOGIC Glossary of key terms This glossary includes terms that are defined in the text in the lesson and on the page noted. It does not include
More informationQuorums. Christian Plattner, Gustavo Alonso Exercises for Verteilte Systeme WS05/06 Swiss Federal Institute of Technology (ETH), Zürich
Quorums Christian Plattner, Gustavo Alonso Exercises for Verteilte Systeme WS05/06 Swiss Federal Institute of Technology (ETH), Zürich {plattner,alonso}@inf.ethz.ch 20.01.2006 Setting: A Replicated Database
More informationOn Truth At Jeffrey C. King Rutgers University
On Truth At Jeffrey C. King Rutgers University I. Introduction A. At least some propositions exist contingently (Fine 1977, 1985) B. Given this, motivations for a notion of truth on which propositions
More information2.1 Review. 2.2 Inference and justifications
Applied Logic Lecture 2: Evidence Semantics for Intuitionistic Propositional Logic Formal logic and evidence CS 4860 Fall 2012 Tuesday, August 28, 2012 2.1 Review The purpose of logic is to make reasoning
More informationSqueezing arguments. Peter Smith. May 9, 2010
Squeezing arguments Peter Smith May 9, 2010 Many of our concepts are introduced to us via, and seem only to be constrained by, roughand-ready explanations and some sample paradigm positive and negative
More informationSome basic statistical tools. ABDBM Ron Shamir
Some basic statistical tools ABDBM Ron Shamir 1 Today s plan Multiple testing and FDR Survival analysis The Gene Ontology Enrichment analysis TANGO GSEA ABDBM Ron Shamir 2 Refresher: Hypothesis Testing
More informationGeometry in Nature Fishy stuff
Geometry in Nature Dornach Oct 2013 Lecture three FRI 11-10-2013, 9.00am to 10.30am Geometry in Nature Fishy stuff Three talks to Mathematics conference at the Goetheanum by John Blackwood The first presentation
More informationArtificial Intelligence I
Artificial Intelligence I Matthew Huntbach, Dept of Computer Science, Queen Mary and Westfield College, London, UK E 4NS. Email: mmh@dcs.qmw.ac.uk. Notes may be used with the permission of the author.
More informationClass 2 - Foundationalism
2 3 Philosophy 2 3 : Intuitions and Philosophy Fall 2011 Hamilton College Russell Marcus Class 2 - Foundationalism I. Rationalist Foundations What follows is a rough caricature of some historical themes
More informationConference on the Epistemology of Keith Lehrer, PUCRS, Porto Alegre (Brazil), June
2 Reply to Comesaña* Réplica a Comesaña Carl Ginet** 1. In the Sentence-Relativity section of his comments, Comesaña discusses my attempt (in the Relativity to Sentences section of my paper) to convince
More informationA Recursive Semantics for Defeasible Reasoning
A Recursive Semantics for Defeasible Reasoning John L. Pollock 1 Reasoning in the Face of Pervasive Ignorance One of the most striking characteristics of human beings is their ability to function successfully
More informationGrade 7 Math Connects Suggested Course Outline for Schooling at Home 132 lessons
Grade 7 Math Connects Suggested Course Outline for Schooling at Home 132 lessons I. Introduction: (1 day) Look at p. 1 in the textbook with your child and learn how to use the math book effectively. DO:
More informationOutline. Uninformed Search. Problem-solving by searching. Requirements for searching. Problem-solving by searching Uninformed search techniques
Outline Uninformed Search Problem-solving by searching Uninformed search techniques Russell & Norvig, chapter 3 ECE457 Applied Artificial Intelligence Fall 2007 Lecture #2 ECE457 Applied Artificial Intelligence
More informationLaboratory Exercise Saratoga Springs Temple Site Locator
Brigham Young University BYU ScholarsArchive Engineering Applications of GIS - Laboratory Exercises Civil and Environmental Engineering 2017 Laboratory Exercise Saratoga Springs Temple Site Locator Jordi
More informationCOUNTING INDECOMPOSABLE QUIVER REPRESENTATIONS AFTER CRAWLEY-BOEVEY AND VAN DEN BERGH
COUNTING INDECOMPOSABLE QUIVER REPRESENTATIONS AFTER CRAWLEY-BOEVEY AND VAN DEN BERGH FORSCHUNGSSEMINAR AG HOSKINS/AG SCHMITT WINTERSEMESTER 2015/2016 Abstract. In this seminar, we would like to understand
More informationThe nature of consciousness underlying existence William C. Treurniet and Paul Hamden, July, 2018
!1 The nature of consciousness underlying existence William C. Treurniet and Paul Hamden, July, 2018 Summary. During conversations with beings from the Zeta race, they expressed their understanding of
More informationThe City School Syllabus Outline for Parents Class 6
English Oxford Progressive English Unit 1, 5 and 7 Dialogue writing, Making a comic strip, Letter writing (informal), News report Matilda: Recap of the previous chapters from term I, 11-13 Oxford Progressive
More informationThe Kalam Cosmological Argument
The Kalam Cosmological Argument Abstract We show that the Kalam Cosmological Argument as proposed by William Lane Craig is not capable of being analysed without further re-interpretation because his terms
More informationAl-Sijistani s and Maimonides s Double Negation Theology Explained by Constructive Logic
International Mathematical Forum, Vol. 10, 2015, no. 12, 587-593 HIKARI Ltd, www.m-hikari.com http://dx.doi.org/10.12988/imf.2015.5652 Al-Sijistani s and Maimonides s Double Negation Theology Explained
More informationCrossing the Equal Sign
ISAMA The International Society of the Arts, Mathematics, and Architecture Crossing the Equal Sign BRIDGES Mathematical Connections in Art, Music, and Science Marion D. Cohen Mathematics/ComputerlPhysics
More informationWhat would count as Ibn Sīnā (11th century Persia) having first order logic?
1 2 What would count as Ibn Sīnā (11th century Persia) having first order logic? Wilfrid Hodges Herons Brook, Sticklepath, Okehampton March 2012 http://wilfridhodges.co.uk Ibn Sina, 980 1037 3 4 Ibn Sīnā
More informationA Graphical Representation of the Reconstructionist World-View (with a Mixture of Science Thrown in for Good Measure) by Ronald W. Satz, Ph.D.
A Graphical Representation of the Reconstructionist World-View (with a Mixture of Science Thrown in for Good Measure) by Ronald W. Satz, Ph.D. Introduction Compared with books or papers in science and
More informationExercise Sets. KS Philosophical Logic: Modality, Conditionals Vagueness. Dirk Kindermann University of Graz July 2014
Exercise Sets KS Philosophical Logic: Modality, Conditionals Vagueness Dirk Kindermann University of Graz July 2014 1 Exercise Set 1 Propositional and Predicate Logic 1. Use Definition 1.1 (Handout I Propositional
More informationJUSTIFICATION AND DEFEAT John L. Pollock Department of Philosophy University of Arizona Tucson, Arizona (
From Artificial Intelligence. 67 1994, 377-408. JUSTIFICATION AND DEFEAT John L. Pollock Department of Philosophy University of Arizona Tucson, Arizona 85721 e-mail: pollock@ccit.arizona.edu Abstract This
More informationEXERCISES, QUESTIONS, AND ACTIVITIES
1 EXERCISES, QUESTIONS, AND ACTIVITIES Exercises From the Text 1) In the text, we diagrammed Example 7 as follows: Whatever you do, don t vote for Joan! An action is ethical only if it stems from the right
More informationA Scientific Model Explains Spirituality and Nonduality
A Scientific Model Explains Spirituality and Nonduality Frank Heile, Ph.D. Physics degrees from Stanford and MIT frank@spiritualityexplained.com www.spiritualityexplained.com Science and Nonduality Conference
More informationTHE COMPASSES From the Square to the Compasses
THE COMPASSES From the Square to the Compasses William Miklos, May 23, 2010 1 Practical DEFINITION OF THE TERM COMPASS In old English, the word was a Verb: to compass. Its several meanings included to
More informationTARGET To explore that following God means we need to choose the right path. KEY PASSAGE Matthew 4:17 22
EVENT 5 SHOT PUT / TARGET To explore that following God means we need to choose the right path. KEY PASSAGE Matthew 4:17 22 TRAINING FOR YOU Whether you ve been a Christian for a long time or a few months,
More informationMarcello Pagano [JOTTER WEEK 5 SAMPLING DISTRIBUTIONS ] Central Limit Theorem, Confidence Intervals and Hypothesis Testing
Marcello Pagano [JOTTER WEEK 5 SAMPLING DISTRIBUTIONS ] Central Limit Theorem, Confidence Intervals and Hypothesis Testing Inference This is when the magic starts happening. Statistical Inference Use of
More informationOn the Expected Utility Objection to the Dutch Book Argument for Probabilism
On the Expected Utility Objection to the Dutch Book Argument for Probabilism Richard Pettigrew July 18, 2018 Abstract The Dutch Book Argument for Probabilism assumes Ramsey s Thesis (RT), which purports
More informationECE 5424: Introduction to Machine Learning
ECE 5424: Introduction to Machine Learning Topics: (Finish) Regression Model selection, Cross-validation Error decomposition Readings: Barber 17.1, 17.2 Stefan Lee Virginia Tech Administrative Project
More informationA Recursive Semantics for Defeasible Reasoning
A Recursive Semantics for Defeasible Reasoning John L. Pollock Department of Philosophy University of Arizona Tucson, Arizona 85721 pollock@arizona.edu http://www.u.arizona.edu/~pollock Abstract One of
More informationThe Cellular Automaton and the Cosmic Tapestry Kathleen Duffy
The Cellular Automaton and the Cosmic Tapestry Kathleen Duffy Abstract The 2002 best seller, A New Kind of Science by Stephen Wolfram, has caused a stir within the scientific community. In its more than
More informationDR.RUPNATHJI( DR.RUPAK NATH )
UNIFICATION OF PHYSICAL AND SPIRITUAL SCIENCE THROUGH COSMIC SOULMATE ACTION (I) describes his cosmology, which is based on Superstring Theory, and supports his conjectures that intelligent design is an
More informationEthics Demonstrated in Geometrical Order
Ethics Demonstrated in Geometrical Order Benedict Spinoza Copyright Jonathan Bennett 2017. All rights reserved [Brackets] enclose editorial explanations. Small dots enclose material that has been added,
More informationUNIVALENT FOUNDATIONS
UNIVALENT FOUNDATIONS Vladimir Voevodsky Institute for Advanced Study Princeton, NJ March 26, 2014 In January, 1984, Alexander Grothendieck submitted to CNRS his proposal "Esquisse d'un Programme. Soon
More informationPost Mortem Experience. Non-duality. in the Context of. Denis Martin
Post Mortem Experience in the Context of Non-duality Denis Martin Post Mortem Experience in the Context of Non-duality D. Martin Introduction The question of post mortem experience in the context of non-duality
More informationThe Carneades Argumentation Framework
Book Title Book Editors IOS Press, 2003 1 The Carneades Argumentation Framework Using Presumptions and Exceptions to Model Critical Questions Thomas F. Gordon a,1, and Douglas Walton b a Fraunhofer FOKUS,
More informationUTILITARIANISM AND INFINITE UTILITY. Peter Vallentyne. Australasian Journal of Philosophy 71 (1993): I. Introduction
UTILITARIANISM AND INFINITE UTILITY Peter Vallentyne Australasian Journal of Philosophy 71 (1993): 212-7. I. Introduction Traditional act utilitarianism judges an action permissible just in case it produces
More informationQuorums Quicken Queries: Efficient Asynchronous Secure Multiparty Computation
Quorums Quicken Queries: Efficient Asynchronous Secure Multiparty Computation Varsha Dani Valerie King Mahnush Movahedi Jared Saia Abstract We describe an asynchronous algorithm to solve secure multiparty
More informationKnowledge, Time, and the Problem of Logical Omniscience
Fundamenta Informaticae XX (2010) 1 18 1 IOS Press Knowledge, Time, and the Problem of Logical Omniscience Ren-June Wang Computer Science CUNY Graduate Center 365 Fifth Avenue, New York, NY 10016 rwang@gc.cuny.edu
More informationAN OBJECTION OF VARYING IMPORTANCE TO EPISTEMIC UTILITY THEORY
AN OBJECTION OF VARYING IMPORTANCE TO EPISTEMIC UTILITY THEORY Abstract. Some propositions are more epistemically important than others. Further, how important a proposition is is often a contingent matter
More informationCURVE HUMAN EVOLUTION (*)
CURVE OF HUMAN EVOLUTION (*) A Theory of decision based on knowledge and ignorance The present work is a revised and extended version of the original presented by the author in the course of History of
More informationTHREE LOGICIANS: ARISTOTLE, SACCHERI, FREGE
1 THREE LOGICIANS: ARISTOTLE, SACCHERI, FREGE Acta philosophica, (Roma) 7, 1998, 115-120 Ignacio Angelelli Philosophy Department The University of Texas at Austin Austin, TX, 78712 plac565@utxvms.cc.utexas.edu
More informationWhat is a counterexample?
Lorentz Center 4 March 2013 What is a counterexample? Jan-Willem Romeijn, University of Groningen Joint work with Eric Pacuit, University of Maryland Paul Pedersen, Max Plank Institute Berlin Co-authors
More informationOverview of the ATLAS Fast Tracker (FTK) (daughter of the very successful CDF SVT) July 24, 2008 M. Shochet 1
Overview of the ATLAS Fast Tracker (FTK) (daughter of the very successful CDF SVT) July 24, 2008 M. Shochet 1 What is it for? At the LHC design accelerator intensity: New phenomena: 0.05 Hz Total interaction
More informationArtificial Intelligence: Valid Arguments and Proof Systems. Prof. Deepak Khemani. Department of Computer Science and Engineering
Artificial Intelligence: Valid Arguments and Proof Systems Prof. Deepak Khemani Department of Computer Science and Engineering Indian Institute of Technology, Madras Module 02 Lecture - 03 So in the last
More informationFacts and Free Logic R. M. Sainsbury
Facts and Free Logic R. M. Sainsbury Facts are structures which are the case, and they are what true sentences affirm. It is a fact that Fido barks. It is easy to list some of its components, Fido and
More informationClass #14: October 13 Gödel s Platonism
Philosophy 405: Knowledge, Truth and Mathematics Fall 2010 Hamilton College Russell Marcus Class #14: October 13 Gödel s Platonism I. The Continuum Hypothesis and Its Independence The continuum problem
More informationOriginal draft on tracing paper at letter size, then scanned and colored.
Stained-Glass Art Portfolio To m á s Ga r c í a-sa l g a d o received his professional degree (1968), Master s degree and Ph.D. (1981-1987) in architecture. He is a formal researcher in the Faculty of
More informationSome questions about Adams conditionals
Some questions about Adams conditionals PATRICK SUPPES I have liked, since it was first published, Ernest Adams book on conditionals (Adams, 1975). There is much about his probabilistic approach that is
More informationPSY ND ASSIGNMENT IDEA SOLUTION
PSY 101 2 ND ASSIGNMENT IDEA SOLUTION QUESTON : 1 Level One: Pre-conventional Morality Level Two: Conventional Morality Level Three: Post-Conventional Morality Stage 1: Punishment-Obedience Orientation
More information