Reply to "Comment on 'Nature and entropy content of the ordering transitions in RCo2'"

In the previous Comment, Forker and co-workers claim that perturbed angular correlation (PAC) data leave no alternative to the conclusion that the spontaneous magnetization of PrCo2 and NdCo2 undergoes a discontinuous, first-order phase transition at TC. We show here that their claim is in clear contradiction with a wealth of experimental evidence, including our own. Finally, we propose a possible origin for the disagreement between their interpretation of the PAC results and the literature on this subject.

Negative Größen bei Diophant?

In this paper we champion Diophantus of Alexandria and Isabella Basmakova against Norbert Schappacher. In two publications ([46] and [47]) he puts forward inter alia two propositions: Questioning Diophantus' originality he considers affirmatively the possibility, that the Arithmetica are the joint work of a team of authors like Bourbaki. And he calls Basmakova's claim (in [5]), that Diophantus uses negative numbers, a "nonsense", reproaching her for her "thoughtlessness". First, we disprove Schappacher's Bourbaki thesis. Second, we investigate the semantic meaning and historical significance of Diophantus' keywords leipsis and mparxis. Next, we discuss Schappacher's epistemology of the history of mathematics and defend Basmakova's methods. Furthermore, we give 33 places where Diophantus uses negative quantities as intermediate results; they appear as differences a - b of positive rational numbers, the subtrahend b being bigger than the minuend a; they each represent the (negative) basis (pleyra) of a square number (tetragonos), which is afterwards computed by the formula (a - b)^2 = a^2 + b^2 - 2ab. Finally, we report how the topic "Diophantus and the negative numbers" has been dealt with by translators and commentators from Maximus Planudes onwards.

Gewerbeaufsicht im 21. Jahrhundert.

Während zum Genehmigungsrecht zahlreiche Abhandlungen in der juristischen Literatur und eine große Zahl von Urteilen veröffentlicht sind, hält sich die Forschung und praktische Behandlung zum Aufsichtsrecht in Grenzen. Diese Arbeit vertieft das Verständnis, für die spezifische Verknüpfung und gegenseitige Abhängigkeit der Eröffnungskontrollen und der begleitenden Kontrollen im deutschen Arbeits-, Umwelt- und Verbraucherschutzrecht. Zentraler Punkt dieser Arbeit ist die Entwicklung von Grundlinien der begleitenden Aufsicht im Gewerbeaufsichtsrecht. Dazu ist es erforderlich die verschiedenen Randbedingungen gewerbeaufsichtlichen Handelns in den Blick zu nehmen. Es ist ein Blick auf die zu erwartende Ausbildung eines neuen Rationalitätstyps der gesellschaftlichen Entwicklung (2.), auf die Typisierung von Staats-, Gewerbe- und Wirtschaftsaufsicht und deren spezifischen Handlungsmustern, den festgestellten Defiziten des Aufsichtsrechts und des Aufsichtshandelns der begleitenden Kontrollen und den festgestellten tatsächlichen Wirkungen des Aufsichtssystems (3.) zu werfen. Weitere Einflüsse auf das Aufsichtsmodell der Zukunft kommen aus der erwarteten und wünschenswerten Entwicklung des Genehmigungsrechts (4.), der Art und Weise wie die begleitende Aufsicht gehandhabt werden kann und soll (5.) und den Privatisierungstypen und deren verfassungsrechtlichen Grenzen (6.). Die Arbeit schließt mit der Formulierung eines Zukunftsmodells, dass die Gewichte zwischen der Eröffnungs- und der begleitender Kontrolle, sowie das Verhältnis zwischen Staat, Privaten Dritten und Unternehmen, neu ordnet. Insgesamt wird in dieser Arbeit für ein Aufsichtsmodell plädiert, indem der Staat stärker in die Verantwortung für eine risikoorientierte begleitende Aufsicht genommen wird. Maßstäbe für die Risikoregelung sind künftig komplett vom Staat aufzustellen. Staatliche Aufsicht kann sich zukünftig auf Rahmenregelungen und Rahmenprüfungen bei den risikoreichsten Anlagen, Tätigkeiten und Produkten beschränken. Private Dritte können die Detailermittlungen und Freigaben bearbeiten. Private Sachverständige können künftig die Hauptlast detaillierter und zeitintensiver Kontrolltätigkeiten bei Anlagen, Tätigkeiten und Produkten mit mittlerem Risiko übernehmen. Anlagen, Tätigkeiten und Produkte mit geringem Risiko können der Eigenüberwachung überlassen werden. Im Gegenzug muss der Staat in deutlich stärkeren Maß die Aufsicht über die Kontrolleure anhand einheitlicher Maßstäbe organisieren und durchführen. Die Anforderungen an die Kontrolleure müssen künftig allgemein, sowohl für die externen Kontrollpersonen als auch für die internen Aufsichtspersonen, gelten und überprüft werden.

