Relevant bibliographies by topics / Abstraction and type theory

Contents

  1. Journal articles
  2. Dissertations / Theses
  3. Books
  4. Book chapters
  5. Conference papers
  6. Reports

Academic literature on the topic 'Abstraction and type theory'

Author: Grafiati
Published: 4 June 2021
Last updated: 11 February 2022

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'Abstraction and type theory.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Journal articles on the topic "Abstraction and type theory"

1

Stucki, Sandro, and Paolo G. Giarrusso. "A theory of higher-order subtyping with type intervals." Proceedings of the ACM on Programming Languages 5, ICFP (2021): 1–30. http://dx.doi.org/10.1145/3473574.

Full text
Abstract:
The calculus of Dependent Object Types (DOT) has enabled a more principled and robust implementation of Scala, but its support for type-level computation has proven insufficient. As a remedy, we propose F ·· ω , a rigorous theoretical foundation for Scala’s higher-kinded types. F ·· ω extends F <: ω with interval kinds , which afford a unified treatment of important type- and kind-level abstraction mechanisms found in Scala, such as bounded quantification, bounded operator abstractions, translucent type definitions and first-class subtyping constraints. The result is a flexible and general
APA, Harvard, Vancouver, ISO, and other styles
2

Maynard, Douglas W., and Jason Turowetz. "Doing Abstraction: Autism, Diagnosis, and Social Theory." Sociological Theory 37, no. 1 (2019): 89–116. http://dx.doi.org/10.1177/0735275119830450.

Full text
Abstract:
Recent decades have witnessed a dramatic upsurge in the prevalence of autism spectrum disorder (ASD). As researchers have investigated the responsible sociohistorical conditions, they have neglected how clinicians determine the diagnosis in local encounters in the first place. Articulating a position “between Foucault and Goffman,” we ask how the interaction order of the clinic articulates with larger-scale historical forces affecting the definition and distribution of ASD. First, we show how the diagnostic process has a narrative structure. Second, case data from three decades show how narrat
APA, Harvard, Vancouver, ISO, and other styles
3

Schneider, Edgar W., and Christopher M. Hutton. "Abstraction and Instance: The Type-Token Relation in Linguistic Theory." Language 68, no. 1 (1992): 229. http://dx.doi.org/10.2307/416396.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Antilla, Raimo. "Abstraction & instance: The type-token relation in linguistic theory." Lingua 93, no. 1 (1994): 91–95. http://dx.doi.org/10.1016/0024-3841(94)90354-9.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Turner, Raymond. "Computational Abstraction." Entropy 23, no. 2 (2021): 213. http://dx.doi.org/10.3390/e23020213.

Full text
Abstract:
Representation and abstraction are two of the fundamental concepts of computer science. Together they enable “high-level” programming: without abstraction programming would be tied to machine code; without a machine representation, it would be a pure mathematical exercise. Representation begins with an abstract structure and seeks to find a more concrete one. Abstraction does the reverse: it starts with concrete structures and abstracts away. While formal accounts of representation are easy to find, abstraction is a different matter. In this paper, we provide an analysis of data abstraction ba
APA, Harvard, Vancouver, ISO, and other styles
6

SPITTERS, BAS, and EELIS VAN DER WEEGEN. "Type classes for mathematics in type theory." Mathematical Structures in Computer Science 21, no. 4 (2011): 795–825. http://dx.doi.org/10.1017/s0960129511000119.

Full text
Abstract:
The introduction of first-class type classes in the Coq system calls for a re-examination of the basic interfaces used for mathematical formalisation in type theory. We present a new set of type classes for mathematics and take full advantage of their unique features to make practical a particularly flexible approach that was formerly thought to be unfeasible. Thus, we address traditional proof engineering challenges as well as new ones resulting from our ambition to build upon this development a library of constructive analysis in which any abstraction penalties inhibiting efficient computati
APA, Harvard, Vancouver, ISO, and other styles
7

Ginzburg, J. "Abstraction and Ontology: Questions as Propositional Abstracts in Type Theory with Records." Journal of Logic and Computation 15, no. 2 (2005): 113–30. http://dx.doi.org/10.1093/logcom/exi005.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Gilmore, Paul C. "An intensional type theory: motivation and cut-elimination." Journal of Symbolic Logic 66, no. 1 (2001): 383–400. http://dx.doi.org/10.2307/2694928.

