Hasil untuk "Practical Theology"

Martin Bergman

Ruyu Yang, Xiaoming Sun, Hongyi Zhou

Shadow estimation provides an efficient framework for estimating observable expectation values using randomized measurements. While originally developed for discrete-variable systems, its recent extensions to continuous-variable (CV) quantum systems face practical limitations due to idealized assumptions of continuous phase modulation and infinite measurement resolution. In this work, we develop a practical shadow estimation protocol for CV systems using discretized homodyne detection with a finite number of phase settings and quadrature bins. We construct an unbiased estimator for the quantum state and establish both sufficient conditions and necessary conditions for informational completeness within a truncated Fock space up to $n_{\mathrm{max}}$ photons. We further provide a comprehensive variance analysis, showing that the shadow norm scales as $\mathcal{O}(n_{\mathrm{max}}^4)$, improving upon previous $\mathcal{O}(n_{\mathrm{max}}^{13/3})$ bounds. Our work bridges the gap between theoretical shadow estimation and experimental implementations, enabling robust and scalable quantum state characterization in realistic CV systems.

Ismaila Salihou Adamou, Elsa Dupraz, Reza Asvadi et al.

This paper addresses the design of practical shortlength coding schemes for Distributed Hypothesis Testing (DHT). While most prior work on DHT has focused on informationtheoretic analyses, deriving bounds on Type-II error exponents via achievability schemes based on quantization and quantizebinning, the practical implementation of DHT coding schemes has remained largely unexplored. Moreover, existing practical coding solutions for quantization and quantize-binning approaches were developed for source reconstruction tasks considering very long code length, and they are not directly applicable to DHT. In this context, this paper introduces efficient shortlength implementations of quantization and quantize-binning schemes for DHT, constructed from short binary linear block codes. Numerical results show the efficiency of the proposed coding schemes compared to uncoded cases and to existing schemes initially developed for data reconstruction. In addition to practical code design, the paper derives exact analytical expressions for the Type-I and Type-II error probabilities associated with each proposed scheme. The provided analytical expressions are shown to predict accurately the practical performance measured from Monte-Carlo simulations of the proposed schemes. These theoretical results are novel and offer a useful framework for optimizing and comparing practical DHT schemes across a wide range of source and code parameters.

Karman Karman, Rosihon Anwar, Lukman Hakim

The research investigates the intersection of Qur'anic learning, eco-theology, and environmental transformation at the Biharul Ulum Agroecology pesantren (BUAP) in Bogor. Recognizing that environmental issues stem largely from human behavior, the study explores how perspectives derived from the holy book influence individuals. Employing moral theory and liberation theology, the research adopts a qualitative and ethnographic approach to reveal the impact of theology-based Al-Quran learning on environmental practices at pesantren. The findings illustrate that eco-theology-based learning has sparked a notable environmental transformation, shielding the community from ecological crises. This transformation unfolds through a multifaceted process: communal dialogues addressing local challenges, rigorous study of the Quran under the guidance of kyai (Islamic scholars), and subsequent environmental conservation initiatives spearheaded by pesantren. The amalgamation of religious teachings with practical actions has not only mitigated environmental crises but has also alleviated social challenges. BUAP serves as a catalyst for positive change and demonstrates the potential of Qur'anic learning to inspire environmentally conscious behavior. This research contributes to understanding the role of Islamic education in fostering eco-conscious attitudes and offers insights into the synergy between religious teachings and environmental stewardship for the betterment of society.

Dingmin Wang, Przemysław A. Wałęga, Pan Hu et al.

