Results 41 to 50 of about 1,250 (247)

Disjunctive Bases: Normal Forms for Modal Logics.

, 2017
We present the concept of a disjunctive basis as a generic framework for normal forms in modal logic based on coalgebra. Disjunctive bases were defined in previous work on completeness for modal fixpoint logics, where they played a central role in the proof of a generic completeness theorem for coalgebraic mu-calculi.
Enqvist, Sebastian, Venema, Yde
openaire   +4 more sources

Keeping their powder dry: Purity, pollution, and handgun ownership among Jewish women in Israel

Feminist Anthropology, EarlyView.
Abstract This article examines the gendered practices through which Jewish women in Israel experience and negotiate personal handgun ownership in everyday life. Drawing on interviews, participant observation in gun‐related spaces, and analysis of women‐only online forums, we explore the expanding participation of Jewish women in civilian gun ownership,
Maya Maor, Nehemia Stern, Guy Nagar, Uzi Ben Shalom   +3 more
wiley   +1 more source

Artificial intelligence and liquidation: Reality, destiny and fantasy

International Insolvency Review, EarlyView.
Abstract Artificial intelligence (AI) is increasingly reshaping the administration of corporate liquidation. Beyond its established role in financial prediction and data analytics, AI is now assisting insolvency practitioners in identifying the onset of financial distress, managing creditor communications, tracing and valuing assets and enhancing ...
Kai Zhang, Jingchen Zhao
wiley   +1 more source

Algorithms for extracting subsystems from a multilevel representation of a system of Boolean functions for joint minimization

Informatika
Objectives. The purpose of experimental research is to determine the effectiveness of new algorithms for extracting the so-called connected subsystems from formula descriptions of the original system of Boolean functions.
P. N. Bibilo, N. A. Kirienko, V. I. Romanov   +2 more
doaj   +1 more source

An efficient algorithm for mining interesting set-valued rules [PDF]

Computer Science Journal of Moldova, 2001
We describe the problem of mining set valued rules in large relational tables containing categorical attributes taking a finite number of values. An example of such a rule might be “IF HOUSEHOLDSIZE = { Two OR Tree} AND OCCUPATION = {Professional OR ...
Alexandr A. Savinov
doaj  

Taxonomy and phylogeny of the intercontinental disjunctive ferns: series Reniformia Adiantum

Nordic Journal of Botany, EarlyView.
There are disputed opinions about the three taxa of series Reniformia, namely A. nelumboides X.C.Zhang (A. reniforme var. sinense Y.X.Lin), A. reniforme var. reniforme, and A. reniforme var. asarifolium (Willd.) R. Sim, owing to their similar morphology but intercontinental disjunctive distribution and close lineage with the series Venusta (only ...
Ai‐Hua Wang, Xue‐Ping Lv, Xu‐Hang Zeng, Fa‐Guo Wang, Yong‐Bo Liu, Jianfei Sun, Tongxin He, Harald Schneider, Fu‐Wu Xing, Yue‐Hong Yan   +9 more
wiley   +1 more source

THE METHOD OF CONSTRUCTING A BOOLEAN FORMULA OF A POLYGON IN THE DISJUNCTIVE NORMAL FORM

Informatika, 2016
The paper focuses on finalizing the method of finding a polygon Boolean formula in disjunctive normal form, described in the previous article [1]. An improved method eliminates the drawback asso-ciated with the existence of a class of problems for which ...
A. A. Butov
doaj  

Nonprofit Governance and Financial Stability: A Study of Government‐Funded Social Services

Nonprofit Management and Leadership, EarlyView.
ABSTRACT Nonprofit social service providers are essential in delivering vital services, often with public funding. This study adopts a contingency perspective to explore the relationship between organizational governance and financial stability in publicly funded nonprofit organizations. We use a combination of comparative multilevel analysis (CMA) and
Florentine Maier, Michael Meyer, Josef Baumüller, Christian Grünhaus, Franka Walde   +4 more
wiley   +1 more source

Waves of range dynamics and gene flow characterize the biogeographic history of Litsea elongata, a dominant tree in East Asian evergreen broadleaved forests

PLANTS, PEOPLE, PLANET, EarlyView.
Evergreen broadleaved forests (EBLFs) represent an iconic vegetation type in subtropical montane East Asia, but they are experiencing intensifying anthropogenic pressure and increasing habitat fragmentation. Here, using a dominant and widespread tree species characteristic of East Asian EBLFs, we examine its phylogeographic history and evaluate what it
Sheng‐Yuan Qin, Richard H. Ree, Zheng‐Yu Zuo, Chih‐Chieh Yu, Shuang‐Xiu Xu, Jun Rong, Peng‐Fei Ma, De‐Zhu Li   +7 more
wiley   +1 more source

Testing Times: A Structure/Agency Perspective on Becoming a Science Teacher in a Competitive, Exam‐Based Teacher Selection System

Science Education, EarlyView.
ABSTRACT While extensive research exists on science teacher shortages, less attention has been directed toward countries facing the opposite challenge: an oversupply of science teachers. This study examines the experiences of prospective science teachers in South Korea, where passing a high‐stakes, annual competitive examination is a prerequisite for ...
Wonyong Park, Heesoo Ha
wiley   +1 more source