Documents Found!
As seen in
Less Work, Better Grades
Join
Course Hero
Access
best resources
Ace
your classes
Ace your courses with Course Hero!
|
|
|
Study Smarter, Score Higher
Here are the top 5 related documents
...[Tech Solutions] : Gantt Chart Version 1
Phase Pre-Planning Deliverable # of Days 13 (5) 13 (9) 42 (35) Systems Request (projected time) Work Plan (projected time) Gantt Chart (projected time) Feasibility (projected time) Risk Assessment (projected t...
...Analysis Plan Version 2
STEP
TECHNIQUE
SPECIFIC ACTIVITIES
December 5, 2006 Interviewed: Elanda Dunn (Owner of Elandas Hair Gallery) Location: Elandas Hair Gallery Time: 1:45 PM 3:45 PM December 7, 2006 Interviewed: Elanda Dunn (Owner of Elandas...
...Feasibility Analysis Version 1 TECHNICAL FEASIBILITY (Moderate): Can we build it?
Familiarity with Business Processes: (Moderate) Team: (Moderate) All six members are obtaining information about the system needed at Springhill Medical Center through...
...dfd2
file:/C|/Documents%20and%20Settings/Geoff/My%20D.ts/CIS%20450/New%20Folder/dfd/dfd2_files/gif_1.htm [2/6/2007 8:32:39 PM]
dfd2
file:/C|/Documents%20and%20Settings/Geoff/My%20D.ts/CIS%20450/New%20Folder/dfd/dfd2_files/gif_2.htm [2/6/2007 8:32:...
Document Content (unformatted)
Course Hero has millions of student submitted documents similar to the one
below including study guides, homework solutions, papers, exam answer keys and textbook solutions.
SILHOUETTE HARMONIC MATCHING FOR 3D MODELS Ameesh Makadia, Mirk Visontai, and Kostas Daniilidis o Department of Computer and Information Science University of Pennsylvania Philadelphia, PA, 19104, USA {makadia, mirko, kostas}@cis.upenn.edu sections. The methods we present in this paper are motivated by The ability to perform fast retrieval from a database of 3D the visual similarity method of [1]. The basic idea is based on models is becoming a growing necessity as the number of approximating the light eld [8] of a 3D model by capturing models in circulation is rapidly increasing. Several of the silhouettes from a xed set of positions on the sphere. While many existing methods dealing with this problem consider their method proves promising, it has a few inherent limitasimilarity measures based on visual appearance. This idea tions. The spherical positions of the silhouettes are restricted of comparing models using their respective silhouettes perby the fact that comparisons can only be made for rotations forms well on a number of benchmarks, but comes with a which map the samples onto themselves. There is no natufew inherent limitations, the biggest of which is that at the ral way to perform approximate comparisons, which is a netime of comparison all possible rotational alignments between cessity considering very large databases may be queried, and two models need to be considered. In this paper we present there is no exibility in the rotations that can be tested. Fitwo retrieval algorithms based on a silhouette representation. nally, for any pair of models, a brute force traversal through The rst method shows how model similarity can be comall possible rotational alignments must be made (although a puted using fast harmonic matching techniques, and the sechierarchical approach can help speed up the comparisons). ond method reduces the problem to fast vector differencing We will present in this paper two methods for model retrieval using rotation-invariant properties of the representations. which address these concerns. The rst method treats computes similarity as a correlation of tangent bundles on the 1. INTRODUCTION sphere (where each tangent plane represents a different model silhouette). We show how such a comparison can be comLaser-scanned objects, CAD models, and image-based reconputed as a multiplication in the Fourier domain, alleviating structions are just a few of the sources contributing to the the need to perform a comparison for each possible rotation rapidly growing number of publicly available 3D models. Along directly in the spatial domain. The second method also utiwith these vast resources of 3D collections comes the need for lizes the silhouette-based representation. Instead of performa fast, large-scale model retrieval and matching system. Aling correlations, harmonic rotational invariants of the silhouthough the availability of 3D information has sparked a numette representations are used to encode a small feature vector. ber of methods which take advantage of the complex geometIn this case the similarity between two models is just the Euric information for each model, some successful methods are clidean distance between two such vectors. based on visual similarity [1, 2]. Object silhouettes can provide enough information for recovery, eliminating the need 2. LIGHT FIELD REPRESENTATION to process often complex 3D structural or surface information. The success of silhouette-based algorithms relative to those which rely on descriptive local features can in part be The model retrieval method in [1] considers silhouettes taken attributed to the fact that local geometric structure may vary at 20 (in practice only 10 from one hemisphere are needed) widely among objects from the same class. different locations on the sphere, and there are only 60 roAnother popular class of methods considers global repretations which map these points onto themselves. In order to sentations of the models ([3, 4, 5, 6]) and in particular cases create a denser sampling of silhouette positions and to conthe representations of the models analyzed using the spherisider more rotations, the only solution is to recreate the concal harmonic transform ([3, 7], among others). We will also guration of 10 vertices at a different reference orientation. use the spherical harmonic representation and its rotational Repeating this con guration 9 times, a total of 100 silhouettes invariants in a similar manner, as will be explained in later are generated, and the number of rotations which need to be ABSTRACT traversed before a distance measure is obtained rises to 5,460 [1]. We would like to develop a method that is more exible to the number of silhouettes that can be used, a method which has natural approximation capabilities for speed considerations, and one that does not require the brute-force traversal of all possible rotational alignments. We begin by describing a modi ed representation of the light eld for a 3D model. Instead of capturing silhouettes from pre-determined positions, we can specify the locations given a desired resolution. Given a spherical bandwidth B, both of the spherical angles ( for co-latitude, and for longitude) will be sampled uniformly at 2B locations, resulting in a total of 2B 2 samples on the sphere. See gure 1 to visualize this sampling on the sphere. Only the value of B needs notes an element in this vector. For simplicity we will use the centroid-distance functions and Zernike moments used in [9, 1]. If we de ne the similarity of two feature vectors to be their correlation coef cient, then we can claim the similarity of two 3D models as the maximum correlation coef cient of their light eld representations over all possible rotational alignments. In other words, model similarity is given by the maximum of the following rotational function: G(R) = x p L1 (p, x)L2 (RT p, x) dp dx (1) A B C Fig. 1. A shows a spherical grid with 256 samples. The sphere is sampled uniformly in the angles, creating a square grid. B depicts the corresponding regions mapped onto the sphere. The highlighted samples correspond to the highlighted row in A. The sample centers (origins of the tangent planes) are shown in C. to increase until the desired spacing is achieved. A silhouette will then be generated from each of these samples, and this collection of silhouettes will be the model s light eld representation. The silhouette at sphere point p( , ) is a binary function obtained by orthographically projecting the 3D model onto the tangent plane at p. The orientation of the tangent plane is given by the rotation R = Rz ( )Ry ( ) (i.e. the tangent plane at the north pole maps onto the tangent plane at p via the rotation R). 3. MODEL SIMILARITY AS CORRELATION We now present the rst method to measure similarity of two models, which are represented with their respective light elds. For the moment, consider the continuous light eld function L(p, v) which gives the binary value of the point v on the silhouette taken from spherical location p. If we process the silhouettes to generate smaller features which may encode some translational or rotational invariants, then our light eld representation can be stored as a vector-valued function on the sphere, given as L(p, x). In other words, the value at L([0 0 1]T ) is some feature vector computed for the silhouette obtained from the north pole, and the value of x de- The key here is in recognizing the underlying spherical integration as a correlation of two spherical signals. It has been shown that the spherical correlation G (R) = L1 (p)L2 (RT p) dp can be estimated ef ciently as a multiplication in the spherical Fourier domain. We refer readers to [10, 11] for the details, and for other applications of the spherical correlation l alignment. We will write fm for the spherical Fourier coef cients of degree l and order m, f l for the vector of (2l + 1) l = [f l f l f l l T l coef cients f l l 1 l+1 f l ] , and G mp for the coef cients of the Fourier transform de ned on the rotation group SO(3). The spherical correlation theorem states that the Fourier transform of the spherical correlation function G can be obtained as l l l G mp = L1 m L2 p and so the samples of the correlation function are recovered with G (R) = ISOF T (G) where ISOF T is the inverse SO(3) Fourier transform. Our light eld correlation can now be written as G(R) = x ISOF T (G)(x) dx (2) If we let B represent the bandwidth of the spherical functions (meaning only coef cients up to degree B 1 are computed), then the inverse SO(3) Fourier transform will leave us with with 2B samples in each of the three Euler angles, giv 90 ing us an accuracy up to 180 in and and 2B 2B in . Here , , are the traditional ZY Z Euler angles. Fast spherical Fourier transforms (SFT) can be computed in time O(B 2 log2 B), and fast SO(3) Fourier transforms (SOFT) in O(B 3 log2 B) [12, 10]. These fast algorithms require uniform sampling in the angles, and this is the primary motivation for our choice of spherical sampling. 4. ROTATIONAL INVARIANTS For some applications that require searching through large databases, pairwise model comparison using fast correlations may not be suf ciently fast. The correlation function we are considering measures the alignment quality for all orientations, but for retrieval only overall the best alignment is important. We propose to use invariant properties of the spherical harmonic coef cients (see [7, 13] for other uses of these invariants) to encode a feature vector which does not depend on the orientation of the original polygonal model. As spherical functions are rotated by elements of the rotation group SO(3), the Fourier coef cients are modulated by the irreducible representations of SO(3): f ( ) f (RT ) f l U l (R)T f l (3) The U l matrix representations of SO(3) are unitary, and ensure the distribution of energy among frequencies does not vary. ||U l (R)f l || = ||f l ||, R SO(3) (4) By considering only the magnitudes of the coef cient vectors, the light eld feature size is further reduced. The total size is equal to B N , where B is the spherical bandwidth 2 and N is the size of the individual silhouette features (in the next section it will become clear why it is B instead of just 2 B). For example, consider a model for which we render a very large number of silhouettes (a bandwidth of B = 17 means we must render 578 silhouettes in one hemisphere). Assuming we keep 35 Zernike coef cients and 10 contour distance coef cients for each silhouette (as in [1]), we can represent a 3D model with just (35 + 10) 8 = 360 elements, which are stored in one vector. The distance between models is just the Euclidean distance between these vectors. 5. COMPUTATIONAL CONSIDERATIONS Knowing that the silhouette generated at any point p on the sphere is just a projection of the model onto the silhouette plane, it is clear that the silhouette generated from the antipodal point p will just be a reverse image. From the invariance of the Zernike and contour features, L(p, x) is has the even property such that L(p, x) = L( p, x). For such functions, all spherical Fourier coef cients of an odd degree are zero. Also, since the spherical function is real-valued, the coef cient vectors f l exhibit the hermitian property that opposite orders are related by conjugation. These two facts mean we l only need to compute fm for l even and m 0. Regarding the rotational matching, it is tempting to perform retrieval hierarchically, since a natural coarse-to- ne similarity can be computed by simply varying the bandwidth at which the correlation is performed. Let B be the bandwidth of a spherical function f , and let B < B 1. We will denote the inverse SFT of f l as ISF T {f l }l=0,...,B 1 . We use the subscript (l = 0, . . . , B 1) to denote the inverse transform is using all degrees less than B, meaning the standard inverse transform. It is straightforward to see the following ISF T {f l}l=0,...,B 1 = ISF T {f l }l=0,...,B + ISF T {f l }l=B +1,...,B 1 higher resolution or bandwidth includes the computation for a lower resolution transform, so there is no wasted or redundant processing in a coarse-to- ne approach. Regarding computation times, the time to compare two models using rotational invariants is less than 0.0001 seconds (this is just vector differencing) on a 2GHz machine. The execution time for measuring similarity using correlation is just less than 0.1 seconds (for a bandwidth of B = 17, meaning 578 silhouettes). The remaining computational effort is spent on generating the model silhouettes, and gure 2 plots the time required to generate silhouettes at varying bandwidths and numbers of polygons. The current implementation is a preliminary effort and does not take advantage of the many optimization opportunities within OpenGL or modern graphics cards. 100 90 10K polygons 20K polygons 185K polygons 316K polygons Silhouette rendering time (seconds) 80 70 60 50 40 30 20 10 0 3 4 5 6 7 8 9 10 11 12 Bandwidth (B) 13 14 15 16 17 Fig. 2. A plot showing the rendering time to generate silhouettes for various bandwidths and model sizes. For a bandwidth B, the number of silhouettes rendered is 2B 2 . For example, it takes approximately 95 seconds to generate 578 silhouettes of a model with 316K polygons. 6. RESULTS Two versions of the correlation method and two versions of the rotational invariants comparison method were entered in SHREC, the 3D Shape Retrieval Contest [14, 15]. The four entries were entered under the name Makadia. The rst run compared models using the correlation method, but only Zernike features were used. The second run was again the correlation method, but both Zernike and contour-distance features were used. The third run compared models with the faster invariant vector comparison, using only Zernike features, while the fourth run performed the vector comparisons using Zernike and contour-distance features. Of the 17 main categories of analysis, the correlation methods nished rst in 11. The faster vector-invariant comparisons, however, nished in the middle of the pack in all categories. The obvious tradeoff is in accuracy versus comparison times. Figure 3 shows that the accuracy of the correlation method may be achieved without performing pairwise correlations This same decomposition principle holds for the SO(3) Fourier transform. This shows that reconstructing your signal at a 220 200 180 160 140 120 100 80 60 40 20 10 The princeton shape benchmark, in Shape Modeling International, Genova, Italy, June 2004. [3] D. V. Vranic and D. Saupe, 3d model retrieval with spherical harmonics and moments, in Proceedings of the 23rd DAGM-Symposium on Pattern Recognition, London, UK, 2001, pp. 392 397, Springer-Verlag. 20 30 40 50 60 70 best N models in correlation method 80 90 100 Fig. 3. This plot shows how many models in the ranked list (obtained with vector comparisons) you need to traverse before nding 50% of the best N matches in the ranked list obtained with correlations. The plot shows the median over all queries. For example, 50% of the best 100 matches from the correlation method will appear in the rst 213 matches from the ranked list obtained with fast vector comparisons. [4] M. Ankerst, G. Kastenm ller, H.-P. Kriegel, and u T. Seidl, 3D shape histograms for similarity search and classi cation in spatial databases, in Advances in Spatial Databases, 6th International Symposium, SSD 99, R. G ting, D. Papadias, and F. Lochovsky, Eds., Hong u Kong, China, 1999, vol. 1651, pp. 207 228, Springer. [5] B. K. P. Horn, Extended gaussian images, IEEE, vol. 72, pp. 1671 1686, 1984. [6] M. Kazhdan, Shape Representations and Algorithms for 3D Model Retrieval, Ph.D. thesis, Princeton University, 2004. [7] M. Kazhdan, T. Funkhouser, and S. Rusinkiewicz, Rotation invariant spherical harmonic representation of 3D shape descriptors, in Symposium on Geometry Processing, June 2003. [8] M. Levoy and P. Hanrahan, Light eld rendering, in Proc. of ACM SIGGRAPH, 1996, pp. 31 42. [9] D. S. Zhang and G. Lu, An integrated approach to shape based image retrieval, in Proc. of 5th Asian Conference on Computer Vision (ACCV), Melbourne, 2002, pp. 652 657. [10] P. J. Kostelec and D. N. Rockmore, FFTs on the rotation group, in Working Paper Series, Santa Fe Institute, 2003. [11] A. Makadia and K. Daniilidis, Rotation recovery from spherical images without correspondences, IEEE Trans. Pattern Analysis and Machine Intelligence, vol. 28, 2006. [12] J.R. Driscoll and D.M. Healy, Computing fourier transforms and convolutions on the 2-sphere, Advances in Applied Mathematics, vol. 15, pp. 202 250, 1994. [13] A. Makadia and K. Daniilidis, Direct 3D-rotation estimation from spherical images via a generalized shift theorem, in IEEE Conf. Computer Vision and Pattern Recognition, Wisconsin, June 16-22, 2003. [14] AIM@SHAPE, , http://give-lab.cs.uu. nl/shrec/shrec2006/. [15] R. Typke, R. C. Veltkamp, and F. Wiering, Evaluating retrieval techniques based on partially ordered ground truth lists, in Proceedings International Conference on Multimedia & Expo, 2006. against an entire database. The faster invariant vector comparisons can be used to generate a much smaller set of possible matching objects, and the correlations can be used to provide an accurate ranking within this pruned set. 7. CONCLUSION In this paper we presented two new approaches for comparing 3D models. The rst method considers the best possible correlation alignment between the models light eld representations. The bene t of this approach is in the fast correlation estimation using the Spherical Fourier transform, and the exibility and approximation allowed by varying the number of coef cients used. The second method utilizes the rotational invariants of the spherical transform to encode an entire model light eld with just one small feature vector. This allows us to compute model distance with fast Euclidean distance measurements. The algorithms proposed in this document can be extended in many ways. It may be bene cial to retain more information beyond a binary silhouette image. One could capture surface orientations, or a depth map, where each pixel marks the distance from the model to the silhouette plane, to help disambiguate between very different surfaces which generate similar silhouettes. It is also of importance to investigate 8. REFERENCES [1] Y.-T. Shen D.-Y. Chen, X.-P. Tian and M. Ouhyoung, On visual similarity based 3D model retrieval, in Eurographics, 2003. [2] P. Shilane, P. Min, M. Kazhdan, and T. Funkhouser,
Find millions of documents here - Study Guides, Homework Solutions, Papers, Exam Answer Keys and more.
Course Hero has millions of course related materials that will enable you to learn better,
faster and get an A in all your courses.
Below is a small sample set of documents:
Below is a small sample set of documents:
UPenn >> CIS >> 06 (Fall, 2008)
Correspondenceless Structure from Motion Ameesh Makadia and Kostas Daniilidis University of Pennsylvania Philadelphia, PA 19104 {makadia, kostas}@cis.upenn.edu Abstract We present a novel approach for the estimation of 3D-motion directly from two im...
UPenn >> CIS >> 06 (Fall, 2008)
Rotation Recovery from Spherical Images without Correspondences Ameesh Makadia and Kostas Daniilidis GRASP Laboratory, University of Pennsylvania, Philadelphia, PA 19104 {makadia, kostas}@cis.upenn.edu Abstract This paper addresses the problem of r...
UPenn >> CIS >> 05 (Fall, 2008)
Radon-based Structure from Motion Without Correspondences Ameesh Makadia Christopher Geyer University of Pennsylvania Philadelphia, PA 19104 {makadia, kostas}@cis.upenn.edu Abstract We present a novel approach for the estimation of 3Dmotion directly...
UPenn >> CIS >> 05 (Fall, 2008)
Correspondenceless Ego-Motion Estimation Using an IMU Ameesh Makadia and Kostas Daniilidis GRASP Laboratory University of Pennsylvania, Philadelphia, PA 19104 {makadia, kostas}@grasp.cis.upenn.edu Abstract Mobile robots can be easily equipped with nu...
UPenn >> CIS >> 05 (Fall, 2008)
Planar Ego-Motion Without Correspondences Ameesh Makadia, Dinkar Gupta, and Kostas Daniilidis GRASP Laboratory Department of Computer and Information Science University of Pennsylvania, Philadelphia, PA 19104 {makadia, dinkar, kostas}@cis.upenn.edu ...
UPenn >> CIS >> 04 (Fall, 2008)
Rotation Estimation from Spherical Images Ameesh Makadia, Lorenzo Sorgi and Kostas Daniilidis Department of Computer and Information Science University of Pennsylvania Abstract Robotic navigation algorithms increasingly make use of the panoramic eld...
UPenn >> CIS >> 03 (Fall, 2008)
Direct 3D-Rotation Estimation from Spherical Images via a Generalized Shift Theorem Ameesh Makadia and Kostas Daniilidis GRASP Laboratory, University of Pennsylvania, Philadelphia, PA 19104 {makadia, kostas}@cis.upenn.edu Abstract Omnidirectional i...
UPenn >> CIS >> 02 (Fall, 2008)
Image Processing in Catadioptric Planes: Spatiotemporal Derivatives and Optical Flow Computation Kostas Daniilidis and Ameesh Makadia GRASP Laboratory and Department of Computer and Information Science University of Pennsylvania Thomas B low u Depart...
UPenn >> MATH >> 371 (Fall, 2008)
Due: Friday, Sept 19, 2008 Math 371 / Problem Set 1 1) Let X be a non-empty set, and P(X) its power set. Dene on P(X) the following composition laws: The symmetric dierence AB := (A\\B) (B\\A), and the usual intersection A B := A B, A, B P(X). Pro...
UPenn >> MATH >> 371 (Fall, 2008)
Due: Friday, Sept 26, 2008 Math 371 / Problem Set 2 1) Let (G, ) be a group. Prove or disprove: a) (x1 )1 = x for all x G; and if G is abelian, then (x y)n = xn y n for all x, y G. b) (x1 . . . xn )1 = x1 . . . x1 for all x1 , . . . , xn G. ...
UPenn >> MATH >> 371 (Fall, 2008)
Due: Friday, Oct 3, 2008 Math 371 / Problem Set 3 Products of groups/rings/elds In the sequel (G1 , ), (G2 , ) are groups, and G = G1 G2 is their product endowed with the composition law as dened in class (x1 , x2 ) (y1 , y2 ) := (x1 y1 , x2 y2 ). ...
UPenn >> MATH >> 371 (Fall, 2008)
Due: Friday, Oct 10, 2008 Math 371 / Problem Set 4 (two pages) Polynomial functions Let R S be rings with identity, and R[X] be the ring of polynomials in the variable X over R. Further let F(S, S) be the ring of all the maps from f : S S as introd...
UPenn >> MATH >> 371 (Fall, 2008)
Due: Friday, Oct 17, 2008 Math 371 / Problem Set 5 Modules and vector spaces (continued) 1) Let M be an R-module, and N M be an R-submodule. We set M := M/N and denote its elements by x := x + N for all x M . Suppose that x1 , x2 N are generators ...
UPenn >> MATH >> 371 (Fall, 2008)
Due: Friday, Oct 24, 2008 Math 371 / Problem Set 6 1) Let M be an R-module, and recall that for a subset T M , we denote by < T >R the R-submodule of M generated by T . Let X, Y M be subsets. Prove or disprove the following: a) < < X >R >R = < X >R...
UPenn >> MATH >> 371 (Fall, 2008)
Due: Friday, Oct 31, 2008 Math 371 / Problem Set 7 1) Let V1 , . . . , Vn be F -vector spaces, and let fi : Vi Vi+1 be an F -linear maps such that Ker(fi+1 ) = Im(fi ) for i = 1, . . . , n 1, and suppose that fn1 is surjective. a) Prove that if n =...
UPenn >> MATH >> 371 (Fall, 2008)
Due: Friday, Nov 7, 2008 Math 371 / Problem Set 8 Division in polynomial rings In the sequel, R is a commutative ring with 1R , and R[X] is the R-algebra of polynomials over R. Recall that a polynomial p(X) = an X n + . . . a0 R[X] with an = 0R is c...
UPenn >> MATH >> 371 (Fall, 2008)
Due: Friday, Nov 14, 2008 Math 371 / Problem Set 9 R-multilinear forms and Determinants 1) Form m, n 0, let I := { | = (i1 , . . . , in ), 1 i1 , . . . , in m} be as in the class. For every Sn dene a map : I I, (i1 , . . . , in ) (i(1) , . ....
UPenn >> MATH >> 371 (Fall, 2008)
Due: Friday, Nov 21, 2008 Math 371 / Problem Set 10 On the transpose Let R be a commutative ring with 1R . Let M, N be free R-modules, with R-bases A = (1 , . . . , m ), respectively B = (1 , . . . , n ), and let M , N be the R-dual modules, endowe...
UPenn >> MATH >> 371 (Fall, 2008)
Due: Friday, Nov 28, 2008 Math 371 / Problem Set 11 Diagonalization/Rank of a matrix/Linear systems 1) For A Mnm (F ), nd elementary transformation T1 , . . . , Tp Mnn (F ), S1 , . . . , Sq Mmm (F ) D such that Tp . . . T1 AS1 . . . Sq has the can...
UPenn >> MATH >> 371 (Fall, 2008)
Due: Friday, Dec 5, 2008 Math 371 / Problem Set 12 Roots of polynomials 1) Prove or disprove / answer the following: a) Every eld extension of degree 2 of Q is of the form K = Q[ d], where d Z is a square free integer. b) If d1 , d2 Z are two sq...
UPenn >> MATH >> 371 (Fall, 2008)
Due: Mo, Dec 15, 2008, at 3:00 PM Math 371 / Final Exam IMPORTANT: Points for each problem: 4pt for part a) / 6pt for part b) / 7pt for part a) and b) Grading: 20 < C, C, C+ 30 < B, B, B+ 40 < A, A, A+ 211 121 112 Consider the matrix A = 1) Answer...
UPenn >> MATH >> 502 (Fall, 2008)
Due: Friday, Sept 19, 2008 Math 502 / Problem Set 1 All the homework is from Hungefords Algebra book. Problems 5, 9, 10, 11, at the end of Introduction. Prove that the addition + and the multiplication on the natural numbers N as dened in class is...
UPenn >> MATH >> 502 (Fall, 2008)
Due: Friday, Sept 26, 2008 Math 502 / Problem Set 2 1) Unswer/prove the following: a) Let M be endowed with a composition law which is associative and satises: exists e M such that x e = x for all x M , and for every x M there exists x M such t...
UPenn >> MATH >> 502 (Fall, 2008)
Due: Friday, Oct 3, 2008 Math 502 / Problem Set 3 Recall that for a group G and a subgroup H, we denote by G/H and H\\G the set of left, respectively right, cosets of G with respect to H, and we say that |H\\G| =: (G : H) := |G/H| is the index of H in ...
UPenn >> MATH >> 502 (Fall, 2008)
Due: Friday, Oct 10, 2008 Math 502 / Problem Set 4 Groups/algebras of functions Let (M, ) be a set endowed with a composition law, X a non-empty set, and F(X, M ) be the set of all the maps f : X M . Dene a composition law on F(X, M ) as follows: Fo...
UPenn >> MATH >> 502 (Fall, 2008)
Due: Friday, Oct 17, 2008 Math 502 / Problem Set 5 Universal property of the polynomial ring/polynomial functions Let R be a commutative ring with 1R , and R[X] be the ring of polynomials in the variable X over R, viewed as an R-algebra via the canon...
UPenn >> MATH >> 502 (Fall, 2008)
Due: Friday, Oct 24, 2008 Math 502 / Problem Set 6 Problems 1, 4, 8, 9, 15, at the end of 4, Ch.3, of Hungefords Algebra book. Problems 1, 7, 10, at the end of 5, Ch.3, of Hungefords Algebra book. Problems 1, 2, 3, at the end of 1, Ch.4, of Hungef...
UPenn >> MATH >> 502 (Fall, 2008)
Due: Friday, Oct 31, 2008 Math 502 / Problem Set 7 1) Let R be a ring with 1R . Prove or disprove the following: a) a R is an R-submodule of (R, +) i a is a left ideal of R. b) An R-module M is cyclic i there exists a left ideal a R such that M R/...
UPenn >> MATH >> 502 (Fall, 2008)
Due: Friday, Nov 7, 2008 Math 502 / Problem Set 8 Let R be a commutative ring with 1R . Recall that for an R module M , we denote M := HomR (M, R) the set of all the R-homs from M to R, and call it the dual R-module of M . 1) Prove/dispove the follo...
UPenn >> MATH >> 502 (Fall, 2008)
Due: Friday, Nov 14, 2008 Math 502 / Problem Set 9 R-multilinear forms and Determinants 1) Form m, n 0, let I := { | = (i1 , . . . , in ), 1 i1 , . . . , in m} be as in the class. For every Sn dene a map : I I, (i1 , . . . , in ) (i(1) , . ....
UPenn >> MATH >> 502 (Fall, 2008)
Due: Friday, Nov 21, 2008 Math 502 / Problem Set 10 On the transpose Let R be a commutative ring with 1R . Let M, N be free R-modules, with R-bases A = (1 , . . . , m ), respectively B = (1 , . . . , n ), and let M , N be the R-dual modules, endowe...
UPenn >> MATH >> 502 (Fall, 2008)
Due: Friday, Nov 28, 2008 Math 502 / Problem Set 11 1) Analyze which of the following matrices are diagonalizable, where the coecients are in an arbitrary eld, and if so, nd the diagonal form: 0100 4111 111 0001 1411 23a a) b) c) 1000 1141 4 9 a2 001...
UPenn >> MATH >> 502 (Fall, 2008)
Due: Friday, Dec 5, 2008 Math 502 / Problem Set 12 Modules over PIDs 1) Let R be a PID, and M an R-module, and A = (i )i be a system of elements of M . For every a R, set aM := {ax | x M }. Prove or disprove / answer the following: a) aM is an R-su...
UPenn >> MATH >> 502 (Fall, 2008)
Due: Mo, Dec 15, 2008, at 3:00 PM Math 502 / Final Exam IMPORTANT: Points for each problem: 1-10 Grading: 20 < C, C, C+ 30 < B, B, B+ 40 < A, A, A+ 311 131 113 Consider the matrix A = 1) Answer the following: over an arbitrary eld F . a) Is B :=...
UPenn >> CIS >> 03 (Fall, 2008)
Omnidirectional image processing Image processing in perspective images Images obtained through perspective projection undergo local mappings: Translations Similitude Affine Projective (Collineations). This assumption is implicit in template m...
UPenn >> CIS >> 03 (Fall, 2008)
Outline of the lecture 2/73 ICCV 2003 Course on Omnidirectional Vision lecture of 1. Estimation of multiple view geometry of central dioptric & catadioptric Tom Pajdla as with contributions from B. Miu M. Menem, H. Bakstein, and D. Martinec c sk, C...
UPenn >> CIS >> 700 (Spring, 2006)
Journal of Machine Learning Research 3 (2003) 11071135 Submitted 4/02; Published 2/03 Matching Words and Pictures Kobus Barnard Computer Science Department University of Arizona Tucson, AZ 85721-0077, USA KOBUS@CS.ARIZONA.EDU Pinar Duygulu Departm...
UPenn >> STAT >> 530 (Fall, 2008)
Statistics 530 (Fall Term 2002) Probability Professor J. Michael Steele Prerequisites: This course is designed to serve as a rst graduate course in probability theory, and the only formal prerequisites are a knowledge of undergraduate probability (at...
UPenn >> STAT >> 531 (Fall, 2008)
Statistics 531 (Spring 2004) Markov Models, State Space Models, and Markov Chain Monte Carlo. Professor J. Michael Steele Prerequisites: This course serves as a rst graduate course in stochastic processes with a focus on model building and computatio...
UPenn >> MATH >> 360 (Fall, 2008)
Due: Friday, Jan 25, 2008 Math 360 - Advanced Calculus / Problem Set 1 Sets and Maps 1) Let f : X Y , g : Y Z be a maps of sets. a) Show that if f and g are injective, then so is g f . Formulate the converse assertion to a), and prove or disprove ...
UPenn >> MATH >> 360 (Fall, 2008)
Due: Friday, Feb 1, 2008 Math 360 - Advanced Calculus / Problem Set 2 Relations on sets 1) Let X be a non-empty set. Dene a relation R on its power set P(X) by: ARB disprove: a) R is an partial ordering on P(X). b) Every non-empty subset X P(X) has ...
UPenn >> MATH >> 360 (Fall, 2008)
Due: Friday, Feb 8, 2008 Math 360 - Advanced Calculus / Problem Set 3 Numbers and algebraic structures 1) Let N, + , , be the set of natural numbers endowed with the addition, multiplication, and the ordering. b) Prove the compatibility of + and w...
UPenn >> MATH >> 360 (Fall, 2008)
Due: Friday, Feb 15, 2008 Math 360 - Advanced Calculus / Problem Set 4 Real numbers Recall that given non-empty subsets X, Y we dened X + Y := {x + y | x X, y Y }, and call X + Y the sum of X and Y ; and X Y := {xy | x X, y Y }, and call X Y t...
UPenn >> MATH >> 360 (Fall, 2008)
Due: Friday, Feb 22, 2008 Math 360 - Advanced Calculus / Problem Set 5 Sequences 1) Finish the proof of the assertion from the class: Every monotone bounded sequence of real numbers (xn )n is convergent. More precise: b) If (xn )n is decreasing, the...
UPenn >> MATH >> 360 (Fall, 2008)
Due: Friday, Feb 29, 2008 Math 360 - Advanced Calculus / Problem Set 6 Topology of Recall that a subset B R is closed CR B := R\\B is open in R. We showed in class that if U1 , U2 R are open, then U1 U2 is open, and that if U R, , is an arbit...
UPenn >> MATH >> 360 (Fall, 2008)
Due: Friday, March 7, 2008 Math 360 - Advanced Calculus / Problem Set 7 1) Prove or disprove: a) The series n=0 nxn , x R or x C, is convergent i |x| < 1. n=0 b) Is the same true if we replace convergent by absolutely convergent? c) Is the same...
UPenn >> MATH >> 360 (Fall, 2008)
Due: Friday, March 21, 2008 Math 360 - Advanced Calculus / Problem Set 8 Sequences and Series (continued) 1) Investigate the behavior the following sequences (xn )n and nd their limits, if convergent: a) xn = n2 + n n. b) x1 = 0, and xn+1 = 2 + xn...
UPenn >> MATH >> 360 (Fall, 2008)
Due: Friday, March 28, 2008 Math 360 - Advanced Calculus / Problem Set 9 Connectedness/compactness 1) Let X be a topological space. Prove the following assertions made/used in the class: If (Ui )i=1,.,n are neighborhoods of x X, then U := i Ui is a ...
UPenn >> MATH >> 360 (Fall, 2008)
Due: Friday, April 4, 2008 Math 360 - Advanced Calculus / Problem Set 10 Homeomorphisms 1) Let f : X Y be a continuous function. Show that the following are equivalent: i) f is a homeomorphism. ii) f is bijective, and for every open subset U X one ...
UPenn >> MATH >> 360 (Fall, 2008)
Due: Friday, April 11, 2008 Math 360 - Advanced Calculus / Problem Set 11 Metric spaces 1) Let X, d be a metric space. Prove or disprove the following: a) Let A X non-empty. Then x A (xn )n with xn A and lim = x. n b) Suppose that X is complete....
UPenn >> MATH >> 360 (Fall, 2008)
Due: Friday, April 18, 2008 Math 360 - Advanced Calculus / Problem Set 12 1) Give complete proofs of the following assertion used in the class: a) Let Ai , i = 1, . . . , k, and A := i Ai . Then the k-fold cartesian product Ak := {(a1 , . . . , ak ) ...
UPenn >> MATH >> 360 (Fall, 2008)
Due: Friday, April 25, 2008 Math 360 - Advanced Calculus / Problem Set 13 1) Let D the class: xx0 R be a subspace, and f : D R a map. Give complete proofs of the following assertions from xx0 xx0 a) lim f (x) exists xx0 lim f (x) and lim f (x)...
UPenn >> MATH >> 621 (Fall, 2008)
Feb 18, 2008 Math 621 (Number Theory II) / Problem Set 1 1) Let K be a eld endowed with a non-trivial n.a. absolute value | |, say with valuation ring (R, m). Let (R, m) be the corresponding completions, and K s a separable closure of K, and set R = ...
UPenn >> MATH >> 621 (Fall, 2008)
Feb 25, 2008 Math 621 (Number Theory II) / Problem Set 2 1) Let K be a locally compact non-discrete topological eld. Show that its topology is a V topology. [Hint: Let U = {x K | xn 0}. Then U is open, thus U 1 is open too. Let S be its complement....
UPenn >> MATH >> 621 (Fall, 2008)
March 15, 2008 Math 621 (Number Theory II) / Problem Set 3 1) Let k be an algebraically closed eld, and K = k(t) the Laurent power series eld over K. a) Suppose that char(k) = 0. Show that for every n > 0, K has up to isomorphism exactly one extensio...
UPenn >> MATH >> 620 (Fall, 2008)
Problem Set 1 Valuations 1) Let O O K be sub-rings, with O a valuation ring of K. Prove or disprove / answer: a) Every nitely generated ideal a O is principal, and the set of all ideals of O is totally ordered w.r.t. inclusion. c) O is a localizat...
UPenn >> MATH >> 620 (Fall, 2008)
Due: Mo, Oct 29, 2007 Problem Set 2 (two pages) 1) Find the ring of integers in K = Q[ 2, 3], and the ring of integers of K = Q[ 2, 1]. What do you observe? Give the description of the behavior of primes p Z in OK . 2) Let R a Dedekind ring, K = ...
UPenn >> MATH >> 620 (Fall, 2008)
Due: Wed, Nov 21, 2007 Problem Set 3 (two pages) Cyclotomic number elds 1) Let a) b) Qn = Q[n ] be the nth cyclotomic number eld. Prove the following assertions from the class: Set n0 = (n) = [Qn : Q], = 1 with primitive. Then (1, . . . , n 1 )...
UPenn >> MATH >> 620 (Fall, 2008)
Due: End of November Problem Set 4 (two pages) Units 1) In notations as in the class, let H = log1 (H) be the units Vr,s with Nr,s ( ) = 1. For a xed c > 0, let X0,c = {X0 | (X0 ) = c}, where X0 is as dened in class (and in the notes). Prove or di...
UPenn >> MATH >> 360 (Fall, 2008)
Due: Friday, Jan 26, 2007 Math 360 - Advanced Calculus / Problem Set 1 Sets and Maps 1) Let f : X Y , g : Y Z be a maps of sets. a) Show that if f and g are injective, then so is g f . b) Formulate the converse assertion to a), and prove or dispro...
UPenn >> MATH >> 360 (Fall, 2008)
Due: Friday, Feb 2, 2007 Math 360 - Advanced Calculus / Problem Set 2 Sequences In the problems 1), 2), 3) nd the values of a for which the resulting sequence (xn )n is: a) Monotone. b) Bounded. c) Cauchy, respectively convergent. 1) For a given (rat...
UPenn >> MATH >> 360 (Fall, 2008)
Due: Friday, Feb 9, 2007 Math 360 - Advanced Calculus / Problem Set 3 (two pages) Sequences 1). Let x be an arbitrary real number. a) Prove or disprove: The following are equivalent: i) lim sinn (n!)x exists. n ii) lim cosn (n!)x exists. n b) In th...
UPenn >> MATH >> 360 (Fall, 2008)
Due: Friday, Feb 16, 2007 Math 360 - Advanced Calculus / Problem Set 4 Logical deduction 1) Let (xn )n be a Cauchy sequence of real numbers. Let k0 < k1 < . . . < kn < . . . be a strictly increasing sequence in N, and (xkn )n the corresponding sub-se...
UPenn >> MATH >> 360 (Fall, 2008)
Due: Friday, Feb 23, 2007 Math 360 - Advanced Calculus / Problem Set 5 (two pages) Elementary functions 1) The exponential: Prove the following: a) The series exp(x) := xn n=0 n! is an absolutely convergent power series for all x x b) The sequenc...
UPenn >> MATH >> 360 (Fall, 2008)
Due: Friday, March 16, 2007 Math 360 - Advanced Calculus / Problem Set 6 Let X, X be a topological space, and x X a point of X. A set of neighborhoods {Di }iI of x is called a basis of neighborhoods of x, if for every neighborhood D of x there exist...
UPenn >> MATH >> 360 (Fall, 2008)
Due: Friday, March 23, 2007 Math 360 - Advanced Calculus / Problem Set 7 Homeomorphisms: Recall that a continuous function f : X Y is said to be a homeomorphism, if there exits a continuous function g : Y X such that f g = idY and g f = idX . In ...
UPenn >> MATH >> 360 (Fall, 2008)
Due: Friday, March 30, 2007 Math 360 - Advanced Calculus / Problem Set 8 (two pages) 1) Let X, d be a metric space, and A X a non-empty subspace. Prove the following: a) For x X the following are equivalent: i) x A. ii) > 0 one has: B(x, ) A = ....
UPenn >> MATH >> 360 (Fall, 2008)
Due: Friday, April 6, 2007 Math 360 - Advanced Calculus / Problem Set 9 Let X, d be a metric space. For non-empty subsets A, B X we dene: d(A, B) = inf{d(x, y) | x A, y B}, and call it the distance between A and B. (A) := sup{d(x , x ) | x , x ...
UPenn >> MATH >> 360 (Fall, 2008)
Due: Friday, April 13, 2007 Math 360 - Advanced Calculus / Problem Set 10 (two pages) 1) Prove the following assertions made in the class: a) If f : D R is dierentiable at x0 D, then f is continuous at x0 . b) If f, g are dierentiable at x0 , then...
UPenn >> MATH >> 360 (Fall, 2008)
Due: Friday, April 20, 2007 Math 360 - Advanced Calculus / Problem Set 11 1) Let f : I := [a, b] R be a Riemann integrable function. Prove or disprove: a) The set of continuity points of f is dense in I. b) The set of discontinuity points of f is no...
What are you waiting for?