Relevant bibliographies by topics / Limitations of logic

Academic literature on the topic 'Limitations of logic'

Author: Grafiati
Published: 4 June 2021
Last updated: 4 February 2022

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

Select a source type:

Contents

Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'Limitations of 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.

Journal articles on the topic "Limitations of logic"

1

Sharma, Anuj, Darcy M. Bullock, and Srinivas Peeta. "Limitations of Simultaneous Gap-Out Logic." Transportation Research Record: Journal of the Transportation Research Board 1978, no. 1 (January 2006): 42–48. http://dx.doi.org/10.1177/0361198106197800107.

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

Deng, Ansheng, and Liying Zhang. "Limitations of quantitative operator fuzzy logic." Science in China Series E: Technological Sciences 41, no. 6 (December 1998): 608–16. http://dx.doi.org/10.1007/bf02917044.

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

Satchell, J. "Limitations on HTS single flux quantum logic." IEEE Transactions on Appiled Superconductivity 9, no. 2 (June 1999): 3841–44. http://dx.doi.org/10.1109/77.783865.

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

ANTONIOU, GRIGORIS. "LOGIC PROGRAMMING AND DEFAULT LOGIC." International Journal on Artificial Intelligence Tools 03, no. 03 (September 1994): 367–73. http://dx.doi.org/10.1142/s0218213094000194.

Full text
Abstract:
We present several ideas of increasing complexity how to translate default theories to normal logic programs that make direct use of the deductive capacity of logic programming. We show the limitations of simple, ad hoc approaches, and arrive at a more general construction; its main property is that the answer substitutions computed by the logic program via its standard operational semantics correspond exactly to the extensions of the default theory.
APA, Harvard, Vancouver, ISO, and other styles
5

Covach, John, and Alastair Borthwick. "Music Theory and Analysis: The Limitations of Logic." Notes 52, no. 4 (June 1996): 1192. http://dx.doi.org/10.2307/898411.

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

Hermans, Hubert J. M. "The Limitations of Logic in Defining the Self." Theory & Psychology 5, no. 3 (August 1995): 375–82. http://dx.doi.org/10.1177/0959354395053005.

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

Kurtz, Stuart A., and Johan Hastad. "Computational Limitations of Small-Depth Circuits." Journal of Symbolic Logic 53, no. 4 (December 1988): 1259. http://dx.doi.org/10.2307/2274626.

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

Woodside, Sarah J. "Dominant logics." Social Enterprise Journal 14, no. 1 (February 5, 2018): 39–59. http://dx.doi.org/10.1108/sej-01-2016-0001.

Full text
Abstract:
Purpose Work integration social enterprises (WISEs) address the chronic unemployment of disadvantaged populations. However, WISEs face challenges, in part, because they embody both social mission and market logics which potentially contradict one another. The purpose of this paper is to investigate how the founders of WISEs perceive the relationship between logics and how they manage any resulting tensions, to help determine if they are effective vehicles for alleviating unemployment. Design/methodology/approach This study used in-depth interviews with social entrepreneurs in nationally recognized WISEs to assess how they perceived and managed logic tensions. Findings A total of eight out of the ten WISEs emphasized one dominant logic and did not perceive significant internal conflict. Only two cases experienced prolonged and ultimately irreconcilable tensions between their social mission and market goals, when social entrepreneurs were guided by the blended logics of providing training and services to disadvantaged populations within a for-profit legal form. Research limitations/implications Future research is required to determine the generalizability of these findings due to small sample size, an exclusive focus on the founder’s perspective and an exclusive focus on WISEs. Practical implications Findings contribute to greater understanding of logic tensions in WISEs and the opportunities and limitations that result from aligning dominant logic(s) and organizational form. Originality/value This research suggests that the founders of WISEs perceive market and social mission logics as options to be selected, and that WISEs struggle to succeed as organizations with two dominant logics. The market appears as yet unprepared to support singlehandedly organizations with a social mission of work integration.
APA, Harvard, Vancouver, ISO, and other styles
9

