Relevant bibliographies by topics / Method of types

Contents

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

Academic literature on the topic 'Method of types'

Author: Grafiati
Published: 10 March 2023

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 'Method of types.'

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 "Method of types"

1

Csiszar, I. "The method of types [information theory]." IEEE Transactions on Information Theory 44, no. 6 (1998): 2505–23. http://dx.doi.org/10.1109/18.720546.

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

Bourgouin, Pierre. "A Method to Determine Precipitation Types." Weather and Forecasting 15, no. 5 (October 2000): 583–92. http://dx.doi.org/10.1175/1520-0434(2000)015<0583:amtdpt>2.0.co;2.

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

Edwards, Elizabeth. "Photographic “types”: The pursuit of method." Visual Anthropology 3, no. 2-3 (January 1990): 235–58. http://dx.doi.org/10.1080/08949468.1990.9966534.

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

Boye, Johan, and Jan Małuszyński. "Directional types and the annotation method." Journal of Logic Programming 33, no. 3 (December 1997): 179–220. http://dx.doi.org/10.1016/s0743-1066(96)00144-6.

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

NEUMAN, ERAN. "Types of Architectural Emergence." Theatre Research International 34, no. 2 (July 2009): 200–205. http://dx.doi.org/10.1017/s0307883309004568.

Full text
Abstract:
This paper presents two methods of architectural conception and articulation based on the idea of type. One method conceives of architecture as a predetermined entity, claiming that architecture has a plan, a programme that determines its emergence based on a specific type prior to its coming into being. The other method, based on digital design processes and genetic algorithms, focuses on the procedures of architectural becoming. The essay claims that while the latter method attempts to release the emergence of the architectural entity from predetermined formal or functional typological definitions, it in fact suggests new ways of defining the historical idea of architectural types. Based on genotypic and phenotypic procedures, the latter method bases the evolution of the architectural type on predetermined typological information, yet at the same time it allows the emergence of the architectural entity as part of undetermined flows. As such, it proposes a new temporal structure in architecture – one that is based on flows and motions.
APA, Harvard, Vancouver, ISO, and other styles
6

Brody, Carlos D. "Disambiguating Different Covariation Types." Neural Computation 11, no. 7 (October 1, 1999): 1527–35. http://dx.doi.org/10.1162/089976699300016124.

Full text
Abstract:
Covariations in neuronal latency or excitability can lead to peaks in spike train covariograms that may be very similar to those caused by spike timing synchronization (see companion article). Two quantitative methods are described here. The first is a method to estimate the excitability component of a covariogram, based on trial-by-trial estimates of excitability. Once estimated, this component may be subtracted from the covariogram, leaving only other types of contributions. The other is a method to determine whether the covariogram could potentially have been caused by latency covariations.
APA, Harvard, Vancouver, ISO, and other styles
7

Ulimbasheva, M. B., Z. M. Aisanov, E. R. Gosteva, Z. L. Eljirokova, and R. A. Ulimbasheva. "New method of determining types constitution of animal." Rossiiskaia selskokhoziaistvennaia nauka, no. 2 (April 9, 2019): 48–52. http://dx.doi.org/10.31857/s2500-26272019248-52.

Full text
Abstract:
A new method for determining the exterior-constitutional types based on the determination of the mass-specific coefficient (CMR) using 4 body measurements and the animal's live weight was developed and proposed according. Depending on the size of the UMK, the cows were classified into three exterior-constitutional types: loose ( 1.36 and less), intermediate (1.37-1.54) and dense (1.55 or more) types. The aim of the work was to differentiate the full-aged cows of the red steppe breed of the intra-breed type "Kubansky" (n = 146) according to the types of constitution and the study of the immunobiological status of the organism, the level of milk productivity and reproductive capacity. It was found that the highest specific gravity of cows was found in a dense body type - 46.2%, which is 11.6% higher in individuals of intermediate type and 27.0% in loose body type. The yield of cows of loose type of constitution was higher than that of other types of individuals on average by 254-335 kg (P 0.95) with an average milk yield for the experimental population - 5496 kg. At the same time, cows belonging to the loose type of constitution, produced more fat and protein milk milk, whose superiority over dense-type contemporaries was 0.11 (P 0.99) and 0.09% (P 0.999), respectively. The best preserved cows were of dense type, the production use of which was much higher than that of peers of loose type. Despite the greater yield of cows of loose type for a separate lactation, this did not provide them with an advantage in terms of lifetime productivity, they were inferior to dense animals on an average of 2109 kg of milk.
APA, Harvard, Vancouver, ISO, and other styles
8

Silberberg, Yael, Martin Kupiec, and Roded Sharan. "A Method for Predicting Protein-Protein Interaction Types." PLoS ONE 9, no. 3 (March 13, 2014): e90904. http://dx.doi.org/10.1371/journal.pone.0090904.

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

Segerer, Felix Jakob, Peter Johan Friedrich Röttgermann, Simon Schuster, Alicia Piera Alberola, Stefan Zahler, and Joachim Oskar Rädler. "Versatile method to generate multiple types of micropatterns." Biointerphases 11, no. 1 (March 2016): 011005. http://dx.doi.org/10.1116/1.4940703.

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

Hamid, Marawan, Ali Joudah, and Alyaa Mohammed. "Reinforcement bars tying types in reinforced concrete." MATEC Web of Conferences 162 (2018): 04023. http://dx.doi.org/10.1051/matecconf/201816204023.

