bluuebunny/crossref_metadata_2025 huggingface dataset:
A Resolution Calculus with Shared Literals
Authors: Peltier Nicolas
Published: December 2024

We present a resolution calculus for first-order logic using a more concise formalism for representing sets of clauses. The idea is to represent the clause set at hand as a Directed Acyclic Graph, which allows one to share common literals instead of duplicating them, thus yielding a much more compact representation of the search space. We define inference rules operating on this language and we prove their soundness and refutational completeness. We also design simplification rules for pruning the search space. Finally we compare our technique with the usual resolution calculus and we prove (using the pigeonhole example) that our method can reduce the length of the proof by an exponential factor (in propositional logic).
Algorithms for Context Based Sequential Pattern Mining
Authors: Ziembiński Radosław
Published: December 2024

This paper describes practical aspects of a novel approach to the sequential pattern mining named Context Based Sequential Pattern Mining (CBSPM). It introduces a novel ContextMapping algorithm used for the context pattern mining and an illustrative example showing some advantages of the proposed method. The approach presented here takes into consideration some shortcomings of the classic problem of the sequential pattern mining. The significant advantage of the classic sequential patterns mining is simplicity. It introduces simple element construction, built upon set of atomic items. The comparison of sequence's elements utilizes simple inclusion of sets. But many practical problems like web event mining, monitoring, tracking and rules generation often require mining more complex data. The CBSPM takes into account non nominal attributes and similarity of sequence's elements. An approach described here extends traditional problem adding a vector of context attributes of any kind to sequences and sequences elements. Context vectors contain details about sequence's and element's origin. The mining process results in context patterns containing additional, valuable context information useful in interpretation of patterns origin.
Predictive Grayscale Image Coding Scheme Using VQ and BTC
Authors: Hu Yu-Chen
Published: December 2024

A predictive image compression scheme that combines the advantages of vector quantization and moment preserving block truncation coding is introduced in this paper. To exploit the similarities among neighboring image blocks, the block prediction technique is employed in this scheme. If a similar compressed image block can be found in the neighborhood of current processing block, it is taken to encode this block. Otherwise, this image block is encoded either by vector quantization or moment preserving block truncation coding. A bit-rate reduced version of the proposed scheme is also introduced. According to the experimental results, it is shown that the proposed scheme provides better image quality at a low bitrate than these comparative schemes.
Bounded Model Checking for the Existential Fragment of TCTL_{-G} and	Diagonal Timed Automata
Authors: Woźna Bożena , Zbrzezny Andrzej
Published: December 2024

Bounded Model Checking (BMC) is one of the well known SAT based symbolic model checking techniques. It consists in searching for a counterexample of a particular length, and generating a propositional formula that is satisfiable iff such a counterexample exists. The BMC method is feasible for the various classes of temporal logic; in particular it is feasible for TECTL (the existential fragment of Time Computation Tree Logic) and Diagonal-free Timed Automata. The main contribution of the paper is to show that the concept of Bounded Model Checking can be extended to deal with TECTL _{-G} properties of Diagonal Timed Automata. We have implemented our new BMC algorithm, and we present preliminary experimental results, which demonstrate the efficiency of the method.
A Data Mining Formalization to Improve Hypergraph Minimal	Transversal Computation
Authors: Hébert Céline , Bretto Alain , Crémilleux Bruno
Published: December 2024

Finding hypergraph transversals is a major algorithmic issue which was shown having many connections with the data mining area. In this paper, by defining a new Galois connection, we show that this problem is closely related to the mining of the so-called condensed representations of frequent patterns. This data mining formalization enables us to benefit from efficient algorithms dedicated to the extraction of condensed representations. More precisely, we demonstrate how it is possible to use the levelwise framework to improve the hypergraphminimal transversal computation by exploiting an anti-monotone constraint to safely prune the search space. We propose a new algorithm MTMINER to extract minimal transversals and provide experiments showing that our method is efficient in practice.
Erratum for "Shuffle of Words and Araucaria Trees"
Authors: Schott René , Spehner Jean-Claude
Published: December 2024

The starting definitions of araucarias given in [1] contain some mistakes. We give here new definitions which replace Definitions 2.2, 2.3 and 2.4, Theorem 2.1 and Corollary 2.1.

The rest of the paper is based on the characterization of araucarias given in Theorem 1.1 and remains true with these corrections.
Editing Configurations of P Systems
Authors: Csuhaj-Varjú Erzsébet , Nola Antonio Di , Păun Gheorghe , Pérez-Jiménez Mario J. , Vaszil György
Published: December 2024

This paper proposes and investigates the possibility of transforming a configuration of a P system (the membrane structure and the multisets of symbol-objects present in the compartments) into another configuration by means of a given set of rules to be applied to the membranes and to the multisets of objects. Although this transformation is obtained during the computation in a P system, we consider it as a goal per se, as a pre-computation phase, when the system itself is built. In this framework, several important problems appear: the edit-distance between configurations (with respect to a given set of editing rules), normal forms, the reachability of configurations, or the existence of single configurations from which a given family of configurations can be constructed, only to mention a few. We investigate here some of these questions; the paper is mainly devoted to formulating problems in the new framework, to calling attention to the possible extensions and the usefulness of the present approach.
Some Varieties of Finite Tree Automata Related to Restricted	Temporal Logics
Authors: Ésik Zoltán , Iván Szabolcs
Published: December 2024