Tomographic imaging of molecular orbitals in length and velocity form

Recently Itatani et al. [Nature 432, 876 (2004)] introduced the new concept of molecular orbital tomography, where high harmonic generation (HHG) is used to image electronic wave functions. We describe an alternative reconstruction form, using momentum instead of dipole matrix elements for the electron recombination step in HHG. We show that using this velocity-form reconstruction, one obtains better results than using the original length-form reconstruction. We provide numerical evidence for our claim that one has to resort to extremely short pulses to perform the reconstruction for an orbital with arbitrary symmetry. The numerical evidence is based on the exact solution of the time-dependent Schrödinger equation for 2D model systems to simulate the experiment. Furthermore we show that in the case of cylindrically symmetric orbitals, such as the N2 orbital that was reconstructed in the original work, one can obtain the full 3D wave function and not only a 2D projection of it. Vor kurzem führten Itatani et al. [Nature 432, 876 (2004)] das Konzept der Molelkülorbital-Tomographie ein. Hierbei wird die Erzeugung hoher Harmonischer verwendet, um Bilder von elektronischen Wellenfunktionen zu gewinnen. Wir beschreiben eine alternative Form der Rekonstruktion, die auf Impuls- statt Dipol-Matrixelementen für den Rekombinationsschritt bei der Erzeugung der Harmonischen basiert. Wir zeigen, dass diese "Geschwindigkeitsform" der Rekonstruktion bessere Ergebnisse als die ursprüngliche "Längenform" liefert. Wir zeigen numerische Beweise für unsere Behauptung, dass man zu extrem kurzen Laserpulsen gehen muss, um Orbitale mit beliebiger Symmetrie zu rekonstruieren. Diese Ergebnisse basieren auf der exakten Lösung der zeitabhängigen Schrödingergleichung für 2D-Modellsysteme. Wir zeigen ferner, dass für zylindersymmetrische Orbitale wie das N2-Orbital, welches in der oben zitierten Arbeit rekonstruiert wurde, das volle 3D-Orbital rekonstruiert werden kann, nicht nur seine 2D-Projektion.

Generic Finite Element Model for Mechanically Consistent Scaling of Composite Beam-to-column Joint with Welded Connection

To study the behaviour of beam-to-column composite connection more sophisticated finite element models is required, since component model has some severe limitations. In this research a generic finite element model for composite beam-to-column joint with welded connections is developed using current state of the art local modelling. Applying mechanically consistent scaling method, it can provide the constitutive relationship for a plane rectangular macro element with beam-type boundaries. Then, this defined macro element, which preserves local behaviour and allows for the transfer of five independent states between local and global models, can be implemented in high-accuracy frame analysis with the possibility of limit state checks. In order that macro element for scaling method can be used in practical manner, a generic geometry program as a new idea proposed in this study is also developed for this finite element model. With generic programming a set of global geometric variables can be input to generate a specific instance of the connection without much effort. The proposed finite element model generated by this generic programming is validated against testing results from University of Kaiserslautern. Finally, two illustrative examples for applying this macro element approach are presented. In the first example how to obtain the constitutive relationships of macro element is demonstrated. With certain assumptions for typical composite frame the constitutive relationships can be represented by bilinear laws for the macro bending and shear states that are then coupled by a two-dimensional surface law with yield and failure surfaces. In second example a scaling concept that combines sophisticated local models with a frame analysis using a macro element approach is presented as a practical application of this numerical model.

