Logic Power Research Articles

Breaking from the past? Environmental narratives, logics of power, and the (re)production of food insecurity in South Sudan.

Skyrocketing commodity prices and conflict-induced mass hunger in recent years have resuscitated discussions about why famines frequently reoccur in specific spaces of vulnerability. Intervention efforts still too often isolate food (in)security from its interwovenness in the political economy of water and energy and from the role of ideas in forging these interconnections across long time periods. Using (South) Sudanese history to rethink the causes of recurrent food insecurity, we underscore the need to analyse how political elites imagine the role of the water-energy-food nexus and associated environmental narratives in consolidating power. South Sudan's 2011 secession (from Sudan) marked the culmination of a struggle against a state that insurgents regarded as having starved its citizens. However, since independence, its leaders have replicated the nostrum they once combatted: Sudanese resources must 'feed the world'. A fixation with inserting water, energy, and food resources into global markets infuses their strategy, even if such an approach will not engender food abundance.

Illusion of nuclear superiority: an empirical study on the coercive value of nuclear superiority in a nuclear crisis

ABSTRACT There has been a recent revival of the decades-long debates on the coercive value of nuclear superiority in a nuclear crisis. Some proponents of nuclear superiority assert that nuclear superiority grants coercive leverage for the superior side to prevail in political disputes vis-à-vis nuclear-armed adversaries. However, does nuclear superiority really provide meaningful coercive leverage during a nuclear crisis? This article empirically tests their claims against a recent case – the Korean Peninsula nuclear crisis in 2017–2018. Through this, it argues that nuclear superiority has no meaningful compellent value beyond deterrence in a nuclear crisis for the two core reasons: first, a nuclear crisis does not follow the traditional balance of power logic; second, despite technological advancements, the viability of counterforce strategy in practice has yet to be attained.

Performance analysis of mono-stage three-phase DC-AC converter with reduced logic power supply circuits

This paper presents the performance analysis of a mono-stage three-phase DC-AC converter with reduced logic power supply circuits. The power DC-AC power converter of the proposed system is formed by arrangement of one inductor, two power switches, and one capacitor in an opener-like configuration to yield each leg of the inverter. During the inversion process, the number of capacitor elements that charges up (builds electrical energy) or discharges across the power switches will be equal to the number of inductors that discharges or builds up magnetic energy that terminates in between the power switches and vice versa. Under this condition, the proposed system, boosts and converts DC power to AC power and at the same time maintains energy balance in the system in one stage power conversion phenomenon unlike conventional power inverters. The logic power supply circuit used in the proposed system has fewer component counts and performs optical isolation unlike its conventional counterparts which have larger component counts and isolate by electromagnetic induction. The proposed system achieved the following results: lower and cheaper logic power supply circuits, simulated phase voltages of 327.8 V and 326.6 V and 329.8 V at THDs of 0.09879 %, 0.2569 % and 0.2905 % and average phase currents of 6.30A, 6.32A and 6.26A, respectively, and experimented: scaled down phase-A, B, and C average voltages of 66.95 V, 65.6 V and 68.93 V at phase angles of 0°, 120°, and -120° respectively. The performance analysis of the mono-stage three-phase DC-AC converter with reduced logic power supply circuits can be used in home appliances, hospital equipment, communication-based power stations, and drive systems such as electric vehicles.

Hypra: A Deductive Program Verifier for Hyper Hoare Logic

Hyperproperties relate multiple executions of a program and are useful to express common correctness properties (such as determinism) and security properties (such as non-interference). While there are a number of powerful program logics for the deductive verification of hyperproperties, their automation falls behind. Most existing deductive verification tools are limited to safety properties, but cannot reason about the existence of executions, for instance, to prove the violation of a safety property. Others support more flexible hyperproperties such as generalized non-interference, but have limitations in terms of the programs and proof structures they support. In this paper, we present the first deductive verification technique for arbitrary hyperproperties over multiple executions of the same program. Our technique automates the generation of verification conditions for Hyper Hoare Logic. Our key insight is that arbitrary hyperproperties and the corresponding proof rules can be encoded into a standard intermediate verification language by representing sets of states of the input program explicitly in the states of the intermediate program. Verification is then automated using an existing SMT-based verifier for the intermediate language. We implement our technique in a tool called Hypra and demonstrate that it can reliably verify complex hyperproperties.

