bluuebunny/crossref_metadata_2025 huggingface dataset:
Reformáció és modernitás
Authors: FAZAKAS Sándor
Published: January 2018

Reformation and Modernity.
This lecture endeavors to answer the following questions: In what sense was the 500th anniversary of the reformation different from any previous celebrations? What is the relationship between modernity and the reformation? Does the reformation have a formative role in the contemporary society? This study breaks with the traditional and linear interpretation of modernity and offers reverse methodology, starting from the vantage point of the modern society, and from this angle, examines the religious and theological impulses, and those interfaith dynamics that can have a role in shaping/modeling a peaceful coexistence of cultures and religions. These impulses are: the necessary interaction between various branches of science and religion in the academic setting. The value of the spiritual/theological interpretation of reality in our society. The freedom of conscience and religious thought in the secular state and in the church, and the preservation of self-identity in the age of mass manipulation. Pondering over these issues can and will make our celebration more relevant in the contemporary setting.
Saul az endori boszorkánynál – kísérlet egy ószövetségi történet újraértelmezésére
Authors: NAGY Alpár Csaba
Published: January 2018

Saul at the Witch of Endor – Attempt at Reinterpreting an Old Testament Story.
The study makes an attempt at reinterpreting the story of Saul visiting the witch of Endor. The author claims that the intuitive storytelling of the Bible carries much more than information regarding old personalities, like existential messages, which are suitable for the contemporary readers. The starting point of the interpretation is that the whole story of Saul describes the process of a man’s burn out. It takes sever-al steps of the syndrome and tries to prove through the elements of Saul’s story, how the anamnesis of this mental illness can be applied to the Old Testament figure. The study also tries to avoid the demonization of the witch of Endor, who proves to be the person showing care and mercy for the king. It also tries to formulate several messages that are useful in the application of the story in religious education of church services.
Az egyháztörténet tanításának jelentősége és módja
Authors: FODORNÉ NAGY Sarolta
Published: January 2018

Significance and ways of teaching Church history.
Church history brings up pictures from the past in order to help win in the present, so „to make ready a people prepared for the Lord” (Luk 1,17). Keeping that in mind we can teach Church history in a,) linear time surveys b.) point-like stories of paragons c.) value orientations d.) pointing on to the mystery of the church. Surveys are proper for youth and adults, episodes and examples on life-values can be used even with small children. Difficulties: our prejudice that teaching Church history is difficult; lack of sources partly due to the battle-filled past of the Hungarian Reformed Church; much reading is required in order to find proper stories not only data; one must use more than one resource for self-control. Ways of teaching: We can begin „in medias res” with a special interesting story from the person’s life to be introduced, asking: who was it?; we can raise questions around a known information. We can use these old stories as illustrations on the truth of a Biblical text. We can analyze sources. Using visual aid is vital. Polemic discussions are also good to keep attention awake. Any way we choose, we must teach enthusiastically, in an adventure-like spirit, not in a boring way. Church history is part of our identity. The article gives some illustrations on these statements.
Damjanichné, a magyarok nagyasszonya Aradtól New-Yorkig, Konstantinápolyig, Kairóig (A személyes presztízs hatótávolsága – avagy miként lehet magyar személy Kairóban védegyleti zászlósanya?)
Authors: PÉTER István
Published: January 2018

Mrs. Damjanich, the noble Lady of the Hungarians from Arad to New-York, Constantinople, Cairo.
One of the most important persons of the Hungarian 1848 war for freedom was General János Damjanich, one person with Serbian origin. His wife, Emília Csernovits, who’s family originally was Serbian, was so young, when her husband were executed by the Hapsburg Empire as leader of Hungarian war for freedom. She gets a great respect from the soldiers of war for freedom, and from the civilians in all country. Many people refugees after the lost war to Turks Empire and to Egypt. After twenty years they founded the Association of Hungarian People in Cairo and a same organization in Constantinople. They wrote some letters to Emilia Csernovics to be the honorific leader – the Ensign Mother – for this Organization. We publish here some correspondent between the different Hungarian organizations and Csernovics Emília.
Református egyházkormányzat a Tiszántúlon és az erdélyi fejedelemi hatalom
Authors: SZABADI István
Published: January 2018

Reformed Church Government in the Transtibiscan Area and the Rule of the Principality of Transylvania.
The formation of the Protestant church hierarchy started already when a separate position was established to ordinate Protestant pastors. Protestants did not regard priests as separate ordo, and yet, after its organization as church it inherited or acquired those privileges, which were available for the Roman Catholic priests also. They enjoyed tax-exemption, they were provided with the tithe, parish houses were regarded as noble mansions, soldiers were never quartiered in them, and lawsuits could be started against pastors only at ecclesiastic courts. Transylvania did not have a bishop after 1542, as Johann Statileo died, the right of ordination was practiced by vicars. The pursuance of the Reformation trends was also influenced by the boards of the former archdiaconates. The formation of the latter Transtibiscan Church District had three centers. The strengthening of the Reformed episcopal power happened during the time of Reformed rulers. The Reformed princes of the beginning of the 16th century implicated themselves in the problems of the religion, which became the leader in Transylvania and Partium, and in this way had a major influence over the church administration also.
Seelsorge als Denkdiakonie. Reformatorisches Erbe in der heutigen Seelsorge
Authors: NÉMETH Dávid
Published: January 2018

