Potentialities of optimal design methods and associated numerical tools for the development of new micro- and nanointelligent systems based on structural compliance - An example -

11 pagesInternational audienceThis paper deals with the interest and potential use of intelligent structures mainly based on compliant mechanisms (and optionally including smart materials), for the development of new micro- and nano-robotics devices. The state of the art in optimal design methods for the synthesis of intelligent compliant structures is briefly done. Then, we present the optimal method developed at CEA LIST, called FlexIn, and its new and still in development functionalities, which will be illustrated by a few simple design examples. An opening will be given about the possibility to address the field of Nanorobotics, while adding functionalities to the optimal design method

Rice-Like Theorems for Automata Networks

International audienceWe prove general complexity lower bounds on automata networks, in the style of Rice's theorem, but in the computable world. Our main result is that testing any fixed first-order property on the dynamics of an automata network is either trivial, or NP-hard, or coNP-hard. Moreover, there exist such properties that are arbitrarily high in the polynomial-time hierarchy. We also prove that testing a first-order property given as input on an automata network (also part of the input) is PSPACE-hard. Besides, we show that, under a natural effectiveness condition, any nontrivial property of the limit set of a nondeterministic network is PSPACE-hard. We also show that it is PSPACE-hard to separate deterministic networks with a very high and a very low number of limit configurations; however, the problem of deciding whether the number of limit configurations is maximal up to a polynomial quantity belongs to the polynomial-time hierarchy

Etude du comportement visqueux-visco-plastique de suspensions sédimentaires multi-échelle

International audienc

Design study and first performance simulation of the ELT/MICADO focal plane coronagraphs

In this paper, we present the design and the expected performance of the classical Lyot coronagraph for the high contrast imaging modes of the wide-field imager MICADO. MICADO is a near-IR camera for the Extremely Large Telescope (ELT, previously E-ELT), with wide-field, spectroscopic and coronagraphic capabilities. MICADO is one of the first-light instruments selected by the ESO. Optimized to work with a multi-conjugate adaptive optics corrections provided by the MOARY module, it will also come with a SCAO correction with a high-level, on-axis correction, making use of the M4 adaptive mirror of the telescope. After presenting the context of the high contrast imaging modes in MICADO, we describe the selection process for the focal plane masks and Lyot stop. We will also show results obtained in realistic conditions, taking into account AO residuals, atmospheric refraction, noise sources and simulating observations in angular differential imaging (ADI) mode. Based on SPHERE on-sky results, we will discuss the achievable gain in contrast and angular separation provided by MICADO over the current instruments on 10-m class telescopes, in particular for imaging young giant planets at very short separations around nearby stars as well as planets on wider orbits around more distant stars in young stellar associations.Comment: 10 pages, 5 figures, AO4ELT 5 conference proceedin

Increased production of soluble CTLA-4 in patients with spondylarthropathies correlates with disease activity

International audienceINTRODUCTION: Spondylarthropathies (SpA) are characterized by abnormal immune responses including T cell activation. Cytotoxic T lymphocyte associated molecule-4 (CTLA-4) is involved in down-regulating immune responses. A soluble form of CTLA-4 (sCTLA-4), resulting from an alternative splicing, has been identified and was found increased in several autoimmune diseases. Here, we evaluated circulating levels of sCTLA-4 as a marker of immune dysregulation in SpA. Intracellular CTLA-4 and levels of CTLA-4 transcript expression in peripheral blood lymphocytes (PBL) were also studied. METHODS: Sera from 165 patients with SpA were evaluated for sCTLA-4 measurements. Results were compared with those from 71 patients with rheumatoid arthritis (RA) and 88 healthy subjects. In 32 patients with SpA, 22 patients with RA and 15 healthy controls, we analyzed the intracellular CTLA-4 expression in CD4+ T cells, CD8+ T cells, activated (HLA-DR+Foxp3-) CD4+ T cells, CD4+ regulatory (CD25+Foxp3+) T cells and in CD3 negative cells by flow cytometry. Expression of the full length (coding for membrane CTLA-4) and spliced form (coding for sCTLA-4) of CTLA-4 transcripts in PBL were analyzed by quantitative real-time polymerase chain reaction (QRT-PCR). RESULTS: High levels of sCTLA-4 were found in the SpA group compared to the RA group and healthy controls (P < 0.0001). Soluble CTLA-4 serum levels strongly correlated with clinical index of disease activity BASDAI (r = 0.42, P < 0.0001) and C-reactive protein (CRP) levels (r = 0.17, P = 0.037). In contrast to RA patients, SpA patients did not exhibit changes in intracellular CTLA-4 expression in the different PBL subsets tested. Finally, the SpA group showed a preferential expression of the spliced CTLA-4 mRNA (P = 0.0014) in PBL. CONCLUSIONS: SpA patients exhibit high levels of circulating sCTLA-4 that may result from an alternative splicing of CTLA-4 transcripts. This may influence immune activation and regulation in SpA

Acute appendicitis: prospective evaluation of a diagnostic algorithm integrating ultrasound and low-dose CT to reduce the need of standard CT

Objectives: To evaluate an algorithm integrating ultrasound and low-dose unenhanced CT with oral contrast medium (LDCT) in the assessment of acute appendicitis, to reduce the need of conventional CT. Methods: Ultrasound was performed upon admission in 183 consecutive adult patients (111 women, 72 men, mean age 32) with suspicion of acute appendicitis and a BMI between 18.5 and 30 (step 1). No further examination was recommended when ultrasound was positive for appendicitis, negative with low clinical suspicion, or demonstrated an alternative diagnosis. All other patients underwent LDCT (30mAs) (step 2). Standard intravenously enhanced CT (180mAs) was performed after indeterminate LDCT (step 3). Results: No further imaging was recommended after ultrasound in 84 (46%) patients; LDCT was obtained in 99 (54%). LDCT was positive or negative for appendicitis in 81 (82%) of these 99 patients, indeterminate in 18 (18%) who underwent standard CT. Eighty-six (47%) of the 183 patients had a surgically proven appendicitis. The sensitivity and specificity of the algorithm were 98.8% and 96.9%. Conclusions: The proposed algorithm achieved high sensitivity and specificity for detection of acute appendicitis, while reducing the need for standard CT and thus limiting exposition to radiation and to intravenous contrast medi