A Process Sensor for Locating the Liquid-Solid Boundary through the Mold of a Casting

Accurate process control of single-crystal and directionally-solidified castings requires knowledge of the exact location of the solidifying front. If the front advances too rapidly, single crystal growth in a preferred orientation degenerates into the formation of polycrystals. A solidification front which moves more slowly than necessary is wasteful of the casting resources. A sensing technology is being developed which determines the location of the boundary between a solidifying crystal and liquid metal. The sensing method utilizes the ordered pattern of x-rays diffracted from the solid as an absolute indicator of the liquid-crystal interface.</p

The Epsilon Calculus and Herbrand Complexity

Hilbert's epsilon-calculus is based on an extension of the language of predicate logic by a term-forming operator $\epsilon_{x}$. Two fundamental results about the epsilon-calculus, the first and second epsilon theorem, play a role similar to that which the cut-elimination theorem plays in sequent calculus. In particular, Herbrand's Theorem is a consequence of the epsilon theorems. The paper investigates the epsilon theorems and the complexity of the elimination procedure underlying their proof, as well as the length of Herbrand disjunctions of existential theorems obtained by this elimination procedure.Comment: 23 p

Syndrome respiratoire aigu après inhalation de sprays imperméabilisants

Au cours de l'hiver 2002-2003, le Centre suisse d'information toxicologique a enregistré une augmentation inhabituelle de troubles respiratoires après exposition à des sprays imperméabilisants utilisés pour l'imprégnation du cuir et des textiles. Plus de 150 cas ont ainsi été rapportés. De telles épidémies sont déjà survenues au cours des vingt dernières années dans divers pays. Sur le plan clinique, des symptômes de toux, dyspnée et fièvre apparaissent dans le minutes ou les heures qui suivent l'exposition. Certains patients présentent une détresse respiratoire aiguë nécessitant une hospitalisation en soins intensifs. L'évolution clinique est favorable en quelques jours dans la majorité des cas, mais une dyspnée ou une toux chroniques pourraient persister chez certains patients. Un récent changement de formulation chimique semble être la cause de l'épidémie survenue en Suisse. Les produits incriminés ont été retirés de la vente. De nouveaux cas pourraient toutefois survenir à l'avenir en lien avec l'utilisation accrue de sprays imperméabilisants durant l'hiver et la possible commercialisation de nouveaux produits. [¨Résumé des Auteurs] A la suite de l'épidémie survenue en Suisse, l'Office fédéral de la santé publique a fait classer tous les sprays imperméabilisants pour cuirs et textiles dans la classe de toxicité 5S. Leurs emballages comporteront donc davantage d'avertissements aux utilisateurs. Il est actuellement recommandé d'employer ces sprays à l'air libre, d'éviter de s'exposer au brouillard de vaporisation (ne pas employer le spray contre le vent), et de bien laisser sécher les articles imperméabilisés à l'extérieur. L'emploi à l'intérieur est à éviter. Il ne suffit pas d'ouvir une fenêtre. Les personnes atteintes de maladies respiratoires (par exemple, asthme) devraient éviter d'utiliser elles-mêmes ces produits et ne pas se tenir à proximité d'un endroit où ils sont employés. [Auteurs, p. 2177]]]> Aerosols ; Respiratory Tract Diseases ; Environmental Exposure fre oai:serval.unil.ch:BIB_28738 2022-05-07T01:13:32Z <oai_dc:dc xmlns:dc="http://purl.org/dc/elements/1.1/" xmlns:xs="http://www.w3.org/2001/XMLSchema" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:oai_dc="http://www.openarchives.org/OAI/2.0/oai_dc/" xsi:schemaLocation="http://www.openarchives.org/OAI/2.0/oai_dc/ http://www.openarchives.org/OAI/2.0/oai_dc.xsd"> https://serval.unil.ch/notice/serval:BIB_28738 Substances végétales toxiques et allergisantes. Giroud, C info:eu-repo/semantics/bookPart incollection 2003 Plantes, Pollen &amp; Allergies, vol. 3, pp. 50-63 oai:serval.unil.ch:BIB_28738FE2CF5F 2022-05-07T01:13:32Z <oai_dc:dc xmlns:dc="http://purl.org/dc/elements/1.1/" xmlns:xs="http://www.w3.org/2001/XMLSchema" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:oai_dc="http://www.openarchives.org/OAI/2.0/oai_dc/" xsi:schemaLocation="http://www.openarchives.org/OAI/2.0/oai_dc/ http://www.openarchives.org/OAI/2.0/oai_dc.xsd"> https://serval.unil.ch/notice/serval:BIB_28738FE2CF5F Comparative Studies of Fluoroquinolones in the Treatment of Urinary Tract Infections info:doi:10.1093/clinids/10.supplement_1.s153 info:eu-repo/semantics/altIdentifier/doi/10.1093/clinids/10.supplement_1.s153 Malinverni, R. Glauser, M. P. info:eu-repo/semantics/article article 1988 Clinical Infectious Diseases, vol. 10, no. Supplement_1, pp. S153-S163 info:eu-repo/semantics/altIdentifier/pissn/1537-6591 info:eu-repo/semantics/altIdentifier/pissn/1058-4838 eng oai:serval.unil.ch:BIB_28739 2022-05-07T01:13:32Z <oai_dc:dc xmlns:dc="http://purl.org/dc/elements/1.1/" xmlns:xs="http://www.w3.org/2001/XMLSchema" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:oai_dc="http://www.openarchives.org/OAI/2.0/oai_dc/" xsi:schemaLocation="http://www.openarchives.org/OAI/2.0/oai_dc/ http://www.openarchives.org/OAI/2.0/oai_dc.xsd"> https://serval.unil.ch/notice/serval:BIB_28739 Grössenselektive personenbezogene Staubprobenahme : Verwendung offenporiger Schäume Möhlmann, C. Aitken, R. J. Kenny, L. C. Görner, P. Vu Duc, T. Zambelli, G. info:eu-repo/semantics/article article 2003 Gefahrstoffe - Reinhaltung der Luft, vol. 63, no. 10, pp. 413-416 info:eu-repo/semantics/altIdentifier/pissn/0949-8036 ger oai:serval.unil.ch:BIB_28740 2022-05-07T01:13:32Z <oai_dc:dc xmlns:dc="http://purl.org/dc/elements/1.1/" xmlns:xs="http://www.w3.org/2001/XMLSchema" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:oai_dc="http://www.openarchives.org/OAI/2.0/oai_dc/" xsi:schemaLocation="http://www.openarchives.org/OAI/2.0/oai_dc/ http://www.openarchives.org/OAI/2.0/oai_dc.xsd"> https://serval.unil.ch/notice/serval:BIB_28740 Intellectuelle ou militante? le serpent de mer fait son numéro. Kraus, C Malbois, F Messant, F Pannatier, G Perrin, C info:eu-repo/semantics/article article 2003 Nouvelles Questions Féministes, vol. volume 22, n° 1, pp. 4-12 oai:serval.unil.ch:BIB_28742 2022-05-07T01:13:32Z <oai_dc:dc xmlns:dc="http://purl.org/dc/elements/1.1/" xmlns:xs="http://www.w3.org/2001/XMLSchema" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:oai_dc="http://www.openarchives.org/OAI/2.0/oai_dc/" xsi:schemaLocation="http://www.openarchives.org/OAI/2.0/oai_dc/ http://www.openarchives.org/OAI/2.0/oai_dc.xsd"> https://serval.unil.ch/notice/serval:BIB_28742 Poétique et dramaturgie: les didascalies de personnage. Exemple du théâtre de Georges Ferydeau. Myszkorowska, M info:eu-repo/semantics/article article 2003 Pratiques, vol. 119-120, pp. 35-66 oai:serval.unil.ch:BIB_286DBB5FB136 2022-05-07T01:13:32Z openaire documents urnserval <oai_dc:dc xmlns:dc="http://purl.org/dc/elements/1.1/" xmlns:xs="http://www.w3.org/2001/XMLSchema" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:oai_dc="http://www.openarchives.org/OAI/2.0/oai_dc/" xsi:schemaLocation="http://www.openarchives.org/OAI/2.0/oai_dc/ http://www.openarchives.org/OAI/2.0/oai_dc.xsd"> https://serval.unil.ch/notice/serval:BIB_286DBB5FB136 Low-grade glioma: a challenge in therapeutic options: the role of radiotherapy. info:doi:10.1093/annonc/mdn434 info:eu-repo/semantics/altIdentifier/doi/10.1093/annonc/mdn434 info:eu-repo/semantics/altIdentifier/pmid/18790954 Baumert, B.G. Stupp, R. info:eu-repo/semantics/review article 2008 Annals of Oncology, vol. 19, no. Suppl 7, pp. vii217-vii222 info:eu-repo/semantics/altIdentifier/pissn/1569-8041 Antineoplastic Combined Chemotherapy Protocols; Brain Neoplasms; Chemotherapy, Adjuvant; Dacarbazine; Glioma; Humans; Lomustine; Neoplasm Recurrence, Local; Procarbazine; Prognosis; Radiotherapy; Radiotherapy Dosage; Vincristine eng https://serval.unil.ch/resource/serval:BIB_286DBB5FB136.P001/REF.pdf http://nbn-resolving.org/urn/resolver.pl?urn=urn:nbn:ch:serval-BIB_286DBB5FB1362 info:eu-repo/semantics/altIdentifier/urn/urn:nbn:ch:serval-BIB_286DBB5FB1362 info:eu-repo/semantics/publishedVersion info:eu-repo/semantics/openAccess Copying allowed only for non-profit organizations https://serval.unil.ch/disclaimer application/pdf oai:serval.unil.ch:BIB_286DD50ABE29 2022-05-07T01:13:32Z openaire documents urnserval <oai_dc:dc xmlns:dc="http://purl.org/dc/elements/1.1/" xmlns:xs="http://www.w3.org/2001/XMLSchema" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:oai_dc="http://www.openarchives.org/OAI/2.0/oai_dc/" xsi:schemaLocation="http://www.openarchives.org/OAI/2.0/oai_dc/ http://www.openarchives.org/OAI/2.0/oai_dc.xsd"> https://serval.unil.ch/notice/serval:BIB_286DD50ABE29 Cycling to Work : An Analysis of the Practice of Utility Cycling info:doi:10.1007/978-3-030-62256-5 info:eu-repo/semantics/altIdentifier/doi/10.1007/978-3-030-62256-5 urn:isbn:9783030622558 info:eu-repo/semantics/altIdentifier/isbn/9783030622558 urn:isbn:9783030622565 info:eu-repo/semantics/altIdentifier/isbn/9783030622565 info:eu-repo/semantics/altIdentifier/pissn/2191-530X info:eu-repo/semantics/altIdentifier/pissn/2191-5318 Rérat, Patrick info:eu-repo/semantics/book book 2021 <![CDATA[This book presents a thorough discussion of utility cycling, cycling in the urban environment, and everyday mobility. It is based on large survey answered by 14,000 participants in the bike to work action in Switzerland, and quantifies the various dimensions of utility cycling. It proposes an innovative theoretical framework to analyse and understand the various dimensions of the uses of bikes and their diversity. It addresses the factors that motivate commuters to get on their bike, and highlights the barriers to this practice between deficient infrastructures and lack of legitimacy. This research makes a diagnosis and discusses the way to develop this sustainable mode of transportation. By combining quantitative results in the form of tables, figures, and maps, and including qualitative results in the form of quotations from survey participants, this book provides a thorough and enjoyable read. It will be of interest to researchers, policy makers, advanced students in the field of urban planning, social sciences, and transportation