We provide structural descriptions of certain varieties of finite tree automata closed under a version of the cascade product, called the Moore product. As a byproduct, we obtain decidable characterizations of the expressive power of certain fragments of CTL on finite trees.
First-Order Ground Non-Monotonic Modal Logic
Authors: Grimberg Benjamin , Kaminski Michael
Published: December 2024

We study the extension of propositional ground non-monotonic modal logic to the firstorder case. We show that first-order ground non-monotonic modal logic well complies with first-order default logic by interpreting the latter in the former by the Truszczyński like translation and present a minimal model semantics of first-order ground non-monotonicmodal logic.
Generalizations of Pixel-Value Differencing Steganography for Data	Hiding in Images
Authors: Liu Jen-Chang , Shih Ming-Hong
Published: December 2024

Generalizations of the pixel-value differencing (PVD) method for data hiding in graylevel images are proposed. Two extensions of the PVD method are analyzed: the block-based approach and the Haar-based approach. For the block-based PVD, the cover image is divided into non-overlapping horizontal or square blocks of n pixels. In each block, n − 1 differences are calculated between consecutive pixels. These differences are classified to embed the secret message. For the Haar-based PVD, the 2-D integer Haar wavelet is applied to decomposed the cover image. The high-frequency components are used to hide message. Higher level of Haar decomposition allows more bits to be embedded. For both proposed generalizations, the capacity of the embeddedmessage is significantly increased. Moreover, both generalizations are invulnerable to the RS-diagram and histogram steganalysis.
A New Architecture for Learning Classifier Systems to Solve POMDP	Problems
Authors: Hamzeh Ali , Rahmani Adel
Published: December 2024

Reinforcement Learning is a learning paradigm that helps the agent to learn to act optimally in an unknown environment through trial and error. An RL-based agent senses its environmental state, proposes an action, and applies it to the environment. Then a reinforcement signal, called the reward, is sent back from the environment to the agent. The agent is expected to learn how to maximize overall environmental reward through its internal mechanisms. One of the most challenging issues in the RL area arises as a result of the sensory ability of the agent, when it is not able to sense its current environmental state completely. These environments are called partially observable environments. In these environments, the agent may fail to distinguish the actual environmental state and so may fail to propose the optimal action in particular environmental states. So an extended mechanism must be added to the architecture of the agent to enable it to perform optimally in these environments. On the other hand, one of the most-used approaches to reinforcement learning is the evolutionary learning approach and one of the most-used techniques in this family is learning classifier systems. Learning classifier systems try to evolve state-action-reward mappings to model their current environment through trial and error. In this paper we propose a new architecture for learning classifier systems that is able to perform optimally in partially observable environments. This new architecture uses a novel method to detect aliased states in the environment and disambiguates them through multiple instances of classifier systems that interact with the environment in parallel. This model is applied to some well-known benchmark problems and is compared with some of the best classifier systems proposed for these environments. Our results and detailed discussion show that our approach is one of the best techniques among other learning classifier systems in partially observable environments.
A Novel Cryptographic Key Assignment Scheme with ID-Based Access	Control in a Hierachy
Authors: Huang Hui-Feng , Chang Chin-Chen
Published: December 2024

The hierarchical cryptographic key assignment is used to assign cryptographic keys to a set of partially ordered classes so that the user in a higher class can derive the cryptographic key for users in a lower class. However, the existing secure schemes for the cryptographic key assignment in a hierarchy do not consider the situation where a user may be employed for only a period of time. If a user resigned from his position and he premeditatedly eavesdrops on data transmissions, then he can also decrypt some data to obtain useful messages. Thus, all messages are likely to be compromised throughout the system. In this paper, we propose a new cryptographic key assignment scheme in which the cryptographic keys are generated from the identity number of users. Our aim is to minimize the potential damage over a public network. Therefore, as a user who has resigned from his class premeditatedly eavesdrops on later messages, he cannot decrypt the message with his old keys. Moreover, in the proposed method, the key generation and key derivation are quite simple, and the number of the public/secret parameters for each authenticated user is fixed which differs from most previously proposed schemes.
A Multi-facet Approach to Dynamic Agent Systems
Authors: Bednarczyk Marek A. , Pawłowski Wiesław , Bernardinello Luca , Pomello Lucia , Borzyszkowski Tomasz
Published: December 2024

We are concerned with the problem of defining a complex, hybrid, agent based discrete system in a modular way. Themodularity results from looking at the system from a number of different perspectives, each dealing with a specific aspect of the system. As a solution a synchronization operator is proposed which glues agent aware systems on shared agents and transitions. The construction turns out to be a categorical product. We also show that a logic to talk about the temporal and the structural properties of the product can be obtained by gluing suitable logical frameworks from the components.
Feature Selection Algorithm for Multiple Classifier Systems: A	Hybrid Approach
Authors: Delimata Pawel , Suraj Zbigniew
Published: December 2024

