Filters








30,740 Hits in 9.4 sec

Theory, Synthesis, and Application of Adiabatic and Reversible Logic Circuits for Security Applications

Matthew Morrison
2014 2014 IEEE Computer Society Annual Symposium on VLSI  
Nagarajan Ranganathan, for giving me the opportunity to pursue my research, and for his valuable guidance and assistance over these last four years.  ...  DEDICATION To my parents, Alfred and Kathleen Morrison, and to my grandparents, Arthur and Betty Kempf, and Alfred and Dorothy Morrison, for making all the opportunities I have possible.  ...  i In this dissertation, I address theory, synthesis, and application of adiabatic and reversible logic circuits for security applications.  ... 
doi:10.1109/isvlsi.2014.88 dblp:conf/isvlsi/Morrison14 fatcat:jlzlbmocifchrkvng7zejvh6oq

The Role of Logic and Ontology in Language and Reasoning [chapter]

John F. Sowa
2010 Theory and Applications of Ontology: Philosophical Perspectives  
Aristotle's logic and categories still serve as a paradigm for the ontologies used in modern computer systems, but his grand synthesis began to break down in the 16th century.  ...  of matter, the nature of space and time, the refutation of idealism, the theory of the self and its agency, the question of living organisms, the doctrine of practical postulates and the idea of God,  ...  Theories in the lattice may be large or small, and they may be stated in any version of logic. For most practical applications, the ISO standard for Common Logic is sufficient (ISO/IEC 2007).  ... 
doi:10.1007/978-90-481-8845-1_11 fatcat:kclsptyg5jdc3h53lnog6f6zbm

Applying Formal Methods to Networking: Theory, Techniques, and Applications

Junaid Qadir, Osman Hasan
2015 IEEE Communications Surveys and Tutorials  
This has also led to a great resurgence in interest of applying formal methods to specification, verification, and synthesis of networking protocols and applications.  ...  The lack of formalization of the Internet architecture meant limited abstractions and modularity, especially for the control and management planes, thus requiring for every new need a new protocol built  ...  events and their actions.  ... 
doi:10.1109/comst.2014.2345792 fatcat:oc6l6pn4tnddjbbr5v4gbbuycq

Reduction and decomposition of differential automata: Theory and applications [chapter]

Alexey S. Matveev, Andrey V. Savkin
1998 Lecture Notes in Computer Science  
References: Fuzzy sets and fuzzy logic, theory and applications -George J. Klir, Yuan Prentice Hall 2006. Analysis and management of uncertainty: Theory and applications: Ayyub, B. M., L.N.  ...  SIMULINK (and/or similar package) based experiments on graphical synthesis of systems; Control synthesis for typical dynamical systems.  ... 
doi:10.1007/3-540-64358-3_48 fatcat:hqwvar3zbfftdhg4cybpjwogde

Artificial Intelligence Techniques in Solar Energy Applications [chapter]

Soteris Kalogirou, Arzu Senc
2010 Solar Collectors and Panels, Theory and Applications  
Solar Collectors and Panels, Theory and Applications 316 estimation of solar radiation, solar heating, photovoltaic (PV) systems, sun tracking systems, solar air-conditioning systems and many others.  ...  Therefore, the possibilities of applying AI in solar energy applications will be shown.  ...  In this perspective, fuzzy logic in its narrow sense is a branch of fuzzy theory.  ... 
doi:10.5772/10343 fatcat:5zepz6ek2bfg3l57harzkxx3au

Prospective logic agents