Full text
Abstract:
In huge reinforced concrete structures, it is often difficult to distribute the reinforcing bars, especially at the connection regions, to keep the spacing between bars within the minimum acceptable limits as recommended in the global specifications standard, by using the common methods such as, overlapping or welding, therefore, a new method for bonding was introduced, using mechanical joints and electro fusion bonding method, and comparing these methods with the maximum strength of reinforcing bars without joints and the failure location within maximum strength limits outside the joints.
APA, Harvard, Vancouver, ISO, and other styles
More sources

Dissertations / Theses on the topic "Method of types"

1

Colacci, John. "The effect of different types of feedback on quality of presentation /." Thesis, McGill University, 1985. http://digitool.Library.McGill.CA:80/R/?func=dbin-jump-full&object_id=66018.

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

Hall, Richard H. "CSG based automatic mesh generation using multiple element types /." Online version of thesis, 1993. http://hdl.handle.net/1850/11438.

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

Luo, Tewei. "A flow cytometry-based method for gene expression profiling of CNS cell types." Thesis, Massachusetts Institute of Technology, 2014. http://hdl.handle.net/1721.1/92630.

Full text
Abstract:
Thesis: S.M., Massachusetts Institute of Technology, Department of Biology, 2014.
Cataloged from PDF version of thesis.
Includes bibliographical references (pages 24-25).
In this thesis, I present a technique for profiling gene expression of specific cell types in the central nervous system (CNS), called fluorescence activated nuclei sorting (FANS). FANS utilizes flow cytometry to isolate cell nuclei from CNS subtypes and microarray analysis of nuclear mRNA. When compared to an existing technique, translating ribosome affinity purification, it was found that FANS was able to detect differentially expressed genes between two types of medium spiny neurons in the striatum with similar or higher sensitivity, using transgenic mice with fluorescence proteins labeling the desired cell types. Immunofluorescence experiments were also performed to label cell nuclei isolated from wild type mouse CNS for FANS analysis. It was found that our staining method successfully labeled neuronal nuclei using a NeuN antibody, but did not label enriched markers of medium spiny neurons. Further studies are needed to increase the signal-to-back-ground ratio of these stainings, which would allow FANS to be applied to wild type animals.
by Tewei Luo.
S.M.
APA, Harvard, Vancouver, ISO, and other styles
4

Albrecht, Stefano Vittorino. "Utilising policy types for effective ad hoc coordination in multiagent systems." Thesis, University of Edinburgh, 2015. http://hdl.handle.net/1842/16199.

Full text
Abstract:
This thesis is concerned with the ad hoc coordination problem. Therein, the goal is to design an autonomous agent which can achieve high flexibility and efficiency in a multiagent system that admits no prior coordination between the designed agent and the other agents. Flexibility describes the agent’s ability to solve its task with a variety of other agents in the system; efficiency is the relation between the agent’s payoffs and time needed to solve the task; and no prior coordination means that the agent does not a priori know how the other agents behave. This problem is relevant for a number of practical applications, including human-machine interaction tasks, such as adaptive user interfaces, robotic elderly care, and automated trading agents. Motivated by this problem, the central idea studied in this thesis is to utilise a set of policies, or types, to characterise the behaviour of other agents. Specifically, the idea is to reduce the complexity of the interaction problem by assuming that the other agents draw their latent type from some known or hypothesised space of types, and that the assignment of types is governed by an unknown distribution. Based on the current interaction history, we can form posterior beliefs about the relative likelihood of types. These beliefs, combined with the future predictions of the types, can then be used in a planning procedure to compute optimal responses. The aim of this thesis is to study the potential and limitations of this idea in the context of ad hoc coordination. We formulate the ad hoc coordination problem using a game-theoretic model called the stochastic Bayesian game. Based on this model, we derive a canonical algorithmic description of the idea outlined above, called Harsanyi-Bellman Ad Hoc Coordination (HBA). The practical potential of HBA is demonstrated in two case studies, including a human-machine experiment and a simulated logistics domain. We formulate basic ways to incorporate evidence (i.e. observed actions) into posterior beliefs and analyse the conditions under which the posterior beliefs converge to the true distribution of types. Furthermore, we study the impact of prior beliefs over types (that is, before any actions are observed) on the long-term performance of HBA, and show empirically that automatic methods can compute prior beliefs with consistent performance effects. For hypothesised (i.e. “guessed”) type spaces, we analyse the relations between hypothesised and true type spaces under which HBA is still guaranteed to solve its task, despite inaccuracies in hypothesised types. Finally, we show how HBA can perform an automatic statistical analysis to decide whether to reject its behavioural hypothesis, i.e. the combination of posterior beliefs and types.
APA, Harvard, Vancouver, ISO, and other styles
5

Rahli, Vincent. "Investigations in intersection types : confluence, and semantics of expansion in the λ-calculus, and a type error slicing method." Thesis, Heriot-Watt University, 2011. http://hdl.handle.net/10399/2453.

