Courts and Courtly Cultures in Early Modern Italy and Europe: Models and Languages

This volume deals with the forms of propaganda and self-representation, through words and images, during the rise of the 'civiltà delle corti' and through processes typical of the time, such as confrontation, adaptation, competition and rivalry. This period, which marked the passage of Italian and European culture from the Middle Ages to the Renaissance, is fundamental in the development of Modern Europe, and it lasted up to the XVIII century and beyond. At the heart of many matters debated here lies the relationship between culture and politics. The formation of a 'Lombard identity', central to the Sinergia project which was the frame of the whole research and its conferences, is closely linked to this broad general context. It places the so called 'questione milanese' - above the traditional hierarchies 'Toscana oriented' - at the centre of many questions regarding Northern Italy as a whole, starting from the dissolution of the Medieval communes, through to the rise of the signorie, from the end of the XIII century and the beginning of the XIV century up to the early XVI century.

The use of future-oriented knowledge in regional innovation processes: Research on knowledge generation, transfer and conversion

The importance of the regional level in research has risen in the last few decades and a vast literature in the fields of, for instance, evolutionary and institutional economics, network theories, innovations and learning systems, as well as sociology, has focused on regional level questions. Recently the policy makers and regional actors have also began to pay increasing attention to the knowledge economy and its needs, in general, and the connectivity and support structures of regional clusters in particular. Nowadays knowledge is generally considered as the most important source of competitive advantage, but even the most specialised forms of knowledge are becoming a short-lived resource for example due to the accelerating pace of technological change. This emphasizes the need of foresight activities in national, regional and organizational levels and the integration of foresight and innovation activities. In regional setting this development sets great challenges especially in those regions having no university and thus usually very limited resources for research activities. Also the research problem of this dissertation is related to the need to better incorporate the information produced by foresight process to facilitate and to be used in regional practice-based innovation processes. This dissertation is a constructive case study the case being Lahti region and a network facilitating innovation policy adopted in that region. Dissertation consists of a summary and five articles and during the research process a construct or a conceptual model for solving this real life problem has been developed. It is also being implemented as part of the network facilitating innovation policy in the Lahti region.

Programming and analysing measurement experiments using the PicoCricket system

The aim of this project is to get used to another kind of programming. Since now, I used very complex programming languages to develop applications or even to program microcontrollers, but PicoCricket system is the evidence that we don’t need so complex development tools to get functional devices. PicoCricket system is the clear example of simple programming to make devices work the way we programmed it. There’s an easy but effective way to programs mall devices just saying what we want them to do. We cannot do complex algorithms and mathematical operations but we can program them in a short time. Nowadays, the easier and faster we produce, the more we earn. So the tendency is to develop fast, cheap and easy, and PicoCricket system can do it.

Automatic evaluation and data generation for analytical chemistry instrumental analysis exercises

In general, laboratory activities are costly in terms of time, space, and money. As such, the ability to provide realistically simulated laboratory data that enables students to practice data analysis techniques as a complementary activity would be expected to reduce these costs while opening up very interesting possibilities. In the present work, a novel methodology is presented for design of analytical chemistry instrumental analysis exercises that can be automatically personalized for each student and the results evaluated immediately. The proposed system provides each student with a different set of experimental data generated randomly while satisfying a set of constraints, rather than using data obtained from actual laboratory work. This allows the instructor to provide students with a set of practical problems to complement their regular laboratory work along with the corresponding feedback provided by the system's automatic evaluation process. To this end, the Goodle Grading Management System (GMS), an innovative web-based educational tool for automating the collection and assessment of practical exercises for engineering and scientific courses, was developed. The proposed methodology takes full advantage of the Goodle GMS fusion code architecture. The design of a particular exercise is provided ad hoc by the instructor and requires basic Matlab knowledge. The system has been employed with satisfactory results in several university courses. To demonstrate the automatic evaluation process, three exercises are presented in detail. The first exercise involves a linear regression analysis of data and the calculation of the quality parameters of an instrumental analysis method. The second and third exercises address two different comparison tests, a comparison test of the mean and a t-paired test.

