65 research outputs found
Noise, Music and Social Categories: The Institutionalization of Music at Bard College
Senior Project submitted to The Division of Social Studies of Bard College
Formation par projet de la CAO à la réalisation en filière mécanique de l'ENSISA
L'objectif de ce projet est de sensibiliser les étudiants aux problématiques de la réalisation d'un système mécanique à partir d'un cahier des charges imposé : fonctionnalités attendues, encombrement et contraintes de réalisation. Chaque étudiant conçoit sa solution : cinématique, forme et dimensionnement des pièces. Il défend son projet lors d'une présentation orale. Les projets retenus sont subdivisés en parties confiées à des binômes qui doivent finir la conception, préparer la fabrication et réaliser l'ensemble des pièces. Le système final est assemblé (ex : pompe à chambre oscillante)
The Roles of Cholesterol and Its Metabolites in Normal and Malignant Hematopoiesis.
Hematopoiesis is sustained throughout life by hematopoietic stem cells (HSCs) that are capable of self-renewal and differentiation into hematopoietic progenitor cells (HPCs). There is accumulating evidence that cholesterol homeostasis is an important factor in the regulation of hematopoiesis. Increased cholesterol levels are known to promote proliferation and mobilization of HSCs, while hypercholesterolemia is associated with expansion of myeloid cells in the peripheral blood and links hematopoiesis with cardiovascular disease. Cholesterol is a precursor to steroid hormones, oxysterols, and bile acids. Among steroid hormones, 17β-estradiol (E2) induces HSC division and E2-estrogen receptor α (ERα) signaling causes sexual dimorphism of HSC division rate. Oxysterols are oxygenated derivatives of cholesterol and key substrates for bile acid synthesis and are considered to be bioactive lipids, and recent studies have begun to reveal their important roles in the hematopoietic and immune systems. 27-Hydroxycholesterol (27HC) acts as an endogenous selective estrogen receptor modulator and induces ERα-dependent HSC mobilization and extramedullary hematopoiesis. 7α,25-dihydroxycholesterol (7α,25HC) acts as a ligand for Epstein-Barr virus-induced gene 2 (EBI2) and directs migration of B cells in the spleen during the adaptive immune response. Bile acids serve as chemical chaperones and alleviate endoplasmic reticulum stress in HSCs. Cholesterol metabolism is dysregulated in hematologic malignancies, and statins, which inhibit de novo cholesterol synthesis, have cytotoxic effects in malignant hematopoietic cells. In this review, recent advances in our understanding of the roles of cholesterol and its metabolites as signaling molecules in the regulation of hematopoiesis and hematologic malignancies are summarized
Transcriptome Analysis of the Desert Locust Central Nervous System: Production and Annotation of a Schistocerca gregaria EST Database
) displays a fascinating type of phenotypic plasticity, designated as ‘phase polyphenism’. Depending on environmental conditions, one genome can be translated into two highly divergent phenotypes, termed the solitarious and gregarious (swarming) phase. Although many of the underlying molecular events remain elusive, the central nervous system (CNS) is expected to play a crucial role in the phase transition process. Locusts have also proven to be interesting model organisms in a physiological and neurobiological research context. However, molecular studies in locusts are hampered by the fact that genome/transcriptome sequence information available for this branch of insects is still limited. EST information is highly complementary to the existing orthopteran transcriptomic data. Since many novel transcripts encode neuronal signaling and signal transduction components, this paper includes an overview of these sequences. Furthermore, several transcripts being differentially represented in solitarious and gregarious locusts were retrieved from this EST database. The findings highlight the involvement of the CNS in the phase transition process and indicate that this novel annotated database may also add to the emerging knowledge of concomitant neuronal signaling and neuroplasticity events. EST data constitute an important new source of information that will be instrumental in further unraveling the molecular principles of phase polyphenism, in further establishing locusts as valuable research model organisms and in molecular evolutionary and comparative entomology
Review of \u3ci\u3eCaptain lack and the Dalton Gang: The Life and Times of a Railroad Detective\u3c/i\u3e By John J. Kinney
The evening of July 14, 1892, a train carrying a heavily-armed posse passed slowly through Adair, Indian Territory. Also on board was John J. Captain Jack Kinney Jr, who headed the Missouri, Kansas, and Texas { Katy } Railroad detectives. Their presence resulted from a tip that the Dalton gang planned to rob the Katy near Pryor Creek. Perhaps as a result of this apparent false alarm, the posse was unprepared as the train passed through Adair. It was here that the gang successfully robbed the Katy. It was also here that Kinney became a part of history-a parenthetical person, a human footnote. And, according to some accounts, a coward. One man\u27s footnote, however, is often another\u27s family lore. Captain Jack was the author\u27s great-grandfather, and Kinney\u27s book has two goals: first, to better understand the life and times in which his grandfather lived; and second, to use this knowledge together with the conflicting accounts of the robbery to uncover what actually happened that night and, along the way, resurrect Captain Jack\u27s reputation.
Through the use of newspaper articles, the detective\u27s diary from 1891, oral histories, and numerous secondary sources, Kinney takes the reader on an entertaining and informative romp that (somehow) links together Irish immigration, the history of crime detection, Gilded Age financial shenanigans, train outlawry, dueling, and the horrifying reality of southern lynchings. In the process, and despite a lack of sources focusing specifically on Captain Jack, Kinney crafts a solid portrait of a man who would otherwise be lost to history.
Armed with this background, the author sifts through the multiple and contradictory accounts of the Adair robbery. Captain Jack is far from the coward claimed by some accounts of the stickup. More important, the author convincingly demonstrates that Captain Jack ought not to be summed up by the events of one day during a lifetime of nearly eighty years.
While the book merits recommendation, there are a number of small issues worth noting. Readers looking for a precisely defined argum, ent and guiding thesis will be disappointed. Moreover, there are points where the author wanders a little too far off track. Though part of the book\u27s charm, this may frustrate some readers. In addition, the sourcing and footnoting is uneven in places. There are numerous passages where one would expect a footnote, and the bibliography omits listing some sources used in the text.
Overall, Captain Jack is well worth the read and provides a much-needed glimpse at the life of one of the anonymous individuals who fought against the overly famous railroad bandits of the nineteenth century
ChemInform Abstract: Solid-Phase Synthesis of a 36 Amino Acid O-Fucosyl-peptide with the Uncommon Thr-Fuc-Linkage
Synthèse algébrique de lois de commande pour les systèmes à évènements discrets logiques
The work presented in this memory is relating to the formal development of the control of a logical Discrete Event System (DES) starting from the requirements expressed in the specifications. The method suggested is based on the literal solving of a system of equations representing these requirements. The mathematical framework, support of this work, is the Boolean algebra of the Boolean functions. This mathematical framework was retained for the following reasons:- In the particular case of the non temporal logical SED, any control law can be described using Boolean functions.- The requirements exposed in specifications can be formalized in the form of relations between Boolean functions.- The results obtained in this thesis enable us to determine automatically which are the Boolean functions which satisfy the system of equations between Boolean functions representing these requirements.The method suggested allows the designer to express the requirements in different formalisms. It also has the possibility of fixing the form of the solution which he wishes to obtain or making the synthesis only on a part of the model.Chapter 2 of this memory is about the presentation of the mathematical results which we established to be able to solve a system of equations with n unknowns in any structure of Boolean algebra.The synthesis approach is detailed in chapter 3 through the treatment of 3 examples of increasing size and complexity. We show how the requirements expressed in specifications can be formalized in relations between Boolean functions. The solving of the system of equations is automatically realized with a experimental module developed in the LURPA.Les travaux présentés dans ce mémoire sont relatifs à l'élaboration formelle de la commande d'un Système à Évènements Discrets (SED) logique à partir des exigences exprimées dans le cahier des charges. La méthode proposée est basée sur la résolution de manière littérale d'un système d'équations représentant ces exigences.Le cadre mathématique, support de ces travaux, est l'algèbre de Boole des fonctions booléennes. Ce cadre mathématique a été retenu pour les raisons suivantes :- Dans le cas particulier des SED logiques non temporisés, toute loi de commande peut être décrite à l'aide de fonctions booléennes.- Les exigences exposées dans un cahier des charges peuvent être formalisées sous forme de relations entre des fonctions booléennes.- Les résultats obtenus dans le cadre de cette thèse nous permettent de déterminer automatiquement quelles sont les fonctions booléennes qui satisfont le système d'équations entre fonctions booléennes représentant ces exigences.La méthode proposée permet au concepteur d'exprimer les exigences dans des formalismes différents. Il a également la possibilité de fixer la forme de la solution qu'il souhaite obtenir ou de ne réaliser la synthèse que sur une partie du modèle.Le chapitre 2 de ce mémoire est consacré à la présentation des résultats mathématiques que nous avons établis pour pouvoir résoudre un système d'équations à n inconnues dans toute structure d'algèbre de Boole. L'approche de synthèse est détaillée au chapitre 3 au travers du traitement de 3 exemples de taille et de complexité croissantes. Nous montrons comment les exigences exprimées dans un cahier des charges peuvent être formalisées sous forme de relations entre des fonctions booléennes. La résolution du système d'équations est réalisée automatiquement grâce à une maquette informatique développée au LURPA
Synthèse algébrique de lois de commande pour les systèmes à évènements discrets logiques
The work presented in this memory is relating to the formal development of the control of a logical Discrete Event System (DES) starting from the requirements expressed in the specifications. The method suggested is based on the literal solving of a system of equations representing these requirements. The mathematical framework, support of this work, is the Boolean algebra of the Boolean functions. This mathematical framework was retained for the following reasons:- In the particular case of the non temporal logical SED, any control law can be described using Boolean functions.- The requirements exposed in specifications can be formalized in the form of relations between Boolean functions.- The results obtained in this thesis enable us to determine automatically which are the Boolean functions which satisfy the system of equations between Boolean functions representing these requirements.The method suggested allows the designer to express the requirements in different formalisms. It also has the possibility of fixing the form of the solution which he wishes to obtain or making the synthesis only on a part of the model.Chapter 2 of this memory is about the presentation of the mathematical results which we established to be able to solve a system of equations with n unknowns in any structure of Boolean algebra.The synthesis approach is detailed in chapter 3 through the treatment of 3 examples of increasing size and complexity. We show how the requirements expressed in specifications can be formalized in relations between Boolean functions. The solving of the system of equations is automatically realized with a experimental module developed in the LURPA.Les travaux présentés dans ce mémoire sont relatifs à l'élaboration formelle de la commande d'un Système à Évènements Discrets (SED) logique à partir des exigences exprimées dans le cahier des charges. La méthode proposée est basée sur la résolution de manière littérale d'un système d'équations représentant ces exigences.Le cadre mathématique, support de ces travaux, est l'algèbre de Boole des fonctions booléennes. Ce cadre mathématique a été retenu pour les raisons suivantes :- Dans le cas particulier des SED logiques non temporisés, toute loi de commande peut être décrite à l'aide de fonctions booléennes.- Les exigences exposées dans un cahier des charges peuvent être formalisées sous forme de relations entre des fonctions booléennes.- Les résultats obtenus dans le cadre de cette thèse nous permettent de déterminer automatiquement quelles sont les fonctions booléennes qui satisfont le système d'équations entre fonctions booléennes représentant ces exigences.La méthode proposée permet au concepteur d'exprimer les exigences dans des formalismes différents. Il a également la possibilité de fixer la forme de la solution qu'il souhaite obtenir ou de ne réaliser la synthèse que sur une partie du modèle.Le chapitre 2 de ce mémoire est consacré à la présentation des résultats mathématiques que nous avons établis pour pouvoir résoudre un système d'équations à n inconnues dans toute structure d'algèbre de Boole. L'approche de synthèse est détaillée au chapitre 3 au travers du traitement de 3 exemples de taille et de complexité croissantes. Nous montrons comment les exigences exprimées dans un cahier des charges peuvent être formalisées sous forme de relations entre des fonctions booléennes. La résolution du système d'équations est réalisée automatiquement grâce à une maquette informatique développée au LURPA
Synthèse algébrique de lois de commande pour les systèmes à évènements discrets logiques
Les travaux présentés dans ce mémoire sont relatifs à l'élaboration formelle de la commande d'un Système à Évènements Discrets (SED) logique à partir des exigences exprimées dans le cahier des charges. La méthode proposée est basée sur la résolution de manière littérale d'un système d'équations représentant ces exigences. Le cadre mathématique, support de ces travaux, est l'algèbre de Boole des fonctions booléennes. Ce cadre mathématique a été retenu pour les raisons suivantes : Dans le cas particulier des SED logiques non temporisés, toute loi de commande peut être décrite à l'aide de fonctions booléennes. Les exigences exposées dans un cahier des charges peuvent être formalisées sous forme de relations entre des fonctions booléennes. Les résultats obtenus dans le cadre de cette thèse nous permettent de déterminer automatiquement quelles sont les fonctions booléennes qui satisfont le système d'équations entre fonctions booléennes représentant ces exigences. La méthode proposée permet au concepteur d'exprimer les exigences dans des formalismes différents. Il a également la possibilité de fixer la forme de la solution qu'il souhaite obtenir ou de ne réaliser la synthèse que sur une partie du modèle. Le chapitre 2 de ce mémoire est consacré à la présentation des résultats mathématiques que nous avons établis pour pouvoir résoudre un système d'équations à n inconnues dans toute structure d'algèbre de Boole. L'approche de synthèse est détaillée au chapitre 3 au travers du traitement de 3 exemples de taille et de complexité croissantes. Nous montrons comment les exigences exprimées dans un cahier des charges peuvent être formalisées sous forme de relations entre des fonctions booléennes. La résolution du système d'équations est réalisée automatiquement grâce à une maquette informatique développée au LURPA.The work presented in this memory is relating to the formal development of the control of a logical Discrete Event System (DES) starting from the requirements expressed in the specifications. The method suggested is based on the literal solving of a system of equations representing these requirements. The mathematical framework, support of this work, is the Boolean algebra of the Boolean functions. This mathematical framework was retained for the following reasons : In the particular case of the non temporal logical SED, any control law can be described using Boolean functions. The requirements exposed in specifications can be formalized in the form of relations between Boolean functions. The results obtained in this thesis enable us to determine automatically which are the Boolean functions which satisfy the system of equations between Boolean functions representing these requirements. The method suggested allows the designer to express the requirements in different formalisms. It also has the possibility of fixing the form of the solution which he wishes to obtain or making the synthesis only on a part of the model. Chapter 2 of this memory is about the presentation of the mathematical results which we established to be able to solve a system of equations with n unknowns in any structure of Boolean algebra. The synthesis approach is detailed in chapter 3 through the treatment of 3 examples of increasing size and complexity. We show how the requirements expressed in specifications can be formalized in relations between Boolean functions. The solving of the system of equations is automatically realized with a experimental module developed in the LURPA.CACHAN-ENS (940162301) / SudocSudocFranceF
- …