Pastoral Counseling as Deaconry. Reformed Direction in Contemporary Pastoral Care.
The basic assumption of this article is that the (pastoral) care giver must provide not only psychological support to those in need in their difficult life situations, but in addition to that she/he should give assistance to find meaning of the psychic reactions befallen under the given circumstances and contextual effects. Care giving in believing aims both to raise trust in God and to help evaluating the situation ac-cording to the truth of God. The Reformed tradition emphasized the cognitive aspect of faith with the same strength as well as the affective aspect, the “wholehearted trust”. The latest pastoral care almost leaves out of eyesight the content of faith and does not endeavor to change the conviction of the client. As if it would go along with the demand of truth-plurality of the postmodern world. Although there is no theological, nor psychological reason to do so. From theological point of view, we should perceive faith both as an affective commitment, also a novel cognitive process reflection upon ourselves, others and the world through the lenses of God’s truth. From psychological view we can say that we evaluate and shape our inner and outer positions of our lives according to our basic convictions. The aim of pastoral care would be to help the clients to turn the basic convictions of hopelessness into real faith contents (credition), that radically change their perceiving and living through the different situations. By this approach could become the pastoral care a helping device of nurturing thinking faith that is in accord with the Reformed tradition and the truths of God’s Word.
„Az igaz ember hitből él” (Róma 1,17) – a hit, mint a református önértelmezés fő alkotóeleme
Authors: PÜSÖK Sarolta
Published: January 2018

The Just Shall Live by Faith. (Romans 1,17) – Faith, as the Main Factor of the Reformed Identity.
The topic is actual on one hand because of the 500th anniversary of Reformation, on the other hand because of the identity crisis particular to transition periods. From time to time we should rethink which factors define the reformed identity. From these theological concepts forming the identity this study focuses on faith. Based on the reformed definition of faith it involves intellect, emotion and will, so faith has cognitive, emotive and volitive aspects. The last one involves confession and living the faith. Confession is much more than a testimony in words, the works of love and a lifestyle reflecting the confessed values also belong to it. In the protestant view acts of kindness do not precede, earn salvation, they follow it, as acts of thankfulness. There is healthy spirituality only if the three aspects of the faith are in balance. The last ideas refer to the development of faith in all of the three directions, there are given some examples from church history.
Penerapan Sertifikasi Aquaculture Stewardship Council (ASC) Terhadap Produk Udang Budidaya (Studi Kasus: Tarakan - Kalimantan Utara)
Authors: Pramoda Radityo , Putri Hertria Maharani
Published: January 2018

ASC (Aquaculture Stewardship Council) is a label, indicating that a product that has been passed through environmental sustainability and good aquaculture practices. Objectives of this study are to identify ASC standards and national regulations, and to examine the readiness of exporters and shrimp farmers to apply ASC principles in Tarakan. This study utilizes empirical juridical and descriptive statistical methods. Results of the study indicate that: (1) ASC certification has 7 principles, 34 criteria, and 103 indicators; (2) ASC principles are supported by: 5 Laws, 4 Government Regulations, 1 Presidential Decree, 3 Regulations of the Minister of Marine Affairs and Fisheries, and 4 Decrees of the Minister of Marine Affairs and Fisheries; (3) ASC certification requires high cost; (4) in general the level of readiness of exporter and shrimp fishermen still need to be improved; (5) pond land is mostly illegal. The policy recommendations of this research are: (1) the government reorganizes the national regulatory system to avoid overlapping rules and regulatory vacancies; (2) the government provides lobbies and assessors to relieve the cost of certification; (3) the government adopts the ASC principle criteria to improve competitiveness; (4) the government encourages municipal government in Tarakan to immediately resolve the problem of illegal fishing ponds. 

Keywords: Application, Cultivation Stewardship Council, Aquaculture Shrimp Products

ASC (Aquaculture Stewardship Council) merupakan sebuah label, bahwa produk sudah melalui prosedur keberlanjutan lingkungan dan aspek sosial praktek budidayayang baik. Tujuan penelitian ini adalah mengidentifikasi ketentuan ASC dan regulasi nasional, serta mengkaji kesiapan eksportir maupunpembudidaya Udang menerapkan prinsip ASC di Tarakan.Analisis kajian menggunakan metode yuridis empirisdan statistika deskriptif. Hasil penelitian menunjukkan: (1) sertifikasi ASC memiliki 7 prinsip, 34 kriteria, dan 103 indikator; (2) prinsip ASC didukung: 5 Undang-Undang, 4 Peraturan Pemerintah, 1 Keputusan Presiden, 3 Peraturan Menteri Kelautan dan Perikanan, dan 4 Keputusan Menteri Kelautan dan Perikanan; (3) sertifikasi ASC membutuhkan biaya mahal; (4) secara umum tingkat kesiapan eksportir dan petambak Udang masih perlu ditingkatkan; (5) lahan tambak sebagian besar ilegal. Rekomendasi kebijakan penelitian ini: (1) penataan sistem regulasi nasional untuk menghindari tumpang tindih aturan dan kekosongan pengaturan; (2) pemerintah melakukan lobi atau menyediakan tenaga penilai untuk meringankan biaya sertifikasi; (3)mengadopsi kriteria prinsip ASC untuk meningkatkan daya saing; (4) pemerintah mendorong otoritas daerah Kota Tarakan segera menuntaskan masalah lahan tambak ilegal.

