Log in

Relevant bibliographies by topics / Formal definitions

Contents

Journal articles
Dissertations / Theses
Books
Book chapters
Conference papers
Reports

Academic literature on the topic 'Formal definitions'

Author: Grafiati

Published: 4 June 2021

Last updated: 14 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 'Formal definitions.'

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 "Formal definitions"

1

DUNN, Pete J., and Joseph A. MANDARINO. "Formal definitions of type mineral specimen." Mineralogical Journal 13, no. 8 (1987): 533–34. http://dx.doi.org/10.2465/minerj.13.533.

Full text

APA, Harvard, Vancouver, ISO, and other styles

2

Dunn, Pete J., and Joseph Anthony Mandarino. "Formal definitions of type mineral specimens." Bulletin de Minéralogie 111, no. 1 (1988): 105–7. http://dx.doi.org/10.3406/bulmi.1988.8075.

Full text

APA, Harvard, Vancouver, ISO, and other styles

3

Yan, Su, C. Lee Giles, and Bernard J. Jansen. "Formal definitions of web information search." Proceedings of the American Society for Information Science and Technology 43, no. 1 (2007): 1. http://dx.doi.org/10.1002/meet.1450430152.

Full text

APA, Harvard, Vancouver, ISO, and other styles

4

Dunn, Pete J., and Joseph A. Mandarino. "Formal definitions of type mineral specimens." Mineralogical Magazine 52, no. 364 (1988): 129–31. http://dx.doi.org/10.1180/minmag.1988.052.364.14.

Full text

APA, Harvard, Vancouver, ISO, and other styles

5

Dunn, P. J., and J. A. Mandarino. "Formal definitions of type mineral specimens." Mineralogy and Petrology 38, no. 1 (1988): 77–79. http://dx.doi.org/10.1007/bf01162483.

Full text

APA, Harvard, Vancouver, ISO, and other styles

6

KURLAND, BRENDA F., and CATHERINE E. SNOW. "Longitudinal measurement of growth in definitional skill." Journal of Child Language 24, no. 3 (1997): 603–25. http://dx.doi.org/10.1017/s0305000997003243.

Full text

Abstract:

This study examines individual growth rates in definitional skill over a period of three to six years, for 68 low-income children. Children were asked to define words once a year at school, from kindergarten (youngest administration at 5;3) through fourth grade (oldest administration at 10;10). A plateau was observed between age nine and ten both for percent formal definitions (characterized by presence of a superordinate) and for the quality of formal definitions. The plateau was lower than the theoretical ceiling for these measures. However, the children appear to have attained ‘adult levels

APA, Harvard, Vancouver, ISO, and other styles

7

Snow, Catherine E. "The development of definitional skill." Journal of Child Language 17, no. 3 (1990): 697–710. http://dx.doi.org/10.1017/s0305000900010953.

Full text

Abstract:

ABSTRACTGiving good definitions requires controlling both word meaning and definitional form. Definitions from 137 second to fifth graders (i.e. aged seven to eleven) were scored to reflect conformity to the classic Aristotelian form and quality of information provided. Comparisons among children with different backgrounds indicated that school exposure to English was strongly related to per cent formal definitions given and their quality. 63 children were also tested in French, their foreign language. Performance in French was lower than in English; exposure to French at home related to the a

APA, Harvard, Vancouver, ISO, and other styles

8

Davis, Jon D. "Connecting Students' Informal Language to More Formal Definitions." Mathematics Teacher 101, no. 6 (2008): 446–50. http://dx.doi.org/10.5951/mt.101.6.0446.

Full text

Abstract:

How student-generated terminology for the y-intercept evolved within one Standards-based classroom. It also discusses the teacher's role in this evolution as well as students' understanding of this terminology within different function representations, and it presents ways teachers can help students develop mathematically precise definitions. The article is a description of a qualitative research project including video tapes, transcriptions, and student artifacts.

APA, Harvard, Vancouver, ISO, and other styles

9

Jeppson, K. O., S. Christensson, and N. Hedenstierna. "Formal definitions of edge-based geometric design rules." IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 12, no. 1 (1993): 59–69. http://dx.doi.org/10.1109/43.184843.

Full text

APA, Harvard, Vancouver, ISO, and other styles

10

