Relevant bibliographies by topics / Rulous type

Contents

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

Academic literature on the topic 'Rulous type'

Author: Grafiati
Published: 28 May 2022

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

Select a source type:

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

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 "Rulous type"

1

Ren, L., and P. Ren. "Type I error of t-tests from the simple moving average technical trading rules." Applied Econometrics 61 (2021): 47–61. http://dx.doi.org/10.22394/1993-7601-2021-61-47-61.

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

Ichniarsyah, Annisa Nur, Titis Pury Purboningtyas, and Widiya Apriliani. "KEGIATAN PABRIKASI MESIN PENGUPAS BAWANG MERAH MEREK BEJE TIPE PB 01." Jurnal Bioindustri 4, no. 1 (November 30, 2021): 12–24. http://dx.doi.org/10.31326/jbio.v4i1.1224.

Full text
Abstract:
Shallot peeling activities in small scale industry are still manually done. This process takes huge time and effort. Therefore, shallot dehuller was designed and developed to increase effectivity and efficiency. The objectives of the study were to develop shallot dehuller machine and conduct functional tests. Identification tests indicated workshop tools needed for machine development were grinder, rulers, scales, and various machines such as drilling, welding, roll and bender, and cutting plasma machine. Machine development started from manufacturing the frames, dehuller hopper and inlet, rotating disc, outlet for shallot hull, and outlet for shallot. Functional tests indicated that the machine construction was according to the design plan.
APA, Harvard, Vancouver, ISO, and other styles
3

LUO, ZHAOHUI, and ROBIN ADAMS. "Structural subtyping for inductive types with functorial equality rules." Mathematical Structures in Computer Science 18, no. 5 (October 2008): 931–72. http://dx.doi.org/10.1017/s0960129508006956.

Full text
Abstract:
In this paper we study subtyping for inductive types in dependent type theories in the framework of coercive subtyping. General structural subtyping rules for parameterised inductive types are formulated based on the notion of inductive schemata. Certain extensional equality rules play an important role in proving some of the crucial properties of the type system with these subtyping rules. In particular, it is shown that the structural subtyping rules are coherent and that transitivity is admissible in the presence of the functorial rules of computational equality.
APA, Harvard, Vancouver, ISO, and other styles
4

Bokhari, M. A., Asghar Qadir, and H. Al-Attas. "On Gauss-Type Quadrature Rules." Numerical Functional Analysis and Optimization 31, no. 10 (September 16, 2010): 1120–34. http://dx.doi.org/10.1080/01630563.2010.510981.

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

Belingeri, C., and B. Germano. "On Appel-Type Quadrature Rules." gmj 9, no. 3 (September 2002): 405–12. http://dx.doi.org/10.1515/gmj.2002.405.

Full text
Abstract:
Abstract The Radon technique is applied in order to recover a quadrature rule based on Appel polynomials and the so called Appel numbers. The relevant formula generalizes both the Euler-MacLaurin quadrature rule and a similar rule using Euler (instead of Bernoulli) numbers and even (instead of odd) derivatives of the given function at the endpoints of the considered interval. In the general case, the remainder term is expressed in terms of Appel numbers, and all derivatives appear. A numerical example is also included.
APA, Harvard, Vancouver, ISO, and other styles
6

COLE, DANIEL H. "Laws, norms, and the Institutional Analysis and Development framework." Journal of Institutional Economics 13, no. 4 (February 28, 2017): 829–47. http://dx.doi.org/10.1017/s1744137417000030.

Full text
Abstract:
AbstractElinor Ostrom's Institutional Analysis and Development (IAD) framework has been described as ‘one of the most developed and sophisticated attempts to use institutional and stakeholder assessment in order to link theory and practice, analysis and policy’. But not all elements in the framework are sufficiently well developed. This paper focuses on one such element: the ‘rules-in-use’ (a.k.a. ‘rules’ or ‘working rules’). Specifically, it begins a long-overdue conversation about relations between formal legal rules and ‘working rules’ by offering a tentative and very simple typology of relations. Type 1: Some formal legal rules equal or approximate the working rules; Type 2: Some legal rules plus (or emended by) widely held social norms equal or approximate the working rules; and Type 3: Some legal rules bear no evident relation to the working rules. Several examples, including some previously used by Ostrom, are provided to illustrate each of the three types, which can be conceived of as nodes or ranges along a continuum. The paper concludes with a call for empirical research, especially case studies and meta-analyses, to determine the relevant scope of each of these types of relations, and to provide data for furthering our understanding of how different types of rules, from various sources, function (or not) as institutions.
APA, Harvard, Vancouver, ISO, and other styles
7

COPESTAKE, ANN. "Appendix: Definitions of typed feature structures." Natural Language Engineering 6, no. 1 (March 2000): 109–12. http://dx.doi.org/10.1017/s1351324900002357.

Full text
Abstract:
The LinGO grammar consists of a specification of a type system and of various typed feature structures which are well-formed according to the type system. The typed feature structures function as grammar rules, lexical rules and lexical entries. There are several variant typed feature structure formalisms, with different computational properties, so in this appendix we very briefly specify the version assumed by the LinGO grammar.This appendix is necessarily terse, and is only intended to allow a reader who already has a knowledge of typed feature structures to understand the specific formalism used in the LinGO grammar. The definitions given below basically follow Carpenter (1992), with the notion of type constraint from Copestake (1992). For formal details of typed feature structures in general see Carpenter (1992). A detailed account of the specific assumptions made here is given in Copestake (1999) (See Chapter 4 for an introduction, and Chapter 5 for a semi-formal account.)Note that the LinGO grammar uses a very restricted formalism. For instance, it does not utilize disjunctive feature structures, negation, implication, inequalities, defaults, set-valued features, extensionality or relational constraints. Constraint resolution does not require that every type be made maximally specific, and the type inference system is essentially non-recursive. The recursive power necessary in grammars is explicitly encoded via rules, which are expressed as typed feature structures, but interpreted as phrase structure rules.
APA, Harvard, Vancouver, ISO, and other styles
8