Kata Kunci: Penerapan,Aquaculture Stewardship Council, Produk Udang Budidaya
Assessment of tissue-specific cortisol activity with regard to degeneration of the suspensory ligaments in horses with pituitary pars intermedia dysfunction
Authors: Hofberger Sina C. , Gauff Felicia , Thaller Denise , Morgan Ruth , Keen John A. , Licka Theresia F.
Published: January 2018

OBJECTIVE To identify signs of tissue-specific cortisol activity in samples of suspensory ligament (SL) and neck skin tissue from horses with and without pituitary pars intermedia dysfunction (PPID).

SAMPLE Suspensory ligament and neck skin tissue samples obtained from 26 euthanized horses with and without PPID.

PROCEDURES Tissue samples were collected from 12 horses with and 14 horses without PPID (controls). Two control horses had received treatment with dexamethasone; data from those horses were not used in statistical analyses. The other 12 control horses were classified as old horses (≥ 14 years old) and young horses (≤ 9 years old). Standard histologic staining, staining for proteoglycan accumulation, and immunostaining of SL and neck skin tissue sections for glucocorticoid receptors, insulin, 11β hydroxysteroid dehydrogenase type 1, and 11β hydroxysteroid dehydrogenase type 2 were performed. Findings for horses with PPID were compared with findings for young and old horses without PPID.

RESULTS Compared with findings for old and young control horses, there were significantly more cells stained for glucocorticoid receptors in SL samples and for 11 β hydroxysteroid dehydrogenase type 1 in SL and skin tissue samples from horses with PPID. Insulin could not be detected in any of the SL or skin tissue samples. Horses with PPID had evidence of SL degeneration with significantly increased proteoglycan accumulation. Neck skin tissue was found to be significantly thinner in PPID-affected horses than in young control horses.

CONCLUSIONS AND CLINICAL RELEVANCE Results suggested that tissue-specific dysregulation of cortisol metabolism may contribute to the SL degeneration associated with PPID in horses.
Effect of trotting speed on kinematic variables measured by use of extremity-mounted inertial measurement units in nonlame horses performing controlled treadmill exercise
Authors: Cruz Antonio M. , Vidondo Beatriz , Ramseyer Alessandra A. , Maninchedda Ugo E.
Published: January 2018

OBJECTIVE To assess effects of speed on kinematic variables measured by use of extremity-mounted inertial measurement units (IMUs) in nonlame horses performing controlled exercise on a treadmill.

ANIMALS 10 nonlame horses.

PROCEDURES 6 IMUs were attached at predetermined locations on 10 nonlame Franches Montagnes horses. Data were collected in triplicate during trotting at 3.33 and 3.88 m/s on a high-speed treadmill. Thirty-three selected kinematic variables were analyzed. Repeated-measures ANOVA was used to assess the effect of speed.

RESULTS Significant differences between the 2 speeds were detected for most temporal (11/14) and spatial (12/19) variables. The observed spatial and temporal changes would translate into a gait for the higher speed characterized by increased stride length, protraction and retraction, flexion and extension, mediolateral movement of the tibia, and symmetry, but with similar temporal variables and a reduction in stride duration. However, even though the tibia coronal range of motion was significantly different between speeds, the high degree of variability raised concerns about whether these changes were clinically relevant. For some variables, the lower trotting speed apparently was associated with more variability than was the higher trotting speed.

CONCLUSIONS AND CLINICAL RELEVANCE At a higher trotting speed, horses moved in the same manner (eg, the temporal events investigated occurred at the same relative time within the stride). However, from a spatial perspective, horses moved with greater action of the segments evaluated. The detected changes in kinematic variables indicated that trotting speed should be controlled or kept constant during gait evaluation.
In vitro effects of doxorubicin and tetrathiomolybdate on canine hemangiosarcoma cells
Authors: Sloan Caroline Q. , Rodriguez Carlos O.
Published: January 2018

OBJECTIVE To assess the in vitro effects of doxorubicin and tetrathiomolybdate (TM) on cells from a canine hemangiosarcoma cell line.

SAMPLE Cultured cells from the canine hemangiosarcoma–derived cell line DEN-HSA.

PROCEDURES Cells were treated with TM (0 to 1.5μM), doxorubicin (0 to 5μM), or both with or without 24 hours of pretreatment with ascorbic acid (750μM). Degree of cellular cytotoxicity was measured with a colorimetric assay. Long-term growth inhibition was assessed with a 10-day colony-formation assay. Induction of apoptosis was quantitated by fluorometric assessment of caspase-3 and −7 activation. Formation of reactive oxygen species (ROS) was also detected fluorometrically.

RESULTS Exposure of cells to the combination of TM and doxorubicin resulted in a greater decrease in proliferation and clonogenic survival rates than exposure to each drug alone. This treatment combination increased ROS formation and apoptosis to a greater extent than did doxorubicin or TM alone. Ascorbic acid inhibited both TM-induced ROS formation and apoptosis.

