Société de Mathématiques Appliquées et Industrielles

The Société de Mathématiques Appliquées et Industrielles (SMAI) is a French scientific society aiming at promoting applied mathematics, similarly to the Society for Industrial and Applied Mathematics (SIAM).

Not to be confused with Society for Industrial and Applied Mathematics.

SMAI was founded in 1983 to contribute to the development of applied mathematics for research, commercial applications, publications, teaching, and industrial training. As of 2009, the society has nearly 1300 members, including both individuals and institutions.

SMAI is directed by an administration elected by the general assembly. Its chief activities are:

  • to organize conferences and workshops,
  • to publish the thrice-yearly bulletin Matapli, which contains overviews, book reviews, and information about theses and upcoming conferences,
  • to publish scholarly journals including Modélisation Mathématique et Analyse Numérique (M2AN), Contrôle Optimisation et Calcul des Variations (COCV), Probabilités et Statistiques (P&S), Recherche opérationnelle (RO), ESAIM: Proceedings and Surveys, and the cross-disciplinary journal MathematicS in Action (MathS in A.).

Prizes
  • Prix Jacques-Louis Lions, established in 2003 with INRIA et le CNES, recognized by the Académie des Sciences
  • Prix Blaise Pascal, established in 1984 with GAMNI, recognized by the Académie des Sciences
  • Grand Prix Louis Bachelier established in 2007 with the NATIXIS Foundation for Quantitative Research", awarded by the French Academy of Sciences until 2012 and jointly with the London Mathematical Society since 2014.
  • Prix Lagrange de l'ICIAM, established in 1998 with SEMA (Spain) and SIMAI (Italy)
  • Prix Maurice Audin, awarded by SMF and SMAI

Interest groups

SMAI contains five special interest groups, organized by specific mathematical areas, as follows:

  • SMAI-GAMNI (Groupe thématique pour l’Avancement des Méthodes Numériques de l’Ingénieur) which promotes the use of numerical analysis in industry.
  • SMAI-MAIRCI (Mathématiques Appliquées, Informatique, Réseaux, Calcul, Industrie) which is at the frontiers of interdisciplinary applied mathematics.
  • SMAI-MAS (Modélisation Aléatoire et Statistique) which promotes the use of statistics and probability in industry.
  • SMAI-MODE (Mathématiques de l’Optimisation et de la Décision) which is dedicated to fields such as nonlinear analysis, optimization, discrete mathematics, operational research, and mathematical modeling in economics, finance, and the social sciences.
  • SMAI-SIGMA (Signal - Image - Géométrie - Modélisation - Approximation; formerly SMAI-AFA Association Française d’Approximation) to promote the study and use of approximations in general.
gollark: This is underspecified because bee² you, yes.
gollark: All numbers are two's complement because bee you.
gollark: The rest of the instruction consists of variable-width (for fun) target specifiers. The first N target specifiers in an operation are used as destinations and the remaining ones as sources. N varies per opcode. They can be of the form `000DDD` (pop/push from/to stack index DDD), `001EEE` (peek stack index EEE if source, if destination then push onto EEE if it is empty), `010FFFFFFFF` (8-bit immediate value FFFFFFFF; writes are discarded), `011GGGGGGGGGGGGGGGG` (16-bit immediate value GGGGGGGGGGGGGGGG; writes are also discarded), `100[H 31 times]` (31-bit immediate because bee you), `101IIIIIIIIIIIIIIII` (16 bits of memory location relative to the base memory address register of the stack the operation is conditional on), `110JJJJJJJJJJJJJJJJ` (16 bit memory location relative to the top value on that stack instead), `1111LLLMMM` (memory address equal to base memory address of stack LLL plus top of stack MMM), or `1110NNN` (base memory address register of stack MMM).Opcodes (numbered from 0 in order): MOV (1 source, as many destinations as can be parsed validly; the value is copied to all of them), ADD (1 destination, multiple sources), JMP (1 source), NOT (same as MOV), WR (write to output port; multiple sources, first is port number), RE (read from input port; one source for port number, multiple destinations), SUB, AND, OR, XOR, SHR, SHL (bitwise operations), MUL, ROR, ROL, NOP, MUL2 (multiplication with two outputs).
gollark: osmarksISA™️-2028 is a VLIW stack machine. Specifically, it executes a 384-bit instruction composed of 8 48-bit operations in parallel. There are 8 stacks, for safety. Each stack also has an associated base memory address register, which is used in some "addressing modes". Each stack holds 64-bit integers; popping/peeking an empty stack simply returns 0, and the stacks can hold at most 32 items. Exceeding a stack's capacity is runtime undefined behaviour. The operation encoding is: `AABBBCCCCCCCCC`:A = 2-bit conditional operation mode - 0 is "run unconditionally", 1 is "run if top value on stack is 0", 2 is "run if not 0", 3 is "run if first bit is ~~negative~~ 1".B = 3-bit index for the stack to use for the conditional.C = 9-bit opcode (for extensibility).
gollark: By "really fast", I mean "in a few decaminutes, probably".
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.