Many problems in pattern classification and knowledge discovery require a selection of a subset of attributes or features to represent the patterns to be classified. The approach presented in this paper is designed mostly for multiple classifier systems with homogeneous (identical) classifiers. Such systems require many different subsets of the data set. The problem of finding the best subsets of a given feature set is of exponential complexity. The main aim of this paper is to present ways to improve RBFS algorithm which is a feature selection algorithm. RBFS algorithm is computationally quite complex because it uses all decision-relative reducts of a given decision table. In order to increase its speed, we propose a new algorithm called ARS algorithm. The task of this algorithm is to decrease the number of the decision-relative reducts for a decision table. Experiments have shown that ARS has greatly improved the execution time of the RBFS algorithm. A small loss on the classification accuracy of the multiple classifier used on the subset created by this algorithm has also been observed. To improve classification accuracy the simplified version of the bagging algorithm has been applied. Algorithms have been tested on some benchmarks.
Security in a Model for Long–running Transactions
Authors: Gruska Damas P. , Maggiolo–Schettini Andrea , Milazzo Paolo
Published: December 2024

Communicating Hierarchical Transaction-based Timed Automata have been introduced to model systems performing long–running transactions. Here, for these automata a security concept is introduced, which is based on a notion of opacity and on the assumption that an attacker can not only observe public system activities, but also cause abortion of some of them. Different intruder capabilities as well as different kinds of opacity are defined and the resulting security properties are investigated. Security of long–running transactions is defined by the mentioned notion of opacity and conditions for compositionality are established.
Projection Representation of Mazurkiewicz Traces
Authors: Mikulski Łukasz
Published: December 2024

The behavior of infinite traces is an interesting field for studies. Infinite traces can be described using projections to word monoids. Such projection representations can be generalized to projection sets. To complete simple descriptions, the binary operation from projection sets to traces has been defined. After such preparations some properties of infinite traces are discussed.
Improving the Translation from ECTL to SAT
Authors: Zbrzezny Andrzej
Published: December 2024

The objective of this paper is to offer an improvement to the translation from ECTL to SAT introduced in [14] and show that the improvement proposed substantially increases the efficiency of verifying temporal properties using the Bounded Model Checking method. We have implemented our new translation and made preliminary experimental results, which demonstrate the efficiency of the method.
Greedy Algorithm for Attribute Reduction
Authors: Zielosko Beata , Piliszczuk Marcin
Published: December 2024

In the paper the accuracy of greedy algorithmfor construction of partial tests (superreducts) and partial decision rules is considered. Results of experiments with greedy algorithm are described.
Genetic Algorithms as an Alternative Method of Parameter	Estimation and Finding Most Likely Sequences of States of Hidden Markov Chains	for HMMs and Hybrid HMM/ANN Models
Authors: Bijak Katarzyna
Published: December 2024

In this paper genetic algorithms are used in estimation and decoding processes of a Hidden Markov Model (HMM) and a hybrid HMM/ANN model with conditional binomial distributions. The hybrid model combines a hidden Markov chain with a perceptron which is assumed to constitute a match network. Genetic algorithms are applied here instead of the traditional methods such as the EM algorithm and the Viterbi algorithm. The paper demonstrates performance of an HMM and a hybrid model in modeling the annual number of months, in which some seismic events are recorded. Parameters of the discrete-time two-state models are estimated using the maximum likelihood method, on the basis of data on seismic events that were recorded in Romania in years 1901¨C1990. Then, on the basis of the estimation results, the most likely sequences of states of the hidden Markov chains are found.
Approximating Arbitrary Reinforcement Signal by Learning	Classifier Systems using Micro Genetic Algorithm
Authors: Hamzeh Ali , Rahmani Adel
Published: December 2024

Learning Classifier Systems are Evolutionary Learning mechanisms which combine Genetic Algorithm and the Reinforcement Learning paradigm. Learning Classifier Systems try to evolve state-action-reward mappings to propose the best action for each environmental state to maximize the achieved reward. In the first versions of learning classifier systems, state-action pairs can only be mapped to a constant real-valued reward. So to model a fairly complex environment, LCSs had to develop redundant state-action pairs which had to be mapped to different reward values. But an extension to a well-known LCS, called Accuracy Based Learning Classifier System or XCS, was recently developed which was able to map state-action pairs to a linear reward function. This new extension, called XCSF, can develop a more compact population than the original XCS. But some further researches have shown that this new extension is not able to develop proper mappings when the input parameters are from certain intervals. As a solution to this issue, in our previous works, we proposed a novel solution inspired by the idea of using evolutionary approach to approximate the reward landscape. The first results seem promising, but our approach, called XCSFG, converged to the goal very slowly. In this paper, we propose a new extension to XCSFG which employs micro-GA which its needed population is extremely smaller than simple GA. So we expect micro-GA to help XCSFG to converge faster. Reported results show that this new extension can be assumed as an alternative approach in XCSF family with respect to its convergence speed, approximation accuracy and population compactness.
On Characterization of Attractor Basins of Fuzzy Multiple	Attractor Cellular Automata
Authors: Maji Pradipta
Published: December 2024

