Conferences related to Explosions

Back to Top

2018 14th International Workshop on Discrete Event Systems (WODES)

The interdisciplinary field of Discrete Event Systems (DES) combines different formalisms, methodologies and tools from control, computer science and operations research. The research activity in this field is driven by the needs of many different applications domains: manufacturing, process control, supervisory systems, software engineering, transportation, and so on. Discrete Event Systems is now a mature field and many interesting applications have been developed. This 14th International Workshop on Discrete Event Systems will be hosted at Hotel Stabiae Sorrento Coast, Sorrento Coast, Italy. It aims to provide researchers from different fields (control theoreticians and control engineers, software engineers and computer scientists, operations research specialists) with an opportunity to exchange information and new ideas, and to discuss new developments in the field of DES theory and applications.


2018 24th International Conference on Pattern Recognition (ICPR)

ICPR will be an international forum for discussions on recent advances in the fields of Pattern Recognition, Machine Learning and Computer Vision, and on applications of these technologies in various fields

  • 2016 23rd International Conference on Pattern Recognition (ICPR)

    ICPR'2016 will be an international forum for discussions on recent advances in the fields of Pattern Recognition, Machine Learning and Computer Vision, and on applications of these technologies in various fields.

  • 2014 22nd International Conference on Pattern Recognition (ICPR)

    ICPR 2014 will be an international forum for discussions on recent advances in the fields of Pattern Recognition; Machine Learning and Computer Vision; and on applications of these technologies in various fields.

  • 2012 21st International Conference on Pattern Recognition (ICPR)

    ICPR is the largest international conference which covers pattern recognition, computer vision, signal processing, and machine learning and their applications. This has been organized every two years by main sponsorship of IAPR, and has recently been with the technical sponsorship of IEEE-CS. The related research fields are also covered by many societies of IEEE including IEEE-CS, therefore the technical sponsorship of IEEE-CS will provide huge benefit to a lot of members of IEEE. Archiving into IEEE Xplore will also provide significant benefit to the all members of IEEE.

  • 2010 20th International Conference on Pattern Recognition (ICPR)

    ICPR 2010 will be an international forum for discussions on recent advances in the fields of Computer Vision; Pattern Recognition and Machine Learning; Signal, Speech, Image and Video Processing; Biometrics and Human Computer Interaction; Multimedia and Document Analysis, Processing and Retrieval; Medical Imaging and Visualization.

  • 2008 19th International Conferences on Pattern Recognition (ICPR)

    The ICPR 2008 will be an international forum for discussions on recent advances in the fields of Computer vision, Pattern recognition (theory, methods and algorithms), Image, speech and signal analysis, Multimedia and video analysis, Biometrics, Document analysis, and Bioinformatics and biomedical applications.

  • 2002 16th International Conference on Pattern Recognition


2018 53rd International Universities Power Engineering Conference (UPEC)

