作者：
Ortner, ErichTechnische Universität Darmstadt
Fachbereich 1: Rechts- und Wirtschaftswissenschaften Fachgebiet Wirtschaftsinformatik I Entwicklung von Anwendungssystemen Hochschulstraße 1 DarmstadtD-64289 Germany
We study some properties of algebraic and linear generators. We show that the algebraic language E generated by the grammar: S → aSbSc + d dominates every algebraic language by faithful sequential mappings. We deduce...
详细信息
We study some properties of algebraic and linear generators. We show that the algebraic language E generated by the grammar: S → aSbSc + d dominates every algebraic language by faithful sequential mappings. We deduce that, for every algebraic language L′ and every algebraic generator L, there exists a faithful rational function τ such that L′=τ(L). This result, which does not hold for the family of linear languages, permits us to show that no algebraic generator belongs to the family EDTOL. Also, we prove if L is a linear generator then L # is a ‘sequential’ generator for Lin.
This paper is devoted to the study of context-free languages over infinite alphabets. This work can be viewed as a new attempt to study families of grammars, replacing the usual “grammar forms” and giving a new poin...
详细信息
This paper is devoted to the study of context-free languages over infinite alphabets. This work can be viewed as a new attempt to study families of grammars, replacing the usual “grammar forms” and giving a new point of view on these questions. A language over an infinite alphabet or I-language appears as being a model for a family of usual languages; an interpretation is an homomorphism from the infinite alphabet to any finite alphabet. Using this notion of interpretation we can associate to each family of I-languages an image, called its shadow, which is a family of usual *** closure properties of families, generalizing to infinite alphabets the family of context-free languages, lead to define rational transductions between infinite alphabets or I-transductions, and then, families of I-languages closed under I-transductions, or I-cones. We study here relations between the closure properties of a family of I-languages and these of its shadow. As a result, we obtain that any union closed rational cone of context-free languages, principal or not, is the shadow of a principal *** work leads to new results about the classical theory of context-free languages. For instance, we prove that any principal rational cone of context-free languages can be generated by a context-free language, whose grammar has only 6 variables. This work also leads to more general considerations about the adequacy of some generating devices to the generated languages. It appears that the context-free grammars are fair, in a sense that we define, for generating context-free languages but that non-expansive context-free grammars are not for generating non-expansive context-free languages. This point of view raises a number of questions.
Ein Wiki ist eine webbasierte Software, die es allen Betrachtern einer Seite erlaubt, den Inhalt zu ändern, indem sie diese Seite online im Browser editieren. Damit ist ein Wiki eine einfache und leicht zu bedien...
详细信息
Ein Wiki ist eine webbasierte Software, die es allen Betrachtern einer Seite erlaubt, den Inhalt zu ändern, indem sie diese Seite online im Browser editieren. Damit ist ein Wiki eine einfache und leicht zu bedienende Plattform für kooperatives Arbeiten an Texten und Hypertexten.
Zusammenfassungadesso ist heute ein internationaler IT-Dienstleister mit über 5000 Mitarbeitenden und Niederlassungen in ganz Deutschland sowie zahlreichen europäischen Ländern. Vor gut 25 Jahren war ad...
详细信息
Zusammenfassung
adesso ist heute ein internationaler IT-Dienstleister mit über 5000 Mitarbeitenden und Niederlassungen in ganz Deutschland sowie zahlreichen europäischen Ländern. Vor gut 25 Jahren war adesso die Idee von zwei Personen. Die Gründer wollten das wirtschaftliche Potenzial von IT für Unternehmen einfacher nutzbar machen. Von der Ursprungsidee – Prozesse in Softwareentwicklungsprojekten möglich exakt zu modellieren – blieb nicht viel übrig. Was blieb, ist die Leidenschaft für Software. Und ein großer Pragmatismus im Umgang mit Entscheidungen und Problemen. Der Erfolg von Java war entscheidend für den Erfolg des IT-Dienstleisters. Das erste Java-Projekt setzte adesso für Versicherungen um. Auf die Versicherungsindustrie folgten weitere Branchen. Aus reinen Softwareentwicklungsaufträgen wurden häufiger Projekte, in denen Beratung bei der IT-Strategie eine Rolle spielte. Aber im Kern ging es immer darum, wirtschaftliches Potenzial, ausgewiesene Fachleute und die richtigen Technologien zusammenzubringen. Eine der Herausforderungen für adesso ist das Managen des Wachstums. So ist das Finden geeigneter Expertinnen und Experten ein zentrales Thema. Es gilt, Menschen an Bord zu holen, die Fachwissen mitbringen und den adesso-Stil zu schätzen wissen.
Polynomial multiplication of degree N can be accomplished in time O (N · log N) provided the scalar field contains suitable roots of unity. Otherwise at least O (N · log N · log log N) is obtained by a ...
详细信息
Polynomial multiplication of degree N can be accomplished in time O (N · log N) provided the scalar field contains suitable roots of unity. Otherwise at least O (N · log N · log log N) is obtained by a modified version of the Schönhage-Strassen multiplication which employs computations modulo 1 + xn (where N = 2n), if the field contains 2−1, or modulo 1 + xn + x2N, if 3−1 exists. The latter method covering all fields of characteristic 2 is presented here in detail.
ZusammenfassungSeit Jahrzehnten bewährte und bestehende Strukturen der Verwaltung werden mit neuen Formen der Zusammenarbeit auf die Probe gestellt. Mitwirkung, Teilhabe und Partizipation sind konkrete Bedür...
详细信息
Zusammenfassung
Seit Jahrzehnten bewährte und bestehende Strukturen der Verwaltung werden mit neuen Formen der Zusammenarbeit auf die Probe gestellt. Mitwirkung, Teilhabe und Partizipation sind konkrete Bedürfnisse geworden, dies es zu adressieren gilt. Dialog und nicht nur information wird erwartet, der Austausch zwischen den Einwohnern, den Nachbarn, aber auch den Behörden wird gewünscht. Dabei ist es naheliegend, dass eine Plattform für alle nicht nur notwendig ist, sondern auch neue Rollen und Herausforderungen mit sich bringt. Um sich nicht dem betriebswirtschaftlichen Fokus namhafter Anbieter auszuliefern, wird sich die Verwaltung in neues Terrain begeben müssen. Um die Vielfalt und Dynamik der Gemeinschaft abbilden zu können, bedarf es eines Ökosystem-Ansatzes mit maßvoller Regulation und auf Basis von Open Source. Dialog Luzern ist konkret aus einem Pilotprojekt auf Basis des decidim-Frameworks entstanden und konfrontiert die Verwaltung der Stadt Luzern sowie die verschiedenen lokalen Akteure laufend mit neuen Fragestellungen, wie ein Ökosystem orchestriert und sinnvoll reguliert werden kann.
This special issue is dedicated to the presentation of novel results in the scope of program analysis, verification, and testing of software to improve its quality. The papers included in the special issue present app...
详细信息
This special issue is dedicated to the presentation of novel results in the scope of program analysis, verification, and testing of software to improve its quality. The papers included in the special issue present approaches that successfully combine model-based test case generation, reasoning about functional equivalence, data mining, classification, and the combination of abstraction with model-checking, to address real software applications in realistic settings.
ZusammenfassungErgon Informatik aus Zürich hat sich innert 4 Dekaden zu einem der führenden Schweizer Softwareunternehmen gemausert. Ihre Spezialität? Aus Digitalisierungstrends einzigartigen Kundennutz...
详细信息
Zusammenfassung
Ergon Informatik aus Zürich hat sich innert 4 Dekaden zu einem der führenden Schweizer Softwareunternehmen gemausert. Ihre Spezialität? Aus Digitalisierungstrends einzigartigen Kundennutzen schaffen, durch smarte Verschmelzung von Technologie‑, Security- und Business-Expertise, mit ganz viel Menschlichkeit und Teamspirit. Doch wie kultiviert man diese Kultur des kollaborativen Erfolgs? Teddy Graf, Gründer und Verwaltungsratspräsident und Gabriela Keller, CEO, geben Auskunft.
ZusammenfassungeXXcellent solutions wurde 2001 gegründet und konzentriert sich auf die Schaffung von Wettbewerbsvorteilen durch maßgeschneiderte IT-Lösungen. Der Artikel beschreibt die Erweiterung des U...
详细信息
Zusammenfassung
eXXcellent solutions wurde 2001 gegründet und konzentriert sich auf die Schaffung von Wettbewerbsvorteilen durch maßgeschneiderte IT-Lösungen. Der Artikel beschreibt die Erweiterung des Unternehmens durch die Neugründung der eXXcellent solutions consulting & software GmbH im Jahr 2012.
暂无评论