DatalogMTL is an extension of Datalog with metric temporal operators that has found an increasing number of applications in recent years. Reasoning in DatalogMTL is, however, of high computational complexity, which makes reasoning in modern data-intensive applications challenging. In this paper we present a practical reasoning algorithm for the full DatalogMTL language, which we have implemented in a system called MeTeoR. Our approach effectively combines an optimised (but generally non-terminating) materialisation (a.k.a. forward chaining) procedure, which provides scalable behaviour, with an automata-based component that guarantees termination and completeness. To ensure favourable scalability of the materialisation component, we propose a novel seminaïve materialisation procedure for DatalogMTL enjoying the non-repetition property, which ensures that each specific rule application will be considered at most once throughout the entire execution of the algorithm. Moreover, our materialisation procedure is enhanced with additional optimisations which further reduce the number of redundant computations performed during materialisation by disregarding rules as soon as it is certain that they cannot derive new facts in subsequent materialisation steps. Our extensive evaluation supports the practicality of our approach.

Christian Bluethgen, Dave Van Veen, Cyril Zakka et al.

At the heart of radiological practice is the challenge of integrating complex imaging data with clinical information to produce actionable insights. Nuanced application of language is key for various activities, including managing requests, describing and interpreting imaging findings in the context of clinical data, and concisely documenting and communicating the outcomes. The emergence of large language models (LLMs) offers an opportunity to improve the management and interpretation of the vast data in radiology. Despite being primarily general-purpose, these advanced computational models demonstrate impressive capabilities in specialized language-related tasks, even without specific training. Unlocking the potential of LLMs for radiology requires basic understanding of their foundations and a strategic approach to navigate their idiosyncrasies. This review, drawing from practical radiology and machine learning expertise and recent literature, provides readers insight into the potential of LLMs in radiology. It examines best practices that have so far stood the test of time in the rapidly evolving landscape of LLMs. This includes practical advice for optimizing LLM characteristics for radiology practices along with limitations, effective prompting, and fine-tuning strategies.

Yanbing Xue, Bo Liu, Weizhi Du et al.

In this paper, we study multiple problems from sponsored product optimization in ad system, including position-based de-biasing, click-conversion multi-task learning, and calibration on predicted click-through-rate (pCTR). We propose a practical machine learning framework that provides the solutions to such problems without structural change to existing machine learning models, thus can be combined with most machine learning models including shallow models (e.g. gradient boosting decision trees, support vector machines). In this paper, we first propose data and feature engineering techniques to handle the aforementioned problems in ad system; after that, we evaluate the benefit of our practical framework on real-world data sets from our traffic logs from online shopping site. We show that our proposed practical framework with data and feature engineering can also handle the perennial problems in ad systems and bring increments to multiple evaluation metrics.

Amir Said

This introduction to arithmetic coding is divided in two parts. The first explains how and why arithmetic coding works. We start presenting it in very general terms, so that its simplicity is not lost under layers of implementation details. Next, we show some of its basic properties, which are later used in the computational techniques required for a practical implementation. In the second part, we cover the practical implementation aspects, including arithmetic operations with low precision, the subdivision of coding and modeling, and the realization of adaptive encoders. We also analyze the arithmetic coding computational complexity, and techniques to reduce it.

Yifei Xu, Yuning Chen, Xumiao Zhang et al.

Among the thriving ecosystem of cloud computing and the proliferation of Large Language Model (LLM)-based code generation tools, there is a lack of benchmarking for code generation in cloud-native applications. In response to this need, we present CloudEval-YAML, a practical benchmark for cloud configuration generation. CloudEval-YAML tackles the diversity challenge by focusing on YAML, the de facto standard of numerous cloud-native tools. We develop the CloudEval-YAML benchmark with practicality in mind: the dataset consists of hand-written problems with unit tests targeting practical scenarios. We further enhanced the dataset to meet practical needs by rephrasing questions in a concise, abbreviated, and bilingual manner. The dataset consists of 1011 problems that take more than 1200 human hours to complete. To improve practicality during evaluation, we build a scalable evaluation platform for CloudEval-YAML that achieves a 20 times speedup over a single machine. To the best of our knowledge, the CloudEval-YAML dataset is the first hand-written dataset targeting cloud-native applications. We present an in-depth evaluation of 12 LLMs, leading to a deeper understanding of the problems and LLMs, as well as effective methods to improve task performance and reduce cost.

