bluuebunny/crossref_metadata_2025 huggingface dataset:
Trayectorias iniciales de formación de profesores. El caso de las transformaciones geométricas
Authors: Thaqi Xhevdet , Gimenez Joaquim
Published: November 2023

Se desarrolla un estudio empírico con los estudiantes para futuros profesores de primaria en dos contextos diferentes, en España y Kosovo.It is significant to note that, even though, the opportunity sample used in this study comprised students from diverse parts of the world, the notion of culture, as it is used in this paper, does not have direct implications to geographical locations from which the learners come. Se ha empleado una práctica didáctica sobre aprender a enseñar las transformaciones geométricas en educación primaria para Iemployed active interviewing to construct narratives with learners about their experience of learning in a British university.construir narrativas de los estudiantes sobre su experiencia de aprender a enseñar las transformaciones geométricas.The interviews were conducted with the assumption that all processes of knowing are socially constituted. Hence, the context, culture as well as the relationship between the researcher and respondents during the interview conversation was supposed to shape the meanings constructed.The study revealed that there are diverse cultural scripts for learning in different cultures. The notion of cultural scripts reflects the generalized action knowledge which informs how people make sense of situations and which also guides their action in particular contexts. El estudio reveló que existen diversas escrituras culturales para el aprender a enseñar las transformaciones geométricas en los dos grupos de participantes de la investigación.
List of Reviewers
Authors: Díez Palomar Javier
Published: November 2023

On behalf of REDIMAT we deeply appreciate contributions provided by the reviewers to the quality of this journal, during 2014. The journal owes this debt with those who have been peer reviewers during this period. Yours sincerely,Javier Díez-PalomarSilvia MolinaBerta BarqueroEditors
Overburndened and Underfunded: California Public Schools Amidst the Great Recession
Authors: Freelon Rhoda , Bertrand Melanie , Rogers John
Published: November 2023

Since 2008, many nations, including the United States, have struggled with the effects of a global recession. The state of California has been particularly impacted by the Great Recession. Unemployment rates in California are among the highest in the United States, and a weak fiscal environment has forced deep cutbacks to a variety of state services. This study uses California as a case to explore the effects of economic crisis on public schools and the students they serve. The study draws on two years of survey and interview data with a representative sample of public school principals across California. The data show that, during the Great Recession, students have experienced growing social welfare needs that often shape their well-being and their performance in schools. We also find that the capacity of public schools to meet these needs and provide quality education has been eroded by budget cuts. This study finds that schools primarily serving low-income families have been hardest hit during the recession, in part because they cannot raise private dollars to fill the gap left by public sector cuts. The Great Recession thus has undermined educational quality while producing widening educational inequality in California.
Urban renewal, migration and memories: The affordances of place-based pedagogies for developing immigrant students’ literate repertoires
Authors: Comber Barbara , Nixon Helen
Published: November 2023

This paper reports on theNew literacy demands in the middle years of schooling project in which the affordances of placed-based pedagogy are being explored through teacher inquiries and classroom-based design experiments. The school is located within a large-scale urban renewal project in which houses are being demolished and families relocated. The original school buildings have recently been demolished and replaced by a large ‘Superschool’ which serves a bigger student population from a wider area.Drawing on both quantitative and qualitative data, the teachers reported that the language literacy learning of students (including a majority of students learning English as a second language) involved in the project exceeded their expectations. The project provided the motivation for them to develop their oral language repertoires, by involving them in processes such as conducting interviews with adults for their oral histories, through questioning the project manager in regular meetings, and through reporting to their peers and the wider community at school assemblies. At the same time students’ written and multimodal documentation of changes in the neighbourhood and the school grounds extended their literate and semiotic repertoires as they produced books, reports, films, Powerpoints, visual designs and models of structures.
Availability of Supportive Facilities for Effective Teaching
Authors: Okyere-Kwakye Eugene
Published: November 2023

Work environment of teachers has been identified by many researchers as one of the key propensity for quality teaching. Unlike the private schools, there has been a continues sentiments that, most government Junior High schools in Ghana do not performance satisfactorily during the Basic Education Certificate Examination (B.E.C.E). As majority of Ghanaian pupils’ school in this sector of education, hence this argument is wealthy of investigation. Therefore the purpose of this study is to identify the availability and the adequacy of certain necessary school facilities within the environment of Junior High Schools in the New Juaben Municipality, Eastern Region of Ghana. Questionnaire was used to collect data from two hundred (200) teachers who were selected from twenty (20) Junior High Schools in the New Juaben Municipality. The results reveal that facilities like furniture for pupil, urinal and toilet facilities and classroom blocks, were available but not adequate. However, computer laboratories, library books, staff common room and teachers’ accommodation were unavailable. Practical Implications of these results are been discussed.
Pupil Grouping: Education Agent Interaction Influence on Education Results
Authors: Grivins Mikelis
Published: November 2023

