Log in

Relevant bibliographies by topics / MSO logic / Journal articles

To see the other types of publications on this topic, follow the link: MSO logic.

Journal articles on the topic 'MSO logic'

Author: Grafiati

Published: 25 May 2024

Last updated: 31 July 2025

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 'MSO logic.'

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

Droste, Manfred, Werner Kuich, and George Rahonis. "Multi-Valued MSO Logics OverWords and Trees." Fundamenta Informaticae 84, no. 3-4 (2008): 305–27. https://doi.org/10.3233/fun-2008-843-402.

Full text

Abstract:

We introduce multi-valued Büchi and Muller automata over distributive lattices and a multi-valued MSO logic for infinite words. For this logic, we prove the expressive equivalence of ω-recognizable and MSO-definable infinitary formal power series over distributive lattices with negation function. Then we consider multi-valued Muller tree automata and a multi-valued MSO logic for trees over distributive lattices. For this logic, we establish a version of Rabin's theorem for infinitary tree series.

APA, Harvard, Vancouver, ISO, and other styles

2

D'agostino, Giovanna, та Marco Hollenberg. "Logical questions concerning the μ-calculus: Interpolation, Lyndon and Łoś-Tarski". Journal of Symbolic Logic 65, № 1 (2000): 310–32. http://dx.doi.org/10.2307/2586539.

Full text

Abstract:

The (modal) μ-calculus ([14]) is a very powerful extension of modal logic with least and greatest fixed point operators. It is of great interest to computer science for expressing properties of processes such as termination (every run is finite) and fairness (on every infinite run, no action is repeated infinitely often to the exclusion of all others).The power of the μ-calculus is also evident from a more theoretical perspective. The μ-calculus is a fragment of monadic second-order logic (MSO) containing only formulae that are invariant for bisimulation, in the sense that they cannot distingu

APA, Harvard, Vancouver, ISO, and other styles

3

Abdul-Adheem, Wameedh Riyadh. "Design and simulation of a normalized fuzzy logic controller for the quadruple-tank process." Indonesian Journal of Electrical Engineering and Computer Science 18, no. 1 (2020): 227. http://dx.doi.org/10.11591/ijeecs.v18.i1.pp227-234.

Full text

Abstract:

<p class="MsoNormal" style="margin-top: 6.0pt; text-align: justify;">Industrial processes include multivariable systems and nonlinearities. These conditions must be effectively controlled to ensure a stable operation. A proportional–integral–derivative controller and other classical control techniques provide simple design tools to designers, but cannot accommodate nonlinearities in industrial processes. In this study, the quadruple-tank process, which is one of the most widely used processes in the chemical industry, was selected as the research object. To examine this process, a fuzzy

APA, Harvard, Vancouver, ISO, and other styles

4

CARTON, OLIVIER, THOMAS COLCOMBET, and GABRIELE PUPPIS. "AN ALGEBRAIC APPROACH TO MSO-DEFINABILITY ON COUNTABLE LINEAR ORDERINGS." Journal of Symbolic Logic 83, no. 3 (2018): 1147–89. http://dx.doi.org/10.1017/jsl.2018.7.

Full text

Abstract:

AbstractWe develop an algebraic notion of recognizability for languages of words indexed by countable linear orderings. We prove that this notion is effectively equivalent to definability in monadic second-order (MSO) logic. We also provide three logical applications. First, we establish the first known collapse result for the quantifier alternation of MSO logic over countable linear orderings. Second, we solve an open problem posed by Gurevich and Rabinovich, concerning the MSO-definability of sets of rational numbers using the reals in the background. Third, we establish the MSO-definability

APA, Harvard, Vancouver, ISO, and other styles

5

Calvanese, Diego, Giuseppe De Giacomo, Maurizio Lenzerini, and Moshe Vardi. "Node Selection Query Languages for Trees." Proceedings of the AAAI Conference on Artificial Intelligence 24, no. 1 (2010): 279–84. http://dx.doi.org/10.1609/aaai.v24i1.7598.

Full text

Abstract:

The study of node-selection query languages for (finite) trees has been a major topic in the recent research on query lan- guages for Web documents. On one hand, there has been an extensive study of XPath and its various extensions. On the other hand, query languages based on classical logics, such as first-order logic (FO) or monadic second-order logic (MSO), have been considered. Results in this area typically relate an Xpath-based language to a classical logic. What has yet to emerge is an XPath-related language that is expressive as MSO, and at the same time enjoys the computational proper

