Conférences - Algorithmes

Conference-Service.com met à la disposition de ses visiteurs des listes de conférences et réunions dans le domaine scientifique. Ces listes sont publiées pour le bénéfice des personnes qui cherchent une conférence, mais aussi, bien sûr, pour celui des organisateurs. Noter que, malgré tout le soin que nous apportons à la vérification des données entrées dans nos listes, nous ne pouvons accepter de responsabilité en ce qui concerne leur exactitude ou étendue. Pensez donc à vérifier les informations présentées avec les organisateurs de la conférence ou de la réunion avant de vous engager à y participer!

Les organisateurs peuvent soumettre une réunion ou une conférence pour inclusion dans nos listes, et ceci gratuitement.

TOUS LES PAYS

1.
 
DCC — 2017 Data Compression Conference
ID
838203
Dates
04 avr 2017 - 07 avr 2017
Lieu
Snowbird, UT, États-Unis
Résumé
The Data Compression Conference (DCC) is an international forum for current work concerning data compression and related applications. The conference addresses not only compression methods for specific types of data (text, images, video, audio, medical and scientific data, graphics, web content, etc.), but also the use of techniques from information theory and data compression in networking, communications, and storage applications involving large datasets (including image and information mining, retrieval, archiving, backup, communications, and human-computer interface). Both theoretical and experimental work is of interest.
2.
 
SNR'17 — 3nd International Workshop on Symbolic and Numerical Methods for Reachability Analysis
ID
855452
Date de début
22 avr 2017
Lieu
Uppsala, Suède
Résumé
Hybrid systems are complex dynamical systems that combine discrete and continuous components. Reachability questions, regarding whether a system can run into a certain subset of its state space, stand at the core of verification and synthesis problems for hybrid systems. There are several successful methods for hybrid systems reachability analysis. Some methods explicitly construct flow-pipes that over-approximate the set of reachable states over time, where efficient computation of such over-approximations requires symbolic representations such as support functions. Other methods based on satisfiability checking technologies, symbolically encode reachability properties as logical formulas, while solving such formulas requires numerically-driven decision procedures. Last but not least, also automated deduction and the usage of theorem provers led to efficient analysis approaches. The goal of this workshop is to bring together researchers working with different reachability analysis techniques and to seek for synergies between the different approaches.
Contact
Erika Abraham;     Email.: abraham@cs.rwth-aachen.de
Sujets
cyber-physical systems, hybrid systems, formal methods, verification, safety, reachability analysis, simulation
Sujets apparentés
3.
 
