Analyzing Catastrophic Backtracking Behavior in Practical Regular Expression Matching

We develop a formal perspective on how regular expression matching works in Java, a popular representative of the category of regex-directed matching engines. In particular, we define an automata model which captures all the aspects needed to study such matching engines in a formal way. Based on this, we propose two types of static analysis, which take a regular expression and tell whether there exists a family of strings which makes Java-style matching run in exponential time.Comment: In Proceedings AFL 2014, arXiv:1405.527

Measuring Power and Satisfaction in Societies with Opinion Leaders: Dictator and Opinion Leader Properties

A well known and established model in communication policy in sociology and marketing is that of opinion leadership. Opinion leaders are actors in a society who are able to affect the behavior of other members of the society called followers. Hence, opinion leaders might have a considerable impact on the behavior of markets and other social agglomerations being made up of individual actors choosing among a number of alternatives. For marketing or policy purposes it appears to be interesting to investigate the effect of different opinion leader-follower structures in markets or any other collective decision-making situations in a society. We study a two-action model in which the members of a society are to choose one action, for instance, to buy or not to buy a certain joint product, or to vote yes or no on a specific proposal. Each of the actors has an inclination to choose one of the actions. By definition opinion leaders have some power over their followers, and they exercise this power by influencing the behavior of their followers, i.e. their choice of action. After all actors have chosen their actions, a decision-making mechanism determines the collective choice resulting out of the individual choices. Making use of bipartite digraphs we introduce novel satisfaction and power scores which allow us to analyze the actors' satisfaction and power with respect to the collective choice for societies with different opinion leader-follower structures. Moreover, we study common dictator and opinion leader properties of the above scores and illustrate our findings for a society with five members.Bipartite digraph ; influence ; inclination ; collective choice ; opinion leader ; follower ; satisfaction ; power ; dictator properties ; opinion leader properties

Quantum collapses and revivals of a matter wave in the dynamics of symmetry breaking

Using the remarkable mathematical construct of Eugene Wigner to visualize quantum trajectories in phase space, quantum processes can be described in terms of a quasi-probability distribution analogous to the phase space probability distribution of the classical realm. In contrast to the incomplete glimpse of the wave function that is achievable in a single shot experiment, the Wigner distribution, accessible by quantum state tomography, reflects the full quantum state. We show that during the fundamental symmetry-breaking process of a generic quantum system - with a symmetry breaking field driving the quantum system far from equilibrium - the Wigner distribution evolves continuously with the system undergoing a sequence of revivals into the symmetry unbroken state, followed by collapses onto a quasi-classical state akin the one realised in infinite size systems. We show that generically this state is completely delocalised both in momentum and in real space.Comment: 6 pages, 4 figure

Spin-orbital frustrations and anomalous metallic state in iron-pnictide superconductors

We develop an understanding of the anomalous metal state of the parent compounds of recently discovered iron based superconductors starting from a strong coupling viewpoint, including orbital degrees of freedom. On the basis of an intermediate-spin (S=1) state for the Fe^{2+} ions, we derive a Kugel-Khomskii spin-orbital Hamiltonian for the active t_{2g} orbitals. It turns out to be a highly complex model with frustrated spin and orbital interactions. We compute its classical phase diagrams and provide an understanding for the stability of the various phases by investigating its spin-only and orbital-only limits. The experimentally observed spin-stripe state is found to be stable over a wide regime of physical parameters and can be accompanied by three different types of orbital orders. Of these the orbital-ferro and orbital-stripe orders are particularly interesting since they break the in-plane lattice symmetry -- a robust feature of the undoped compounds. We compute the magnetic excitation spectra for the effective spin Hamiltonian, observing a strong reduction of the ordered moment, and point out that the proposed orbital ordering pattern can be measured in resonant X-ray diffraction.Comment: 16 pages, 12 figure

BDI-Mittelstandspanel 2010: Ergebnisse der Mittelstandsbefragung aus Frühjahr und Herbst 2010

Mit dem vorliegenden Bericht werden die Ergebnisse der elften und zwölften Befragungswelle aus dem Frühjahr bzw. Herbst 2010 als Sammelband dargestellt. Alle weiteren Ergebnisse des BDI-Mittelstandspanels sind auf der Homepage des IfM Bonn dokumentiert. An der elften Befragungswelle zwischen dem 23. Februar und dem 31. Mai 2010 beteiligten sich knapp 1.350 Unternehmen. Vor dem Hintergrund des beginnenden Aufschwungs standen die Entwicklung der deutschen Industrieunternehmen im Jahr 2009 sowie ihre Erwartungen für 2010 im Zentrum der Frühjahrsbefragung. Das Augenmerk lag auf den zentralen Kennzahlen zu Umsatz und Beschäftigung, der Entwicklung von Rendite und Investitionen. Unter dem Eindruck der konjunkturellen Lage wurden die Unternehmen zudem zu ihrer Finanzierungssituation und den Veränderungen der Finanzierungsbedingungen befragt. Im Hinblick auf die zukünftige Wettbewerbsfähigkeit der Industrie wurden deren Innovationsaktivitäten untersucht, Innovationshemmnisse identifiziert und die Wirkung steuerlicher Innovationsanreize erfragt. Neben der Beurteilung der wirtschaftspolitischen Rahmenbedingungen wurden auf der Grundlage der Erhebungsergebnisse Empfehlungen zur Konsolidierung des Bundeshaushalts und zur zeitlichen und fiskalpolitischen Umsetzung der geplanten Einkommensteuerreform gegeben. Ein Schwerpunkt der zwölften Befragungswelle im Herbst 2010 bildete die Beurteilung der wirtschaftspolitischen Rahmenbedingungen der deutschen Industrieunternehmen vor dem Hintergrund der angespannten Lage der Staatsfinanzen. Eingebettet in die obligatorische Beurteilung der eigenen Wirtschaftslage, lag das Augenmerk außerdem auf der Finanzierungssituation des industriellen Mittelstands. Vor dem Hintergrund des sich verstetigenden Aufschwung wurden zudem die Internationalisierungsaktivitäten der deutschen Industrie untersucht, Hemmnisse für ein Engagement im Ausland identifiziert und die Inanspruchnahme staatlicher Außenwirtschaftsfördermaßnahmen erfragt. Weitere Themenschwerpunkte bildete der Führungs- und Fachkräftebedarf des industriellen Mittelstands sowie die Möglichkeiten, einem im Zuge des Aufschwungs drohenden Fachkräftemangel auf Unternehmensebene und gesamtwirtschaftlich zu begegnen. Zwischen dem 24. August und dem 5. November 2010 beteiligten sich fast 1.250 Unternehmen an der Erhebung. --

Measuring Power and Satisfaction in Societies with Opinion Leaders

International audienceOpinion leaders are actors who have some power over their followers as they are able to influence their followers' choice of action in certain instances. In van den Brink et al. (2011) we proposed a two-action model for societies with opinion leaders. We introduced a power and a satisfaction score and studied some common properties. In this paper we strengthen two of these properties and present two further properties, which allows us to axiomatize both scores for the case that followers require unanimous action inclinations of their opinion leaders to follow them independently from their own action inclinations

Digitalverantwortung als Chance

Corporate Digital Responsibility stellt eine neue Herausforderung für Unternehmen dar. Wie kann durch verantwortungsvollen Umgang mit Daten das Vertrauen der Kund/innen gewonnen werden? Ein neues Instrument unterstützt Unternehmen bei diesem offenen Dialog mit Verbraucher/innen über Unternehmenswerte und Unternehmensziele