000 Informatik, Informationswissenschaft, allgemeine Werke
Refine
Year of publication
Document Type
- Article (245)
- Part of Periodical (37)
- Doctoral Thesis (22)
- Book (19)
- Review (9)
- Conference Proceeding (7)
- Periodical (4)
- Part of a Book (2)
- Other (2)
- Contribution to a Periodical (1)
Is part of the Bibliography
- no (349)
Keywords
- Frankfurt <Main> / Universität (115)
- Frankfurt <Main> (60)
- Frankfurt (42)
- Forschung (30)
- Zeitschrift (29)
- Biographie (26)
- Preis <Auszeichnung> (10)
- Wissenschaft (10)
- Frankfurt / Universität (9)
- Adorno (7)
Institute
- Präsidium (42)
- Informatik (28)
- Fachübergreifend (16)
- Frankfurt Institute for Advanced Studies (FIAS) (10)
- Informatik und Mathematik (3)
- Biowissenschaften (2)
- Erziehungswissenschaften (2)
- Evangelische Theologie (2)
- Extern (2)
- Geschichtswissenschaften (2)
Die drei Gewinner des ersten Digital Publishing Creative Ideas-Wettbewerb wurden auf der Frankfurter Buchmesse 2013 bekanntgegeben. Der Wettbewerb wurde erstmals in einer Kooperation zwischen dem Goethe-Unibator (Existenzgründerzentrum der Goethe-Universität) und der Frankfurt Academy (als Teil der Buchmesse) ins Leben gerufen. Neben dem „Book of the Future“ von Gottfried Vossen und Florian Stahl konnten folgende Projekte reüssieren: Andreas Dollmayer (Stuttgart) setzte sich mit der Idee für einen interaktiven Reiseführer durch. Auf der Basis digitaler Karten- und Bilderdienste sowie Blogs und in Verbindung mit Social Media entstehen intelligente Reiseführer in verschiedensten Ausgabeformaten, an die sich Reiseanbieter andocken können. Hiroki Kamata (Tokio) wiederum behauptete sich mit einer Projektidee, bei der antike Bücher, die vor der Zeit Gutenbergs hergestellt wurden, auf der Basis einer digitalen Arbeitsumgebung wieder zum Leben erweckt werden.
[Es] zeichnen sich drei grundlegend unterscheidbare Richtungen ab, die als Aufgabenfeld einer Computerphilologie gesehen werden: die Entwicklung digitaler Editionen, die Erforschung PC-basierter Literatur und die Ausbildung PC-basierter Methoden einschließlich der Entwicklung und Programmierung entsprechender Anwendungen. Diese Definition bietet Anlass zur Reflexion über die Frage nach Methodologie und Disziplinarität der Computerphilologie. Die Aufzählung […] kann jedoch nur den Ausgangspunkt markieren, da sie lediglich den Einsatzbereich des PCs absteckt. Aber darauf aufbauend lassen sich drei Thesen zur näheren Bestimmung computerphilologischer Arbeit formulieren, die nachfolgend zur Diskussion gestellt werden.
Türkçe, Almanca, İngilizce gibi doğal dillerde bir tümce temelde özne ve yüklemden oluşur. Benzer şekilde biçimsel dillerde de bir tümce, yüklem ve argümandan oluşur. Yüklemler P, Q, R gibi büyük harflerle, argümanlar ise x, y, z gibi küçük harflerle gösterilir. Örneğin olumlu bir tümce P(x), olumsuz bir tümce ise -P(x) şeklinde ifade edilebilir. Ancak bazen bir tümcenin olumlu mu yoksa olumsuz mu olduğu net bir şekilde belli olmayabilir. Bu tür durumlarda mevcut sembolik gösterimde belirsizlikler ortaya çıkabilmektedir. Olumlu tümcelere matematiksel olarak 1, olumsuz tümcelere ise 0 değerinin verildiği varsayılırsa, olumluluk veya olumsuzluk durumu belirsiz olan tümceler ancak bu iki değer arasında bir değer alabilir. Diğer bir deyişle P(x) şeklinde gösterilebilen bir tümceyi P1(x), -P(x) şeklinde gösterilen bir tümceyi ise P0(x) şeklinde ifade etmek mümkündür; fakat olumluluğu kesin olmayan tümceler bu değerlerle gösterilemeyeceği için başka bir ifade şekline ihtiyaç vardır. Çünkü bu tümcelerdeki iş, oluş veya hareketin gerçekleşme oranı ne 0 ne de 1'dir; 0 ve 1 arasında bir değerdir. Bu çalışmada bu tür tümcelerin biçimsel dillerde nasıl ifade edilebileceğine dair bir öneride bulunmak ve bulanık küme kuramıyla olumluluğu derecelendirmek amaçlanmıştır. Bu amaç doğrultusunda önerilen yaklaşım birtakım örnek tümceler üzerinde uygulanmış ve söz konusu tümceler bulanık sembolik bir gösterimle ifade edilmiştir.
Why do we need to communicate science? Is science, with its highly specialised language and its arcane methods, too distant to be understood by the public? Is it really possible for citizens to participate meaningfully in scientific research projects and debate? Should scientists be mandated to engage with the public to facilitate better understanding of science? How can they best communicate their special knowledge to be intelligible? These and a plethora of related questions are being raised by researchers and politicians alike as they have become convinced that science and society need to draw nearer to one another. Once the persuasion took hold that science should open up to the public and these questions were raised, it became clear that coming up with satisfactory answers would be a complex challenge. The inaccessibility of scientific language and methods, due to ever increasing specialisation, is at the base of its very success. Thus, translating specialised knowledge to become understandable, interesting and relevant to various publics creates particular perils. This is exacerbated by the ongoing disruption of the public discourse through the digitisation of communication platforms. For example, the availability of medical knowledge on the internet and the immense opportunities to inform oneself about health risks via social media are undermined by the manipulable nature of this technology that does not allow its users to distinguish between credible content and misinformation. In countries around the world, scientists, policy-makers and the public have high hopes for science communication: that it may elevate its populations educationally, that it may raise the level of sound decision-making for people in their daily lives, and that it may contribute to innovation and economic well-being. This collection of current reflections gives an insight into the issues that have to be addressed by research to reach these noble goals, for South Africa and by South Africans in particular.
Modern-day science is under great pressure. A potent mix of increasing expectations, limited resources, tensions between competition and cooperation, and the need for evidence-based funding is creating major change in how science is conducted and perceived. Amidst this 'perfect storm' is the allure of 'research excellence', a concept that drives decisions made by universities and funders, and defines scientists' research strategies and career trajectories. But what is 'excellent' science? And how to recognise it? After decades of inquiry and debate there is still no satisfactory answer. Are we asking the wrong question? Is reality more complex, and 'excellence in science' more elusive, than many are willing to admit? And how should excellence be defined in different parts of the world, particularly in lower-income countries of the 'Global South' where science is expected to contribute to pressing development issues, despite often scarce resources? Many wonder whether the Global South is importing, with or without consenting, the flawed tools for research evaluation from North America and Europe that are not fit for purpose. This book takes a critical view of these issues, touching on conceptual issues and practical problems that inevitably emerge when 'excellence' is at the center of science systems. Emerging from the capacity-building work of the Science Granting Councils Initiative in sub-Saharan Africa, it speaks to scholars, as well as to managers and funders of research around the world. Confronting sticky problems and uncomfortable truths, the chapters contain insights and recommendations that point towards new solutions - both for the Global South and the Global North.
Biological ageing is a degenerative and irreversible process, ultimately leading to death of the organism. The process is complex and under the control of genetic, environmental and stochastic traits. Although many theories have been established during the last decades, none of these are able to fully describe the complex mechanisms, which lead to ageing. Generally, biological processes and environmental factors lead to molecular damage and an accumulation of impaired cellular components. In contrast, counteracting surveillance systems are effective, including repair, remodelling and degradation of damaged or impaired components, respectively. Nevertheless, at some point these systems are no longer effective, either because the increasing amount of molecular damages can not longer be removed efficiently or because the repairing and removing mechanisms themselves become affected by impairing effects. The organism finally declines and dies. To investigate and to understand these counteracting mechanisms and the complex interplay of decline and maintenance, holistic and systems biological investigations are required. Hence, the processes which lead to ageing in the fungal model organism Podospora anserina, had been analysed using different advanced bioinformatics methods. In contrast to many other ageing models, P. anserina exhibits a short lifespan, a less biochemical complexity and it provides a good accessibility for genetic manipulations.
To achieve a general overview on the different biochemical processes, which are affected during ageing in P. anserina, an initial comprehensive investigation was applied, which aimed to reveal genes significantly regulated and expressed in an age-dependent manner. This investigation was based on an age-dependent transcriptome analysis. Sophisticated and comprehensive analyses revealed different age-related pathways and indicated that especially autophagy may play a crucial role during ageing. For example, it was found that the expression of autophagy-associated genes increases in the course of ageing.
Subsequently, to investigate and to characterise the autophagy pathway, its associated single components and their interactions, Path2PPI, a new bioinformatics approach, was developed. Path2PPI enables the prediction of protein-protein interaction networks of particular pathways by means of a homology comparison approach and was applied to construct the protein-protein interaction network of autophagy in P. anserina.
The predicted network was extended by experimental data, comprising the transcriptome data as well as newly generated protein-protein interaction data achieved from a yeast two-hybrid analysis. Using different mathematical and statistical methods the topological properties of the constructed network had been compared with those of randomly generated networks to approve its biological significance. In addition, based on this topological and functional analysis, the most important proteins were determined and functional modules were identified, which correspond to the different sub-pathways of autophagy. Due to the integrated transcriptome data the autophagy network could be linked to the ageing process. For example, different proteins had been identified, which genes are continuously up- or down-regulated during ageing and it was shown for the first time that autophagy-associated genes are significantly often co-expressed during ageing.
The presented biological network provides a systems biological view on autophagy and enables further studies, which aim to analyse the relationship of autophagy and ageing. Furthermore, it allows the investigation of potential methods for intervention into the ageing process and to extend the healthy lifespan of P. anserina as well as of other eukaryotic organisms, in particular humans.
We study Gaifman locality and Hanf locality of an extension of first-order logic with modulo p counting quantifiers (FO+MODp , for short) with arbitrary numerical predicates. We require that the validity of formulas is independent of the particular interpretation of the numerical predicates and refer to such formulas as arb-invariant formulas. This paper gives a detailed picture of locality and non-locality properties of arb-invariant FO+MODp . For example, on the class of all finite structures, for any p 2, arb-invariant FO+MODp is neither Hanf nor Gaifman local with respect to a sublinear locality radius. However, in case that p is an odd prime power, it is weakly Gaifman local with a polylogarithmic locality radius. And when restricting attention to the class of string structures, for odd prime powers p, arb-invariant FO+MODp is both Hanf and Gaifman local with a polylogarithmic locality radius. Our negative results build on examples of order-invariant FO+MODp formulas presented in Niemist ̈o’s PhD thesis. Our positive results make use of the close connection between FO+MODp and Boolean circuits built from NOT-gates and AND-, OR-, and MOD p - gates of arbitrary fan-in.
We consider the isolated spelling error correction problem as a specific subproblem of the more general string-to-string translation problem. In this context, we investigate four general string-to-string transformation models that have been suggested in recent years and apply them within the spelling error correction paradigm. In particular, we investigate how a simple ‘k-best decoding plus dictionary lookup’ strategy performs in this context and find that such an approach can significantly outdo baselines such as edit distance, weighted edit distance, and the noisy channel Brill and Moore model to spelling error correction. We also consider elementary combination techniques for our models such as language model weighted majority voting and center string combination. Finally, we consider real-world OCR post-correction for a dataset sampled from medieval Latin texts.
This is a short summary of a recent survey [FR03] focusing on the observed evidence, that Internet connectivity is positively correlated with spread of democracy at high levels of significance. The results of multivariate correlation analysis and probabilities regression estimate models are based on the combined analysis of mid - 1991’s, to 2001 data series of the Eurostat’s and US Census Bureau, the World Bank, and OECD’s statistical data service which track the growth of information technology and rating of freedom and democracy worldwide.
We present an implementation of an interpreter LRPi for the call-by-need calculus LRP, based on a variant of Sestoft's abstract machine Mark 1, extended with an eager garbage collector. It is used as a tool for exact space usage analyses as a support for our investigations into space improvements of call-by-need calculi.