This research illustrates how pupil grouping within primary education influences their possibilities to achieve high education results. Paper aims to show how does pupils’ achievements and education interpretation are constructed and how such constructs are connected to teacher interpretation of pupils’ abilities. Analysis is concerned with micro interaction occurring in schools between teacher and pupil. Research is elaborated in interpretative perspective and based on theories of new sociology of education and grouping. To obtain information about questions analyzed several interviews with Latvian language and mathematics teachers were conducted. Afterwards several interviews were done with pupils whom interviewed teachers described as “good” or “bad”. To analyze empirical data Critical Discourse Analysis was applied. Results show that both pupils and teachers legitimize pupil grouping and groups is used to predict pupil performance. It’s also possible to conclude that pupils’ interpretation of education processes comes from interaction within school. Although there is a link between interaction and pupil’s achievements, teachers tend to explain pupil achievements through other factors.
Teacher Education and Black Male Students in the United States
Authors: Milner H. Richard , Pabon Amber , Woodson Ashley , McGee Ebony
Published: November 2023

Teacher education programs in the United States (U.S.) struggle to prepare teachers to meet the complex needs of elementary and secondary students in public schools - especially those of color, those living in poverty, and those whose first language is not English. In this article, we argue for focused attention on preparing educators to teach African American male students as these students face particular institutional challenges in successfully navigating the U.S. public school system. Drawing from the significant body of research on teacher education and teacher learning for equity and social justice, four Black teacher educators discuss challenges they have faced in classes designed to prepare teachers to teach Black male students. Through an analysis of commonalities in their experiences, they propose means for teacher educators to foster greater understandings of the heterogeneity found among Black male students so that teachers can craft more responsive and responsible educational experiences for Black males.
¿Quién es un ciudadano activo y qué roles desempeña en la vida democrática? Una experiencia de educación cívica ciudadana en Canadá
Authors: Molina-Girón Luz Alison
Published: November 2023

Aún cuando educar ciudadanos activos que participan en la vida democrática es un objetivo fundamental de la educación, en general, y de la Educación Cívica Ciudadana, en particular, hay muy pocas investigaciones empíricas que nos informan cómo la escuela educa para tal fin. Este estudio, conducido en tres aulas de Educación Cívica en Ontario, Canadá, investiga en qué medida y cómo los profesores educan ciudadanos activos, cívicamente comprometidos. Haciendo use de las teorías de la ciudadanía activa como marco teórico y métodos etnográficos incluyendo observaciones de clases y entrevistas con profesores y alumnos, los resultados del estudio revelan que las concepciones de quien es un ciudadano activo y los roles que desempeña en la vida pública influyen grandemente en como los profesores educan para la ciudadanía activa. En la práctica, hay tres distintas concepciones de la ciudadanía activa que enfatizan (a) el deber cívico, (b) hacer una diferencia positiva, y (c) una participación de orientación política. El artículo concluye con una discusión de las implicaciones de los diferentes enfoques para la educación para la ciudadanía democrática.
La Autoetnografía Crítica y el Self Vulnerable como Investigadora
Authors: Tilley-Lubbs Gresilda A.
Published: November 2023

Este ensayo presenta la autoetnografía crítica como una estrategia innovadora para conducir investigaciones en comunidades marginadas y vulnerables. Como se usa en este ensayo, es una combinación de la autoetnografía, la etnografía y la pedagogía crítica por la cual la investigadora se hace participante en el estudio, dirigiéndose al interior para examinar el Self y la complejidad de las perspectivas usando la lente de la pedagogía crítica. La reflexividad y la introspección intensas apoyan este estudiodel Self como participante para ir más allá del recuento de hechos tan objetivamente como sea posible, que es lo que ocurre con la autobiografía, para reconocer que la investigadora interpreta los hechos de su vida a partir de las perspectivas culturales que se han formado por años debido a sucesos y circunstancias socioculturales, socio-históricas, sociopolíticas y socioeconómicas que le han ocurrido. Subsecuentemente como investigadora que es miembro de la cultura dominante enalgunas categorías puedo ver y entender como opresora de la gente que vive en las comunidades donde hago mis investigaciones.
La Incorporación de los Fondos de Identidad en un Centro Abierto. El Proyecto FICAB
Authors: Esteban-Guitart Moises , Subero David , Brito Luis Fernando
Published: November 2023