Full text
Abstract:
Type systems were invented in the early 1900s to provide foundations for Mathematics where types were used to avoid paradoxes. Type systems have then been developed and extended throughout the years to serve different purposes such as efficiency or expressiveness. The λ-calculus is used in programming languages, logic, mathematics, and linguistics. Intersection types are a kind of types used for building semantic models of the λ-calculus and for static analysis of computer programs. The confluence property was used to prove the λ-calculus’ consistency and the uniqueness of normal forms. Confluence is useful to show that logics are sensibly designed, and to make equality decision procedures for use in theorem provers. Some proofs of the λ-calculus’ confluence are based on syntactic concepts (reduction relations and λ-term sets) and some on semantic concepts (type interpretations). Part I of this thesis presents an original syntactic proof that is a simplification of a semantic proof based on a sound type interpretation w.r.t. an intersection type system. Our proof can be seen as bridging some semantic and syntactic proofs. Expansion is an operation on typings (pairs of type environments and result types) in type systems for the λ-calculus. It was introduced to prove that the principal typing property (i.e., that every typable term has a strongest typing) holds in intersection type systems. Expansion variables were introduced to simplify the expansion mechanism. Part II of this thesis presents a complete realisability semantics w.r.t. an intersection type system with infinitely many expansion variables. This represents the first study on semantics of expansion. Providing sound (and complete) realisability semantics allows one to study the algorithmic behaviour of typed λ-terms through their types w.r.t. a type system. We believe such semantics will cast some light on the not yet well understood expansion operation. Intersection types were used in a type error slicer for the SML programming language. Existing compilers for many languages have confusing type error messages. Type error slicing (TES) helps the programmer by isolating the part of a program contributing to a type error (a slice). TES was initially done for a tiny toy language (the λ-calculus with polymorphic let-expressions). Extending TES to a full language is extremely challenging, and for SML we needed a number of innovations. Some issues would be faced for any language, and some are SML-specific but representative of the complexity of language-specific issues likely to be faced for other languages. Part III of this thesis solves both kinds of issues and presents an original, simple, and general constraint system for providing type error slices for ill-typed programs. We believe TES helps demystify language features known to confuse users.
APA, Harvard, Vancouver, ISO, and other styles
6

Delcroix, Sophie M. "Bayesian Analysis of Cancer Mortality Rates from Different Types and their Relative Occurrences." Digital WPI, 1999. https://digitalcommons.wpi.edu/etd-theses/1114.

Full text
Abstract:
"We analyze mortality data from prostate, colon, lung, and all other types (called other cancer) to obtain age specific and age adjusted mortality rates for white males in the U.S. A related problem is to estimate the relative occurrences of these four types of cancer. We use Bayesian method because it permits a degree of smoothing which is needed to analyze data at a small area level and to assess the patterns. In the recent Atlas of the United States Mortality (1996) each type of cancer was analyzed individually. The difficulty in doing so is that there are many small areas with zero deaths. We conjecture that simultaneous analyses might help to overcome this problem, and at the same time to estimate the relative occurrences. We start with a Poisson model for the deaths, which produces a likelihood function that separates into two parts: a Poisson likelihood for the rates and a multinomial likelihood for the relative occurrences. These permit the use of a standard Poisson regression model on age as in Nandram, Sedransk and Pickle (1999), and the novelty is a multivariate logit model on the relative occurrences in which per capita income, the percent of people below poverty level, education (percent of people with four years of college) and two criteria pollutants, EPAPM25 and EPASO2, are used as covariates. We fitted the models using Markov chain Monte Carlo methods. We used one of the models to present maps of occurrences and rates for the four types. An alternative model did not work well because it provides the same pattern by age and disease. We found that while EPAPM25 has a negative effect on the occurrences, EPASO2 has a positive effect. Also, we found some interesting patterns associated with the geographical variations of mortality rates and the relative occurrences of the four cancer types."
APA, Harvard, Vancouver, ISO, and other styles
7

Davis, Jimmy Allen. "FREQUENCY DISTRIBUTION OF PYROXENE TYPES AND A METHOD TO SEPARATE THE COMPOSITION OF MULTIPLE PYROXENES IN A SAMPLE." Master's thesis, University of Central Florida, 2007. http://digital.library.ucf.edu/cdm/ref/collection/ETD/id/3145.

Full text
Abstract:
Determining mafic mineral composition of asteroid bodies is a topic reviewed by M.J. Gaffey et al. (2002). The iterative procedure discussed can be implemented as an algorithm, and such efforts revealed weaknesses that are examined in this work. We seek to illustrate the limits of this method and graphically determine its predictions. There are boundaries in the formulae given where the equations break down. In ranges where mafic mixtures are predicted, a method is illustrated that allows a decoupling of these mixtures into the constituents.
M.S.
Department of Physics
Sciences
Physics MS
APA, Harvard, Vancouver, ISO, and other styles
8

Ferreira, Jacqueline. "The simulation of material types in a Western Australian iron deposit." Thesis, Edith Cowan University, Research Online, Perth, Western Australia, 2012. https://ro.ecu.edu.au/theses/514.