UPEC is a long-established international conference which provides a major forum for scientists, young researchers, PhD students and engineers worldwide to present, review and discuss the latest developments in Electrical Power Engineering and relevant technologies including energy storage and renewables

  • 2016 51st International Universities Power Engineering Conference (UPEC)

    UPEC is a long-established conference, which is very popular with young researchers, PhD students and engineers from the electrical power industry. The aim of the conference is to allow participants to exchange experiences and discuss the most up-to-date topics in Power Engineering. The global energy challenge, the ageing of electrical networks in industrial countries, and the extension of the grid systems in developing countries require significant research input in the area. UPEC is an ideal forum to address some of these issues, and to network and meet with talented engineers and innovators in these areas.

  • 2015 50th International Universities Power Engineering Conference (UPEC)

    The conference provides a major international focus for the presentation, discussion and exchange of information concerning new trends in Electrical Power Engineering. The conference is very popular with young researchers, PhD students and engineers from the electrical power industry. Given the major challenges now facing the electrical power industry, and the energy sector in general, this conference provides an ideal opportunity to address some of these challenges.

  • 2014 49th International Universities Power Engineering Conference (UPEC)

    Given the major challenges now facing the electrical power industry, and the energy sector in general, this conference provides an ideal opportunity to address some of these challenges. It also provides the opportunity to network and to meet the experts in these areas.

  • 2013 48th Universities' Power Engineering Conference (UPEC)

    The conference provides a major international focus for the presentation, discussion and exchange of information concerning new trends in Electrical Power Engineering. The conference is very popular with young researchers, PhD students and engineers from the electrical power industry. Given the major challenges now facing the electrical power industry, and the energy sector in general, this conference provides an ideal opportunity to address some of these challenges.

  • 2012 47th International Universities Power Engineering Conference (UPEC)

    A major international forum for the presentation, discussion and exchange of information concerning new trends in electrical power engineering. To become better informed about the latest developments in the field of power engineering.

  • 2010 45th International Universities Power Engineering Conference (UPEC)

    The global energy challenge, the ageing of electrical networks in industrial countries, and the extension of the grids in developing countries require significant research effort and the need for talented engineers and innovators is critical to the electrical energy industry. UPEC is an ideal forum to address such issues, and to network and meet experts in these areas

  • 2009 44th International Universities Power Engineering Conference (UPEC)

    UPEC has been long-established as a major annual international forum for the presentation, discussion and exchange of information concerning new trends in all areas of electric power engineering. Contributions from younger engineers and researchers are particularly encouraged at UPEC, where ideas can be aired freely and new relationships developed.

  • 2008 43rd International Universities Power Engineering Conference (UPEC)

    Its aim will be to provide a professional forum for engineers and research scientists from the universities, consultants, and in the manufacturing and supply industries opportunities to present their work and explore potential trends and recent developments, current practices in Power Engineering and related fields.

  • 2007 Universities Power Engineering Conference (UPEC)

  • 2006 International Universities Power Engineering Conference (UPEC)

  • 2004 International Universities Power Engineering Conference (UPEC)


2017 10th International Symposium on Computational Intelligence and Design (ISCID)

Computational Intelligence techniques typically include Fuzzy Logic, Evolutionary Computation, Intelligent Agent Systems, Neural Networks, Cellular Automata, Artificial Immune Systems and other similar computational models. The application of computational intelligence techniques into industrial design, interactive design, media design, and engineering design are also within the scope.

  • 2016 9th International Symposium on Computational Intelligence and Design (ISCID)

    Computational Intelligence techniques typically include Fuzzy Logic, Evolutionary Computation, Intelligent Agent Systems, Neural Networks, Cellular Automata, Artificial Immune Systems and other similar computational models.

  • 2015 8th International Symposium on Computational Intelligence and Design (ISCID)

    Computational Intelligence techniques typically include Fuzzy Logic, Evolutionary Computation,Intelligent Agent Systems, Neural Networks, Cellular Automata, Artificial Immune Systems andother similar computational models.

  • 2014 7th International Symposium on Computational Intelligence and Design (ISCID)

    Computational Intelligence techniques typically include Fuzzy Logic, Evolutionary Computation,Intelligent Agent Systems, Neural Networks, Cellular Automata, Artificial Immune Systems andother similar computational models.

  • 2013 6th International Symposium on Computational Intelligence and Design (ISCID)

    Computational Intelligence techniques typically include Fuzzy Logic, Evolutionary Computation, Intelligent Agent Systems, Neural Networks, Cellular Automata, Artificial Immune Systems and other similar computational models.

  • 2012 5th International Symposium on Computational Intelligence and Design (ISCID)

    Computational Intelligence techniques typically include Fuzzy Logic, Evolutionary Computation, Intelligent Agent Systems, Neural Networks, Cellular Automata, Artificial Immune Systems and other similar computational models.

  • 2011 4th International Symposium on Computational Intelligence and Design (ISCID)

    Computational Intelligence techniques typically include Fuzzy Logic, Evolutionary Computation, Intelligent Agent Systems, Neural Networks, Cellular Automata, Artificial Immune Systems and other similar computational models. Computational Intelligence constitutes an umbrella of techniques, has proven to be flexible in decision making in dynamic environment.

  • 2010 3rd International Symposium on Computational Intelligence and Design (ISCID)

    ISCID 2010 will be held at Hangzhou, China in 29-31, October 2010. It provides researchers and practitioners interested in new information technologies an opportunity to highlight innovative research directions, novel applications, and a growing number of relationships between rough sets and such are as computational intelligence, knowledge discovery and design.

  • 2009 2nd International Symposium on Computational Intelligence and Design (ISCID)

    This symposium provide researchers and practitioners interested in new information technologies an opportunity to highlight innovative research directions, novel applications, and a growing number of relationships between rough sets and such areas as computational intelligence, knowledge discovery and data mining, non-conventional models of computation and design.

  • 2008 International Symposium on Computational Intelligence and Design (ISCID)

    computational intelligence, knowledge discovery and data mining, intelligent information systems, web mining, synthesis and analysis of complex objects , non-conventional models of computation and Industrial Design.