Consolidation of Belief in Two Logics of Evidence

Recently, several logics have emerged with the goal of modelling evidence in a more relaxed sense than that of justifications. Here, we explore two of these logics, one based on neighborhood models and the other being a four-valued modal logic. We establish grounds for comparing these logics, finding, for any model, a counterpart in the other logic which represents roughly the same evidential situation. Then we propose operations for consolidation, answering our central question: What should the doxastic state of a rational agent be in a given evidential situation? These operations map evidence models to Kripke models. We then compare the consolidations in the two logics, finding conditions under which they are isomorphic. By taking this dynamic perspective on belief formation we pave the way for, among other things, a study of the complexity, and an AGM-style analysis of rationality of these belief-forming processes

Octahedral conversion of a-SiO2-host matrix by pulsed ion implantation

This is the abstract. The results of measurements of X-ray photoelectron spectra (XPS) of a-SiO2-host material after pulsed implantation with [Mn+] and [Co+, Mn+]-ions as well as DFT-calculations are presented. The low-energy shift is found in XPS Si 2p and O 1s core-levels of single [Mn+] and dual [Co+, Mn+] pulsed ion-implanted a-SiO2 (E = 30 keV, D = 2*10^17 cm^-2) with respect to those of untreated a-SiO2.The similar changes are found in XPS Si 2p and O 1s of stishovite compared to those of quartz. This means that the pulsed ion-implantation induces the local high pressure effect which leads to an appearance of SiO6-structural units in alpha-SiO2 host, forming "stishovite-like" local atomic structure. This process can be described within electronic bonding transition from the four-fold "quartz-like" to six-fold "stishovite-like" high-pressure phase in SiO2 host-matrix. It is found that such octahedral conversion depends on the fluence and starts with doses higher than D = 3*10^16 cm^-2.Comment: 15 pages, 6 figures, 1 table, accepted in phys. stat. solidi (b

Monte Carlo simulation of kilovolt electron transport in solids

A Monte Carlo procedure to simulate the penetration and energy loss of low¿energy electron beams through solids is presented. Elastic collisions are described by using the method of partial waves for the screened Coulomb field of the nucleus. The atomic charge density is approximated by an analytical expression with parameters determined from the Dirac¿Hartree¿Fock¿Slater self¿consistent density obtained under Wigner¿Seitz boundary conditions in order to account for solid¿state effects; exchange effects are also accounted for by an energy¿dependent local correction. Elastic differential cross sections are then easily computed by combining the WKB and Born approximations to evaluate the phase shifts. Inelastic collisions are treated on the basis of a generalized oscillator strength model which gives inelastic mean free paths and stopping powers in good agreement with experimental data. This scattering model is accurate in the energy range from a few hundred eV up to about 50 keV. The reliability of the simulation method is analyzed by comparing simulation results and experimental data from backscattering and transmission measurements