APA, Harvard, Vancouver, ISO, and other styles

6

Gastin, Paul, Amaldev Manuel, and R. Govind. "Reversible Regular Languages: Logical and Algebraic Characterisations." Fundamenta Informaticae 180, no. 4 (2021): 333–50. http://dx.doi.org/10.3233/fi-2021-2045.

Full text

Abstract:

We present first-order (FO) and monadic second-order (MSO) logics with predicates ‘between’ and ‘neighbour’ that characterise the class of regular languages that are closed under the reverse operation and its subclasses. The ternary between predicate bet(x, y, z) is true if the position y is strictly between the positions x and z. The binary neighbour predicate N(x, y) is true when the the positions x and y are adjacent. It is shown that the class of reversible regular languages is precisely the class definable in the logics MSO(bet) and MSO(N). Moreover the class is definable by their existen

APA, Harvard, Vancouver, ISO, and other styles

7

Jeandel, Emmanuel, and Guillaume Theyssier. "Subshifts as models for MSO logic." Information and Computation 225 (April 2013): 1–15. http://dx.doi.org/10.1016/j.ic.2013.01.003.

Full text

APA, Harvard, Vancouver, ISO, and other styles

8

Droste, Manfred, and Vitaly Perevoshchikov. "Multi-weighted Automata and MSO Logic." Theory of Computing Systems 59, no. 2 (2015): 231–61. http://dx.doi.org/10.1007/s00224-015-9658-9.

Full text

APA, Harvard, Vancouver, ISO, and other styles

9

Echeverría, Martin. "Experiencing Political Advertising Through Social Media Logic: A Qualitative Inquiry." Media and Communication 11, no. 2 (2023): 127–36. http://dx.doi.org/10.17645/mac.v11i2.6412.

Full text

Abstract:

<span style="font-size: 10.0pt; mso-bidi-font-size: 11.0pt; line-height: 107%; font-family: 'Calibri',sans-serif; mso-fareast-font-family: Calibri; mso-bidi-font-family: 'Times New Roman'; mso-ansi-language: EN-US; mso-fareast-language: EN-US; mso-bidi-language: AR-SA;" lang="EN-US">The allocation of political advertising in social media is rising in Western campaigns. Yet audiences, unlike those of television advertising, are no longer isolated and passive consumers of linear discourses from politicians; users can now interact, share, and merge political advertising with other messages.

APA, Harvard, Vancouver, ISO, and other styles

10

Vazquez Gonzalez, Jose Luis, Juan Barrios Aviles, Alfredo Rosado Muñoz, and Ruben Alejos Palomares. "An Industrial Automation Course: Common Infrastructure for Physical, Virtual and Remote Laboratories for PLC Programming." International Journal of Online Engineering (iJOE) 14, no. 08 (2018): 4. http://dx.doi.org/10.3991/ijoe.v14i08.8758.

Full text

Abstract:

<span style="font-family: 'Times New Roman',serif; font-size: 10pt; mso-fareast-font-family: 'Times New Roman'; mso-ansi-language: EN-US; mso-fareast-language: DE; mso-bidi-language: AR-SA;">This work describes the development of a teaching strategy to leverage current simulation tools and promote learning of industrial automation systems. Specifically, Programmable Logic Controller (PLC) programming in an industrial automation course. We propose an infrastructure where it is possible to work with physical, virtual and mixed laboratories</span>

APA, Harvard, Vancouver, ISO, and other styles

11

Attia, Hussain. "Fuzzy Logic Controller Effectiveness Evaluation through Comparative Memberships for Photovoltaic Maximum Power Point Tracking Function." International Journal of Power Electronics and Drive Systems (IJPEDS) 9, no. 3 (2018): 1147. http://dx.doi.org/10.11591/ijpeds.v9.i3.pp1147-1156.

Full text

Abstract:

<span style="color: black; font-family: 'Times New Roman',serif; font-size: 9pt; mso-fareast-font-family: 'Times New Roman'; mso-ansi-language: EN-US; mso-fareast-language: EN-US; mso-bidi-language: AR-SA; mso-bidi-font-style: italic;">Maximum Power Point Tracking (MPPT) is an important objective needed to gain maximum power from solar photovoltaic panel during the weather condition variation. Many studies and solutions are proposed in literature, most of them focus on the type of algorithm which adopted for MPP tracking through using same driver i.e. DC-DC Boost converter. Among these a