El objetivo del siguiente artículo es contextualizar e ilustrar el proyecto “Fondos de Identidad en el centro abierto de Ciudad Meridiana, Barcelona” (FICAB). El artículo se organiza alrededor de tres secciones. En primer lugar, se contextualiza la problemática que enmarca el trabajo, el sentido escolar en los nuevos contextos de aprendizaje, así como el marco teórico de los fondos de conocimiento e identidad y la propuesta de los Centros Abiertos en Catalunya. En segundo lugar, se describen los objetivos, fases y procedimiento del programa implementado. En tercer lugar, se discuten los resultados obtenidos y se sugieren líneas de futuro. Se concluye con la necesidad de generar continuidades educativas para fortalecer el sentido de la institución escolar. La experiencia representa una innovación en la literatura sobre fondos de conocimiento dado que se aplica, por vez primera, dicha aproximación teórica, y sus secuelas contemporáneas (la noción de fondos de identidad), en un contexto educativo no formal como son los Centros Abiertos en Catalunya.
Pueblo gitano, género y educación: investigar para excluir o investigar para transformar
Authors: Macías Fernando , Redondo Gisela
Published: November 2023

Tradicionalmente, las investigaciones no han tenido en cuenta la voz del pueblo gitano. Al no incluir a las personas gitanas en los procesos de investigación se han llegado a conclusiones que han provocado la reproducción de la situación de exclusión social en la cual se encuentran desde hace siglos. La triple exclusión a la que se ve sometida la mujer gitana sólo puede verse superada desde una investigación orientada a la transformación social. La metodología comunicativa de investigación posee esa orientación y incluye las mujeres gitanas en todas las fases de investigación. Esa participación se establece en un plano de igualdad, a través de un diálogo igualitario e intersubjetivo, donde los conocimientos científicos acumulados aportados por el personal investigador y las aportaciones realizadas desde el mundo de la vida por parte de las personas investigadas, llevan a transformar situaciones de desigualdad social que sufren las mujeres gitanas.
Students’ Mathematics Learning from Kindergarten through 8th Grade
Authors: Bodovski Katerina , Youn Min-Jong
Published: November 2023

Students’ Mathematics Learning from Kindergarten through 8th Grade: The Long-Term Influence of School Readiness AbstractWe employed a large nationally representative data set for the U.S. elementary school students, the Early Childhood Longitudinal Study - Kindergarten Cohort (ECLS-K), to investigate the relationships between school readiness, measured in the fall of kindergarten, and students’ mathematics learning during the elementary and middle school years, including 8th-grade math course-taking. Main findings: School readiness (math and reading scores, and approaches to learning) showed a strong positive relationship with math scores at the end of each tested grade (1st, 3rd, 5th, and 8th). Students who entered kindergarten with higher math score tended to show a lower rate of math growth. Higher school readiness was strongly and positively associated with a likelihood that a student is taking Algebra I or above in 8th grade. Findings suggest that for minority students and students from lower SES backgrounds, improved school readiness would increase their math achievement.
Financial Considerations of Undergraduate Female Married Students: A Qualitative Analysis
Authors: Firmin Michael W. , Firmin Ruth L. , Grafton Rebekah E. , Keeports Christine R.
Published: November 2023

This qualitative, phenomenological research study, involved in-depth interviewing 23 female, undergraduate, married students attending a private, selective Midwest university.Three main themes were found regarding the students’ perceptions of their respective financial situations.First, participants described that, in contrast to a single (unmarried) lifestyle, the importance of their budgeting practices significantly escalate. These considerations directly relate to paying bills and school loans, resulting in consequential patterns of limited spending. Second, women in the study described the importance of discussing finances with their future spouse before getting married. Other preemptive efforts included saving money beforehand, as well as pre-discussing financial habits or expectations. Finally, married students described the mindset changes they found necessary when adjusting to married life as an undergraduate student. These included finding less expensive alternatives or “doing without,” as well as shifts in their perceptions of finances from individual budgets to collective financial outlooks.
Towards a southern theory of student equity in Australian higher education: Enlarging the rationale for expansion
Authors: Gale Trevor
Published: November 2023

Student equity in Australian higher education is a numbers game. While university student recruitment departments focus on ‘bums on seats’, equity advocates draw attention to which bums, in what proportions and, more to the point, which seats, where. But if the counting of ‘bums’ is crude, so is the differentiation of seats. Just distinguishing between courses and universities and scrutinizing the distribution of groups is a limited view of equity. This paper proposes an expanded conception for student equity and an enlarged regard for what is being accessed by students who gain entry to university. Drawing on Connell’s notion of ‘southern theory’, the paper highlights power/knowledge relations in higher education and particularly for ‘southerners’: those under-represented in universities, often located south of cut-off scores, and whose cultural capital is similarly marginalised and discounted. The paper concludes that taking account of marginalized forms of knowledge requires thinking differently about what higher education is and how it gets done.
Higher Education Expansion, Social Background and College Selectivity in the United States
Authors: Zarifa David
Published: November 2023

