In these notes we give a brief introduction to Kolmogorov complexity. The notes are based on the two talks given at KAM Spring School, Borová Lada, 2006.

Since the beginning of the nineties, the CEA (the French Atomic Energy Commisssion), has been being developing ultrasonic modeling tools dedicated to NDT simulation and, over the years, integrated in the CIVA software platform. The models allow to compute ultrasonic beams generated by transducers in the inspected components, to conceive phased arrays transducers and to predict echoes arising fr...

In today’s environment of shrinking resources, and consistent need for accurate inspections, simulation software is an effective cost cutting tool. CIVA is an advanced NDT simulation software dedicated to modeling ultrasonic (UT), radiographic (RT) and eddy current (ET) inspections without the need for physical test sample or inspection equipment. Each inspection module is comprised of simulati...

Since the beginning of the nineties, the CEA (the French Atomic Energy Commisssion), with developing the CIVA NDT expertise platform is greatly involved in the development of simulation tools. Over the years, and with successive versions of CIVA, the results of modeling research work have been being integrated into the software both for ultrasonics and Eddy current techniques. In order to fullf...

Collaboration networks provide a method for examining the highly heterogeneous structure of collaborative communities. However, we still have limited theoretical understanding of how individual heterogeneity relates to network heterogeneity. The model presented here provides a framework linking an individual’s skill set to her position in the collaboration network, and the distribution of skill...

In a recent publication on experimental haemarthrosis in the rabbit we described many interesting ultrastructural changes that occur in the synovial membrane (Roy and Ghadially, 1966). Two such changes attracted our attention: an increase in the number of intermediate and Type B synovial cells, and the occurrence of many small and large vesicles containing fiocculent and granular material. Howe...

By inducing two-photon absorption within the active layer of a 28nm test chip, we demonstrate nonlinear laser-assisted device alteration and single-event upsets by temporarily perturbing the timing characteristics of sensitive transistors. Individual qualitative and quantitative evaluations are presented for both techniques, with lateral resolutions demonstrated with sub-100nm performance. A si...

This paper presents a formalism, LADA, aimed especially at the description of systems and situations which arise during the design and analysis of groupware. We are particularly interested in highly distributed systems and so LADA explicitly models entities (people and things) acting at different unconnected locations. It not only describes the behaviour of the computer software, but also the s...