Tool-supported invariant-based programming

The development of correct programs is a core problem in computer science. Although formal verification methods for establishing correctness with mathematical rigor are available, programmers often find these difficult to put into practice. One hurdle is deriving the loop invariants and proving that the code maintains them. So called correct-by-construction methods aim to alleviate this issue by integrating verification into the programming workflow. Invariant-based programming is a practical correct-by-construction method in which the programmer first establishes the invariant structure, and then incrementally extends the program in steps of adding code and proving after each addition that the code is consistent with the invariants. In this way, the program is kept internally consistent throughout its development, and the construction of the correctness arguments (proofs) becomes an integral part of the programming workflow. A characteristic of the approach is that programs are described as invariant diagrams, a graphical notation similar to the state charts familiar to programmers. Invariant-based programming is a new method that has not been evaluated in large scale studies yet. The most important prerequisite for feasibility on a larger scale is a high degree of automation. The goal of the Socos project has been to build tools to assist the construction and verification of programs using the method. This thesis describes the implementation and evaluation of a prototype tool in the context of the Socos project. The tool supports the drawing of the diagrams, automatic derivation and discharging of verification conditions, and interactive proofs. It is used to develop programs that are correct by construction. The tool consists of a diagrammatic environment connected to a verification condition generator and an existing state-of-the-art theorem prover. Its core is a semantics for translating diagrams into verification conditions, which are sent to the underlying theorem prover. We describe a concrete method for 1) deriving sufficient conditions for total correctness of an invariant diagram; 2) sending the conditions to the theorem prover for simplification; and 3) reporting the results of the simplification to the programmer in a way that is consistent with the invariantbased programming workflow and that allows errors in the program specification to be efficiently detected. The tool uses an efficient automatic proof strategy to prove as many conditions as possible automatically and lets the remaining conditions be proved interactively. The tool is based on the verification system PVS and i uses the SMT (Satisfiability Modulo Theories) solver Yices as a catch-all decision procedure. Conditions that were not discharged automatically may be proved interactively using the PVS proof assistant. The programming workflow is very similar to the process by which a mathematical theory is developed inside a computer supported theorem prover environment such as PVS. The programmer reduces a large verification problem with the aid of the tool into a set of smaller problems (lemmas), and he can substantially improve the degree of proof automation by developing specialized background theories and proof strategies to support the specification and verification of a specific class of programs. We demonstrate this workflow by describing in detail the construction of a verified sorting algorithm. Tool-supported verification often has little to no presence in computer science (CS) curricula. Furthermore, program verification is frequently introduced as an advanced and purely theoretical topic that is not connected to the workflow taught in the early and practically oriented programming courses. Our hypothesis is that verification could be introduced early in the CS education, and that verification tools could be used in the classroom to support the teaching of formal methods. A prototype of Socos has been used in a course at Åbo Akademi University targeted at first and second year undergraduate students. We evaluate the use of Socos in the course as part of a case study carried out in 2007.

Teaching mathematics and programming : new approaches with empirical evaluation