Drawing on two recent cohorts of baccalaureate degreeholders (1993 and 2000), this paper takes a new look at the factors that influence students’ choice of undergraduate institution in the United States. The two cohorts span a period that was marked by rapid institutional and enrollment growth in U.S. universities. Yet, it remains uncertain whether or not this greater expansion has reduced the effects of social origins on college choices. The findings reveal that educational decisions were indeed influenced by socioeconomic effects. Both parental income and education exhibited strong, positive effects, which remained stable across cohorts. At the same time, students’ abilities also had a significant impact on selectivity decisions. Students who attended private, nonreligious high schools were also more likely to graduate from more selective institutions, while gender effects largely subsided once controlling for academic ability.
Higher Education, Socialism & Industrial Development. Dom Mintoff and the ‘Worker - Student Scheme’
Authors: Mayo Peter
Published: November 2023

This article focuses on the recently deceased Maltese socialist leader Dom Mintoff (1916-2012) and his introduction of a scheme that was intended to change higher education and develop it ostensibly on socialist lines but, in effect, in a manner intended to facilitate the country’s transition from mercantile capitalism to that of productive industrial development. The scheme he introduced, with its immediate socialist echoes but which warrants more careful scrutiny to unveil both its contradictions and real economic purpose, was the Worker-Student scheme, arguably Mintoff’s original, albeit much decried and controversial, contribution to higher education thinking. In this paper, I will take a look at the main issues surrounding the concept of the worker-student scheme and the way they were put into practice during the scheme’s almost ten year period of existence (1978-1987). I shall analyse them in the context of the Malta Labour Party’s then professed socialist politics. What are the contradictions and consistencies regarding what have come to be regarded as key concepts in a socialist politics of education?
Equal Education
Authors: Mittal Richa , Bhattacharya Dr. Bani
Published: November 2023

In educational research literature the role of education as a means for social upward mobility is quite well accepted. However, there are examples where education conserves and perpetuates social class. Each year, after the campus placements, one comes across a familiar situation where some students get selected and some others with equal academic achievements get rejected. This event occurs when one has nearly completed one’s education. The problem that lies at the root of this observation is that students do not enter school/college with equal cultural, social and economic capital. Teachers with their egalitarian values treat them as equals, making no distinctions among them. They ignore the obvious distinctions among students rather than addressing them, thereby, helping preserve these differences. The school teachers ignore, the college teachers ignore and finally the professional teachers also ignore the differences. Consequently, the differential in the cultural and social capital of students continues. To find out whether education preserves or bridges these differences the author studied the impact of annual family income, level of father’s education, level of mother’s education, father’s profession, mother’s profession, area of location of school and the medium of instruction at school on the preparation and performance of students in three different types of engineering colleges. Her sample consisted of 740 students studying in the third year of their 4-year engineering degree course. She compared the performance of students from highest income group with the students from lowest income group, performance of students whose fathers were uneducated with students with professionally educated fathers, students with uneducated mothers and those with professionally educated mothers, students whose fathers were engaged in agriculture with those whose fathers were in profession, students whose mothers were not working and those with mothers in profession, students from rural schools with those from urban schools, and performances of students from English medium schools and students from regional language medium schools through independent sample t-tests and found that though the means of students from high income families, from English medium schools, from schools located in urban areas were higher on all subjects in class ten and class twelve board examinations and higher Semester Grade Point Averages but some differences were not statistically significant. The findings are discussed along with educational implications. The paper is concluded with suggestions for the educators and their renewed responsibilities in the light of findings.
Applying Theory to Practice: Putting Deleuze to Work
Authors: Harris David Ernest
Published: November 2023

AbstractThe work of Deleuze and his associates has been widely discussed, and there is a burgeoning literature on the implications for the education system, specifically.Deleuzian writing is deliberately unconventional, but the work of Bourdieu in particular can help to explain the difficulties of his writing in terms of possible residual effects of a particular social context - the elite French university system of the 1960s and 1970s. The allusive writing that results might need to be rationally reconstructed before it can be grasped and applied to new situations. The importance of the social and intellectual contexts of readers also arises when Deleuzian work is ‘put to work’ to understand areas such as current education systems in the UK and USA.Problems of ‘application’ in specific examples relating to UK and US pedagogy are discussed. Deleuzian work is effective in dereifying existing systems, but it also offers a particularly congenial cultural politics.Some general paradoxes in linking theory to practice emerge through the work of Rancière on cultural or philosophical autonomy and heteronomy.Keywords: Bourdieu, educational politics, Deleuze, habitus, pedagogy.
Between Equity and Differentiation: An Analytical schema of the social function of education
Authors: Madero Cabib Ignacio , Madero Cabib Cristobal
Published: November 2023

The educational sphere has an internal function relatively agreed by social scientists. Nonetheless, the contribution that educational systems provide to the society (i.e., their social function) does not have the same degree of consensus. Taking into consideration such theoretical precedent, the current article raises an analytical schema to grasp the social function of education considering a sociological perspective. Starting from the assumption that there is an intrinsic relationship between the internal and social functions of social systems, we suggest there are particular stratification determinants modifying the internal pedagogical function of education, which impact on its social function by creating simultaneous conditions of equity and differentiation. Throughout the paper this social function is considered a paradoxical mechanism. We highlight how this paradoxical dynamic is deployed in different structural levels of the educational sphere. Additionally, we discuss eventual consequences of this paradoxical social function for the inclusion possibilities that educational systems offer to individuals.
White Middle Class Identities and Urban Schooling de Diane Reay, Gill Crozier y David James
Authors: Schubert Tinka Tabea
Published: November 2023

