Conferences related to Boolean functions

Back to Top

2020 IEEE International Symposium on Antennas and Propagation and North American Radio Science Meeting

The joint meeting is intended to provide an international forum for the exchange of information on state of the art research in the area of antennas and propagation, electromagnetic engineering and radio science


2020 57th ACM/ESDA/IEEE Design Automation Conference (DAC)

The world's premier EDA and semiconductor design conference and exhibition. DAC features over 60 sessions on design methodologies and EDA tool developments, keynotes, panels, plus the NEW User Track presentations. A diverse worldwide community representing more than 1,000 organizations attends each year, from system designers and architects, logic and circuit designers, validation engineers, CAD managers, senior managers and executives to researchers and academicians from leading universities.

  • 2022 59th ACM/ESDA/IEEE Design Automation Conference (DAC)

    The world's premier EDA and semiconductor design conference and exhibition. DAC features over 60 sessions on design methodologies and EDA tool developments, keynotes, panels, plus the NEW User Track presentations. A diverse worldwide community representing more than 1,000 organizations attends each year, from system designers and architects, logic and circuit designers, validation engineers, CAD managers, senior managers and executives to researchers and academicians from leading universities.

  • 2021 58th ACM/ESDA/IEEE Design Automation Conference (DAC)

    The world's premier EDA and semiconductor design conference and exhibition. DAC features over 60 sessions on design methodologies and EDA tool developments, keynotes, panels, plus the NEW User Track presentations. A diverse worldwide community representing more than 1,000 organizations attends each year, from system designers and architects, logic and circuit designers, validation engineers, CAD managers, senior managers and executives to researchers and academicians from leading universities.

  • 2019 56th ACM/ESDA/IEEE Design Automation Conference (DAC)

    EDA (Electronics Design Automation) is becoming ever more important with the continuous scaling of semiconductor devices and the growing complexities of their use in circuits and systems. Demands for lower-power, higher-reliability and more agile electronic systems raise new challenges to both design and design automation of such systems. For the past five decades, the primary focus of research track at DAC has been to showcase leading-edge research and practice in tools and methodologies for the design of circuits and systems.

  • 2018 55th ACM/ESDA/IEEE Design Automation Conference (DAC)

    The world's premier EDA and semiconductor design conference and exhibition. DAC features over 60 sessions on design methodologies and EDA tool developments, keynotes, panels, plus the NEW User Track presentations. A diverse worldwide community representing more than 1,000 organizations attends each year, from system designers and architects, logic and circuit designers, validation engineers, CAD managers, senior managers and executives to researchers and academicians from leading universities.

  • 2017 54th ACM/EDAC/IEEE Design Automation Conference (DAC)

    The world's premier EDA and semiconductor design conference and exhibition. DAC features over 60 sessions on design methodologies and EDA tool developments, keynotes, panels, plus the NEW User Track presentations. A diverse worldwide community representing more than 1,000 organizations attends each year, from system designers and architects, logic and circuit designers, validation engineers, CAD managers, senior managers and executives to researchers and academicians from leading universities.

  • 2016 53nd ACM/EDAC/IEEE Design Automation Conference (DAC)

    The world's premier EDA and semiconductor design conference and exhibition. DAC features over 60 sessions on design methodologies and EDA tool developments, keynotes, panels, plus the NEW User Track presentations. A diverse worldwide community representing more than 1,000 organizations attends each year, from system designers and architects, logic and circuit designers, validation engineers, CAD managers, senior managers and executives to researchers and academicians from leading universities.

  • 2015 52nd ACM/EDAC/IEEE Design Automation Conference (DAC)

    The world's premier EDA and semiconductor design conference and exhibition. DAC features over 60 sessions on design methodologies and EDA tool developments, keynotes, panels, plus the NEW User Track presentations. A diverse worldwide community representing more than 1,000 organizations attends each year, from system designers and architects, logic and circuit designers, validation engineers, CAD managers, senior managers and executives to researchers and academicians from leading universities.

  • 2014 51st ACM/EDAC/IEEE Design Automation Conference (DAC)

    DAC Description for TMRF The world's premier EDA and semiconductor design conference and exhibition. DAC features over 60 sessions on design methodologies and EDA tool developments, keynotes, panels, plus the NEW User Track presentations. A diverse worldwide community representing more than 1,000 organizations attends each year, from system designers and architects, logic and circuit designers, validation engineers, CAD managers, senior managers and executives to researchers and academicians from leading

  • 2013 50th ACM/EDAC/IEEE Design Automation Conference (DAC)

    The world's premier EDA and semiconductor design conference and exhibition. DAC features over 60 session on design methodologies and EDA tool developments, keynotes, panels, plus User Track presentations. A diverse worldwide community representing more than 1,000 organization attends each year, from system designers and architects, logic and circuit designers, validation engineers, CAD managers, senior managers and executives to researchers and academicians from leading universities.

  • 2012 49th ACM/EDAC/IEEE Design Automation Conference (DAC)

    The Design Automation Conference (DAC) is the premier event for the design of electronic circuits and systems, and for EDA and silicon solutions. DAC features a wide array of technical presentations plus over 200 of the leading electronics design suppliers

  • 2011 48th ACM/EDAC/IEEE Design Automation Conference (DAC)

    The Design Automation Conference is the world s leading technical conference and tradeshow on electronic design and design automation. DAC is where the IC Design and EDA ecosystem learns, networks, and does business.

  • 2010 47th ACM/EDAC/IEEE Design Automation Conference (DAC)

    The Design Automation Conference (DAC) is the premier event for the design of electronic circuits and systems, and for EDA and silicon solutions. DAC features a wide array of technical presentations plus over 200 of the leading electronics design suppliers.

  • 2009 46th ACM/EDAC/IEEE Design Automation Conference (DAC)

    DAC is the premier event for the electronic design community. DAC offers the industry s most prestigious technical conference in combination with the biggest exhibition, bringing together design, design automation and manufacturing market influencers.

  • 2008 45th ACM/EDAC/IEEE Design Automation Conference (DAC)

    The Design Automation Conference (DAC) is the premier event for the design of electronic circuits and systems, and for EDA and silicon solutions. DAC features a wide array of technical presentations plus over 250 of the leading electronics design suppliers.

  • 2007 44th ACM/IEEE Design Automation Conference (DAC)

    The Design Automation Conference (DAC) is the premier Electronic Design Automation (EDA) and silicon solution event. DAC features over 50 technical sessions covering the latest in design methodologies and EDA tool developments and an Exhibition and Demo Suite area with over 250 of the leading EDA, silicon and IP Providers.

  • 2006 43rd ACM/IEEE Design Automation Conference (DAC)

  • 2005 42nd ACM/IEEE Design Automation Conference (DAC)

  • 2004 41st ACM/IEEE Design Automation Conference (DAC)

  • 2003 40th ACM/IEEE Design Automation Conference (DAC)

  • 2002 39th ACM/IEEE Design Automation Conference (DAC)

  • 2001 38th ACM/IEEE Design Automation Conference (DAC)

  • 2000 37th ACM/IEEE Design Automation Conference (DAC)

  • 1999 36th ACM/IEEE Design Automation Conference (DAC)

  • 1998 35th ACM/IEEE Design Automation Conference (DAC)

  • 1997 34th ACM/IEEE Design Automation Conference (DAC)

  • 1996 33rd ACM/IEEE Design Automation Conference (DAC)