Programming and mathematics are core areas of computer science (CS) and consequently also important parts of CS education. Introductory instruction in these two topics is, however, not without problems. Studies show that CS students find programming difficult to learn and that teaching mathematical topics to CS novices is challenging. One reason for the latter is the disconnection between mathematics and programming found in many CS curricula, which results in students not seeing the relevance of the subject for their studies. In addition, reports indicate that students' mathematical capability and maturity levels are dropping. The challenges faced when teaching mathematics and programming at CS departments can also be traced back to gaps in students' prior education. In Finland the high school curriculum does not include CS as a subject; instead, focus is on learning to use the computer and its applications as tools. Similarly, many of the mathematics courses emphasize application of formulas, while logic, formalisms and proofs, which are important in CS, are avoided. Consequently, high school graduates are not well prepared for studies in CS. Motivated by these challenges, the goal of the present work is to describe new approaches to teaching mathematics and programming aimed at addressing these issues: Structured derivations is a logic-based approach to teaching mathematics, where formalisms and justifications are made explicit. The aim is to help students become better at communicating their reasoning using mathematical language and logical notation at the same time as they become more confident with formalisms. The Python programming language was originally designed with education in mind, and has a simple syntax compared to many other popular languages. The aim of using it in instruction is to address algorithms and their implementation in a way that allows focus to be put on learning algorithmic thinking and programming instead of on learning a complex syntax. Invariant based programming is a diagrammatic approach to developing programs that are correct by construction. The approach is based on elementary propositional and predicate logic, and makes explicit the underlying mathematical foundations of programming. The aim is also to show how mathematics in general, and logic in particular, can be used to create better programs.

Venäläistä rulettia – Nuorten perhesuunnittelun esteet ja tarpeet Pietarissa ja Riiassa

