Log in

Relevant bibliographies by topics / HLS type system / Journal articles

To see the other types of publications on this topic, follow the link: HLS type system.

Journal articles on the topic 'HLS type system'

Author: Grafiati

Published: 1 April 2023

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

Select a source type:

Consult the top 50 journal articles for your research on the topic 'HLS type system.'

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.

Browse journal articles on a wide variety of disciplines and organise your bibliography correctly.

1

Cao, Linfen, and Zhaohui Dai. "Symmetry and Nonexistence of Positive Solutions for Weighted HLS System of Integral Equations on a Half Space." Abstract and Applied Analysis 2014 (2014): 1–7. http://dx.doi.org/10.1155/2014/593210.

Full text

Abstract:

We consider system of integral equations related to the weighted Hardy-Littlewood-Sobolev (HLS) inequality in a half space. By the Pohozaev type identity in integral form, we present a Liouville type theorem when the system is in both supercritical and subcritical cases under some integrability conditions. Ruling out these nonexistence results, we also discuss the positive solutions of the integral system in critical case. By the method of moving planes, we show that a pair of positive solutions to such system is rotationally symmetric aboutxn-axis, which is much more general than the main res

APA, Harvard, Vancouver, ISO, and other styles

2

Wang, Nan, Qi Zhang, Weihua Han, et al. "Chemical Characteristics of Dark-Brown Humic-Like Substances Formed from the Abiotic Condensation of Maillard Precursors with Different Glycine Concentrations." Agronomy 12, no. 9 (2022): 2199. http://dx.doi.org/10.3390/agronomy12092199.

Full text

Abstract:

The Maillard reaction is a type of nonenzymic browning process, and it is also an abiotic humification process of sugars, amino acids and phenols catalyzed by δ-MnO2. It is considered to be one of the possible pathways for the formation of humic-like substances (HLS). The change in the ratio of the Maillard precursors inevitably affects the chemical characteristics of HLS, among which the effect of amino acids concentration on the humification pathway and HLS formation has not yet been reported. In view of this, the glucose, glycine and catechol were chosen as tested objects for the present st

APA, Harvard, Vancouver, ISO, and other styles

3

Lavrentiev, Mikhail, Konstantin Lysakov, Andrey Marchuk, Konstantin Oblaukhov, and Mikhail Shadrin. "Algorithmic Design of an FPGA-Based Calculator for Fast Evaluation of Tsunami Wave Danger." Algorithms 14, no. 12 (2021): 343. http://dx.doi.org/10.3390/a14120343.

Full text

Abstract:

Events of a seismic nature followed by catastrophic floods caused by tsunami waves (the incidence of which has increased in recent decades) have an important impact on the populations of littoral regions. On the coast of Japan and Kamchatka, it takes nearly 20 min for tsunami waves to approach the nearest dry land after an offshore seismic event. This paper addresses an important question of fast simulation of tsunami wave propagation by mapping the algorithms in use in field-programmable gate arrays (FPGAs) with the help of high-level synthesis (HLS). Wave propagation is described by the shal

APA, Harvard, Vancouver, ISO, and other styles

4

Melin, Patricia, and Daniela Sánchez. "Optimal design of type-2 fuzzy systems for diabetes classification based on genetic algorithms." International Journal of Hybrid Intelligent Systems 17, no. 1-2 (2021): 15–32. http://dx.doi.org/10.3233/his-210004.

Full text

Abstract:

Diabetes has become a global health problem, where a proper diagnosis is vital for the life quality of patients. In this article, a genetic algorithm is put forward for designing type-2 fuzzy inference systems to perform Diabetes Classification. We aim at finding parameter values of Type-2 Trapezoidal membership functions and the type of model (Mamdani or Sugeno) with this optimization. To verify the effectiveness of the proposed approach, the PIMA Indian Diabetes dataset is used, and results are compared with type-1 fuzzy systems. Five attributes are used considered as the inputs of the fuzzy

APA, Harvard, Vancouver, ISO, and other styles

5

WACK, BENJAMIN, and CLÉMENT HOUTMANN. "Strong normalisation in two Pure Pattern Type Systems." Mathematical Structures in Computer Science 18, no. 3 (2008): 431–65. http://dx.doi.org/10.1017/s0960129508006749.

Full text

Abstract:

Pure Pattern Type Systems (P2TS) combine the frameworks and capabilities of rewriting and λ-calculus within a unified setting. Their type systems, which are adapted from Barendregt's λ-cube, are especially interesting from a logical point of view. Until now, strong normalisation, which is an essential property for logical soundness, has only been conjectured: in this paper, we give a positive answer for the simply-typed system and the dependently-typed system.The proof is based on a translation of terms and types fromP2TSinto the λ-calculus. First, we deal with untyped terms, ensuring that red

APA, Harvard, Vancouver, ISO, and other styles

6

Jones, Mark P. "A system of constructor classes: overloading and implicit higher-order polymorphism." Journal of Functional Programming 5, no. 1 (1995): 1–35. http://dx.doi.org/10.1017/s0956796800001210.

Full text

Abstract:

AbstractThis paper describes a flexible type system that combines overloading and higher-order polymorphism in an implicitly typed language using a system of constructor classes—a natural generalization of type classes in Haskell. We present a range of examples to demonstrate the usefulness of such a system. In particular, we show how constructor classes can be used to support the use of monads in a functional language. The underlying type system permits higher-order polymorphism but retains many of the attractive features that have made Hindley/Milner type systems so popular. In particular, t

APA, Harvard, Vancouver, ISO, and other styles

7

SILES, VINCENT, and HUGO HERBELIN. "Pure Type System conversion is always typable." Journal of Functional Programming 22, no. 2 (2012): 153–80. http://dx.doi.org/10.1017/s0956796812000044.

Full text

Abstract:

AbstractPure Type Systems are usually described in two different ways, one that uses an external notion of computation like beta-reduction, and one that relies on a typed judgment of equality, directly in the typing system. For a long time, the question was open to know whether both presentations described the same theory. A first step towards this equivalence has been made by Adams for a particular class ofPure Type Systems(PTS) called functional. Then, his result has been relaxed to all semi-full PTSs in previous work. In this paper, we finally give a positive answer to the general question,

APA, Harvard, Vancouver, ISO, and other styles

8

DUNFIELD, JOSHUA. "Elaborating intersection and union types." Journal of Functional Programming 24, no. 2-3 (2014): 133–65. http://dx.doi.org/10.1017/s0956796813000270.

Full text

Abstract:

AbstractDesigning and implementing typed programming languages is hard. Every new type system feature requires extending the metatheory and implementation, which are often complicated and fragile. To ease this process, we would like to provide general mechanisms that subsume many different features. In modern type systems, parametric polymorphism is fundamental, but intersection polymorphism has gained little traction in programming languages. Most practical intersection type systems have supported onlyrefinement intersections, which increase the expressiveness of types (more precise propertie

APA, Harvard, Vancouver, ISO, and other styles

9

Mehar, Pramod Kumar, and Mrs Madhu Upadhyay. "Power System Stability Study on Multi Machine Systems having DFIG Based Wind Generation System." SMART MOVES JOURNAL IJOSCIENCE 6, no. 3 (2020): 27–30. http://dx.doi.org/10.24113/ijoscience.v6i3.279.

Full text

Abstract:

Power system stability is related to principles of rotational motion and the swing equation governing the electromechanical dynamic behavior. In the special case of two finite machines the equal area criterion of stability can be used to calculate the critical clearing angle on the power system, it is necessary to maintain synchronism, otherwise a standard of service to the consumers will not be achieved. With the increasing penetration of doubly fed induction generators (DFIGs), the impact of the DFIG on transient stability attracts great attention. Transient stability is largely dominated by

APA, Harvard, Vancouver, ISO, and other styles

10

Giorgi, Roberto, Farnam Khalili, and Marco Procaccini. "Translating Timing into an Architecture: The Synergy of COTSon and HLS (Domain Expertise—Designing a Computer Architecture via HLS)." International Journal of Reconfigurable Computing 2019 (November 3, 2019): 1–18. http://dx.doi.org/10.1155/2019/2624938.

Full text

Abstract:

Translating a system requirement into a low-level representation (e.g., register transfer level or RTL) is the typical goal of the design of FPGA-based systems. However, the Design Space Exploration (DSE) needed to identify the final architecture may be time consuming, even when using high-level synthesis (HLS) tools. In this article, we illustrate our hybrid methodology, which uses a frontend for HLS so that the DSE is performed more rapidly by using a higher level abstraction, but without losing accuracy, thanks to the HP-Labs COTSon simulation infrastructure in combination with our DSE tool

APA, Harvard, Vancouver, ISO, and other styles

11

Bohno, Takaaki, Akira Tomioka, Shinichi Nose, et al. "Development of HTS (High-Temperature-Superconductor) Current Leads for 1MW/lkWh Module Type SMES System." IEEJ Transactions on Power and Energy 116, no. 7 (1996): 853–59. http://dx.doi.org/10.1541/ieejpes1990.116.7_853.

Full text

APA, Harvard, Vancouver, ISO, and other styles

12

Läufer, Konstantin. "Type classes with existential types." Journal of Functional Programming 6, no. 3 (1996): 485–518. http://dx.doi.org/10.1017/s0956796800001817.

Full text

Abstract:

AbstractWe argue that the novel combination of type classes and existential types in a single language yields significant expressive power. We explore this combination in the context of higher-order functional languages with static typing, parametric polymorphism, algebraic data types and Hindley–Milner type inference. Adding existential types to an existing functional language that already features type classes requires only a minor syntactic extension. We first demonstrate how to provide existential quantification over type classes by extending the syntax of algebraic data type definitions,

APA, Harvard, Vancouver, ISO, and other styles

13

Kazerounian, Milod, Jeffrey S. Foster, and Bonan Min. "SimTyper: sound type inference for Ruby using type equality prediction." Proceedings of the ACM on Programming Languages 5, OOPSLA (2021): 1–27. http://dx.doi.org/10.1145/3485483.

Full text

Abstract:

Many researchers have explored type inference for dynamic languages. However, traditional type inference computes most general types which, for complex type systems—which are often needed to type dynamic languages—can be verbose, complex, and difficult to understand. In this paper, we introduce SimTyper, a Ruby type inference system that aims to infer usable types—specifically, nominal and generic types—that match the types programmers write. SimTyper builds on InferDL, a recent Ruby type inference system that soundly combines standard type inference with heuristics. The key novelty of SimType

APA, Harvard, Vancouver, ISO, and other styles

14

Tokano, Takashi, Yasuro Nakata, Masayuki Yasuda, et al. "Wenckebach Type Second Degree Atrioventricular Block in the His-Purkinje System." Japanese Journal of Electrocardiology 16, no. 1 (1996): 1–14. http://dx.doi.org/10.5105/jse.16.1.

Full text

APA, Harvard, Vancouver, ISO, and other styles

15

Patel, Himanshukumar, and Vipul Shah. "Actuator and system component fault tolerant control using interval type-2 Takagi-Sugeno fuzzy controller for hybrid nonlinear process." International Journal of Hybrid Intelligent Systems 15, no. 3 (2019): 143–53. http://dx.doi.org/10.3233/his-190267.

Full text

APA, Harvard, Vancouver, ISO, and other styles

16

Chuang, Sheuwen, Peter P. Howley, and Shawon S. Gonzales. "An international systems-theoretic comparison of hospital accreditation: developing an implementation typology." International Journal for Quality in Health Care 31, no. 5 (2018): 371–77. http://dx.doi.org/10.1093/intqhc/mzy189.

Full text

Abstract:

Abstract Objective The integration of quality indicators into the accreditation process has been recognized as a promising strategy worldwide. This study was to explore the implementation patterns of hospital accreditation through the lens of a systems-theory based model, and determine an international accreditation implementation typology. Design A qualitative comparative study of five established international hospital accreditation systems was undertaken based on a systems-theoretic holistic healthcare systems relationship model. A set of key attributes relevant to three systems-theoretic m

APA, Harvard, Vancouver, ISO, and other styles

17

Guidi, Ferruccio. "A Formal System for the Universal Quantification of Schematic Variables." ACM Transactions on Computational Logic 23, no. 1 (2022): 1–37. http://dx.doi.org/10.1145/3470646.

Full text

Abstract:

We advocate the use of de Bruijn’s universal abstraction \lambda {\mathord \infty }{}{}{} for the quantification of schematic variables in the predicative setting, and we present a typed \lambda {}{}{}{} -calculus featuring the quantifier \lambda {\mathord \infty }{}{}{} accompanied by other practically useful constructions like explicit substitutions and expected type annotations. Our calculus stands just on two notions, i.e., bound rt-reduction and parametric validity, and has the expressive power of \lambda \mathord \rightarrow . Thus, while not aiming at being a logical framework by itself

APA, Harvard, Vancouver, ISO, and other styles

18

A., Parkavi, Pushpalatha M.N., Sini Anna Alex, and Premkumar M.K. "Decision Support System Using CNN for Detecting the Type of Disease in Fruits and Vegetables." Webology 19, no. 1 (2022): 1315–34. http://dx.doi.org/10.14704/web/v19i1/web19088.

Full text

Abstract:

The life of people in modern society is changing rapidly because of the high improvements in technology and tools, in the engineering sector. This evolution is also impacting the way of working of people in society in different domains. Machine Learning, Image Processing and Data Analytics are facilitating this growth but not much. Their rate of explorations and innovations in the field of Agriculture is very less, even though people know the importance of this sector and the rate of contribution to the GDP of the country. There are many reasons for it, such as the new generation has lost inte

APA, Harvard, Vancouver, ISO, and other styles

19

Barthe, Gilles, Peter Dybjer, and Peter Thiemann. "Special issue on Dependent Type Theory Meets Programming Practice CALL FOR PAPERS." Journal of Functional Programming 11, no. 4 (2001): 437. http://dx.doi.org/10.1017/s0956796801004105.

Full text

Abstract:

Modern programming languages rely on advanced type systems that detect errors at compile-time. While the benefits of type systems have long been recognized, there are some areas where the standard systems in programming languages are not expressive enough. Language designers usually trade expressiveness for decidability of the type system. Some interesting programs will always be rejected (despite their semantical soundness) or be assigned uninformative types.There are several remedies to this situation. Dependent type systems, which allow the formation of types that explicitly depend on other

APA, Harvard, Vancouver, ISO, and other styles

20

Giannini, Paola, Furio Honsell, and Simona Ronchi Della Rocca. "Type Inference: Some Results, Some Problems1." Fundamenta Informaticae 19, no. 1-2 (1993): 87–125. http://dx.doi.org/10.3233/fi-1993-191-205.

Full text

Abstract:

In this paper we investigate the type inference problem for a large class of type assignment systems for the λ-calculus. This is the problem of determining if a term has a type in a given system. We discuss, in particular, a collection of type assignment systems which correspond to the typed systems of Barendregt’s “cube”. Type dependencies being shown redundant, we focus on the strongest of all, Fω, the type assignment version of the system Fω of Girard. In order to manipulate uniformly type inferences we give a syntax directed presentation of Fω and introduce the notions of scheme and of pri

APA, Harvard, Vancouver, ISO, and other styles

21

Gajica, Gordana, Aleksandra Sajnovic, Ksenija Stojanovic, Milan Antonijevic, Nikoleta Aleksic, and Branimir Jovancicevic. "The influence of pyrolysis type on shale oil generation and its composition (upper layer of Aleksinac oil shale, Serbia)." Journal of the Serbian Chemical Society 82, no. 12 (2017): 1461–77. http://dx.doi.org/10.2298/jsc170421064g.

Full text

Abstract:

The influence of pyrolysis type on the shale oil generation and its composition was studied. Different methods such as Rock-Eval pyrolysis, thermogravimetric analysis (TGA) and pyrolysis in the open and closed systems were applied. Samples from the Upper layer of Aleksinac oil shale (Serbia) were used as a substrate and first time characterized in detail. The impact of kerogen content and type on the shale oil generation in different pyrolysis systems was also estimated. Majority of the analysed samples have total organic carbon content > 5 wt. % and contain oil prone kerogen types I and/or

APA, Harvard, Vancouver, ISO, and other styles

22

JONES, SIMON PEYTON, DIMITRIOS VYTINIOTIS, STEPHANIE WEIRICH, and MARK SHIELDS. "Practical type inference for arbitrary-rank types." Journal of Functional Programming 17, no. 1 (2007): 1–82. http://dx.doi.org/10.1017/s0956796806006034.

Full text

Abstract:

AbstractHaskell's popularity has driven the need for ever more expressive type system features, most of which threaten the decidability and practicality of Damas-Milner type inference. One such feature is the ability to write functions with higher-rank types – that is, functions that take polymorphic functions as their arguments. Complete type inference is known to be undecidable for higher-rank (impredicative) type systems, but in practice programmers are more than willing to add type annotations to guide the type inference engine, and to document their code. However, the choice of just what

APA, Harvard, Vancouver, ISO, and other styles

23

WASTLING, J. M., S. D. ARMSTRONG, R. KRISHNA, and D. XIA. "Parasites, proteomes and systems: has Descartes’ clock run out of time?" Parasitology 139, no. 9 (2012): 1103–18. http://dx.doi.org/10.1017/s0031182012000716.

Full text

Abstract:

SUMMARYSystems biology aims to integrate multiple biological data types such as genomics, transcriptomics and proteomics across different levels of structure and scale; it represents an emerging paradigm in the scientific process which challenges the reductionism that has dominated biomedical research for hundreds of years. Systems biology will nevertheless only be successful if the technologies on which it is based are able to deliver the required type and quality of data. In this review we discuss how well positioned is proteomics to deliver the data necessary to support meaningful systems m

APA, Harvard, Vancouver, ISO, and other styles

24

Tsamparli, A., and K. Kounenou. "The Greek family system when a child has diabetes mellitus type 1." Acta Paediatrica 93, no. 12 (2007): 1646–53. http://dx.doi.org/10.1111/j.1651-2227.2004.tb00857.x.

Full text

APA, Harvard, Vancouver, ISO, and other styles

25

Kamareddine, Fairouz, Twan Laan, and Rob Nederpelt. "Types in Logic and Mathematics Before 1940." Bulletin of Symbolic Logic 8, no. 2 (2002): 185–245. http://dx.doi.org/10.2178/bsl/1182353871.

Full text

Abstract:

AbstractIn this article, we study the prehistory of type theory up to 1910 and its development between Russell and Whitehead's Principia Mathematica ([71], 1910–1912) and Church's simply typed λ-calculus of 1940. We first argue that the concept of types has always been present in mathematics, though nobody was incorporating them explicitly as such, before the end of the 19th century. Then we proceed by describing how the logical paradoxes entered the formal systems of Frege, Cantor and Peano concentrating on Frege's Grundgesetze der Arithmetik for which Russell applied his famous paradox and t

APA, Harvard, Vancouver, ISO, and other styles

26

Salehi, Leili, and Leila Keikavoosi-Arani. "Using the Backman Model in Determining the Dimensions of Self-Care and Its Factors Affecting the Elderly in Tehran City, Iran." Quarterly of the Horizon of Medical Sciences 26, no. 4 (2020): 382–97. http://dx.doi.org/10.32598/hms.26.4.3251.1.

Full text

Abstract:

Aims Self-care helps older people manage their own health and stay independent by delaying disability. This study aimed to apply the Backman Model in determining the dimensions of self-care and the factors affecting it in the elderly in Tehran. Methods & Materials: This cross-sectional study was performed on 400 elderly members ofnursing homes by systematic random sampling. Data gathering tool included demographic characteristics and self-care behaviors, self-care orientation, life satisfaction assessment, self-confidence, social support, and functional capability. The Chi-square and Pears

APA, Harvard, Vancouver, ISO, and other styles

27

Lebediuk, Witalij. "Плинність партійних систему посткомуністичних країнах (1992−2019)". Rocznik Instytutu Europy Środkowo-Wschodniej 17, № 1 (2019): 79–95. http://dx.doi.org/10.36874/riesw.2019.1.3.

Full text

Abstract:

The paper offers a thorough analysis of the main types of party systems and their changes in the post-Soviet countries between 1992 and 2019. The evolution of the main criteria concerning the party systems classification has been analyzed. We use a database of all parliamentary elections which took place in the post-communist countries since 1992. This article concludes that the majority of party systems of the post-Soviet countries are not stable and suffering permanent changes. On this basis, 16 party systems that continue to exist in the post-communist countries from 1992 to 2019 are almost

APA, Harvard, Vancouver, ISO, and other styles

28

Stolyar, A. L. "Large-scale heterogeneous service systems with general packing constraints." Advances in Applied Probability 49, no. 1 (2017): 61–83. http://dx.doi.org/10.1017/apr.2016.79.

Full text

Abstract:

Abstract A service system with multiple types of customers, arriving according to Poisson processes, is considered. The system is heterogeneous in that the servers can also be of multiple types. Each customer has an independent, exponentially distributed service time, with the mean determined by its type. Multiple customers (possibly of different types) can be placed for service into one server, subject to `packing' constraints, which depend on the server type. Service times of different customers are independent, even if served simultaneously by the same server. The large-scale asymptotic reg

APA, Harvard, Vancouver, ISO, and other styles

29

Ding, Yuzhang, Haocheng Ji, Rui Liu, Yuwei Jiang, and Minxiang Wei. "Study of the thermal behavior of a battery pack with a serpentine channel." AIP Advances 12, no. 5 (2022): 055028. http://dx.doi.org/10.1063/5.0089378.

Full text

Abstract:

To effectively enhance the thermal security of the Li-ion battery packs used in the electric vehicle industry, novel cooling systems equipped with serpentine channels are established. Then, the heat generation model is established and verified experimentally. In this research study, the structure of the cooling channel, the coolant velocity, the coolant temperature, and the coolant flow direction are considered to be the influencing factors. The results demonstrate that, by adopting the serpentine cooling channel, a better thermal conductivity can be obtained, and the type-B cooling system pos

APA, Harvard, Vancouver, ISO, and other styles

30

Han, Soyoung, Cermetrius Lynell Bohannon, and Yoonku Kwon. "How Has the COVID-19 Pandemic Affected the Perceptions of Public Space Employees?" Land 10, no. 12 (2021): 1332. http://dx.doi.org/10.3390/land10121332.

Full text

Abstract:

The purpose of this study is to derive the subjective perception about COVID-19 of public space employees and to identify the characteristics of COVID-19 related issues. By using the Q-method, 24 workers in four public spaces located in Blacksburg, Virginia, USA were selected as P-Sample and Q-Sorting was conducted. Three types of perceptions were identified; Type 1 (Expansion of Non-Face-To-Face Service), Type 2 (Expansion of Professional Labor), and Type 3 (Expansion of Welfare Service Type). All three types recognized that when a confirmed case occurs in a public space, the right and safety

APA, Harvard, Vancouver, ISO, and other styles

31

Chabas, Hélène, Viktor Müller, Sebastian Bonhoeffer, and Roland R. Regoes. "Epidemiological and evolutionary consequences of different types of CRISPR-Cas systems." PLOS Computational Biology 18, no. 7 (2022): e1010329. http://dx.doi.org/10.1371/journal.pcbi.1010329.

Full text

Abstract:

Bacteria have adaptive immunity against viruses (phages) in the form of CRISPR-Cas immune systems. Currently, 6 types of CRISPR-Cas systems are known and the molecular study of three of these has revealed important molecular differences. It is unknown if and how these molecular differences change the outcome of phage infection and the evolutionary pressure the CRISPR-Cas systems faces. To determine the importance of these molecular differences, we model a phage outbreak entering a population defending exclusively with a type I/II or a type III CRISPR-Cas system. We show that for type III CRISP

APA, Harvard, Vancouver, ISO, and other styles

32

DRAGOVIĆ, VLADIMIR, BORISLAV GAJIĆ, and BOŽIDAR JOVANOVIĆ. "SYSTEMS OF HESS–APPEL'ROT TYPE AND ZHUKOVSKII PROPERTY." International Journal of Geometric Methods in Modern Physics 06, no. 08 (2009): 1253–304. http://dx.doi.org/10.1142/s0219887809004211.

Full text

Abstract:

We start with a review of a class of systems with invariant relations, so called systems of Hess–Appel'rot type that generalizes the classical Hess–Appel'rot rigid body case. The systems of Hess–Appel'rot type have remarkable property: there exists a pair of compatible Poisson structures, such that a system is certain Hamiltonian perturbation of an integrable bi-Hamiltonian system. The invariant relations are Casimir functions of the second structure. The systems of Hess–Appel'rot type carry an interesting combination of both integrable and non-integrable properties. Further, following integra

APA, Harvard, Vancouver, ISO, and other styles

33

Merino Flecha, Eva. "Familia y parentesco en el Valle de Naviego." Estudios humanísticos. Geografía, historia y arte, no. 17 (February 5, 2021): 423. http://dx.doi.org/10.18002/ehgha.v0i17.6710.

Full text

Abstract:

<p>In this article we have attempted to develop a synthesis of the kinship systems through which this type of society has achieved its adaptation to the environment.</p><p>The study is based on the basic methodologies in the development of anthropological work. The main tool was on-field work including participative observation and opera interviews, which cannot be detailed due to space limitations. A basic bibliography was also used to frame the work in the scope of Social Anthropology and specifically in kinship studies.</p><p>The approach to subject was based o

APA, Harvard, Vancouver, ISO, and other styles

34

Minner, S., J. Schreiner, and W. Saeger. "Adrenal cancer: relevance of different grading systems and subtypes." Clinical and Translational Oncology 23, no. 7 (2021): 1350–57. http://dx.doi.org/10.1007/s12094-020-02524-2.

Full text

Abstract:

Abstract Purpose The subclassification of adrenal cancers according to the WHO classification in ordinary, myxoid, oncocytic, and sarcomatoid as well as pediatric types is well established, but the criteria for each subtype are not sufficiently determined and the relative frequency of the different types of adrenal cancers has not been studied in large cohorts. Therefore, our large collection of surgically removed adrenal cancers should be reviewed o establish the criteria for the subtypes and to find out the frequency of the various types. Methods In our series of 521 adrenal cancers the scor

APA, Harvard, Vancouver, ISO, and other styles

35

Zheng, Hong Yu, Chang Fu Zong, Wei Qiang Zhao, and Liang Chen. "HILS Test Bench Based on Open and close Loop Test for Air ABS System." Advanced Materials Research 694-697 (May 2013): 1484–87. http://dx.doi.org/10.4028/www.scientific.net/amr.694-697.1484.

Full text

Abstract:

Anti-lock braking systems (ABS) is a type of mechanical electrical system in which are used to prevent wheel locking of vehicle as a result of excessive actuation of the service braking system, especially on slippery roads. According to electric control unit (ECU) research requirement of ABS system, this paper introduce a hardware-in-the-loop simulation (HILS) test bench, which can through open and close loop test methods accomplish calibration the parameters of the inside ECU, performance evaluation and fault diagnosis and tolerance test, not only can shorten the development cycle, but also s

APA, Harvard, Vancouver, ISO, and other styles

36

BARBANERA, FRANCO. "COMBINING TERM REWRITING AND TYPE ASSIGNMENT SYSTEMS." International Journal of Foundations of Computer Science 01, no. 03 (1990): 165–84. http://dx.doi.org/10.1142/s0129054190000138.

Full text

Abstract:

Recently some attention has been paid to the properties enjoyed by combinations of term rewriting and λ-calculus based systems. In this paper strong normalization and confluence are proved for λ-terms obtained by merging pure λ-terms and first order canonical term rewriting systems, in the framework of a system which extends the Coppo-Dezani intersection type assignment system. On terms of the resulting calculus we can perform ordinary β and η reductions, as well as the reductions induced in a natural way by the term rewriting systems. In some parts of our analysis we follow rather closely the

APA, Harvard, Vancouver, ISO, and other styles

37

Xu, Changgui, Xiaofeng Du, Hongtao Zhu, Donghui Jia, Wei Xu, and Huan Lu. "Source-to-sink system and its sedimentary records in the continental rift basins: An example from the Paleogene in the Bohai Sea Area, China." Interpretation 5, no. 4 (2017): ST35—ST51. http://dx.doi.org/10.1190/int-2017-0024.1.

Full text

Abstract:

The “source-to-sink” concept originated in the study of global change and atmospheric pollution. In recent years, the concept of a source-to-sink system has been widely applied in continental margin sedimentary analysis. In our research, the idea of source-to-sink is applied to the continental rift basin sedimentary system in the Bohai Sea area. The idea emphasizes that the sedimentation dynamics, including erosion, transportation, and accumulation, are considered as a complete source-to-sink system. The sand-rich region often corresponds to a source-to-sink coupling system in a complex contin

APA, Harvard, Vancouver, ISO, and other styles

38

Takahashi, Masaki, Mahito Fujii, Masahiro Shibata, Nobuyuki Yagi, and Shin’ichi Satoh. "Automatic Pitch Type Recognition System from Single-View Video Sequences of Baseball Broadcast Videos." International Journal of Multimedia Data Engineering and Management 1, no. 1 (2010): 12–36. http://dx.doi.org/10.4018/jmdem.2010111202.

Full text

Abstract:

This article describes a system that automatically recognizes individual pitch types like screwballs and sliders in baseball broadcast videos. These decisions are currently made by human specialists in baseball, who are watching the broadcast video of the game. No automatic system has yet been developed for identifying individual pitch types from single view camera images. Techniques using multiple fixed cameras promise highly accurate pitch type identification, but the systems tend to be large. Our system is designed to identify the same pitch types using only the same single-view broadcast b

APA, Harvard, Vancouver, ISO, and other styles

39

BOIKO, Juliy, Andriy MOKRYTSKY, and Ilya PYATIN. "RESEARCH OF SYNCHRONIZATION CIRCUITS FOR DIGITAL COMMUNICATION SYSTEMS." Herald of Khmelnytskyi National University. Technical sciences 313, no. 5 (2022): 113–21. http://dx.doi.org/10.31891/2307-5732-2022-313-5-113-121.

Full text

Abstract:

In a digital communication system, the transmitter and receiver have several generators for modulation and demodulation; increasing and decreasing the sampling frequency; synchronization of symbols and bit streams. The causes of phase and carrier frequency errors are the instability of the frequency of the local generators of the transmitter and receiver; presence of Doppler frequency shift; signal propagation delay from the transmitter to the receiver. Synchronization circuits of modern digital communication systems are built on the basis of phase-locked loop (PLL). The purpose of the work is

APA, Harvard, Vancouver, ISO, and other styles

40

Stefanović, Aleksandar, Emina Čolak, Gordana Stanojević, and Ljubinka Nikolić. "Effects of introducing Type&Screen system on rational use of transfusions." Hospital Pharmacology - International Multidisciplinary Journal 8, no. 2 (2021): 1051–57. http://dx.doi.org/10.5937/hpimj2102051s.

Full text

Abstract:

Introduction: The number of blood donors at the global level has decreased primarily due to ethical and age-related changes in the structure of the planet's population. In addition, there is over ordering of blood for surgical patients. Accordingly, there is a need for rationalizing the testing i.e. reducing the number of cross-matchings and decrease in the use of blood. A type and screen (T&S) upon admission is sufficient for most patients. Determination of ABO blood group and Rh type, and screens for clinically significant alloantibodies is denoted as type and screen (T&S). Aim: Comp

APA, Harvard, Vancouver, ISO, and other styles

41

Lelis, Levi. "Active Stratified Sampling with Clustering-Based Type Systems for Predicting the Search Tree Size of Problems with Real-Valued Heuristics." Proceedings of the International Symposium on Combinatorial Search 4, no. 1 (2021): 123–32. http://dx.doi.org/10.1609/socs.v4i1.18281.

Full text

Abstract:

In this paper we advance the line of research launched by Knuth which was later improved by Chen for predicting the size of the search tree expanded by heuristic search algorithms such as IDA*. Chen's Stratified Sampling (SS) uses a partition of the nodes in the search tree called type system to guide its sampling. Recent work has shown that SS using type systems based on integer-valued heuristic functions can be quite effective. However, type systems based on real-valued heuristic functions are often too large to be practical. We use the k-means clustering algorithm for creating effective typ

APA, Harvard, Vancouver, ISO, and other styles

42

Das, Ankush, Di Wang, and Jan Hoffmann. "Probabilistic Resource-Aware Session Types." Proceedings of the ACM on Programming Languages 7, POPL (2023): 1925–56. http://dx.doi.org/10.1145/3571259.

Full text

Abstract:

Session types guarantee that message-passing processes adhere to predefined communication protocols. Prior work on session types has focused on deterministic languages but many message-passing systems, such as Markov chains and randomized distributed algorithms, are probabilistic. To implement and analyze such systems, this article develops the meta theory of probabilistic session types with an application focus on automatic expected resource analysis. Probabilistic session types describe probability distributions over messages and are a conservative extension of intuitionistic (binary) sessio

APA, Harvard, Vancouver, ISO, and other styles

43

Lin, Jinzhong, Anders Fuglsang, Anders Lynge Kjeldsen, Kaiyan Sun, Yuvaraj Bhoobalan-Chitty, and Xu Peng. "DNA targeting by subtype I-D CRISPR–Cas shows type I and type III features." Nucleic Acids Research 48, no. 18 (2020): 10470–78. http://dx.doi.org/10.1093/nar/gkaa749.

Full text

Abstract:

Abstract Prokaryotic CRISPR–Cas immune systems are classified into six types based on their effector complexes which cleave dsDNA specifically (types I, II and V), ssRNA exclusively (type VI) or both ssRNA via a ruler mechanism and ssDNA unspecifically (type III). To date, no specific cleavage of ssDNA target has been reported for CRISPR–Cas. Here, we demonstrate dual dsDNA and ssDNA cleavage activities of a subtype I-D system which carries a type III Cas10-like large subunit, Cas10d. In addition to a specific dsDNA cleavage activity dependent on the HD domain of Cas10d, the helicase Cas3′ and

APA, Harvard, Vancouver, ISO, and other styles

44

Nyrkov, Anatoliy, Sergei Sokolov, Anna Karpina, Alex Chernyakov, and Vagiz Gaskarov. "Cluster-type models in the logistics industry." International Journal of Engineering & Technology 7, no. 1 (2018): 39. http://dx.doi.org/10.14419/ijet.v7i1.8788.

Full text

Abstract:

The aim of the present article is to detect the basic principles of secure electronic document circulation (EDCS) systems for multi-location structure with multiple non-uniform connections. As far as the object of research is concerned, transport-logistical clusters are used. It is heterogeneous system with implicit classification. In the article were examined the basic stages of designing, methods and models of information security in electronic document circulation systems, operating in distributed network and interacting with other informational systems. The article contains analysis of reg

APA, Harvard, Vancouver, ISO, and other styles

45

SCULTHORPE, NEIL, NICOLAS FRISBY, and ANDY GILL. "The Kansas University rewrite engine." Journal of Functional Programming 24, no. 4 (2014): 434–73. http://dx.doi.org/10.1017/s0956796814000185.

Full text

Abstract:

AbstractWhen writing transformation systems, a significant amount of engineering effort goes into setting up the infrastructure needed to direct individual transformations to specific targets in the data being transformed. Strategic programming languages provide general-purpose infrastructure for this task, which the author of a transformation system can use for any algebraic data structure. The Kansas University Rewrite Engine (KURE) is a typed strategic programming language, implemented as a Haskell-embedded domain-specific language. KURE is designed to support typed transformations over typ

APA, Harvard, Vancouver, ISO, and other styles

46

Szewczuk-Krypa, Natalia, Marta Drosińska-Komor, Jerzy Głuch, and Łukasz Breńkacz. "Comparison Analysis of Selected Nuclear Power Plants Supplied With Helium from High-Temperature Gas-Cooled Reactor." Polish Maritime Research 25, s1 (2018): 204–10. http://dx.doi.org/10.2478/pomr-2018-0043.

Full text

Abstract:

Abstract The article presents results of efficiency calculations for two 560 MW nuclear cycles with high-temperature gas-cooled reactor (HTGR). An assumption was made that systems of this type can be used in so-called marine nuclear power plants. The first analysed system is the nuclear steam power plant. For the steam cycle, the efficiency calculations were performed with the code DIAGAR, which is dedicated for analysing this type of systems. The other system is the power plant with gas turbine, in which the combustion chamber has been replaced with the HTGR. For this system, a number of calc

APA, Harvard, Vancouver, ISO, and other styles

47

Vankerckhoven, Ann, Thaïs Baert, Matteo Riva, et al. "Type of chemotherapy has substantial effects on the immune system in ovarian cancer." Translational Oncology 14, no. 6 (2021): 101076. http://dx.doi.org/10.1016/j.tranon.2021.101076.

Full text

APA, Harvard, Vancouver, ISO, and other styles

48

Brown, Phillip, Sangmi Lee, Driss Elhanafi, et al. "Investigation of a Listeria monocytogenes Chromosomal Immigration Control Region Reveals Diverse Restriction Modification Systems with Complete Sequence Type Conservation." Microorganisms 11, no. 3 (2023): 699. http://dx.doi.org/10.3390/microorganisms11030699.

Full text

Abstract:

Listeria monocytogenes is a Gram-positive pathogen responsible for the severe foodborne disease listeriosis. A chromosomal hotspot between lmo0301 and lmo0305 has been noted to harbor diverse restriction modification (RM) systems. Here, we analyzed 872 L. monocytogenes genomes to better understand the prevalence and types of RM systems in this region, designated the immigration control region (ICR). Type I, II, III and IV RM systems were found in 86.1% of strains inside the ICR and in 22.5% of strains flanking the ICR. ICR content was completely conserved within the same multilocus sequence ty

APA, Harvard, Vancouver, ISO, and other styles

49

Kosaraju, Naren Kumar, and Vineela Kanakamedala. "FRIEND RECOMMENDATION USING GRAPH MINING ON SOCIAL MEDIA." International Journal of Engineering Technology and Management Sciences 4, no. 5 (2020): 57–65. http://dx.doi.org/10.46647/ijetms.2020.v04i05.011.

Full text

Abstract:

Recommendation system is an important type of machine learning algorithm that provide precise suggestions to the users. Recommendation systems are used in innumerable types of areas such as generation of playlists, music and video services like Jio savaan, wynk, amazon prime music etc., and products recommendation for users in e-commerce applications and commercial applications. The recommendations that are provided by various types of applications increases the speed for identifying and makes easier to access the products that users are interested in. For each user, the recommendation system

APA, Harvard, Vancouver, ISO, and other styles

50

Umoh, Uduak, Imo Eyoh, Vadivel S. Murugesan, Abdultaofeek Abayomi, and Samuel Udoh. "Hybrid intelligent telemedical monitoring and predictive systems." International Journal of Hybrid Intelligent Systems 17, no. 1-2 (2021): 43–57. http://dx.doi.org/10.3233/his-210005.

Full text

Abstract:

Healthcare systems need to overcome the high mortality rate associated with cardiovascular disease and improve patients’ health by using decision support models that are both quantitative and qualitative. However, existing models emphasize mathematical procedures, which are only good for analyzing quantitative decision variables and have failed to consider several relevant qualitative decision variables which cannot be simply quantified. In solving this problem, some models such as interval type-2 fuzzy logic (IT2FL) and flower pollination algorithm (FPA) have been used in isolation. IT2FL is

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!