2017 12th International Forum on Strategic Technology (IFOST)

New materials and nanotechnologies , Information and communication technologies , Information and communication technologies , Power engineering and electric power electronics , etc


More Conferences

Periodicals related to Explosions

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.


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


Computer

Computer, the flagship publication of the IEEE Computer Society, publishes peer-reviewed technical content that covers all aspects of computer science, computer engineering, technology, and applications. Computer is a resource that practitioners, researchers, and managers can rely on to provide timely information about current research developments, trends, best practices, and changes in the profession.


More Periodicals


Xplore Articles related to Explosions

Back to Top

Timing coverification of concurrent embedded real-time systems

P. -A. Hsiung Hardware/Software Codesign, 1999. (CODES '99) Proceedings of the Seventh International Workshop on, 1999

Hardware-software codesign results of concurrent embedded real-time systems are often not easily verifiable. The main difficulty lies in the different time-scales of the embedded hardware, of the embedded software, and of the environment. This rate difference causes state-space explosions and hence coverification has been mostly restricted to the initial system specifications. Currently, most codesign tools or methodologies only support validation ...


The role of mutation analysis for property qualification

Luigi Di Guglielmo; Franco Fummi; Graziano Pravadelli 2009 7th IEEE/ACM International Conference on Formal Methods and Models for Co-Design, 2009

The paper proposes a comprehensive methodology for property qualification based on a combination of dynamic and static techniques. In particular, given a set of properties defined to check the correctness of a design implementation, the methodology first evaluates property coverage, property overspecification, and it identifies vacuous properties. This is commonly performed by exploiting mutation analysis and automatic testbenches generation, i.e., ...


Stochastic Continuous Petri Nets: An Approximation of Markovian Net Models

C. Renato Vazquez; Manuel Silva IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans, 2012

Fluidization constitutes a relaxation technique to study discrete event systems through a continuous approximated model, thus overcoming the state explosion problem. In this paper, the approximation of the average marking of Markovian Petri nets by the marking of the corresponding timed continuous Petri nets, under infinite-server semantics, is studied. This represents a sort of legitimization for the use of a ...


Hardness for Explicit State Software Model Checking Benchmarks

N. Rungta; E. G. Mercer Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007), 2007

Directed model checking algorithms focus computation resources in the error- prone areas of concurrent systems. The algorithms depend on some empirical analysis to report their performance gains. Recent work characterizes the hardness of models used in the analysis as an estimated number of paths in the model that contain an error. This hardness metric is computed using a stateless random ...


Overview Reflections on the Spectrum-Management Process

Wilfrid Dean IEEE Transactions on Electromagnetic Compatibility, 1977

Heinrich Hertz' discovery regarding the transmission and reception of electromagnetic energy touched off a veritable explosion of uses of the radio frequency spectrum; a continuing reality. As early as 1922, the proliferation of radio operations exceeded the then available spectrum and rumors of "chaos and confusion" were rampant. Regulatory measures were brought into being at both the national and international ...


More Xplore Articles

Educational Resources on Explosions

Back to Top

eLearning

Timing coverification of concurrent embedded real-time systems

