A fine-grained computational interpretation of Girard’s intuitionistic proof-nets

This paper introduces a functional term calculus, called pn, that captures the essence of the operational semantics of Intuitionistic Linear Logic Proof-Nets with a faithful degree of granularity, both statically and dynamically. On the static side, we identify an equivalence relation on pn-terms which is sound and complete with respect to the classical notion of structural equivalence for proof-nets. On the dynamic side, we show that every single (exponential) step in the term calculus translates to a different single (exponential) step in the graphical formalism, thus capturing the original Girard’s granularity of proof-nets but on the level of terms. We also show some fundamental properties of the calculus such as confluence, strong normalization, preservation of β-strong normalization and the existence of a strong bisimulation that captures pairs of pn-terms having the same graph reduction.

Love and Gender

The chapter offers a relational-sociological account of gender, romantic love, and personal relationships. It conceptualizes gender as a social category that prescribes particular kinds of social relationships within and between genders. Traditionally, friends are supposed to be of the same gender, whereas romantic love has long been reserved for heterosexual relationships. Friendships connect transitively to form cliques, whereas romantic love is exclusively dyadic. Romantic love and gender, but also friendship and family, are cultural models (institutions) that bring order into personal relationships. They make for patterns of structural equivalence, with different patterns by type of relationship. The statistical analysis of confiding relations in the 2004 U.S. General Social Survey shows them to be remarkably gendered. Close personal ties to friends, neighbors, and even siblings run predominantly to members of the same gender. Women maintain more family relations, and men confide more in work colleagues.

Continuous marketing in the social business platform based on identifying consumer boring products

In the social business platform, continuous marketing to consumers can fully explore the consumer purchasing potential. However, since consumers can be influenced by their social friends, their tastes often change, which resulting in the cold start problem of familiar users (CSPFU), and the traditional product recommendation methods are difficult to achieve satisfactory results because they focus on identifying the preferable new products instead of boring familiar products. Therefore, a consumer multi-stage compensation product evaluation model (CMCPEM) based on the multidimensional correlation of products and customers to identify the products that consumers may feel tired is proposed. Specifically, the multidimensional correlation indexes are firstly proposed to depict the preferences of the consumer for the target product to be identified, other consumers who have social contagion and structural equivalence relationships with the consumer and other consumers of homogeneous products. After the direct linear, non-linear and indirect fusion of these multidimensional correlation indexes, the compensation indexes (CIs) are proposed to comprehensively describe the first stage of product evaluation process of consumers. Then, J test in the non-nested model is used to screen out the non-nested CIs that consumers focus on. Finally, in the third stage, the final decision result is given by comprehensively considering CIs that consumers focus on and the indexes that represent consumers’ favorite. Experiment results on YELP data confirm the effectiveness of CMCPEM in successfully launching the continuous marketing campaign.

Pelatihan Penggunaan Kalimat Efektif Dalam Karya Tulis Ilmiah Bagi Guru UPT SMPN 10 Gresik