CMBA 2017 — Computational Methods for Business Analytics
ID
893880
Dates
03 jul 2017 - 06 jul 2017
Lieu
Trieste, Italie
Résumé
CMBA 2017 International Workshop will be held in the 17th International Conference on Computational Science and its Applications (ICCSA 2017) Trieste, Italy, July 3 - 6, 2017 (http://www.iccsa.org/)
Contact
Telmo Pinto;     Email.: telmo@dps.uminho.pt
Sujets
A non-exhaustive list of topics for the CMBA 2017 is as follows: Integer linear programming and combinatorial optimization approaches; Exact optimization algorithms: branch-and-bound, polyhedral approaches, decomposition-based methods, reformulations; Heuristics, meta-heuristics, matheuristics and model based metaheuristics for integer linear programming and combinatorial optimization; Real-world applications in industry and services: operations management, supply chain management, logistics and transportation, scheduling, production management and distribution, warehousing, location, energy, telecommunications, project management, healthcare; Optimization software and decision support systems
4.
 
ARITH — 2017 IEEE 24th Symposium on Computer Arithmetic
ID
837030
Dates
17 jul 2017 - 19 jul 2017
Lieu
Londres, Royaume-Uni
Résumé
Since 1969, the ARITH symposia have served as the primary and reference conference for presenting scientific work on the latest research in computer arithmetic. The topics of the conference include theoretical aspects, number systems, algorithms for operations and math functions, implementations, validation, and applications of computer arithmetic.
5.
 
INI Workshop VMVW01 — Variational Methods, New Optimization Techniques and New Fast Numerical Algorithm
ID
818624
Dates
04 sep 2017 - 08 sep 2017
Lieu
Cambridge, Royaume-Uni
6.
 
ICMMI 2017 — International Conference on Man-Machine Interactions
ID
870008
Dates
03 oct 2017 - 06 oct 2017
Lieu
Cracovie, Pologne
Résumé
Whether we like it or not, machines have become an indispensable part of a man’s life. There are those who say that humans are enslaved to modern technology and reject progress and new technological achievements on principle, while, on the other hand, fanatics of new trends simply must have not only the latest necessary and useful tools but every gadget and gimmick as well. Oftentimes we put our lives into the virtual or quite literal hands of machines when we accept that they make life-or-death decisions for us. They are considered with philosophical or ethical attitude when we ask questions if artificial intelligence is real, or talk about thinking machines. They enable us to study secrets of DNA on the micro, and the whole Universe on the macro scale.

This conference covers the whole spectrum of theory and practice of man-machine interactions, focusing on automatic knowledge acquisition and processing employed in decision support systems, constantly evolving computational techniques, specialised user interfaces accessible also for disabled, and artificial intelligence methods applied in such areas as computer vision or biosciences. The ICMMI Conference is inherently interdisciplinary as it aims to bring together scientists working in all these fields, providing an international forum for exchanging ideas, setting questions and problems for discussion, sharing the experience and knowledge among wide community of scientists.

Contact
Pawel Foszner;     Email.: icmmi@polsl.pl
Sujets
Computational intelligence fuzzy sets rough sets near sets intelligent systems evolutionary computation neural networks granular computing soft computing soft control approximate reasoning Data mining and decision support machine learning knowledge discovery advances in expert systems autonomous agents support vector machines statistics man-machine automation autonomous agents AI and simulations in biosciences bioinformatics and genetics population genetics biostatistics microarray analysis computer modelling in biology perceptual systems telemedicine and e-health mechatronics and bio-mechatronics bio-sensors Assistive technologies e-learning for disabled accessible computer hardware computer software for disabled robots and dedicated devices accessible internet adaptive and intuitive interfaces Data processing, storage and transfer data warehouses data storage and retrieval computer networks and communication systems microcontrollers and microsystems multimedia systems compression techniques system integration web mining Internet of Things M2M technology semantic network Pattern recognition computer vision image recognition image processing topology of images recognition and processing of audio signals topology of images advanced computer graphics
Sujets apparentés
7.
 
ATCM 2017 — The 22nd Asian Technology Conference in Mathematics
ID
881723
Dates
15 dec 2017 - 19 dec 2017
Lieu
Chung Yuan Christian University, Chungli, Taïwan
Résumé
The ATCM 2017 is an international conference to be held in Chungli, Taiwan, that will continue addressing technology-based issues in all Mathematical Sciences. Thanks to advanced technological tools such as computer algebra systems (CAS), interactive and dynamic geometry, and hand-held devices, the effectiveness of our teaching and learning, and the horizon of our research in mathematics and its applications continue to grow rapidly. The aim of this conference is to provide a forum for educators, researchers, teachers and experts in exchanging information regarding enhancing technology to enrich mathematics learning, teaching and research at all levels. English is the official language of the conference. ATCM averagely attracts 350 participants representing over 30 countries around the world. Be sure to submit your abstracts or full papers in time.
8.
 
SODA18 — ACM-SIAM Symposium on Discrete Algorithms
ID
881776
Dates
07 jan 2018 - 10 jan 2018
Lieu
Astor Crowne Plaza - New Orleans French Quarter, N, États-Unis
Résumé
This symposium focuses on research topics related to efficient algorithms and data structures for discrete problems. In addition to the design of such methods and structures, the scope also includes their use, performance analysis, and the mathematical problems related to their development or limitations. Performance analyses may be analytical or experimental and may address worst-case or expected-case performance. Studies can be theoretical or based on data sets that have arisen in practice and may address methodological issues involved in performance analysis.
9.
 
DCC — 2018 Data Compression Conference
ID
874319
Dates
27 mar 2018 - 30 mar 2018
Lieu
Snowbird, UT, États-Unis
Résumé
The Data Compression Conference (DCC) is an international forum for current work concerning data compression and related applications. The conference addresses not only compression methods for specific types of data (text, images, video, audio, medical and scientific data, graphics, web content, etc.), but also the use of techniques from information theory and data compression in networking, communications, and storage applications involving large datasets (including image and information mining, retrieval, archiving, backup, communications, and human-computer interface). Both theoretical and experimental work is of interest.

Bon à savoir...

Vous pouvez insérer un encadré afin de diffuser vos évènements et services dans cet espace.

Dernière mise à jour: 22 Mars 2017