Refine
Has Fulltext
- yes (64)
Year of publication
- 2010 (64) (remove)
Document Type
- Conference Proceeding (23)
- Article (21)
- Review (6)
- Preprint (5)
- Postprint (4)
- Monograph/Edited Volume (3)
- Other (2)
Language
- English (64) (remove)
Is part of the Bibliography
- no (64) (remove)
Keywords
- middleware (3)
- Arrayseismologie (2)
- Erdbebenkatalog (2)
- Erdbebenschwarm 2008/09 (2)
- Vogtland/West Bohemia (2)
- Vogtland/Westböhmen (2)
- array seismology (2)
- earthquake catalog (2)
- earthquake swarm 2008/09 (2)
- Antipersistence (1)
Institute
- Extern (16)
- Institut für Jüdische Studien und Religionswissenschaft (15)
- Vereinigung für Jüdische Studien e. V. (15)
- Institut für Künste und Medien (10)
- Hasso-Plattner-Institut für Digital Engineering gGmbH (7)
- Institut für Mathematik (6)
- Institut für Informatik und Computational Science (3)
- Department Psychologie (2)
- Institut für Biochemie und Biologie (2)
- Institut für Geowissenschaften (2)
Inhalt: Introduction: The problem at hand Approaches to EU’s external identity making Mechanisms of external identity making Theoretical approaches to the EU’s external identity making The EU’s external identity promotion The ENP policy instruments Conclusions References
Eye movements in reading are sensitive to foveal and parafoveal word features. Whereas the influence of orthographic or phonological parafoveal information on gaze control is undisputed, there has been no reliable evidence for early parafoveal extraction of semantic information in alphabetic script. Using a novel combination of the gaze-contingent fast-priming and boundary paradigms, we demonstrate semantic preview benefit when a semantically related parafoveal word was available during the initial 125 ms of a fixation on the pre-target word (Experiments 1 and 2). When the target location was made more salient, significant parafoveal semantic priming occurred only at 80 ms (Experiment 3). Finally, with short primes only (20, 40, 60 ms) effects were not significant but numerically in the expected direction for 40 and 60 ms (Experiment 4). In all experiments, fixation durations on the target word increased with prime durations under all conditions. The evidence for extraction of semantic information from the parafoveal word favors an explanation in terms of parallel word processing in reading.
Parafoveal Load of Word N+1 Modulates Preprocessing Effectivenessof Word N+2 in Chinese Reading
(2010)
Preview benefits (PBs) from two words to the right of the fixated one (i.e., word N+2)and associated parafoveal-on-foveal effects are critical for proposals of distributed lexical processing during reading. This experiment examined parafoveal processing during reading of Chinese sentences, using a boundary manipulation of N+2-word preview with low- and high-frequency words N+1. The main findings were (a) an identity PB for word N+2 that was (b) primarily observed when word N+1 was of high frequency (i.e., an interaction between frequency of word N+1 and PB for word N+2), and (c) a parafoveal-on-foveal frequency effect of word N+1 for fixation durations on word N. We discuss implications for theories of serial attention shifts and parallel distributed processing of words during reading.
Estimation and testing the effect of covariates in accelerated life time models under censoring
(2010)
The accelerated lifetime model is considered. To test the influence of the covariate we transform the model in a regression model. Since censoring is allowed this approach leads to a goodness-of-fit problem for regression functions under censoring. So nonparametric estimation of regression functions under censoring is investigated, a limit theorem for a L2-distance is stated and a test procedure is formulated. Finally a Monte Carlo procedure is proposed.
Die besondere Beziehung zwischen Humboldt und Darwin, zwei der bedeutendsten Persönlichkeiten in der Welt der Naturwissenschaften und der Biologie des 19. Jahrhunderts, wird detailliert auf den verschiedenen Ebenen ihres Kontaktes analysiert, sowohl was das real stattgefundene persönliche Treffen betrifft, als auch hinsichtlich ihrer Korrespondenz und der Koinzidenz von Ideen. Dieser wechselseitige Blick zeigt uns wie sich die beiden Gelehrten gegenseitig wahrnahmen, ob sie wirklich versuchten, mit dem Paradigma ihrer bedeutenden Vorgänger zu brechen, oder ob sie lediglich schrittweise das bereits erlangte Wissen erweiterten, bis es durch die Erstellung einer genialen Idee zu einem Bruch des bisherigen Wissens kommt. Bekannt ist die wiederholte Referenz von Darwin auf die Werke Humboldts, insbesondere auf die Tagebücher des deutschen Naturwissenschaftler und seine Art der Beschreibung der amerikanischen Natur in ihrer ganzen Reichhaltigkeit. Weniger bekannt hingegen sind andere Verweise in seiner Autobiografie, sowie die wissenschaftliche Verwendung des Humboldtschen Werkes oder die Zitate in seiner Korrespondenz, die in diesem Beitrag aufgezeigt werden. Darüber hinaus wird die Verwendung der frühen Schriften von Darwin durch Humboldt in einigen seiner Publikationen, vor allem im Kosmos, erwähnt.
This thesis is concerned with the issue of extinction of populations composed of different types of individuals, and their behavior before extinction and in case of a very late extinction. We approach this question firstly from a strictly probabilistic viewpoint, and secondly from the standpoint of risk analysis related to the extinction of a particular model of population dynamics. In this context we propose several statistical tools. The population size is modeled by a branching process, which is either a continuous-time multitype Bienaymé-Galton-Watson process (BGWc), or its continuous-state counterpart, the multitype Feller diffsion process. We are interested in different kinds of conditioning on nonextinction, and in the associated equilibrium states. These ways of conditioning have been widely studied in the monotype case. However the literature on multitype processes is much less extensive, and there is no systematic work establishing connections between the results for BGWc processes and those for Feller diffusion processes. In the first part of this thesis, we investigate the behavior of the population before its extinction by conditioning the associated branching process Xt on non-extinction (Xt 6= 0), or more generally on non-extinction in a near future 0 < 1 (Xt+ 0 = 0), and by letting t tend to infinity. We prove the result, new in the multitype framework and for 0 > 0, that this limit exists and is nondegenerate. This re ects a stationary behavior for the dynamics of the population conditioned on non-extinction, and provides a generalization of the so-called Yaglom limit, corresponding to the case 0 = 0. In a second step we study the behavior of the population in case of a very late extinction, obtained as the limit when 0 tends to infinity of the process conditioned by Xt+ 0 = 0. The resulting conditioned process is a known object in the monotype case (sometimes referred to as Q-process), and has also been studied when Xt is a multitype Feller diffusion process. We investigate the not yet considered case where Xt is a multitype BGWc process and prove the existence of the associated Q-process. In addition, we examine its properties, including the asymptotic ones, and propose several interpretations of the process. Finally, we are interested in interchanging the limits in t and 0, as well as in the not yet studied commutativity of these limits with respect to the high-density-type relationship between BGWc processes and Feller processes. We prove an original and exhaustive list of all possible exchanges of limit (long-time limit in t, increasing delay of extinction 0, diffusion limit). The second part of this work is devoted to the risk analysis related both to the extinction of a population and to its very late extinction. We consider a branching population model (arising notably in the epidemiological context) for which a parameter related to the first moments of the offspring distribution is unknown. We build several estimators adapted to different stages of evolution of the population (phase growth, decay phase, and decay phase when extinction is expected very late), and prove moreover their asymptotic properties (consistency, normality). In particular, we build a least squares estimator adapted to the Q-process, allowing a prediction of the population development in the case of a very late extinction. This would correspond to the best or to the worst-case scenario, depending on whether the population is threatened or invasive. These tools enable us to study the extinction phase of the Bovine Spongiform Encephalopathy epidemic in Great Britain, for which we estimate the infection parameter corresponding to a possible source of horizontal infection persisting after the removal in 1988 of the major route of infection (meat and bone meal). This allows us to predict the evolution of the spread of the disease, including the year of extinction, the number of future cases and the number of infected animals. In particular, we produce a very fine analysis of the evolution of the epidemic in the unlikely event of a very late extinction.
We reconsider the fundamental work of Fichtner ([2]) and exhibit the permanental structure of the ideal Bose gas again, using another approach which combines a characterization of infinitely divisible random measures (due to Kerstan,Kummer and Matthes [5, 6] and Mecke [8, 9]) with a decomposition of the moment measures into its factorial measures due to Krickeberg [4]. To be more precise, we exhibit the moment measures of all orders of the general ideal Bose gas in terms of certain path integrals. This representation can be considered as a point process analogue of the old idea of Symanzik [11] that local times and self-crossings of the Brownian motion can be used as a tool in quantum field theory. Behind the notion of a general ideal Bose gas there is a class of infinitely divisible point processes of all orders with a Levy-measure belonging to some large class of measures containing the one of the classical ideal Bose gas considered by Fichtner. It is well known that the calculation of moments of higher order of point processes are notoriously complicated. See for instance Krickeberg's calculations for the Poisson or the Cox process in [4].
The aim of these lectures is a reformulation and generalization of the fundamental investigations of Alexander Bach [2, 3] on the concept of probability in the work of Boltzmann [6] in the language of modern point process theory. The dominating point of view here is its subordination under the disintegration theory of Krickeberg [14]. This enables us to make Bach's consideration much more transparent. Moreover the point process formulation turns out to be the natural framework for the applications to quantum mechanical models.
The aim of this paper is to build and compare estimators of the infection parameter in the different phases of an epidemic (growth and extinction phases). The epidemic is modeled by a Markovian process of order d > 1 (allowing non-Markovian life spans), and can be written as a multitype branching process. We propose three estimators suitable for the different classes of criticality of the process, in particular for the subcritical case corresponding to the extinction phase. We prove their consistency and asymptotic normality for two asymptotics, when the number of ancestors (resp. number of generations) tends to infinity. We illustrate the asymptotic properties with simulated examples, and finally use our estimators to study the infection intensity in the extinction phase of the BSE epidemic in Great-Britain.
Background: Local adaptation to divergent environmental conditions can promote population genetic differentiation even in the absence of geographic barriers and hence, lead to speciation. Perturbations by catastrophic events, however, can distort such parapatric ecological speciation processes. Here, we asked whether an exceptionally strong flood led to homogenization of gene pools among locally adapted populations of the Atlantic molly (Poecilia mexicana, Poeciliidae) in the Cueva del Azufre system in southern Mexico, where two strong environmental selection factors (darkness within caves and/or presence of toxic H2S in sulfidic springs) drive the diversification of P. mexicana. Nine nuclear microsatellites as well as heritable female life history traits (both as a proxy for quantitative genetics and for trait divergence) were used as markers to compare genetic differentiation, genetic diversity, and especially population mixing (immigration and emigration) before and after the flood. Results: Habitat type (i.e., non-sulfidic surface, sulfidic surface, or sulfidic cave), but not geographic distance was the major predictor of genetic differentiation. Before and after the flood, each habitat type harbored a genetically distinct population. Only a weak signal of individual dislocation among ecologically divergent habitat types was uncovered (with the exception of slightly increased dislocation from the Cueva del Azufre into the sulfidic creek, El Azufre). By contrast, several lines of evidence are indicative of increased flood-induced dislocation within the same habitat type, e.g., between different cave chambers of the Cueva del Azufre. Conclusions: The virtual absence of individual dislocation among ecologically different habitat types indicates strong natural selection against migrants. Thus, our current study exemplifies that ecological speciation in this and other systems, in which extreme environmental factors drive speciation, may be little affected by temporary perturbations, as adaptations to physico-chemical stressors may directly affect the survival probability in divergent habitat types.
This paper is a critical examination of the relationship between reality and simulation. After a brief theoretical introduction, it unfolds its argument on an empirical level, using a thick game playing description of GRAND THEFT AUTO IV. This in-game experience serves as material for the subsequent analysis, in the course of which defining characteristics of computer game playing are formulated. Finally, on the basis of this analysis, the paper postulates the hypothesis that playing computer games like GTA IV promotes competency in deconstructing simulations and implements a cyclic logic of recreation.
Computer games may be defined as artifacts that connect the input devices of a computer (such as keyboard, mouse or controller) with its output devices (in most cases a screen and speakers) in such a way that on the screen a challenge is displayed. On the screen we see pictorial elements that have to be manipulated to master a game, that is to win a competition, to solve a riddle or to adopt a skill. Therefore the characteristics of the representational function of computer games have to be contrasted phenomenologically with conventional games on the one hand and cinematic depictions on the other. It shows that computer games separate the player from the playing field, and translate bodily felt concrete actions into situational abstract cinematic depictions. These features add up to the situational abstract presentation of self-action experience. In this framework computer games reveal a potential as a new means of shared cognition that might unfold in the 21st century and change the beingin- the-world in a similar way as cinematic depiction did in the 20th century
In recent years computer games have been discussed by a variety of disciplines from various perspectives. A fundamental difference with other media, which is a point of continuous consideration, is the specific relationship between the viewer and the image, the player and the game apparatus, which is a characteristic of video games as a dispositive. Terms such as immersion, participation, interactivity, or ergodic are an indication of the deep interest in this constellation. This paper explores the resonance between body and image in video games like REZ, SOUL CALIBUR and DANCE DANCE REVOLUTION from the perspective of a temporal ontology of the image, taking particular account of the structuring power of the interface and its subject positioning aspects.
The debate whether to locate the narrative of digital games a) as part of the code or b) as part of the performance will be the starting point for an analysis of two roleplaying games: the single-player game ZELDA: MAJORA’S MASK and the Korean MMORPG AION and their respective narrative logics. When we understand games as abstract code systems, then the narrative logic can be understood as embedded on the code level. With a focus on the player’s performance, the actualization of the possibilities given in the code system is central. Both logics, that of code and that of performance, are reflected in players’ narratives based on the playing experience. They do reflect on the underlying code and rules of the game system as they do reflect on the game world and their own performance within. These narratives rely heavily on the source text – the digital game –, which means that they give insights into the underlying logics of the source text. I will discuss the game structure, the players’ performance while playing the game and the performance of the player after playing the game producing fan narratives. I conceive the narrative structure and the performance of the player playing as necessarily interconnected when we discuss the narrative logics of a game. Producing fan narratives is understood as a performance as well. This performance is based on the experience the players made while playing and refers to both logics of the game they use as their source text.
Reflecting on how and with what kind of consequences something artificial, something manufactured becomes naturalized in video games will be the central issue of this text. It deals with the question of how the video game hides its artificiality in terms of technique. In a certain sense this retrieves one of the fundamental questions of modernity and industrialization: How does the manufacturing of our environment become a naturalized, self-evident and indubitable process?
Video games structure play as performance in both the virtual and the physical space. On the one hand, the player encounters game worlds as virtual stages to act upon. On the other hand, the game world stages the player and re-frames the play space. This essay sets out to suggest some of the elements that are at work in this dualism of games as performative media. The two key elements here are the mediation of the game environment and the transformation of the player through virtual puppetry. Both cases will be argued with a focus on spatiality in performance.
Communication, simulation, interactive narrative and ubiquitous computing are widely accepted as perspectives in humancomputer interaction. This paper proposes play as another possible perspective. Everyday uses of the computer increasingly show signs of similarity to play. This is not discussed with regard to the so-called media society, the playful society, the growing cultural acceptance of the computer, the spread of computer games or a new version of Windows, but in view of the playful character of interaction with the computer that has always been part of it. The exploratory learning process involved with new software and the creative tasks that are often undertaken when using the computer may support this argument. Together with its high level of interactivity, these observations point to a sense of security, autonomy and freedom of the user that produce play and are, in turn, produced by play. This notion of play refers not to the playing of computer games, but to an implicit, abstract (or symbolic) process based on a certain attitude, the play spirit. This attitude is discussed regarding everyday computer use and related to the other mentioned perspectives.
Logic as a medium
(2010)
Computer games are rigid in a peculiar way: the logic of computation was the first to shape the early games. The logic of interactivity marked the action genre of games in the second place, while in massive multiplayer online gaming all the emergences of the net occur to confront us with just another type of logic. These logics are the media in which the specific forms of computer games evolve. Therefore, a look at gaming supposing that there are three eras of computation is taken: the early synthetical era, ruled by the Turing machine and by mainframe computers, by the IPO principle of computing; the second, mimetical era, when interactivity and graphical user interfaces dominate, the domain of the feedback loop; and the third, emergent era, in which the complexity of networked personal computers and their users is dominant.
Seki
(2010)
Game space can be conceived of as being structured by varying levels of ruledness, i.e. it oscillates between openness and closure, between playability and gameness. The movement through game space can then be described as a vector defined by possibility spaces, which are generated organically out of the interplay between ruled and unruled space. But we can only define rules ex negativo, therefore the possibility of breaking the rules is always already inscribed in this vector of movement. This can be conceptualized as a boundary operation that takes the difference between ‘ordinary life’ and ‘play’ as its argument, and which thus generates the difference between ‘play’ and ‘game’.
This paper comprises four parts. Firstly, an overview of the mathematics of decision logic in relation to games and of the construction of narration and characters is given. This includes specific limits of the use of decision logic pertaining to games in general and to storytelling in particular. Secondly, the rule system as the medial unconsciousness is focused on. Thirdly, remarks are made on the debate between ludology and narratology, which had to fail as it missed the crucial point: the computer game as a medium. Finally, gaming in general, as well as its relationship to chance, coincidence, emergence, and event is discussed.
This paper discusses different options for institutional arrangements providing network infrastructure on the basis of the ‘transaction cost economic’ approach using the example of highway infrastructure. Drawing on lessons learned from highway provision in three European countries (Italy, Poland and Spain), five models of highway provision are discussed: public authorities, public enterprises, user clubs, private partnerships or a regulated private market. Three options to regulate the private market are presented: a rate-of-return regulation, a price-cap-regulation and franchise bidding. The main factor that makes private construction and provision expensive are the risk premiums of private companies that are incorporated for political risks. It is argued that the optimal model of highway provision depends on each country-specific situation. This is mainly influenced by the regulatory experience within the country on one hand and by the stage of highway development on the other.
Persistence of stock returns is an extensively studied and discussed theme in the analysis of financial markets. Antipersistence is usually attributed to volatilities. However, not only volatilities but also stock returns can exhibit antipersistence. Antipersistent noise has a somewhat rougher appearance than Gaussian noise. Heuristically spoken, price movements are more likely followed by movements in the opposite direction than in the same direction. The pertaining integrated process exhibits a smaller range – prices seem to stay in the vicinity of the initial value. We apply a widely used test based upon the modified R/S-Method by Lo [1991] to daily returns of 21 German stocks from 1960 to 2008. Combining this test with the concept of moving windows by Carbone et al. [2004], we are able to determine periods of antipersistence for some of the series under examination. Our results suggest that antipersistence can be found for stocks and periods where extraordinary corporate actions such as mergers & acquisitions or financial distress are present. These effects should be properly accounted for when choosing and designing models for inference.
On a method for solution of the ordinary differential equations connected with Huygens' equations
(2010)
Background: Leishmania tarentolae, a unicellular eukaryotic protozoan, has been established as a novel host for recombinant protein production in recent years. Current protocols for protein expression in Leishmania are, however, time consuming and require extensive lab work in order to identify well-expressing cell lines. Here we established an alternative protein expression work-flow that employs recently engineered infrared fluorescence protein (IFP) as a suitable and easy-to-handle reporter protein for recombinant protein expression in Leishmania. As model proteins we tested three proteins from the plant Arabidopsis thaliana, including a NAC and a type-B ARR transcription factor. Results: IFP and IFP fusion proteins were expressed in Leishmania and rapidly detected in cells by deconvolution microscopy and in culture by infrared imaging of 96-well microtiter plates using small cell culture volumes (2 μL - 100 μL). Motility, shape and growth of Leishmania cells were not impaired by intracellular accumulation of IFP. In-cell detection of IFP and IFP fusion proteins was straightforward already at the beginning of the expression pipeline and thus allowed early pre-selection of well-expressing Leishmania clones. Furthermore, IFP fusion proteins retained infrared fluorescence after electrophoresis in denaturing SDS-polyacrylamide gels, allowing direct in-gel detection without the need to disassemble cast protein gels. Thus, parameters for scaling up protein production and streamlining purification routes can be easily optimized when employing IFP as reporter. Conclusions: Using IFP as biosensor we devised a protocol for rapid and convenient protein expression in Leishmania tarentolae. Our expression pipeline is superior to previously established methods in that it significantly reduces the hands-on-time and work load required for identifying well-expressing clones, refining protein production parameters and establishing purification protocols. The facile in-cell and in-gel detection tools built on IFP make Leishmania amenable for high-throughput expression of proteins from plant and animal sources.
rezensiertes Werk: Leshonot yehude Sefarad ve-ha-mizrach vesifruyotehem / Languages and literatures of Sephardic and Oriental Jews. - Jerusalem : Misgav Yerushalayim, 2009. - 484 S. [hebr.] + 434 S. [lat.], ; Ill.
rezensiertes Werk: Schwartz, Yigal: Maamin beli Kenessija : 4 Massot al Aharon Appelfeld. - Tel Aviv : Dvir, 2009.- 181 S.
rezensiertes Werk: Grossman, David: Eine Frau flieht vor einer Nachricht. - München : Hanser, 2009. - 728 S. ISBN 978-3-446-23397-3
rezensiertes Werk: Shraibman, Yechiel: Sieben Jahre und sieben Monate : meine Bukarester Jahre ; Roman. - Berlin : be.bra, 2009. - 272 S. ISBN 978-3-937233-56-7
rezensiertes Werk: Stephan Dörschel: Fritz Wisten : bis Zum letzten Augenblick : ein jüdisches Theaterleben. - Hentrich & Hentrich : Berlin, 2009. - 112 S. (Jüdische Miniaturen ; 74) ISBN 978-3-938485-85-9
rezensiertes Werk: Gartner, Isabella: Menorah : Jüdisches Familienblatt für Wissenschaft, Kunst und Literatur (1923–1932) ; Materialien zur Geschichte einer Wiener zionistischen Zeitschrift. - Würzburg : Königshausen & Neumann, 2009. - 356 S. ISBN 978-3-8260-3864-8
The article explores the pedagogical dimension of contemporary visual art which takes the Holocaust as a main subject of representation. It asks how a work of art can offer a viable alternative to the already existing methods or practices of Holocaust education, whose traditional aim is to endow the apprentice with an ‘absolute knowledge’ of the Holocaust. The article analyzes the characteristics and the effectiveness of a ‘performative’ approach to teaching about the Holocaust, which relies on an element of interaction and on critical self-reflection, by undertaking a close analysis of Your Coloring Book, – an art installation created by Israeli artist and representative of the third generation after the Holocaust, Ram Katzir.
This study deals with the impacts of the Holocaust on the identity of the Jewish community in Slovakia. The author is interested in the question (whether and) in which form God remained among the survivors after Auschwitz. The available ethnological material has shown that suffering during the Holocaust often resulted into abandoning the religion, and particularly in Judaism. Many survivors broke up their contacts with Jewry. They often decided to join the communist party (either due to their conviction or opportunism.) Our research has indicated that for the majority of the Slovak Jews, God after the Holocaust is rather an abstract concept or non existing. However, he is definitely not the biblical God of the Tora and micvot, to which our ancestors used to pray.
On the example of the women’s magazines in Yiddish “Yidishe Froyenvelt” (1902- 1903), “Di Froy” (Vilnius1925-1933), “Froyen-Shtim” (Warsaw 1925) and “Di Froyen-Velt” (New York 1913) this article presents: • how feminist postulates are connected with questions of Jewish identity in a religious and political context • how the model image of a modern Jewish woman is presented • what the main spheres of feminist interests presented in the magazines are (a struggle for equal rights within the Jewish community as well as other social spheres, searching for and presenting outstanding women in the Jewish and world history, descriptions of women’s professional activities, psychological analysis of a woman's nature, establishing ties and a feeling of solidarity between women’s movements of other nations) • how the traditional women's roles are presented (mother, wife, housewife) • what degree of women’s participation in the edition of these periodicals is (a list of articles' authoresses and literature works appearing on columns of the periodicals) • whether and how a feminist discourse affects a language structure of the periodicals Comparing magazines from the beginning of the 20th century and the latter part of 1920s the article answers the question what direction did Jewish feminism evolve to and what content rose or fell in importance.
The article is a study research that attempts to reconstitute one facet of the Jewish cultural history, represented by the Jewish typographical activity in a geographic and historic context, i.e. North Transylvania at the end of the 19th and the beginning of the 20th centuries. The core of the study is represented by a detailed research of the typographical activity of Jacov Wieder’s printing house that he had set up in 1897 at Seini, a small locality in the county of Satu Mare. Wieder’s printing house, where some 150 Hebrew book titles were printed, was activated alongside with some other 20 Hebrew printing houses of the same county until 1944. The Hebrew books printed at Seini are thoroughly examined from the point of view of their subject and authors. The high technical quality of the print of Wieder’s printing house and not less the prestige of the authors contributed to its fame and reputation. The books were distributed throughout the world and reached the Jewish communities from countries in the immediate proximity Eastern, Central and Western Europe and even North America and the Land of Israel.
The Mariae Vitae Congregation was the first and possibly the most important missionary institution in Poland-Lithuania in the eighteenth and nineteenth centuries. According to the Rule of Mariae Vitae Congregation, it had to deal with religious and lay education of converted girls (mainly Jewish) and provide them with practical skills of work so they could establish in Catholic society. The innovatory social program of Mariae Vitae Congregation including education and financial help answered to possible problems of neophytes in Poland and Lithuania of that time.
Between history and legend
(2010)
In the early modern period, Jewish historiography moved from the Hebrew domain into the Yiddish one. Jewish writers have succeeded to match the historical literature to the particular needs of their audience. The most popular Yiddish chronicle of this kind was written in Amsterdam in the 18th century by Menachem Man Amelander, following both the Jewish and Christian genre. This paper briefly surveys the genre characteristics of this chronicle and the way it served the purpose of guarding Jewish memory and tradition.
Halakha and Microhistory
(2010)
Shifra was a Jewish businesswoman in Moravia in the fifteenth-century. In 1452 due to financial fraud she was arrested in Brno. Her life was saved by some members of the local Jewish community, who renounced their financial claims against their Christian neighbours in the exchange of Shifra’s life. However, one member of the community consented to the agreement only on condition that the other members would pay his losses. The case was extensively discussed in the correspondence of contemporary rabbis, among them Israel Bruna and Israel Isserlein. Their letters about the Shifra-affair reveal some important characteristics of the rabbinic authority in the late medieval Ashkenaz.
The issue of determining the time, when the Judaic communities have settled on Romanian land, is one of the most interesting and most delicate details that can be mentioned when talking about this ethnic group. The presence of the first Jewish communities in ancient times on this land was a “taboo” subject during many historical periods until 1989, but even after this year, studies oriented in this direction were more than sketchy. The article does not only bring a surplus of information in this domain, but manages to concentrate – almost didactically – the information and the archaeological proofs known and reknown to the present time. There are depicted material evidences as well as linguistic ones, toponymical and even religious. Also, the author tries to draw a parallel between some layouts of the Dacian state and Dacia Felix, conquered by the Romans, and the presence of some Judaic communities, not very numerous, made out of Judaic population who came together with the Roman conqueror.
The difference-list technique is described in literature as effective method for extending lists to the right without using calls of append/3. There exist some proposals for automatic transformation of list programs into differencelist programs. However, we are interested in construction of difference-list programs by the programmer, avoiding the need of a transformation step. In [GG09] it was demonstrated, how left-recursive procedures with a dangling call of append/3 can be transformed into right-recursion using the unfolding technique. For simplification of writing difference-list programs using a new cons/2 procedure was introduced. In the present paper, we investigate how efficieny is influenced using cons/2. We measure the efficiency of procedures using accumulator technique, cons/2, DCG’s, and difference lists and compute the resulting speedup in respect to the simple procedure definition using append/3. Four Prolog systems were investigated and we found different behaviour concerning the speedup by difference lists. A result of our investigations is, that an often advice given in the literature for avoiding calls append/3 could not be confirmed in this strong formulation.
A deterministic cycle scheduling of partitions at the operating system level is supposed for a multiprocessor system. In this paper, we propose a tool for generating such schedules. We use constraint based programming and develop methods and concepts for a combined interactive and automatic partition scheduling system. This paper is also devoted to basic methods and techniques for modeling and solving this partition scheduling problem. Initial application of our partition scheduling tool has proved successful and demonstrated the suitability of the methods used.
In the most abstract definition of its operational semantics, the declarative and concurrent programming language CHR is trivially non-terminating for a significant class of programs. Common refinements of this definition, in closing the gap to real-world implementations, compromise on declarativity and/or concurrency. Building on recent work and the notion of persistent constraints, we introduce an operational semantics avoiding trivial non-termination without compromising on its essential features.
Different properties of programs, implemented in Constraint Handling Rules (CHR), have already been investigated. Proving these properties in CHR is fairly simpler than proving them in any type of imperative programming language, which triggered the proposal of a methodology to map imperative programs into equivalent CHR. The equivalence of both programs implies that if a property is satisfied for one, then it is satisfied for the other. The mapping methodology could be put to other beneficial uses. One such use is the automatic generation of global constraints, at an attempt to demonstrate the benefits of having a rule-based implementation for constraint solvers.
Deductive databases need general formulas in rule bodies, not only conjuctions of literals. This is well known since the work of Lloyd and Topor about extended logic programming. Of course, formulas must be restricted in such a way that they can be effectively evaluated in finite time, and produce only a finite number of new tuples (in each iteration of the TP-operator: the fixpoint can still be infinite). It is also necessary to respect binding restrictions of built-in predicates: many of these predicates can be executed only when certain arguments are ground. Whereas for standard logic programming rules, questions of safety, allowedness, and range-restriction are relatively easy and well understood, the situation for general formulas is a bit more complicated. We give a syntactic analysis of formulas that guarantees the necessary properties.
Abstract interpretation-based model checking provides an approach to verifying properties of infinite-state systems. In practice, most previous work on abstract model checking is either restricted to verifying universal properties, or develops special techniques for temporal logics such as modal transition systems or other dual transition systems. By contrast we apply completely standard techniques for constructing abstract interpretations to the abstraction of a CTL semantic function, without restricting the kind of properties that can be verified. Furthermore we show that this leads directly to implementation of abstract model checking algorithms for abstract domains based on constraints, making use of an SMT solver.
The interest in extensions of the logic programming paradigm beyond the class of normal logic programs is motivated by the need of an adequate representation and processing of knowledge. One of the most difficult problems in this area is to find an adequate declarative semantics for logic programs. In the present paper a general preference criterion is proposed that selects the ‘intended’ partial models of generalized logic programs which is a conservative extension of the stationary semantics for normal logic programs of [Prz91]. The presented preference criterion defines a partial model of a generalized logic program as intended if it is generated by a stationary chain. It turns out that the stationary generated models coincide with the stationary models on the class of normal logic programs. The general wellfounded semantics of such a program is defined as the set-theoretical intersection of its stationary generated models. For normal logic programs the general wellfounded semantics equals the wellfounded semantics.
We propose a paraconsistent declarative semantics of possibly inconsistent generalized logic programs which allows for arbitrary formulas in the body and in the head of a rule (i.e. does not depend on the presence of any specific connective, such as negation(-as-failure), nor on any specific syntax of rules). For consistent generalized logic programs this semantics coincides with the stable generated models introduced in [HW97], and for normal logic programs it yields the stable models in the sense of [GL88].
We present the tool Kato which is, to the best of our knowledge, the first tool for plagiarism detection that is directly tailored for answer-set programming (ASP). Kato aims at finding similarities between (segments of) logic programs to help detecting cases of plagiarism. Currently, the tool is realised for DLV programs but it is designed to handle various logic-programming syntax versions. We review basic features and the underlying methodology of the tool.