Zhicheng Wang

The eco-environmental problems have become a hot topic of global concern today. Many scholars seek intellectual resources from traditional cultures to solve these problems. This article tries to extract the rich ecological thoughts from the text of Laozi. According to Laozi, Tao is ‘the mother of all beneath Heaven’, that is, the whole universe, including man and nature, evolve from Tao. This indicates the primary harmony of man and nature. However, man mistakenly regards himself as the lord of nature, and uses his force and methods of science and technology to enslave nature, causing the current ecological crisis. The way to resolve the crisis is pointed out in the following statement: ‘Man should imitate Earth, Earth should imitate Heaven, Heaven should imitate Tao, and Tao is being what it is’. Laozi advocates man to imitate nature, leading a life of ‘having no self’, ‘wu wei’ or ‘desiring no-desire’. This is the Tao-centred way of living, which brings about a transformation in human existence. Contribution: This article argues that the current ecological crisis is caused by mankind’s mistaken belief that they are the masters of nature. The philosophical ideas of Laozi provide a way to resolve the crisis, advocating that humans should imitate nature and adopt a Tao-centred way of living. This way of living brings about a transformation in human existence. The article provides a philosophical perspective on how to solve contemporary environmental problems.

Randall Pruim, Maria-Cristiana Gîrjău, Nicholas J. Horton

Many data science students and practitioners don't see the value in making time to learn and adopt good coding practices as long as the code "works". However, code standards are an important part of modern data science practice, and they play an essential role in the development of data acumen. Good coding practices lead to more reliable code and save more time than they cost, making them important even for beginners. We believe that principled coding is vital for quality data science practice. To effectively instill these practices within academic programs, instructors and programs need to begin establishing these practices early, to reinforce them often, and to hold themselves to a higher standard while guiding students. We describe key aspects of good coding practices for data science, illustrating with examples in R and in Python, though similar standards are applicable to other software environments. Practical coding guidelines are organized into a top ten list.

Ruslan Ruslan, Muhammad A. Burga, Muli U. Noer

Indonesia has the biggest Muslim population globally, and one of the Islamic beliefs among people of this nation is tarekat, which is sometimes considered as a heretic. Therefore, this article aims to analyse the meaning of diction tarekat according to the Qur’an and its implications for the Buginese community, one of the oldest ethnicities in Indonesia. This is a conceptual and empirical research with the purposive sampling method used to determine the informants from several tarekat leaders and congregations. Data were collected through documentation, observation and interviews and analysed using Miles and Huberman’s qualitative analysis technique. This process consists of data reduction, display and drawing conclusions. The study results showed that, firstly, the word tarekat in the Qur’an indicates the meaning of inner journey and the methods and ways of thinking, acting and behaving. Secondly, to the Buginese community, it implies a spiritual path to a higher level of appreciation towards their God. Thirdly, the meaning of the diction tarekat in the Qur’an has implications for its understanding, which can be seen in the practice of dhikr, spiritual behaviour and the way of life of those implementing these heretics. Contribution: This article enriched the religious belief among Muslims, which scholars rarely uncover. Adherents of Islam in Indonesia have a social and political responsibility regarding religious tolerance within and outside other religions. This proves that Muslims contribute to world peace in Middle-East and South-Eastern Asia.

Johan Buitendag

