Results 121 to 130 of about 1,497,677 (335)

Logics of communication and knowledge

, 2012
Enkele veelgebruikte vormen van communicatie (bijvoorbeeld e-mail) kennen subtiele onderlinge verschillen die grote gevolgen hebben voor de vorm van gezamenlijke kennis die mensen kunnen verkrijgen, concludeert Floor Sietsma.Met behulp van modellen uit de logica slaagt ze erin om deze verschillen exact te beschrijven en te modelleren, en op deze manier
openaire   +2 more sources

Rotary Electromechanical System Integrating Non‐Reciprocal Memory and Combinational Logic

Advanced Science, EarlyView.
Rotational bistability, interfaced through a conductive network with switchable contacts, unifies logic operations and mechanical memory within a rotary electromechanical system. The author demonstrates how serially coupled configurations of rotationally bistable modules enable reprogrammable sequential logic governed by mechanical state transition and
Shujia Chen, Don Straney, Damiano Pasini
wiley   +1 more source

Systematic Engineering of Proteases in Saccharopolyspora Spinosa Reveals Synergistic Enhancement of Spinosad Biosynthesis via Substrate Flux Optimization

Advanced Science, EarlyView.
ARTP mutagenesis yielded Saccharopolyspora spinosa mutant D184 with improved extracellular nitrogen utilization. An integrated workflow of protease genetic manipulation, multi‐omics, and rational synergy design pinpointed a pepP‐clpP‐htpX synergistic triangular combination.
Duo Jin, Wangqiong Chen, Danlu Yang, Qing Liu, Baolong Bai, Zirui Dai, Xirong Liu, Zirong Zhu, Jie Rang, Liqiu Xia   +9 more
wiley   +1 more source

SUCCESS FACTORS OF CHANGE IN KNOWLEDGE MANAGEMENT [PDF]

The goal of our study is to examine, how the logic of change management implementation and analysing raster of success factors helps to lay the foundation of building up knowledge management system.
Andrea BENCSIK, Krisztina Bognár SPEISER   +1 more
core  

ML Workflows for Screening Degradation‐Relevant Properties of Forever Chemicals

Advanced Science, EarlyView.
The environmental persistence of per‐ and polyfluoroalkyl substances (PFAS) necessitates efficient remediation strategies. This study presents physics‐informed machine learning workflows that accurately predict critical degradation properties, including bond dissociation energies and polarizability.
Pranoy Ray, Andrew R. Castillo, Manoj Kolel‐Veetil, Surya R. Kalidindi   +3 more
wiley   +1 more source

A Temporal Logic for Hyperproperties

, 2013
Hyperproperties, as introduced by Clarkson and Schneider, characterize the correctness of a computer program as a condition on its set of computation paths.
Finkbeiner, Bernd, Rabe, Markus N., Sánchez, César   +2 more
core  

ReRAM/CMOS Array Integration and Characterization via Design of Experiments

Advanced Electronic Materials, EarlyView.
This paper proposes the Design of Experiments to characterize arrays of oxide‐based ReRAM devices by exploring the large characterization space efficiently using only a few numbers of experiments. Using in‐house integration of 20 000 ReRAM devices on a CMOS chip, the unconventional optimization approach determines optimized measurement parameters and ...
Imtiaz Hossen, William A. Borders, Advait Madhavan, Shweta Joshi, Patrick M. Braganca, Jabez J. McClelland, Brian D. Hoskins, Gina C. Adam   +7 more
wiley   +1 more source

Recent Progress and Opportunities in Oxide Semiconductor Devices for In‐Memory and Neuromorphic Computing

Advanced Electronic Materials, EarlyView.
This review surveys oxide‐semiconductor devices for in‐memory and neuromorphic computing, highlighting recent progress and remaining challenges in charge‐trap, ferroelectric, and two‐transistor devices. Oxide semiconductors, featuring ultra‐low leakage, low‐temperature processing, and back‐end‐of‐line compatibility, are explored for analog in‐memory ...
Suwon Seong, Taejun Ha, Sangwook Jung, Wontae Jeong, Yoonyoung Chung   +4 more
wiley   +1 more source

Stage‐Specific Roles of Deep Eutectic Solvents in Recycling of Spent Lithium‐Ion Batteries

Advanced Energy Materials, EarlyView.
Deep eutectic solvents (DESs) offer tunable acidity, redox, and coordination properties for selective recycling of spent lithium‐ion battery cathodes. Through co‐dissolution, single‐ and two‐metal separations, DESs enable sustainable recovery of critical metals for closed‐loop regeneration of battery‐grade materials, advancing a circular economy for ...
Jingxiu Wang, Yan Wang, Yanqiu Lyu, Jianfeng Mao, Zaiping Guo   +4 more
wiley   +1 more source

Formal Concept Analysis and Resolution in Algebraic Domains

, 2003
We relate two formerly independent areas: Formal concept analysis and logic of domains. We will establish a correspondene between contextual attribute logic on formal contexts resp. concept lattices and a clausal logic on coherent algebraic cpos. We show
Hitzler, Pascal, Wendt, Matthias
core   +6 more sources