Park, Pyung-Jong. "The Logic and Limitations of ‘Program Art’ : Calculated Creativity." Journal of Aesthetics & Science of Art 57 (June 30, 2019): 331–60. http://dx.doi.org/10.17527/jasa.57.0.12.

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

Bol, D., R. Ambroise, D. Flandre, and J. D. Legat. "Interests and Limitations of Technology Scaling for Subthreshold Logic." IEEE Transactions on Very Large Scale Integration (VLSI) Systems 17, no. 10 (October 2009): 1508–19. http://dx.doi.org/10.1109/tvlsi.2008.2005413.

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

Dissertations / Theses on the topic "Limitations of logic"

1

Gally, Tom. "On the Limitations of Language and Logic." 名古屋大学教養教育院, 2013. http://hdl.handle.net/2237/21057.

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

Young, Gareth. "Revenge : dialetheism and its expressive limitations." Thesis, University of Glasgow, 2015. http://theses.gla.ac.uk/6415/.

Full text
Abstract:
This thesis is about dialetheism and the problem of revenge. More broadly, it is about truth and what the logical paradoxes tell us about the logical behaviour of truth. One of the driving forces behind the contemporary study of truth and paradox is the problem of revenge: that many, perhaps all, available theories of truth, give rise to further paradoxes, invoking central notions of those theories, which demonstrate that the theory cannot express those notions. This sort of expressive limitation, especially if it involves the very notion invoked to diagnose what goes wrong in paradoxical sentences, would normally be thought a decisive point against a given theory of the paradoxes, were it not for the fact that the problem is so pervasive that every currently available theory has, at some point, been argued to suffer from it. Dialetheism, the view that some contradictions are true, has often been thought to be the only view which has a reasonable chance of avoiding the problem. Indeed, the surge of interest in the view since the first publication of Priest’s In Contradiction, in 1987, defending dialetheism, is probably due in large part to the seeming immunity to the revenge problem that Priest’s view possesses. Its virtue, in respect of revenge, is that its ability to accept, without collapse into incoherence, contradictions, allows it to accept any further revenge paradoxes as merely giving more sound arguments for dialetheia (true contradictions). This thesis argues that this appearance of revenge-immunity is mistaken. Dialetheism, too, has its revenge problems. The seeming virtue of dialetheism, that it can accept the contradictions generated by revenge paradoxes without incoherence, also has its drawbacks. This is because dialetheists are not only able, but compelled to accept the contradictions arising from the semantic paradoxes. This means that contradictions can arise in certain areas where they are undesirable. In particular, there are notions which seem to require consistency in order to be expressible. If we can demonstrate, using revenge paradoxes, that, on dialetheism, predicates putatively representing these notions would have to behave inconsistently, then we can demonstrate that dialetheists cannot express the notions. There are many ways one might wish to carve up the different varieties of dialetheism available. I have separated the view into two broad kinds: metatheoretically paraconsistent dialetheism, on the one hand, and metatheoretically consistent dialetheism, on the other. This distinction decides to which variety of revenge problem the version of dialetheism in question is subject. I take each in turn, and argue that they are each subject to expressive limitations brought about by revenge paradox.
APA, Harvard, Vancouver, ISO, and other styles
3

Borthwick, Alastair. "Music theory and analysis : the limitations of logic /." New York ; London : Garland, 1995. http://catalogue.bnf.fr/ark:/12148/cb35855187v.

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

Borthwick, Alastair Bruce. "Music theory and analysis : the limitations of logic." Thesis, King's College London (University of London), 1993. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.606301.