Full text
Abstract:
Geostatistical methods are currently used by mining companies to determine a resource model of the tonnage and head grade that may be obtained from a potential orebody, making it one of the first and most vital operational stages in any mining project. Currently long term mine planning is based on the estimated head grades model, which provides vital information on the quality of the ore. The risks associated with mining a particular ore may be reduced if geometallurgical information, such as material types, is incorporated into the operational flow model. Material type proportions are obtained from evaluated reverse circulation (RC) drillholes which are estimated directly into a long term geological model. However this causes smoothing of the estimates material types, unlikely combinations of material types within the blocks and large differences between the theoretical head grades and estimated head grades (OK HG). The aim of this study was to determine the best way to model the six grouped MTPs and reconcile the estimated proportions per block with the estimated head grades from the resource model using the direct block simulation (DBS) algorithm and the LSSOL optimisation program. One of the main decisions was to determine the best way to model and simulate the MTPs. Three different simulation options, all using DBS, were implemented. The first option modelled and simulated the MTP variables independently and the second option modelled and simulated the MTP variables jointly. As the spatial structure of the HGH attribute was quite different to those of the remaining five variables, the final option was to jointly simulate the five MTPs whose sample MTPs have similar spatial structures with the sixth block MTP making up the sum difference to one. A variety of different baseline methods, which comprise computation of MTPs from the simulation only and MTPs obtained from the optimisation alone, clearly demonstrates the need for a method that incorporates both the optimisation program and DBS to calculate reasonable MTPs. Seven methods which combined both the DBS and optimisation program were examined and compared, in the hope to obtain a method which calculated optimal MTPs that captures the sample MTPs and OK HGs. The optimisation program ensured that the optimal proportion of each material type within each block was calculated by minimising the difference between the head grades which have been estimated using ordinary kriging (OK HG) and HGs calculated using from the MTPs. Different bounds were applied to the maximum and minimum MTPs, obtained from the DBS, to determine a suitable method to obtain constraints which ensured that the optimal MTPs reflected the sample MTPs. For the given data set, the quadratic program which used the joint DBS simulation resulted in the most suitable representation of MTPs which was consistent with the OK HGs.
APA, Harvard, Vancouver, ISO, and other styles
9

Zaichenkov, Pavel. "A method for consistent non-local configuration of component interfaces." Thesis, University of Hertfordshire, 2017. http://hdl.handle.net/2299/19053.

Full text
Abstract:
Service-oriented computing is a popular technology that facilitates the development of large-scale distributed systems. However, the modular composition and flexible coordination of such applications still remains challenging for the following reasons: 1) the services are provided as loosely coupled black boxes that only expose their interfaces to the environment; 2) interacting services are not usually known in advance: web services are dynamically chosen to fulfil certain roles and are often replaced by services with a similar functionality; 3) the nature of the service-based application is decentralised. Loose coupling of web services is often lost when it comes to the construction of an application from services. The reason is that the object-oriented paradigm, which is widely used in the implementation of web services, does not provide a mechanism for service interface self-tuning. As a result, it negatively impacts upon the interoperability of web services. In this dissertation we present a formal method for automatic service configuration in the presence of subtyping, polymorphism, and flow inheritance. This is a challenging problem. On the one hand, the interface description language must be flexible enough to maintain service compatibility in various contexts without any modification to the service itself. On the other hand, the composition of interfaces in a distributed environment must be provably consistent. Our method is based on constraint satisfaction and Boolean satisfiability. First, we define a language for specifying service interfaces in a generic form, which is compatible with a variety of contexts. The language provides support for parametric polymorphism, Boolean variables, which are used to control dependencies between any elements of interface collections, and flow inheritance using extensible records and variants. We implemented the method as a constraint satisfaction solver. In addition to this, we present a protocol for interface configuration. It specifies a sequence of steps that leads to the generation of context-specific service libraries from generic services. Furthermore, we developed a toolchain that performs a complete interface configuration for services written in C++. We integrated support for flexible interface objects (i.e. objects that can be transferred in the application along with their structural description). Although the protocol relies solely on interfaces and does not take behaviour concerns into account, it is capable of finding discrepancies between input and output interfaces for simple stateful services, which only perform message synchronisation. Two running examples (a three buyers use-case and an image processing application) are used along the way to illustrate our approach. Our results seem to be useful for service providers that run their services in the cloud. The reason is twofold. Firstly, interfaces and the code behind them can be generic as long as they are sufficiently configurable. No communication between service designers is necessary in order to ensure consistency in the design. Instead, the interface correspondence in the application is ensured by the constraint satisfaction algorithm, which we have already designed. Secondly, the configuration and compilation of every service are separated from the rest of the application. This prevents source code leaks in proprietary software which is running in the cloud.
APA, Harvard, Vancouver, ISO, and other styles
10

Bateman, Thomas. "Artificial Reefs: Types, applications, trends in deployment and the development of a cost-effective method for monitoring their fish faunas." Thesis, Bateman, Thomas (2015) Artificial Reefs: Types, applications, trends in deployment and the development of a cost-effective method for monitoring their fish faunas. Honours thesis, Murdoch University, 2015. https://researchrepository.murdoch.edu.au/id/eprint/29645/.

Full text
Abstract:
The focus of this thesis is on the design and use of artificial reefs and the development of a cost-effective method for monitoring their fish faunas. A review of habitat enhancement structures around the world, focusing primarily on artificial reefs, found that these structures have been used for a wide range of purposes such as sediment stabilization, mitigation of illegal trawling, enhancing recreational fisheries and the provision of additional habitat and nurseries for threatened fish stocks. Over time, there has been a growing trend in the use of purpose built reef modules as opposed to the use of materials of opportunity. Within Australia this has been most evident in the shift away from the use of tyres and steel vessels, to the use of specially designed concrete reef modules. As these structures can require financial investments within the millions, it is important to evaluate their effectiveness through post deployment monitoring. A central part of the citizen science monitoring project being developed by Recfishwest in Western Australia is the use of university students to extract information from the Baited Remote Underwater Video (BRUV) footage collected by recreational fishers. This study found that whilst observers recorded similar numbers of species and abundance (total MaxN), significant differences were present between observers in terms of their faunal compositions. This indicates that if inexperienced observers are used in the future as part of a cost-effective monitoring project, observer bias may be a potential source of error in the data and should be mitigated through observer training. Statistical analysis of footage collected from the Bunbury and Dunsborough artificial reefs using BRUVs found a significant difference in species composition between the footage from the two reefs but not between camera positions. However, increased camera soak time and footage collection over a greater temporal scale are needed to increase the reliability of the data. Whilst improvements to the sampling regime are recommended, the use of cost-effective BRUVs shows potential as an effective method for monitoring the fish fauna of artificial reefs using citizen science.
APA, Harvard, Vancouver, ISO, and other styles
More sources

