272 research outputs found
Investigation of the interaction phenomena between foot and insole by means of a numerical approach
No full textThe biomechanical response of foot with regard to interaction phenomena occurring at interface with insole inserted in
the shoe is investigated by using a numerical approach. At this purpose, a complex three-dimensional model of the foot
is defined from biomedical images, while insole conformation is acquired by laser scanner technique, leading to the finite
element discretization. Foot tissues are characterized by means of specific constitutive visco-hyperelastic anisotropic formulations,
recalling previous research activity. The mechanical behavior of insole material is analyzed by means of experimental
compression tests that highlight the geometric and material non-linear response, represented by a hyperelastic
formulation, while a hyperfoam formulation is assumed for the sole. Numerical analysis considers the mid-stance phase
of the gait and allows to interpret the response of overall foot, insole and sole system. The investigation represents a
preliminary step of a parametric analysis addressed to support footwear design considering different configurations of
components. As matter of example, the influence of variation in insole material properties is reported
A Syntax for Mutual Inductive Families
No full textInductive families of types are a feature of most languages based on dependent types. They are usually described either by syntactic schemes or by encodings of strictly positive functors such as combinator languages or containers. The former approaches are informal and give only external signatures, the latter approaches suffer from encoding overheads and do not directly represent mutual types.
In this paper we propose a direct method for describing signatures for mutual inductive families using a domain-specific type theory. A signature is a context (roughly speaking, a list of types) in this small type theory. Algebras, displayed algebras and sections are defined by models of this type theory: the standard model, the logical predicate and a logical relation interpretation, respectively. We reduce the existence of initial algebras for these signatures to the existence of the syntax of our domain-specific type theory. As this theory is very simple, its normal syntax can be encoded using indexed W-types. To the best of our knowledge, this is the first formalisation of the folklore fact that mutual inductive types can be reduced to indexed W-types.
The contents of this paper were formalised in the proof assistant Agda
Uniqueness of an inverse source problem in experimental aeroacoustics
No full textThis paper is concerned with the mathematical analysis of experimental methods for the estimation of the power of an uncorrelated, extended aeroacoustic source from measurements of correlations of pressure fluctuations. We formulate a continuous, infinite dimensional model describing these experimental techniques based on the convected Helmholtz equation in R^3 or R^2. As a main result we prove that an unknown, compactly supported source power function is uniquely determined by idealized, noise-free correlation measurements. Our framework further allows for a precise characterization of state-of-the-art source reconstruction methods and their interrelations
Immunobiology of primary neoplasms of the C.N.S. Preliminary results.
No full textA preliminary report on the immunological monitoring of primary intracranial neoplasms is presented. The most important findings concerning B-cells and T-cells mediated immunity and delayed hypersensitivity reactions in this kind of patients, are discussed. Among the fairly significant immunobiological pictures, the Authors stress the "normal behaviour" of the B-cells dependent pool, the undebatable depression of the delayed hypersensitivity reactions, and the noticeable failure of the T-cell dependent pool, particularly marked in malignant gliomas, which are also characterized by the presence of cells with natural cytotoxic activity
Immunobiology of paediatric intracranial tumours. A preliminary report
No full textPreliminary findings in the evaluation of the immune response of children with primary neoplasms of the CNS, mainly medulloblastomas, are reported and discussed. A broad scheme for the monitoring of B- and T-cell-dependent immunity and of delayed hypersensitivity reactions in this type of patient is presented. The most important immunobiological findings are discussed. Special attention is given to the striking failure of the T-cell-dependent pool (currently identified by "active" RFC and blastigenesis tests) and to the remarkable decrease of hypersensitivity reactions (depressed skin-test response), both of which seem to be related to the degree of malignancy of the tumour. A very peculiar feature, i.e., the appearance of cells with natural cytotoxic activity, is dealt with in some detail. Our present knowledge concerning the immunobiology of primary CNS neoplasms is still very incomplete, but seems to suggest a possible role for immunotherapy in paediatric neurosurgery
Weighted data spaces for correlation-based array imaging in experimental aeroacoustics
No full textThis article discusses aeroacoustic imaging methods based on correlation measurements in the frequencydomain. Standard methods in this field assume that the estimated correlation matrix is superimposed withadditive white noise. In this paper we present a mathematical model for the measurement process coveringarbitrarily correlated noise. The covariance matrix of correlation data is given in terms of fourth ordermoments. The aim of this paper is to explore the use of such additional information on the measurementdata in imaging methods. For this purpose a class of weighted data spaces is introduced, where each dataspace naturally defines an associated beamforming method with a corresponding point spread function. Thisgeneric class of beamformers contains many well-known methods such as Conventional Beamforming, (Ro-bust) Adaptive Beamforming or beamforming with shading. This article examines in particular weightingsthat depend on the noise (co)variances. In a theoretical analysis we prove that the beamformer, weighted bythe full noise covariance matrix, has minimal variance among all beamformers from the described class. Ap-plication of the (co)variance weighted methods on synthetic and experimental data show that the resolutionof the results is improved and noise effects are reduced
Stammbuch Sauerma
No full textEnthält 127 Stammbucheinträge u.a. von Arnim, Achim von (1781-1831, Schriftsteller), v. Arnim, Carl Bail, Erdmann, Joachim von (1741-1803, Diplomat), Andreas Düppel, C. J. A. v. Gyra, Houwald, Cristoph Ernst von (1778-1845, Dichter), Houwald, G. von, Bernhardine von Heigel, August Koenigsdorff, Felix (v.) Koenigsdorff (1791- ?), Philippine Koenigsdorff, C. v. Koenigsmarck, Antoinette Schaffgotsch, August Ferdinand Ludwig von Nostitz (1777-1866, preuß. General), Raumer, Friedrich von (1781-1873, Historiker, Politiker), K. v. Raschau, J. D. H. v. Schweinitz, C. A. Schaller, August Wardenburg, Adolph von Zezschwitz (1779-1845, Jurist, Staats-u. Kriegsminister); Carl August von Zezschwitz (1777-1854, Jurist), Josef Friedrich von Zezschwitz (1775-1817, Jurist, Kreishauptmann, Geheimer Finanzrat); Memorabilia S. 244, 340-341. Register enthaltenHandschrift DE-3, GND 2024680-8, Signatur: Yg St. 8° 66/66Einband: Leder, braun, goldgeprägt; Vorsatz vorne und hinten marmoriertes Papier; dreiseitiger GoldschnittExlibris des Vorbesitzers (Stula) im VorderspiegelZustand: Rücken, Ecken und Kanten berieben, Rückenschild abgerissen, Buchblock defekt, Lagen teilweise loseNachpaginiert, die ursprüngliche Paginierung beginnt auf Blatt 1v, daher gerade Zahlen auf recto-, ungerade auf verso-Seiten. Sie zählt 409 Seiten, auf die noch 5 Blätter (davon 9 mit Register beschriebene Seiten) folgen. Herausgetrennt wurde Blatt 54/55, nicht gezählt 3 Blätter mit Illustration (zwischen 95 und 96, 107 und 108, 307 und 308).Eintragungsorte: Halle (85), Breslau (11) u.a.Zahlreiche Illustrationen (Gouachen, Aquarelle, Bleistift- und Federzeichnungen, zum Teil in Mischtechnik), 1 Stickarbei
Intellektuelle Öffentlichkeit. Friedrich von Raumers Weg zwischen Politik und Wissenschaft
No full textInternational audienceMit einem außergewöhnlich langen Leben (1781-1873), einem umfangreichen Werk und einem strategischen Wirken im preußischen Staatsdienst scheinen in der Biographie Friedrich von Raumers alle Bedingungen zu einer intensiven Rezeption versammelt zu sein. Dennoch wollte es die Geschichte anders, und weder mit dem Werk noch mit dem Mensch setzt sich die heutige Forschung grundlegend auseinander. Seit Raumers Tod ist die Sekundärliteratur zu seinem Wirken und Schreiben eher spärlich. 1 Dabei bieten sein veröffentlichter und sein unveröffentlichter Nachlass einen vielschichtigen Einblick in die Intellektuellennetzwerke des 19. Jahrhunderts. Genauer gesagt: Friedrich von Raumer gehört zu den Persönlichkeiten, bei denen der Begriff des Intellektuellen-an der Schnittstelle zwischen wissenschaftlicher und politischer Tätigkeit-besonders zutreffend ist. Ein Hinweis auf die essentielle Doppelspurigkeit seines Lebenswegs wurde bereits von Werner Friedrich seiner Dissertation Friedrich von Raumer als Historiker und Politiker programmatisch vorangestellt. So beschränkt sich die Einleitung der bislang einzigen Raumer-Mongraphie auf folgende Sätze: Eine Würdigung Friedrich von Raumers, die nur seine wissenschaftlich-gelehrte Tätigkeit berücksichtigt, trifft nicht das Ganze, Wesentliche seiner Persönlichkeit. Raumer wollte mehr sein als ein Gelehrter und ist es auch gewesen. Er war Historiker, Staatslehrer, Politiker und Weltreisender. Es entsprach seiner Auffassung vom Wesen eines echten Historikers, sowie seiner vielseitigen, beweglichen Natur, wenn er allen diesen Gebieten sein Interesse zuwandte. Insbesondere ist für Raumer charakteristisch die enge Verbindung von historisch-gelehrter und praktisch-politischer Arbeit. Gerade die lebendige Wechselwirkung, in der beide Tätigkeiten bei ihm stehen, machen die Eigentümlichkeit seines Lebenswerkes aus. Eine Darstellung, die seiner Persönlichkeit gerecht werden will, muß besonders diesen Punkt berücksichtigen
A singular case of cavernous internal carotid artery aneurysm in patient with cavernous sinus syndrome and bacterial meningitis
No full textAbstractWe report the uncommon case of an acute cavernous sinus syndrome in a patient who was consequently discovered to have both a cavernous internal carotid artery aneurysm and bacterial meningitis. Which came first, the chicken or the egg? Which of the two, the aneurysm or the meningitis, gave rise to the patient’s symptoms? We briefly reviewed the literature of similar cases and tried to analyze the possible pathophysiological relationship between these findings. Moreover, this case highlights the importance of a multidisciplinary management of these patients to better decide between a medical and a surgical and/or endovascular treatment
- …
