Translating C# to Branching Symbolic Transducers

Saarikivi, Olli; Veanes, Margus

doi:10.29007/7jf1

Cited by 2 publications

(1 citation statement)

References 13 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…Såsom framkommer i Saarikivis presentation, sågs Rissanens utlandsvistelser som något negativt, även om han skriver att Rissanen förblev "samma originellt stiläkta savolaxgosse". 109 Onni Okkonen var redan 1927 inne på samma linje: enligt honom lyckades Rissanen mer eller mindre framgångsrikt bekämpa de utländska impulserna och konstnärens finska kynne bevarades. Man kan säga att Okkonens bedömning ingick i vad man kan kalla hans nationella projekt.…”

Section: Ingen Plats För Det Främmande -Rissanen Och Konstens Kanonunclassified

Bland turister och araber: Juho Rissanen på hälsoresa i Biskra 1931

Lundström¹

2019

tht

View full text Add to dashboard Cite

In 1931, the Finnish painter Juho Rissanen (1873-1950) travelled to the tourist city Biskra in Algeria, then spending there the winter season, a most agreeable time in North Africa. It is situated on the verge of the Saharan desert, and ever since Algeria had become a French colony in the early nineteenth century, the city hosted hordes of tourists. (Algeria became independent as late as in 1962.) Biskra was known for its sulphate baths, which were supposed to improve health. But as several travellers and painters have observed, it was also the perfect spot where to hire a camel and a driver for a journey into an unwelcoming desert. Algerian Sahara had in fact been the target of many earlier nineteenth century Orientalists, and the country’s status as a French colony made its sights relatively accessible to foreigners. Rissanen was one of those following in the footsteps of earlier itinerants. The authenticity of the city as the visitors saw it is, however, a complex question. The travellers usually lived at the same hotel near the baths and stayed mostly in the company of each other. The locals in their turn – a travel account of the time explains – were always ready to pose wherever a Kodak camera would turn up, and as a result, costume studies were produced and camels painted. All foreigners regarded camel excursion as the climax of the stay. In Finland, Rissanen is best known for his late nineteenth- and early twentieth century portraits of Finnish rural types, let be that he later turned to other motifs and techniques. Even today, the latter part of his production is much lesser known than the celebrated highlights. Chronic anxiety about health constantly led the painter to warmer climates; he spent his final years in Florida after having sauntered around the Mediterranean, e.g. Southern France, in the interwar years. The aim of my article is threefold: firstly, to investigate Rissanen’s motifs for travelling to Biskra; secondly, to show that Rissanen’s encounter with the city was purely touristic, in line with its reputation as a travel destination in colonial France; and thirdly, to present its outcome as an example of late Orientalist painting. To sum up, I consider the reception of Rissanen’s later art production, in order to situate his Biskra-pictures within a larger context. Unfortunately, I have, so far, only been able to locate a handful of watercolours now belonging to Kuopio Art Museum. The Kuopio collection also contains Rissanen’s letters to his friend, the physician Emil Suihko, as well as to the art historian Onni Okkonen, among others. In his correspondence, Rissanen lingers on Biskra. The works I have found depict craftsmen sitting in the streets and women wearing colourful, local dresses. Needless to say, even Rissanen proved his love of the desert by drawing camels. It is another matter that these ubiquitous animals of course could be spotted in the streets, too. Interestingly, in an interview made shortly after Biskra and published in a 1931 issue of the Finnish magazine Konstrevyn, Rissanen says very little of why and how he painted in Northern Africa. Virtually, the whole text deals with touristic trivia. Keywords: Juho Rissanen (1873-1950), Biskra, French Orientalism, tourism, 20th century visual arts

show abstract

Section: Ingen Plats För Det Främmande -Rissanen Och Konstens Kanonunclassified

Bland turister och araber: Juho Rissanen på hälsoresa i Biskra 1931

Lundström¹

2019

tht

View full text Add to dashboard Cite

show abstract

Inferring Symbolic Automata

Fisman¹,

Frenkel²,

Zilles³

2023

Logical Methods in Computer Science

View full text Add to dashboard Cite

We study the learnability of symbolic finite state automata (SFA), a model shown useful in many applications in software verification. The state-of-the-art literature on this topic follows the query learning paradigm, and so far all obtained results are positive. We provide a necessary condition for efficient learnability of SFAs in this paradigm, from which we obtain the first negative result. The main focus of our work lies in the learnability of SFAs under the paradigm of identification in the limit using polynomial time and data, and its strengthening efficient identifiability, which are concerned with the existence of a systematic set of characteristic samples from which a learner can correctly infer the target language. We provide a necessary condition for identification of SFAs in the limit using polynomial time and data, and a sufficient condition for efficient learnability of SFAs. From these conditions we derive a positive and a negative result. The performance of a learning algorithm is typically bounded as a function of the size of the representation of the target language. Since SFAs, in general, do not have a canonical form, and there are trade-offs between the complexity of the predicates on the transitions and the number of transitions, we start by defining size measures for SFAs. We revisit the complexity of procedures on SFAs and analyze them according to these measures, paying attention to the special forms of SFAs: normalized SFAs and neat SFAs, as well as to SFAs over a monotonic effective Boolean algebra. This is an extended version of the paper with the same title published in CSL'22.

show abstract

Translating C# to Branching Symbolic Transducers

Cited by 2 publications

References 13 publications

Bland turister och araber: Juho Rissanen på hälsoresa i Biskra 1931

Bland turister och araber: Juho Rissanen på hälsoresa i Biskra 1931

Inferring Symbolic Automata

Contact Info

Product

Resources

About