Ist der Ernährungsführerschein eine geeignete Primärpräventionsmaßnahme, um die Ernährungssituation zu verbessern?

Das Ernährungsverhalten einer Bevölkerung hat einen wesentlichen Einfluss auf das Wohlbefinden, die Gesundheit und Leistungsfähigkeit der Menschen. Ernährungsbedingte, chronische Erkrankungen weisen in den westlichen Industrienationen eine hohe Inzidenz und Prävalenz auf. Präventionsmaßnahmen im Setting Schule sollen das Ernährungsverhalten der Kinder- und Jugendlichen positiv beeinflussen. Gerade in diesem Setting können Personen mit unterschiedlichem sozioökonomischem Status, sowie Personen aus diversen Lebensbereichen angesprochen werden. Der Ernährungsführerschein (EFS) ist eine schulbasierte Primärpräventions-maßnahme, der in der 3. Jahrgangsstufe/Grundschule durchgeführt wird. In 6 – 7 Unterrichtseinheiten erfolgt eine praxisnahe Vermittlung von Grundkenntnissen über Ernährung, Lebensmittel und deren Zubereitung. Der EFS möchte eine Verhaltensänderung der Schulkinder bewirken. Sie erlernen Kompetenzen, damit sie in der Lage sind, sich selbst eine gesunde Mahlzeit zubereiten zu können. Aber kann dieses Projekt eine nachhaltige Verhaltensänderung bewirken? Die folgende Studie mit Mixed-Methods-Ansatz im Explanatory-Sequential-Design versucht genau dieser Frage nachzugehen. Auf eine quantitative Prä- und Postbefragung in 16 Klassen an 12 Grundschulen im Landkreis Marburg Biedenkopf und insgesamt 992 Befragungen folgte eine qualitative Studie mit neun problemzentrierten, leitfadengestützten Interviews. Der EFS zeigt keinen signifikanten Einfluss auf die Veränderung des Ernährungsverhaltens. Positiv zu bewerten ist, dass durch den EFS Alltagskompetenzen bei der Nahrungszubereitung gefördert wurden. Dieser positive Einfluss muss jedoch differenziert betrachtet werden, denn die qualitativen Studie zeigt, dass der EFS sehr gut in Familien aufgenommen wird, die sich bereits mit Ernährungsfragen auseinandersetzen und darauf achten, einen ernährungsphysiologisch günstigen Ernährungsstil zu leben oder anzustreben. In Familien der Billig- und Fleischesser konnte der EFS die Türen nicht öffnen. Aber gerade in diesem Segment wäre eine Veränderung des Essverhaltens induziert. Die Untersuchung ergab, dass der EFS für sich alleine nicht den Anspruch erheben kann, die Ernährungssituation der Kinder und Familien zu verbessern. Aber er bietet ein methodisch-didaktisch gut ausgearbeitetes Konzept und könnte als Baustein in die Entwicklung eines praxisnahen, erlebnisorientierten und ganzheitlichen Ernährungsbildungskonzepts unter Berücksichtigung diverser Settings und Lebenswelten der Kinder und Familien einfließen.

Demokratie und Dekolonisierung in Bolivien

Ausgehend von den fortdauernden Ausschlüssen und strukturellen Benachteiligungen der indigenen Bevölkerung Lateinamerikas kritisiert die vorliegende Arbeit die begrenzten Möglichkeiten gesellschaftlicher Teilhabe innerhalb von liberalen Wahldemokratien. Neben materiellen Ungleichheiten stehen immaterielle Formen der Ungleichheit, wie kulturelle und symbolische Barrieren politischer sowie sozialer Teilhabe im Fokus der Analyse. Das Forschungs- und Erkenntnisinteresse zielt darauf, Demokratie nicht länger nur anhand liberal-repräsentativer Normen und Verfahren zu erfassen und zu werten. Es geht um die Reflexion anderer demokratischer Praxen, wie indigener und indigen-gewerkschaftlicher Formen lokaler Selbstregierung in Bolivien. Denn im bolivianischen Transformationsprozess mündete die Kritik der liberal-repräsentativen Demokratie in einer doppelten Forderung: Zum einen wird die Demokratisierung der liberalen Demokratie und zum anderen ihre Dekolonisierung gefordert. Die Dekolonisierung und Institutionalisierung unterschiedlicher Praxen und Vorstellungen wird empirisch am Beispiel des indigenen Autonomieprozesses untersucht. Auf nationaler Ebene werden die Demokratisierungsfortschritte u. a. anhand von Wahlrecht, der Entwicklung der Partizipation und Repräsentation bilanziert und die materielle Dimension von Teilhabe auf Grundlage der sozial- und wirtschaftspolitischen Reformen der Regierung Morales geprüft.

