New techniques for automated deduction in finite and infinite, first-order many-valued logics
, 1993 Nicolas Zabel
openalex +1 more source
Advanced Sustainable Systems, EarlyView.The shift to biodegradable materials in healthcare promises reduced plastic pollution, but their production, adoption, and long‐term impacts remain complex. Integrating lifecycle insights with global policy coordination is essential for meaningful environmental gains. Abstract The COVID‐19 pandemic sharply increased medical waste, intensifying concerns
By Haoxuan Yu +2 more
wiley +1 more source
Optimization of teaching quality of college physical education by using decision making technique under complex interval valued fermatean fuzzy model. [PDF]
Sci RepHuang D, Liu Y.
europepmc +1 more source
Context and Complementarity: Formalizing Bohr's Vision through Many-Valued Contextual Logic [PDF]
Partha Ghose, Sudip Patra
openalex +1 more source
TVB C++: A Fast and Flexible Back‐End for The Virtual Brain
Advanced Science, EarlyView.TVB C++ is a streamlined and fast C++ Back‐End for The Virtual Brain (TVB), designed to make it as flexible as TVB, and FAST. Another pillar is to be fully compatible with TVB so easy bindings can be created from Python. Users can easily configure TVB C++ to execute the same code but with enhanced performance and parallelism.
Ignacio Martín +7 more
wiley +1 more source
What's in a pun? Assessing the relationship between phonological distance and perceived funniness of punning jokes. [PDF]
Humor (Berl)Palmann A, Miller T.
europepmc +1 more source
Cut‐Enabled Mechanical Metamaterials for Multimodal and Reprogrammable Static Nonreciprocity
Advanced Science, EarlyView.Cut‐enabled mechanical metamaterials are designed to overcome the challenge of obtaining multiple and reprogrammable static nonreciprocal modes in a single microstructural topology. It offers a pathway to synthesize multiple nonreciprocal modes and control the nonreciprocal responses, enhancing the functionality of metamaterials.
Jinhao Zhang +8 more
wiley +1 more source
A spatial decision making framework using neutrosophic VIKOR for wind energy investment in Turkey. [PDF]
Sci RepEroğlu H.
europepmc +1 more source
Undecidability and non-axiomatizability of modal many-valued logics
, 2021 Amanda Ferreira Vidal
openalex +2 more sources
A Modular and Customizable CRISPR/Cas Toolkit for Epigenome Editing of Cis‐regulatory Modules
Advanced Science, EarlyView.Epigenome editing surpasses genome editing in gene regulation. Modular epigenome editing frameworks are developed to interrogate cis‐regulome, enabling tunable reprogramming of cis‐elements, uncovering their epigenetic responsiveness and cross‐species portability.
Lingrui Zhang +6 more
wiley +1 more source