Full text
Abstract:
The motivation for this thesis is rooted in the problems arising from the lack of a single theoretical framework within which to assimilate different analytical methods; whether they are applied to an individual work, compositions embracing an underlying common practice or to the study of stylistically remote pieces. By devising a series of logical axioms and definitions, collectively referred to as a metatheory and situating them - as an expression of the neutral level originally proposed by Jean Molino - in the context of the semiological tripartition, it is found that the metatheory can be used to construct aspects of existing music theories. The precise extent to which a specific theory of music can be derived from the metatheory is not considered, but the many examples used to illustrate the application of metatheoretical logic to music analysis clearly demonstrate that meaning can only be ascribed to the structural configurations so determined if the poietic and esthesic dimensions of the tripartition are invoked as a means of distinguishing the actual from the logically possible. It is in this sense that logic is found to be limited. Two important consequences follow from this conceptual framework. Firstly, the involvement of the poietic and esthesic dimensions in the final analysis potentially enables many diverse theories to be derived from the metatheory, thereby preserving the important differences that exist between analytical methods. Secondly, the whole notion of a text-centred theory of music is challenged since the importance of the poietic and esthesic dimensions to the provision of meaning is such that these dimensions can theoretically overwhelm the configurations established within the text by the application of logic.
APA, Harvard, Vancouver, ISO, and other styles
5

Klinger, Christopher Martin, and chris klinger@unisa edu au. "Process Physics: Bootstrapping Reality from the Limitations of Logic." Flinders University. SoCPES, 2005. http://catalogue.flinders.edu.au./local/adt/public/adt-SFU20080430.132508.

Full text
Abstract:
For all the successes of the two edifices of modern physics, quantum theory and Einstein's relativity, a fundamental description of the Universe as a whole -- a theory that informs as to the true nature of reality -- has continued to elude science. This thesis describes the development and evolution of a new paradigm called Process Physics, a radical information-theoretic modelling of reality. It is argued that the failure of the extant approaches in physics is the direct consequence of limitations stemming from the mathematization, language and methodology of theoretical physics: the limitations of the postulated background spatial concepts and geometric modelling of time, the limitations of quantum theory in its failure to account for the measurement process and classicality; and the limitations of formal systems. In contrast, Process Physics utilizes the limitations of logic first identified by Godel and asserts the priority of process and relational endophysics, realized via a stochastic, autopoietic bootstrap system whose properties emerge a posteriori rather than being assumed a priori. The work is arranged in two parts. Part I discusses the historical, philosophical, and metaphysical foundations of physics to consider how the prevailing views in modern physics arose and what this revealed and contributed to the development of Process Physics. Part II describes the fundamentals of the new theory and its implementation, and demonstrates the viability of looking outside the current paradigms by showing that Process Physics yields unified emergent phenomena that permit an understanding of fundamental processes and penultimately motivate both quantum theory and relativity as relevant higher-level descriptors within their respective domains.
APA, Harvard, Vancouver, ISO, and other styles
6

Babb, Jonathan William. "Virtual wires--overcoming pin limitations in FPGA-based logic emulation." Thesis, Massachusetts Institute of Technology, 1994. http://hdl.handle.net/1721.1/12274.

