Einloggen

Thematische Bibliographien / MSO logic / Zeitschriftenartikel

Um die anderen Arten von Veröffentlichungen zu diesem Thema anzuzeigen, folgen Sie diesem Link: MSO logic.

Zeitschriftenartikel zum Thema „MSO logic“

Autor: Grafiati

Veröffentlicht am 25. Mai 2024

Zuletzt aktualisiert am 31. Juli 2025

Geben Sie eine Quelle nach APA, MLA, Chicago, Harvard und anderen Zitierweisen an

Wählen Sie eine Art der Quelle aus:

Machen Sie sich mit Top-50 Zeitschriftenartikel für die Forschung zum Thema "MSO logic" bekannt.

Neben jedem Werk im Literaturverzeichnis ist die Option "Zur Bibliographie hinzufügen" verfügbar. Nutzen Sie sie, wird Ihre bibliographische Angabe des gewählten Werkes nach der nötigen Zitierweise (APA, MLA, Harvard, Chicago, Vancouver usw.) automatisch gestaltet.

Sie können auch den vollen Text der wissenschaftlichen Publikation im PDF-Format herunterladen und eine Online-Annotation der Arbeit lesen, wenn die relevanten Parameter in den Metadaten verfügbar sind.

Sehen Sie die Zeitschriftenartikel für verschiedene Spezialgebieten durch und erstellen Sie Ihre Bibliographie auf korrekte Weise.

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.

Der volle Inhalt der Quelle

Annotation:

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 und andere Zitierweisen

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.

Der volle Inhalt der Quelle

Annotation:

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 und andere Zitierweisen

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.

Der volle Inhalt der Quelle

Annotation:

<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 und andere Zitierweisen

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.

Der volle Inhalt der Quelle

Annotation:

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 und andere Zitierweisen

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.

Der volle Inhalt der Quelle

Annotation:

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 und andere Zitierweisen

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.

Der volle Inhalt der Quelle

Annotation:

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 und andere Zitierweisen

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.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

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.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

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.

Der volle Inhalt der Quelle

Annotation:

<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 und andere Zitierweisen

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.

Der volle Inhalt der Quelle

Annotation:

<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 und andere Zitierweisen

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.

Der volle Inhalt der Quelle

Annotation:

<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 und andere Zitierweisen

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.

Der volle Inhalt der Quelle

Annotation:

<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 und andere Zitierweisen

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.

Der volle Inhalt der Quelle

Annotation:

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 und andere Zitierweisen

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.

Der volle Inhalt der Quelle

Annotation:

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 und andere Zitierweisen

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.

Der volle Inhalt der Quelle

Annotation:

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 und andere Zitierweisen

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.

Der volle Inhalt der Quelle

Annotation:

<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 und andere Zitierweisen

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.

Der volle Inhalt der Quelle

Annotation:

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 und andere Zitierweisen

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.

Der volle Inhalt der Quelle

Annotation:

<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 und andere Zitierweisen

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.

Der volle Inhalt der Quelle

Annotation:

<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 und andere Zitierweisen

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.

Der volle Inhalt der Quelle

Annotation:

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 und andere Zitierweisen

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.

Der volle Inhalt der Quelle

Annotation:

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 und andere Zitierweisen

22

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

Der volle Inhalt der Quelle

Annotation:

<!--[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 und andere Zitierweisen

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.

Der volle Inhalt der Quelle

Annotation:

<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 und andere Zitierweisen

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.

Der volle Inhalt der Quelle

Annotation:

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 und andere Zitierweisen

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.

Der volle Inhalt der Quelle

Annotation:

<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 und andere Zitierweisen

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.

Der volle Inhalt der Quelle

Annotation:

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 und andere Zitierweisen

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.

Der volle Inhalt der Quelle

Annotation:

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 und andere Zitierweisen

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.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

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.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

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.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

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.

Der volle Inhalt der Quelle

Annotation:

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 und andere Zitierweisen

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.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

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.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

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.

Der volle Inhalt der Quelle

Annotation:

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 und andere Zitierweisen

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.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

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.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

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.

Der volle Inhalt der Quelle

Annotation:

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 und andere Zitierweisen

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.

Der volle Inhalt der Quelle

Annotation:

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 und andere Zitierweisen

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.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

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.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

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.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

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.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

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.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

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.

Der volle Inhalt der Quelle

Annotation:

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 und andere Zitierweisen

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.

Der volle Inhalt der Quelle

Annotation:

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 und andere Zitierweisen

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.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

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.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

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.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

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.

Der volle Inhalt der Quelle

Annotation:

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 und andere Zitierweisen

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.

Der volle Inhalt der Quelle

Annotation:

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 und andere Zitierweisen

Wir bieten Rabatte auf alle Premium-Pläne für Autoren, deren Werke in thematische Literatursammlungen aufgenommen wurden. Kontaktieren Sie uns, um einen einzigartigen Promo-Code zu erhalten!