Franjić, Iva. "Hermite-Hadamard-type inequalities for Radau-type quadrature rules." Journal of Mathematical Inequalities, no. 3 (2009): 395–407. http://dx.doi.org/10.7153/jmi-03-39.

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

MU, SHIN-CHENG, HSIANG-SHANG KO, and PATRIK JANSSON. "Algebra of programming in Agda: Dependent types for relational program derivation." Journal of Functional Programming 19, no. 5 (July 23, 2009): 545–79. http://dx.doi.org/10.1017/s0956796809007345.

Full text
Abstract:
AbstractRelational program derivation is the technique of stepwise refining a relational specification to a program by algebraic rules. The program thus obtained is correct by construction. Meanwhile, dependent type theory is rich enough to express various correctness properties to be verified by the type checker. We have developed a library, AoPA (Algebra of Programming in Agda), to encode relational derivations in the dependently typed programming language Agda. A program is coupled with an algebraic derivation whose correctness is guaranteed by the type system. Two non-trivial examples are presented: an optimisation problem and a derivation of quicksort in which well-founded recursion is used to model terminating hylomorphisms in a language with inductive types.
APA, Harvard, Vancouver, ISO, and other styles
10

Mao, Yanying, and Honghui Chen. "Rule-Guided Compositional Representation Learning on Knowledge Graphs with Hierarchical Types." Mathematics 9, no. 16 (August 18, 2021): 1978. http://dx.doi.org/10.3390/math9161978.

Full text
Abstract:
The representation learning of the knowledge graph projects the entities and relationships in the triples into a low-dimensional continuous vector space. Early representation learning mostly focused on the information contained in the triplet itself but ignored other useful information. Since entities have different types of representations in different scenarios, the rich information in the types of entity levels is helpful for obtaining a more complete knowledge representation. In this paper, a new knowledge representation frame (TRKRL) combining rule path information and entity hierarchical type information is proposed to exploit interpretability of logical rules and the advantages of entity hierarchical types. Specifically, for entity hierarchical type information, we consider that entities have multiple representations of different types, as well as treat it as the projection matrix of entities, using the type encoder to model entity hierarchical types. For rule path information, we mine Horn rules from the knowledge graph to guide the synthesis of relations in paths. Experimental results show that TRKRL outperforms baselines on the knowledge graph completion task, which indicates that our model is capable of using entity hierarchical type information, relation paths information, and logic rules information for representation learning.
APA, Harvard, Vancouver, ISO, and other styles
More sources

Dissertations / Theses on the topic "Rulous type"

1

Alqahtani, Hessah Faihan. "GAUSS-TYPE QUADRATURE RULES, WITH APPLICATIONSIN LINEAR ALGEBRA." Kent State University / OhioLINK, 2018. http://rave.ohiolink.edu/etdc/view?acc_num=kent1521760018029109.

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

Zhang, Haoning. "Indexed semantic mapping rules." Zurich : ETH, Swiss Federal Institut of Technology, Institute of Information Systems, 2009. http://e-collection.ethbib.ethz.ch/show?type=dipl&nr=449.

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

Rutishauser, Jonas. "Lazy evaluation of semantic mapping rules." Zürich : [Institut für Informationssysteme, Eidgenössische Technische Hochschule Zürich], 2008. http://e-collection.ethbib.ethz.ch/show?type=dipl&nr=359.

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

Masachis, Gelo Sara. "When mRNA folding rules gene expression : lessons from type I toxin-antitoxin systems." Thesis, Bordeaux, 2018. http://www.theses.fr/2018BORD0191/document.