Full text
Abstract:
AbstractBy the theory TT is meant the higher order predicate logic with the following recursively defined types:(1) 1 is the type of individuals and [] is the type of the truth values:(2) [τ1…..τn] is the type of the predicates with arguments of the types τ1…..τn.The theory ITT described in this paper is an intensional version of TT. The types of ITT are the same as the types of TT, but the membership of the type 1 of individuals in ITT is an extension of the membership in TT. The extension consists of allowing any higher order term, in which only variables of type 1 have a free occurrence, to
APA, Harvard, Vancouver, ISO, and other styles
9

Schneider, Edgar W. "Abstraction and instance: The type-token relation in linguistic theory By Christopher M. Hutton." Language 68, no. 1 (1992): 229–30. http://dx.doi.org/10.1353/lan.1992.0046.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Castro, Pedro J., and Mar Reguero. "The mechanism behind the photochromism and photomagnetism of type II biindenylidenediones: multiconfigurational, perturbative and density functional theory studies." Physical Chemistry Chemical Physics 23, no. 32 (2021): 17453–65. http://dx.doi.org/10.1039/d1cp01692j.

Full text
Abstract:
MCSCF, MRPT2 and MRCI were used to study the electronic states of a single molecule, and DFT for a periodic crystal system. δ-hydrogen abstraction leads to products where high spin–orbit coupling favors the ISC and explain the experimental phenomena.
APA, Harvard, Vancouver, ISO, and other styles

Dissertations / Theses on the topic "Abstraction and type theory"

1

Hutton, C. M. "The type-token relation : Abstraction and instantiation in linguistic theory." Thesis, University of Oxford, 1987. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.384777.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

CORREIA, Hiury Duarte. "Uma avaliação da estrutura de tipos presente na terceira seção da begriffsschrift, à luz do cálculo lambda." Universidade Federal de Goiás, 2010. http://repositorio.bc.ufg.br/tede/handle/tde/782.

Full text
Abstract:
Made available in DSpace on 2014-07-29T15:06:26Z (GMT). No. of bitstreams: 1 Dissertacao Mestrado Hiury Correia.pdf: 634437 bytes, checksum: cf6fd2233508dfe9b0a574d4f162b2ba (MD5) Previous issue date: 2010-11-20<br>Our dissertation s theme is the Idea that, buried in Frege s unfriendly Logical notation, one finds the notion of abstraction as a key ingredient of his Begriffsschrift. This runs contrary to the ordinary appraisal, such as the one found in Van Heijenoort s introduction to that article. It runs also contrary to Frege s refusal of the possibility of referring to unsaturated entitie
APA, Harvard, Vancouver, ISO, and other styles
3

Brodacki, Marcus, and Hanna Jirskog. "Är diversifiering ett översättningsproblem? : Hur lean översätts till en tjänstorganisations olika kontexter." Thesis, Linköpings universitet, Företagsekonomi, 2018. http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-148228.

Full text
Abstract:
Bakgrund: Managementkoncept, som till exempel lean, behöver anpassas för att passa en viss organisations unika förutsättningar. Översättningsteori är ett medel för anpassning av managementkoncept mellan olika kontexter men i forskningen är det främst översättning till en kontext som har undersökts. Vad som händer om organisationen i fråga är diversifierad är i stort förbisett i forskningen. Det är därmed intressant att undersöka hur diversifiering påverkar översättningen och om det kan vara en anledning till att många implementationer, och översättningar, av managementkoncept misslyckas. Syfte
APA, Harvard, Vancouver, ISO, and other styles
4

Walsh, Toby. "A theory of abstraction." Thesis, University of Edinburgh, 1990. http://hdl.handle.net/1842/20276.

Full text
Abstract:
Abstraction is the process of mapping one representation of a problem onto a simpler, more abstract representation; the abstract solution can then be used to guide the search for a solution to the original, more complex problem. By providing a global control of the search, abstraction can greatly improve our problem solving ability. Unfortunately, the use of abstraction has in general lacked sound and theoretical foundations causing many problems. This thesis therefore proposes a general purpose <i>theory of abstraction</i>. We use this theory to classify the various types of abstraction, to i
APA, Harvard, Vancouver, ISO, and other styles
5

