الصفحة 172
الصفحة 172
25 Years of Model Checking : History, Achievements, Perspectives
Model checking technology is among the foremost applications of logic to computer science and computer engineering. The model checking community has achieved many breakthroughs, bridging the gap between theoretical computer science and hardware and software engineering, and it is reaching out to new challenging areas such as system biology and hybrid systems. Model checking is extensively used in the hardware industry and has also been applied to the verification of many types of software. Model checking has been introduced into computer science and electrical engineering curricula at universities worldwide and has become a universal tool for the analysis of systems.
17th International Conference on Information Technology–New Generations (ITNG 2020)
This volume presents the 17th International Conference on Information Technology—New Generations (ITNG), and chronicles an annual event on state of the art technologies for digital information and communications. The application of advanced information technology to such domains as astronomy, biology, education, geosciences, security, and healthcare are among the themes explored by the ITNG proceedings. Visionary ideas, theoretical and experimental results, as well as prototypes, designs, and tools that help information flow to end users are of special interest. Specific topics include Machine Learning, Robotics, High Performance Computing, and Innovative Methods of Computing. The conference features keynote speakers; a best student contribution award, poster award, and service award; a technical open panel, and workshops/exhibits from industry, government, and academia.
11th Mediterranean Conference on Medical and Biomedical Engineering and Computing 2007 ; MEDICON 2007, 26-30 June 2007, Ljubljana, Slovenia
Biomedical engineering today is a well-recognized area of research. It brings together bright minds from diverse disciplines ranging from engineering, physics, and computer sciences on one side to biology and medicine on the other side. With valuable assistance of members of the International Advisory Committee and Scientific Program Committee, the co-organizing institutions and societies, our sponsors, and distinguished invited lecturers we will ensure that the research and development presented at MEDICON 2007 plenary meetings, scientific sessions, and workshops will truly be relevant and up-to-date. The MEDICON conferences are international events of high scientific standards with long lasting tradition held every third year in one of the Mediterranean countries under the auspices of the International Federation for Medical and Biological Engineering.
(IOT) Based street light, energy saving control system
Energy efficiency simply means using less energy to perform the same task. That is, to eliminate energy waste. Reducing energy use limits the number of carbon emissions in the environment, in turn, conserving energy produces a higher quality of life, helping create a healthier planet, or at least helping sustain the resources we already have; and if not now, then when? Hence, the main purpose of our project was to design and implement an energy saving street lights’ system, remotely controlling the lights so they consume the least amounts of energy possible using the modern technology; internet of things.