Two new operators, namely, dependency vector (DV) and derived complement vector (DCV) are introduced in this paper to characterize the attractor basins of the additive fuzzy cellular automata (FCA) based associative memory, termed as fuzzy multiple attractor cellular automata (FMACA). The introduction of DV and DCV makes the complexity of the attractor basin identification algorithm linear in time. The characterization of the FMACA using DV and DCV establishes the fact that the FMACA provides both equal and unequal size of attractor basins. Finally, a set of algorithms is proposed to synthesize the FCA rules, attractors, and predecessors of attractors from the given DV and DCV in linear time complexity.
Tree-based Construction of Low-cost Action Rules
Authors: Tzacheva Angelina A. , Tsay Li-Shiang
Published: December 2024

A rule is actionable, if a user can do an action to his/her advantage based on that rule. Actionability can be expressed in terms of attributes that are present in a database. Action rules are constructed from certain pairs of classification rules, previously extracted from the same database, each defining a preferable decision class. It is assumed that attributes are divided into two groups: stable and flexible. Flexible attributes provide a tool for making hints to a user to what changes within some values of flexible attributes are needed to re-classify a group of objects, supporting the action rule, from one decision class to another, more desirable, one. Changes of values of some flexible attributes can be more expensive than changes of other values. To investigate such cases, the notion of a cost is introduced and it is assigned by an expert to each such a change.

Action rules construction involves both flexible and stable attributes listed in certain pairs of classification rules. The values of stable attributes are used to create action forest.

We propose a new strategy which combines the action forest algorithm of extracting action rules and a heuristic strategy for generating reclassification rules of the lowest cost. This new strategy presents an enhancement to both methods.
Bag Context Tree Grammars
Authors: Drewes Frank , du Toit Christine , Ewert Sigrid , van der Merwe Brink , van der Walt Andries
Published: December 2024

We introduce bag context as a device for regulated rewriting in tree grammars. Bag context represents information that is not part of a developing tree, but instead evolves separately during a derivation. We present several results. First, we give some normal forms and equivalent formulations for bag context tree grammars. Then we compare bag context tree grammars to their random context counterparts. We show that bag context is strictly more powerful than random context; in doing so, we show that the class of bag context tree languages is the closure of the class of random context tree languages under linear top-down tree transductions. Finally, we consider the structural limitations of bag context tree grammars. We establish a necessary condition for languages generated by bag context tree grammars, and use it to present a tree language that cannot be generated by such a grammar. Moreover, we show that the class of bag context tree languages is incomparable with the class of branching synchronization tree languages.
A Development of Inclusion-degree-based Rough Fuzzy Random	Sets
Authors: Ha Minghu , Pedrycz Witold , Zhang Aiquan , Fan Yijun
Published: December 2024

Given a widespread interest in rough sets as being applied to various tasks of data analysis, it is not surprising at all that we have witnessed a wave of further generalizations and algorithmic enhancements of this original concept. In this study, we investigate an idea of rough fuzzy random sets. This construct provides us with a certain generalization of rough sets by introducing the concept of inclusion degree. The underlying objective behind this development is to address the problems which involve co-existing factors of fuzziness and randomness thus giving rise to a notion of the fuzzy random approximation space based on inclusion degree. Some essential properties of rough approximation operators of such rough fuzzy random sets are discussed. Further theoretical foundations for the formation of rules constructed on a basis of available decision tables are offered as well.
New Bit Reduction of Vector Quantization Using Block Prediction	and Relative Addressing
Authors: Hu Yu-Chen , Tsai Piyu , Lo Chun-Chi
Published: December 2024

A low bit rate image coding scheme based on vector quantization is proposed. In this scheme, the block prediction coding and the relative addressing techniques are employed to cut down the required bit rate of vector quantization. In block prediction coding, neighboring encoded blocks are taken to compress the current block if a high degree of similarity between them is existed. In the relative addressing technique, the redundancy among neighboring indices are exploited to reduce the bit rate. From the results, it is shown that the proposed scheme significantly reduces the bit rate of VQ while keeping good image quality of compressed images.
A New Probabilistic Approach for Fractal Based Image	Compression
Authors: Mitra Suman K. , Kundu Malay K. , Murthy C.A. , Bhattacharya Bhargab B. , Acharya Tinku
Published: December 2024

Approximation of an image by the attractor evolved through iterations of a set of contractive maps is usually known as fractal image compression. The set of maps is called iterated function system (IFS). Several algorithms, with different motivations, have been suggested towards the solution of this problem. But, so far, the theory of IFS with probabilities, in the context of image compression, has not been explored much. In the present article we have proposed a new technique of fractal image compression using the theory of IFS and probabilities. In our proposed algorithm, we have used a multiscaling division of the given image up to a predetermined level or up to that level at which no further division is required. At each level, the maps and the corresponding probabilities are computed using the gray value information contained in that image level and in the image level higher to that level. A fine tuning of the algorithm is still to be done. But, the most interesting part of the proposed technique is its extreme fastness in image encoding. It can be looked upon as one of the solutions to the problem of huge computational cost for obtaining fractal code of images.
Fast VQ Codebook Generation Method Using Codeword Stability Check	and Finite State Concept
Authors: Tsai Piyu , Hu Yu-Chen , Yeh Hsiu-Lien
Published: December 2024