-
From Their Perspective: Parental Involvement in the UAE
Authors: Moussa-Inaty Jase , De La Vega Esperanza
Published: November 2023

The purpose of this paper is to share findings from a mixed-method study that explores, from the perspective of Emirati parents, what it means to be involved in their children’s education. The study is built upon the idea that in order to provide culturally responsive family-school involvement practices and recommendations, it would serve us, as educators and researchers to investigate and understand Emirati parents’ beliefs about the educational choices they have for their children and their “involvement” in this process. The instrument used for data collection was a survey and included open-ended questions. Generally, the results suggest that parents viewed involvement as important, but that they also heavily relied on school staff and teachers for this involvement. This important first step of understanding parents’ beliefs will enable us to better support collaborative partnerships between schools and families in the education of children in the UAE.
Factors Hindering Women’s Aspiration for Tertiary Education in South-West Nigeria
Authors: Oni Soji , Manafa Fausta
Published: November 2023

The study is a survey of factors that hindered married women who had secondary education from aspiring for tertiary education in South-West Nigeria. The population for the study comprised all married woman that finished secondary schools but did not embark on tertiary education in the geo-political zone. Findings revealed that women’s aspirations for tertiary education in South-West Nigeria were hindered by marital factors such as; marriage, childbearing and family financial needs. On the other hand, factors such as; religious belief and gender discrimination were found to be insignificant in hindering women aspiration for tertiary education in the zone. It was also found out that the effects of most of the factors were more potent on the aspirations of older women than on those of younger women. Based on this it was recommended that women aspirations for higher education should be aided by functioning policies from government and non-governmental organizations.
The Digital Divide in Classroom Technology Use: A Comparison of Three Schools
Authors: Rafalow Matthew H.
Published: November 2023

While concerns about the “digital divide,” or access to technology, remain relevant for many schools, we do not yet fully know how often-expensive education technologies are employed across school contexts. In particular, few studies exist that evaluate how teacher beliefs about student social class and race-ethnicity, as well as institutional perceptions of the value of new technologies, inform everyday teacher practices with such technologies. Classroom observation and interviews were conducted with 5 teachers across three elementary schools that vary by race and class. Results indicated that teachers at middle/upper class schools encouraged dynamic uses of interactive whiteboards, while in the low-income school they functioned like traditional blackboards. Findings suggest that teacher beliefs and institutional perceptions inform how technologies are used in the classroom. In particular, beliefs about the meaning of student race and social class, as well as institutional goals for implementing new technologies, inform the extent to which students are granted agency to learn with new technologies.
Survey the Influence of the Creativity Teaching Model on Teachers' Knowledge, Attitude, and Teaching Skills
Authors: Hoseini Afzal Sadat
Published: November 2023

Creativity is a Devine gift and each individual has a certain amount of this gift. Teachers, as one of the most important training and education elements, have a key role in nourishing creativity. The teachers attitude toward creativity, their level of understanding of it, and also their type of attitude and teaching method have direct relationship on enriching the class environment for students' growth of creativity. Therefore it is necessary to help the teachers gain the attitude and skills for the growth of the students; creativity ability.In order to assess how creativity is taught in elementary school period, 120 instructors were participating(60 instructors in a test group and 60 instructors in a control group). The test group became involved in "teaching of creativity" program so that the impact of the program and training model on instructors ' knowledge, attitude, and skill would be assessed. The results were examined through T test and showed that there is significant difference between the two groups_ the "test group" and the "control group".The results stated the positive impact of the training period . a set of suggestions have been made for the growth of students; creativity based on the finding this research.
Mother Tongue Based (MTB) Classroom Instruction: The Attitudes and Perceptions of School Community in Sidama Zone
Authors: Bachore Mebratu Mulatu
Published: November 2023

The main objective of the study is to assess the attitudes and perceptions of school community towards mother tongue based classroom instruction. The study was conducted in Sidama zone, particularly in three Woredas which one school was drawn from each. The approach employed to carry out the study was mixed one: quantitative and qualitative approach. The tools which were used to collect data are questionnaires and interview. The questionnaire was administered to the teachers and the students, and the interview was to the school parents in the target area. There were 70 students, 6 parents and 11 teachers who were taken by using cluster and random sampling. The results of the study showed that most parents and almost half of the sample students have negative attitude and perception towards using mother tongue as a medium of instruction. But, the teachers’ attitude and perception can be rated as good. Moreover, the study revealed that there are challenges like shortages of reference materials and text books to be used in Sidama language; students might have problems in their future since the language is being used in their local environment only, and the students are experiencing serious writing problems in the texts they produce in the Sidama language.
Faith in Yourself: Self-Esteem in Guatemalan Religious Schools
Authors: Mather Darin Mitchel
Published: November 2023