Latviassa ja Venäjällä heikko demografinen tilanne on lisännyt keskustelua seksuaali- ja kansalaisoikeuksista sekä valtion merkityksestä niiden toteuttamisessa. Väestöpolitiikassa näkyy yhteiskunnallinen tilanne sekä sen kyky ja mahdollisuudet huomioida nuorten perhesuunnitteluun liittyviä tarpeita. Huomion kohteena on myös palvelujärjestelmä ja siinä toteutuva yksilöllinen taso. Tutkin perhesuunnittelua kokonaisvaltaisesti, mikä ilmenee erilaisten polkuriippuvuuksien tarkasteluina. Mielenkiintoiseksi kohteen tekee entisten sosialististen valtioiden erityislaatuisen murroksen läpikäyminen. Perhesuunnittelu on osa seksuaali- ja ihmisoikeuksia. Siihen kuuluu seksuaaliterveydestä tiedottaminen ja ohjaus sekä siihen liittyvät toimenpiteet. Perhesuunnittelu sisältää niin sosiaaliset, kasvatukselliset kuin lääketieteellisetkin näkökulmat. Siihen liitetään myös moraalisia ja taloudellisia näkemyksiä, sekä politiikkaa ja henkilökohtaisuutta. Tutkimustehtäväni on nuorten perhesuunnittelun esteet ja tarpeet Riiassa ja Pietarissa. Sovellan metodologisena lähestymistapana sosiaalihistoriallista ja etnografista tutkimusotetta, jolloin perinteen vaikutusten, kulttuuristen rakenteiden ja yksilöllisten toimintatapojen ymmärtäminen mahdollistuu. Aineisto koostuu viranomaishaastatteluista sosialismin kaudella toteutuneesta sekä nykyisestä perhesuunnittelusta ja nuorten haastatteluista Pietarissa ja Riiassa. Perehdyn myös lisääntymisterveyteen liittyviin sanomalehtiartikkeleihin sekä Latviassa että Venäjällä. Lisäksi havainnoin seksuaalineuvontatilanteita Pietarissa. Sekä sosialismin aikana että nykyään painottuvat väestönkasvun odotukset, joita tuetaan sukupuoli- ja moraalikasvatuksen avulla. Perhesuunnittelun esteiden analyysin tuloksissa on nähtävissä sosiaalisten olosuhteiden ja rakenteiden merkitys. Jälkisosialistisesta riskiyhteiskunnasta puuttuvat yhteiskuntaan integroitumisen mahdollistavat instituutiot. Tämä ilmenee yhteiskunnallisena vastuuttomuutena. Universaalit palvelut ovat suurelta osin peräisin sosialismin ajalta. Kaupalliset yritykset tekevät lähinnä teknisiä, yksittäisiä ehkäisyvälineisiin liittyviä interventioita nuorten elämään. Teini-ikäiset jätetään oman harkintansa varaan. Latviassa perhesuunnitteluun liittyvä ennalta ehkäisevä toiminta on huomioitu uudessa lisääntymisterveyslaissa, mutta sen heikko toteutus tuo sen lähelle neuvostoaikaista kulttuurikonventiota, jossa määrällisillä suoritteilla ja sekundaaripreventiolla on arvoa. Venäjällä voimavarat kohdentuvat jälkihuollon palveluihin. Foucaultin valta-analyysi kertoo strategiasta, jossa ihminen sisäistää vallankäytön osaksi omaa ajatteluaan ja toimintaansa. Tässä näkökulmassa yksilöllinen, yhteiskunnallinen ja historiallinen ulottuvuus limittyvät toisiinsa. Vallan muodot ovat yhteiskunnan rakenteissa. Väestöpolitiikan avulla tuotetaan tietoa ja muovataan hallitsemisen kohteita. Osa haastatelluista nuorista omaksui yhteiskunnan passiivisuuden osaksi omaa toimintaansa. He eivät tiedostaneet palvelujärjestelmän puutteita eivätkä kyseenalaistaneet sen oikeutusta. Myös lehtiartikkelit ja viranomaishaastattelut tukivat osittain seksuaalikasvatuksen sivuuttamista. Silloin hyväksyttävänä totuutena pidettiin väestöpolitiikkaa, jossa on annettu tilaa populistisille suuntauksille. Sekä Latviassa että Venäjällä ilmaistiin tavoitteita väestön kasvusta. Kansainvälisten seksuaalioikeuksien maihinnousu ei ole poistanut ääri uskonnollisten ja osittain kansalaisjärjestöjen puitteissa tapahtuvaa perhesuunnittelun vastustusta. Näissä suuntauksissa vaikutetaan ihmisten moraaliin ja vastustetaan yhteiskunnan interventioita kieltämällä seksuaalikasvatus. Sosialismin aikana sosiaali- ja terveydenhuoltoa toteutettiin totalitaristisessa, suljetussa yhteiskunnassa tiukasti rajatuilla voimavaroilla. Tuolta ajalta peräisin oleva viranomaisten yleinen medikalisoitunut ja tekninen lähestymistapa estää osittain nuoren valtaistumista. Vieläkin heikko tiedottaminen ja puutteellinen koulutus vaikuttavat ammattilaisten keskuudessa. Yksi haitallisista perhesuunnitteluun kuuluvista uskomuksista oli hormonaalisen ehkäisyn aiheuttamat ongelmat. Lisäksi pelättiin heikkotasoisesti tehtyjen aborttien aiheuttavan hedelmättömyyttä. Uskomukset ovat eläneet vieläkin, kun osa asiantuntijoista kannusti ensimmäisen raskauden päättymistä synnytykseen. Näillä käsityksillä on ollut taipumus siirtyä sukupolvelta toiselle myös kansalaisten keskuudessa. Sukuyhteisöjen ja verkostojen oleellinen merkitys teini-ikäisen arjessa ja selviytymisessä painotti perinteistä sosialisaatiota. Uskomusten lisäksi nuorten heikko taloudellinen tilanne on ohjannut heitä ehkäisyssä luonnonmenetelmien käyttöön. Neuvostoaikainen seksuaalikielteisyyden perinne on vaikuttanut myös sukupolvien kyvyttömyyteen keskustella aiheesta. Yleisen ennaltaehkäisevän neuvonnan puuttuminen on suunnannut suurta osaa nuoria mallioppimiseen, jossa esimerkit ovat nousseet satunnaisista löydöistä. Toisaalta työntekijöiden neuvokkuus ja aloitteellisuus erilaisissa ohjaamistilanteissa, toimintatavoissa ja instituutioiden perustamisissa kuvaavat eettistä vastuunottoa ja paneutumista nuorten perhesuunnittelun toteutumiseen sekä sen mahdollisuuksiin. Perhesuunnitteluun liittyvän tiedonsaannin parantamiseksi viranomaiset ovat aloittaneet nuorten vertaisryhmiä. Lisäksi yhtenä uutena virallisena lähestymistapana oli neuvostoaikana kielletty psykoterapeuttisen suuntauksen avoin käyttöönotto. Myös nuorille suunnattuja palveluja niin lainsäädännön kuin instituutioiden tasolla on saatu aikaan. Nämä myönteiset tapaukset jäivät kuitenkin yksittäisiksi, osittain joidenkin työntekijöiden omakohtaisen sitoutumisen varaan toimiviksi. Tutkimuksessa nousee esiin yhteiskunnan vastuu erityisesti haavoittuvien ryhmien kohdalla. Nuoret ovat tiedoiltaan ja kokemuksiltaan heikossa asemassa. Sosiaalipoliittisesta näkökulmasta julkisilla ja ennaltaehkäisevillä palveluilla on keskeinen merkitys etenkin niiden kohdalla, jotka tarvitsevat runsaasti palveluja. Usein tähän ryhmään kuuluvat ovat passiivisia tiedon hakijoita. Tutkimus tuo esille perhesuunnittelun palvelujärjestelmään ja sen kohderyhmään kuuluvan moniulotteisuuden, jossa toisiinsa nivoutuvat kulttuuriset myytit, uskomukset, tabut, toimintatavat ja tietämys. Näiden polkujen avaaminen tässä tutkimuksessa edistää perhesuunnittelun esteiden tunnistamista ja niihin soveltuvien ratkaisukeinojen löytymistä.