Full text
Abstract:
Les systèmes toxine-antitoxine (TA) sont de petits modules génétiques largement présents dans les génomes bactériens. Ils codent pour une petite protéine toxique et une antitoxine. Ils sont classés en six types en fonction de la nature et du mode d'action de l'antitoxine. Ce travail a porté sur l'étude du type I, pour lequel l'antitoxine est un ARN antisens qui cible l'ARNm de la toxine afin de réprimer son expression. Au cours de cette thèse, nous avons étudié le système aapA3/IsoA3, codé sur le chromosome du pathogène gastrique humain Helicobacter pylori. À ce jour, la plupart des systèmes TA ont été étudiés à l'aide de systèmes d'expression artificiels, qui ne permettent pas de caractériser la régulation transcriptionnelle ou post-transcriptionnelle. En utilisant la létalité induite par l’expression chromosomique de la toxine obtenue en absence d’antitoxine, nous avons développé une sélection génétique de mutants suppresseurs révélés par séquençage haut-débit. Cette approche, appelée FASTBAC-Seq, nous a permis de cartographier une myriade de déterminants de toxicité localisés dans les régions codantes et non codantes du gène de la toxine AapA3. En particulier, certaines de ces mutations ont révélé l'existence de tige-boucles ARN transitoires qui agissent de manière co-transcriptionnelle pour empêcher l'initiation de la traduction pendant la synthèse de l'ARNm codant pour la toxine. Ces structures ARN métastables fonctionnelles sont nécessaires pour découpler les processus de transcription et de traduction et permettent la présence de ces gènes toxiques sur le chromosome bactérien. Bien que les ARNm non traduits deviennent rapidement instables, nos travaux ont également révélé l'existence de deux tige-boucles protectrices situées aux deux extrémités de l'ARNm. Ces structures secondaires empêchent des activités exonucléolytiques agissant en 5' et 3'. Dans l’ensemble, notre travail met en évidence les conséquences de la forte pression de sélection pour limiter l'expression des toxines sous laquelle évoluent les systèmes TA. Cela nous a permis de mieux comprendre l’influence du repliement secondaire des ARNm, non seulement lors de la régulation posttranscriptionnelle, mais aussi co-transcriptionnelle de l’expression de cette famille particulière de gènes. Ces caractéristiques de régulation basées sur l'ARN peuvent être exploitées à l'avenir pour des applications biotechnologiques (p. ex., production accrue de protéines par stabilisation d'ARNm) ou biomédicales (p.ex., développement de stratégies antimicrobiennes alternatives pour l'activation de la synthèse de toxines)
Toxin-antitoxin (TA) systems are small genetic modules widely present in bacterial genomes. They usually code for a small toxic protein and its cognate antitoxin and can be classified into six types depending on the nature and mode of action of the antitoxin. This work focuses on the study of type I, for which the antitoxin is an antisense RNA that targets the toxin mRNA to inhibit its expression. We characterized the aapA3/IsoA3 system, encoded on the chromosome of the human gastric pathogen Helicobacter pylori. To date, most TAs have been studied using artificial expression systems, which do not allow the characterization of transcriptional or post-transcriptional regulation. Taking advantage of the lethality induced by the toxin chromosomal expression in the absence of antitoxin, we developed a high-throughput genetic selection of suppressor mutations revealed by Next-Generation Sequencing. This approach, named FASTBAC-Seq, allowed us to map a myriad of toxicity determinants located in both, coding and noncoding regions, of the aapA3 toxic gene. More precisely, some suppressor mutations revealed the existence of transient RNA hairpins that act co-transcriptionally to prevent translation initiation while the toxinencoding mRNA is being made. Such functional RNA metastable structures are essential to uncouple the transcription and translation processes and allow the presence of these toxic genes on bacterial chromosomes. Although untranslated mRNAs become rapidly unstable, our work also revealed the presence of two protective stem-loops located at both mRNA ends that prevent from both, 5’ and 3’ exonucleolytic activity. Altogether, our work evidenced the consequences of the strong selection pressure to silence toxin expression under which the TAs evolve, and highlighted the key role of mRNA folding in the co- and post-transcriptional regulation of this family of genes. These RNA-based regulatory mechanisms may be exploited in the future for biotechnological (e.g., increased protein production through mRNA stabilization) or biomedical (e.g., development of alternative antimicrobial strategies aiming at the activation of toxin synthesis) applications
APA, Harvard, Vancouver, ISO, and other styles
5

Galanov, Ilya. "Sur l’auto-assemblage de pavages octogonaux plans de type fini." Thesis, Paris 13, 2019. http://www.theses.fr/2019PA131018.

Full text
Abstract:
L'auto-assemblage est le processus dans lequel les composants d'un système, qu'il s'agisse de molécules, de polymères, de colloïdes ou de particules macroscopiques, s'organisent en structures ordonnés à la suite d'interactions locales entre les composants eux-mêmes, sans intervention extérieure. Cette thèse concerne l'auto-assemblage de pavages apériodiques. Les pavages apériodiques (le pavage Penrose en est un exemple célèbre) servent de modèle mathématique pour les quasi-cristaux - les cristaux qui n'ont pas la symétrie de translation. En raison de la disposition atomique spécifique de ces cristaux, la question de savoir comment ils se forment reste toujours sans réponse. L'objectif de cette thèse est de développer un algorithme de croissance pour une classe particulière de pavages apériodiques - les pavages octogonaux de type fini. Afin d'imiter la croissance de quasi-cristaux réels, nous demandons que l'algorithme soit local: les pièces doivent être ajoutées une par une, en utilisant uniquement les informations locales et aucune donnée ne doit être stockée entre les étapes. Les simulations corroborent la conjecture que l'algorithme que nous avons mis au point permet de former des pavages apériodiques, modulo une proportion inévitable mais négligeable de pavés manquants
Self-assembly is the process in which the components of a system, whether molecules, polymers, or macroscopic particles, are organized into ordered structures as a result of local interactions between the components themselves, without exterior guidance. This thesis is devoted to the self-assembly of aperiodic tilings. Aperiodic tilings serve as a mathematical model for quasicrystals - crystals that do not have any translational symmetry. Because of the specific atomic arrangement of these crystals, the question of how they grow still remains open. Our aim is to develop a growth algorithm for a particular class of aperiodic tilings - octagonal tilings of finite type. In order to mimic the growth of real-world quasicrystals, we demand the algorithm be local: the tiles must be added one by one, using only the local information and no data must be stored between the steps. Simulations strongly support the evidence that this algorithm grows aperiodic tilings, up to an unavoidable but neglectable proportion of missing tiles
APA, Harvard, Vancouver, ISO, and other styles
6

Birchwood, Anthony. "Implementation of taylor type rules in nascent money and capital markets under managed exchange rates." Thesis, Brunel University, 2011. http://bura.brunel.ac.uk/handle/2438/6447.

Full text
Abstract:
We investigate the practical use of Taylor-type rules in Trinidad and Tobago, which is in the process of implementing market based monetary policy and seeks to implement flexible inflation targeting in the presence of a managed exchange rate. This is motivated by the idea that normative Taylor rules can be shaped by the practical experience of developing countries. We find that the inflation – exchange rate nexus is strong, hence the country may be unwilling to allow the exchange rate to float freely. We contend that despite weak market development the Taylor rule can still be applied as the central bank is able to use moral suasion to achieve full pass through of the policy rate to the market rate. Our evidence rejects Galí and Monacelli’s (2005) argument that the optimal monetary policy rule for the open economy is isomorphic for a closed economy. Rather, our evidence suggests that the rule for the open economy allows for lower variability when the rule is augmented by the real exchange rate as in Taylor (2001). We also reject Galí and Monacelli’s (2005) hypothesis that domestic inflation is optimal for inclusion in the Taylor-type rule. Instead we find that core CPI inflation leads to lower variability. Additionally, our evidence suggests that the monetary rule, when applied to Trinidad and Tobago, is accommodating to the US Federal Reserve rate. Further, we expand the work of Martin and Milas (2010) which considered the pass through of the policy rate to the interbank rate in the presence of risk and liquidity. By extending the transmission to the market lending rate, we are able to go beyond those disruptive factors by considering excess liquidity and spillovers of international economic disturbances. We found that these shocks are significant for Trinidad and Tobago, but it is not significant enough to disrupt the pass through. As a result, full pass through was robust to the presence of these disruptive factors.
APA, Harvard, Vancouver, ISO, and other styles
7

Ozlanski, Michael Edward. "Effects of Principles vs. Rules Based Accounting Standards and Increased Audit Reporting on Investors' Perceptions of Management's Reporting Credibility." Diss., Virginia Tech, 2013. http://hdl.handle.net/10919/50564.

Full text
Abstract:
The purpose of this study is to investigate how the effects of principles vs. rules based accounting standards and a potential change in the audit reporting model will affect investors' perceptions of management's reporting credibility.  The Securities and Exchange Commission is currently considering the adoption of International Financial Reporting Standards, which is considered to be a set of principles based accounting standards.  Whereas, U.S. Generally Accepted Accounting Principles are considered rules based.  Additionally, the Public Company Accounting Oversight Board is considering a possible change to the existing audit reporting model.  The audit reporting change currently under consideration would require the use of additional emphasis of matter paragraphs within the audit report to discuss areas of higher risk in the financial statements.  A sample of 196 nonprofessional investors completed an on-line 2 X 2 between subjects experiment that manipulated accounting standard type and level of auditor reporting.  Participants assessed direct and indirect measures of reporting credibility, obtained the experimental manipulations, and provided revised credibility assessments.  Changes in credibility served as the dependent variable.  The results suggest that expanded auditor reporting resulted in lower perceptions of management\'s reporting credibility. Additionally, the effects of expanded auditor reporting appear stronger under rules based accounting standards.  No main effects, however, of accounting standard type were observed.  These results contribute to the existing literature on accounting standard type, the information content of audit reports, and reporting credibility.
Ph. D.
APA, Harvard, Vancouver, ISO, and other styles
8

Pornsawad, Pornsarp, and Christine Böckmann. "Modified iterative Runge-Kutta-type methods for nonlinear ill-posed problems." Universität Potsdam, 2014. http://opus.kobv.de/ubp/volltexte/2014/7083/.

Full text
Abstract:
This work is devoted to the convergence analysis of a modified Runge-Kutta-type iterative regularization method for solving nonlinear ill-posed problems under a priori and a posteriori stopping rules. The convergence rate results of the proposed method can be obtained under Hölder-type source-wise condition if the Fréchet derivative is properly scaled and locally Lipschitz continuous. Numerical results are achieved by using the Levenberg-Marquardt and Radau methods.
APA, Harvard, Vancouver, ISO, and other styles
9

Schmider, Simon [Verfasser], and Susanne [Akademischer Betreuer] Danz. "Hecke algebras of type A: Auslander--Reiten quivers and branching rules / Simon Schmider. Betreuer: Susanne Danz." Kaiserslautern : Technische Universität Kaiserslautern, 2016. http://d-nb.info/1102933171/34.

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

Daniel, Panizo. "Review of compact spaces for type IIA/IIB theories and generalised fluxes." Thesis, Uppsala universitet, Institutionen för fysik och astronomi, 2019. http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-384227.

Full text
Abstract:
In the present project we study compactifications of type IIA/IIB string theories on toroidal orbifolds. We present the moduli space for N=1 four-dimensional reductions and its topological properties. To fix the value of all moduli, we will construct the most general holomorphic superpotential W using a set of T-dual iterations for the fluxes. Using a 3-torus toy-model, we will give an introductory description to the background of these generalised fluxes.
APA, Harvard, Vancouver, ISO, and other styles
More sources

Books on the topic "Rulous type"

1

Type rules! Cincinnati, Ohio: North Light Books, 2001.

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

Colvin, Rod. The type 2 diabetes handbook: Six rules for staying healthy with type 2 diabetes. Omaha, Neb: Addicus Books, 2011.

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

Colvin, Rod. The type 2 diabetes handbook: Six rules for staying healthy with type 2 diabetes. Omaha, Neb: Addicus Books, 2011.

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

Type rules!: The designer's guide to professional typography. Hoboken, New Jersey: John Wiley and Sons, Inc., 2014.

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

Type rules!: The designer's workbook for professional typography. 2nd ed. Hoboken, N.J: Wiley, 2006.

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

Wong, Tat-Yan. On the design of Bayes-type discrimination rules. Toronto: [s.n.], 1985.

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

Type rules: The designer's guide to professional typography. 3rd ed. Hoboken, N.J: Wiley, 2010.

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

Strizver, Ilene. Type rules: The designer's guide to professional typography. 3rd ed. Hoboken, N.J: Wiley, 2010.

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

Outside the rules. Thorndike, Me: Thorndike Press, 1993.

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

Thorne, Nicola. Rules of engagement. Thorndike, ME: Thorndike Press, 1998.

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

Book chapters on the topic "Rulous type"

1

Shivkumar, Bhargav, Enrique Naudon, and Lukasz Ziarek. "Putting Gradual Types to Work." In Practical Aspects of Declarative Languages, 54–70. Cham: Springer International Publishing, 2021. http://dx.doi.org/10.1007/978-3-030-67438-0_4.

Full text
Abstract:
AbstractIn this paper, we describe our experience incorporating gradual types in a statically typed functional language with Hindley-Milner style type inference. Where most gradually typed systems aim to improve static checking in a dynamically typed language, we approach it from the opposite perspective and promote dynamic checking in a statically typed language. Our approach provides a glimpse into how languages like SML and OCaml might handle gradual typing. We discuss our implementation and challenges faced—specifically how gradual typing rules apply to our representation of composite and recursive types. We review the various implementations that add dynamic typing to a statically typed language in order to highlight the different ways of mixing static and dynamic typing and examine possible inspirations while maintaining the gradual nature of our type system. This paper also discusses our motivation for adding gradual types to our language, and the practical benefits of doing so in our industrial setting.
APA, Harvard, Vancouver, ISO, and other styles
2

Dijkstra, Atze, and S. Doaitse Swierstra. "Ruler: Programming Type Rules." In Functional and Logic Programming, 30–46. Berlin, Heidelberg: Springer Berlin Heidelberg, 2006. http://dx.doi.org/10.1007/11737414_4.

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

Cerone, Pietro, and Sever S. Dragomir. "Three Point Quadrature Rules." In Ostrowski Type Inequalities and Applications in Numerical Integration, 141–250. Dordrecht: Springer Netherlands, 2002. http://dx.doi.org/10.1007/978-94-017-2519-4_3.

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

Brass, Helmut, and Knut Petras. "Quadrature rules of interpolatory type." In Quadrature Theory, 99–148. Providence, Rhode Island: American Mathematical Society, 2011. http://dx.doi.org/10.1090/surv/178/05.

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

Brass, Helmut, and Knut Petras. "Variance and Chebyshev-type rules." In Quadrature Theory, 291–306. Providence, Rhode Island: American Mathematical Society, 2011. http://dx.doi.org/10.1090/surv/178/09.

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

Voisin, Frédéric, and Michel Bidoit. "Modular algebraic specifications and the orientation of equations into rewrite rules." In Recent Trends in Data Type Specification, 503–21. Berlin, Heidelberg: Springer Berlin Heidelberg, 1996. http://dx.doi.org/10.1007/3-540-61629-2_60.

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

Antoy, Sergio. "Design strategies for rewrite rules." In Conditional and Typed Rewriting Systems, 333–41. Berlin, Heidelberg: Springer Berlin Heidelberg, 1991. http://dx.doi.org/10.1007/3-540-54317-1_102.

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

Uysal, Mustafa. "Osteotomy Rules and Types." In Basic Techniques for Extremity Reconstruction, 339–49. Cham: Springer International Publishing, 2018. http://dx.doi.org/10.1007/978-3-319-45675-1_26.

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

Brenton, Scott. "Types of Fiscal Rules." In The Politics of Budgetary Surplus, 61–93. London: Palgrave Macmillan UK, 2016. http://dx.doi.org/10.1057/978-1-137-58597-4_3.

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

Groenendijk, Jeroen, and Martin Stokhof. "Type-Shifting Rules and the Semantics of Interrogatives." In Properties, Types and Meaning, 21–68. Dordrecht: Springer Netherlands, 1989. http://dx.doi.org/10.1007/978-94-009-2723-0_2.

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

Conference papers on the topic "Rulous type"

1

Coupland, Simon, and Stephen G. Matthews. "Using nonstationary fuzzy sets to improve the tractability of fuzzy association rules." In 2013 IEEE Symposium on Advances in Type-2 Fuzzy Logic Systems (T2FUZZ). IEEE, 2013. http://dx.doi.org/10.1109/t2fzz.2013.6613293.

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

Pombrio, Justin, and Shriram Krishnamurthi. "Inferring type rules for syntactic sugar." In PLDI '18: ACM SIGPLAN Conference on Programming Language Design and Implementation. New York, NY, USA: ACM, 2018. http://dx.doi.org/10.1145/3192366.3192398.

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

Grzybowski, Andrzej Z., and Alexander M. Korsunsky. "Optimal Stopping Rules For Some Blackjack Type Problems." In CURRENT THEMES IN ENGINEERING SCIENCE 2009: Selected Presentations at the World Congress on Engineering-2009. AIP, 2010. http://dx.doi.org/10.1063/1.3366517.

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

Erdweg, Sebastian, Oliver Bračevac, Edlira Kuci, Matthias Krebs, and Mira Mezini. "A co-contextual formulation of type rules and its application to incremental type checking." In SPLASH '15: Conference on Systems, Programming, Languages, and Applications: Software for Humanity. New York, NY, USA: ACM, 2015. http://dx.doi.org/10.1145/2814270.2814277.

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

Gavin, William T., Michael R. Pakko, and Benjamin D. Keen. "Taylor-Type Rules And Permanent Shifts In Productivity Growth." In 23rd European Conference on Modelling and Simulation. ECMS, 2009. http://dx.doi.org/10.7148/2009-0457-0462.

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

Vale´rio, Duarte, and Jose´ Sa´ da Costa. "Ziegler-Nichols Type Tuning Rules for Fractional PID Controllers." In ASME 2005 International Design Engineering Technical Conferences and Computers and Information in Engineering Conference. ASMEDC, 2005. http://dx.doi.org/10.1115/detc2005-84344.

Full text
Abstract:
This paper presents two sets of tuning rules for fractional PIDs that rely solely on the same plant time-response data used by the first Ziegler-Nichols tuning rule for (usual, integer) PIDs. Thus no model for the plant to control is needed; only an S-shaped step response is. These rules are quadratic and their results compare well with those obtained with rule-tuned integer PIDs.
APA, Harvard, Vancouver, ISO, and other styles
7

Tan Woei Wan and D. H. Kamal. "On-line Learning Rules for Type-2 Fuzzy Controller." In 2006 IEEE International Conference on Fuzzy Systems. IEEE, 2006. http://dx.doi.org/10.1109/fuzzy.2006.1681760.

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

Vera Vera, Jhon Edwin, Sergio Mora Martinez, Andres Torres Perez, and Jonathan Avendano. "Classification of Gerbera Type Flowers Based in Decision Tree Rules." In 2019 XXII Symposium on Image, Signal Processing and Artificial Vision (STSIVA). IEEE, 2019. http://dx.doi.org/10.1109/stsiva.2019.8730221.

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

Sasaki, Yutaka, and Yoshihiro Matsuo. "Learning semantic-level information extraction rules by type-oriented ILP." In the 18th conference. Morristown, NJ, USA: Association for Computational Linguistics, 2000. http://dx.doi.org/10.3115/992730.992747.

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

Wilson, David Gordon. "Regenerative Heat Exchangers for Microturbines and an Improved Type." In ASME Turbo Expo 2003, collocated with the 2003 International Joint Power Generation Conference. ASMEDC, 2003. http://dx.doi.org/10.1115/gt2003-38871.

Full text
Abstract:
The principle of operation of regenerative heat exchangers (“regenerators”) is explained, and the characteristics are compared with those of recuperators. The design rules for heat exchangers in general are stated, and the particular design rules forregenerators are discussed in more detail. Problems in past regenerators have led to an improved type, which is described. Design studies of a regenerator for a typical microturbine at three different effectivenesses are given, and leakage rates estimated. At the highest regenerator effectiveness, and using the improved compressor and turbine design permitted by this effectiveness, it is estimated that a 300-kW microturbine should achieve 50% electrical efficiency.
APA, Harvard, Vancouver, ISO, and other styles

Reports on the topic "Rulous type"

1

Gavin, William T., Benjamin D. Keen, and Michael R. Pakko. Taylor-Type Rules and Permanent Shifts in Productivity Growth. Federal Reserve Bank of St. Louis, 2009. http://dx.doi.org/10.20955/wp.2009.049.

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

Eom, Ran-i., Hyojeong Lee, and Yejin Lee. Development of Grading Rules Based on Lower Body Type for Leg Guard Production. Ames: Iowa State University, Digital Repository, November 2016. http://dx.doi.org/10.31274/itaa_proceedings-180814-1713.

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

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

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

Legg, S. Generic String Encoding Rules (GSER) for ASN.1 Types. RFC Editor, October 2003. http://dx.doi.org/10.17487/rfc3641.

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

Alvestrand, H., J. Romaguera, and K. Jordan. Rules for downgrading messages from X.400/88 to X.400/84 when MIME content-types are present in the messages. RFC Editor, August 1993. http://dx.doi.org/10.17487/rfc1496.

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

Халік, Олена Олександрівна. Особливості образів батьківської та майбутньої сімейної системи у сучасних студентів жіночої статі та їх взаємозв’язок з рівнем перфекціонізму. Гнозис, 2015. http://dx.doi.org/10.31812/123456789/3791.

Full text
Abstract:
У статті аналізуються особливості образів батьківської та майбутньої сімейних систем у сучасних студентів жіночої статі, визначаються збалансованість та незбалансованість вказаних родин. З’ясовано, що третина образів майбутньої родини є незбалансованими, з домінуванням заплутано-хаотичного типу. Встановлено зв’язок перфекціонізму спрямованого на інших та соціально обумовленого перфекціонізму з окремими показниками образу майбутньої сім’ї. This article deals with the analyze of the female students’ perceptions of their parental family and their own future family systems. Author determines the balanced and extreme families. It was found that a third of all perceptions of the future family are extreme, with the dominance of chaotically engaged type. It is proved that there are significant differences between the perceptions of the parental family and their own future family. It was found that the most of the female students choose a model of mid-range family, like their parental families are. There is the statistically significant positive correlation between the index of socially prescribed perfectionism conformism and emotional bonding, emotional ties, family boundaries, decision making and family time. There is a significant negative correlation between other-oriented perfectionism, family flexibility, and discipline in the family and relationship rules.
APA, Harvard, Vancouver, ISO, and other styles
7

Eshed, Yuval, and John Bowman. Harnessing Fine Scale Tuning of Endogenous Plant Regulatory Processes for Manipulation of Organ Growth. United States Department of Agriculture, 2005. http://dx.doi.org/10.32747/2005.7696519.bard.

Full text
Abstract:
Background and objectives: Manipulation of plant organ growth is one of the primary reasons for the success of mankind allowing increasing amounts of food for human and livestock consumption. In contrast with the successful selection for desirable growth characteristics using plant breeding, transgenic manipulations with single genes has met limited success. While breeding is based on accumulation of many small alterations of growth, usually arise from slight changes in expression patterns, transgenic manipulations are primarily based on drastic, non-specific up-regulation or knock down of genes that can exert different effects during different stages of development. To successfully harness transgenic manipulation to attain desirable plant growth traits we require the tools to subtly regulate the temporal and spatial activity of plant growth genes. Polar morphology along the adaxial/abaxial axis characterizes lateral organs of all plants. Juxtaposition of two cell types along this axis is a prerequisite of laminar growth induction. In the study summarized here, we addressed the following questions: Can we identify and harness components of the organ polarity establishment pathway for prolonged growth? Can we identify specific regulatory sequences allowing spatial and temporal manipulation in various stages of organ development? Can we identify genes associated with YABBY-induced growth alterations? Major conclusions and implications: We showed that regulated expression, both spatially and temporally of either organ polarity factors such as the YABBY genes, or the organ maturation program such as the CIN-TCPs can stimulate substantial growth of leaves and floral organs. Promoters for such fine manipulation could be identified by comparison of non-coding sequences of KAN1, where a highly conserved domain was found within the second intron, or by examination of multiple 5” regions of genes showing transient expression along leaf ontogeny. These promoters illustrate the context dependent action of any gene we examined thus far, and facilitate fine tuning of the complex growth process. Implications, both scientific and agricultural. The present study was carried out on the model organism Arabidopsis, and the broad application of its findings were tested in the tomato crop. We learned that all central regulators of organ polarity are functionally conserved, probably in all flowering plants. Thus, with minor modifications, the rules and mechanisms outlined in this work are likely to be general.
APA, Harvard, Vancouver, ISO, and other styles
8

Colomb, Claire, and Tatiana Moreira de Souza. Regulating Short-Term Rentals: Platform-based property rentals in European cities: the policy debates. Property Research Trust, May 2021. http://dx.doi.org/10.52915/kkkd3578.

Full text
Abstract:
Short-term rentals mediated by digital platforms have positive and negative impacts that are unevenly distributed among socio-economic groups and places. Detrimental impacts on the housing market and quality of life of long-term residents have been particular contentious in some cities. • In the 12 cities studied in the report (Amsterdam, Barcelona, Berlin, Brussels, Lisbon, London, Madrid, Milan, Paris, Prague, Rome and Vienna), city governments have responded differently to the growth of short-term rentals. • The emerging local regulations of short-term rentals take multiple forms and exhibit various degrees of stringency, ranging from rare cases of laissez-faire to a few cases of partial prohibition or strict quantitative control. Most city governments have sought to find a middle-ground approach that differentiates between the professional rental of whole units and the occasional rental of one’s home/ primary residence. • The regulation of short-term rentals is contentious and highly politicised. Six broad categories of interest groups and non-state actors actively participate in the debates with contrasting positions: advocates of the ‘sharing’ or ‘collaborative’ economy; corporate platforms; professional organisatons of short-term rental operators; new associations of hosts or ‘home-sharers’; the hotel and hospitality industry; and residents’ associations/citizens’ movements. • All city governments face difficulties in implementing and enforcing the regulations, due to a lack of sufficient resources and to the absence of accurate and comprehensive data on individual hosts. That data is held by corporate platforms, which have generally not accepted to release it (with a few exceptions) nor to monitor the content of their listings against local rules. • The relationships between platforms and city governments have oscillated between collaboration and conflict. Effective implementation is impossible without the cooperation of platforms. • In the context of the European Union, the debate has taken a supranational dimension, as two pieces of EU law frame the possibility — and acceptable forms — of regulation of online platforms and of short-term rentals in EU member states: the 2000 E-Commerce Directive and the 2006 Services Directive. • For regulation to be effective, the EU legal framework should be revised to ensure platform account- ability and data disclosure. This would allow city (and other ti ers of) governments to effectively enforce the regulations that they deem appropriate. • Besides, national and regional governments, who often control the legislative framework that defines particular types of short-term rentals, need to give local governments the necessary tools to be able to exercise their ‘right to regulate’ in the name of public interest objectives.
APA, Harvard, Vancouver, ISO, and other styles
9

Kira, Beatriz, Rutendo Tavengerwei, and Valary Mumbo. Points à examiner à l'approche des négociations de Phase II de la ZLECAf: enjeux de la politique commerciale numérique dans quatre pays d'Afrique subsaharienne. Digital Pathways at Oxford, March 2022. http://dx.doi.org/10.35489/bsg-dp-wp_2022/01.

Full text
Abstract:
Realities such as the COVID-19 pandemic have expedited the move to online operations, highlighting the undeniable fact that the world is continuing to go digital. This emphasises the need for policymakers to regulate in a manner that allows them to harness digital trade benefits while also avoiding associated risk. However, given that digital trade remains unco-ordinated globally, with countries adopting different approaches to policy issues, national regulatory divergence on the matter continues, placing limits on the benefits that countries can obtain from digital trade. Given these disparities, ahead of the African Continental Free Trade Area (AfCFTA) Phase II Negotiations, African countries have been considering the best way to harmonise regulations on issues related to digital trade. To do this effectively, AfCFTA members need to identify where divergencies exist in their domestic regulatory systems. This will allow AfCFTA members to determine where harmonisation is possible, as well as what is needed to achieve such harmonisation. This report analyses the domestic regulations and policies of four focus countries – South Africa, Nigeria, Kenya and Senegal – comparing their regulatory approaches to five policy issues: i) regulation of online transactions; ii) cross-border data flows, data localisation, and personal data protection; iii) access to source code and technology transfer; iv) intermediary liability; and v) customs duties on electronic transmissions. The study highlights where divergencies exist in adopted approaches, indicating the need for the four countries – and AfCFTA members in general – to carefully consider the implications of the divergences, and determine where it is possible and beneficial to harmonise approaches. This was intended to encourage AfCFTA member states to take ownership of these issues and reflect on the reforms needed. As seen in Table 1 below, the study shows that the four countries diverge on most of the five policy issues. There are differences in how all four countries regulate online transactions – that is, e-signatures and online consumer protection. Nigeria was the only country out of the four to recognise all types of e-signatures as legally equivalent. Kenya and Senegal only recognise specific e-signatures, which are either issued or validated by a recognised institution, while South Africa adopts a mixed approach, where it recognises all e-signatures as legally valid, but provides higher evidentiary weight to certain types of e-signatures. Only South Africa and Senegal have specific regulations relating to online consumer protection, while Nigeria and Kenya do not have any clear rules. With regards to cross border data flows, data localisation, and personal data protection, the study shows that all four focus countries have regulations that consist of elements borrowed from the European Union (EU) General Data Protection Regulation (GDPR). In particular, this was regarding the need for the data subject's consent, and also the adequacy requirement. Interestingly, the study also shows that South Africa, Kenya and Nigeria also adopt data localisation measures, although at different levels of strictness. South Africa’s data localisation laws are mostly imposed on data that is considered critical – which is then required to be processed within South African borders – while Nigeria requires all data to be processed and stored locally, using local servers. Kenya imposes data localisation measures that are mostly linked to its priority for data privacy. Out of the four focus countries, Senegal is the only country that does not impose any data localisation laws. Although the study shows that all four countries share a position on customs duties on electronic transmissions, it is also interesting to note that none of the four countries currently have domestic regulations or policies on the subject. The report concludes by highlighting that, as the AfCFTA Phase II Negotiations aim to arrive at harmonisation and to improve intra-African trade and international trade, AfCFTA members should reflect on their national policies and domestic regulations to determine where harmonisation is needed, and whether AfCFTA is the right platform for achieving this efficiently.
APA, Harvard, Vancouver, ISO, and other styles
10