Full text
Abstract:
Thesis (M.S.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 1994.
Includes bibliographical references (p. 99-102).
by Jonathan William Babb.
M.S.
APA, Harvard, Vancouver, ISO, and other styles
7

Reutzel, Edward W. "On the limitations and extensions of bidirectional associative memories in neural networks and fuzzy logic control theory." Thesis, Georgia Institute of Technology, 1993. http://hdl.handle.net/1853/16870.

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

Yancey, Dennis Dwayne. "Controlling changes in cell surface hydrophobicity reduces mass transport limitations in Rhodococcus biotransformations /." May be available electronically:, 2007. http://proquest.umi.com/login?COPT=REJTPTU1MTUmSU5UPTAmVkVSPTI=&clientId=12498.

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

Suard, Elodie. "Limitation du colmatage dans les bioréacteurs à membranes à l'échelle industrielle : modélisation et caractérisation de l'hydrodynamique." Thesis, Toulouse, INPT, 2018. http://oatao.univ-toulouse.fr/24558/1/Suard%20elodie.pdf.

Full text
Abstract:
Malgré leur fort développement en assainissement domestique urbain, les bioréacteurs à membranes (BaM) pâtissent de phénomènes de colmatage, induisant des coûts énergétiques et de maintenance importants. L’aération séquencée des membranes par des grosses bulles est l’une des stratégies pour limiter le colmatage ; son impact a fait l’objet de plusieurs études mais reste globalement mal compris, notamment du fait de la complexité de ces systèmes, multiphasiques et opaques. L’hydrodynamique des réacteurs reste mal caractérisée en présence de boues. Pour apporter des éléments de compréhension aux mécanismes de limitation du colmatage par injection d’air, un pilote de filtration membranaire semi-industriel (2 m3, 3 sous modules fibres creuses Puron®) a été conçu, dimensionné et installé sur l’unité de traitement des jus (TDJ) de la station d’épuration Seine Aval (SIAAP), afin d’être alimenté en boues biologiques dans des conditions réelles de fonctionnement. Le suivi des paramètres opératoires du pilote et de ses performances de filtration sur une période de 5 mois avait un double objectif : (i) mieux caractériser la dispersion du gaz pour différentes conditions de fonctionnement (paramètres de l’aération, concentration en boues de l’alimentation), (ii) hiérarchiser les facteurs qui limitent le colmatage des membranes. Il s’agit in fine de proposer des stratégies d’aération adaptées et efficaces pour limiter le colmatage. Afin de caractériser la dispersion du gaz dans le réacteur, une méthodologie innovante basée sur la tomographie de résistivité électrique (ERT) a été adaptée au pilote. Les conditions d’utilisation de l’ERT (nombre d’électrodes de mesure, séquence de quadripôles) ont été sélectionnées à travers une étude numérique, de même que les paramètres d’inversion nécessaires pour reconstituer la cartographie des résistivités à partir des mesures expérimentales. Cette étude numérique poussée, réalisée sous COMSOL, a permis de conclure à l’intérêt de la méthode pour représenter la distribution des phases dans la géométrie considérée. L’ERT a donc été appliquée au pilote alimenté en boues, pour différentes conditions d’aération. Le jeu de données de filtration a par ailleurs été analysé par logique floue, à l’aide du logiciel FisPro. Les arbres de décision obtenus, en analysant les résultats de manière globale et en les regroupant par conditions opératoires similaires, ont mis en évidence l’impact prépondérant des variables suivantes sur la dérive de perméabilité observée (comprise entre - 9 et 2 LMH/bar) : la différence de DCO entre le surnageant des boues et le perméat (DDCO) traduisant une phase colloïdale complexe, et la concentration en matières en suspension (MES), ayant toutes deux un impact négatif sur les performances de filtration. Une augmentation du débit d’air conduirait à une limitation de la dérive de perméabilité, sauf lorsque la variable DCO est élevée (> à 500 mg/L), cette hypothèse restant cependant à vérifier sur une base de données plus conséquente. Le modèle ainsi obtenu par logique floue permet de mieux simuler les évolutions de perméabilité que les modèles obtenus par régression linéaire multivariée (erreurs de 0,61 et de 0,70 respectivement), et ce malgré une incertitude relative importante sur la mesure de perméabilité (jusqu’à 16 %). Ces résultats sont cohérents avec la dispersion du gaz observée par ERT : son homogénéité dépend de la concentration en MES et du débit d’air injecté. A forte concentration en MES (6 – 10 g/L), des zones préférentielles de passage des bulles ont été observées, en particulier à faible débit d’air, expliquant ainsi un colmatage plus important. L’utilisation nouvelle dans ce contexte de ces techniques, ERT et logique floue, donne des résultats qui confortent l’intérêt d’adapter l’aération (débit, séquençage) aux caractéristiques des boues notamment leurs concentrations, et qui permettent d’envisager des stratégies de contrôle de ces paramètres
APA, Harvard, Vancouver, ISO, and other styles
10

Tekin, Gokhan. "Design And Simulation Of An Integrated Active Yaw Control System For Road Vehicles." Master's thesis, METU, 2008. http://etd.lib.metu.edu.tr/upload/12609243/index.pdf.

Full text
Abstract:
Active vehicle safety systems for road vehicles play an important role in accident prevention. In recent years, rapid developments have been observed in this area with advancing technology and electronic control systems. Active yaw control is one of these subjects, which aims to control the vehicle in case of any impending spinning or plowing during rapid and/or sharp maneuver. In addition to the development of these systems, integration and cooperation of these independent control mechanisms constitutes the current trend in active vehicle safety systems design. In this thesis, design methodology and simulation results of an active yaw control system for two axle road vehicles have been presented. Main objective of the yaw control system is to estimate the desired yaw behavior of the vehicle according to the demand of the driver and track this desired behavior accurately. The design procedure follows a progressive method, which first aims to design the yaw control scheme without regarding any other stability parameters, followed by the development of the designed control scheme via taking other stability parameters such vehicle sideslip angle into consideration. A two degree of freedom vehicle model (commonly known as &ldquo
Bicycle Model&rdquo
) is employed to model the desired vehicle behavior. The design of the controller is based on Fuzzy Logic Control, which has proved itself useful for complex nonlinear design problems. Afterwards, the proposed yaw controller has been modified in order to limit the vehicle sideslip angle as well. Integration of the designed active yaw control system with other safety systems such as Anti-Lock Braking System (ABS) and Traction Control System (TCS) is another subject of this study. A fuzzy logic based wheel slip controller has also been included in the study in order to integrate two different independent active systems to each other, which, in fact, is a general design approach for real life applications. This integration actually aims to initiate and develop the integration procedure of the active yaw control system with the (ABS). An eight degree of freedom detailed vehicle model with nonlinear tire model is utilized to represent the real vehicle in order to ensure the validity of the results. The simulation is held in MATLAB/Simulink environment, which has provided versatile design and simulation capabilities for this study. Wide-ranging simulations include various maneuvers with different road conditions have been performed in order to demonstrate the performance of the proposed controller.
APA, Harvard, Vancouver, ISO, and other styles
More sources

Books on the topic "Limitations of logic"

1

Set theory, logic, and their limitations. Cambridge: Cambridge University Press, 1996.

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

Håstad, Johan. Computational limitations of small-depth circuits. Cambridge, Mass: MIT Press, 1987.

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

Borthwick, Alastair. Music theory and analysis: The limitations of logic. New York: Garland, 1995.

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

Adolf, Grünbaum, and Salmon Wesley C, eds. The Limitations of deductivism. Berkeley: University of California Press, 1988.

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

Computational Limitations for Small Depth Circuits (ACM Doctoral Dissertation Award). The MIT Press, 1987.

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

Fantl, Jeremy. The Limitations of the Open Mind. Oxford University Press, 2018. http://dx.doi.org/10.1093/oso/9780198807957.001.0001.

Full text
Abstract:
When should you engage with difficult arguments against your cherished controversial beliefs? The primary conclusion of this book is that your obligations to engage with counterarguments are more limited than is often thought. In some standard situations, you shouldn’t engage with difficult counterarguments and, if you do, you shouldn’t engage with them open-mindedly. This conclusion runs counter to aspects of the Millian political tradition and political liberalism, as well as some of the informal logic literature on argumentation. Not all misleading arguments wear their flaws on their sleeve. Each step of a misleading argument might seem compelling and you might not be able to figure out what’s wrong with it. Still, even if you can’t figure out what’s wrong with an argument, you can know that it’s misleading. One way to know that an argument is misleading is, counterintuitively, to lack expertise in the methods and evidence types employed by the argument. When you know that a counterargument is misleading, you shouldn’t engage with it open-mindedly and sometimes shouldn’t engage with it at all. You shouldn’t engage open-mindedly because you shouldn’t be willing to reduce your confidence in response to arguments you know are misleading. And you sometimes shouldn’t engage closed-mindedly, because to do so can be manipulative or ineffective. In making this case, the book discusses echo chambers and group polarization, the importance in academic writing of a sympathetic case for the opposition, the epistemology of disagreement, the account of open-mindedness, and invitations to problematic academic speakers.
APA, Harvard, Vancouver, ISO, and other styles
7

Buchanan, Ben. Limitations, Objections, and the Future of the Cybersecurity Dilemma. Oxford University Press, 2017. http://dx.doi.org/10.1093/acprof:oso/9780190665012.003.0008.

Full text
Abstract:
This chapter considers three counterarguments to the cybersecurity dilemma logic. It shows that even if the cybersecurity threat does not pose an existential risk, it is vitally important and can animate the security dilemma. It shows that regardless of one’s views on attributing cyber attacks—many believe that attribution is difficult or impossible—the cybersecurity dilemma is likely to be a problem. It lastly shows that even though cyber weapons are different from kinetic ones, convergence is likely and the cybersecurity dilemma is still significant, and will likely grow in significance.
APA, Harvard, Vancouver, ISO, and other styles
8

Kuusela, Oskari. Wittgenstein on Logic as the Method of Philosophy. Oxford University Press, 2019. http://dx.doi.org/10.1093/oso/9780198829751.001.0001.

Full text
Abstract:
This book is an examination of Wittgenstein’s early and late philosophies of logic in relation to accounts of logic and its philosophical significance in early and middle analytic philosophy, with particular reference to Frege, Russell, Carnap, and Strawson. It argues that not only the early but also the later Wittgenstein sought to further develop the logical-philosophical approaches of Frege and Russell. Throughout his career Wittgenstein’s aim was to resolve problems with and address the limitations of Frege’s and Russell’s accounts of logic and their logical methodologies so as to achieve the philosophical progress that originally motivated the logical-philosophical approach. By re-examining the roots and development of analytic philosophy, the book seeks to open up covered-up paths for the further development of analytic philosophy. It explains how Wittgenstein extends logical methodology beyond calculus-based logical methods and how his novel account of the status of logic enables one to do justice to the complexity and richness of language use and thought while retaining rigour and ideals of logic such as simplicity and exactness. The book also outlines the new kind of non-empiricist naturalism developed in Wittgenstein’s later work as well as explaining how Wittgenstein’s account of logic can be used to dissolve the longstanding methodological dispute between the ideal and ordinary language schools of analytic philosophy.
APA, Harvard, Vancouver, ISO, and other styles
9

Berliner, Todd. Finding the Fit. Oxford University Press, 2017. http://dx.doi.org/10.1093/acprof:oso/9780190658748.003.0004.

Full text
Abstract:
Chapter 4 illustrates the theory of narration presented in the previous chapter, offering an extended analysis of an unusual narrative pattern in Red River, which violates Hollywood’s cardinal rules regarding narrative unity, probability, causality, and story logic. Disunity in this classical Hollywood narrative adds variety to our filmgoing experience; stimulates our imagination, curiosity, and creative problem-solving processes; and liberates our thinking from the burdens and limitations of good sense.
APA, Harvard, Vancouver, ISO, and other styles
10

Warren, Mark E. Democracy and the State. Edited by John S. Dryzek, Bonnie Honig, and Anne Phillips. Oxford University Press, 2009. http://dx.doi.org/10.1093/oxfordhb/9780199548439.003.0021.

Full text
Abstract:
This article examines the logic that connects democracy to the state and argues that the functions of the state in enabling democracy are as important now and in the future as they have been in the past. It identifies the animating ideas and values of democracy and describes the ways in which these ideas are entwined with state power and the ways in which state institutions can become generative in ways that exceed the inherent limitations of the state's media of organization.
APA, Harvard, Vancouver, ISO, and other styles
More sources

Book chapters on the topic "Limitations of logic"

1

Ertel, Wolfgang. "Limitations of Logic." In Undergraduate Topics in Computer Science, 65–73. Cham: Springer International Publishing, 2017. http://dx.doi.org/10.1007/978-3-319-58487-4_4.

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

Ertel, Wolfgang. "Limitations of Logic." In Undergraduate Topics in Computer Science, 57–65. London: Springer London, 2011. http://dx.doi.org/10.1007/978-0-85729-299-5_4.

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

Ebbinghaus, Heinz-Dieter, Jörg Flum, and Wolfgang Thomas. "Computability and Its Limitations." In Mathematical Logic, 147–204. Cham: Springer International Publishing, 2021. http://dx.doi.org/10.1007/978-3-030-73839-6_10.

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

Ebbinghaus, H. D., J. Flum, and W. Thomas. "Limitations of the Formal Method." In Mathematical Logic, 151–87. New York, NY: Springer New York, 1994. http://dx.doi.org/10.1007/978-1-4757-2355-7_10.

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

Cellucci, Carlo. "The Limitations of Mathematical Logic." In Logic, Argumentation & Reasoning, 215–25. Dordrecht: Springer Netherlands, 2013. http://dx.doi.org/10.1007/978-94-007-6091-2_12.

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

Rescher, Nicholas. "Limitations and the World Beyond." In Logic, Epistemology, and the Unity of Science, 185–210. Cham: Springer International Publishing, 2020. http://dx.doi.org/10.1007/978-3-030-48431-6_16.

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

Dodd, Valerie A. "Mill (1837–1840): The Limitations of Logic." In George Eliot, 46–52. London: Palgrave Macmillan UK, 1990. http://dx.doi.org/10.1057/9780230372863_7.

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

Voda, Paul J. "Choices in, and limitations of, logic programming." In Lecture Notes in Computer Science, 615–23. Berlin, Heidelberg: Springer Berlin Heidelberg, 1986. http://dx.doi.org/10.1007/3-540-16492-8_110.

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

Christiansen, Henning, and Davide Martinenghi. "Incremental Integrity Checking: Limitations and Possibilities." In Logic for Programming, Artificial Intelligence, and Reasoning, 712–27. Berlin, Heidelberg: Springer Berlin Heidelberg, 2005. http://dx.doi.org/10.1007/11591191_49.

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

Maden, Michael D. "Franco-German Cooperative Defence: Its Logic and its Limitations." In The Arms Race in an Era of Negotiations, 181–98. London: Palgrave Macmillan UK, 1991. http://dx.doi.org/10.1007/978-1-349-11967-7_11.

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

Conference papers on the topic "Limitations of logic"

1

Lehtonen, Eero, Jussi H. Poikonen, and Mika Laiho. "Applications and limitations of memristive implication logic." In 2012 13th International Workshop on Cellular Nanoscale Networks and their Applications (CNNA 2012). IEEE, 2012. http://dx.doi.org/10.1109/cnna.2012.6331438.

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

Khoussainov, B., A. Nies, S. Rubin, and F. Stephan. "Automatic structures: richness and limitations." In Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science, 2004. IEEE, 2004. http://dx.doi.org/10.1109/lics.2004.1319599.

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

Hung, Eddie, and Steven J. E. Wilton. "Limitations of incremental signal-tracing for FPGA debug." In 2012 22nd International Conference on Field Programmable Logic and Applications (FPL). IEEE, 2012. http://dx.doi.org/10.1109/fpl.2012.6339240.

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

Flottes, Marie-Lise, Sophie Dupuis, Papa-Sidy Ba, and Bruno Rouzeyre. "On the limitations of logic testing for detecting Hardware Trojans Horses." In 2015 10th International Conference on Design & Technology of Integrated Systems in Nanoscale Era (DTIS). IEEE, 2015. http://dx.doi.org/10.1109/dtis.2015.7127362.

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

Niu, Baohua, Grace Mei Ee Khoo, Yuan-Chuan Steven Chen, Fernando Chapman, Dan Bockelman, and Tom Tong. "Laser Logic State Imaging (LLSI)." In ISTFA 2014. ASM International, 2014. http://dx.doi.org/10.31399/asm.cp.istfa2014p0065.

Full text
Abstract:
Abstract Logic State Imaging (LSI) using Infra-Red Emission Microscopy (IREM) [1-4] has been an indispensable technology for silicon CMOS process development and product debug applications. Its main limitations are relatively poor spatial resolution due to the broadband near-infrared photons emitted, and poor Signal to Noise Ratio (SNR) with low voltage and low leakage processes and products. Continuous-Wave Laser Scanning Microscope (CW-LSM) based Signal Imaging and Probing (CW-SIP) [5-9] technology is also widely used. It features inherently better spatial resolution than IREM, due to the use of monochromatic 1319nm or 1064nm laser light, and high SNR due to its weaker dependence on voltage and leakage, and, for signal imaging applications, the use of narrow band detection to reduce noise. However, CW-SIP can only detect modulating signals, so it couldn’t previously be applied to LSI. In this paper, we introduce an innovative approach that overcomes this limitation to enable Laser Logic State Imaging (LLSI). Actual fault isolation and design debug cases using this technology are presented to show its advantages in terms of resolution (>50% better), SNR (>2X better) and throughput time improvement, especially at low voltages (down to 500mV).
APA, Harvard, Vancouver, ISO, and other styles
6

Dasnurkar, S., A. Datta, M. Abu-Rahma, H. Nguyen, M. Villafana, H. Rasouli, S. Tamjidi, et al. "Experiments and analysis to characterize logic state retention limitations in 28nm process node." In 2013 IEEE 31st VLSI Test Symposium (VTS). IEEE, 2013. http://dx.doi.org/10.1109/vts.2013.6548879.

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

Inglese, Pietro, Elena Ioana Vatajelu, and Giorgio Di Natale. "On the Limitations of Concatenating Boolean Operations in Memristive-Based Logic-In-Memory Solutions." In 2021 16th International Conference on Design & Technology of Integrated Systems in Nanoscale Era (DTIS). IEEE, 2021. http://dx.doi.org/10.1109/dtis53253.2021.9505096.

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

Bifulco, Roberto, and Maurizio Dusi. "Position Paper: Reactive Logic in Software-Defined Networking: Accounting for the Limitations of the Switches." In 2014 Third European Workshop on Software Defined Networks (EWSDN). IEEE, 2014. http://dx.doi.org/10.1109/ewsdn.2014.22.

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

Cropper, Andrew, Sebastijan Dumančić, and Stephen H. Muggleton. "Turning 30: New Ideas in Inductive Logic Programming." In Twenty-Ninth International Joint Conference on Artificial Intelligence and Seventeenth Pacific Rim International Conference on Artificial Intelligence {IJCAI-PRICAI-20}. California: International Joint Conferences on Artificial Intelligence Organization, 2020. http://dx.doi.org/10.24963/ijcai.2020/673.

Full text
Abstract:
Common criticisms of state-of-the-art machine learning include poor generalisation, a lack of interpretability, and a need for large amounts of training data. We survey recent work in inductive logic programming (ILP), a form of machine learning that induces logic programs from data, which has shown promise at addressing these limitations. We focus on new methods for learning recursive programs that generalise from few examples, a shift from using hand-crafted background knowledge to learning background knowledge, and the use of different technologies, notably answer set programming and neural networks. As ILP approaches 30, we also discuss directions for future research.
APA, Harvard, Vancouver, ISO, and other styles
10

Bulz, Nicolae. "Our limitations and paradoxes a cybernetic and (non)systemic approach: “The life of Logic” and “The Logic of Life”." In 2011 International Conference on Grey Systems and Intelligent Services (GSIS 2011). IEEE, 2011. http://dx.doi.org/10.1109/gsis.2011.6044108.

Full text
APA, Harvard, Vancouver, ISO, and other styles
You might also be interested in the extended bibliographies on the topic 'Limitations of logic' for particular source types:
Journal articles Dissertations / Theses Books
We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!

To the bibliography