Marinellie, Sally A. "Improving children’s formal word definitions: A feasibility study." Child Language Teaching and Therapy 26, no. 1 (2010): 23–37. http://dx.doi.org/10.1177/0265659009349970.

Full text

APA, Harvard, Vancouver, ISO, and other styles

Dissertations / Theses on the topic "Formal definitions"

1

Michaelson, Gregory John. "Interpreter prototypes from formal language definitions." Thesis, Heriot-Watt University, 1993. http://hdl.handle.net/10399/1516.

Full text

APA, Harvard, Vancouver, ISO, and other styles

2

Brotherston, James. "Sequent calculus proof systems for inductive definitions." Thesis, University of Edinburgh, 2006. http://hdl.handle.net/1842/1458.

Full text

Abstract:

Inductive definitions are the most natural means by which to represent many families of structures occurring in mathematics and computer science, and their corresponding induction / recursion principles provide the fundamental proof techniques by which to reason about such families. This thesis studies formal proof systems for inductive definitions, as needed, e.g., for inductive proof support in automated theorem proving tools. The systems are formulated as sequent calculi for classical first-order logic extended with a framework for (mutual) inductive definitions. The default approach to rea

APA, Harvard, Vancouver, ISO, and other styles

3

Tsatsaronis, George, Yue Ma, Alina Petrova, et al. "Formalizing biomedical concepts from textual definitions." Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden, 2016. http://nbn-resolving.de/urn:nbn:de:bsz:14-qucosa-192186.

Full text

Abstract:

Background Ontologies play a major role in life sciences, enabling a number of applications, from new data integration to knowledge verification. SNOMED CT is a large medical ontology that is formally defined so that it ensures global consistency and support of complex reasoning tasks. Most biomedical ontologies and taxonomies on the other hand define concepts only textually, without the use of logic. Here, we investigate how to automatically generate formal concept definitions from textual ones. We develop a method that uses machine learning in combination with several types of lexical and se

APA, Harvard, Vancouver, ISO, and other styles

4

Petrova, Alina, Yue Ma, George Tsatsaronis, et al. "Formalizing biomedical concepts from textual definitions." Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden, 2016. http://nbn-resolving.de/urn:nbn:de:bsz:14-qucosa-191181.

Full text

Abstract:

BACKGROUND: Ontologies play a major role in life sciences, enabling a number of applications, from new data integration to knowledge verification. SNOMED CT is a large medical ontology that is formally defined so that it ensures global consistency and support of complex reasoning tasks. Most biomedical ontologies and taxonomies on the other hand define concepts only textually, without the use of logic. Here, we investigate how to automatically generate formal concept definitions from textual ones. We develop a method that uses machine learning in combination with several types of lexical and s

APA, Harvard, Vancouver, ISO, and other styles

5

Petrova, Alina, Yue Ma, George Tsatsaronis, et al. "Formalizing biomedical concepts from textual definitions." BioMed Central, 2015. https://tud.qucosa.de/id/qucosa%3A29123.

Full text

Abstract:

BACKGROUND: Ontologies play a major role in life sciences, enabling a number of applications, from new data integration to knowledge verification. SNOMED CT is a large medical ontology that is formally defined so that it ensures global consistency and support of complex reasoning tasks. Most biomedical ontologies and taxonomies on the other hand define concepts only textually, without the use of logic. Here, we investigate how to automatically generate formal concept definitions from textual ones. We develop a method that uses machine learning in combination with several types of lexical and s

APA, Harvard, Vancouver, ISO, and other styles

6

Tsatsaronis, George, Yue Ma, Alina Petrova, et al. "Formalizing biomedical concepts from textual definitions: Research Article." Journal of Biomedical Semantics, 2010. https://tud.qucosa.de/id/qucosa%3A29146.

Full text

Abstract:

Background Ontologies play a major role in life sciences, enabling a number of applications, from new data integration to knowledge verification. SNOMED CT is a large medical ontology that is formally defined so that it ensures global consistency and support of complex reasoning tasks. Most biomedical ontologies and taxonomies on the other hand define concepts only textually, without the use of logic. Here, we investigate how to automatically generate formal concept definitions from textual ones. We develop a method that uses machine learning in combination with several types of lexical and se