I approach this venture of figuring out the correct terminology to understand reality through the prism of two distinctive Russian Orthodox theologians, Pavel Florensky (1882–1937) and Sergius Bulgakov (1871–1944). The lens I apply mainly to their works is their respective understanding of cosmology, that is, ontology and epistemology. Therefore, I concur with Grenz to abandon the term ‘onto-theology’ and qualify the inverse as a Trinitarian theo-ontology. This honours the intimate connection between knowing and being, and prevents the bifurcation between fidelity and rationality. Mutatis mutandis, the same applies to ‘eco-theology’. This inversion reminds one of Hans-Urs von Balthasar, who bartered the concept of an aesthetic theology for theological aesthetics. Turning this question around would advance our dialogue with the sciences as the common denominator of the discourse is rather nature (creation) discerned from an acknowledged a priori (as all cognition do). In other words, the term theo-ecology is proposed. Intradisciplinary and/or interdisciplinary implications: The purpose study is not ecological but rather an asyndetic use of the terminology about the science and religion dialogue, with reference to the nomenclature of ecology and theology. All observation terms and sentences are theory-laden. Religion can be viewed as a linguistic framework that shapes the entirety of life and thought. Truth claims should focus on the grammar (or rules of the game) and not the lexicon when expressive symbolism is employed.

Morgan Braganza, Jacob Oliveira

As in other parts of the world, Canada’s citizens are confronted with biological, mental, and social crises. Despite the fact that these issues can be interrelated, they are regularly studied and addressed separately. The bio-psycho-social (BPS) framework was offered as an alternative approach for care because of its assumption that in order to produce a variety of interconnected outcomes relative to health and well-being, biological, mental, and social issues must all be considered. Some authors have argued, however, that without a spiritual component, the BPS framework is not holistic. As such, recent scholarship has explored the inclusion of a spiritual component in the framework, and social service professionals have been encouraged to consider designing interventions informed by the bio-psycho-social-spiritual (BPS-S) framework. Good examples of how to apply the framework in practice are limited. This case example describes how the BPS-S framework was applied to design a community-, sports-, and faith-based martial arts program in Ontario, Canada. The program draws upon a combination of sports-, community-, and Christian faith-based considerations to serve its participants, including vulnerable populations such as those with constrained access to social services due to mental health challenges, language barriers, or low levels of income. This article details some of the ways in which the operations of this program (e.g., activities, target audience, leadership) were informed by the BPS-S framework. This includes some of the advantages of drawing upon this framework to foster more nuanced and holistic well-being among participants. The article concludes with some limitations of the BPS-S framework and implications for applying it to other social service interventions.

Wanning Yang, Hongyu Li, Ming Li et al.

Intelligent reflecting surface (IRS), composed of a large number of hardware-efficient passive elements, is deemed as a potential technique for future wireless communications since it can adaptively enhance the propagation environment. In order to effectively utilize IRS to achieve promising beamforming gains, the problem of channel state information (CSI) acquisition needs to be carefully considered. However, most recent works assume to employ an ideal IRS, i.e., each reflecting element has constant amplitude, variable phase shifts, as well as the same response for the signals with different frequencies, which will cause severe estimation error due to the mismatch between the ideal IRS and the practical one. In this paper, we study channel estimation in practical IRS-aided orthogonal frequency division multiplexing (OFDM) systems with discrete phase shifts. Different from the prior works which assume that IRS has an ideal reflection model, we perform channel estimation by considering amplitude-phase shift-frequency relationship for the response of practical IRS. Aiming at minimizing normalized-mean-square-error (NMSE) of the estimated channel, a novel IRS time-varying reflection pattern is designed by leveraging the alternating optimization (AO) algorithm for the case of using low-resolution phase shifters. Moreover, for the high-resolution IRS cases, we provide another practical reflection pattern scheme to further reduce the complexity. Simulation results demonstrate the necessity of considering practical IRS model for channel estimation and the effectiveness of our proposed channel estimation methods.

Helmut Jan Sobeczko

The problem of method (methods) in theology is connected to the understanding of theology as a science as well as to the understanding of its identity. In theology understood as a science there is no single scientific method, because there are many theological disciplines and each of them uses its own methods. Therefore, we speak in fact of the pluralism of the theological methods. In this paper the Author limited the analysis of the methodological issues of theological studies to showing the basic methodological elements: first, to those which are common to all theological disciplines and second, he presented one of the most important hermeneutic methods, i.e. the linguistic one, which is a method of analysing texts, used mainly in biblical, liturgical and patristic sciences. In the last part of the paper he refers to some of the newest works concerning the methods used in different theological disciplines.