Books on the topic "Method of types"

1

Types of Pentecostal theology: Method, system, spirit. New York: Oxford University Press, 2013.

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

Rossides, Daniel W. Comparative societies: Social types and their interrelations. Englewood Cliffs, N.J: Prentice Hall, 1990.

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

Comparative societies: Social types and their interrelations. Englewood Cliffs, N.J: Prentice-Hall, 1990.

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

Chellamani, K. P. Yarns and technical textiles: A monograph dealing with method of manufacture of 12 different types of yarns and nine technical textiles. Coimbatore: South India Textile Research Association, 1999.

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

Quintin, Toma J. Chromatography: Types, techniques and methods. New York: Nova Science Publishers, 2010.

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

Yee, Rendow. Architectural design-drawing: Types and methods. Daly City, CA: RDW Publications, 1994.

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

Nemr, Ahmed EL. Textiles: Types, uses, and production methods. Hauppauge, N.Y: Nova Science Publishers, 2011.

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

Foreign investment: Types, methods, and impacts. Hauppauge, NY: Nova Science Publishers, 2011.

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

Tesch, Renata. Qualitative research: Analysis types and software tools. New York: Falmer Press, 1990.

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

Hildebrandt, Thomas, António Ravara, Jan Martijn van der Werf, and Matthias Weidlich, eds. Web Services, Formal Methods, and Behavioral Types. Cham: Springer International Publishing, 2016. http://dx.doi.org/10.1007/978-3-319-33612-1.

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

Book chapters on the topic "Method of types"

1

Brémaud, Pierre. "The Method of Types." In Discrete Probability Models and Methods, 341–55. Cham: Springer International Publishing, 2017. http://dx.doi.org/10.1007/978-3-319-43476-6_13.

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

Cliteur, Paul, and Afshin Ellian. "Three types of legal interpretation." In A New Introduction to Legal Method, 165–218. London: Routledge, 2022. http://dx.doi.org/10.4324/9781003282570-6.

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

Mac an Airchinnigh, Micheal. "Specification by data types." In VDM '87 VDM — A Formal Method at Work, 362–88. Berlin, Heidelberg: Springer Berlin Heidelberg, 1987. http://dx.doi.org/10.1007/3-540-17654-3_21.

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

Wintraecken, J. J. V. R. "Fact Types Consisting of One Role." In The NIAM Information Analysis Method, 312–38. Dordrecht: Springer Netherlands, 1990. http://dx.doi.org/10.1007/978-94-009-0451-4_14.

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

Wintraecken, J. J. V. R. "Graphical Constraints Involving Multiple Fact Types." In The NIAM Information Analysis Method, 166–88. Dordrecht: Springer Netherlands, 1990. http://dx.doi.org/10.1007/978-94-009-0451-4_9.

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

Wang, Xiaobing, Zhenhua Duan, and Liang Zhao. "Formalizing and Implementing Types in MSVL." In Structured Object-Oriented Formal Language and Method, 62–75. Cham: Springer International Publishing, 2014. http://dx.doi.org/10.1007/978-3-319-04915-1_5.

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

Wintraecken, J. J. V. R. "Fact Types Consisting of More Than Two Roles." In The NIAM Information Analysis Method, 262–96. Dordrecht: Springer Netherlands, 1990. http://dx.doi.org/10.1007/978-94-009-0451-4_12.

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

Zhaolun, Ba, Cui Guangxin, Ma Yingming, Xu Changlei, and Xu Kuangdi. "Special Shaft Sinking Method, Types and Application of." In The ECPH Encyclopedia of Mining and Metallurgy, 1–2. Singapore: Springer Nature Singapore, 2022. http://dx.doi.org/10.1007/978-981-19-0740-1_57-1.

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

Wang, Xi, and Shaoying Liu. "An Approach to Declaring Data Types for Formal Specifications." In Structured Object-Oriented Formal Language and Method, 135–53. Cham: Springer International Publishing, 2014. http://dx.doi.org/10.1007/978-3-319-04915-1_10.

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

Jiang, Xianglan, Yingjin Lu, and Wen-bo Yang. "The Online Advertising Types of Choices Based on DEA Method." In Lecture Notes in Economics and Mathematical Systems, 157–65. Berlin, Heidelberg: Springer Berlin Heidelberg, 2011. http://dx.doi.org/10.1007/978-3-642-19695-9_13.

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

Conference papers on the topic "Method of types"

1

Потокин, А. С., Дмитрий Степенщиков, and Юрий Войтеховский. "Application of the electric pulse disintegration method for obtaining a clean garnet concentrate from mica-garnet schist of West Keyvy." In Mineralogical and technological appraisal of new types of mineral products. Petrozavodsk: Karelian Research Center of RAS, 2019. http://dx.doi.org/10.17076/tm13_8.

