Many industrial microprocessing applications that use femtosecond lasers have been developed in a variety of sectors, including medical and semiconductors. To access new large-scale such as surface texturing however, robust industrial-grade beam shaping solutions need to be combined with lasers. Cailabs Light Conversion partnership demonstrate the quality robustness their solution using Canunda...

ASTRÉE was the first static analyzer able to prove automatically the total absence of runtime errors of actual industrial programs of hundreds of thousand lines. What makes ASTRÉE such an innovative tool is its scalability, while retaining the required precision, when it is used to analyze a specific class of programs: that of reactive control-command software. In this paper, we discuss the imp...

OBJECTIVES Behavioral interventions are effective strategies for HIV/AIDS prevention and control. However, implementation of such strategies relies heavily on the accurate estimation of the high-risk population size. The multiplier method and generalized network scale-up method were recommended to estimate the population size of those at high risk for HIV by UNAIDS/WHO in 2003 and 2010, respect...