APA, Harvard, Vancouver, ISO, and other styles

7

Vicente, Luciano. "Definições parciais de verdade e sistemas de acumulação na aritmética formal." Universidade de São Paulo, 2013. http://www.teses.usp.br/teses/disponiveis/8/8133/tde-18042013-120246/.

Full text

Abstract:

Segundo o teorema da indefinibilidade de Tarski-Gödel, não existe fórmula da linguagem da aritmética que defina o conjunto dos números de Gödel das sentenças verdadeiras da aritmética. No entanto, para cada número natural n, podemos definir o conjunto dos números de Gödel das sentenças verdadeiras da aritmética de grau menor que n. Essas definições produzem uma hierarquia V0(x), V1(x),..., Vn(x),... tal que, para todo x, se Vn(x), então Vn+1(x). Nesse estudo, ensairemos algumas aplicações desses predicados, chamados definições parciais de verdade, e outros predicados relacionados a eles na con

APA, Harvard, Vancouver, ISO, and other styles

8

Ray, Donald. "Defining and Preventing Code-injection Attacks." Scholar Commons, 2013. http://scholarcommons.usf.edu/etd/4566.

Full text

Abstract:

This thesis shows that existing definitions of code-injection attacks (e.g., SQL-injection attacks) are flawed. The flaws make it possible for attackers to circumvent existing mechanisms, by supplying code-injecting inputs that are not recognized as such. The flaws also make it possible for benign inputs to be treated as attacks. After describing these flaws in conventional definitions of code-injection attacks, this thesis proposes a new definition, which is based on whether the symbols input to an application get used as (normal-form) values in the application's output. Because values ar

APA, Harvard, Vancouver, ISO, and other styles

9

Whitelaw, Clayton. "Precise Detection of Injection Attacks on Concrete Systems." Scholar Commons, 2015. http://scholarcommons.usf.edu/etd/6051.

Full text

Abstract:

Injection attacks, including SQL injection, cross-site scripting, and operating system command injection, rank the top two entries in the MITRE Common Vulnerability Enumeration (CVE) [1]. Under this attack model, an application (e.g., a web application) uses some untrusted input to produce an output program (e.g., a SQL query). Applications may be vulnerable to injection attacks because the untrusted input may alter the output program in malicious ways. Recent work has established a rigorous definition of injection attacks. Injections are benign iff they obey the NIE property, which states tha

APA, Harvard, Vancouver, ISO, and other styles

10

Venugopal, Manu. "Formal specification of industry foundation class concepts using engineering ontologies." Diss., Georgia Institute of Technology, 2011. http://hdl.handle.net/1853/42868.

Full text

Abstract:

Architecture, Engineering, Construction (AEC) and Facilities Management (FM) involve domains that require a very diverse set of information and model exchanges to fully realize the potential of Building Information Modeling (BIM). Industry Foundation Classes (IFC) provides a neutral and open schema for interoperability. Model View Definitions (MVD) provide a common subset for specifying the exchanges using IFC, but are expensive to build, test and maintain. A semantic analysis of IFC data schema illustrates the complexities of embedding semantics in model views. A software engineering methodol

APA, Harvard, Vancouver, ISO, and other styles

Books on the topic "Formal definitions"

1

Assembly, International Telegraph and Telephone Consultative Committee Plenary. Blue book.: SDL formal definition : introduction. International Telecommunications Union, 1989.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

2

Hill, M. G. Formal semantic definition of ELLA timing. HMSO, 1990.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

3

Assembly, International Telegraph and Telephone Consultative Committee Plenary. Blue book.: SDL formal definition : dynamic semantics. International Telecommunication Union, 1989.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

4

International Telegraph and Telephone Consultative Committee. Plenary Assembly. Blue book.: SDL formal definition : static semantics. International Telecommunication Union, 1989.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

5

Schürr, Andreas. Operationales Spezifizieren mit programmierten Graphersetzungssystemen: Formale Definitionen, Anwendungsbeispiele und Werkzeugunterstützung. DUV, 1991.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

6

Eileen, Denza. Definitions. Oxford University Press, 2016. http://dx.doi.org/10.1093/law/9780198703969.003.0003.

Full text

Abstract:

This chapter examines Article 1 of the Vienna Convention on Diplomatic Relations which defines some of the key terms used in the Convention. The article specifically defines nine terms—(a) head of the mission; (b) members of the mission; (c) members of the staff; (d) members of the diplomatic staff; (e) diplomatic agent; (f) members of the administrative and technical staff; (g) members of the service staff; (h) private servant; and (i) premises of the mission. Definitions (a) to (h) of the Article that concern the various categories of persons whose appointment, privileges, and immunities are

APA, Harvard, Vancouver, ISO, and other styles

7

Arruda, Nelson. Formal definitions of Key Exchange models and the effects of restrictions on adversaries. 2005.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

8

Arruda, Nelson. Formal definitions of Key Exchange models and the effects of restrictions on adversaries. 2005.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

9

Martín-Vide, Carlos. Formal Grammars and Languages. Edited by Ruslan Mitkov. Oxford University Press, 2012. http://dx.doi.org/10.1093/oxfordhb/9780199276349.013.0008.

Full text

Abstract:

This article introduces the preliminaries of classical formal language theory. It outlines the main classes of grammars as language-generating devices and automata as language-recognizing devices. It offers a number of definitions and examples and presents the basic results. It classifies grammar according to several criteria. The most widespread one is the form of their productions. This article presents a systematic study of the common properties of language families has led to the theory of abstract families of languages. It shows that a context-free grammar generates not only a set of stri

APA, Harvard, Vancouver, ISO, and other styles

10

Lewis, David M. Ownership and the Articulation of Slave Status in Greek and Near Eastern Legal Practice. Oxford University Press, 2018. http://dx.doi.org/10.1093/oso/9780198769941.003.0002.

Full text

Abstract:

This chapter reviews the various approaches scholars have taken to defining slavery in a global perspective. It proceeds to set out a legal methodology for understanding slave status in comparative perspective. It engages with several critiques of this approach, showing how they are misplaced and reaffirming the importance of legal ownership to the definition of slavery. Two case studies are provided to give empirical confirmation of this theoretical approach, showing how this legal methodology aligns with slaving practices in Athens and Babylonia. It finishes with some general remarks on the

APA, Harvard, Vancouver, ISO, and other styles

Book chapters on the topic "Formal definitions"

1

Drechsler, Rolf. "Notations and Definitions." In Formal Verification of Circuits. Springer US, 2000. http://dx.doi.org/10.1007/978-1-4757-3184-2_2.

Full text

APA, Harvard, Vancouver, ISO, and other styles

2

Bădescu, Lucian. "Basic Definitions and Results." In Projective Geometry and Formal Geometry. Birkhäuser Basel, 2004. http://dx.doi.org/10.1007/978-3-0348-7936-1_9.

Full text

APA, Harvard, Vancouver, ISO, and other styles

3

Delchamps, David F. "Formal Definitions and General Properties." In State Space and Input-Output Linear Systems. Springer New York, 1998. http://dx.doi.org/10.1007/978-1-4612-3816-4_19.

Full text

APA, Harvard, Vancouver, ISO, and other styles

4

Richter, Michael M., and Rosina O. Weber. "Basic Formal Definitions and Methods." In Case-Based Reasoning. Springer Berlin Heidelberg, 2013. http://dx.doi.org/10.1007/978-3-642-40167-1_22.

Full text

APA, Harvard, Vancouver, ISO, and other styles

5

Arthan, R. D. "Recursive Definitions in Z." In ZUM ’98: The Z Formal Specification Notation. Springer Berlin Heidelberg, 1998. http://dx.doi.org/10.1007/978-3-540-49676-2_12.

Full text

APA, Harvard, Vancouver, ISO, and other styles

6

Beaver, Donald. "Formal definitions for secure distributed protocols." In DIMACS Series in Discrete Mathematics and Theoretical Computer Science. American Mathematical Society, 1991. http://dx.doi.org/10.1090/dimacs/002/02.

Full text

APA, Harvard, Vancouver, ISO, and other styles

7

Horozal, Fulya, and Florian Rabe. "Formal Logic Definitions for Interchange Languages." In Lecture Notes in Computer Science. Springer International Publishing, 2015. http://dx.doi.org/10.1007/978-3-319-20615-8_11.

Full text

APA, Harvard, Vancouver, ISO, and other styles

8

