Search results for "SETS"
showing 10 items of 592 documents
Lightweight LCP construction for next-generation sequencing datasets
2012
The advent of "next-generation" DNA sequencing (NGS) technologies has meant that collections of hundreds of millions of DNA sequences are now commonplace in bioinformatics. Knowing the longest common prefix array (LCP) of such a collection would facilitate the rapid computation of maximal exact matches, shortest unique substrings and shortest absent words. CPU-efficient algorithms for computing the LCP of a string have been described in the literature, but require the presence in RAM of large data structures. This prevents such methods from being feasible for NGS datasets. In this paper we propose the first lightweight method that simultaneously computes, via sequential scans, the LCP and B…
ARTIFICIAL INTELLIGENCE VS DESIGNER: THE IMPACT OF ARTIFICIAL INTELLIGENCE ON DESIGN PRACTICE
2021
Technological advances, including the use of possibilities offered by artificial intelligence (AI), have become an area of strategic importance and a key driver of economic development. AI today has been integrated into a variety of economies, the design industry is no exception: AI is being increasingly applied in the development of design products and services. However, as technological breakthroughs rapidly shift the borders between the work tasks performed by humans and those performed by machines and algorithms, global labor markets are undergoing major transformations. This raises the question: how are these changes affecting and will continue to affect designers’ work in the future? …
Extending CSG with projections: Towards formally certified geometric modeling
2015
We extend traditional Constructive Solid Geometry (CSG) trees to support the projection operator. Existing algorithms in the literature prove various topological properties of CSG sets. Our extension readily allows these algorithms to work on a greater variety of sets, in particular parametric sets, which are extensively used in CAD/CAM systems. Constructive Solid Geometry allows for algebraic representation which makes it easy for certification tools to apply. A geometric primitive may be defined in terms of a characteristic function, which can be seen as the zero-set of a corresponding system along with inequality constraints. To handle projections, we exploit the Disjunctive Normal Form,…
Towards A Twitter Observatory: A Multi-Paradigm Framework For Collecting, Storing And Analysing Tweets
2016
International audience; In this article we show how a multi-paradigm framework can fulfil the requirements of tweets analysis and reduce the waiting time for researchers that use computational resources and storage systems to support large-scale data analysis. The originality of our approach is to combine concerns about data harvesting, data storage, data analysis and data visualisation into a framework that supports inductive reasoning in multidisciplinary scientific research. Our main contribution is a polyglot storage system with a generic data model to support logical data independence and a set of tools that can provide a suitable solution for mixing different types of algorithms in or…
Sobolev and bounded variation functions on metric measure spaces
2014
International audience
ÉQUATIONS DIFFÉRENTIELLES À COEFFICIENTS DANS DES CORPS DE SÉRIES GÉNÉRALISÉES.
2007
We express the connection between the support of some equations and those of generalized series solutions. On the one hand we prove that any real power series solution of a sub-analytic differential equation belong to a lattice (i.e. an additive sub semi-group of positive reals). On the other hand we consider the field Mr of series with well-ordered support included in the Hahn product Hr with finite rank r (i.e. the lexicographic product of r copies of the reals). We equip Mr with a "Hardy type" derivation and define some well-ordered sets T1, ..., Tr such that : for all equation F(y,...,y(n))=0 with F in Mr[[Y0,...,Yn]] and whose support Supp F is a well-ordered subset of Hr, and for all …
Characterization of the Clarke regularity of subanalytic sets
2017
International audience; In this note, we will show that for a closed subanalytic subset $A \subset \mathbb{R}^n$, the Clarke tangential regularity of $A$ at $x_0 \in A$ is equivalent to the coincidence of the Clarke's tangent cone to $A$ at $x_0$ with the set \\$$\mathcal{L}(A, x_0):= \bigg\{\dot{c}_+(0) \in \mathbb{R}^n: \, c:[0,1]\longrightarrow A\;\;\mbox{\it is Lipschitz}, \, c(0)=x_0\bigg\}.$$Where $\dot{c}_+(0)$ denotes the right-strict derivative of $c$ at $0$. The results obtained are used to show that the Clarke regularity of the epigraph of a function may be characterized by a new formula of the Clarke subdifferential of that function.
Differential inclusions involving normal cones of nonregular sets in Hilbert spaces
2017
This thesis is dedicated to the study of differential inclusions involving normal cones of nonregular sets in Hilbert spaces. In particular, we are interested in the sweeping process and its variants. The sweeping process is a constrained differential inclusion involving normal cones which appears naturally in several applications such as elastoplasticity, electrical circuits, hysteresis, crowd motion, etc.This work is divided conceptually in three parts: Study of positively alpha-far sets, existence results for differential inclusions involving normal cones and characterizations of Lyapunov pairs for the sweeping process. In the first part (Chapter 2), we investigate the class of positivel…
Gelled Electrolyte Containing Phosphonium Ionic Liquids for Lithium-Ion Batteries
2018
In this work, new gelled electrolytes were prepared based on a mixture containing phosphonium ionic liquid (IL) composed of trihexyl(tetradecyl)phosphonium cation combined with bis(trifluoromethane)sulfonimide [TFSI] counter anions and lithium salt, confined in a host network made from an epoxy prepolymer and amine hardener. We have demonstrated that the addition of electrolyte plays a key role on the kinetics of polymerization but also on the final properties of epoxy networks, especially thermal, thermo-mechanical, transport, and electrochemical properties. Thus, polymer electrolytes with excellent thermal stability (>
Single-cell RNA sequencing unveils the shared and the distinct cytotoxic hallmarks of human TCRVδ1 and TCRVδ2 γδ T lymphocytes
2019
γδ T lymphocytes represent ∼1% of human peripheral blood mononuclear cells and even more cells in most tissues of vertebrates. Although they have important anticancer functions, most current single-cell RNA sequencing (scRNA-seq) studies do not identify γδ T lymphocytes because their transcriptomes at the single-cell level are unknown. Here we show that high-resolution clustering of large scRNA-seq datasets and a combination of gene signatures allow the specific detection of human γδ T lymphocytes and identification of their T cell receptor (TCR)Vδ1 and TCRVδ2 subsets in large datasets from complex cell mixtures. In t -distributed stochastic neighbor embedding plots from blood and tumor sa…