This study examines the effect that private religious schools have on self-esteem. Using data collected from 21 Catholic, evangelical and secular private schools in Guatemala, comparisons are made to determine if there are differences between these school types in students’ self-esteem and academic confidence. Hierarchical linear models are constructed to further examine school differences in the presence of controls for gender and gender ideology, family influence and various religious measures. Contrary to many previous findings, results in this study show that Catholic school students generally have lower levels of self-esteem and academic confidence than students at other types of private religious schools. These lower Catholic school findings persist for measures of reflected appraisals and math confidence even in the presence of relevant controls. Full models also show that gender ideology, family background, and religious beliefs and practices have a significant effect on student self-esteem and academic confidence. Overall, results highlight the key role that religious beliefs and religious saliency have on student self-esteem.
Saturating automata for game semantics
Authors: Dixon Alex , Murawski Andrzej S.
Published: November 2023

Saturation is a fundamental game-semantic property satisfied by strategies that interpret higher-order concurrent programs. It states that the strategy must be closed under certain rearrangements of moves, and corresponds to the intuition that program moves (P-moves) may depend only on moves made by the environment (O-moves). We propose an automata model over an infinite alphabet, called saturating automata, for which all accepted languages are guaranteed to satisfy a closure property mimicking saturation. We show how to translate the finitary fragment of Idealized Concurrent Algol (FICA) into saturating automata, confirming their suitability for modelling higher-order concurrency. Moreover, we find that, for terms in normal form, the resultant automaton has linearly many transitions and states with respect to term size, and can be constructed in polynomial time. This is in contrast to earlier attempts at finding automata-theoretic models of FICA, which did not guarantee saturation and involved an exponential blow-up during translation, even for normal forms.

Comment: Presented at MFPS 2023
Cartesian Differential Kleisli Categories
Authors: Lemay Jean-Simon Pacaud
Published: November 2023

Cartesian differential categories come equipped with a differential combinator which axiomatizes the fundamental properties of the total derivative from differential calculus. The objective of this paper is to understand when the Kleisli category of a monad is a Cartesian differential category. We introduce Cartesian differential monads, which are monads whose Kleisli category is a Cartesian differential category by way of lifting the differential combinator from the base category. Examples of Cartesian differential monads include tangent bundle monads and reader monads. We give a precise characterization of Cartesian differential categories which are Kleisli categories of Cartesian differential monads using abstract Kleisli categories. We also show that the Eilenberg-Moore category of a Cartesian differential monad is a tangent category.

Comment: For the proceedings of MFPS2023
Profinite lambda-terms and parametricity
Authors: van Gool Sam , Melliès Paul-André , Moreau Vincent
Published: November 2023

Combining ideas coming from Stone duality and Reynolds parametricity, we formulate in a clean and principled way a notion of profinite lambda-term which, we show, generalizes at every type the traditional notion of profinite word coming from automata theory. We start by defining the Stone space of profinite lambda-terms as a projective limit of finite sets of usual lambda-terms, considered modulo a notion of equivalence based on the finite standard model. One main contribution of the paper is to establish that, somewhat surprisingly, the resulting notion of profinite lambda-term coming from Stone duality lives in perfect harmony with the principles of Reynolds parametricity. In addition, we show that the notion of profinite lambda-term is compositional by constructing a cartesian closed category of profinite lambda-terms, and we establish that the embedding from lambda-terms modulo beta-eta-conversion to profinite lambda-terms is faithful using Statman's finite completeness theorem. Finally, we prove that the traditional Church encoding of finite words into lambda-terms can be extended to profinite words, and leads to a homeomorphism between the space of profinite words and the space of profinite lambda-terms of the corresponding Church type.

Comment: For the proceedings of MFPS2023
Propositional Logics for the Lawvere Quantale
Authors: Bacci Giorgio , Mardare Radu , Panangaden Prakash , Plotkin Gordon
Published: November 2023