Frohme, Markus, and Bernhard Steffen. "Active Mining of Document Type Definitions." In Formal Methods for Industrial Critical Systems. Springer International Publishing, 2018. http://dx.doi.org/10.1007/978-3-030-00244-2_10.

Full text

APA, Harvard, Vancouver, ISO, and other styles

9

Reynaud, Justine, Yannick Toussaint, and Amedeo Napoli. "Using Redescriptions and Formal Concept Analysis for Mining Definitions in Linked Data." In Formal Concept Analysis. Springer International Publishing, 2019. http://dx.doi.org/10.1007/978-3-030-21462-3_16.

Full text

APA, Harvard, Vancouver, ISO, and other styles

10

Abrial, Jean-Raymond, and Louis Mussat. "On Using Conditional Definitions in Formal Theories." In ZB 2002:Formal Specification and Development in Z and B. Springer Berlin Heidelberg, 2002. http://dx.doi.org/10.1007/3-540-45648-1_13.

Full text

APA, Harvard, Vancouver, ISO, and other styles

Conference papers on the topic "Formal definitions"

1

Vance-Harris, Tarik. "Implementing a planner from formal definitions." In the 36th annual Southeast regional conference. ACM Press, 1998. http://dx.doi.org/10.1145/275295.275310.

Full text

APA, Harvard, Vancouver, ISO, and other styles

2

Bowen, Judy, and Anke Dittmar. "Formal Definitions for Design Spaces and Traces." In 2017 24th Asia-Pacific Software Engineering Conference (APSEC). IEEE, 2017. http://dx.doi.org/10.1109/apsec.2017.72.

Full text

APA, Harvard, Vancouver, ISO, and other styles

3

Gai, Xinmao, Yong Li, Yasha Chen, and Changxiang Shen. "Formal Definitions for Trust in Trusted Computing." In Trusted Computing (UIC/ATC). IEEE, 2010. http://dx.doi.org/10.1109/uic-atc.2010.77.

Full text

APA, Harvard, Vancouver, ISO, and other styles

4

Welborn, Curtis, and George Rudolph. "Formal Definitions for Common Data Structures and Algorithms." In 2020 Intermountain Engineering, Technology and Computing (IETC). IEEE, 2020. http://dx.doi.org/10.1109/ietc47856.2020.9249213.

Full text

APA, Harvard, Vancouver, ISO, and other styles

5

Tabacchi, Marco Elio, and Settimo Termini. "Fuzziness and social life: Informal notions, formal definitions." In NAFIPS 2012 - 2012 Annual Meeting of the North American Fuzzy Information Processing Society. IEEE, 2012. http://dx.doi.org/10.1109/nafips.2012.6291034.

Full text

APA, Harvard, Vancouver, ISO, and other styles

6

Wang, Huiqiang, Jian Wang, and Guosheng Zhao. "Index System of Information Systems Survivability: Formal Definitions and Reasoning." In 2008 International Conference on Internet Computing in Science and Engineering (ICICSE). IEEE, 2008. http://dx.doi.org/10.1109/icicse.2008.82.

Full text

APA, Harvard, Vancouver, ISO, and other styles

7

Li, Jin, Tsz Yuen, Xiaofeng Chen, and Yanming Wang. "Proxy Ring Signature: Formal Definitions, Efficient Construction and New Variant." In 2006 International Conference on Computational Intelligence and Security. IEEE, 2006. http://dx.doi.org/10.1109/iccias.2006.295258.

Full text

APA, Harvard, Vancouver, ISO, and other styles

8

Nagrebeckaya, Yuliya, and Vladimir Panov. "EQUIVALENCE OF TWO DEFINITIONS OF JOINT ACTION OF k BINARY FACTORS NOTION." In XIV International Scientific Conference "System Analysis in Medicine". Far Eastern Scientific Center of Physiology and Pathology of Respiration, 2020. http://dx.doi.org/10.12737/conferencearticle_5fe01d9b5fef55.02114623.

Full text

Abstract:

In the formal model of the binary sufficient cause theory two definitions of a notion “joint action of k factors in a given outcome” are known. One of them appeals to a logical structure of the outcome, and another uses some formal notions of Boolean algebras theory. We discuss peculiarities of either definition and formulate their equivalence statement.