2020 IEEE International Conference on Robotics and Automation (ICRA)

The International Conference on Robotics and Automation (ICRA) is the IEEE Robotics and Automation Society’s biggest conference and one of the leading international forums for robotics researchers to present their work.


2020 IEEE International Symposium on Circuits and Systems (ISCAS)

The International Symposium on Circuits and Systems (ISCAS) is the flagship conference of the IEEE Circuits and Systems (CAS) Society and the world’s premier networking and exchange forum for researchers in the highly active fields of theory, design and implementation of circuits and systems. ISCAS2020 focuses on the deployment of CASS knowledge towards Society Grand Challenges and highlights the strong foundation in methodology and the integration of multidisciplinary approaches which are the distinctive features of CAS contributions. The worldwide CAS community is exploiting such CASS knowledge to change the way in which devices and circuits are understood, optimized, and leveraged in a variety of systems and applications.


2020 IEEE International Symposium on Information Theory (ISIT)

Information theory, coding theory, communication theory, signal processing, and foundations of machine learning


More Conferences

Periodicals related to Boolean functions

Back to Top

Aerospace and Electronic Systems Magazine, IEEE

The IEEE Aerospace and Electronic Systems Magazine publishes articles concerned with the various aspects of systems for space, air, ocean, or ground environments.


