Search results

The paper uncovers a mathematical error in George Spencer-Brown's genesis of re-entry. It distinguishes between the two interpretations of re-entry presented in “Laws of Form”: recursive versus sequential. The Indeterminacy inferred by George Spencer-Brown from his recursive genesis of re-entry is refuted in three different ways. The calculation of the Modulator from “Laws of Form” demonstrates that only the sequential interpretation of re-entry is reasonable. This contributes to the demystification of re-entry and enables a deeper understanding. Finally, six differences between the concept of form from “Laws of Form” and Niklas Luhmann's sociological systems theory are presented.

Methodologically, the paper uses the ternary logic of discrete mathematics, which extends {0, 1} by “don't care” to {0, 1, -}. George Spencer-Brown's Indeterminicy is refuted by using three different methods: complete induction, Theorems 14 and 15 and the software XBOOLE. For the calculation of the Modulator, the only practical application of re-entry in “Laws of Form”, techniques from automata theory are used.

The paper reveals a mathematical error in George Spencer-Brown's genesis of the re-entry of “Laws of Form” and refutes the assumption of Indeterminicy. The analysis of the only practical application of re-entry presented by George Spencer-Brown shows that the functioning of this Modulator can only be described correctly with the sequential interpretation of re-entry.

The paper emphasizes the interdisciplinary potential of sociology and information technology and provides methods and tools of discrete mathematics for use in the analysis of the works of George Spencer-Brown and Niklas Luhmann.

The practical purpose of this research is to propose a candidate for post-quantum signature standard that is free of significant drawback of the finalists of the NIST world competition, which consists in the large size of the signature and the public key. The practical purpose is to propose a fundamentally new method for development of algebraic digital signature algorithms.

The proposed method is distinguished by the use of two different finite commutative associative algebras as a single algebraic support of the digital signature scheme and setting two different verification equation for a single signature. A single public key is computed as the first and the second public keys, elements of which are computed exponentiating two different generators of cyclic groups in each of the algebras.

Additionally, a scalar multiplication by a private integer is performed as final step of calculation of every element of the public key. The same powers and the same scalar values are used to compute the first and the second public keys by the same mathematic formulas. Due to such design, the said generators are kept in secret, providing resistance to quantum attacks. Two new finite commutative associative algebras, multiplicative group of which possesses four-dimensional cyclicity, have been proposed as a suitable algebraic support.

The introduced method is novel and includes new techniques for designing algebraic signature schemes that resist quantum attacks. On its base, a new practical post-quantum signature scheme with relatively small size of signature and public key is developed.

This paper aims to trial a novel method of improving the performance of rail systems. Accordingly, an evaluation of rail system dynamics (SD) using discrete event simulation (DES) will be undertaken. Globally, cities and their transportation systems face ongoing challenges with many of these resulting from complicated rail SD. To evaluate these challenges, this study utilized DES as the basis of the analysis of Melbourne Metro Rail's SD. The transportation SD processes including efficiency and reliability were also developed.

Using DES, this research examines and determines the Melbourne Metro Rail's SD. Although the Melbourne Metro Rail is still in progress, the DES developed in this research examined the system requirements of functionality, performance and integration. As the basis of this examination, the Melbourne Metro Rail's optimization was simulated using the developed DES. As the basis of the experiment, a total of 50 trials were simulated. This included 25 samples for each of efficiency and reliability. The simulation not only scrutinized the SD but also underlined some of its shortfalls.

This study found that information and communication technology (ICT) was the pinnacle of system application. The DES development highlighted that both efficiency and reliability rates are the essential SD and thus fundamental for Melbourne Metro Rail system functionality. Specifically, the three elements of SD, capacity, continuity and integration are considered critical in improving the system functionality of Melbourne Metro Rail.

This particular mega rail infrastructure system was carefully analyzed, and subsequently, the DES was developed. However, since the DES is at its inception, the results are relatively limited without inclusive system calibration or validation process. Nonetheless, with some modifications, such as using different KPIs to evaluate additional systems variables and setting appropriate parameters to test the system reliability measures at different intensities, the developed DES can be modified to examine and evaluate other rail systems. However, if a broader system analysis is required, the DES model subsequently needs to be modified to specific system parameters.

Through evaluation of Melbourne's Metro Rail in the manner described above, this research has shown the developed DES is a useful platform to understand and evaluate system efficiency and reliability. Such an evaluation is considered important when implementing new transport systems, particularly when they are being integrated into existing networks.

