Type theory

Xem 1-20 trên 190 kết quả Type theory
  • Revised and expanded, Gear Geometry and Applied Theory, 2nd edition, covers the theory, design, geometry, and manufacture of all types of gears and gear drives. Gear Geometry and Applied Theory is an invaluable reference for designers, theoreticians, students, and manufacturers. This new edition includes advances in gear theory, gear manufacturing, and computer simulation.

    pdf818p kennybibo 14-07-2012 64 22   Download

  • Although many other models of concurrent and distributed systems have been developed since the introduction in 1964 Petri nets are still an essential model for concurrent systems with respect to both the theory and the applications. The main attraction of Petri nets is the way in which the basic aspects of concurrent systems are captured both conceptually and mathematically. The intuitively appealing graphical notation makes Petri nets the model of choice in many applications.

    pdf0p bi_bi1 11-07-2012 38 9   Download

  • In the following pages I have attempted to trace certain developments in the theory of translation as it has been formulated by English writers. I have confined myself, of necessity, to such opinions as have been put into words, and avoided making use of deductions from practice other than a few obvious and generally accepted conclusions.

    pdf101p nhokheo9 06-05-2013 31 9   Download

  • These notes build upon a course I taught at the University of Maryland during the fall of 1983. My great thanks go to Martino Bardi, who took careful notes, saved them all these years and recently mailed them to me. Faye Yeager typed up his notes into a first draft of these lectures as they now appear.

    pdf125p trongnv_t55 23-05-2013 23 8   Download

  • The book “Systems Engineering: Practice and Theory” is a collection of articles written by developers and researches from all around the globe. Mostly they present methodologies for separate Systems Engineering processes; others consider issues of adjacent knowledge areas and sub-areas that significantly contribute to systems development, operation, and maintenance.

    pdf364p bi_bi1 11-07-2012 43 7   Download

  • Tuyển tập các báo cáo nghiên cứu khoa học ngành toán học tạp chí Journal of Operator Theory đề tài: Thủ tướng Chính phủ hành động của các nhóm nhỏ gọn abelian trên các yếu tố II_1 loại hyperfinite...

    pdf6p matuot_266 27-08-2011 23 4   Download

  • This book constitutes the refereed proceedings of the 15th International Conference on Concurrency Theory, CONCUR 2004, held in London, UK in August/September 2004. The 29 revised full papers presented together with 4 invited papers were carefully reviewed and selected from 134 submissions.

    pdf547p ken333 07-06-2012 36 4   Download

  • The main question studied in this article may be viewed as a nonlinear analogue of Dvoretzky’s theorem in Banach space theory or as part of Ramsey theory in combinatorics. Given a finite metric space on n points, we seek its subspace of largest cardinality which can be embedded with a given distortion in Hilbert space. We provide nearly tight upper and lower bounds on the cardinality of this subspace in terms of n and the desired distortion. Our main theorem states that for any 0, every n point metric space contains a subset of size at least n1−...

    pdf68p noel_noel 17-01-2013 20 4   Download

  • .least in one of the possible directions, namely the mathematical semantics of data types and programs as objects and morphisms of categories. We were urged to write the general introduction contained in part I, since most available books in category theory are written for the “working mathematician” and, as the subject is greatly indebted to algebraic geometry and related disciplines, the examples and motivations can be understood only by readers with some a

    pdf300p anhnangmuahe2013 04-03-2013 25 4   Download

  • We provide a general account of parallelism in discourse, and apply it to the special case of resolving possible readings for instances of VP ellipsis. We show how seyeral problematic examples are accounted for in a natural and straightforward fashion. The generality of the approach makes it directly applicable to a variety of other types of ellipsis and reference. 1 The Problem of VP Ellipsis Whereas one might expect there to be as many as six readings for this sentence, Dalrymple et ai. (1991, henceforth DSP) note that it has only five readings; the reading is absent in which...

    pdf8p bunthai_1 06-05-2013 17 4   Download

  • Tuyển tập các báo cáo nghiên cứu khoa học ngành toán học tạp chí Journal of Operator Theory đề tài: Về dự toán chỉ nhưng thuốc làm tiêu độc Carleman của người điều khiển loại Schroedinger với tiềm năng tùy ý...

    pdf26p matuot_266 27-08-2011 24 3   Download

  • Tuyển tập các báo cáo nghiên cứu khoa học ngành toán học tạp chí Journal of Operator Theory đề tài: Nhận xét về Lebesgue loại phân hủy của các nhà khai thác tích cực...

    pdf7p matuot_266 27-08-2011 17 3   Download

  • We introduce a typed feature logic system providing both universal implicational principles as well as definite clauses over feature terms. We show that such an architecture supports a modular encoding of linguistic theories and allows for a compact representation using underspecification. The system is fully implemented and has been used as a workbench to develop and test large HPSG grammars. The techniques described in this paper are not restricted to a specific implementation, but could be added to many current feature-based grammar development systems.

    pdf8p bunthai_1 06-05-2013 16 3   Download

  • Tuyển tập các báo cáo nghiên cứu khoa học ngành toán học tạp chí Journal of Operator Theory đề tài: Một yếu tố của II_1 loại với nhóm cơ bản đếm được...

    pdf3p matuot_266 26-08-2011 25 2   Download

  • Tuyển tập các báo cáo nghiên cứu khoa học ngành toán học tạp chí Journal of Operator Theory đề tài: Các nhà khai thác của loại A và địa phương liên tục tuyệt đối...

    pdf13p matuot_266 27-08-2011 18 2   Download

  • Tuyển tập các báo cáo nghiên cứu khoa học ngành toán học tạp chí Journal of Operator Theory đề tài: Các yếu tố của loại III_1, tài sản $ L'_ \ lambda $ và đóng cửa bên trong automorphisms...

    pdf23p matuot_266 27-08-2011 25 2   Download

  • Tuyển tập các báo cáo nghiên cứu khoa học ngành toán học tạp chí Journal of Operator Theory đề tài:Các loại của các đại diện thường xuyên của groupoids bắc...

    pdf13p matuot_266 27-08-2011 24 2   Download

  • Standard Discourse Representation Theory (DRT) was designed mainly to explain the so-called donkey-sentences. The pronouns plaYing such a prominent role in all these sentences belong, however, exclusively to one (partlculaPly simple) type of pronoun. We try to extend DRT in order to cover an equally Important type of pronoun, the so-called etdes0rIptlonal,* pronoun. Discourse referents ape now used Eo carry information on the intenslon of their referents as well as on the extenslon. This allows, at the same time.

    pdf8p buncha_1 08-05-2013 12 2   Download

  • Cùng tìm hiểu Types of leases; Tax treatment of leases; Effects on financial statements; Lessee’s analysis; Other issues in lease analysis;... được trình bày cụ thể trong "Bài giảng Management theory and practice Financial: Chapter 15". Mời các bạn cùng tìm hiểu để nắm bắt nội dung thông tin tài liệu.

    ppt31p ngochuyen1234567 29-10-2015 9 2   Download

  • Bài giảng Management theory and practice Financial: Chapter 16 với các nội dung cơ bản như: Types of hybrid and other securities; Features and risk; Cost concerns to the issuers. Hy vọng tài liệu là nguồn thông tin tin hữu ích cho quá trình học tập và nghiên cứu của các bạn.

    ppt51p ngochuyen1234567 29-10-2015 13 2   Download


Đồng bộ tài khoản