Natural Object Categorization

This thesis addresses the problem of categorizing natural objects. To provide a criteria for categorization we propose that the purpose of a categorization is to support the inference of unobserved properties of objects from the observed properties. Because no such set of categories can be constructed in an arbitrary world, we present the Principle of Natural Modes as a claim about the structure of the world. We first define an evaluation function that measures how well a set of categories supports the inference goals of the observer. Entropy measures for property uncertainty and category uncertainty are combined through a free parameter that reflects the goals of the observer. Natural categorizations are shown to be those that are stable with respect to this free parameter. The evaluation function is tested in the domain of leaves and is found to be sensitive to the structure of the natural categories corresponding to the different species. We next develop a categorization paradigm that utilizes the categorization evaluation function in recovering natural categories. A statistical hypothesis generation algorithm is presented that is shown to be an effective categorization procedure. Examples drawn from several natural domains are presented, including data known to be a difficult test case for numerical categorization techniques. We next extend the categorization paradigm such that multiple levels of natural categories are recovered; by means of recursively invoking the categorization procedure both the genera and species are recovered in a population of anaerobic bacteria. Finally, a method is presented for evaluating the utility of features in recovering natural categories. This method also provides a mechanism for determining which features are constrained by the different processes present in a multiple modal world.

View-Based Strategies for 3D Object Recognition

A persistent issue of debate in the area of 3D object recognition concerns the nature of the experientially acquired object models in the primate visual system. One prominent proposal in this regard has expounded the use of object centered models, such as representations of the objects' 3D structures in a coordinate frame independent of the viewing parameters [Marr and Nishihara, 1978]. In contrast to this is another proposal which suggests that the viewing parameters encountered during the learning phase might be inextricably linked to subsequent performance on a recognition task [Tarr and Pinker, 1989; Poggio and Edelman, 1990]. The 'object model', according to this idea, is simply a collection of the sample views encountered during training. Given that object centered recognition strategies have the attractive feature of leading to viewpoint independence, they have garnered much of the research effort in the field of computational vision. Furthermore, since human recognition performance seems remarkably robust in the face of imaging variations [Ellis et al., 1989], it has often been implicitly assumed that the visual system employs an object centered strategy. In the present study we examine this assumption more closely. Our experimental results with a class of novel 3D structures strongly suggest the use of a view-based strategy by the human visual system even when it has the opportunity of constructing and using object-centered models. In fact, for our chosen class of objects, the results seem to support a stronger claim: 3D object recognition is 2D view-based.

Face Detection in Still Gray Images

We present a trainable system for detecting frontal and near-frontal views of faces in still gray images using Support Vector Machines (SVMs). We first consider the problem of detecting the whole face pattern by a single SVM classifer. In this context we compare different types of image features, present and evaluate a new method for reducing the number of features and discuss practical issues concerning the parameterization of SVMs and the selection of training data. The second part of the paper describes a component-based method for face detection consisting of a two-level hierarchy of SVM classifers. On the first level, component classifers independently detect components of a face, such as the eyes, the nose, and the mouth. On the second level, a single classifer checks if the geometrical configuration of the detected components in the image matches a geometrical model of a face.

New Architectural Models for Visibly Controllable Computing: The Relevance of Dynamic Object Oriented Architectures and Plan Based Computing Models