Fuzzy-Bayesian Expert System for Suggesting Personalized Training Plans with Exercises and Routines with a Model Driven Architecture (MDA)

In the dynamic world of fitness, the quest for tailor-made exercise plans has never been more critical. Expert systems are stepping up to this challenge, offering a promise of personalized routines for both seasoned athletes and newcomers. In this article, we introduce an ingenious fuzzy-Bayesian expert system, armed with fuzzy and Bayesian logic, that tackles the uncertainties lurking within fitness data. It's a system with a dual focus: for fitness veterans, it conducts a meticulous analysis of their training history, past achievements, and current ambitions. Guided by the nuanced power of fuzzy and Bayesian logic, it makes decisions rooted in probabilities. As for beginners, the system builds a strong foundation, considering your present fitness status and your future aspirations. This forward-thinking approach speaks directly to the increasing demand for adaptable fitness solutions. For seasoned athletes, it paves the way to peak performance and injury prevention. Meanwhile, beginners embark on their fitness journey with gradual and secure steps. The Fuzzy-Bayesian Expert System offers a comprehensive answer that embraces data diversity and individual fitness aspirations in both scenarios. Furthermore, the seamless integration of the UPAFuzzySystem (Montes Rivera et al., 2023) library and Twilio elevates the system's functionality and its connection with users, turning it into a personal fitness enhancement tool. Dive into a world where fitness meets technology for a custom-made future of health and well-being.

Doubly strongly first-order dependencies

Abstract Team Semantics is a generalization of Tarskian Semantics in which formulas are satisfied with respect to sets of assignments, called teams. In this semantics, it is possible to add new atoms and connectives expressing dependencies between possible values of variables. Some of the resulting logics are more expressive than first-order logic while others are not. I study the (relativizable) atoms and families of atoms that do not increase the expressive power of first-order logic when they and their complements are added to it, separately or jointly, calling them doubly strongly first-order dependencies and finding a characterization for them.

Energy Efficient Memristor Based on Green-Synthesized 2D Carbonyl-Decorated Organic Polymer and Application in Image Denoising and Edge Detection: Toward Sustainable AI.

According to the United Nations, around 53 million metric tons of electronic waste is produced every year, worldwide, the big majority of which goes unprocessed. With the rapid advances in AI technologies and adoption of smart gadgets, the demand for powerful logic and memory chips is expected to boom. Therefore, the development of green electronics is crucial to minimizing the impact of the alarmingly increasing e-waste. Here, it is shown the application of a green synthesized, chemically stable, carbonyl-decorated 2D organic, and biocompatible polymer as an active layer in a memristor device, sandwiched between potentially fully recyclable electrodes. The 2D polymer's ultramicro channels, decorated with C═O and O─H groups, efficiently promote the formation of copper nanofilaments. As a result, the device shows excellent bipolar resistive switching behavior with the potential to mimic synaptic plasticity. A large resistive switching window (103), low SET/RESET voltage of ≈0.5/-1.5V), excellent device-to-device stability and synaptic features are demonstrated. Leveraging the device's synaptic characteristics, its applications in image denoising and edge detection is examined. The results show a reduction in power consumption by a factor of 103 compared to a traditional Tesla P40 graphics processing unit, indicating great promise for future sustainable AI-based applications.

Overshadowed voices in media reporting on truth-telling commissions

Over the past decades, truth-telling commissions aimed at uncovering, confronting and providing justice for the past treatment of children have been established in many countries, including the Australian Royal Commission into Institutional Responses to Child Sexual Abuse (RCIRCSA 2013-2017) and the Norwegian Truth and Reconciliation Commission (TRC) (2018-2023). Journalism plays important roles both in triggering commissions of inquiry and in attracting public attention to their work and findings. This paper investigates media reporting on the RCIRCSA and the TRC. The Commissions were not similar in scale, scope or legal powers, however, they both generated spaces for public listening to stories about the consequences of past policies and present practices of child removal, abuse and racism that potentially could change the grand narratives of each nation. Our findings suggest that future commissions should pay particular attention to the structural power of news logics and mediation. We find, despite the widely different cases, consistent patterns of uneven and hierarchical media reporting and overshadowing of First Nations voices and aspirations.

Logics with Concrete Domains: First-Order Properties, Abstract Expressive Power, and (Un)Decidability