APA, Harvard, Vancouver, ISO, and other styles

9

Surabattula, Deepti, and Steven J. Landry. "Toward providing guidance for procedure design: Formal definitions of procedure characteristics." In 2011 4th International Symposium on Resilient Control Systems (ISRCS). IEEE, 2011. http://dx.doi.org/10.1109/isrcs.2011.6016079.

Full text

APA, Harvard, Vancouver, ISO, and other styles

10

Jain, Abhinav, Nitin Gupta, Shashank Mujumdar, Sameep Mehta, and Rishi Madhok. "Content Driven Enrichment of Formal Text using Concept Definitions and Applications." In HT '18: 29th ACM Conference on Hypertext and Social Media. ACM, 2018. http://dx.doi.org/10.1145/3209542.3209566.

Full text

APA, Harvard, Vancouver, ISO, and other styles

Reports on the topic "Formal definitions"

1

Al-Kaddo, Hajar, and Sarah Rosenberg-Jansen. Definitions and Differences: The Evolving Space of Energy Access in Humanitarian Energy. Coventry University, 2021. http://dx.doi.org/10.18552/heed/2021/0003.

Full text

Abstract:

The paper draws on definitional ideas presented in the book ‘Energy Access and Forced Migration’ (Grafham 2020) and builds on analytical work from our doctoral research. The definitions presented in the following sections are intended as starting points for discussion, rather than representing formally formal terms. It is hoped that over time, such definitions can evolve as an ‘industry standard’ lexicon for humanitarian energy policy and practice. We welcome feedback and discussion of these ideas to further support the development of the humanitarian energy sector.

APA, Harvard, Vancouver, ISO, and other styles

2

Damon, Craig A. Selective Enumeration: A Formal Definition. Defense Technical Information Center, 1998. http://dx.doi.org/10.21236/ada339198.

Full text

APA, Harvard, Vancouver, ISO, and other styles

3

Lendl, O. ENUM Validation Token Format Definition. RFC Editor, 2007. http://dx.doi.org/10.17487/rfc5105.

Full text

APA, Harvard, Vancouver, ISO, and other styles

4

Wind, A. F., and K. P. Murnaghan. CV-580 PolGASP format definition. Natural Resources Canada/ESS/Scientific and Technical Publishing Services, 2005. http://dx.doi.org/10.4095/327540.

Full text

APA, Harvard, Vancouver, ISO, and other styles

5

Hernáth, Zsolt. aML - a Macro Language revised formal definition. Faculty of Informatics Eötvös Loránd University, 2021. http://dx.doi.org/10.21862/2021.aml.

Full text

APA, Harvard, Vancouver, ISO, and other styles

6

Wind, A. F., and K. P. Murnaghan. CV-580 SIR-C format definition. Natural Resources Canada/ESS/Scientific and Technical Publishing Services, 2006. http://dx.doi.org/10.4095/327541.

Full text

APA, Harvard, Vancouver, ISO, and other styles

7

Platek, Richard A. The European Formal Definition of Ada. A U.S. Perspective. Defense Technical Information Center, 1988. http://dx.doi.org/10.21236/ada225519.

Full text

APA, Harvard, Vancouver, ISO, and other styles

8

Grote, H., J. Holt, N. Malitsky, F. Pilat, R. Talman, and C. G. Trahern. SXF (Standard eXchange Format): definition, syntax, examples. Office of Scientific and Technical Information (OSTI), 1998. http://dx.doi.org/10.2172/1119545.

Full text

APA, Harvard, Vancouver, ISO, and other styles

9

Mo, Ran, Yuanfang Cai, Rick Kazman, and Lu Xiao. Hotspot Patterns: The Formal Definition and Automatic Detection of Architecture Smells. Defense Technical Information Center, 2015. http://dx.doi.org/10.21236/ada621415.

Full text

APA, Harvard, Vancouver, ISO, and other styles

10

Turner, E. C., and D. G. F. Long. Formal definition of the Neoproterozoic Mackenzie Mountains Supergroup (Northwest Territories), and formal stratigraphic nomenclature for its carbonate and evaporite formations. Natural Resources Canada/ESS/Scientific and Technical Publishing Services, 2012. http://dx.doi.org/10.4095/292167.

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!