Abstrak Dalam penulisan karya tulis ilmiah, diperlukan kalimat efektif. Kalimat efektif adalah kalimat yang dapat mengungkapkan gagasan pemakainya secara tepat dan dapat dipahami secara tepat pula. Bahan kajian yang baik tidak akan dipahami pembaca secara baik apabila penulisnya tidak mampu menjelaskan ide-idenya dengan kalimat efektif. Fenomena yang terjadi saat ini adalah beberapa guru belum menggunakan kalimat efektif dalam menulis karya tulis ilmiah. Berdasarkan fenomena tersebut, perlu dilakukan pelatihan menulis kalimat efektif bagi guru, khususnya penyusunan karya tulis ilmiah (PTK) dalam menulis kalimat efektif pada PTK dalam bentuk Program Pengabdian kepada Masyarakat (PPM). Kegiatan PPM ini telah dilaksanakan oleh Tim Prodi PBI UNIPA Surabaya dan berjalan dengan baik secara virtual. Hal tersebut dapat buktikan dengan berdasarkan hasil tes akhir peserta, kemampuan menulis kalimat efektif guru dengan kriteria kesepadanan struktur sebesar 70%, kecermatan 65%, kehematan sebesar 80%, keparalelan 70 %, dan kelogisan sebesar 75%. Dengan demikian, dapat dikatakan bahwa hampir semua peserta dapat menulis kalimat efektif dalam penyusunan PTK sesuai dengan kaidah bahasa Indonesia. Kata kunci: kalimat efektif, karya tulis ilmiah, guru SMP Abstract In writing scientific papers, effective sentences are needed. Effective sentences are sentences that can express the ideas of the wearer precisely and can be understood precisely too. Good study material will not be well understood by readers if the writer is unable to explain his ideas in the right sentence. The current phenomenon is that some teachers have not used effective sentences in writing scientific papers. Based on this phenomenon, it is necessary to carry out training in writing effective sentences for teachers, especially the preparation of scientific writing (PTK) in writing effective sentences in the CAR in the form of Community Service Program (PPM). This PPM activity has been carried out by the PBI UNIPA Surabaya Study Program Team and is running well virtually. This can be proven by the results of the participants' final tests, the teacher's ability to write effective sentences with the structural equivalence criteria of 70%, accuracy of 65%, savings of 80%, parallelity of 70%, and logic of 75%. Thus, it can be said that almost all participants can write effective sentences in the preparation of PTK according to Indonesian principles. Keyword: effective sentences, scientific papers, junior high school teachers

Psychometric properties of the Attitudes towards Medical Communication Scale in nursing students

Background Adequate communication skills in healthcare professionals are one of the key elements required for achieving high-quality healthcare. Thus, measurement instruments able to assess the dimensions related to these skills, including attitudes towards communication, are useful and convenient tools. Objectives To (a) cross-culturally adapt and validate a scale to measure attitudes towards communication in a sample of nursing students in the Spanish environment; (b) describe the perceived attitudes of nursing degree students towards communication. Methods We conducted an instrumental study. First, we adapted the scale by applying a standardised linguistic validation procedure. After that, we determined its structural equivalence and evaluated its psychometric properties. Participants A total of 255 students participated; their average age was 22.66 years (SD = 4.75) and 82% were female. Results The internal consistency of the scale was adequate (0.75), and the data fit well with the model (CFI = 0.99; TLI = 0.99; RMSEA = .01 95% CI [.00–.05]). The overall instrument score poorly correlated with the self-efficacy in communication skills variable. Conclusions The attitudes towards communication scores for these nursing students were high. The Spanish version of the Attitudes Towards Health Communication scale had adequate psychometric properties and this tool could quickly and easily be applied to assess the attitudes of health profession students.

Exploring Strategic Directions of Pandemic Crisis Management: A Text Analysis of World Economic Forum COVID-19 Reports

This study aims to understand the global environment of COVID-19 management and guide future policy directions after the pandemic crisis. To this end, we analyzed a series of the World Economic Forum’s COVID-19 response reports through text mining and network analysis. These reports, written by experts in diverse fields, discuss multidimensional changes in socioeconomic situations, various problems created by those changes, and strategies to respond to national crises. Based on 3897 refined words drawn from a morphological analysis of 26 reports (as of the end of 2020), this study analyzes the frequency of words, the relationships among words, the importance of specific documents, and the connection centrality through text mining. In addition, the network analysis helps develop strategies for a sustainable response to and the management of national crises through identifying clusters of words with similar structural equivalence.

Issues and Agendas of Pandemic Crisis Management: A Text Analysis of World Economic Forum COVID-19 Reports

This study aims to understand the global environment of COVID-19 management and guide future policy directions after the pandemic crisis. To this end, we analyzed a series of the World Economic Forum’s COVID-19 response reports through text mining and network analysis. These reports, written by experts in diverse fields, discuss multidimensional changes in socioeconomic situations, various problems created by those changes, and strategies to respond to national crises. Based on 3,897 refined words drawn from a morphological analysis of 26 reports (as of the end of 2020), this study analyzes the frequency of words, the relationships among words, the importance of specific documents, and the connection centrality through text mining. In addition, network analysis helps develop strategies for sustainable response to and management of national crises through identifying clusters of words with a similar structural equivalence.