Nichesourcing The Uralic Languages For The Benefit Of Linguistic Research And Lingual Societies

The emerging technologies have recently challenged the libraries to reconsider their role as a mere mediator between the collections, researchers, and wider audiences (Sula, 2013), and libraries, especially the nationwide institutions like national libraries, haven’t always managed to face the challenge (Nygren et al., 2014). In the Digitization Project of Kindred Languages, the National Library of Finland has become a node that connects the partners to interplay and work for shared goals and objectives. In this paper, I will be drawing a picture of the crowdsourcing methods that have been established during the project to support both linguistic research and lingual diversity. The National Library of Finland has been executing the Digitization Project of Kindred Languages since 2012. The project seeks to digitize and publish approximately 1,200 monograph titles and more than 100 newspapers titles in various, and in some cases endangered Uralic languages. Once the digitization has been completed in 2015, the Fenno-Ugrica online collection will consist of 110,000 monograph pages and around 90,000 newspaper pages to which all users will have open access regardless of their place of residence. The majority of the digitized literature was originally published in the 1920s and 1930s in the Soviet Union, and it was the genesis and consolidation period of literary languages. This was the era when many Uralic languages were converted into media of popular education, enlightenment, and dissemination of information pertinent to the developing political agenda of the Soviet state. The ‘deluge’ of popular literature in the 1920s to 1930s suddenly challenged the lexical orthographic norms of the limited ecclesiastical publications from the 1880s onward. Newspapers were now written in orthographies and in word forms that the locals would understand. Textbooks were written to address the separate needs of both adults and children. New concepts were introduced in the language. This was the beginning of a renaissance and period of enlightenment (Rueter, 2013). The linguistically oriented population can also find writings to their delight, especially lexical items specific to a given publication, and orthographically documented specifics of phonetics. The project is financially supported by the Kone Foundation in Helsinki and is part of the Foundation’s Language Programme. One of the key objectives of the Kone Foundation Language Programme is to support a culture of openness and interaction in linguistic research, but also to promote citizen science as a tool for the participation of the language community in research. In addition to sharing this aspiration, our objective within the Language Programme is to make sure that old and new corpora in Uralic languages are made available for the open and interactive use of the academic community as well as the language societies. Wordlists are available in 17 languages, but without tokenization, lemmatization, and so on. This approach was verified with the scholars, and we consider the wordlists as raw data for linguists. Our data is used for creating the morphological analyzers and online dictionaries at the Helsinki and Tromsø Universities, for instance. In order to reach the targets, we will produce not only the digitized materials but also their development tools for supporting linguistic research and citizen science. The Digitization Project of Kindred Languages is thus linked with the research of language technology. The mission is to improve the usage and usability of digitized content. During the project, we have advanced methods that will refine the raw data for further use, especially in the linguistic research. How does the library meet the objectives, which appears to be beyond its traditional playground? The written materials from this period are a gold mine, so how could we retrieve these hidden treasures of languages out of the stack that contains more than 200,000 pages of literature in various Uralic languages? The problem is that the machined-encoded text (OCR) contains often too many mistakes to be used as such in research. The mistakes in OCRed texts must be corrected. For enhancing the OCRed texts, the National Library of Finland developed an open-source code OCR editor that enabled the editing of machine-encoded text for the benefit of linguistic research. This tool was necessary to implement, since these rare and peripheral prints did often include already perished characters, which are sadly neglected by the modern OCR software developers, but belong to the historical context of kindred languages and thus are an essential part of the linguistic heritage (van Hemel, 2014). Our crowdsourcing tool application is essentially an editor of Alto XML format. It consists of a back-end for managing users, permissions, and files, communicating through a REST API with a front-end interface—that is, the actual editor for correcting the OCRed text. The enhanced XML files can be retrieved from the Fenno-Ugrica collection for further purposes. Could the crowd do this work to support the academic research? The challenge in crowdsourcing lies in its nature. The targets in the traditional crowdsourcing have often been split into several microtasks that do not require any special skills from the anonymous people, a faceless crowd. This way of crowdsourcing may produce quantitative results, but from the research’s point of view, there is a danger that the needs of linguists are not necessarily met. Also, the remarkable downside is the lack of shared goal or the social affinity. There is no reward in the traditional methods of crowdsourcing (de Boer et al., 2012). Also, there has been criticism that digital humanities makes the humanities too data-driven and oriented towards quantitative methods, losing the values of critical qualitative methods (Fish, 2012). And on top of that, the downsides of the traditional crowdsourcing become more imminent when you leave the Anglophone world. Our potential crowd is geographically scattered in Russia. This crowd is linguistically heterogeneous, speaking 17 different languages. In many cases languages are close to extinction or longing for language revitalization, and the native speakers do not always have Internet access, so an open call for crowdsourcing would not have produced appeasing results for linguists. Thus, one has to identify carefully the potential niches to complete the needed tasks. When using the help of a crowd in a project that is aiming to support both linguistic research and survival of endangered languages, the approach has to be a different one. In nichesourcing, the tasks are distributed amongst a small crowd of citizen scientists (communities). Although communities provide smaller pools to draw resources, their specific richness in skill is suited for complex tasks with high-quality product expectations found in nichesourcing. Communities have a purpose and identity, and their regular interaction engenders social trust and reputation. These communities can correspond to research more precisely (de Boer et al., 2012). Instead of repetitive and rather trivial tasks, we are trying to utilize the knowledge and skills of citizen scientists to provide qualitative results. In nichesourcing, we hand in such assignments that would precisely fill the gaps in linguistic research. A typical task would be editing and collecting the words in such fields of vocabularies where the researchers do require more information. For instance, there is lack of Hill Mari words and terminology in anatomy. We have digitized the books in medicine, and we could try to track the words related to human organs by assigning the citizen scientists to edit and collect words with the OCR editor. From the nichesourcing’s perspective, it is essential that altruism play a central role when the language communities are involved. In nichesourcing, our goal is to reach a certain level of interplay, where the language communities would benefit from the results. For instance, the corrected words in Ingrian will be added to an online dictionary, which is made freely available for the public, so the society can benefit, too. This objective of interplay can be understood as an aspiration to support the endangered languages and the maintenance of lingual diversity, but also as a servant of ‘two masters’: research and society.