The codebook design in the vector quantization scheme is important because it affects the image quality of the encoded image. The Linde-Buzo-Gray (LBG) codebook generation algorithm is well known and a popular choice among codebook users. However, a heavy computational complexity is consumed for the iteratively clustering process in the LBG algorithm. In this paper, the similarity of codewords in consecutive rounds of the LBG algorithm is exploited to reduce the computational complexity. By checking the stability of codewords, the status of each codeword in the codebook can be determined. Only the unstable codewords are refined to generate the new codebook. The proposed method can be further improved by cooperating with the finite state technique. Experimental results show that the computational complexity of the proposed method is reduced to about 4% of the LBG algorithm while achieving a slightly worse image quality.
Adaptive Data Embedding Scheme Based on Similar and Dissimilar	Clustering Strategies
Authors: Chang Chin-Chen , Lin Chia-Chen , Chen Yi-Hui
Published: December 2024

Embedding large amounts of secret data into a cover image with low distortion is an important research issue in steganography. The proposed scheme uses two clustering technologies - similar and dissimilar clustering - to enhance hiding capacity as provided by Du and Hsu's scheme. In general, the hiding capacity of our proposed scheme is higher than that of Du and Hsu's scheme, about 16 Kb for the same image quality. In addition, the image quality of our proposed scheme is more than provided by the schemes of either Du and Hsu's or Shie et al., about 2 dB. Moreover, the distortion for each test image in our proposed scheme is always less than those caused by Du and Hsu's and Shie et al.'s schemes. Experimental results confirm that the proposed scheme is significantly better than earlier works.
A Large Payload Data Embedding Technique for Color Images
Authors: Chou Yung-Chen , Chang Chin-Chen , Li Kuan-Ming
Published: December 2024

This paper proposes a large payload data embedding method for color images. Under the fast advancement of digital equipments, color images have become a common medium in many applications. A color image can be represented in different color systems, for instance, RGB and YUV color systems. The proposed method modifies the blue value of the color pixel in order to imply the secret data because the blue value is an insensitive color to human eyes. Furthermore, the number of secret bits that can be embedded into a cover pixel is dynamic so the proposed method tries to embed the secret data as many as possible. The proposed method can be applied to both RGB and YUV color systems. However, for anti-stegoanalysis reason, the RGB color system is suitable for the proposed high capacity data embedding method with lower image distortion. The experimental results show that the proposed method is superior to other methods we compared in terms of embedding capacity and visual quality.
Alias Types and Effects for	"Environment-aware" Computations
Authors: Damiani Ferruccio , Giachino Elena , Giannini Paola
Published: December 2024

We adapt the alias type technology to dealwith primitives supporting environment-awareness (that is, the ability to adapt the behavior of an object according to the capabilities of the environment). In particular, we propose a type and effect system for an imperative object-based calculus with a primitive for discriminating the presence or absence of the object's attributes. Both the shape of the environment which guarantees the correct execution of expressions and the effect of expression evaluation on the environment are specified via suitable aliasing constraints.
Byzantine Agreement & Fault Diagnosis Agreement in Dynamic	Ad-Hoc Environment
Authors: Cheng Chien-Fu , Wang Shu-Ching , Liang Tyne
Published: December 2024

Since wireless communication and mobile computing are becomingmore and more ubiquitous, the reliability and fault tolerance of the Mobile Ad-hoc Network (MANET) has become an important topic. In order to provide a reliable environment, a mechanism that allows a set of nodes to reach a common agreement, even in the presence of faulty nodes, is needed. Therefore, the Byzantine Agreement (BA) problem has drawn attention of more researchers. Traditionally, the BA problem was focused on wired networks. We know that the physical topology of a wired network is static, but the physical topology of an MANET is dynamic. Thus, previous BA protocols are not applicable in an MANET. In this paper, a new protocol is proposed to solve the BA problem with malicious faulty components in dynamic MANET. Furthermore, we also propose a new Fault Diagnosis Agreement (FDA) protocol to detect/locate faulty components to provide a highly reliable environment. From the performance perspective, the proposed protocols use the minimum number of message exchanges and can tolerate/detect/locate the maximum number of faulty nodes allowed in the dynamic network.
Manhajiyyah Ta’lîm Tarjamah al-Qur’ân fî Kitâb al-Ḥisân: Dirâsah Taḥlîliyyah Tarbawiyyah Wifqa Nazariyyah Mâkî
Authors: Adam Nadzirul Wuqu  , Arifa Zakiyah
Published: December 2024

Understanding the meaning of the Quran presents significant challenges for Muslims, particularly for beginners in religious studies. This study analyzes Al-Hisan textbooks, volumes 1 and 2, utilizing William Francis Mackey's framework to evaluate the effectiveness of Quran translation teaching methods. The research employs a qualitative approach, focusing on library research and direct observation to assess the content quality of the textbooks. Key findings indicate that Al-Hisan textbooks effectively meet Mackey's criteria of selection, gradation, presentation, and repetition, facilitating a structured learning process for students. The textbooks emphasize the translation of Surah Al-Baqarah, gradually introducing vocabulary and translation techniques, thereby enhancing comprehension and retention of Quranic meanings. This research contributes to the field of Quran translation teaching by providing a comprehensive analysis of Al-Hisan approach, highlighting its strengths and areas for improvement. The study suggests further exploration of practical implementations in educational settings to enhance the effectiveness of Quran translation learning among non-Arabic speakers, ultimately aiming to improve the overall understanding of the Quran within the Indonesian Muslim community.
PERAN BIMBINGAN ROHANI ISLAM DALAM MENGATASI KRISIS IDENTITAS PADA REMAJA MUSLIM DI KABUPATEN TANGERANG
Authors: Aqillah Hawwa Nasywa
Published: December 2024