APA, Harvard, Vancouver, ISO, and other styles

12

Cueli, Marisol, Paloma González-Castro, Jennifer Krawec, José C. Núñez, and Julio A. González-Pienda. "Hipatia: a hypermedia learning environment in mathematics." Anales de Psicología 32, no. 1 (2015): 98. http://dx.doi.org/10.6018/analesps.32.1.185641.

Full text

Abstract:

<span style="font-size: 12.0pt; line-height: 115%; font-family: 'Times New Roman','serif'; mso-fareast-font-family: Calibri; mso-fareast-theme-font: minor-latin; mso-ansi-language: EN-US; mso-fareast-language: EN-US; mso-bidi-language: AR-SA;">Literature revealed the benefits of different instruments for the development of mathematical competence, problem solving, self-regulated learning, affective-motivational aspects and intervention in students with specific difficulties in mathematics. However, no one tool combined all these variables. The aim of this study is to present and describe

APA, Harvard, Vancouver, ISO, and other styles

13

Riba, Colin. "Monoidal-closed categories of tree automata." Mathematical Structures in Computer Science 30, no. 1 (2020): 62–117. http://dx.doi.org/10.1017/s0960129519000173.

Full text

Abstract:

AbstractThis paper surveys a new perspective on tree automata and Monadic second-order logic (MSO) on infinite trees. We show that the operations on tree automata used in the translations of MSO-formulae to automata underlying Rabin’s Tree Theorem (the decidability of MSO) correspond to the connectives of Intuitionistic Multiplicative Exponential Linear Logic (IMELL). Namely, we equip a variant of usual alternating tree automata (that we call uniform tree automata) with a fibered monoidal-closed structure which in particular handles a linear complementation of alternating automata. Moreover, t

APA, Harvard, Vancouver, ISO, and other styles

14

DROSTE, MANFRED, and BUNDIT PIBALJOMMEE. "WEIGHTED NESTED WORD AUTOMATA AND LOGICS OVER STRONG BIMONOIDS." International Journal of Foundations of Computer Science 25, no. 05 (2014): 641–66. http://dx.doi.org/10.1142/s0129054114500269.

Full text

Abstract:

Nested words have been introduced by Alur and Madhusudan as a model for e.g. recursive programs or XML documents and have received much recent interest. In this paper, we investigate a quantitative automaton model and a quantitative logic for nested words. The behavior resp. the semantics map nested words to weights which are taken from a strong bimonoid. Strong bimonoids can be viewed as semirings without requiring the distributivity assumption which was essential in the classical theory of formal power series; strong bimonoids include e.g. all bounded lattices and many other structures from

APA, Harvard, Vancouver, ISO, and other styles

15

Janin, David, and Giacomo Lenzi. "On the Rlationship Between Monadic and Weak Monadic Second Order Logic on Arbitrary Trees, with Applications to the mu-Calculus." Fundamenta Informaticae 61, no. 3-4 (2004): 247–65. https://doi.org/10.3233/fun-2004-613-404.

Full text

Abstract:

In 1970 [26], in Weakly definable relations and special automata, Math. Log. and Found. of Set Theory, pp 1-23, Rabin shows that a language is recognizable by a tree automaton with Büchi like infinitary condition if and only if it is definable as the projection of a weakly definable language. In this paper, we refine this result characterizing such languages as those definable in the monadic Σ2 level of the quantifier alternation depth hierarchy of monadic second order logic (MSO). This new result also contributes to a better understanding of the relationship between the quantifier alternation

APA, Harvard, Vancouver, ISO, and other styles

16

Naik Dessai, Sanket Suresh. "Design and Implementation of an Ethernet MAC IP Core for Embedded Applications." International Journal of Reconfigurable and Embedded Systems (IJRES) 3, no. 3 (2014): 85. http://dx.doi.org/10.11591/ijres.v3.i3.pp85-97.

Full text

Abstract:

<p class="MsoNormal" style="text-align: justify; text-justify: inter-ideograph; text-indent: 36.0pt;"><span style="font-size: 9.0pt;">An IP (intellectual property) core is a block of logic or data that is used in making a field programmable gate array (FPGA) or application-specific integrated circuit (ASIC) for a product. As essential elements of design reuse, IP cores are part of the growing electronic des

APA, Harvard, Vancouver, ISO, and other styles

17

Bojańczyk, Mikołaj, and Bartek Klin. "Polyregular Functions on Unordered Trees of Bounded Height." Proceedings of the ACM on Programming Languages 8, POPL (2024): 1326–51. http://dx.doi.org/10.1145/3632887.

Full text

Abstract:

We consider injective first-order interpretations that input and output trees of bounded height. The corresponding functions have polynomial output size, since a first-order interpretation can use a k -tuple of input nodes to represent a single output node. We prove that the equivalence problem for such functions is decidable, i.e. ‍given two such interpretations, one can decide whether, for every input tree, the two output trees are isomorphic. We also give a calculus of typed functions and combinators which derives exactly injective first-order interpretations for unordered trees of bounded

APA, Harvard, Vancouver, ISO, and other styles

18

Zhang, Xuanming, and Ze Dong. "The impact of enterprise digital transformation on management tone manipulation and its ‘double-edged sword’ effect." Business and Management Theory and Practice 2, no. 2 (2025): 2994. https://doi.org/10.54517/bmtp2994.

Full text

Abstract:

<p class="MsoNormal" style="text-align: justify; text-justify: inter-ideograph; line-height: 120%; layout-grid-mode: char; mso-layout-grid-align: none; punctuation-wrap: simple; margin: 12.0pt 0cm 6.0pt 147.4pt;"><span lang="EN-US" style="font-size: 10.0pt; mso-bidi-font-size: 11.0pt; line-height: 120%; font-family: 'Times New Roman',serif; mso-fareast-font-family: 宋体;">Does digital transformation, as an important means for firms to gain market competitiveness, reduce the incentives for management tone manipulation? This paper examines the effect of corporate digital transformation

APA, Harvard, Vancouver, ISO, and other styles

19

Pujiyanto, Fajar, and Eka Darmana. "ANALISIS PERUBAHAN TEMPERATUR INDUKSI MOTOR 3 PHASE BERBASIS FUZZY INFERENCE SYSTEM (FIS)." JURNAL SAINS DAN TEKNOLOGI MARITIM 23, no. 1 (2022): 15. http://dx.doi.org/10.33556/jstm.v23i1.319.

Full text

Abstract:

<p class="MsoTitle" style="text-align: justify; text-indent: 21.3pt; line-height: normal;"><em><span style="font-size: 10pt;">The three-phase induction motor is an alternative to changing the diesel engine as the main driver in the industrial world. This transition is aimed at energy efficiency and reducing air pollution from diesel engine exhaust gases. It was chosen because it is easy to operate, quiet and low operating costs. Induction motors are used for driving water pumps to as the main propulsion on board vessels. Constraints and failures of induction motor components

APA, Harvard, Vancouver, ISO, and other styles

20

Broadbent, Christopher H., Arnaud Carayol, C. H. Luke Ong, and Olivier Serre. "Higher-order Recursion Schemes and Collapsible Pushdown Automata: Logical Properties." ACM Transactions on Computational Logic 22, no. 2 (2021): 1–37. http://dx.doi.org/10.1145/3452917.

Full text

Abstract:

This article studies the logical properties of a very general class of infinite ranked trees, namely, those generated by higher-order recursion schemes. We consider, for both monadic second-order logic and modal -calculus, three main problems: model-checking, logical reflection (a.k.a. global model-checking, that asks for a finite description of the set of elements for which a formula holds), and selection (that asks, if exists, for some finite description of a set of elements for which an MSO formula with a second-order free variable holds). For each of these problems, we provide an effective

APA, Harvard, Vancouver, ISO, and other styles

21

Hagemeier, Christian, Giuseppe De Giacomo, and Moshe Y. Vardi. "LTLf Synthesis Under Unreliable Input." Proceedings of the AAAI Conference on Artificial Intelligence 39, no. 14 (2025): 14958–66. https://doi.org/10.1609/aaai.v39i14.33640.

Full text

Abstract:

We study the problem of realizing strategies for an LTLf goal specification while ensuring that at least an LTLf backup specification is satisfied in case of unreliability of certain input variables. We formally define the problem and characterize its worst-case complexity as 2EXPTIME-complete, like standard LTLf synthesis. Then we devise three different solution techniques: one based on direct automata manipulation, which is 2EXPTIME, one disregarding unreliable input variables by adopting a belief construction, which is 3EXPTIME, and one leveraging second-order quantified LTLf (QLTLf), which

APA, Harvard, Vancouver, ISO, and other styles

22

Odden, Dave. "Formal Phonology." Nordlyd 40, no. 1 (2013): 249. http://dx.doi.org/10.7557/12.2476.

Full text

Abstract:

<!--[if gte mso 9]><xml> <w:WordDocument> <w:View>Normal</w:View> <w:Zoom>0</w:Zoom> <w:TrackMoves /> <w:TrackFormatting /> <w:PunctuationKerning /> <w:ValidateAgainstSchemas /> <w:SaveIfXMLInvalid>false</w:SaveIfXMLInvalid> <w:IgnoreMixedContent>false</w:IgnoreMixedContent> <w:AlwaysShowPlaceholderText>false</w:AlwaysShowPlaceholderText> &

APA, Harvard, Vancouver, ISO, and other styles

23

Walia, Navneet, Harsukhpreet Singh, and Anurag Sharma. "Effective Analysis of Lung Infection using Fuzzy Rules." IAES International Journal of Artificial Intelligence (IJ-AI) 5, no. 2 (2016): 55. http://dx.doi.org/10.11591/ijai.v5.i2.pp55-63.

Full text

Abstract:

<span style="font-size: 9.0pt; font-family: 'Times New Roman','serif'; mso-fareast-font-family: 'Times New Roman'; color: black; mso-ansi-language: EN-US; mso-fareast-language: EN-US; mso-bidi-language: AR-SA; mso-bidi-font-style: italic;">Soft Computing is conglomerate of methodologies which works together and provides an ability to make a decision from reliable data or expert’s experi

APA, Harvard, Vancouver, ISO, and other styles

24

Annala, Linda, Pia Eva Polsa, and Gyöngyi Kovács. "Changing institutional logics and implications for supply chains: Ethiopian rural water supply." Supply Chain Management: An International Journal 24, no. 3 (2019): 355–76. http://dx.doi.org/10.1108/scm-02-2018-0049.

Full text

Abstract:

Purpose The institutional logic in developing countries is changing from aid toward trade, having implications for institutionally embedded supply chains (SCs) and their members. The purpose of this study is to investigate the transition from aid toward trade through a theoretical lens of institutional logics and the implications of changing logics for SC members and designs. Design/methodology/approach This is a large-scale qualitative study of the SCs of maintenance and repair operations (MRO) of water points. Empirical data were collected via 53 semi-structured interviews, observations, inc

APA, Harvard, Vancouver, ISO, and other styles

25

Kwak, Wikil, Xiaoyan Cheng, and Jinlan Ni. "Predicting Bankruptcy After The Sarbanes-Oxley Act Using Logit Analysis." Journal of Business & Economics Research (JBER) 10, no. 9 (2012): 521. http://dx.doi.org/10.19030/jber.v10i9.7192.

Full text

Abstract:

<span style="font-family: Times New Roman; font-size: small;"> </span><p style="margin: 0in 0.5in 0pt; text-align: justify; mso-pagination: none;" class="MsoBodyText"><span style="font-family: Times New Roman;"><span style="color: black; font-size: 10pt; mso-themecolor: text1;">Our study proposes </span><span style="color: black; font-size: 10pt; mso-themecolor: text1; mso-fareast-language: KO;">firm bankruptcy prediction using </span><span style="color: black; font-size: 10pt; mso-themecolor: text1;">logit analysis a</span><span s

APA, Harvard, Vancouver, ISO, and other styles

26

Ragavendran, U., and M. Ramachandran. "Low Power and Low Complexity Flip-Flop Design using MIFGMOS." International Journal of Engineering & Technology 7, no. 3.1 (2018): 183. http://dx.doi.org/10.14419/ijet.v7i3.1.17233.

Full text

Abstract:

Sequential logic is essential in many applications as data processing for speech recognition in cochlear implants. In this paper, a family of latches based on floating-gate MOS (FGMOS) transistors is presented. This family takes advantage on the fact that FGMOS logics process data using mostly passive devices, achieving small area and low-power, requirements of modern electronics. Post-layout SPICE simulations from an ON-Semiconductors 0.5 µm CMOS process technology shows improvements over conventional CMOS logic families, making FGMOS latches ideal for low-power applications.

APA, Harvard, Vancouver, ISO, and other styles

27

Klinger, Ulrike, and Jakob Svensson. "The end of media logics? On algorithms and agency." New Media & Society 20, no. 12 (2018): 4653–70. http://dx.doi.org/10.1177/1461444818779750.

Full text

Abstract:

We argue that algorithms are an outcome rather than a replacement of media logics, and ultimately, we advance this argument by connecting human agency to media logics. This theoretical contribution builds on the notion that technology, particularly algorithms are non-neutral, arguing for a stronger focus on the agency that goes into designing and programming them. We reflect on the limits of algorithmic agency and lay out the role of algorithms and agency for the dimensions and elements of network media logic. The article concludes with addressing questions of power, discussing algorithmic age

APA, Harvard, Vancouver, ISO, and other styles

28

Droste, Manfred, Temur Kutsia, George Rahonis, and Wolfgang Schreiner. "MK-fuzzy Automata and MSO Logics." Electronic Proceedings in Theoretical Computer Science 256 (September 6, 2017): 106–20. http://dx.doi.org/10.4204/eptcs.256.8.

Full text

APA, Harvard, Vancouver, ISO, and other styles

29

Quaas, Karin. "MSO logics for weighted timed automata." Formal Methods in System Design 38, no. 3 (2011): 193–222. http://dx.doi.org/10.1007/s10703-011-0112-6.

Full text

APA, Harvard, Vancouver, ISO, and other styles

30

Droste, Manfred, Temur Kutsia, George Rahonis, and Wolfgang Schreiner. "McCarthy-Kleene fuzzy automata and MSO logics." Information and Computation 272 (June 2020): 104499. http://dx.doi.org/10.1016/j.ic.2019.104499.

Full text

APA, Harvard, Vancouver, ISO, and other styles

31

Gupta, Kirti, Neeta Pandey, and Maneesha Gupta. "MOS Current Mode Logic with Capacitive Coupling." ISRN Electronics 2012 (November 5, 2012): 1–7. http://dx.doi.org/10.5402/2012/473257.

Full text

Abstract:

A new MOS current mode logic (MCML) style exhibiting capacitive coupling to enhance the switching speed of the digital circuits is proposed. The mechanism of capacitive coupling and its effect on the delay are analytically modeled. SPICE simulations to validate the accuracy of the analytical model have been carried out with TSMC 0.18 μm CMOS technology parameters. Several logic gates such as five-stage ring oscillator, NAND, XOR2, XOR3, multiplexer, and demultiplexer based on the proposed logic style are implemented and their performance is compared with the conventional logic gates. It is fou

APA, Harvard, Vancouver, ISO, and other styles

32

Ishikawa, Yohei, Sumio Fukai, and Masayoshi Aikawa. "Advanced Neuron MOS Variable Logic Circuit." IEEJ Transactions on Electronics, Information and Systems 126, no. 2 (2006): 196–202. http://dx.doi.org/10.1541/ieejeiss.126.196.

Full text

APA, Harvard, Vancouver, ISO, and other styles

33

Kotani, K., T. Shibata, M. Imai, and T. Ohmi. "Clock-controlled neuron-MOS logic gates." IEEE Transactions on Circuits and Systems II: Analog and Digital Signal Processing 45, no. 4 (1998): 518–22. http://dx.doi.org/10.1109/82.663810.

Full text

APA, Harvard, Vancouver, ISO, and other styles

34

Vishnoi, Vishal, Sheela Tiwari, and Rajesh Kumar Singla. "Controller Design for Temperature Control of MISO Water Tank System." International Journal of Cognitive Informatics and Natural Intelligence 15, no. 4 (2021): 1–13. http://dx.doi.org/10.4018/ijcini.20211001.oa35.

Full text

Abstract:

This article introduces the design of split range control and fuzzy logic control for temperature control of the MISO (multiple input single output) water tank scheme. A multiple input single output (MISO) system is considered for the proposed work as most of the practical systems comprise of numerous MISO system. Investigations are conducted on the impact of control parameters, system dynamics and process disturbances. From the simulation outcomes, it is clearly inferred that the fuzzy logic controller outperformed split range control over all parameters.