Adopting the Vaadin Java framework to rebuild VTT’s Web Interfaces and Database Applications

With the growth in new technologies, using online tools have become an everyday lifestyle. It has a greater impact on researchers as the data obtained from various experiments needs to be analyzed and knowledge of programming has become mandatory even for pure biologists. Hence, VTT came up with a new tool, R Executables (REX) which is a web application designed to provide a graphical interface for biological data functions like Image analysis, Gene expression data analysis, plotting, disease and control studies etc., which employs R functions to provide results. REX provides a user interactive application for the biologists to directly enter the values and run the required analysis with a single click. The program processes the given data in the background and prints results rapidly. Due to growth of data and load on server, the interface has gained problems concerning time consumption, poor GUI, data storage issues, security, minimal user interactive experience and crashes with large amount of data. This thesis handles the methods by which these problems were resolved and made REX a better application for the future. The old REX was developed using Python Django and now, a new programming language, Vaadin has been implemented. Vaadin is a Java framework for developing web applications and the programming language is extremely similar to Java with new rich components. Vaadin provides better security, better speed, good and interactive interface. In this thesis, subset functionalities of REX was selected which includes IST bulk plotting and image segmentation and implemented those using Vaadin. A code of 662 lines was programmed by me which included Vaadin as the front-end handler while R language was used for back-end data retrieval, computing and plotting. The application is optimized to allow further functionalities to be migrated with ease from old REX. Future development is focused on including Hight throughput screening functions along with gene expression database handling