Mark Pretorius

Before one can adequately deal with a biblical and neurobiological examination of spiritual experiences, one would need to define what they are. Here, one could offer that a spiritual experience could be an encounter with something or someone that is other than a material experience. It is a supernatural experience that transcends the natural, yet impacts the natural, by affecting our mental and physical senses and how we practise our spirituality. It is an experience that leaves us with a new and perhaps intense sense of otherness. One could further propose that as spiritual experiences are by nature ‘experiences’, they are inherently subjective, and can therefore be classified as personal encounters. In other words, we have unique spiritual experiences in our encounters with God. This article offers several such examples and shows the significance of looking inwardly to answer the important question of why we are (or not) transforming spiritually and mentally. Contribution: The article’s challenge is to not only show that science and theology are not in conflict, but also how the intersection and emerging field of neurobiology (natural science) and theology can help better understand how spiritual experiences manifest, and that naturally we are seemingly wired for these experiences.

Juan Alberto Casas Ramírez

El presente artículo indaga acerca del desarrollo sistemático y bíblico de la noción de conversión para confluir en el análisis del tratamiento teológico particular efectuado en el evangelio de Marcos. Se hallará que la conversión en este evangelio, aunque anunciada, no es narrada explícitamente como acción realizada durante el ministerio público de Jesús, pero sí es prefigurada como eventualidad a partir del encuentro con el crucificado-resucitado; tal encuentro, por producir una transformación integral en la persona por medio de la gracia, constituye una condición sine qua non de un auténtico seguimiento de Cristo, que coincide con la noción lonerganiana de conversión religiosa.

Annelien C. Rabie-Boshoff, Johan Buitendag

The basic challenge that readers of the New Testament face is not only about what Jesus Christ teaches but who he is. Functional Christology has developed at the expense of ontological Christology. This challenge centres on Jesus Christ’s relevance, in terms of his identity, not only for Christians in particular but also for creation as a whole. The question ‘who is Jesus Christ in relation to creation?’ is thus of special interest to this study. Various authors such as Gunton, Gregersen, Peacocke and others have approached this question from different perspectives. The PhD study by Rabie-Boshoff was completed to shed light into the context of dialogue between Christian theology and the science of linguistics in an effort to understand the Genesis 1 creation story. This article refers to part of the study in an effort to make sense of who Jesus Christ is in relation to creation. This provides consolation in a time of worldwide lockdown because of the Coronavirus Disease 2019 (COVID-19) virus. The human struggle of making sense of the world is brought into sharp focus in times like these, more so in terms of making sense of their creatureliness and mortality. Although science as a valid knowledge base may provide some answers to this human dilemma, Christians in particular appeal to the Bible and their belief in Jesus Christ. This turn to Jesus, and who he is, provides human beings with enduring and satisfying answers to their suffering and pain. Contribution: This article is an attempt to contribute to the ongoing discussion on creation in terms of how human beings make sense of creation, considering who Jesus Christ is in relation to creation. Human beings have always been engaged in a process of making sense of the world they live in. Ancient cultures provide such a window, allowing a glimpse into how those cultures perceived their world.

Matias D. Cattaneo, Nicolas Idrobo, Rocio Titiunik

In this Element and its accompanying Element, Matias D. Cattaneo, Nicolas Idrobo, and Rocio Titiunik provide an accessible and practical guide for the analysis and interpretation of Regression Discontinuity (RD) designs that encourages the use of a common set of practices and facilitates the accumulation of RD-based empirical evidence. In this Element, the authors discuss the foundations of the canonical Sharp RD design, which has the following features: (i) the score is continuously distributed and has only one dimension, (ii) there is only one cutoff, and (iii) compliance with the treatment assignment is perfect. In the accompanying Element, the authors discuss practical and conceptual extensions to the basic RD setup.