Log in

Relevant bibliographies by topics / HLS type system

Contents

Journal articles

Academic literature 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 lists of relevant articles, books, theses, conference reports, and other scholarly sources 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.

Journal articles on the topic "HLS type system"

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

More sources

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!