Efficient rail networks are critical for modern cities and such systems, while inherently complex, aid local economies and societal cohesion through predictable and reliable movement of people. Through improved system functionality and greater efficiencies, plus improved passenger safety, security and comfort, the traveling public will benefit from the enhanced reliability of the transportation network that results from research as that provided in this paper.

This research paper is the first of its kind specifically focusing on the application of DES on the Melbourne Metro Rail System. The developed model aligns with the efficiency optimization framework, which is central to rail systems. The model shows the relationship between increased efficiency and optimizing system reliability. In comparison with more advanced mathematical modeling, the DES presented in this research provides robust, but yet rapid and uncomplicated system enhancements. These findings can better prepare rail professionals to adequately plan and devise appropriate system measures.

There is an increasing interest in the use of knowledge graphs to represent real-world knowledge and a common need to manage imprecise knowledge in many real-world applications. This paper aims to study approaches to solve flexible queries over knowledge graphs.

By introducing fuzzy logic in the query answering process, the authors are able to obtain a novel algorithm to solve flexible queries over knowledge graphs. This approach is implemented in the FUzzy Knowledge Graphs system, a software tool with an intuitive user-graphical interface.

This approach makes it possible to reuse semantic web standards (RDF, SPARQL and OWL 2) and builds a fuzzy layer on top of them. The application to a use case shows that the system can aggregate information in different ways by selecting different fusion operators and adapting to different user needs.

This approach is more general than similar previous works in the literature and provides a specific way to represent the flexible restrictions (using fuzzy OWL 2 datatypes).

Reducing the number of generated mutants by clustering redundant mutants, reducing the execution time by decreasing the number of generated mutants and reducing the cost of mutation testing are the main goals of this study.

In this study, a method is suggested to identify and prone the redundant mutants. In the method, first, the program source code is analyzed by the developed parser to filter out the effectless instructions; then the remaining instructions are mutated by the standard mutation operators. The single-line mutants are partially executed by the developed instruction evaluator. Next, a clustering method is used to group the single-line mutants with the same results. There is only one complete run per cluster.

The results of experiments on the Java benchmarks indicate that the proposed method causes a 53.51 per cent reduction in the number of mutants and a 57.64 per cent time reduction compared to similar experiments in the MuJava and MuClipse tools.

Developing a classifier that takes the source code of the program and classifies the programs' instructions into effective and effectless classes using a dependency graph; filtering out the effectless instructions reduces the total number of mutants generated; Developing and implementing an instruction parser and instruction-level mutant generator for Java programs; the mutant generator takes instruction in the original program as a string and generates its single-line mutants based on the standard mutation operators in MuJava; Developing a stack-based evaluator that takes an instruction (original or mutant) and the test data and evaluates its result without executing the whole program.

We attempt to construct a grey three-way conflict analysis model with constraints to deal with correlated conflict problems with uncertain information.

In order to address these correlated conflict problems with uncertain information, considering the interactive influence and mutual restraints among agents and portraying their attitudes toward the conflict issues, we utilize grey numbers and three-way decisions to propose a grey three-way conflict analysis model with constraints. Firstly, based on the collected information, we introduced grey theory, calculated the degree of conflict between agents and then analyzed the conflict alliance based on the three-way decision theory. Finally, we designed a feedback mechanism to identify key agents and key conflict issues. A case verifies the effectiveness and practicability of the proposed model.

The results show that the proposed model can portray their attitudes toward conflict issues and effectively extract conflict-related information.

By employing this approach, we can provide the answers to Deja’s fundamental questions regarding Pawlak’s conflict analysis: “what are the underlying causes of conflict?” and “how can a viable consensus strategy be identified?”

This research aims to argue that manual geometric modeling is blocking the building information modeling (BIM) promotion to small-size companies. Therefore, it is necessary to study a manner of automated modeling to reduce the dependence of BIM implementation on manpower. This paper aims to make a study into such a system to propose both its theory and prototype.

This research took a prototyping as the methodology, which consists of three steps: (1) proposing a theoretical framework supporting automated geometric modeling process; (2) developing a prototype system based on the framework; (3) conducting a testing for the prototype system on its performance.

