19 research outputs found
Efficient and proven verification of unreliable hardware executions of classic algorithms
No full textThesis: M. Eng., Massachusetts Institute of Technology, Department of Electrical Engineering and Computer Science, 2015.This electronic version was submitted by the student author. The certified thesis is available in the Institute Archives and Special Collections.Cataloged from student-submitted PDF version of thesis.Includes bibliographical references (pages 59-61).Lowering voltage and frequency guardbands of CPU, DRAM, cache, or interconnect lowers power and latency, but increases the risk of silent data corruptions in even formally verified hardware and software. Researchers have been developing systems that use unreliable hardware, combined with software checkers executed on reliable hardware, to gain high performance with no risk. Deterministic checkers for many important algorithms are asymptotically and practically more efficient than the original problem solvers, e.g. for systems of linear equations, satisfiability, linear programming, sorting, 3SUM, graph matching and others. Writing a correct checker is hard, since often intricate corner cases get overlooked. Our system, SOUNDCHECK, helps reduce burden on programmers by automatically proving soundness and completeness of checkers with bounded verification in the Sketch program synthesis language. Verified checkers are emitted as efficient C++ code and shown to have low overhead which results in a net performance improvement with no risk.by Yoana G. Gyurova.M. Eng
The Effect of Using Cooperative Integrated Reading Composition (CIRC) Technique on Students’ Reading Comprehension of Recount Text at MAN 1 Pekanbaru
Full text linkABSTRACT
Yoana Fidela (2020): The Effect of Using Cooperative Integrated Reading Composition (CIRC) Technique on Students’ Reading Comprehension of Recount Text at MAN 1 Pekanbaru
Based on the researcher's preliminary study, it was found that, some students still have problems in English, especially reading comprehension in the recount text. Therefore the author is interested in conducting research on the problem. This research was conducted at MAN 1 Pekanbaru. The subjects of this study were tenth graders at MAN 1 Pekanbaru and the object of this study was the Effect of Cooperative Integrated Reading and Composition (CIRC) Against Understanding Recount Text Reading of tenth grade students at MAN 1 Pekanbaru. The type of research is Quasi-experiment. The population of this study was all tenth grade students. The total population is 326 students. Researchers took samples of class X MIA 1 consisting of 38 students as an experimental group and class X MIA 2 consisting of 36 students as a control group. So, the number of samples from the two classes is 74 students. For the data analysis, researchers used Independent sample T-test through SPSS. After the data were analyzed, researchers found the average score of students’ reading comprehension of recount text taught without using CIRC technique at the tenth grade of MAN 1 Pekanbaru were 65.83 in pre-test and 82.08 in post test, the average score of students’ reading comprehension of recount text taught by using CIRC technique at the tenth grade of MAN 1 Pekanbaru were 67.5 in pre-test and 88.82 in post test and there is significant effect of using CIRC technique on students’ reading comprehension of recount text at the tenth grade of MAN 1 Pekanbaru with score 15.6%
Modelling the impact of cyber attacks on the traffic control centre of an urban automobile transport system by means of enhanced cybersecurity
Full text linkThis paper aims to show the major role means of protection play for strengthening the cybersecurity of critical transport infrastructure by using the advanced method of simulation modelling. The simulation model of a Traffic Control Centre (TTC) of an urban Automobile Transport System (ATS) is created by the author in the Riverbed Modeler Academic Edition 17.5 computer networks simulation system and is exposed to the impact of a Denial-of-Service attack. In addition, logical conclusions have been made on the basis of the experimental results obtained and evaluated by comparative analysis with results from analogous previous studies
A methodology for empirical research and analysis in the field of cybersecurity
Full text linkThis article is considered to be a continuation of a publication by the author devoted to an algorithm for steganographic embedding of encrypted files in raster images (Yearbook Telecommunication, №9, 2022). The aim of this paper is proposing a methodology for empirical research and analysis on the field of cybersecurity which to contribute to various areas in cybersecurity. Its originality is expressed in the joint application of methods for research and analysis realized by various simulation environments for conducting experiments. This methodology has a specific structure as it is conditionally divided into two major parts depending on the type of the simulation process and software products used – a study of the direct impact of cyberattacks on communication networks by the method of the agent-based modelling and a study of potential steganography attacks using software for simulation of Artificial Neural Networks (ANNs) for the purposes of steganalysis
Studia polonistyczne poza Polską: kompleksowy przykład Brukseli (ULB)
Full text linkIt is often complicated to understand the concept of Polish studies abroad. The author presents Polish Studies in the capital of Europe. In this Article the case of the French-speaking Free University of Brussels (ULB) is discussed. The author introduces Polish Studies as a part of Slavic Studies, then develops the limitations that this issue has on the program of teaching. The writer profiles the heterogeneity of the students: showing their differences resulting from their origins, backgrounds of knowledge, and the presence of multiculturalism. Then, the study program is explained, as well as the means and solutions facilitating the simultaneous teaching of language and literature Among the solutions are propounded new technologies, stays abroad and encounters with native speakers. In conclusion, the author outlines foreign student’s learning process in Brussels and the teaching difficulties that academic teachers may encounter in European faculties. She provides remedies found to overcome these educational issues.Często trudno jest zrozumieć pojęcie studiów polonistycznych za granicą. Autorka prezentuje polonistykę w stolicy Europy. W artykule omawia przypadek francuskojęzycznego Wolnego Uniwersytetu w Brukseli (ULB). Prezentuje polonistykę jako część slawistyki. Wskazuje ograniczenia wpływające na program nauczania. Opisuje niejednorodność studentów: ich różne pochodzenie, wykształcenie i reprezentowaną wielokulturowość. Przedstawia również program studiów oraz środki i rozwiązania ułatwiające optymalizację jednoczesnego nauczania języka i literatury. Wśród wykorzystywanych rozwiązań są nowe technologie, pobyty za granicą i spotkania z osobami mówiącymi w ojczystym języku. Podsumowując, nakreśla proces uczenia się studentów zagranicznych w Brukseli i trudności w nauczaniu, jakie mogą napotkać akademiccy nauczyciele na europejskiej uczelni. Proponuje środki zaradcze pomagające w przezwyciężaniu problemów edukacyjnych
Characterization and Messages in Little Women, A novel by Louisa May Alcott
Full text linkThis research used qualitative descriptive aimed to collect data and information
for analyzing the characters trait, characterization, and message in Little Women,
written by Louisa May Alcott. Published in 1868, three year after the end of America
Civil War (called in the U.S.A. the war of state). The scene of the story is a small
town in one of the northern states where the March family lived. The novel took the
time in the nineteenth century life in America during which women found it difficult.
Beside that, the story covers with family love. In addition, it explains many types of
characters of four sisters and how they overcome family’s problem. It also brings
moral message for reader.
Based on the research, the writer found that Louisa May Alcott used variety
types of characters to describe each character of family in Little Women. The author
presented the differences of each character of four sisters. The author also presented
the characters by using interesting way. The interesting way was used to introduce the
characters clearly and easily.
The method employed in this study is library research. I obtained the sources
from novel itself, criticisms on the novel, and other sources related to the novel,
characterization, and America scenes in the nineteenth century.
Penelitian ini menggunakan penelitian kualitatif yang bertujuan untuk
mengumpulkan data-data dan informasi untuk menganalisa karakter, penokohan, dan
pesan-pesan dalam Little Women, karya Louisa May Alcott yang diterbitkan pada
tahun 1868, tiga tahun setelah perang Amerika berakhir. Latar belakang cerita di
sebuah kota kecil, bagian utara dimana keluarga March tinggal. Novel ini ditulis pada
abad ke sembilan belas di mana kehidupan wanita di Amerika mengalami kesulitan.
Cerita dalam novel tersebut ditulis penuh dengan cinta. Selain itu, penulis juga
menggambarkan banyak karakter dari empat perempuan bersaudara dan bagaimana
mereka menghadapi serta menyelesaikan masalah dalam keluarga. Cerita dalam novel tersebut juga memberikan pesan moral bagi pembaca. Berdasarkan hasil penelitian hasil penelitian, penulis menemukan bahwa Louisa May Alcott menggunakan berbagai jenis karakter untuk menjelaskan masing-masing karakter dalam keluarga Little Women. Penulis juga menggambarkan perbedaan karakter dari empat perempuan bersaudara. Dalam menggambarkan karakter-karakter tersebut, penulis menggunakan cara yang menarik supaya pembaca
dapat dengan mudah dan jelas memahami isi bacaan
Czytać, żyć i tłumaczyć: wstęp do polskiego doświadczenia literackiego we współczesnej Brukseli
No full textThe focus of this article is the experience of Polish literature in today's Brussels. The research aims to illustrate the presence of this literature through three main aspects. Firstly, the act of reading. Polish literature will be examined to identify its readership in Brussels. Secondly, the aspect of living literature in Brussels will be explored, discussing events such as meetings with authors, literature festivals, awards, book fairs, etc. as a promotional tool. The discussion will also include an author living in Brussels, Grażyna Plebanek, and her perspective on the city. Lastly, the role of translation in promoting Polish literature in Belgium will be briefly highlighted through the introduction of three key figures in the field.Niniejszy artykuł bada obecność polskiej literatury w Brukseli, koncentrując się na trzech kluczowych aspektach. Pierwszym z nich jest akt czytania, w którym analizowane będzie zainteresowanie literaturą polską wśród mieszkańców Brukseli. Drugim aspektem jest życie literackie, obejmujące wydarzenia takie jak spotkania autorskie, festiwale literackie, nagrody i targi książki, które promują literaturę polską. W tej części omówione zostaną również doświadczenia Grażyny Plebanek, polskiej autorki mieszkającej w Brukseli, oraz jej spojrzenie na miasto. Trzecim aspektem jest rola tłumaczenia w promowaniu polskiej literatury w Belgii, z naciskiem na trzy kluczowe osobistości w tej dziedzinie
Czytać, żyć i tłumaczyć: wstęp do polskiego doświadczenia literackiego we współczesnej Brukseli
No full textThe focus of this article is the experience of Polish literature in today’s Brussels. The research aims to illustrate the presence of this literature through three main aspects. Firstly, the act of reading. Polish literature will be examined to identify its readership in Brussels. Secondly, the aspect of living literature in Brussels will be explored, discussing events such as meetings with authors, literature festivals, awards, book fairs, etc. as a promotional tool. The discussion will also include an author living in Brussels, Grażyna Plebanek, and her perspective on the city. Lastly, the role of translation in promoting Polish literature in Belgium will be briefly highlighted through the introduction of three key figures in the field.Niniejszy artykuł bada obecność polskiej literatury w Brukseli, koncentrując się na trzech kluczowych aspektach. Pierwszym z nich jest akt czytania, w którym analizowane będzie zainteresowanie literaturą polską wśród mieszkańców Brukseli. Drugim aspektem jest życie literackie, obejmujące wydarzenia takie jak spotkania autorskie, festiwale literackie, nagrody i targi książki, które promują literaturę polską. W tej części omówione zostaną również doświadczenia Grażyny Plebanek, polskiej autorki mieszkającej w Brukseli, oraz jej spojrzenie na miasto. Trzecim aspektem jest rola tłumaczenia w promowaniu polskiej literatury w Belgii, z naciskiem na trzy kluczowe osobistości w tej dziedzinie
Análisis de factores de cultura organizacional para la empresa grupo empresarial optical con el modelo Denison
No full textEn el documento se realizará un análisis de los factores de cultura organizacional para el Grupo Empresarial Optical, mediante la identificación de teorías relacionadas con el mejoramiento de la productividad laboral, tomando como autor principal a Daniel Denison con su modelo de evaluación del desempeño e impacto sobre los resultados de la unidad productiva. Para desarrollar este modelo, se aplicará un instrumento con 60 preguntas (basado en el modelo Denison) a una muestra de 70 empleados, que permitirá identificar el panorama sobre su percepción de la cultura organizacional, que será analizada desde los factores y sus variables, y cuyos resultados serán fundamento para formular acciones de mejoramiento, con las que se espera aumentar la productividad laboral.The following document tries to assess the corporate culture factors which impact in the labor productivity to “Optical Corporate Group”, through Daniel Denison formulated model identification, in which there are analyzed involvement, adaptability, participation and consistence issues, resulting from the designed instrument application by that author to 70 employees, with the purpose of formulate strategies to increase the company’s labor force development.
It is important to note that the corporate culture analysis made to the Optical Corporate Group, is focused to the factors of adaptability from the view of the response capacity to the market needs, the participation focused on the commitment, the sense of property and responsibility, the mission from the address and orientation, as well as consistence saw from the values and integration, with which it is pretended to assess the leadership impact and the transmission of the strategy in coherence with the advantage taking of the labour strength competencies, as proposed by the author (The OD Consulting Group, 2019
Popiół, zbabělci i diament
No full textThis articles compares the characters of Maciek from Jerzy Andrzejewski’s "Ashes and Diamonds" and Danny from the novel "The Cowards" by Josef Škvorecký. Indeed, the two main characters are similar in behavior and evolution, despite the fact that the two novels are fundamentally different stylistically. However, the two books share one common theme: the last days of World War II in Central Europe. The analysis is divided into three parts. First, the authors’ historical, national, and bibliographical contexts are analyzed with the aim of identifying their and their novels’ situation and impact on their time and respective societies. Then, a comparison of the two novels from the point of view of style and literary genre is made to establish what differentiates them. Finally, the author of this article compares the characters of Maciek and Danny, especially their evolution and behavior, in reference to the concepts of the Peter Pan syndrome and the phenomenological theory of war from the so-called “sixth heretical essay” of the Czech philosopher Jan Patočka. Finally, the conclusion of the article shows that through these characters, the same phenomenon of self-alienation is rendered perceptible for the younger generation at the historic turning point of the end of World War II in Central Europe.DecretOANoAutActifinfo:eu-repo/semantics/publishe