Smirnov, Sergey, Hajo A. Reijers, Thijs Nugteren, and Mathias Weske. "Business process model abstraction : theory and practice." Universität Potsdam, 2010. http://opus.kobv.de/ubp/volltexte/2010/4178/.

Full text
Abstract:
Business process management aims at capturing, understanding, and improving work in organizations. The central artifacts are process models, which serve different purposes. Detailed process models are used to analyze concrete working procedures, while high-level models show, for instance, handovers between departments. To provide different views on process models, business process model abstraction has emerged. While several approaches have been proposed, a number of abstraction use case that are both relevant for industry and scientifically challenging are yet to be addressed. In this paper
APA, Harvard, Vancouver, ISO, and other styles
6

Huang, Shan Shan. "Structural abstraction." Diss., Atlanta, Ga. : Georgia Institute of Technology, 2009. http://hdl.handle.net/1853/29632.

Full text
Abstract:
Thesis (Ph.D)--Computing, Georgia Institute of Technology, 2010.<br>Committee Chair: Yannis Smaragdakis; Committee Member: Oege de Moor; Committee Member: Richard LeBlanc; Committee Member: Santosh Pande; Committee Member: Spencer Rugaber. Part of the SMARTech Electronic Thesis and Dissertation Collection.
APA, Harvard, Vancouver, ISO, and other styles
7

Luh, Cheng-Jye. "Abstraction morphisms for high-autonomy systems." Diss., The University of Arizona, 1992. http://hdl.handle.net/10150/185774.

Full text
Abstract:
A model-based high autonomy system employs a multiplicity of models at various control layers to support the predefined system objectives. Such models differ in levels of abstraction and in formalism. Concepts and tools are needed to organize the models into a coherent whole. This dissertation deals with the abstraction processes for systematic derivation of related models through the use of system morphisms. Morphism abstraction tools to support model construction and model base consistency are developed and integrated into the Systems Entity Structure/Model Base (SES/MB) framework, which is
APA, Harvard, Vancouver, ISO, and other styles
8

Ruhrberg, Peter. "Simultaneous abstraction and semantic theories." Thesis, University of Edinburgh, 1996. http://hdl.handle.net/1842/520.

Full text
Abstract:
I present a simple Simultaneous Abstraction Calculus, where the familiar lambda-abstraction over single variables is replaced by abstraction over whole sets of them. Terms are applied to partial assignments of objects to variables. Variants of the system are investigated and compared, with respect to their semantic and proof theoretic properties. The system overcomes the strict ordering requirements of the standard lambda-calculus,and is shown to provide the kind of "non-selective" binding needed for Dynamic Montague Grammar and Discourse Representation Theory. It is closely related to a more
APA, Harvard, Vancouver, ISO, and other styles
9

Kotzing, Timo. "Abstraction and complexity in computational learning in the limit." Access to citation, abstract and download form provided by ProQuest Information and Learning Company; downloadable PDF file, 156 p, 2009. http://proquest.umi.com/pqdweb?did=1886744841&sid=7&Fmt=2&clientId=8331&RQT=309&VName=PQD.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Kaposi, Ambrus. "Type theory in a type theory with quotient inductive types." Thesis, University of Nottingham, 2017. http://eprints.nottingham.ac.uk/41385/.

Full text
Abstract:
Type theory (with dependent types) was introduced by Per Martin-Löf with the intention of providing a foundation for constructive mathematics. A part of constructive mathematics is type theory itself, hence we should be able to say what type theory is using the formal language of type theory. In addition, metatheoretic properties of type theory such as normalisation should be provable in type theory. The usual way of defining type theory formally is by starting with an inductive definition of precontexts, pretypes and preterms and as a second step defining a ternary typing relation over these
APA, Harvard, Vancouver, ISO, and other styles

Books on the topic "Abstraction and type theory"

1

Hutton, Christopher. Abstraction and instance: The type-token relation in linguistic theory. Pergamon Press, 1990.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
2

Games and full abstraction for a functional metalanguage with recursive types. Springer, 1998.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
3

Bäck, Allan. Aristotle's Theory of Abstraction. Springer International Publishing, 2014. http://dx.doi.org/10.1007/978-3-319-04759-1.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Luo, Zhaohui. A higher-order calculus and theory abstraction. University of Edinburgh, Laboratory for Foundations ofComputer Science, 1988.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
5