CONCLUSIONS AND CLINICAL RELEVANCE Results suggested that the enhancement in cytotoxic effects observed with DEN-HSA cell exposure to the combination of doxorubicin and TM was achieved through an increase in ROS production. These findings provide a rationale for a clinical trial of this treatment combination in dogs with hemangiosarcoma.
Mechanisms of Protection from Interest Rate Risk with Reference to the Life Insurance Market in Montenegro
Authors: Burić Milijana Novović , Kašćelan Vladimir , Radović Milivoje , Filipović Ana Lalević
Published: January 2018

Insurance companies are facing major challenges that point to the need for control process and risk management. Risk management in insurance has a direct impact on solvency, economic security, and overall financial stability of insurance companies. It is very important for insurance companies to adequately calculate risks to which they are exposed. Asset liability management (ALM), as an integrated approach to financial management, requires simultaneous decision-making about categories and values of assets and liabilities in order to establish the optimum volume and the ratio of assets and liabilities, with the understanding of complexity of the financial market in which financial institutions operate. ALM focuses on a significant number of risks, whereby the emphasis in this paper will be on interest rate risk which indicates potential losses that may reflect in a lower interest margin, a lower value of assets or both, in terms of changes in interest rates. In the above context, the aim of this paper is to show how to protect from interest rate changes and how these changes influence the insurance market in Montenegro, both from the theoretical and the practical point of view. The authors consider this to be an interesting and very important topic, especially because the life insurance market in Montenegro is underdeveloped and subject to fluctuations. Also, taking into account the fact that Montenegro is a country that has been making serious efforts to join the EU, it is expected that insurance companies in Montenegro will strengthen their financial position in the market even using the ALM traditional techniques, which is shown in this paper.
South Africa’s Financial Development and its Role in Investment
Authors: Muyambiri Brian , Odhiambo N.M.
Published: January 2018

This study investigates the impact of financial development on investment in South Africa between 1976 and 2014. The model estimated is based on the flexible accelerator investment model. Composite indices for bank-based and market-based financial development indicators are used as explanatory variables. The estimated model postulates that both bank-based financial development and market-based financial development have an acceleratorenhancing effect on investment. Results show that market-based financial development has a positive impact on investment in the long run, while bank-based financial development has a negative effect in the short run. Implications are that, for South Africa, market-based financial development has a positive accelerator-enhancing effect on investment in the long run. In contrast, bank-based financial development is found to have a negative accelerator enhancing effect on investment in the short run.
Rising Islamophobic Discourses in Europe and Fight Against Islamophobia on the Basis of International Organizations
Authors: Kedikli Umut , Akça Mehmet
Published: January 2018

European Civilization was built on the concepts of multiculturalism, tolerance, and dialogue but in the post-Cold War period, without considering these concepts, some European politicians, scientists, and the press have associated concepts of conflict, terror, disintegration, exclusion, and assimilation with Islam. Anti-immigrant and anti-Muslim attitudes are viewed as a new coherent ideology to replace anticommunism following the post-collapse period of the Soviet Union. Thus, a new enemy image and an exclusionist and alienating discourse aimed especially at Muslim societies in Europe were created after the 1990s. Subsequently, this new discourse diffusing across the European continent is referred to as “Islamophobia”. Gradually Muslim immigrants are perceived to be the number one fundamental cause of politic, economic and social issues in European countries so Islamophobic discourses have intensified following the 90s. The aftermath of the September 11 attacks, the actions of terror organizations claiming to commit their attacks in the name of Islam in the world -and especially in Europe- have contributed to the spread of Islamophobia across Europe. Extreme-right wings in pursuit of taking advantage of all these negative circumstances for political gain attempted to find public ground by reflecting Islam as a religion of violence and Muslims as ‘terrorists.’ In this article, it is argued that concrete Islamophobic discourses erode some certain values such as human rights, democracy, plurality and multiculturalism, which Europe was established on these. It is also showed that actions of various extreme-right parties and other wings in different European countries accelerate this process. Policies adopted by international organizations to fight against Islamophobia will be analysed and the problems encountered in these efforts will also be presented.
“Law and Order” vs. “Injustice and Defiance”: Al Jazeera and CNN Framing of the 2017 Temple Mount/Al Aqsa Mosque Crisis
Authors: Qasem Amer , Hussein Adnan Bin
Published: January 2018

This study compares between the performance of the U.S. and Arab mainstream media following the Palestinian-Israeli conflict. The textual coverage of the CNN and Al Jazeera of the 2017 Al Aqsa Mosque/Temple Mount Crisis is under examination through operationalizing Wolfsfeld’s (1997b) meta-frames. A set of reasoning and framing devices have been employed to identify the labelling of involved actors and committed actions, the degree of reliance and personalization of news sources, the victimization of casualties and the legitimization of violence. This study concludes that the Law and Order frame, which is communicated with the Israeli perspective is dominated in the related CNN coverage. On the other hand, the Injustice and Defiance frame that represents the Palestinian perspective has chiefly appeared in Al Jazeera related coverage. In the CNN, the Israeli actors and actions have been almost labelled positively in contrast with the Palestinian actors and actions that have been labelled in a negative manner. The degree of personalization and reliance on Israeli news sources is notably greater than the Palestinian ones. Likewise, the Israeli casualties have been remarkably victimized and individualized more than their counterparts. Moreover, the Israeli violence and killing have been legitimized, whereas the Palestinian similar actions have been criminalized. Almost the opposite has been found in Al Jazeera related coverage.
Impact of Official Development Assistance on the Growth of WAEMU Member Countries: Assessment Following the Recommendations of the 2002 Monterrey Conference
Authors: Lacine Bayoko
Published: January 2018