Full text
Abstract:
The first to evaluate the possibility of obtaining clean garnet concentrate from the garnet-mica schist of West Keyvy using electric pulse disintegration materials method was shown. After electric pulse disintegration of garnet crystals and washing the garnet product from mica inclusions has managed to get 94% clean garnet fraction –0.5+0.25. There are good prospects for the technical implementation of the proposed technology. The KSC RAS has a rich practical experience in creating demonstration (pilot-industrial) facilities for both opening and extraction of coarse-grained minerals and grinding.
APA, Harvard, Vancouver, ISO, and other styles
2

Mackley, Tim. "A problem solving method using Context types." In 2015 IEEE International Symposium on Systems Engineering (ISSE). IEEE, 2015. http://dx.doi.org/10.1109/syseng.2015.7302795.

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

Prosvirkina, Irina. "METHOD OF TEACHING SYNTHETIC TYPES OF SPEECH ACTIVITY." In 5th SGEM International Multidisciplinary Scientific Conferences on SOCIAL SCIENCES and ARTS SGEM2018. STEF92 Technology, 2018. http://dx.doi.org/10.5593/sgemsocial2018/3.4/s13.065.

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

Yuki, Teruhisa, Arq Canedo, Ben A. Abderazek, and Masahiro Sowa. "Novel Addressing Method for Aggregate Types in Queue Processors." In 2007 International Conference on Convergence Information Technology (ICCIT 2007). IEEE, 2007. http://dx.doi.org/10.1109/iccit.2007.95.

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

Madi, Elissa Nadia, Jonathan M. Garibaldi, and Christian Wagner. "A Comparison between Two Types of Fuzzy TOPSIS Method." In 2015 IEEE International Conference on Systems, Man, and Cybernetics (SMC). IEEE, 2015. http://dx.doi.org/10.1109/smc.2015.63.

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

Camorani, Paolo, Marco Badiali, Daniela Francomacaro, Marco Gamassi, Vincenzo Piuri, Fabio Scotti, and Marco Zanasi. "A Classification Method for Wood Types using Fluorescence Spectra." In 2008 IEEE Instrumentation and Measurement Technology Conference (IMTC '08). IEEE, 2008. http://dx.doi.org/10.1109/imtc.2008.4547245.

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

Yuki, Teruhisa, Arquimedes Canedo, Ben A. Abderazek, and Masahiro Sowa. "Novel Addressing Method for Aggregate Types in Queue Processors." In 2007 International Conference on Convergence Information Technology (ICCIT 2007). IEEE, 2007. http://dx.doi.org/10.1109/iccit.2007.4420511.

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

Wang, Tong, Tian Xia, and Xiao-Ming Hu. "Supervised Dimensionality Reduction Method for Predicting Membrane Proteins Types." In 2010 2nd International Conference on Intelligent Human-Machine Systems and Cybernetics (IHMSC). IEEE, 2010. http://dx.doi.org/10.1109/ihmsc.2010.127.

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

Dogan, Daghan. "Road-types classification using audio signal processing and SVM method." In 2017 25th Signal Processing and Communications Applications Conference (SIU). IEEE, 2017. http://dx.doi.org/10.1109/siu.2017.7960154.

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

Zhong, Yukun, Liao Gang, M. A. LongFei, and Zeng Yu. "Method to accelerate prediction of membrane protein types by CUDA." In 2013 IEEE International Conference on Bioinformatics and Biomedicine (BIBM). IEEE, 2013. http://dx.doi.org/10.1109/bibm.2013.6732618.

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

Reports on the topic "Method of types"

1

zhixia, Zhang, Song Jiating, Pan lanlan, xiaoting Lin, and jing li. The Effect of different exercise methods in the treatment of cancer-related fatigue: a network meta-analysis. INPLASY - International Platform of Registered Systematic Review and Meta-analysis Protocols, November 2022. http://dx.doi.org/10.37766/inplasy2022.11.0004.

Full text
Abstract:
Review question / Objective: To compare the clinical effects of different exercise methods for cancer fatigue by using mesh Meta-analysis, and to choose the best exercise method for cancer fatigue. Condition being studied: Cancer-related fatigue. Eligibility criteria: Inclusion criteria: (1) Study subjects: the patients is caused by fatigue.(2) Intervention: A group of patients used exercise intervention. (3) Study type: RCT. (4) Outcome index: Cancer-related fatigue score.(5) Grey literature is available.(6) Language in Chinese or English.Exclusion criteria:(1) Using oral drugs. (2) It can not provide complete data. (3) Repeatedly published literature. (4) Conference papers. (5) Literature with inconsistent data types:(1) Using oral drugs. (2) It can not provide complete data. (3) Repeatedly published literature. (4) Conference papers. (5) Literature with inconsistent data types.
APA, Harvard, Vancouver, ISO, and other styles
2

Rezaee, Arman, Linda Zeger, and Muriel Medard. An Analysis of Speeding Multicast by Acknowledgment Reduction Technique (SMART) with Homogeneous and Heterogeneous Links - A Method of Types Approach. Fort Belvoir, VA: Defense Technical Information Center, April 2011. http://dx.doi.org/10.21236/ada570555.

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

Холошин, Ігор Віталійович, Наталя Борисівна Пантелєєва, Олександр Миколайович Трунін, Людмила Володимирівна Бурман, and Ольга Олександрівна Калініченко. Infrared Spectroscopy as the Method for Evaluating Technological Properties of Minerals and Their Behavior in Technological Processes. E3S Web of Conferences, 2020. http://dx.doi.org/10.31812/123456789/3929.

Full text
Abstract:
Infrared spectroscopy (IR) is a highly effective method for the analysis of minerals, rocks and ores, capable of solving a whole range of problems when choosing innovative solutions for the technological processing of various types of mineral raw materials. The article considers the main directions of using the infrared spectroscopy method in assessing the technological properties of minerals and their behavior in technological processes: evaluation of the grade (quality) of mineral raw materials; analysis of the behavior of minerals in the technological process with prediction of their technological properties; analysis of changes in the structure and properties of minerals in technological processes; operational analysis of mineral substances at various stages of technological processing. The article illustrates all aspects of the use of infrared spectroscopy at various stages of studying the material composition of mineral raw materials in its enrichment assessment by specific examples of solving problems arising from the technological redistribution of various types of ore and non-metallic minerals.
APA, Harvard, Vancouver, ISO, and other styles
4

Liang, BiYan, BiYan Liang, and Jian Wang. A Meta Analysis of the Efficacy of Tonic Method in Traditional Chinese Medicine for AIDS Immunological Nonresponses. INPLASY - International Platform of Registered Systematic Review and Meta-analysis Protocols, April 2022. http://dx.doi.org/10.37766/inplasy2022.4.0077.

Full text
Abstract:
Review question / Objective: To evaluate the efficacy of tonic method in treating AIDS immunological nonresponses. Eligibility criteria: ①Study type: RCT based on tonic method in TCM for AIDS INRs. The language was limited to Chinese and English. ②The research object: HIV/AIDS patients with any disease stage; the intervention objects were adults with no gender restrictions. ③Intervention measures: The treatment group was treated with tonic prescriptions combined with ART, including four types of prescriptions for nourishing qi, nourishing blood, nourishing yin, or nourishing yang; the dosage, frequency, and method were not limited. The control group was treated with ART or mock agent and placebo. ④Outcome indicators: The observation indicators reported in the included studies should include at least one of the following indicators: 1) Effective rate of immune function reconstruction: formulated in accordance with "AIDS (Adult) Chinese Medicine Diagnosis and Treatment Program" (2016 Edition) , effective: CD4 + T lymphocyte counts increased by ≥ 50 cells/l or ≥ 30%, invalid: CD4+ T lymphocyte counts decreased by ≥ 50 cells/l or ≥ 30%; total effective rate = effective number/total number; 2) CD4+T lymphocyte counts level.
APA, Harvard, Vancouver, ISO, and other styles
5