Concrete domains have been introduced in description logic (DL) to enable reference to concrete objects (such as numbers) and predefined predicates on these objects (such as numerical comparisons) when defining concepts. The primary research goal in this context was to find restrictions on the concrete domain such that its integration into certain DLs preserves decidability or tractability. In this article, we complement these investigations by studying the abstract expressive power of both first-order and description logics extended with concrete domains, i.e., we analyze which classes of first-order interpretations can be expressed using these logics, compared to what their counterparts without concrete domains can express. We demonstrate that, under natural conditions on the concrete domain D (which also play a role for decidability), extensions of first-order logic (FOL) or the well-known DL ALC with D share important formal characteristics with FOL, such as the compactness and the Löwenheim-Skolem properties. Nevertheless, these conditions do not ensure that the abstract expressive power of the extensions we consider is contained in that of FOL, though in some cases it is. To be more precise, we show, on the one hand, that unary concrete domains leave the abstract expressive power within FOL if we are allowed to introduce auxiliary predicates. As a by-product, we obtain (semi-)decidability results for some fragments of FOL extended with the concrete domains considered in this article. On the other hand, we show that the ability to express equality between elements of D , another condition employed in the context of showing decidability of ALC ( D ), is sufficient to push the abstract expressive power of most first-order fragments with concrete domains beyond that of FOL. While for such concrete domains D decidability is retained for ALC ( D ), we show that the availability of equality in D causes undecidability of the two-variable fragment of FOL( D ), although the two-variable fragment of FOL is decidable.

박경리 후기 산문의 여성성과 정치성 - 『원주통신』 연작을 중심으로

Park Kyung-ri's collection of prose (1994), “Wonju News Agency-The Dreamer Create,” “New Wonju News Agency-The Delusion for Hypothesis” (2007), and “The Pain of Life”(2004) are articles that show the feminine foundation of the idea of life, which is the main point of Park Kyung-ri's literature. It is a self-narrative that cannot be dismissed as a simple experience and observation of daily life, and a style of the late years when the author acquired his identity as a civilization critic and environmental activist. Park Kyung-ri confessed her emptiness and pessimism through the free and loose form of prose, while discovering “Life” and “Care” as values of civilization that could overcome this sense of despair. It was an enlightenment gripped by experiential knowledge and critical dissection of the 20th century history, which was dominated by memories of pain that persisted that could not be dismissed as “centimentism,” compassion for life, and logic of power. In particular, animals need to be carefully considered in that they were decisive beings in proclaiming symbiosis and care with nature as human universal ethics by paying attention to vulnerability, the essence of life, and convinced of the value of culture, aesthetic imagination, and practical movement against human-centered development.

Modal weak Kleene logics: axiomatizations and relational semantics

Abstract Weak Kleene logics are three-valued logics characterized by the presence of an infectious truth-value. In their external versions, as they were originally introduced by Bochvar [4] and Halldén [30], these systems are equipped with an additional connective capable of expressing whether a formula is classically true. In this paper we further expand the expressive power of external weak Kleen logics by modalizing them with a unary operator. The addition of an alethic modality gives rise to the two systems $\textsf{B}_{\text{e}}^{\square }$ and $\textsf{PWK}^{\Box }_{\text{e}} $, which have two different readings of the modal operator. We provide these logics with a complete and decidable Hilbert-style axiomatization w.r.t. a three-valued possible worlds semantics. The starting point of these calculi are new axiomatizations for the non-modal bases $\textsf{B}_{\text{e}}$ and $\textsf{PWK}_{\text{e}}$, which we provide using the recent algebraization results about these two logics. In particular, we prove the algebraizability of $\textsf{PWK}_{\text{e}}$. Finally some standard extensions of the basic modal systems are provided with their completeness results w.r.t. special classes of frames.

Introduction

The Middle East and North Africa (MENA) today is an epicenter for the theorization of absence. Scholars, in efforts to counter the politics that have erased and continue to erase humans and places from the region, frequently assert the microdynamics of resistance, resilience, and memory. The editors of the special section, “Following Absence,” acknowledge the urgent need for narratives of overcoming destruction and for acts of care and repair. However, this introduction articulates a different intellectual labor—one that examines the ways absences linger and perdure across the MENA. Rather than restoring or recuperating modes of presence, the editors ask, in what ways might absence be told and accounted for? How might new plotlines widen the scope of what can be perceived as absence, its work in the world, and the forms of agency and injury it shapes? In dialogue with the environmental humanities, this thematic section approaches human lives in embodied proximities to the nonhuman. It also relinquishes the need for storytelling to begin from a moment when annihilating violence has ceased, as though erasure could be safely contained in the past. Repetitive and accumulating, recursive and anticipatory, absences inhabit the present and future. Acknowledging these branching, seeping plotlines, the editors urge against any unified theory of absence for, or from, the MENA. Absence is defined by negation, fragments, and residues. By refusing its systematization in scholarship, this introduction calls for modes of attention that refuse the logics of power and foreground instead the flourishing of ongoing life. It then previews the special section's themes and articles.