This paper evaluates the impact of official development assistance on the growth of WAEMU countries using an econometric approach. This assessment heeds the recommendation of the 2002 Monterrey Conference that diversification of development support resources is needed. The results obtained indicate that the total net public assistance received has a positive and significant impact in the short and long term on the growth of WAEMU countries. By diversifying the development support resources of the zone, the minimum threshold of official development assistance needed to boost the growth of the countries of the zone is 13.5% of GDP per capita.
Application of the FTA and ETA Method for Gas Hazard Identification for the Performance of Safety Systems in the Industrial Department
Authors: Ignac-Nowicka Jolanta
Published: January 2018

The paper analyzes the conditions of safe use of industrial gas systems and factors influencing gas hazards. Typical gas installation and its basic features have been characterized. The results of gas threat analysis in an industrial enterprise using FTA error tree method and ETA event tree method are presented. Compares selected methods of identifying hazards gas industry with respect to the scope of their use. The paper presents an analysis of two exemplary hazards: an industrial gas catastrophe (FTA) and an explosive gas explosion (ETA). In both cases, technical risks and human errors (human factor) were taken into account. The cause-effect relationships of hazards and their causes are presented in the form of diagrams in the drawings.
Quality Assurance in Environmental Technology Verification (ETV): Analysis and Impact on the EU ETV Pilot Programme Performance
Authors: Molenda Michał , Ratman-Kłosińska Izabela
Published: January 2018

Many innovative environmental technologies never reach the market because they are new and cannot demonstrate a successful track record of previous applications. This fact is a serious obstacle on their way to the market. Lack of credible data on the performance of a technology causes mistrust of investors in innovations, especially from public sector, who seek effective solutions however without compromising the technical and financial risks associated with their implementation. Environmental technology verification (ETV) offers a credible, robust and transparent process that results in a third party confirmation of the claims made by the providers about the performance of the novel environmental technologies. Verifications of performance are supported by high quality, independent test data. In that way ETV as a tool helps establish vendor credibility and buyer confidence. Several countries across the world have implemented ETV in the form of national or regional programmes. ETV in the European Union was implemented as a voluntary scheme if a form of a pilot programme. The European Commission launched the Environmental Technology Pilot Programme of the European Union (EU ETV) in 2011. The paper describes the European model of ETV set up and put to operation under the Pilot Programme of Environmental Technologies Verification of the European Union. The goal, objectives, technological scope, involved entities are presented. An attempt has been made to summarise the results of the EU ETV scheme performance available for the period of 2012 when the programme has become fully operational until the first half of 2016. The study was aimed at analysing the overall organisation and efficiency of the EU ETV Pilot Programme. The study was based on the analysis of the documents the operation of the EU ETV system. For this purpose, a relevant statistical analysis of the data on the performance of the EU ETV system provided by the European Commission was carried out.
Using Authentic Medication Errors to Promote Pharmacy Student Critical Thinking and Active Learning
Authors: Karimi Reza , Fortner Jeff , Rao Deepa , Su Joe
Published: January 2018

Objective: To promote first year (P1) pharmacy students’ awareness of medication error prevention and to support student learning in biomedical and pharmaceutical sciences.

Innovation: A novel curricular activity was created and referred to as “Medication Errors and Sciences Applications (MESA)”. The MESA activity encouraged discussions of patient safety among students and faculty to link medication errors to biomedical and pharmaceutical sciences, which ultimately reinforced student learning in P1 curricular topics.  

Critical Analysis: Three P1 cohorts implemented the MESA activity and approximately 75% of students from each cohort completed a reliable assessment instrument. Each P1 cohort had at least 14 student teams who generated professional reports analyzing authentic medication errors. The quantitative assessment results indicated that 70-85% of students believed that the MESA activity improved student learning in biomedical and pharmaceutical sciences. More than 95% of students agreed that the MESA activity introduced them to medication errors. Approximately 90% of students agreed that the MESA activity integrated the knowledge and skills they developed through the P1 curriculum, promoted active learning and critical thinking, and encouraged students to be self-directed learners. Furthermore, our data indicated that approximately 90% of students stated that the achievement of Bloom’s taxonomy's six learning objectives was promoted by completing the MESA activity.

Next Steps: Pharmacy students’ awareness of medication errors is a critical component of pharmacy education, which pharmacy educators can integrate with biomedical and pharmaceutical sciences to enhance student learning in the P1 year.

Treatment of Human Subjects: IRB exemption granted

 

Type: Note
A COMPARATIVE STUDY OF POETRY’S STRUCTURE: ‘NIGHT’ BY BLAKE AND ‘SHE WALKS IN BEUATY’ BY BYRON
Authors: Rosida Ana
Published: January 2018

