Acceder

Bibliografías temáticas / MSO logic / Artículos de revistas

Siga este enlace para ver otros tipos de publicaciones sobre el tema: MSO logic.

Artículos de revistas sobre el tema "MSO logic"

Autor: Grafiati

Publicado: 25 de mayo de 2024

Última modificación: 31 de julio de 2025

Crea una cita precisa en los estilos APA, MLA, Chicago, Harvard y otros

Elija tipo de fuente:

Consulte los 50 mejores artículos de revistas para su investigación sobre el tema "MSO logic".

Junto a cada fuente en la lista de referencias hay un botón "Agregar a la bibliografía". Pulsa este botón, y generaremos automáticamente la referencia bibliográfica para la obra elegida en el estilo de cita que necesites: APA, MLA, Harvard, Vancouver, Chicago, etc.

También puede descargar el texto completo de la publicación académica en formato pdf y leer en línea su resumen siempre que esté disponible en los metadatos.

Explore artículos de revistas sobre una amplia variedad de disciplinas y organice su bibliografía correctamente.

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.

Texto completo

Resumen

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.

Los estilos APA, Harvard, Vancouver, ISO, etc.

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.

Texto completo

Resumen

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

Los estilos APA, Harvard, Vancouver, ISO, etc.

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.

Texto completo

Resumen

<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

Los estilos APA, Harvard, Vancouver, ISO, etc.

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.

Texto completo

Resumen

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

Los estilos APA, Harvard, Vancouver, ISO, etc.

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.

Texto completo

Resumen

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

Los estilos APA, Harvard, Vancouver, ISO, etc.

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.

Texto completo

Resumen

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

Los estilos APA, Harvard, Vancouver, ISO, etc.

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.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

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.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

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.

Texto completo

Resumen

<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.

Los estilos APA, Harvard, Vancouver, ISO, etc.

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.

Texto completo

Resumen

<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>

Los estilos APA, Harvard, Vancouver, ISO, etc.

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.

Texto completo

Resumen

<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

Los estilos APA, Harvard, Vancouver, ISO, etc.

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.

Texto completo

Resumen

<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

Los estilos APA, Harvard, Vancouver, ISO, etc.

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.

Texto completo

Resumen

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

Los estilos APA, Harvard, Vancouver, ISO, etc.

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.

Texto completo

Resumen

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

Los estilos APA, Harvard, Vancouver, ISO, etc.

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.

Texto completo

Resumen

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

Los estilos APA, Harvard, Vancouver, ISO, etc.

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.

Texto completo

Resumen

<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

Los estilos APA, Harvard, Vancouver, ISO, etc.

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.

Texto completo

Resumen

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

Los estilos APA, Harvard, Vancouver, ISO, etc.

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.

Texto completo

Resumen

<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

Los estilos APA, Harvard, Vancouver, ISO, etc.

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.

Texto completo

Resumen

<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

Los estilos APA, Harvard, Vancouver, ISO, etc.

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.

Texto completo

Resumen

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

Los estilos APA, Harvard, Vancouver, ISO, etc.

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.

Texto completo

Resumen

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

Los estilos APA, Harvard, Vancouver, ISO, etc.

22

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

Texto completo

Resumen

<!--[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> &

Los estilos APA, Harvard, Vancouver, ISO, etc.

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.

Texto completo

Resumen

<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

Los estilos APA, Harvard, Vancouver, ISO, etc.

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.

Texto completo

Resumen

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

Los estilos APA, Harvard, Vancouver, ISO, etc.

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.

Texto completo

Resumen

<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

Los estilos APA, Harvard, Vancouver, ISO, etc.

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.

Texto completo

Resumen

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.

Los estilos APA, Harvard, Vancouver, ISO, etc.

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.

Texto completo

Resumen

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

Los estilos APA, Harvard, Vancouver, ISO, etc.

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.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

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.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

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.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

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.

Texto completo

Resumen

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

Los estilos APA, Harvard, Vancouver, ISO, etc.

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.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

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.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

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.

Texto completo

Resumen

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.

Los estilos APA, Harvard, Vancouver, ISO, etc.

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.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

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.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

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.

Texto completo

Resumen

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.

Los estilos APA, Harvard, Vancouver, ISO, etc.

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.

Texto completo

Resumen

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.

Los estilos APA, Harvard, Vancouver, ISO, etc.

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.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

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.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

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.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

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.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

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.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

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.

Texto completo

Resumen

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

Los estilos APA, Harvard, Vancouver, ISO, etc.

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.

Texto completo

Resumen

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

Los estilos APA, Harvard, Vancouver, ISO, etc.

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.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

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.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

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.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

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.

Texto completo

Resumen

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

Los estilos APA, Harvard, Vancouver, ISO, etc.

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.

Texto completo

Resumen

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

Los estilos APA, Harvard, Vancouver, ISO, etc.

Ofrecemos descuentos en todos los planes premium para autores cuyas obras están incluidas en selecciones literarias temáticas. ¡Contáctenos para obtener un código promocional único!