Lawvere showed that generalised metric spaces are categories enriched over $[0, \infty]$, the quantale of the positive extended reals. The statement of enrichment is a quantitative analogue of being a preorder. Towards seeking a logic for quantitative metric reasoning, we investigate three $[0,\infty]$-valued propositional logics over the Lawvere quantale. The basic logical connectives shared by all three logics are those that can be interpreted in any quantale, viz finite conjunctions and disjunctions, tensor (addition for the Lawvere quantale) and linear implication (here a truncated subtraction); to these we add, in turn, the constant $1$ to express integer values, and scalar multiplication by a non-negative real to express general affine combinations. Quantitative equational logic can be interpreted in the third logic if we allow inference systems instead of axiomatic systems. For each of these logics we develop a natural deduction system which we prove to be decidably complete w.r.t. the quantale-valued semantics. The heart of the completeness proof makes use of the Motzkin transposition theorem. Consistency is also decidable; the proof makes use of Fourier-Motzkin elimination of linear inequalities. Strong completeness does not hold in general, even (as is known) for theories over finitely-many propositional variables; indeed even an approximate form of strong completeness in the sense of Pavelka or Ben Yaacov -- provability up to arbitrary precision -- does not hold. However, we can show it for theories axiomatized by a (not necessarily finite) set of judgements in normal form over a finite set of propositional variables when we restrict to models that do not map variables to $\infty$; the proof uses Hurwicz's general form of the Farkas' Lemma.
A Complete V-Equational System for Graded lambda-Calculus
Authors: Dahlqvist Fredrik , Neves Renato
Published: November 2023

Modern programming frequently requires generalised notions of program equivalence based on a metric or a similar structure. Previous work addressed this challenge by introducing the notion of a V-equation, i.e. an equation labelled by an element of a quantale V, which covers inter alia (ultra-)metric, classical, and fuzzy (in)equations. It also introduced a V-equational system for the linear variant of lambda-calculus where any given resource must be used exactly once. In this paper we drop the (often too strict) linearity constraint by adding graded modal types which allow multiple uses of a resource in a controlled manner. We show that such a control, whilst providing more expressivity to the programmer, also interacts more richly with V-equations than the linear or Cartesian cases. Our main result is the introduction of a sound and complete V-equational system for a lambda-calculus with graded modal types interpreted by what we call a Lipschitz exponential comonad. We also show how to build such comonads canonically via a universal construction, and use our results to derive graded metric equational systems (and corresponding models) for programs with timed and probabilistic behaviour.

Comment: Conference paper accepted at MFPS'23. Omitted proofs can be found in arXiv:2304.02082v1
Fixpoint constructions in focused orthogonality models of linear logic
Authors: Fiore Marcelo , Galal Zeinab , Jafarrahmani Farzad
Published: November 2023

Orthogonality is a notion based on the duality between programs and their environments used to determine when they can be safely combined. For instance, it is a powerful tool to establish termination properties in classical formal systems. It was given a general treatment with the concept of orthogonality category, of which numerous models of linear logic are instances, by Hyland and Schalk. This paper considers the subclass of focused orthogonalities. We develop a theory of fixpoint constructions in focused orthogonality categories. Central results are lifting theorems for initial algebras and final coalgebras. These crucially hinge on the insight that focused orthogonality categories are relational fibrations. The theory provides an axiomatic categorical framework for models of linear logic with least and greatest fixpoints of types. We further investigate domain-theoretic settings, showing how to lift bifree algebras, used to solve mixed-variance recursive type equations, to focused orthogonality categories.

Comment: 17 pages, MFPS 2023
The exponential logic of sequentialization
Authors: Alcolei Aurore , Pellissier Luc , Saurin Alexis
Published: November 2023

Linear logic has provided new perspectives on proof-theory, denotational semantics and the study of programming languages. One of its main successes are proof-nets, canonical representations of proofs that lie at the intersection between logic and graph theory. In the case of the minimalist proof-system of multiplicative linear logic without units (MLL), these two aspects are completely fused: proof-nets for this system are graphs satisfying a correctness criterion that can be fully expressed in the language of graphs. For more expressive logical systems (containing logical constants, quantifiers and exponential modalities), this is not completely the case. The purely graphical approach of proof-nets deprives them of any sequential structure that is crucial to represent the order in which arguments are presented, which is necessary for these extensions. Rebuilding this order of presentation - sequentializing the graph - is thus a requirement for a graph to be logical. Presentations and study of the artifacts ensuring that sequentialization can be done, such as boxes or jumps, are an integral part of researches on linear logic. Jumps, extensively studied by Faggian and di Giamberardino, can express intermediate degrees of sequentialization between a sequent calculus proof and a fully desequentialized proof-net. We propose to analyze the logical strength of jumps by internalizing them in an extention of MLL where axioms on a specific formula, the jumping formula, introduce constrains on the possible sequentializations. The jumping formula needs to be treated non-linearly, which we do either axiomatically, or by embedding it in a very controlled fragment of multiplicative-exponential linear logic, uncovering the exponential logic of sequentialization.

Comment: 17 pages, submitted to MFPS 2023
Prinsip Hidup yang Mengingat Tuhan: Studi Hermeneutik terhadap Yakobus 4:13-17
Authors: Nole Otniel Aurelius
Published: November 2023