This research presented the comparative study about the structure in two poetries; they are Night and She Walks in Beauty. It focused the theme, the figure of speech and the imagery. It used the qualitative research. It is analyzed the structure by reading the poetry carefully and giving the note for each line that contains theme, figure of speech and imagery. It used the theory of comparative study and structural approach.The result of this research shows that the poet of those poetries use theme, figure of speech and imagery. There are many kinds of figure of speech and imagery in the poetry. In Night, there are only four figure of speeches  namely (a) Simile, (b) Personification, (c) Metaphor and (d) Hyperbole and uses (1) Visual, (2) Auditory, (3) Tactile and (4) Kinesthetic as the imagery. In She Walks in Beauty, Byron uses (a) simile, (b) personification and (c) litotes as figure of speech and its imagery are (1) Visual and (2) Kinesthetic.The poetry Night and She Walks in Beauty appear both differences and similarities with regard to its poet’s writing style. Blake is subjective whereas Byron is objective in writing. Both poets use the nature in different ways to build the theme, the figure of speech and the imagery. Blake uses the nature to describe two contrast place and Byron used the nature to describe a woman character. AbstrakPenelitian ini membahas studi perbandingan tentang struktur dalam dua puisi, yaitu Night dan She Walks in Beauty. Penelitian ini berfokus pada Theme, Figure of Speech dan Imagery. Penelitian ini menggunakan penelitian kualitatif. Pada penelitian ini, struktur dianalisa dengan membaca puisi dengan seksama dan memberikan catatan untuk setiap baris yang berisi Tema, Majas dan Pencitraan. Penelitian ini mengunakan teori Comparative Study dan pendekatan Structural.Hasil penelitian ini menunjukkan bahwa penyair pada kedua puisi ini menggunakan Tema, Majas dan Pencitraan. Ada banyak jenis majas dan pencitraan dalam puisi tersebut. Pada puisi Night, Majas hanya ada empat yaitu (a) Simile, (b) Personification, (c) Metaphor dan (d) Hiperbole dan menggunakan (1) Visual, (2) Auditory, (3) Tictile dan (4) Kinestethic sebagai pencitraan. Pada puisi She Walks in Beauty, Byron menggunakan (a) Simile, (b) Personification dan (c) Litotes sebagai majas dan pencitraannya adalah (1) Visual dan (2) Kinestethic.Puisi Night dan She Walks in Beauty tampak perbedaan dan persamaan yang berkaitan dengan gaya penulisan penyairnya. Blake adalah penyair yang subjektif sedangkan Byron adalah penyair yang objectif dalam menulis. Kedua penyair tersebut menggunakan alam dengan cara yang berbeda untuk membangun Tema, Majas dan Pencitraan. Blake menggunakan alam untuk menggambarkan dua tempat yang dan Byron menggunakan alam untuk menggambarkan karakter wanita.
VARIASI LEKSIKAL TIGA ISOLEK DALAM KELUARGA BAHASA MELAYU RIAU
Authors: Syahrir Elvina
Published: January 2018

Topik penelitian ini adalah variasi leksikal dalam keluarga bahasa Melayu Riau. Penelitian ini bertujuan untuk mendeskripsikan penghitungan atau penentuan persentase variasi kebahasaan yang terdapat dalam bahasa Melayu Riau di tiga isolek (Tualang, Kesumbo Ampai, dan Pelalawan) dan variasi leksikal yang terdapat dalam bahasa Melayu Riau di tiga isolek itu. Ketiga isolek itu berada pada kabupaten yang bertetangga yaitu Kabupaten Siak, Bengkalis, dan Pelalawan. Penelitian ini menggunakan metode dialektometri dengan pendekatan kuantitatif dan kualitatif. Pendekatan kuantitatif melihat persentase variasi kebahasaan, sedangkan pendekatan kualitatif mendeskripsikan variasi leksikonnya. Dari penghitungan dialektometri  jarak kosakata tiga isolek dalam keluarga bahasa Melayu Riau menunjukkan bahwa (1) antarisolek Tualang dan isolek Pelalawan dianggap tidak ada perbedaan, (2) antarisolek Kesumbo Ampai dan isolek Pelalawan dianggap memiliki perbedaan wicara, dan (3) antarisolek Tualang dan isolek Kesumbo Ampai dianggap memiliki perbedaan wicara. Sementara itu, variasi leksikon dalam keluarga bahasa Melayu Riau dalam tiga isolek tersebut dari 200 glos terdapat 64 glos yang bervariasi.
农村土地、房屋不动产统一登记的共性问题论析
Authors: 季 敏
Published: January 2018

随着经济水平的快速增长，中国不动产制度得到了全面深化改革，采取有效措施加快农村土地、房屋等不动产统一登记工作是当前发展形势下面临的主要问题。论文对农村土地、房屋不动产登记中的主要内容及共性问题进行了简要分析，并提出了针对性的解决策略，有利于促进农村土地、房屋不动产统一登记工作的顺利开展。
La actividad física y sus beneficios físicos como estrategia de inclusión social del adulto mayor (The physical activity and its physical benefits as strategy for the social inclusion of elderly)
Authors: Álvarez Chaparro Ennyth Julieth , Alud Sora Anuar
Published: January 2018