APA, Harvard, Vancouver, ISO, and other styles

35

Sharmila Devi, S., and V. Bhanumathi. "Reversible Logic Based MOS Current Mode Logic Implementation in Digital Circuits." Computers, Materials & Continua 70, no. 2 (2022): 3609–24. http://dx.doi.org/10.32604/cmc.2022.020426.

Full text

APA, Harvard, Vancouver, ISO, and other styles

36

Kim, Jeong-Beom. "Design of a Low-Power MOS Current-Mode Logic Circuit." KIPS Transactions:PartA 17A, no. 3 (2010): 121–26. http://dx.doi.org/10.3745/kipsta.2010.17a.3.121.

Full text

APA, Harvard, Vancouver, ISO, and other styles

37

Liu, Yuchun, and Fuxing Gu. "A wafer-scale synthesis of monolayer MoS2 and their field-effect transistors toward practical applications." Nanoscale Advances 3, no. 8 (2021): 2117–38. http://dx.doi.org/10.1039/d0na01043j.

Full text

Abstract:

We focus on recent advances in wafer-scale monolayer MoS<sub>2</sub> synthesis and 2D MoS<sub>2</sub>-FET for applications in logic gate circuits, memory devices and photodetectors, from fundamental MoS<sub>2</sub> research to MoS<sub>2</sub> devices development for next-generation electronics and optoelectronics.

APA, Harvard, Vancouver, ISO, and other styles

38

Bauer, Anton J., Martin Lemberger, Tobias Erlbacher, and Wenke Weinreich. "High-K: Latest Developments and Perspectives." Materials Science Forum 573-574 (March 2008): 165–80. http://dx.doi.org/10.4028/www.scientific.net/msf.573-574.165.

Full text

Abstract:

The paper reviews recent progress and current challenges in implementing high-k dielectrics in microelectronics. Logic devices, non-volatile-memories, DRAMs and low power mixedsignal components are found to be the technologies where high-k dielectrics are implemented or will be introduced soon. Two gate architectures have to be considerd: MOS with metal as gate electrode and MIM. In particular, Hf-silicates for logic and NVM devices in conventional MOS architecture and ZrO2 for DRAM cells in MIM architecture are discussed.

APA, Harvard, Vancouver, ISO, and other styles

39

Shapiro, Alexander, and Eby Friedman. "MOS Current Mode Logic Near Threshold Circuits." Journal of Low Power Electronics and Applications 4, no. 2 (2014): 138–52. http://dx.doi.org/10.3390/jlpea4020138.

Full text

APA, Harvard, Vancouver, ISO, and other styles

40

Subrahmanyam, J. S. R., and P. Pal Chaudhuri. "Diagnostic Logic Graph for Testing MOS Circuits." IETE Journal of Research 34, no. 4 (1988): 312–18. http://dx.doi.org/10.1080/03772063.1988.11436745.

Full text

APA, Harvard, Vancouver, ISO, and other styles

41

Shyh-Jye Jou, Wen-Zen Shen, Chein-Wei Jen, and Chung-Len Lee. "Simulatable timing model for MOS logic circuit." IEE Proceedings G (Electronic Circuits and Systems) 134, no. 6 (1987): 276. http://dx.doi.org/10.1049/ip-g-1.1987.0042.

Full text

APA, Harvard, Vancouver, ISO, and other styles

42

Tanaka, Masaaki, and Satoshi Sugahara. "MOS-Based Spin Devices for Reconfigurable Logic." IEEE Transactions on Electron Devices 54, no. 5 (2007): 961–76. http://dx.doi.org/10.1109/ted.2007.894375.

Full text

APA, Harvard, Vancouver, ISO, and other styles

43

Mizuno, M., M. Yamashina, K. Furuta, et al. "A GHz MOS adaptive pipeline technique using MOS current-mode logic." IEEE Journal of Solid-State Circuits 31, no. 6 (1996): 784–91. http://dx.doi.org/10.1109/4.509864.

Full text

APA, Harvard, Vancouver, ISO, and other styles

44