Penelitian ini dilatarbelakangi oleh krisis identitas yang dialami remaja muslim akibat pertentangan antara nilai-nilai agama Islam dengan tuntutan budaya sekuler. Remaja muslim terjebak antara ekspektasi keluarga untuk menjunjung tinggi agama dan tekanan untuk beradaptasi dengan budaya modern yang seringkali bertentangan dengan keyakinan mereka. Konflik ini menyebabkan krisis identitas, dimana remaja merasa terisolasi dan berjuang untuk menemukan tempat mereka dalam masyarakat yang terus berkembang.. Penelitian ini bertujuan untuk mendapatkan pemahaman lebih dalam tentang bagaimana bimbingan rohani Islam dapat berkontribusi terhadap pembentukan identitas remaja muslim yang positif. Terlebih dahulu, Konselor perlu mengidentifikasi faktor-faktor penyebab krisis identitas dari sudut pandang agama dan sosial agar dapat menemukan strategi konseling yang efektif. Metode penelitian yang digunakan dalam artikel ini adalah studi literatur, yaitu mengumpulkan dan menganalisis data dari berbagai sumber kepustakaan yang berkaitan dengan topik penelitian, antara lain jurnal akademik, buku, laporan penelitian, artikel online dan sumber lainnya. Penelitian ini menunjukkan bahwa bimbingan rohani Islam berperan penting dalam mengatasi krisis identitas yang dihadapi remaja muslim. Bimbingan rohani memungkinkan remaja muslim untuk memperkuat hubungan spiritual mereka dengan Allah SWT, sehingga menghasilkan landasan yang kokoh untuk mengeksplorasi dan memahami identitas keagamaan mereka, juga membantu generasi muda mengembangkan pemahaman yang lebih mendalam tentang nilai-nilai moral Islam dan penerapannya dalam kehidupan sehari-hari, yang merupakan landasan penting untuk memperkuat identitas keagamaannya. Penelitian ini menyarankan agar bimbingan rohani Islam dapat diterapkan dalam pendidikan remaja, khususnya ketika menghadapi krisis identitas. Hasil penelitian dapat menjadi landasan dalam merancang program konseling di sekolah dan pesantren serta mengintegrasikan nilai-nilai agama ke dalam kehidupan remaja sehari-hari.
Quem dá a palavra final?
Authors: Pennisi Anna Júlia Camargos
Published: December 2024

O campo jurídico brasileiro é composto por entes que disputam, constantemente, o direito de dizer o Direito. Com base no próprio mandamento constitucional do art. 102, o Supremo Tribunal Federal se coloca em uma posição de prestígio e, consequentemente, com base na ideia bourdieusiana de luta simbólica, passa a utilizar determinados subterfúgios para a manutenção de seu próprio poder. A questão que se faz é: qual o papel do Regimento Interno do Supremo Tribunal Federal nesta disputa? O presente artigo visa apresentar breves notas acerca da luta simbólica no campo jurídico, a contextualização do Regimento Interno do Supremo Tribunal Federal e cotejar quais são os artigos que traduzem a tentativa de manutenção do monopólio do direito de dizer o Direito por parte da Corte.
On Complex Dynamics and Primordial Gravity
Authors: Goldfain Ervin
Published: December 2024

We recently pointed out that, under suitably defined conditions, the Schrödinger equation represents a limit case of the _complex Ginzburg-Landau equation_ (CGLE). As generic prototype of complex dynamics, CGLE is naturally tied to _dimensional fluctuations_ conjectured to develop far above the electroweak scale. The goal of this work is to uncover an unforeseen connection between CGLE and the equation of _geodesic deviation_ in General Relativity (GR). This connection is likely to come into play in primordial cosmology, where strongly fluctuating gravitational fields evolve in far-from-equilibrium conditions. Our findings unveil the duality between primordial gravitation and Kolmogorov entropy and suggest a potential gateway towards field unification outside Lagrangian theory.
Nafas: Breathing Gymnastics Application
Authors: Sabouri Sadra , Haghighi Sepand
Published: December 2024

Long sessions of computer use introduce physical and mental health risks, particularly for programmers and intensive computer users. Breathing exercises can improve focus, reduce stress, and overall well-being. However, existing tools for such practices are often app-based, requiring users to leave their workspace. In this technical report, we introduce _Nafas_, a command-line interface (CLI) application designed specifically for computer users, enabling them to perform breathing exercises directly within the terminal. _Nafas_ offers structured breathing programs with various levels tailored to the needs of busy developers and other intensive computer users.
Сучасний підручник і його роль в умовах змішаного навчання
Authors: Малихін Олександр , Рогова Віра
Published: December 2024

