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.
 
INI Workshop TGMW40 — Algorithmic trading: perspectives from mathematical modelling
ID
868188
Date de début
01 mar 2017
Lieu
Cambridge, Royaume-Uni
2.
 
DCC — 2017 Data Compression Conference
ID
838247
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.
3.
 
SNR'17 — 3nd International Workshop on Symbolic and Numerical Methods for Reachability Analysis
ID
855496
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
4.
 
ARITH — 2017 IEEE 24th Symposium on Computer Arithmetic
ID
837129
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
818602
Dates
04 sep 2017 - 08 sep 2017
Lieu
Cambridge, Royaume-Uni
6.
 
ICMMI 2017 — International Conference on Man-Machine Interactions
ID
870019
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.
 
DCC — 2018 Data Compression Conference
ID
874308
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: 29 Janvier 2017