Este artículo describe los efectos de un programa de actividades físicas variadas sobre la condición física-funcional y la estabilidad del adulto mayor, teniendo en cuenta que el envejecimiento de los individuos comienza con procesos de deterioro paulatino de órganos y funciones asociadas, lo que conlleva una serie de cambios cardiovasculares, respiratorios, metabólicos, músculo-esqueléticos y motrices, ente otros, reduciéndose la capacidad de esfuerzo y resistencia al estrés físico. De esta manera, en el adulto mayor se ve mermada su autonomía, habilidad y capacidad de aprendizaje motriz y, por lo tanto, su calidad de vida. En esta perspectiva, un adulto mayor sano es aquel capaz de enfrentar el proceso de cambio a un nivel adecuado de adaptabilidad funcional y satisfacción. El concepto de independencia es clave dentro de la definición de salud para el adulto mayor; por tanto, es importante conceptualizar y abordar la independencia funcional como la capacidad de cumplir acciones requeridas en el diario vivir, para mantener el cuerpo y desarrollar independientemente las actividades de la vida cotidiana.
El género: una categoría necesaria para comprender la experiencia del desplazamiento forzado en Colombia (Gender: A necessary category to understand the experience of forced displacement in Colombia)
Authors: Álvarez Natalia Helena
Published: January 2018

Este artículo muestra el proceso de investigación científica orientado a interpretar las transformaciones y las permanencias de la identidad de género de los participantes a partir de la narración de su experiencia, adelantado con tres mujeres y dos hombres víctimas del desplazamiento forzado en Colombia. Inicialmente se presenta la perspectiva teórica asumida, guiada por el construccionismo social como enfoque epistemológico, y las categorías de desplazamiento forzado, identidad y género; luego, la apuesta metodológica biográfica-narrativa abordada y, finalmente, los resultados obtenidos y las conclusiones y recomendaciones específicas para el tema en cuestión.
Model Pembelajaran Membaca Menulis Menghitung (Calistung) pada Anak Usia Dini Di Kabupaten Pekalongan
Authors: Istiyani Dwi
Published: January 2018

The focus of this research is the widespread phenomenon of learning to read, write and count in early childhood around the District of Wiradesa, Pekalongan. Why such a phenomenon appears? How the model of learning to read, write and count in early childhood around the District of Wiradesa, Pekalongan? And how it impacts their ability to read, write and count and their psychological. To answer these questions, observation, in-depth interview and documentation were used in this study. To analysis data, review and reflection, exploration, and reduction were used. The results showed that the phenomenon of learning to read, write and count in early childhood in Pekalongan appeared on concerns of parents with a basic level of selection into the elementary school. Many early childhood activities were included in the part-time formal learning. Most of them also followed that lesson in educational institutions. Consequently, those who were following the course outside their formal school mastered faster, although their psychological impact tended to quickly become bored with learning. Meanwhile, the introduction of learning to read, write and count in early childhood in kindergarten was slower because it did not focus solely on that learning, but dominantly in play activities. On the one hand, the kids did not get bored and did not realize they were learning to read, write and count, because learning is integrated in play activities.
PENGARUH KINERJA SOSIAL DAN KINERJA LINGKUNGAN TERHADAP KINERJA KEUANGAN
Authors: Rosyid Ahmad
Published: January 2018

This study aimed to examine the effect of social andenvironmental performance’s disclosure on financial performance incompanies listed on the Stock Exchange under energy, mining and infrastructure industry sectors during 2010- 2013.Using multiple regression method, the results show that environmental and social performance impact on the financial performance simultaneously while partially none of the independent variables affect the dependent variable. But the positive direction of their relationship is congruent with the theory. That is the better environmental and social performance then the better the financial performance
A Report of ARCADE 2017
Authors: Reger Giles , Traytel Dmitriy
Published: January 2018

The ARCADE workshop took place on the 6th August 2017 in Gothenburg, colocated with CADE-26. ARCADE stands for Automated Reasoning: Challenges, Applications, Directions, Exemplary achievements. The goal of this workshop was to bring together key people from various sub-communities of automated reasoning—such as SAT/SMT, resolution, tableaux, theory-specific calculi (e.g. for description logic, arithmetic, set theory), interactive theorem proving—to discuss the present, past, and future of the field.

The workshop was attended by 45 people and consisted of 14 short presentations and 5 discussion sessions. The format was informal and highly interactive. This report gives a general overview of the presentations and summarizes the discussion sessions.
Mathematics of 21st Century: A Personal View
Authors: Buchberger Bruno
Published: January 2018

In this talk, we will exemplify the spirit of a new type of mathematics by a report on the Theorema system being developed in the speaker's research group. Theorema is both a logic and a software frame for doing mathematics in the way sketched above. On the object level, Theorema allows to prove and program within the same logical frame and, on the meta-level, it allows to formulate reasoning techniques that help proving and programming on the object level. In particular, we will show how this type of doing mathematics allows to mimic the invention process behind the speaker’s theory of Gröbner bases, which provides a general method for dealing with multivariate nonlinear polynomial systems.
Progress on Powertrain Verification Challenge with C2E2
Authors: Fan Chuchu , Duggirala Parasara Sridhar , Mitra Sayan , Viswanathan Mahesh
Published: January 2018

In this paper, we present the progress we have made in verifying the benchmark powertrain control systems introduced in the last ARCH workshop. We implemented the algorithm for computing local discrepancy (rate of convergence or divergence of trajectories) reported in the hybrid system verification tool C2E2. We created Stateflow translations of the original models to aid the processing using C2E2 tool. We also had to encode the different driver behaviors in the form of state machines. With these customizations, we have been successful in verifying one of the easier (but still challenging) benchmarks from the powertrain suite. In this paper, we present some of the engineering challenges and describe the artifacts we created in the process.
Using Vampire in Soundness Proofs of Type Systems
Authors: Grewe Sylvia , Erdweg Sebastian , Mezini Mira
Published: January 2018