Schultz, Patrick, and David I. Spivak. Temporal Type Theory. Springer International Publishing, 2019. http://dx.doi.org/10.1007/978-3-030-00704-1.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Dialogicality in focus: Challenges to theory, method and application. Nova Science Publisher's, 2011.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
7

Märtsin, Mariann. Dialogicality in focus: Challenges to theory, method and application. Nova Science Publisher's, 2011.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
8

Basic simple type theory. Cambridge University Press, 1997.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
9

Streicher, Thomas. Semantics of Type Theory. Birkhäuser Boston, 1991. http://dx.doi.org/10.1007/978-1-4612-0433-6.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Gorskiĭ, D. P. Obobshchenie i poznanie. "Myslʹ", 1985.

Find full text
APA, Harvard, Vancouver, ISO, and other styles

Book chapters on the topic "Abstraction and type theory"

1

Demangeon, Romain, and Kohei Honda. "Full Abstraction in a Subtyped pi-Calculus with Linear Types." In CONCUR 2011 – Concurrency Theory. Springer Berlin Heidelberg, 2011. http://dx.doi.org/10.1007/978-3-642-23217-6_19.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Singher, Eytan, and Shachar Itzhaky. "Theory Exploration Powered by Deductive Synthesis." In Computer Aided Verification. Springer International Publishing, 2021. http://dx.doi.org/10.1007/978-3-030-81688-9_6.

Full text
Abstract:
AbstractThis paper presents a symbolic method for automatic theorem generation based on deductive inference. Many software verification and reasoning tasks require proving complex logical properties; coping with this complexity is generally done by declaring and proving relevant sub-properties. This gives rise to the challenge of discovering useful sub-properties that can assist the automated proof process. This is known as the theory exploration problem, and so far, predominant solutions that emerged rely on evaluation using concrete values. This limits the applicability of these theory exploration techniques to complex programs and properties.In this work, we introduce a new symbolic technique for theory exploration, capable of (offline) generation of a library of lemmas from a base set of inductive data types and recursive definitions. Our approach introduces a new method for using abstraction to overcome the above limitations, combining it with deductive synthesis to reason about abstract values. Our implementation has shown to find more lemmas than prior art, avoiding redundant lemmas (in terms of provability), while being faster in most cases. This new abstraction-based theory exploration method is a step toward applying theory exploration to software verification and synthesis.
APA, Harvard, Vancouver, ISO, and other styles
3

Fiore, Marcelo P., Andrew M. Pitts, and S. C. Steenkamp. "Constructing Infinitary Quotient-Inductive Types." In Lecture Notes in Computer Science. Springer International Publishing, 2020. http://dx.doi.org/10.1007/978-3-030-45231-5_14.

Full text
Abstract:
AbstractThis paper introduces an expressive class of quotient-inductive types, called QW-types. We show that in dependent type theory with uniqueness of identity proofs, even the infinitary case of QW-types can be encoded using the combination of inductive-inductive definitions involving strictly positive occurrences of Hofmann-style quotient types, and Abel’s size types. The latter, which provide a convenient constructive abstraction of what classically would be accomplished with transfinite ordinals, are used to prove termination of the recursive definitions of the elimination and computation properties of our encoding of QW-types. The development is formalized using the Agda theorem prover.
APA, Harvard, Vancouver, ISO, and other styles
4

Johann, Patricia, Enrico Ghiorzi, and Daniel Jeffries. "Parametricity for Primitive Nested Types." In Lecture Notes in Computer Science. Springer International Publishing, 2021. http://dx.doi.org/10.1007/978-3-030-71995-1_17.

Full text
Abstract:
AbstractThis paper considers parametricity and its resulting free theorems for nested data types. Rather than representing nested types via their Church encodings in a higher-kinded or dependently typed extension of System F, we adopt a functional programming perspective and design a Hindley-Milner-style calculus with primitives for constructing nested types directly as fixpoints. Our calculus can express all nested types appearing in the literature, including truly nested types. At the term level, it supports primitive pattern matching, map functions, and fold combinators for nested types. Our main contribution is the construction of a parametric model for our calculus. This is both delicate and challenging: to ensure the existence of semantic fixpoints interpreting nested types, and thus to establish a suitable Identity Extension Lemma for our calculus, our type system must explicitly track functoriality of types, and cocontinuity conditions on the functors interpreting them must be appropriately threaded throughout the model construction. We prove that our model satisfies an appropriate Abstraction Theorem and verifies all standard consequences of parametricity for primitive nested types.
APA, Harvard, Vancouver, ISO, and other styles
5