Wu, Xiaoqi, Maoxia Fan, Yaobo Pan, and Dona Guo. Quality of Evidence Supporting the Effects of Ginkgo Terpene Lactone Preparations in Ischemic Stroke: An Overview of Systematic Reviews and Meta-Analyses. INPLASY - International Platform of Registered Systematic Review and Meta-analysis Protocols, September 2022. http://dx.doi.org/10.37766/inplasy2022.9.0124.

Full text
Abstract:
Review question / Objective: 2.2.1 Type of studies SRs/MAs of Randomized Controlled Trials (RCTs) of GTLP for IS in any language. 2.2.2 Type of Participants Included patients were diagnosed with IS according to international or national standards, regardless of race, age, gender, time of onset, and source of cases. 2.2.3 Type of Intervention The intervention method in the control group was routine treatment, and the intervention method in the intervention group was GTLP treatment or GTLP combined with the treatment of the control group. 2.2.4 Types of outcomes Conclusions at least need to include clinical efficacy analysis and National Institute of Health Stroke Scale (NIHSS). Condition being studied: Stroke is the second leading cause of death and third leading cause of disability globally.Among them, ischemic stroke (IS) accounts for 70% of all stroke types. It is a central nervous system disease caused by cerebral blood circulation disorder, ischemia and hypoxia .The incidence rate is high and increasing year by year, the age of onset is younger, the disability rate is high, and most patients have different degrees of limb motor dysfunction.In order to reduce the burden of stroke on the society and the patient's family, many articles proposed to strengthen the primary stroke prevention - behavior change and drug intervention.
APA, Harvard, Vancouver, ISO, and other styles
6

Kryzhanivs'kyi, Evstakhii, Liliana Horal, Iryna Perevozova, Vira Shyiko, Nataliia Mykytiuk, and Maria Berlous. Fuzzy cluster analysis of indicators for assessing the potential of recreational forest use. [б. в.], October 2020. http://dx.doi.org/10.31812/123456789/4470.

Full text
Abstract:
Cluster analysis of the efficiency of the recreational forest use of the region by separate components of the recreational forest use potential is provided in the article. The main stages of the cluster analysis of the recreational forest use level based on the predetermined components were determined. Among the agglomerative methods of cluster analysis, intended for grouping and combining the objects of study, it is common to distinguish the three most common types: the hierarchical method or the method of tree clustering; the K-means Clustering Method and the two-step aggregation method. For the correct selection of clusters, a comparative analysis of several methods was performed: arithmetic mean ranks, hierarchical methods followed by dendrogram construction, K- means method, which refers to reference methods, in which the number of groups is specified by the user. The cluster analysis of forestries by twenty analytical grounds was not proved by analysis of variance, so the re-clustering of certain objects was carried out according to the nine most significant analytical features. As a result, the forestry was clustered into four clusters. The conducted cluster analysis with the use of different methods allows us to state that their combination helps to select reasonable groupings, clearly illustrate the clustering procedure and rank the obtained forestry clusters.
APA, Harvard, Vancouver, ISO, and other styles
7