Type systems for programming languages shall detect type errors in programs before runtime. To ensure that a type system meets this requirement, its soundness must be formally verified. We aim at automating soundness proofs of type systems to facilitate the development of sound type systems for domain-specific languages.

Soundness proofs for type systems typically require induction. However, many of the proofs of individual induction cases only require first-order reasoning. For the development of our workbench Veritas, we build on this observation by combining automated first-order theorem provers such as Vampire with automated proof strategies specific to type systems. In this paper, we describe how we encode type soundness proofs in first-order logic using TPTP. We show how we use Vampire to prove the soundness of type systems for the simply-typed lambda calculus and for parts of a typed SQL. We report on which parts of the proofs are handled well by Vampire, and what parts work less well with our current approach.
qbf2epr: A Tool for Generating EPR Formulas from QBF
Authors: Seidl Martina , Lonsing Florian , Biere Armin
Published: January 2018

We present the tool qbf2epr which translates quantified Boolean formulas (QBF) to

formulas in effectively propositional logic (EPR). The decision problem of QBF is the

prototypical problem for PSPACE, whereas EPR is NEXPTIME-complete. Thus QBF is

embedded in a formalism, which is potentially more succinct. The motivation for this workis twofold. On the one hand, our tool generates challenging benchmarks for EPR solvers.

On the other hand, we are interested in how EPR solvers perform compared to QBF solvers and if there are techniques implemented in EPR solvers which would also be valuable in QBF solvers and vice versa.
Verification of Security Protocols
Authors: Cortier Vèronique
Published: January 2018

Security protocols are short programs aiming at securing communications over a network. They are widely used in our everyday life. Their verification using symbolic models has shown its interest for detecting attacks and proving security properties. In particular, several automatic tools have been developed and are used to efficiently detect flaws.

In this talk, we will first review results and techniques that allow automatic analysis of security protocols. In a second part, we will present recent results that demonstrate that formal abstract models used for verification are actually sound with respect to much richer models that considers issues of complexity and probability. As a consequence, it is possible to derive strong, clear security guarantees still keeping the simplicity of reasoning in symbolic models.
Verification of a brick Wang tiling algorithm
Authors: Matsushima Toshiaki , Mizoguchi Yoshihiro , Derouet-Jourdan Alexandre
Published: January 2018

We have implemented a certified Wang tiling program for tiling a rectangle region using a brick corner Wang tile set. A brick corner Wang tile set is a special Wang tile set introduced by A. Derouet-Jourdan et al. in computer graphics in 2015 to model wall patterns texture. We have implemented a tiling algorithm using Coq proof assistant and proved its correctness. This correctness assures the existence of a tiling of any brick corner Wang tile set for any size of rectangle. The essential points of our proof are the existence of a tiling for a $2 \times 2$ rectangle and a simple induction process. Since the brick corner Wang tile is a class of infinite kinds of tile sets, it is not straightforward and there are many conditional branches to prove the correctness. The certification with Coq assures that there are no lack of conditions.
Usage of Invariants for Symbolic Verification of Requirements
Authors: Letichevsky Alexander , Godlevsky Alexander , Guba Anton , Kolchin Alexander , Letychevskyi Oleksandr , Peschanenko Vladimir
Published: January 2018

The paper presents the usage of invariants for symbolic verification of requirements for reactive systems. It includes checking of safety, incompleteness, liveness, consistency properties, and livelock detection. The paper describes the iterative method of double approximation and the method of undetermined coefficients for invariants generation. Benefits, disadvantages, and comparison of this technique with existing methods are considered. The paper is illustrated by examples of invariants technique usage for symbolic verification.
Improved Exact Solver for the Weighted MAX-SAT Problem
Authors: Kuegel Adrian
Published: January 2018

Many exact Max-SAT solvers use a branch and bound algorithm, where the lower bound is calculated with a combination of Max-SAT resolution and detection of disjoint inconsistent subformulas. We propose a propagation algorithm which improves the detection of disjoint inconsistent subformulas compared to algorithms previously used in Max-SAT solvers. We implemented this algorithm in our new solver akmaxsat and compared our solver with three solvers using unit propagation and restricted failed literal detection; these solvers are currently state-of-the-art on random Max-SAT instances. We also developed a lazy deletion data structure for our solver which speeds up lower bound calculation on instances with a high clauses-to-variables ratio. Our experiments show that our solver runs faster than the previously best solvers on randomly generated instances with a high clauses-to-variables ratio.
HipSpec : Automating Inductive Proofs of Program Properties
Authors: Claessen Koen , Johansson Moa , Rosen Dan , Smallbone Nick
Published: January 2018

We present ongoing work on HipSpec, a system for automatically

deriving and proving properties about functional programs. HipSpec uses

a combination of theory formation, counter example testing and

inductive theorem proving to automatically generate a set of

equational theorems about recursive functions in a program, which are later

used as a background theory for proving stated properties about a program.

Initial experiments are encouraging; our initial HipSpec prototype already performs comparably to other, similar systems, even being able to deal with some properties other systems cannot handle.