Cardelli, Luca, and David MacQueen. "Persistence and Type Abstraction." In Topics in Information Systems. Springer Berlin Heidelberg, 1988. http://dx.doi.org/10.1007/978-3-642-61556-6_3.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Deszczyński, Bartosz. "Theoretical Foundations of the Relationship Management Mid-Range Theory." In Firm Competitive Advantage Through Relationship Management. Springer International Publishing, 2021. http://dx.doi.org/10.1007/978-3-030-67338-3_2.

Full text
Abstract:
AbstractIn this chapter the domain of relationship management (RM) is discussed and the notion of the RM mid-range theory is introduced. The first section highlights the socio-economic duality of RM and presents the core characteristics of the RM business model. The diversity of partly overlapping relational constructs is commented on, and a uniform semantic programme for RM is proposed that links the notion of relationship capital and three RM dimensions: structural, psychological and behavioral. In the second section, the role of mid-range theories in linking macro and micro theoretical levels is presented. The theoretical boundaries (the content) of the envisioned RM mid-range theory are outlined, which link the RM business model, the key relational activities and approaches, and business performance. A hypothetical system of theories for competitive advantage is drafted, where the general theory level is occupied by the Resource-Advantage Theory of Competition followed by the upper mid-range theory level; where the RM mid-range theory is placed, completed by the specific market type mid-range theory level; and where network-based and market-based relational theories are positioned.
APA, Harvard, Vancouver, ISO, and other styles
7

Hale, Bob. "Abstraction & Set Theory." In The Western Ontario Series in Philosophy of Science. Springer Netherlands, 2007. http://dx.doi.org/10.1007/978-1-4020-4265-2_17.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Ganty, Pierre, and Ahmed Rezine. "Ordered Counter-Abstraction." In Language and Automata Theory and Applications. Springer International Publishing, 2014. http://dx.doi.org/10.1007/978-3-319-04921-2_32.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Nygaard, Mikkel, and Glynn Winskel. "Full Abstraction for HOPLA." In CONCUR 2003 - Concurrency Theory. Springer Berlin Heidelberg, 2003. http://dx.doi.org/10.1007/978-3-540-45187-7_25.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Bäck, Allan. "The Conception of Abstraction." In Aristotle's Theory of Abstraction. Springer International Publishing, 2014. http://dx.doi.org/10.1007/978-3-319-04759-1_2.

Full text
APA, Harvard, Vancouver, ISO, and other styles

Conference papers on the topic "Abstraction and type theory"

1

Osborne, Gary, Glen Prater, Rostyslav Lesiv, David Lamb, and Matthew Castanier. "Vehicle Concept Model Abstractions for Integrated Geometric, Inertial, Rigid Body, Powertrain, and FE Analyses." In ASME 2011 International Mechanical Engineering Congress and Exposition. ASMEDC, 2011. http://dx.doi.org/10.1115/imece2011-63590.

Full text
Abstract:
Vehicle analysis models of any kind have their basis in some type of physical representation of the design domain. Rather than describing three-dimensional continua of a collection of components as is done in detail-level CAD models, an architecture-level abstraction describes fundamental function and arrangement, while capturing just enough physical detail to be used as the basis for a meaningful design space representation and eventually, analyses that permit architecture assessment. The design information captured by the abstractions is available at the very earliest stages of the vehicle d
APA, Harvard, Vancouver, ISO, and other styles
2

Lesiv, Rostyslav, Glen Prater, Gary Osborne, David Lamb, and Matthew Castanier. "Derivation of Rigid Body Analysis Models From Vehicle Architecture Abstractions." In ASME 2011 International Mechanical Engineering Congress and Exposition. ASMEDC, 2011. http://dx.doi.org/10.1115/imece2011-63613.