Short run and long run causality in time series: Inference

We propose methods for testing hypotheses of non-causality at various horizons, as defined in Dufour and Renault (1998, Econometrica). We study in detail the case of VAR models and we propose linear methods based on running vector autoregressions at different horizons. While the hypotheses considered are nonlinear, the proposed methods only require linear regression techniques as well as standard Gaussian asymptotic distributional theory. Bootstrap procedures are also considered. For the case of integrated processes, we propose extended regression methods that avoid nonstandard asymptotics. The methods are applied to a VAR model of the U.S. economy.

Modèles et méthodes pour la planification de la récolte forestière

Ce projet de recherche a été réalisé avec la collaboration de FPInnovations. Une part des travaux concernant le problème de récolte chilien a été effectuée à l'Instituto Sistemas Complejos de Ingeniería (ISCI) à Santiago (Chili).

Data Security in Fault Tolerant Hard Real Time Systems- Use of Time Dependant Multiple Random Cipher Code

The present research problem is to study the existing encryption methods and to develop a new technique which is performance wise superior to other existing techniques and at the same time can be very well incorporated in the communication channels of Fault Tolerant Hard Real time systems along with existing Error Checking / Error Correcting codes, so that the intention of eaves dropping can be defeated. There are many encryption methods available now. Each method has got it's own merits and demerits. Similarly, many crypt analysis techniques which adversaries use are also available.

Buried-object detection using free-space time-domain near-field measurements

The detection of buried objects using time-domain freespace measurements was carried out in the near field. The location of a hidden object was determined from an analysis of the reflected signal. This method can be extended to detect any number of objects. Measurements were carried out in the X- and Ku-bands using ordinary rectangular pyramidal horn antennas of gain 15 dB. The same antenna was used as the transmitter and recei er. The experimental results were compared with simulated results by applying the two-dimensional finite-difference time-domain(FDTD)method, and agree well with each other. The dispersi e nature of the dielectric medium was considered for the simulation.

Observations on the Publicity and Usage of Parallel Programming Systems and Languages: A Survey Approach

In this publication, we report on an online survey that was carried out among parallel programmers. More than 250 people worldwide have submitted answers to our questions, and their responses are analyzed here. Although not statistically sound, the data we provide give useful insights about which parallel programming systems and languages are known and in actual use. For instance, the collected data indicate that for our survey group MPI and (to a lesser extent) C are the most widely used parallel programming system and language, respectively.