Sharroush, Sherif, and Sherif Nafea. "A Novel Domino Logic Based on Floating-Gate MOS Transistors." Jordan Journal of Electrical Engineering 9, no. 3 (2023): 410. http://dx.doi.org/10.5455/jjee.204-1672498383.

Full text

Abstract:

Domino logic finds a wide variety of applications in both static and dynamic random-access memories and in high-speed microprocessors. However, the main limitation of the domino logic-circuit family is the trade-off between the noise immunity and speed. In order to resolve such a trade-off, this paper proposes a domino logic that is based on floating-gate MOS (FGMOS) transistors. Compact-form expressions are derived for the noise margins for the low and high inputs as well as the propagation delays. The proposed scheme is verified by simulation adopting the 45 nm CMOS predictive technology mod

APA, Harvard, Vancouver, ISO, and other styles

45

J, Princy Joice, Anitha M, and Rexlin Sheeba I. "Design of Filter Using MOS Current Mode Logic." Bulletin of Electrical Engineering and Informatics 5, no. 1 (2016): 72–78. https://doi.org/10.11591/eei.v5i1.550.

Full text

Abstract:

MCML (MOS Current Mode Logic) is a method used for the purpose of reducing the delay and power of the circuit. In high speed application this method is used to reduce the power. In this method the sleep transistor is inserted in series with the supply voltage (or) current source to reduce the power. Different power gating techniques are been used to reduce the static power and to improve the speed and efficiency of the circuit. In this paper, the filter can be designed by using MCML logic. The fourth order band pass filter by using MCML logic is introduced. In order to reduce the power and del

APA, Harvard, Vancouver, ISO, and other styles

46

Ahmed, Irfan, Sebastian Obermeier, Sneha Sudhakaran, and Vassil Roussev. "Programmable Logic Controller Forensics." IEEE Security & Privacy 15, no. 6 (2017): 18–24. http://dx.doi.org/10.1109/msp.2017.4251102.

Full text

APA, Harvard, Vancouver, ISO, and other styles

47

Fülöp, Zoltán, and Heiko Vogler. "Characterizing weighted MSO for trees by branching transitive closure logics." Theoretical Computer Science 594 (August 2015): 82–105. http://dx.doi.org/10.1016/j.tcs.2015.04.024.

Full text

APA, Harvard, Vancouver, ISO, and other styles

48

Bibilo, P. N., I. V. Vasil'kova, S. N. Kardash, et al. "Custom Logic: A Toolkit for the Design of VLSI Custom Control MOS Logic." Russian Microelectronics 33, no. 5 (2004): 310–27. http://dx.doi.org/10.1023/b:rumi.0000043048.18075.db.

Full text

APA, Harvard, Vancouver, ISO, and other styles

49

Gupta, Kirti, Neeta Pandey, and Maneesha Gupta. "Multithreshold MOS Current Mode Logic Based Asynchronous Pipeline Circuits." ISRN Electronics 2012 (December 5, 2012): 1–7. http://dx.doi.org/10.5402/2012/529194.

Full text

Abstract:

Multithreshold MOS Current Mode Logic (MCML) implementation of asynchronous pipeline circuits, namely, a C-element and a double-edge triggered flip-flop is proposed. These circuits use multiple-threshold MOS transistors for reducing power consumption. The proposed circuits are implemented and simulated in PSPICE using TSMC 0.18 μm CMOS technology parameters. The performance of the proposed circuits is compared with the conventional MCML circuits. The results indicate that the proposed circuits reduce the power consumption by 21 percent in comparison to the conventional ones. To demonstrate the

APA, Harvard, Vancouver, ISO, and other styles

50

Dokic, Branko, Tatjana Pesic-Brdjanin, and Rados Dabic. "Analytic models of CMOS logic in various regimes." Serbian Journal of Electrical Engineering 11, no. 2 (2014): 269–90. http://dx.doi.org/10.2298/sjee140106022d.

Full text

Abstract:

In this paper, comparative analytic models of static and dynamic characteristics of CMOS digital circuits in strong, weak and mixed inversion regime have been described. Term mixed inversion is defined for the first time. The paper shows that there is an analogy in behavior and functional dependencies of parameters in all three CMOS regimes. Comparative characteristics of power consumption and speed in static regimes are given. Dependency of threshold voltage and logic delay time on temperature has been analyzed. Dynamic model with constant current is proposed. It is shown that digital circuit

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!