Design and construction of wireless water level control system with motor protector

This research work presents the design and construction of a micro-controller-based wireless water level control system. The need to bring a solution to the problem of water shortage in various places by eliminating one of the culprit; waste of water during pumping and dispensing into overhead thanks, calls for an automated control system which puts into consideration, means of avoiding mechanical tears and wears that arises with the use of robes as water level sensor, through the incorporation of wireless water level sensor in place of robes in sensing the water level in the modeled tank. To solve this problem, circuit analysis and design, of the five main sub-circuitry units, this includes: power supply unit, logic and switching circuitry unit, relay unit, LCD display unit was carried out using ultrasonic water level sensor, AT89S51 microcontroller, LCD module relay circuitry system and a few discrete components. The design of the controller in this scenario is not just cost effective but helps in avoiding mechanical tears and wears that arises with the use of robes as water level sensor, by providing an improvement on existing water level control system through the incorporation of wireless water level sensor in place of robes in sensing the water level in the modeled tank.

Dynamic Power Saving for CMOS Circuits

With more functionalities being integrated into a microchip today, higher processing power is drawn. As a result of this, clock and logic power consumption has turned out to be a critical issue to be coped with by chip designers. In this paper, we present various power-saving approaches employed in complementary metal oxide semiconductor (CMOS) circuit designs. The approaches involve restructuring the logic circuits, performing clock gating, and selecting the appropriate circuits for counters and frequency divisions. In order to show their efficacies in power optimization, the approaches were applied to a phase-locked loop (PLL), clock divider (CD), full adder (FA), counter, arithmetic logic unit (ALU), and microprocessor without interlocked pipelined stages (MIPS) circuits and validated using Intel Quartus Prime Lite and Mentor Graphics Modelsim. The following conclusions can be drawn from the results: Firstly, the efficacy of minimizing power dissipation using logic restructuring is found to be in direct proportion with the rate of the switching activity (SA); secondly, a maximum of 3.5% of thermal power dissipation can be saved using clock gating; thirdly, gray counters give the lowest power consumption; and, finally, the thermal power estimation for the phase-locked loop (PLL) is relatively higher than that for the clock divider (CD) when both of them are implemented for dividing frequencies.

Reac4Cat-Ontology: Harnessing the Power of Ontological Description Logic in Catalysis Research as a Practical Approach to Knowledge Inferences

Maximizing the use of digitally captured data is a key requirement for many of the late adopters of digital infrastructure. One of the newcomers is the chemical industry in the area of digitized laboratories. Here, tools and services that satisfy individual needs still need to be developed and distributed within the community. This work explores the potential of using graph databases — specifically those modeled via ontological knowledge graphs — to describe complex data linkages and draw logical conclusions. While knowledge graphs are not widely utilized in catalysis research, this study introduces a methodology to highlight their usability for semantic description and integration into diverse value chains with contact to the domain of (bio)chemistry and catalysis.A demonstration is performed how ontologies and their knowledge graphs can be applied to perform essential functions of semantic annotation to chemical reactions, which are difficult to model relational. Traditional data description methods can be neglected using description logic, showing how logical inferences at the machine level can enrich data. This work also illustrates the seamless integration of this enhanced data into process simulations, connecting semantic description with practical applications. The immediate benefits for catalysis research are emphasized and the development of new tools and services envisioned. By clarifying how these graphs can be integrated into existing workflows, researchers are empowered to make the most of digitally acquired data in catalytic processes. This practical methodology lays the foundation for improved decision-making and innovation, fostering advancements in the field of catalysis research.

Optimization of CPBIS methods applied on enhanced fibrin microbeads approach for image segmentation in dynamic databases

