Maladie neurodégénérativeLes maladies neurodégénératives, telles que la maladie d'Alzheimer, la maladie à corps de Lewy, la maladie de Parkinson, la maladie de Huntington, l'atrophie corticale postérieure ou encore la sclérose latérale amyotrophique sont des maladies chroniques invalidantes à évolution lente et discrète. Elles provoquent généralement une détérioration du fonctionnement des cellules nerveuses, en particulier les neurones, pouvant conduire à la mort cellulaire (ou neurodégénérescence).
Prion (protéine)Le est un type de protéine naturellement présent dans l'organisme dans sa forme cellulaire (PrPC) susceptible de donner une forme pathogène PrPSc par une mauvaise conformation ou repliement. Cette forme pathogène est capable de transmettre cette forme mal repliée à des variantes normales de la même protéine. Ces prions dits pathogènes caractérisent plusieurs maladies neurodégénératives mortelles et transmissibles chez l'homme et de nombreux autres animaux.
ProtéinopathieEn médecine, les protéinopathies font référence à une classe de maladies dans lesquelles certaines protéines deviennent structurellement anormales et perturbent ainsi la fonction des cellules, des tissus et des organes du corps. Souvent, les protéines ne parviennent pas à se replier dans leur configuration normale ; dans cet état mal replié, les protéines peuvent devenir toxiques (en acquérant de nouvelles fonctions indésirées par mutation) ou perdre leur fonction normale.
Frontotemporal dementiaFrontotemporal dementia (FTD), or frontotemporal degeneration disease, or frontotemporal neurocognitive disorder, encompasses several types of dementia involving the progressive degeneration of frontal and temporal lobes. FTDs broadly present as behavioral or language disorders with gradual onsets. Common signs and symptoms include significant changes in social and personal behavior, apathy, blunting of emotions, and deficits in both expressive and receptive language.
Démonstration (logique et mathématiques)vignette| : un des plus vieux fragments des Éléments d'Euclide qui montre une démonstration mathématique. En mathématiques et en logique, une démonstration est un ensemble structuré d'étapes correctes de raisonnement. Dans une démonstration, chaque étape est soit un axiome (un fait acquis), soit l'application d'une règle qui permet d'affirmer qu'une proposition, la conclusion, est une conséquence logique d'une ou plusieurs autres propositions, les prémisses de la règle.
Conception de médicamentLa conception de médicament, plus précisément conception de substance pharmacologiquement active plus connue sous sa dénomination anglaise Drug design est l'ensemble des processus nécessaires à l'élaboration d'un médicament. Dans l'industrie pharmaceutique, ces processus peuvent-être subdivisés et répartis en quatre phases ou étapes : La phase de recherche La phase de développement La phase clinique La phase de mise sur le marché Remarque : Les phases de recherche et développement sont communément dénommées R&D.
Criblage à haut débitthumb|Machine de criblage à haut débit en Allemagne Le criblage à haut débit (high-throughput screening, HTS) désigne dans le domaine de la pharmacologie, de la biochimie, de la génomique et de la protéomique, les techniques visant à étudier et à identifier dans les chimiothèques et ciblothèques, des molécules aux propriétés nouvelles, biologiquement actives. L’expression haut débit évoque ici l’utilisation de la robotique, de l’informatique et de la bio-informatique pour accélérer la phase de test des molécules, protéines, catalyseurs, etc.
Drug discoveryIn the fields of medicine, biotechnology and pharmacology, drug discovery is the process by which new candidate medications are discovered. Historically, drugs were discovered by identifying the active ingredient from traditional remedies or by serendipitous discovery, as with penicillin. More recently, chemical libraries of synthetic small molecules, natural products or extracts were screened in intact cells or whole organisms to identify substances that had a desirable therapeutic effect in a process known as classical pharmacology.
Sclérose latérale amyotrophiqueLa sclérose latérale amyotrophique ou SLA, également appelée dans le monde francophone maladie de Charcot (maladie de Lou Gehrig ou ALS en anglais), est une maladie neurodégénérative des motoneurones de l'adulte. Elle est caractérisée par une dégénérescence progressive des motoneurones du cortex cérébral avec destruction consécutive du faisceau pyramidal (atteinte du premier motoneurone) et de ceux de la corne antérieure de la moelle épinière avec destruction des unités motrices associées (atteinte du deuxième motoneurone).
Proof (truth)A proof is sufficient evidence or a sufficient argument for the truth of a proposition. The concept applies in a variety of disciplines, with both the nature of the evidence or justification and the criteria for sufficiency being area-dependent. In the area of oral and written communication such as conversation, dialog, rhetoric, etc., a proof is a persuasive perlocutionary speech act, which demonstrates the truth of a proposition.
Designvignette|Chaise de Charles Rennie Mackintosh, 1897. Le design, le stylisme ou la stylique est une activité de création souvent à vocation industrielle ou commerciale, pouvant s’orienter vers les milieux sociaux, politiques, scientifiques et environnementaux. Le but premier du design est d’inventer, d’améliorer ou de faciliter l’usage ou le processus d’un élément ayant à interagir avec un produit ou un service matériel ou virtuel.
Théorie de la démonstrationLa théorie de la démonstration, aussi connue sous le nom de théorie de la preuve (de l'anglais proof theory), est une branche de la logique mathématique. Elle a été fondée par David Hilbert au début du . Hilbert a proposé cette nouvelle discipline mathématique lors de son célèbre exposé au congrès international des mathématiciens en 1900 avec pour objectif de démontrer la cohérence des mathématiques.
High-content screeningHigh-content screening (HCS), also known as high-content analysis (HCA) or cellomics, is a method that is used in biological research and drug discovery to identify substances such as small molecules, peptides, or RNAi that alter the phenotype of a cell in a desired manner. Hence high content screening is a type of phenotypic screen conducted in cells involving the analysis of whole cells or components of cells with simultaneous readout of several parameters.
État natif (biochimie)vignette|Cys and Arg active site of ubiquitin activating enzyme. En biochimie, l'état natif d'une protéine est sa forme fonctionnelle ou opérative. Toutes les molécules de protéines sont des chaines linéaires d'acides aminés, mais c'est au moyen de leurs formes tridimensionnelles qu'elles sont capables de jouer leurs rôles biologiques. Les modifications de formes des protéines sont les causes primaires de maladies neurodégénératives, y compris celles causées par les prions ou encore l'amylose.
Hit to leadHit to lead (H2L) also known as lead generation is a stage in early drug discovery where small molecule hits from a high throughput screen (HTS) are evaluated and undergo limited optimization to identify promising lead compounds. These lead compounds undergo more extensive optimization in a subsequent step of drug discovery called lead optimization (LO).
Médicament orphelinOn appelle médicament orphelin tout médicament développé pour le traitement de « maladies orphelines » (c'est-à-dire des maladies rares). Le terme est apparu aux États-Unis dans le de 1983. Selon cet acte, une maladie orpheline est (A) soit une maladie qui touche moins de personnes sur leur territoire, (B) soit une maladie qui touche plus de personnes sur leur territoire, et pour laquelle il est improbable que le coût de la mise au point et de la fabrication aux États-Unis d'un médicament contre cet état ou de cette maladie soit récupéré par les ventes aux États-Unis de ce médicament.
Démonstration formelleUne démonstration formelle est une séquence finie de propositions (appelées formules bien formées dans le cas d'un langage formel) dont chacun est un axiome, une hypothèse, ou résulte des propositions précédentes dans la séquence par une règle d'inférence. La dernière proposition de la séquence est un théorème d'un système formel. La notion de théorème n'est en général pas effective, donc n'existe pas de méthode par laquelle nous pouvons à chaque fois trouver une démonstration d'une proposition donnée ou de déterminer s'il y en a une.
Computer-assisted proofA computer-assisted proof is a mathematical proof that has been at least partially generated by computer. Most computer-aided proofs to date have been implementations of large proofs-by-exhaustion of a mathematical theorem. The idea is to use a computer program to perform lengthy computations, and to provide a proof that the result of these computations implies the given theorem. In 1976, the four color theorem was the first major theorem to be verified using a computer program.
Intel CoreIntel Core is a line of streamlined midrange consumer, workstation and enthusiast computer central processing units (CPUs) marketed by Intel Corporation. These processors displaced the existing mid- to high-end Pentium processors at the time of their introduction, moving the Pentium to the entry level. Identical or more capable versions of Core processors are also sold as Xeon processors for the server and workstation markets. The lineup of Core processors includes the Intel Core i3, Intel Core i5, Intel Core i7, and Intel Core i9, along with the X-series of Intel Core CPUs.
Advanced Micro DevicesAdvanced Micro Devices (AMD) est un fabricant américain de semi-conducteurs, microprocesseurs, cartes graphiques basé à Santa Clara (Californie). La compagnie est fondée le par un groupe d'ingénieurs et de dirigeants de Fairchild Semiconductor. Les cofondateurs d'AMD sont Jerry Sanders, , John Carey, Sven Simonsen, Jack Gifford, Frank Botte, Jim Giles et Larry Stenger. La flèche du logotype de la compagnie dirigée vers la droite symbolise sa croissance dans le « droit chemin » (« the right way »).