У сучасних умовах функціонування освітньої системи наявна необхідність забезпечення оптимальної інтеграції очного та дистанційного навчання. Сьогодні можна констатувати наявність змішаної, гібридної та гібридно-гнучкої форм організації освітнього процесу, превалюючою серед яких є саме змішана форма, яка передбачає послідовне чергування очного та дистанційного навчання. Причиною значного поширення змішаного навчання в сучасній педагогіці є не тільки наявні об’єктивні зовнішні чинники (воєнний стан, у якому перебуває наша країна, тривала пандемія Covid-19), а й відповідність цієї форми організації освітнього процесу сучасним освітнім трендам. Тріада компетентнісного, діяльнісного й особистісно зорієнтованого підходів може бути ефективно реалізована в таких моделях змішаного навчання, як ротаційна модель, гнучка модель, модель самостійного змішування та модель збагаченого віртуального навчання. Одним із актуальних питань забезпечення максимальної ефективності змішаного навчання є модернізація підручника як одного з ключових елементів сучасного освітнього процесу. Оптимальним для забезпечення цілей навчання в зазначених умовах організації освітнього процесу є доповнення друкованого (паперового) підручника його розширеною електронною версією, що реалізує застосування широкого кола можливостей цифрових освітніх технологій. Такий варіант використання навчальної книги дає змогу оптимальної інтеграції переваг очного та дистанційного навчання: поєднання можливостей застосування в освітньому процесі класичних друкованих навчальних текстів і додаткових електронних матеріалів задля максимального сприяння підвищенню результативності освітнього процесу.
Оновлені програми з історії україни 2022: наративи, концепти, перспективи підручникотворення
Authors: Малієнко Юлія , Гурська Олена
Published: December 2024

У дослідженні обґрунтовані причини оновлення програм з історії, здійснено аналіз змін, зокрема у змістовій частині. Визначено методологічні ідеї, які об’єднують зміст програм 2022, насамперед ідеться про увиразнення державотворчих традицій минулого й сьогодення, імперіологічний дискурс, полікультурні, поліетнічні акценти. Підкреслено, що програма з історії України 2022 – чинний освітній документ, який визначає концептуальні засади формування змісту шкільної історичної освіти, інструменти дослідження минулого, його осмислення й переосмислення. Перспективність програми автори бачать у тому, що вона містить методологію відбору навчального матеріалу для майбутніх модельних навчальних програм/підручників для 7‒11 класів.У межах наукової розвідки розглянуто праці з історії ранньомодерної України, в яких увиразнено роль української шляхти, розкрито багатоаспектність історії українського козацтва та феномен козацької революції ХVІІ ст., практики Гетьманату в ранній новий час. Для характеристики змін в Україні ХХ ст. обрано поліетнічні акценти програми, нове поняття «СРСР – тоталітарна імперія», методологічний конструкт «творення образу ворога».Вибір наведених у статті джерел обумовлений не тільки їх засадничими функціями, але й наявністю новітніх наративів на підтримку підручникотворення.
Індивідуалізація та диференціація навчання як засіб компенсації освітніх втрат учнів початкової школи
Authors: Барановська Олена
Published: December 2024

У статті порушено проблему можливостей індивідуалізації та диференціації навчання в умовах зміни системи соціальних взаємозв’язків, правил поведінки учнів у нових реаліях життя. Акцентовано на важливості нових вимог до системи освіти: гнучкості, адаптивності, зворотного зв’язку, швидкого реагування на зміни в соціальному середовищі, співпраці з психологічними та медичними установами в суміжних сферах. Розглянуто можливі засоби компенсації освітніх втрат учнів початкової школи: оцінювання рівня ключових компетентностей, основних наскрізних умінь; упровадження коригувальної програми; виокремлення груп учнів, які потребують допомоги в рамках класу; індивідуальні та групові додаткові заняття з учителем; психологічна допомога. Розглянуто можливості організації роботи в міні-групах на основі запитань та завдань з текстом у підручнику як способу компенсації нерівного доступу дитини до цифрових ресурсів в умовах воєнного стану.
Сучасний зарубіжний досвід оцінювання якості підручників географії для закладів загальної середньої освіти
Authors: Науменко Світлана
Published: December 2024

У статті висвітлено зарубіжний досвід оцінювання якості підручників географії для закладів загальної середньої освіти. Виявлено, що одним із трендів у зарубіжній практиці підручникотворення є зосередження уваги переважно на аналізі структурних складників підручника географії (текстовий та ілюстративний матеріал, система вправ і завдань тощо) у контексті реалізації (1) ключових позицій модельної та/або навчальної програми, а також (2) ролі підручників в оцінюванні результатів навчання, сформованості набутих компетентностей та їх застосуванні на практиці, можливості здійснювати самооцінювання, забезпеченні розвитку просторового й креативного мислення, сприянні мультикультурній (полікультурній) освіті, підготовці до самостійного способу життя й самореалізації.Акцентовано увагу на висновках зарубіжних дослідників щодо проблем сучасного підручникотворення, зокрема: обмежених механізмах реалізації концепцій реформування освіти та можливостей для розвитку в здобувачів просторового мислення і критичної мультикультурної (полікультурної) освіти; наявності поверхневої, а в деяких випадках і недостовірної інформації; відтворення стереотипних поглядів; необхідності доопрацювання (вдосконалення) переважної більшості підручників географії тощо.З’ясовано, що у зарубіжній практиці актуалізується роль учителя щодо формування в учнів/учениць знань, умінь, навичок у порівнянні з підручником, який стає допоміжним засобом у сучасних дидактичних системах.Окреслено перспективи подальших вітчизняних досліджень проблем підручникотворення для закладів загальної середньої освіти з позицій сучасних зарубіжних підходів до оцінювання їх якості та відповідності сучасним світовим тенденціям.
Психологічні аспекти педагогіки партнерської взаємодії в закладах освіти в підручнику для керівника
Authors: Онаць Олена , Данко Антоніна
Published: December 2024