Full text
Abstract:
Vehicle analysis models of every type have their basis in some type of physical representation of the design domain. Rather than describing three-dimensional continua of a collection of components as is done in detail-level CAD models, an architecture-level abstraction describes fundamental function and arrangement, while capturing just enough physical detail to be used as the basis for a meaningful representation of the design, and eventually, analyses that permit architecture assessment. The design information captured by the abstractions is available at the very earliest stages of the vehic
APA, Harvard, Vancouver, ISO, and other styles
3

Jin, Xiaoming, Tao He, Cheng Wan, Lan Yi, Guiguang Ding, and Dou Shen. "Automatic Gating of Attributes in Deep Structure." In Twenty-Seventh International Joint Conference on Artificial Intelligence {IJCAI-18}. International Joint Conferences on Artificial Intelligence Organization, 2018. http://dx.doi.org/10.24963/ijcai.2018/319.

Full text
Abstract:
Deep structure has been widely applied in a large variety of fields for its excellence of representing data. Attributes are a unique type of data descriptions that have been successfully utilized in numerous tasks to enhance performance. However, to introduce attributes into deep structure is complicated and challenging, because different layers in deep structure accommodate features of different abstraction levels, while different attributes may naturally represent the data in different abstraction levels. This demands adaptively and jointly modeling of attributes and deep structure by carefu
APA, Harvard, Vancouver, ISO, and other styles
4

Dobberfuhl, Andrea, and Mark W. Lange. "Interfaces Per Module: Is There an Ideal Number?" In ASME 2009 International Design Engineering Technical Conferences and Computers and Information in Engineering Conference. ASMEDC, 2009. http://dx.doi.org/10.1115/detc2009-86872.

Full text
Abstract:
Identifying an appropriate level of abstraction for a technical system is a task often left to more experienced product designers. Based on a systematic approach to modular product design, experience has shown that module interfaces are a key factor in identifying this appropriate level. The foundation for this research is that there are an ideal number of interfaces that corresponds to three semiotic, or signed, notational levels of product design communication. This report will present an empirical metric that represents this ideal number, which can be used to assess the quality of the decom
APA, Harvard, Vancouver, ISO, and other styles
5

Banane, Mouad, and Abdessalam Belangour. "Shared Models and Open Infrastructures for the smart City Internet of Things based on the Semantic Web." In International Conference on the 4th Game Set and Match (GSM4Q-2019). Qatar University Press, 2019. http://dx.doi.org/10.29117/gsm4q.2019.0033.

Full text
Abstract:
Contemporary cities face many challenges: energy, ecological, demographic or economic. To answer this, technological means are implemented in cities through the use of sensors and actuators. These cities are said to be smart. Currently, smart cities are operated by actors who share neither their sensor data nor access to their actuators. This situation is called vertical: each operator deploys its own sensors and actuators and has its own IT infrastructure hosting its applications. This leads to infrastructure redundancy and ad-hoc applications to oversee and control an area of the city. A tre
APA, Harvard, Vancouver, ISO, and other styles
6

Arlitt, Ryan, Anthony Nix, Robert Stone, and Chiradeep Sen. "Discovery of Mental Metadata Used for Analogy Formation in Function-Based Design." In ASME 2015 International Design Engineering Technical Conferences and Computers and Information in Engineering Conference. American Society of Mechanical Engineers, 2015. http://dx.doi.org/10.1115/detc2015-46963.

Full text
Abstract:
Applying previous solutions to solve new problems is a core aspect of design. In this context, analogies provide a mechanism to reapply previous solutions in new ways, but analogy formation is limited by a designer’s knowledge. One approach toward improving a designer’s analogy-forming capabilities is to provide an easy-to-use computational means of retrieving a wide breadth of relevant analogies. This work aims to answer what types of similarity are commonly used to draw design analogies, and whether some types of similarity are used more frequently in compound analogy versus single analogy.
APA, Harvard, Vancouver, ISO, and other styles
7

Dietz, Timothy P., and Farrokh Mistree. "Integrated Pahl and Beitz and the Theory of Inventive Problem Solving for the Conceptual Design of Multi-Domain Systems." In ASME 2009 International Design Engineering Technical Conferences and Computers and Information in Engineering Conference. ASMEDC, 2009. http://dx.doi.org/10.1115/detc2009-87311.