Traditionally, we've focussed on the question of how to make a system easy to code the first time, or perhaps on how to ease the system's continued evolution. But if we look at life cycle costs, then we must conclude that the important question is how to make a system easy to operate. To do this we need to make it easy for the operators to see what's going on and to then manipulate the system so that it does what it is supposed to. This is a radically different criterion for success. What makes a computer system visible and controllable? This is a difficult question, but it's clear that today's modern operating systems with nearly 50 million source lines of code are neither. Strikingly, the MIT Lisp Machine and its commercial successors provided almost the same functionality as today's mainstream sytsems, but with only 1 Million lines of code. This paper is a retrospective examination of the features of the Lisp Machine hardware and software system. Our key claim is that by building the Object Abstraction into the lowest tiers of the system, great synergy and clarity were obtained. It is our hope that this is a lesson that can impact tomorrow's designs. We also speculate on how the spirit of the Lisp Machine could be extended to include a comprehensive access control model and how new layers of abstraction could further enrich this model.

Failure-Oblivious Computing and Boundless Memory Blocks

Memory errors are a common cause of incorrect software execution and security vulnerabilities. We have developed two new techniques that help software continue to execute successfully through memory errors: failure-oblivious computing and boundless memory blocks. The foundation of both techniques is a compiler that generates code that checks accesses via pointers to detect out of bounds accesses. Instead of terminating or throwing an exception, the generated code takes another action that keeps the program executing without memory corruption. Failure-oblivious code simply discards invalid writes and manufactures values to return for invalid reads, enabling the program to continue its normal execution path. Code that implements boundless memory blocks stores invalid writes away in a hash table to return as the values for corresponding out of bounds reads. he net effect is to (conceptually) give each allocated memory block unbounded size and to eliminate out of bounds accesses as a programming error. We have implemented both techniques and acquired several widely used open source servers (Apache, Sendmail, Pine, Mutt, and Midnight Commander).With standard compilers, all of these servers are vulnerable to buffer overflow attacks as documented at security tracking web sites. Both failure-oblivious computing and boundless memory blocks eliminate these security vulnerabilities (as well as other memory errors). Our results show that our compiler enables the servers to execute successfully through buffer overflow attacks to continue to correctly service user requests without security vulnerabilities.

Richard Rorty i una aproximació pragmatista al liberalisme polític de John Rawls

Aquest article es proposa explorar la possibilitat d'apropar a la concepció del liberalisme polític metafilosòfic de John Rawls des del punt de vista pragmatista de Richard Rorty. La proposta està motivada per les similituds que es poden observar entre elles respecte de la finalitat i la sortida d'una concepció política. El resultat final de l'article és ambigua: d'una banda, no sembla tan descabellat afirmar que la teoria de Rawls es pot llegir sense més dificultats des d'una perspectiva pragmàtica, d'altra banda, hi ha alguns aspectes importants en els quals un liberalisme polític de Rawls segueix sent incompatible amb una concepció política de Rorty

Hi ha veritats necessàries a posteriori?

En aquest treball es discuteix l’afirmació de Kripke de que certes identitats teòriques són exemples de veritats necessàries a posteriori

SQualTrack: A Tool for Robust Fault Detection

One of the techniques used to detect faults in dynamic systems is analytical redundancy. An important difficulty in applying this technique to real systems is dealing with the uncertainties associated with the system itself and with the measurements. In this paper, this uncertainty is taken into account by the use of intervals for the parameters of the model and for the measurements. The method that is proposed in this paper checks the consistency between the system's behavior, obtained from the measurements, and the model's behavior; if they are inconsistent, then there is a fault. The problem of detecting faults is stated as a quantified real constraint satisfaction problem, which can be solved using the modal interval analysis (MIA). MIA is used because it provides powerful tools to extend the calculations over real functions to intervals. To improve the results of the detection of the faults, the simultaneous use of several sliding time windows is proposed. The result of implementing this method is semiqualitative tracking (SQualTrack), a fault-detection tool that is robust in the sense that it does not generate false alarms, i.e., if there are false alarms, they indicate either that the interval model does not represent the system adequately or that the interval measurements do not represent the true values of the variables adequately. SQualTrack is currently being used to detect faults in real processes. Some of these applications using real data have been developed within the European project advanced decision support system for chemical/petrochemical manufacturing processes and are also described in this paper