Automatic Control, IEEE Transactions on

The theory, design and application of Control Systems. It shall encompass components, and the integration of these components, as are necessary for the construction of such systems. The word `systems' as used herein shall be interpreted to include physical, biological, organizational and other entities and combinations thereof, which can be represented through a mathematical symbolism. The Field of Interest: shall ...


Circuits and Systems for Video Technology, IEEE Transactions on

Video A/D and D/A, display technology, image analysis and processing, video signal characterization and representation, video compression techniques and signal processing, multidimensional filters and transforms, analog video signal processing, neural networks for video applications, nonlinear video signal processing, video storage and retrieval, computer vision, packet video, high-speed real-time circuits, VLSI architecture and implementation for video technology, multiprocessor systems--hardware and software-- ...


Communications Magazine, IEEE

IEEE Communications Magazine was the number three most-cited journal in telecommunications and the number eighteen cited journal in electrical and electronics engineering in 2004, according to the annual Journal Citation Report (2004 edition) published by the Institute for Scientific Information. Read more at http://www.ieee.org/products/citations.html. This magazine covers all areas of communications such as lightwave telecommunications, high-speed data communications, personal communications ...


Computational Biology and Bioinformatics, IEEE/ACM Transactions on

Specific topics of interest include, but are not limited to, sequence analysis, comparison and alignment methods; motif, gene and signal recognition; molecular evolution; phylogenetics and phylogenomics; determination or prediction of the structure of RNA and Protein in two and three dimensions; DNA twisting and folding; gene expression and gene regulatory networks; deduction of metabolic pathways; micro-array design and analysis; proteomics; ...


More Periodicals

Most published Xplore authors for Boolean functions

Back to Top

Xplore Articles related to Boolean functions

Back to Top

Fredkin gates as a basis for comparison of different logic design solutions

IEE Colloquium on Synthesis and Optimisation of Logic Systems, 1994

In this paper one particular gate is proposed which has the potential to be implemented optically. It has the advantage that, if necessary, it can perform conventional Boolean logic, but it can also perform alternative logics such as conservative logic, multi-valued logic and threshold logic. Since the same gate is used regardless of the logic, it is possible to make ...


Canalizing Boolean Functions Maximize the Mutual Information

SCC 2013; 9th International ITG Conference on Systems, Communication and Coding, 2013

The ability of information processing in biologically motivated Boolean networks is of interest in recent information theoretic research. One measure to quantify this ability is the well known mutual information. Using Fourier analysis we show that canalizing functions maximize the mutual information between an input variable and the outcome of the function. We proof our result for Boolean functions with ...


A survey of some results in lattice-valued model theory

[1988] Proceedings. The Eighteenth International Symposium on Multiple-Valued Logic, 1988

The author surveys some of his published results on the model theory of lattice-valued logic. Among the results surveyed are: the fundamental theorem of ultraproducts, the compactness theorem, the LST theorem, and the omitting types theorem. A proof of the compactness theorem is appended.<<ETX>>


Abstract of 'Graph Theory and Electric Networks II'

IRE Transactions on Circuit Theory, 1960

None


EFL logic family for LSI

1973 IEEE International Solid-State Circuits Conference. Digest of Technical Papers, 1973

A highly-efficient LSI logic family combining the advantages of multi-emitter structures with the performance of ECL logic will be discussed. Simplified gate structure has been found to reduce propagation delay, power and number of logic levels required for logic function realization. Conventional processing affords 2-5 pJ performance.


More Xplore Articles

Educational Resources on Boolean functions

Back to Top

IEEE.tv Videos

Fuzzy and Soft Methods for Multi-Criteria Decision Making - Ronald R Yager - WCCI 2016
Applying Control Theory to the Design of Cancer Therapy
Transceiver Systems for mmWave Application - Mats Carlsson - RFIC Showcase 2018
Bob Martin on Industrial Internet Reference Architecture: 2016 End to End Trust and Security Workshop for the Internet of Things
Learning How to Learn: Powerful Mental Tools to Help You Master Tough Subjects
UPDATED: IEEE Collabratec User Essential Overview Part 1: Basics
Raffaele Giaffreda: Solving IoT Interoperability and Security Problems in an eHealth Context: WF-IoT 2016
IEEE Magnetics Distinguished Lecture - Mitsuteru Inoue
IEEE Xplore Digital Library - Prakash Bellur - Ignite: Sections Congress 2017
Massive MIMO at 60 GHz vs. 2 GHz - Eric Larsson: Brooklyn 5G Summit 2017
Enhancing the Community Response to Aid First Responders - Thyaga Nandagopal - 5G Technologies for Tactical and First Responder Networks 2018
Double Barrier Memristive Devices for Neuromorphic Computing - Martin Zeigler: 2016 International Conference on Rebooting Computing
Award-Winning Methods for LPIRC - Tao Sheng - LPIRC 2019
IEEE Summit on Internet Governance 2014: Panel III - The Future of Internet Governance
NEREID: Systems Design & Heterogeneous Integration: Danilo Demarchi at INC 2019
5G Networks: Slicing and Function Placement - Future X Network Panel Talk - Wolfgang Kellerer - Brooklyn 5G Summit 2018
Q&A with Dr. Maryam Shanechi: IEEE Brain Podcast, Episode 6 Part 2
Education for Analog ICs
ICASSP 2010 - Advances in Neural Engineering
Keynote 2: Exploring New Technologies for 5G/Future Networks - Dilip Krishnaswamy - India Mobile Congress, 2018

IEEE-USA E-Books

  • Fredkin gates as a basis for comparison of different logic design solutions

    In this paper one particular gate is proposed which has the potential to be implemented optically. It has the advantage that, if necessary, it can perform conventional Boolean logic, but it can also perform alternative logics such as conservative logic, multi-valued logic and threshold logic. Since the same gate is used regardless of the logic, it is possible to make a comparison of the various logics, so that hopefully it can be shown that for specific applications Boolean logic may not always be the best solution.<<ETX>>

  • Canalizing Boolean Functions Maximize the Mutual Information

    The ability of information processing in biologically motivated Boolean networks is of interest in recent information theoretic research. One measure to quantify this ability is the well known mutual information. Using Fourier analysis we show that canalizing functions maximize the mutual information between an input variable and the outcome of the function. We proof our result for Boolean functions with uniform distributed as well as product distributed input variables.

  • A survey of some results in lattice-valued model theory

    The author surveys some of his published results on the model theory of lattice-valued logic. Among the results surveyed are: the fundamental theorem of ultraproducts, the compactness theorem, the LST theorem, and the omitting types theorem. A proof of the compactness theorem is appended.<<ETX>>

  • Abstract of 'Graph Theory and Electric Networks II'

    None

  • EFL logic family for LSI

    A highly-efficient LSI logic family combining the advantages of multi-emitter structures with the performance of ECL logic will be discussed. Simplified gate structure has been found to reduce propagation delay, power and number of logic levels required for logic function realization. Conventional processing affords 2-5 pJ performance.

  • Equivalence checking of combinational switching functions using ROBDD

    None

  • Polynomial Threshold Elements?

    None

  • Third-Generation Architecture Boosts Speed And Density Of Field-Programmable Gate Arrays

    None

  • Circuit based quantification: back to state set manipulation within unbounded model checking

    A non-canonical circuit-based state set representation is used to perform quantifier elimination efficiently. The novelty of this approach lies in adapting equivalence checking and logic synthesis techniques to the goal of compacting circuit based state set representations resulting from existential quantification. The method can be efficiently combined with other verification approaches such as inductive and SAT-based pre-image verifications.

  • A New Assessment Method for System Reliability Based on Dynamic Fault Tree

    According to the deficiency of traditional Markov chain approach in dynamic fault tree analysis, a new modular method for system reliability analysis is proposed. This paper focuses on dividing the fault tree of system into independent subtrees using a linear-time algorithm, and the processing method for different subtrees: Binary decision diagram solution for static subtrees and Bayesian Network solution for dynamic subtrees, respectively. In addition, an approach is also provided for mapping some dynamic logic gates into discrete-time Bayesian network. At last, the modular method has been applied to assess the reliability of a satellite key device and the results have shown that the proposed method can overcome the state explosion problem, and is useful for assessing the reliability of large and complex systems.



Standards related to Boolean functions

Back to Top

No standards are currently tagged "Boolean functions"


Jobs related to Boolean functions

Back to Top