Conferences related to Computation theory

Back to Top

2023 Annual International Conference of the IEEE Engineering in Medicine & Biology Conference (EMBC)

The conference program will consist of plenary lectures, symposia, workshops and invitedsessions of the latest significant findings and developments in all the major fields of biomedical engineering.Submitted full papers will be peer reviewed. Accepted high quality papers will be presented in oral and poster sessions,will appear in the Conference Proceedings and will be indexed in PubMed/MEDLINE.


OCEANS 2020 - SINGAPORE

An OCEANS conference is a major forum for scientists, engineers, and end-users throughout the world to present and discuss the latest research results, ideas, developments, and applications in all areas of oceanic science and engineering. Each conference has a specific theme chosen by the conference technical program committee. All papers presented at the conference are subsequently archived in the IEEE Xplore online database. The OCEANS conference comprises a scientific program with oral and poster presentations, and a state of the art exhibition in the field of ocean engineering and marine technology. In addition, each conference can have tutorials, workshops, panel discussions, technical tours, awards ceremonies, receptions, and other professional and social activities.

  • OCEANS 2005 - EUROPE

  • OCEANS 2006 - ASIA PACIFIC

  • OCEANS 2007 - EUROPE

    The theme 'Marine Challenges: Coastline to Deep Sea' focuses on the significant challenges, from the shallowest waters around our coasts to the deepest subsea trenches, that face marine, subsea and oceanic engineers in their drive to understand the complexities of the world's oceans.

  • OCEANS 2008 - MTS/IEEE Kobe Techno-Ocean

  • OCEANS 2009 - EUROPE

  • OCEANS 2010 IEEE - Sydney

  • OCEANS 2011 - SPAIN

    All Oceans related technologies.

  • OCEANS 2012 - YEOSU

    The OCEANS conferences covers four days with tutorials, exhibits and three days of parallel tracks that address all aspects of oceanic engineering.

  • OCEANS 2013 - NORWAY

    Ocean related technologies. Program includes tutorials, three days of technical papers and a concurrent exhibition. Student poster competition.

  • OCEANS 2014 - TAIPEI

    The OCEANS conference covers all aspects of ocean engineering from physics aspects through development and operation of undersea vehicles and equipment.

  • OCEANS 2015 - Genova

    The Marine Technology Society and the Oceanic Engineering Society of IEEE cosponsor a joint annual conference and exposition on ocean science, engineering and policy. The OCEANS conference covers four days. One day for tutorials and three for approx. 450 technical papers and 50-200 exhibits.

  • OCEANS 2016 - Shanghai

    Papers on ocean technology, exhibits from ocean equipment and service suppliers, student posters and student poster competition, tutorial on ocean technology, workshops and town hall meetings on policy and governmental process.

  • OCEANS 2017 - Aberdeen

    Papers on ocean technology, exhibits from ocean equipment and service suppliers, student posters and student poster competition, tutorials on ocean technology, workshops and town hall meetings on policy and governmental process.

  • 2018 OCEANS - MTS/IEEE Kobe Techno-Ocean (OTO)

    The conference scope is to provide a thematic umbrella for researchers working in OCEAN engineering and related fields across the world to discuss the problems and potential long term solutions that concernnot only the oceans in Asian pacific region, but the world ocean in general.

  • OCEANS 2019 - Marseille

    Research, Development, and Operations pertaining to the Oceans


2020 IEEE International Conference on Image Processing (ICIP)

The International Conference on Image Processing (ICIP), sponsored by the IEEE SignalProcessing Society, is the premier forum for the presentation of technological advances andresearch results in the fields of theoretical, experimental, and applied image and videoprocessing. ICIP 2020, the 27th in the series that has been held annually since 1994, bringstogether leading engineers and scientists in image and video processing from around the world.


2020 IEEE International Symposium on Information Theory (ISIT)

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


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.



Periodicals related to Computation theory

Back to Top

Antennas and Propagation, IEEE Transactions on

Experimental and theoretical advances in antennas including design and development, and in the propagation of electromagnetic waves including scattering, diffraction and interaction with continuous media; and applications pertinent to antennas and propagation, such as remote sensing, applied optics, and millimeter and submillimeter wave techniques.


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 I: Regular Papers, IEEE Transactions on

Part I will now contain regular papers focusing on all matters related to fundamental theory, applications, analog and digital signal processing. Part II will report on the latest significant results across all of these topic areas.


Communications, IEEE Transactions on

Telephone, telegraphy, facsimile, and point-to-point television, by electromagnetic propagation, including radio; wire; aerial, underground, coaxial, and submarine cables; waveguides, communication satellites, and lasers; in marine, aeronautical, space and fixed station services; repeaters, radio relaying, signal storage, and regeneration; telecommunication error detection and correction; multiplexing and carrier techniques; communication switching systems; data communications; and communication theory. In addition to the above, ...


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



Most published Xplore authors for Computation theory

Back to Top

No authors for "Computation theory"


Xplore Articles related to Computation theory

Back to Top

IEE Colloquium on Quantum Computing: Theory, Applications and Implications (Digest No.1997/145)