Setiap manusia memiliki kemampuan untuk mengingat di dalam kehidupannya, serta sebagai sistem disebut memori. Akan tetapi, manusia juga bisa mengalami kelupaan sebagaimana Yakobus 4:13-17 menerangkan aktivitas dan rencana hidup para pedagang. Berdasarkan metode kualitatif dengan studi hermeneutik, penulis menemukan bahwa hidup para pedagang mencerminkan kemegahan diri dengan sifat yang sombong, serta melupakan Tuhan. Selain menegur mereka, Yakobus memberi nasihat untuk mempraktikkan prinsip hidup yang mengingat Tuhan. Dalam hal ini, individu juga perlu menerapkan strategi peningkatan memori tentang mengingat Tuhan yang dilakukan secara konstan, yaitu aktivasi pembelajaran rohani, terbiasa untuk rajin berkomunikasi, dan minat yang tinggi. Dari hal itu, individu mengetahui kebenaran dan termotivasi untuk berbuat baik.
Pastoral Konseling Anak Korban Keluarga Perselingkuhan di Gereja-gereja Pluit, Jakarta Utara
Authors: Susanto Citra Ayu , Hermanto Yanto Paulus
Published: November 2023

Perselingkuhan dalam keluarga memiliki dampak yang mendalam pada anak-anak, terutama dalam konteks komunitas gereja. Wilayah Pluit, Jakarta Utara, yang memiliki sejumlah gereja yang aktif, tidak luput dari permasalahan ini. Anak-anak dalam lingkungan gereja di Pluit mungkin mengalami perasaan kebingungan, perasaan tidak aman, dan trauma akibat ketidakharmonisan dalam keluarga mereka. Alasan penulis mengangkat tema ini adalah dalam upaya membantu anak-anak mengatasi dampak psikologis dan spiritual dari perselingkuhan dalam keluarga. Pendekatan konseling pastoral yang sensitif dan holistik memegang peran penting yang bertujuan untuk mengeksplorasi bagaimana anak-anak yang menjadi korban perselingkuhan dalam keluarga di gereja-gereja Pluit, Jakarta Utara. Penelitian ini menggunakan pedekatan kualitatif studi pustaka, literatur dan studi lapangan berupa wawancara anak-anak korban perselingkuhan di gereja-gereja Pluit, Jakarta Utara.Penemuan dari penelitian ini memberikan wawasan tentang bagaimana konseling pastoral dapat berperan sebagai jembatan antara dimensi spiritual dan dukungan psikologis bagi anak-anak korban perselingkuhan keluarga. Bagi penulis ini penting karena dapat mendorong pemulihan anak-anak dan pembentukan fondasi spiritual yang kokoh di tengah tantangan kehidupan modern.

Kata Kunci: perselingkuhan; anak-anak; konseling; korban; gereja
FACADE SURVEYING USING TRADITIONAL ANGULARLINEAR MEASUREMENTS AND 2D SOFTWARE
Authors:   Konstantin Preslavsky University of Shumen, Faculty of Technical Sciences, Bulgaria, Ivanov Ivan
Published: November 2023

To solve complex urban planning and architectural-artistic tasks related to the determination of the spatial location of the existing external elements of the building, in practice it is often necessary to carry out geodetic surveying of building facades. Photographing facades is used in reconstructions of buildings or restorations of cultural monuments, preservation of cultural heritage, photographing archaeological sites, carrying out various types of research activities and analyses, designing suspended facades, cladding and joinery, preparing a working layout plan etc.
HYDROGRAPHIE ACOUSTIC SYSTEMS - MEASUREMENT PRINCIPLES
Authors:   Konstantin Preslavsky University of Shumen, Faculty of Technical Sciences, Bulgaria, Stoykov Evgeni
Published: November 2023

Hydrography is an applied science that deals with the study of the bottom and shores of the world ocean (all oceans and seas), lakes, rivers and dams, i.e. all natural and artificial water bodies. Hydrographic research is the study of individual areas of the hydrosphere, including the design, implementation of hydrographic works, processing and analysis of the collected data.
ANCIENT METALLURGY IN THE BULGARIAN LANDS
Authors:   Konstantin Preslavsky University of Shumen, Faculty of Technical Sciences, Bulgaria, Doncheva Stella
Published: November 2023

Ancient metallurgy is a broad concept and is associated both with mining and metalworking, and in many cases is evidence of their existence. Data on metalworking are indirect evidence of the development of mining. Metal implements, weapons, and ornaments were the most mobile material, and metal and its articles were one of the main objects of ancient barter. The development of metallurgy became one of the main drivers of economic life during different historical eras, and the territory of Bulgaria is no exception, but on the contrary, it is one of the places where this activity originated and developed for centuries.
USING MODIFIED SNIFFER SCRIPTS, IMPLEMENTING LINEAR ALGORITHMS FOR DETECTION OF NETWORK PORT SCAN ATTACKS IN LINUX BASED OPERATING SYSTEMS
Authors:   Konstantin Preslavsky University of Shumen, Faculty of Technical Sciences, Bulgaria, Boyanov Petar
Published: November 2023

In this scientific paper modified sniffer scripts, implementing linear algorithms for detection of network port scan attacks in Linux based operating systems are presented.