In the empire of image processing and computer vision, the demand for advanced segmentation techniques has intensified with the growing complexity of visual data. This study focuses on the innovative paradigm of fuzzy mountain-based image segmentation, a method that harnesses the power of fuzzy logic and topographical inspiration to achieve nuanced and adaptable delineation of image regions. This research primarily concentrates on determining the age of tigers, a critical and challenging task in the current scenario. The primary objectives include the development of a comprehensive framework for FMBIS and an in-depth investigation into its adaptability to different image characteristics. This research work incorporates those domains of image processing and data mining to predict the age of the tiger using different kinds of color images. Fuzzy mountain-based pixel segmentation arises from the need to capture the subtle gradients and uncertainties present in images, offering a novel approach to achieving high-fidelity segmentations in diverse and complex scenarios. The proposed methods enable image enhancement and filtering and are then assessed during process time, retrieval time, to give a more accurate and reduced error rate for producing higher results for real-time tiger image database.

Coronavirus risk factor by Sugeno fuzzy logic

<span>World recently faced big challenges with the pandemic of coronavirus disease 2019 (COVID-19). Governments suffer from the problem of appropriately identifying the risk factor of this virus and establishing their safety procedures accordingly. This paper concentrates on designing a coronavirus risk factor (CRF) by the power of Sugeno fuzzy logic (SFL). The main advantage of the CRF is that it can provides a quick and suitable risk evaluation. According to the degree of severity, three essential parameters are considered: number of infected cases, number of people in intensive care units (ICU) and number of deaths. All of these parameters are provided per population. Such interesting and promising outcomes are attained, where the total effect is found equal to 95.3%.</span>

67‐3: Development of the Novel Wearable AMOLED Display

The 1.43” hybrid wearable AMOLED display (HWAD) had been developed based on low‐temperature polycrystalline silicon (LTPS) and thin‐film encapsulation (TFE) techniques, which was integrated touch and display functionalities with one driver IC. The 1.43” HWAD border was similar to flexible products, but less than rigid ones above 20%. Meanwhile, the ultra‐thin stack‐up module thickness was also close to that of flexible ones, but reduced about 31.4% compared to traditional rigid display. HWAD utilized a new pixel compensation circuit and a novel compensation algorithm, eventually achieved a flicker indicator FMA value of <3% in 5Hz AOD mode. The logic power consumption of the smart watch in 5Hz AOD model is reduced about 35% compared with the one in 30Hz. The novel HWAD aggregated the advantages of flexible and rigid displays with low process costs. The novel high‐performance HWAD had significant market application prospect.

Missionaries, Basketball and Stranger-Kings. Modernization and Power in Todos Santos, Guatemala, from 1950 to 1980

ABSTRACT This article explores ethnographically the impact of foreign missionaries in a Maya Mam community of Guatemala between 1954 and the end of the 1970s. As previously evidenced, the development-oriented activities of the missionaries were well received by local youths as they enabled their empowerment before the Ladino population and endorsed rebellion against the civil-religious status quo of communal power. This article proposes that, despite causing a rupture that sometimes escalated into violence, the communal order reshaped by rebellious youths maintained elements of continuity with the past. By analysing the persistent entanglement of power and religion and an emerging relevance of basketball through the lens of Graeber and Sahlins’ reflections on the divine origins of power, we can see how, under the surface of the explicit rupture, there was a hidden attempt to appropriate modernity by placing it within the Indigenous logics of rituality and power.

Secrecy, Uncertainty, and Trust: The Gendered Nature of Back-Channel Peace Negotiations

Abstract Back-channel negotiations are commonplace in peace negotiations and can serve as crucial mechanisms for reaching agreements. While there has been a moderate increase in scholarship examining back-channel negotiations in the last two decades, none has explored the gendered nature of these spaces. This article analyzes how and why back-channel negotiations are highly gendered processes and why their gendered nature matters for sustainable peace. We begin with a review of the current literature on back-channel negotiations and discuss how and why they are critical mechanisms in peace negotiation and agreement processes. Next, we show how women’s inclusion in peace negotiations and agreement practices matters for sustainable peace. Thereafter, we discuss how secret negotiation spaces are infused with gendered power and masculine logics of war and peace. We argue that three key features of back-channel negotiations—secrecy, uncertainty, and limited trust—come together to create an echo chamber of hypermasculinity ideas, values, styles, and norms that prevent women from achieving descriptive and substantive representation inside fundamental secret negotiation spaces. This article adds to the developing literature on back-channel negotiations and helps us better understand how and why women and their interests are regularly excluded from peace processes despite the global prominence of the United Nations’ Women, Peace, and Security agenda.