منابع مشابه
L'Analyse Logique Des Temps Du Passe En Francais: Comment on peut appliquer la distinction entre nom de matiere et nom comptable aux temps du verbe
Dans cet expose j'aimerais prouver qu'il y a des rapports tr~s ~troits entre la s~mantique nominale et la s~mantique verbale. J'essaierai d'appliquer la distinction entre nom comptable (angl. count noun) et nom de mati~re (angl. mass noun) au domaine du verbe. En particulier il sera d~montr~ qu'un verbe (ou syntagme verbal) ~ l'imparfait d~note une entit~ du mSme type que celle d~not~e par un n...
متن کاملDéveloppement modulaire de théories et gestion de l'espace de nom pour l'assistant de preuve Coq. (Modular development of theories and name-space management for the Coq proof assistant)
HAL is a multi-disciplinary open access archive for the deposit and dissemination of scientific research documents, whether they are published or not. The documents may come from teaching and research institutions in France or abroad, or from public or private research centers. L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau...
متن کاملFolding models of mini-protein FSD-1.
We have carried out all-atom action-derived molecular dynamics (ADMD) folding simulations of the full-size FSD-1. FSD-1 is a designed mini-protein of 28 residues containing both α and β secondary structure elements. Multiple folding pathways are found for FSD-1, which is consistent with existing computational studies. Hydrophobic collapse is observed first, and then subsequent folding events pr...
متن کاملThouars nom. cons.]
23 strains of rhizobia, from 14 leguminous species, were evaluated on a Thai cultivar of Voandzeia* in Leonard jar trials. The symbiosis ranged from completely ineffective through moderate effectiveness to fully effective. Bradyrhizobium sp. TAL 169, isolated from Vigna unguiculata, ranked most-effective; the widespectrum Bradyrhizobium strain CB 756 was ineffective. In a cultivar x Bradyrhizob...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: La Revue pour l’histoire du CNRS
سال: 2009
ISSN: 1298-9800,1955-2408
DOI: 10.4000/histoire-cnrs.9142