Results 111 to 120 of about 1,508,621 (298)
SEPARATING SUBVERSION FORCING AXIOMS
The Journal of Symbolic LogicAbstract We study a family of variants of Jensen’s subcomplete forcing axiom, $\mathsf {SCFA,}$ and subproper forcing axiom, $\mathsf {SubPFA}$ . Using these, we develop a general technique for proving nonimplications of $\mathsf {SCFA}$ , $\mathsf
COREY SWITZER, HIROSHI SAKAI
openaire +3 more sources
PLANTS, PEOPLE, PLANET, EarlyView.Tiny, leafless fairy lanterns are easily overlooked on the forest floor. Thismia abei, endemic to Japan, persists in small, unstable populations and is listed nationally as Critically Endangered. Our recent work has revealed another, less obvious form of obscurity.
Kenji Suetsugu +2 more
wiley +1 more source
Ontologies for Sustainability: Theoretical Challenges
Sustainable Development, EarlyView.ABSTRACT The lack of sustainable practices in key sectors of human societies is a global concern, posing threats for the whole planet. This paper provides the first review of ontologies for sustainability efforts, outlining their roles in assessing and advancing such efforts. Section 2 outlines three major challenges associated with sustainability: (1)
Giorgio A. Ubbiali +2 more
wiley +1 more source
Moral Economies of Debt Forgiveness and Enforcement in Postcrisis Iceland
Economic Anthropology, EarlyView.ABSTRACT Who deserves financial relief in times of crisis, and on what grounds? The 2008 collapse of Iceland's banking system prompted state intervention to mitigate household indebtedness, including forbearance, pension withdrawals, repayment adjustments, and debt reductions.
Timothy Heffernan
wiley +1 more source
Illuhmannating Technological Innovation Systems: Towards a Systems Perspective
Systems Research and Behavioral Science, EarlyView.ABSTRACT The Technological Innovation Systems framework operates from an economic perspective, investigating the generation, diffusion and utilization of a specific technology within a particular institutional infrastructure. Emerging from innovation sciences, the TIS framework inherited methodological individualism as the micro‐level approach to ...
Richard Pretorius +3 more
wiley +1 more source
Structural Concrete, EarlyView.Abstract After a blossoming pre‐World War II (WWII) period, the concrete construction industry in then‐socialist Hungary existed in a relative isolation from the Western World during the mid‐20th century. In this paper, we focus on the body of work of one of the then newly established state‐owned design offices, IPARTERV, to show how the isolation ...
Orsolya Gáspár, Péter Haba
wiley +1 more source
A Systems‐Level Approach to Address Risks and Ethics in Artificial Intelligence Systems
Systems Engineering, EarlyView.ABSTRACT Artificial intelligence (AI) is rapidly changing the world, from completely controlling routine or mundane tasks like text and image generation, to powering advanced algorithms that control critical systems. The recent advances in generative AI quickly overwhelmed multiple industries from education to finance as first adopters rushed (and ...
Vincent P. Paglioni, Torrey Mortenson
wiley +1 more source
Model‐Based Cybersecurity: Automating Common Vulnerabilities Reporting
Systems Engineering, EarlyView.ABSTRACT The Common Vulnerabilities and Exposures (CVE) Program's mission is to identify, define, and catalog publicly disclosed cybersecurity vulnerabilities. A cybersecurity practitioner who suspects a software, hardware, or service vulnerability, can initiate a CVE‐ID Requesting process, as defined by MITRE.
Ahmad Jbara, Dov Dori
wiley +1 more source
Systems Engineering, EarlyView.ABSTRACT Mission Engineering is maturing as a Systems Engineering discipline, yet adoption of its common frameworks remains stratified. This study examines whether selective adoption is observable across ME scholarship and develops a framework to address identified barriers.
James Moreland +4 more
wiley +1 more source
An Innovative Approach to Multi‐Valued Logic
IEEJ Transactions on Electrical and Electronic Engineering, EarlyView.The current generation of computer systems operates on the principles of binary logic, which encompasses both logical and arithmetic operations. However, silicon technology has reached its peak performance, prompting researchers to explore alternative methods for enhancing computational efficiency. One such method is the adoption of Multi‐Valued Logic (
Ali Mokhtari, Peyman Kabiri
wiley +1 more source