Crouch, Rebecca, Jared Smith, Bobbi Stromer, Christian Hubley, Samuel Beal, Guilherme Lotufo, Afrachanna Butler, et al. Preparative, extraction, and analytical methods for simultaneous determination of legacy and insensitive munition (IM) constituents in aqueous, soil or sediment, and tissue matrices. Engineer Research and Development Center (U.S.), August 2021. http://dx.doi.org/10.21079/11681/41480.

Full text
Abstract:
No standard method exists for determining levels of insensitive munition (IM) compounds in environmental matrices. This project resulted in new methods of extraction, analytical separation and quantitation of 17 legacy and 7 IM compounds, daughter products of IM, and other munition compounds absent from USEPA Method 8330B. Extraction methods were developed for aqueous (direct-injection and solid-phase extraction [SPE]), soil, sediment, and tissue samples using laboratory-spiked samples. Aqueous methods were tested on 5 water sources, with 23 of 24 compounds recovered within DoD QSM Ver5.2 limits. New solvent extraction (SE) methods enabled recovery of all 24 compounds from 6 soils within QSM limits, and a majority of the 24 compounds were recovered at acceptable levels from 4 tissues types. A modified chromatographic treatment method removed analytical interferences from tissue extracts. Two orthogonal high-performance liquid chromatography-ultraviolet (HPLC-UV) separation methods, along with an HPLC–mass spectrometric (HPLC-MS) method, were developed. Implementing these new methods should reduce labor and supply costs by approximately 50%, requiring a single extraction and sample preparation, and 2 analyses rather than 4. These new methods will support environmental monitoring of IM and facilitate execution of risk-related studies to determine long-term effects of IM compounds.
APA, Harvard, Vancouver, ISO, and other styles
8

Messner, M. C., and T. L. Sham. Development of a multiaxial deformation measure and creep-fatigue damage summation for multiple load cycle types in support of an improved creep-fatigue design method. Office of Scientific and Technical Information (OSTI), June 2019. http://dx.doi.org/10.2172/1601810.

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

Crouch, Rebecca, Jared Smith, Bobbi Stromer, Christian Hubley, Samuel Beal, Guilherme Lotufo, Afrachanna Butler, et al. Methods for simultaneous determination of legacy and insensitive munition (IM) constituents in aqueous, soil/sediment, and tissue matrices. Engineer Research and Development Center (U.S.), August 2021. http://dx.doi.org/10.21079/11681/41720.

Full text
Abstract:
Currently, no standard method exists for analyzing insensitive munition (IM) compounds in environmental matrices, with or without concurrent legacy munition compounds, resulting in potentially inaccurate determinations. The primary objective of this work was to develop new methods of extraction, pre-concentration, and analytical separation/quantitation of 17 legacy munition compounds along with several additional IM compounds, IM breakdown products, and other munition compounds that are not currently included in U.S. Environmental Protection Agency (EPA) Method 8330B. Analytical methods were developed to enable sensitive, simultaneous detection and quantitation of the 24 IM and legacy compounds, including two orthogonal high-performance liquid chromatography (HPLC) column separations with either ultraviolet (UV) or mass spectrometric (MS) detection. Procedures were developed for simultaneous extraction of all 24 analytes and two surrogates (1,2-dinitrobenzene, 1,2-DNB; o-NBA) from high- and low-level aqueous matrices and solid matrices, using acidification, solid phase extraction (SPE), or solvent extraction (SE), respectively. The majority of compounds were recovered from four tissue types within current limits for solids, with generally low recovery only for Tetryl (from 4 to 62%). A preparatory chromatographic interference removal procedure was adapted for tissue extracts, as various analytical interferences were observed for all studied tissue types.
APA, Harvard, Vancouver, ISO, and other styles
10

Lippolis, Nicolas. Diagnostics for Industrialisation: Growth, Sectoral Selection, and Constraints on Firms. Digital Pathways at Oxford, March 2022. http://dx.doi.org/10.35489/bsg-dp-wp_2022/03.

Full text
Abstract:
This paper reviews methods that have been suggested by the development literature on diagnostics. We subdivide the variety of diagnostics into three types: revealing the most binding constraints to economy-wide growth; selecting sectors in which to diversify; and identifying sources of sectoral underperformance. Each diagnostic method is judged on whether it: provides a structured way of performing diagnostics; directs analysts towards the right questions; and is efficient in its use of data and resources. After reviewing a variety of methods, we argue that, with respect to growth diagnostics, the best approach is to combine Hausmann’s, Rodrik and Velasco’s Growth Diagnostics with more encompassing and forward-looking methods. In sectoral selection, Hausmann and Hidalgo’s 'Product Space' analysis can serve as an adequate base for choosing sectors in which to diversify, but this method must be tempered by a much more diverse set of indicators that matter for sectoral choice. Finally, diagnostics at the sectoral level can be performed through a sequence of methods: starting from easily collectable perceptions data and progressing to more data-heavy techniques, depending on the time and resources available.
APA, Harvard, Vancouver, ISO, and other styles
You might also be interested in the extended bibliographies on the topic 'Method of types' for particular source types:
Journal articles Dissertations / Theses Books
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