Full text
Abstract:
A key challenge facing designers creating innovative products is concept generation in conceptual design. Conceptual design can be more effective when the design space is broad and accelerated by including problem solving and solution triggering tools in its structure. The design space can be broadened by using an integrated design of product and material concepts approach. In this approach, structured analogy is used to transfer underlying principles from a solution suitable in one domain (i.e., product or mechanical domain) to an analogous solution in another domain (i.e., materials domain).
APA, Harvard, Vancouver, ISO, and other styles
8

Midha, Ashok, Tony W. Norton, and Larry L. Howell. "On the Nomenclature and Classification of Compliant Mechanisms: Abstractions of Mechanisms and Mechanism Synthesis Problems." In ASME 1992 Design Technical Conferences. American Society of Mechanical Engineers, 1992. http://dx.doi.org/10.1115/detc1992-0385.

Full text
Abstract:
Abstract A compliant mechanism is one which gains all or part of its mobility from the relative flexibility of its members rather than from rigid-body joints only. Compliant mechanisms offer clear advantages, such as need for fewer parts, less wear, noise and backlash due to clearances, when compared to rigid-body mechanisms performing similar functions. This important field is expected to undergo significant growth as materials with superior properties are developed. In the development of compliant mechanisms, the establishment of nomenclature and classification is of primary importance. This
APA, Harvard, Vancouver, ISO, and other styles
9

Weirich, Stephanie, Dimitrios Vytiniotis, Simon Peyton Jones, and Steve Zdancewic. "Generative type abstraction and type-level computation." In the 38th annual ACM SIGPLAN-SIGACT symposium. ACM Press, 2011. http://dx.doi.org/10.1145/1926385.1926411.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Boehm, H. J. "Type inference in the presence of type abstraction." In the ACM SIGPLAN 1989 Conference. ACM Press, 1989. http://dx.doi.org/10.1145/73141.74835.

Full text
APA, Harvard, Vancouver, ISO, and other styles

Reports on the topic "Abstraction and type theory"

1

O'Toole, Jr, and James W. Type Abstraction Rules for References: A Comparison of Four which have Achieved Notoriety. Defense Technical Information Center, 1991. http://dx.doi.org/10.21236/ada240076.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Avigad, Jeremy, and Robert Harper. Type Theory, Computation and Interactive Theorem Proving. Defense Technical Information Center, 2015. http://dx.doi.org/10.21236/ad1003773.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Mishra-Linger, Richard. Irrelevance, Polymorphism, and Erasure in Type Theory. Portland State University Library, 2000. http://dx.doi.org/10.15760/etd.2669.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Meseguer, Jose. Logics and Models for Concurrency and Type Theory. Defense Technical Information Center, 1992. http://dx.doi.org/10.21236/ada252737.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Dreyer, Derek R., Robert Harper, and Karl Crary. Toward a Practical Type Theory for Recursive Modules. Defense Technical Information Center, 2001. http://dx.doi.org/10.21236/ada460172.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Northrup, John E. Chemical Defects, Electronic Structure, and Transport in N-type and P-type Organic Semiconductors: First Principles Theory. Defense Technical Information Center, 2012. http://dx.doi.org/10.21236/ada579515.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Mattozzi, Andrea, and Erik Snowberg. The Right Type of Legislator: A Theory of Taxation and Representation. National Bureau of Economic Research, 2018. http://dx.doi.org/10.3386/w24279.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Moore, Terrence J. Shannon-Type Sampling Theory on Unions of Equally Spaced and Noncommensurate Grids. Defense Technical Information Center, 2001. http://dx.doi.org/10.21236/ada392092.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Kachru, Shamit. M-theory on Manifolds of G{sub 2} Holonomy and Type IIA Orientifolds. Office of Scientific and Technical Information (OSTI), 2001. http://dx.doi.org/10.2172/784969.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Xie, Luqi, Jing Wu, Chao Tong, and Chunyu Li. BASIC THEORY AND MECHANICAL PROPERTY ON A NEW TYPE OF REPLACEABLE ENERGY DISSIPATION CONNECTOR. The Hong Kong Institute of Steel Construction, 2018. http://dx.doi.org/10.18057/icass2018.p.107.

Full text
APA, Harvard, Vancouver, ISO, and other styles
We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!

To the bibliography