Previous researches into automated geometric modeling only respectively focused on a specific procedure for a particular engineering domain. No general model was abstracted to support generic geometric modeling. This paper, taking higher level of abstraction, proposed such a model that can describe general geometric modeling process to serve generic automated geometric modeling systems.

This paper focused on only geometric modeling, skipping non-geometric information of BIM. A complete BIM model consists of geometric and non-geometric data. Therefore, the method of combination of them is on the research agenda.

The model proposed by this paper provide a mechanism to translate engineering geometric objects into textual representations, being able to act as the kernel of generic automated geometric modeling systems, which are expected to boost BIM promotion in industry.

The purpose of this systematic literature review is to catalog, explore and disseminate knowledge developed related to the affordances, constraints and collaborative practices of e-mentoring in order to offer recommendations for mentoring programs.

After identifying studies utilizing inclusion and exclusion criteria and a variety of relevant databases, chosen studies were organized into three categories based on e-mentoring practices.

Results reflect chat-room-based e-mentoring and e-mentoring with a video component both to have various affordances and collaborative features. These forms of e-mentoring can potentially be relevant to new teachers’ needs, may promote community and are disconnected from mentees’ school systems. A third form of e-mentoring, virtual reality e-mentoring, however, has the potential for accessibility issues and lack of relevancy to the mentoring process.

Chat-room-based e-mentoring and e-mentoring with a video component may benefit new teachers who do not have access to in-person mentors. However, these forms of e-mentoring may necessitate a component that ensures mentors and mentees alike remain consistently engaged in the e-mentoring process.

We review and synthesize the existing research on directors' and officers’ (D&O) liability insurance. Our objectives are (1) to examine the institutional forces and regulatory requirements that have influenced the development of D&O liability insurance; (2) to identify the factors that influence firms to purchase D&O liability insurance and explore the consequences associated with its usage and (3) to identify gaps in the current literature and provide recommendations for future research on D&O liability insurance.

We perform a systematic literature review (SLR) using the Preferred Reporting Items for a Systematic Review of Meta-Analysis (PRISMA) guidelines to examine archival studies that investigate the determinants and consequences of D&O liability insurance. Using a Boolean search strategy on the “Web of Science” (WoS) and PRISMA selection criteria, we review 64 published archival research articles and three working papers from 1987 to October 2023.

Our review reveals that disclosing detailed information regarding D&O liability insurance, such as total insurance premiums and coverage limit, is predominantly voluntary, except in Taiwan. Our findings suggest that the decision to purchase D&O liability insurance is influenced by litigation risk, which is determined by factors such as firm size, complexity and corporate governance variables. We also find that D&O liability insurance has implications for financial reporting, audit outcomes, investment behavior and capital market performance.

In the post-COVID era, where firms face pressure due to financial constraints, our research emphasizes the practical importance of carefully considering and understanding the impact of D&O liability insurance, particularly as it concerns the demand for such insurance.

To the best of our knowledge, this study represents the first systematic review of previous research on D&O liability insurance. Our review highlights some research gaps, particularly in relation to the implications for financial reporting practices, auditing outcomes, firm investment behavior and capital market consequences.

The study aims to explore how including biophilic elements in the architectural and interior design of assisted living facilities can improve the well-being and quality of life of older people. This research paper explores the concept of biophilic design and its potential benefits for assisted living facilities.

A total of 39 peer-reviewed articles were reviewed. The research involved a comprehensive review of databases such as Scopus, EBSCO, Elsevier, JSTOR and Google Scholar using keywords and Boolean operators with reference to the study. The study’s inclusion criteria for articles were restricted to academic articles published between 2013 and 2022. The analysis of the current research will offer insights into the concept of biophilic design research and its impact on the well-being and quality of life of baby boomers in assisted living facilities.

The research advocates the benefits of biophilic design to enhance the psychological well-being and quality of life of baby boomers dwelling in assisted living facilities. Biophilic design is a strategy that blends natural elements into built environments to improve our connection with nature to enhance the physical and psychological health of older people. In the context of assisted living facilities, where residents commonly experience a variety of physical and psychological health concerns, adopting biophilic design in architecture holds enormous promise.

The research focuses on applying biophilic design in assisted living facilities and its holistic approach to the overall well-being of older people. The conceptual model proposed in the study has defined the positive aspects of the biophilic design on the psychological and physiological health of older people. Few studies have been done on the impact of biophilic design, specifically on baby boomers.