IEE Colloquium on Quantum Computing: Theory, Applications and Implications (Digest No: 1997/145), 1997

None


ANNECS: a neural network compiler and simulator

IJCNN-91-Seattle International Joint Conference on Neural Networks, 1991

Summary form only given, as follows. ANNECS is a software tool that compiles a high-level, object-oriented specification to a functionally equivalent neural network. It does this by realizing each object in the specification as a functionally equivalent cluster of neurons and synapses. All objects are defined ultimately in terms of just two primitives, the neuron and the synapse. Thus, the ...


Quantum computers

IEEE Potentials, 2003

Using atoms as digital bits will start a completely new era in computer design. Atoms cannot be simply manipulated and used like the bits built with transistors. The behavior of matter on the atomic scale follows the rules of modern physics. This behavior cannot be understood in terms of our classical description of the world (i. e. Newtonian mechanics or ...


Entire Object Reconstruction Using a Rotational Stage

2008 Congress on Image and Signal Processing, 2008

This paper presents a method for reconstruction of entire three-dimensional objects based on principles of the rotational stereo. The experimental system, which has three degrees of freedom (two for translation and one for rotation), uses an accurate stage to make all areas of the object surface visible. It only needs one camera to capture images and thus reduces the implementation ...


Outline of a theory of massively parallel analog computation

International 1989 Joint Conference on Neural Networks, 1989

Summary form only given. The author proposes the following definition of massive parallelism. A computational system is massively parallel if the number of processing elements is so large that it may conveniently be considered a continuous quantity. The author proposes this definition of massive parallelism for a number of reasons. First, skillful behavior seems to require significant neural mass. Second, ...



Educational Resources on Computation theory

Back to Top

IEEE.tv Videos

Some Thoughts on a Gap Between Theory and Practice of Evolutionary Algorithms - WCCI 2012
Magneto-electric Approximate Computation for Bayesian Inference - IEEE Rebooting Computing 2017
Creative AI through Evolutionary Computation
Hideyuki Takagi - Interactive Evolutionary Computation
Bayesian Perception & Decision from Theory to Real World Applications
On the Physical Underpinnings of the Unusual Effectiveness of Probabilistic and Neural Computation - IEEE Rebooting Computing 2017
A Survey of Representations for Evolutionary Computation 2
IMS 2012 Special Sessions: A Retrospective of Field Theory in Microwave Engineering - David M. Pozar
A Survey of Representations for Evolutionary Computation 1
A Model of Embodied Computation for Artificial Morphogenesis
IMS 2012 Special Sessions: A Retrospective of Field Theory in Microwave Engineering - Magdalena Salazar Palma
IMS 2012 Special Sessions: A Retrospective of Field Theory in Microwave Engineering - Constantine A. Balanis
Opportunities in Physical Computing driven by Analog Realization - Jennifer Hasler: 2016 International Conference on Rebooting Computing
Inspiring Brilliance: The impact of control theory and cybernetics of Maxwell's paper: On governors
SIMD Programming in VOLK, the Vector-Optimized Library of Kernels
Metaheuristics for Multiobjective Optimization
Evolutionary Computation - A Technology Inspired by Nature
Merge Network for a Non-Von Neumann Accumulate Accelerator in a 3D Chip - Anirudh Jain - ICRC 2018
Electronic Systems for Quantum Computation - David DiVincenzo: 2016 International Conference on Rebooting Computing
Neuromorphic Chips - Kwabena Boahen: 2016 International Conference on Rebooting Computing

IEEE-USA E-Books

  • IEE Colloquium on Quantum Computing: Theory, Applications and Implications (Digest No.1997/145)

    None

  • ANNECS: a neural network compiler and simulator

    Summary form only given, as follows. ANNECS is a software tool that compiles a high-level, object-oriented specification to a functionally equivalent neural network. It does this by realizing each object in the specification as a functionally equivalent cluster of neurons and synapses. All objects are defined ultimately in terms of just two primitives, the neuron and the synapse. Thus, the compilation method consists of recursively expanding each object into its constituent objects, until the definition consists of neurons and synapses only. Since clusters of neurons are embodiments of objects whose function is fully described within the specification, the functioning of the network may be completely understood. Moreover, since networks compiled in this way are functionally equivalent to their algorithmic specification, computation theory may be applied to these neural networks. An application which demonstrates these principles is discussed, i.e. a simple robot controller which picks up objects and drops them into holes as it moves around in a world containing stairs.<<ETX>>

  • Quantum computers

    Using atoms as digital bits will start a completely new era in computer design. Atoms cannot be simply manipulated and used like the bits built with transistors. The behavior of matter on the atomic scale follows the rules of modern physics. This behavior cannot be understood in terms of our classical description of the world (i. e. Newtonian mechanics or Maxwell's equations in electromagnetics). The physical theory dealing with such behavior is called quantum mechanics. Its use in the computer industry will most probably cause a revolution in the way we use and understand computers. The author describes how such a quantum computer-a computer based on the rules of quantum mechanics-may work, and how it is going to give incredible speed and problem- solving power.

  • Entire Object Reconstruction Using a Rotational Stage

    This paper presents a method for reconstruction of entire three-dimensional objects based on principles of the rotational stereo. The experimental system, which has three degrees of freedom (two for translation and one for rotation), uses an accurate stage to make all areas of the object surface visible. It only needs one camera to capture images and thus reduces the implementation cost. The object to be reconstructed is placed on a rotational device which can be precisely controlled by a computer. A series of images are easy to be obtained for recovering the complete model of the object. A few examples are carried out in the experiments. Results are very satisfactory in mean of both feasibility and accuracy.

  • Outline of a theory of massively parallel analog computation

    Summary form only given. The author proposes the following definition of massive parallelism. A computational system is massively parallel if the number of processing elements is so large that it may conveniently be considered a continuous quantity. The author proposes this definition of massive parallelism for a number of reasons. First, skillful behavior seems to require significant neural mass. Second, he is interested in computers, such as optical computers and molecular computers, for which the number of processing elements is effectively continuous. Third, continuous mathematics is generally easier than discrete mathematics. The author develops a theoretical framework for understanding massively parallel analog computers.<<ETX>>

  • On the knowledge computation theory for intelligent process control

    The problem of knowledge computation is put forward by dissecting the characteristics of industrial process control. A theory of knowledge computation for intelligent process control is proposed to overcome the difficulties of intelligent control for industrial processes. The theory is based on the characteristics of knowledge that can be quantified and numerically calculated to represent the space-time causality in an intelligent process control system. The intent and methodology of the knowledge computation theory for intelligent process control are presented. The computational properties of knowledge in intelligent process control can be described in three aspects: computation theory, algorithm and realization method. The problems of knowledge representation, reasoning and knowledge acquisition are studied.

  • Real-time traversal in grammar-based compressed files

    Summary form only given. In text compression applications, it is important to be able to process compressed data without requiring (complete) decompression. In this context it is crucial to study compression methods that allow time/space efficient access to any fragment of a compressed file without being forced to perform complete decompression. We study here the real-time recovery of consecutive symbols from compressed files, in the context of grammar-based compression. In this setting, a compressed text is represented as a small (a few Kb) dictionary D (containing a set of code words), and a very long (a few Mb) string based on symbols drawn from the dictionary D. The space efficiency of this kind of compression is comparable with standard compression methods based on the Lempel-Ziv approach. We show, that one can visit consecutive symbols of the original text, moving from one symbol to another in constant time and extra O(|D|) space. This algorithm is an improvement of the on-line linear (amortised) time algorithm presented in (L. Gasieniec et al, Proc. 13th Int. Symp. on Fund. of Comp. Theo., LNCS, vol.2138, p.138-152, 2001).

  • Computational foundations of basic recursive function theory

    The theory of computability often called basic recursive function theory is usually motivated and developed using Church's thesis. It is shown that there is an alternative computability theory in which some of the basic results on unsolvability become more absolute. Results on completeness become simpler, and many of the central concepts become more abstract. In this approach computations are viewed as mathematical objects, and the major theorems in recursion theory may be classified according to which axioms about computation are needed to prove them. The theory is a typed theory of functions over the natural numbers, and there are unsolvable problems in this setting independent of the existence of indexings. The unsolvability results are interpreted to show that the partial function concept serves to distinguish between classical and constructive type theories.<<ETX>>

  • Granular Computing in the Information Transformation of Pattern Recognition

    In the past decade, many papers about granular computing(GrC) have been published, but the key points about granular computing(GrC) are still unclear. In this paper, we try to find the key points of GrC in the information transformation of the pattern recognition. The information similarity is the main point in the original insight of granular computing (GrC) proposed by Zadeh(1997[1]). Many GrC researches are based on equivalence relation or more generally tolerance relation, equivalence relation or tolerance relation can be described by some distance functions and GrC can be geometrically defined in a framework of multiscale covering, at other hand, the information transformation in the pattern recognition can be abstracted as a topological transformation in a feature information space, so topological theory can be used to study GrC. The key points of GrC are (1) there are two granular computing approaches to change a high dimensional complex distribution domain to a low dimensional and simple domain, (2) these two kind approaches can be used in turn if feature vector itself can be arranged in a granular way.

  • Reinforcement learning in steady-state cellular genetic algorithms

    A novel cellular genetic algorithm is developed to address the issues of good mate selection. This is accomplished through reinforcement learning where good mating individuals attract and poor mating individuals repel. Adaptation of good mate choice occurs, thus leading to more efficient search. Results are presented for various test cases.



Standards related to Computation theory

Back to Top

Recommended Practice for Measurements and Computation of Electric, Magnetic and Electromagnetic Fields With Respect to Human Exposure to Such Fields, 0 - 100 kHz

This recommended practice describes 1) methods for measuring external electric and magnetic fields and contact currents to which persons may be exposed, 2) instrument characteristics and the methods for calibrating such instruments, and 3) methods for computation and the measurement of the resulting fields and currents that are induced in bodies of humans exposed to these fields. This recommended practice ...