У статті розкрито психологічні аспекти педагогіки партнерської взаємодії, зокрема в умовах інклюзивного освітнього середовища в закладах освіти; представлено характеристики сутності понять: «партнерство», «педагогіка партнерства», «партнерська взаємодія», «психологічна основа педагогіки партнерської взаємодії», «партнерська діяльність». Подано авторське тлумачення сутності поняття «партнерство», психологічної основи педагогіки партнерства та її складової – партнерської взаємодії як суб’єкт-суб’єктних взаємин через спілкування і співпрацю двох і більше суб’єктів, доброзичливих міжособистісних стосунків, взаємодії та співпраці, партнерської діяльності учителя, учня, батьків та інших учасників освітнього процесу. Обґрунтовано роль педагогіки партнерства у створенні нового комфортного освітнього простору, запровадження безпечного й інклюзивного освітнього середовища. Представлено узагальнені психологічні аспекти педагогіки партнерської взаємодії у закладах освіти, зокрема такі, як психологічна компетентність, психологія спілкування і психологічна культура; психологічна основа принципів педагогіки партнерства, відповідно НУШ; обов’язковий динамічний пролонгований психолого-педагогічний супровід; представлено результати дослідження рівнів загальної тривожності учнів у експериментальних закладах освіти, узагальнені висновки та рекомендації для створення ефективного освітнього інклюзивного середовища на засадах педагогіки партнерської взаємодії.
Виховний потенціал сучасного підручника фізики для закладів фахової передвищої освіти
Authors: Білецький В’ячеслав
Published: December 2024

У статті обґрунтовані підходи до формування та реалізації виховної функції навчання фізики на сторінках сучасного підручника. Акцентовано увагу на тому, що громадянсько-патріотичне, військово-патріотичне, духовно-моральне і екологічне виховання є стрижневим та основоположним у формуванні світогляду студента і забезпечують його гармонійний розвиток. Визначено основу природничо-наукової картини світу, що охоплює основні методи, форми і засоби, які забезпечують реалізацію виховних функцій навчання фізики в коледжах.Здійснено аналіз підручників фізики, що використовуються у навчальному процесі на предмет реалізації виховних функцій навчання. Зроблено акценти на важливості використання фізичних задач, фізичних проєктів, інформаційно-комунікаційних технологій на сторінках підручника, що сприяють розвитку інтересу, творчих здібностей і мотивації студентів до навчання. Визначено основні чинники, що забезпечать успішну реалізацію громадянсько-патріотичного і екологічного виховання у розрізі компетентнісного підходу в курсі фізики закладів фахової передвищої освіти.
Потенціал підручників для розвитку наскрізних умінь (погляд учнівства)
Authors: Гривко Антоніна
Published: December 2024

У статті висвітлено результати вивчення уявлень учнів 8 і 9 класів про можливість здобути наскрізні вміння за допомогою підручника. Для досягнення мети дослідження застосовано метод опитування із використанням розробленої авторкою анкети, яка містила 23 пункти (дескриптори наскрізних умінь), що оцінювались за ступенем згоди із запропонованим твердженням за порядковою шкалою Лікерта. Результати опитування аналізувались за різними вибірками (виокремленими за віковою та гендерною ознакою) із застосуванням статистичних методів, які, зокрема, дали змогу визначити наявність гендерних відмінностей досліджуваного явища. За результатами аналізу індивідуальних та узагальнених за відповідними ознаками матриць рангів визначено вміння, розвитку яких, на думку респондентів, сприяє робота з підручником. Водночас з’ясовано, що респонденти негативно оцінюють можливість оволодіння у процесі роботи з підручниками наскрізними уміннями, які стосуються регулювання емоціями, прийняття рішень, взаємодії з іншими, а також уміння порівнювати різні думки й погляди. За результатами факторного аналізу побудовано п’ятифакторні моделі значущих для респондентів наскрізних умінь, які, на думку учнів, мають формуватися за допомогою підручника, та класифікувати їх за такими групами: 1) комунікативно-емоційне регулювання в умовах інтеракцій (до цієї групи відносяться наскрізні уміння логічно обґрунтовувати позицію, висловлювати власну думку, конструктивно керувати емоціями, виявляти ініціативу); 2) медіаграмотність (уміння читати з розумінням, критично і системно мислити); 3) відповідальна взаємодія (уміння співпрацювати з іншими); 4) прийняття усвідомлених рішень (уміння ухвалювати рішення, обирати способи розв’язання проблем, оцінювати ризики) 5) оцінювання (самооцінювання).  Аналіз відповідей респондентів як активних користувачів підручників дав змогу визначити можливі напрями вирішення виявлених проблем у навчально-діяльнісному полі формування наскрізних умінь із використанням підручників.