Yilmaz, Ihsan, Raja M. Ali Saleem, Mahmoud Pargoo, Syaza Shukri, Idznursham Ismail, and Kainat Shakil. Religious Populism, Cyberspace and Digital Authoritarianism in Asia: India, Indonesia, Malaysia, Pakistan, and Turkey. European Center for Populism Studies, January 2022. http://dx.doi.org/10.55271/5jchdy.

Full text
Abstract:
Turkey, Pakistan, India, Malaysia, and Indonesia span one of the longest continuously inhabited regions of the world. Centuries of cultural infusion have ensured these societies are highly heterogeneous. As plural polities, they are ripe for the kind of freedoms that liberal democracy can guarantee. However, despite having multi-party electoral systems, these countries have recently moved toward populist authoritarianism. Populism —once considered a distinctively Latin American problem that only seldom reared its head in other parts of the world— has now found a home in almost every corner of the planet. Moreover, it has latched on to religion, which, as history reminds us, has an unparalleled power to mobilize crowds. This report explores the unique nexus between faith and populism in our era and offers an insight into how cyberspace and offline politics have become highly intertwined to create a hyper-reality in which socio-political events are taking place. The report focuses, in particular, on the role of religious populism in digital space as a catalyst for undemocratic politics in the five Asian countries we have selected as our case studies. The focus on the West Asian and South Asian cases is an opportunity to examine authoritarian religious populists in power, whereas the East Asian countries showcase powerful authoritarian religious populist forces outside parliament. This report compares internet governance in each of these countries under three categories: obstacles to access, limits on content, and violations of user rights. These are the digital toolkits that authorities use to govern digital space. Our case selection and research focus have allowed us to undertake a comparative analysis of different types of online restrictions in these countries that constrain space foropposition and democratic voices while simultaneously making room for authoritarian religious populist narratives to arise and flourish. The report finds that surveillance, censorship, disinformation campaigns, internet shutdowns, and cyber-attacks—along with targeted arrests and violence spreading from digital space—are common features of digital authoritarianism. In each case, it is also found that religious populist forces co-opt political actors in their control of cyberspace. The situational analysis from five countries indicates that religion’s role in digital authoritarianism is quite evident, adding to the layer of nationalism. Most of the leaders in power use religious justifications for curbs on the internet. Religious leaders support these laws as a means to restrict “moral ills” such as blasphemy, pornography, and the like. This evident “religious populism” seems to be a major driver of policy changes that are limiting civil liberties in the name of “the people.” In the end, the reasons for restricting digital space are not purely religious but draw on religious themes with populist language in a mixed and hybrid fashion. Some common themes found in all the case studies shed light on the role of digital space in shaping politics and society offline and vice versa. The key findings of our survey are as follows: The future of (especially) fragile democracies is highly intertwined with digital space. There is an undeniable nexus between faith and populism which offers an insight into how cyberspace and politics offline have become highly intertwined. Religion and politics have merged in these five countries to shape cyber governance. The cyber governance policies of populist rulers mirror their undemocratic, repressive, populist, and authoritarian policies offline. As a result, populist authoritarianism in the non-digital world has increasingly come to colonize cyberspace, and events online are more and more playing a role in shaping politics offline. “Morality” is a common theme used to justify the need for increasingly draconian digital laws and the active monopolization of cyberspace by government actors. Islamist and Hindutva trolls feel an unprecedented sense of cyber empowerment, hurling abuse without physically seeing the consequences or experiencing the emotional and psychological damage inflicted on their victims.
APA, Harvard, Vancouver, ISO, and other styles
You might also be interested in the extended bibliographies on the topic 'Rulous type' 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