P. -A. Hsiung Hardware/Software Codesign, 1999. (CODES '99) Proceedings of the Seventh International Workshop on, 1999

Hardware-software codesign results of concurrent embedded real-time systems are often not easily verifiable. The main difficulty lies in the different time-scales of the embedded hardware, of the embedded software, and of the environment. This rate difference causes state-space explosions and hence coverification has been mostly restricted to the initial system specifications. Currently, most codesign tools or methodologies only support validation ...


The role of mutation analysis for property qualification

Luigi Di Guglielmo; Franco Fummi; Graziano Pravadelli 2009 7th IEEE/ACM International Conference on Formal Methods and Models for Co-Design, 2009

The paper proposes a comprehensive methodology for property qualification based on a combination of dynamic and static techniques. In particular, given a set of properties defined to check the correctness of a design implementation, the methodology first evaluates property coverage, property overspecification, and it identifies vacuous properties. This is commonly performed by exploiting mutation analysis and automatic testbenches generation, i.e., ...


Stochastic Continuous Petri Nets: An Approximation of Markovian Net Models

C. Renato Vazquez; Manuel Silva IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans, 2012

Fluidization constitutes a relaxation technique to study discrete event systems through a continuous approximated model, thus overcoming the state explosion problem. In this paper, the approximation of the average marking of Markovian Petri nets by the marking of the corresponding timed continuous Petri nets, under infinite-server semantics, is studied. This represents a sort of legitimization for the use of a ...


Hardness for Explicit State Software Model Checking Benchmarks

N. Rungta; E. G. Mercer Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007), 2007

Directed model checking algorithms focus computation resources in the error- prone areas of concurrent systems. The algorithms depend on some empirical analysis to report their performance gains. Recent work characterizes the hardness of models used in the analysis as an estimated number of paths in the model that contain an error. This hardness metric is computed using a stateless random ...


Overview Reflections on the Spectrum-Management Process

Wilfrid Dean IEEE Transactions on Electromagnetic Compatibility, 1977

Heinrich Hertz' discovery regarding the transmission and reception of electromagnetic energy touched off a veritable explosion of uses of the radio frequency spectrum; a continuing reality. As early as 1922, the proliferation of radio operations exceeded the then available spectrum and rumors of "chaos and confusion" were rampant. Regulatory measures were brought into being at both the national and international ...


More eLearning Resources

IEEE.tv Videos

No IEEE.tv Videos are currently tagged "Explosions"

IEEE-USA E-Books

  • Two

    This chapter contains sections titled: * Star Fox and Rez * Activity Profiling and Genre Theory * Applying Aesthetic Theory * The Method of Game Analysis * Tetsuya Mizuguchi, Rez, and Beyond * Summary * Further Reading and Tasks

  • Digital Memories and the Personal Content Explosion

    This chapter contains sections titled: Digital Us You and This Book Contents at a Glance

  • MEMORY¿¿¿EFFICIENT STATE¿¿¿SPACE ANALYSIS IN SOFTWARE MODEL CHECKING

    This chapter shows how the memory requirement for model checking could be reduced by storing states in difference form. Consequently, model checking would acquire a bigger role in the verification of a wide range of software. This ensures the safety and reliability of software systems and enhances their usability. Experimental results indicate that the models presented require significantly less memory to verify a software system. Furthermore, the solutions presented are found to perform better with larger models. Contemporary systems have a high level of complexity, often leading to large models. Therefore, the solutions presented are addressing a niche for such systems.

  • The Challenge of Information Balance in the Age of Affluent Communication

    This chapter contains sections titled: * Introduction * Quantitative Aspects of Information Overload * Qualitative Aspects of Information Overload * Conclusion * A Call for Fundamental Research * References * Xerox Takes on Information Overload * Identifying the Problem * Sharing Information * Sorting Information * Cutting Through the Clutter * Life-Saving Software * Urban Central Nervous System

  • Of , 24/7 Media, and Data Deluge: The Evolution of Information Overload Theories and Concepts

    This chapter contains sections titled: * Introduction * Theory and Concept of Information Overload * Information Overload as a Twentieth Century Phenomenon * Evolution of Information and Its Proliferation in Society * Information Overload Concepts * Conclusion and Four Lessons Learned * Acknowledgment * References



Standards related to Explosions

Back to Top

No standards are currently tagged "Explosions"