Luis Moniz Pereira, Goncalo Lopes
2009 International Journal of Reasoning-based Intelligent Systems  
We start by building on previous theoretical background, on evolving programs and on abduction, to construe a framework for prospection and describe an abstract procedure for its materialization.  ...  We take on several examples of modelling prospective logic programs that illustrate the proposed concepts and briefly discuss the ACORDA system, a working implementation of the previously presented procedure  ...  We intend to show how rules and methodologies for the synthesis and maintenance of abductive hypotheses, extensively studied by several authors in the field of Abductive Logic Programming [9, 11, 17,  ... 
doi:10.1504/ijris.2009.028019 fatcat:uw3dofernrashivqavcss5hevq

Logic Synthesis [chapter]

2017 Electronic Design Automation for IC Implementation, Circuit Design, and Process Technology  
ACKNOWLEDGMENT e authors thank Vladimir Yutsis for his helpful feedback on Section 1.5.2.  ...  For example, consider a logic synthesis application making a series of individual disconnections and reconnections of pins to accomplish some logic transformation.  ...  ., and Cheng, P., Run-time conscious automatic timing-driven FPGA layout synthesis, in Proceedings of the 14th International Conference on Field-Programmable Logic and Applications, 2004, pp. 168-178.  ... 
doi:10.1201/9781315215112-13 fatcat:me52zpnxyfcczh3choo2p4zulm

Approximation of action theories and its application to conformant planning

Phan Huy Tu, Tran Cao Son, Michael Gelfond, A. Ricardo Morales
2011 Artificial Intelligence  
The development of a planner for a given dynamic domain starts with encoding the knowledge about fluents and actions of the domain as an action theory D of some action language.  ...  This paper describes our methodology for building conformant planners, which is based on recent advances in the theory of action and change and answer set programming.  ...  The important ideas used and investigated in this paper, including declarative programming, non-monotonic logic, reasoning about actions and their effects, finding solutions to the frame and ramification  ... 
doi:10.1016/j.artint.2010.04.007 fatcat:4lzuxekhh5gztjslm7gftxkify

Logics for hybrid systems

J.M. Davoren, A. Nerode
2000 Proceedings of the IEEE  
The high-profile and safety-critical nature of the application areas has fostered a large and growing body of work on formal methods for hybrid systems: mathematical logics, computational models and methods  ...  , and computer-aided reasoning tools supporting the formal specification and verification of performance requirements for hybrid systems, and the design and synthesis of control programs for hybrid systems  ...  ACKNOWLEDGMENT The authors' view of hybrid systems and logics for reasoning about them has benefited from fruitful conversations and exchanges with many people; in particular, they would like to thank  ... 
doi:10.1109/5.871305 fatcat:vsxl3q7h6rfcvbtxy4mmfnc7oi

Logic, Ethics and Aesthetics

Vitaly Kiryushchenko
2011 European Journal of Pragmatism and American Philosophy  
Translated into Kantian language, this short note says that whereas the synthesis of the manifold in intuition (i.e. the application of categories to phenomena) is logically non-problematic, the application  ...  role as a mediator between logic and ethics appears to be an apophasis for Peirce.  ...  This conception, that another man's thought or sentiment may be equivalent to one's own, is a distinctly new step, and a highly important one.  ... 
doi:10.4000/ejpap.849 fatcat:wgzvk76uengfjozknx7xfemqiq

Formalization as the Immanent Part of Logical Solving

Nikolai N. Nepejvoda
2018 Logical Investigations  
It starts from general characteristic of the applied logic as a tool: 1. to bound logic with its applications in theory and practice; 2. to import methods and methodologies from other domains into logic  ...  ; 3. to export methods and methodologies from logic into other domains.  ...  It is interpreted as application of an action in a state where A holds transferring into a state where B holds.  ... 
doi:10.21146/2074-1472-2018-24-1-129-145 fatcat:ifgxfvssgze5zoibim7sruqnxi

Specification-Based Monitoring of Cyber-Physical Systems: A Survey on Theory, Tools and Applications [chapter]

Ezio Bartocci, Jyotirmoy Deshmukh, Alexandre Donzé, Georgios Fainekos, Oded Maler, Dejan Ničković, Sriram Sankaranarayanan
2018 Lecture Notes in Computer Science  
Here the role of monitoring is to alert in real time in order to trigger corrective actions, either by a human operator or by a supervisory layer of control.  ...  We present an overview of some of the important applications and, finally, we describe the tools supporting CPS monitoring and compare their main features. 137 Monitoring Real Systems and Monitoring Simulated  ...  Bartocci and D.  ... 
doi:10.1007/978-3-319-75632-5_5 fatcat:2m52qvfax5cn3fgyhcl3piy2ui

From Logic to Games [chapter]

Igor Walukiewicz
2005 Lecture Notes in Computer Science  
While real-time automata are around for some time now [2] , there is no standard logic for real-time.  ...  Automata theory existed already for a long time [71] . Büchi and Rabin have shown decidability of monadic second-order (MSO) theories of sequences [16] and trees [70] , respectively.  ... 
doi:10.1007/11590156_5 fatcat:ps3dhgrvcnhabi6432n2rm5qrm

Constructive Game Logic [chapter]

Brandon Bohrer, André Platzer
2020 Lecture Notes in Computer Science  
follow in response to the opponent's actions.  ...  Of these, we are the first for GL and the first with a proofs-asprograms interpretation for a full first-order program logic. Games in Logic.  ...  The authors were also funded by the NDSEG Fellowship and Alexander von Humboldt Foundation, respectively.  ... 
doi:10.1007/978-3-030-44914-8_4 fatcat:by5xt6i2g5gi7ds2kebai5otgu

Temporal Logic Motion Planning
English

Motlatsi Seotsanyana
2010 Defence Science Journal  
The review paper aims to address the following problems: (a) In a realistic situation, the motion planning problem is carried out in real-time, in a dynamic, uncertain and ever-changing environment, and  ...  The use of theory of computation and formal methods, tools and techniques present a promising direction of research in solving motion planning problems that are influenced by high-level specification of  ...  ACKNOWLEDGEMENT The research conducted and reported here was funded by the Council for Scientific and Industrial Research (CSIR), South Africa, The authors would like to thank Professor Jitendra Raol for  ... 
doi:10.14429/dsj.60.99 fatcat:ojiq74342rd43kdfi5fzkfxr7y
« Previous Showing results 1 — 15 out of 30,740 results