Results 41 to 50 of about 1,018,965 (272)
Understanding Science Through Knowledge Organizers: An Introduction [PDF]
, 2004 We propose, in this paper, a teaching program based on a grammar of scientific language borrowed mostly from the area of knowledge representation in computer science and logic.
G., Nagarjuna, Kharatmal, Meena
core
Advanced Functional Materials, EarlyView.Many known diseases arise from dysregulated gene expression, and differentially expressed genes can serve as biomarkers to distinguish diseased cells from healthy tissues. In this study, reconfigurable nucleic acid nanoparticles (recNANPs) are introduced that can detect overexpressed cancer biomarkers and subsequently release RNAi inducers to silence ...
Yelixza I. Avila +7 more
wiley +1 more source
Advanced Functional Materials, EarlyView.Advances in integrating artificial intelligence into 3D bioprinting are systematically reviewed here. Machine learning, computer vision, robotics, natural language processing, and expert systems are examined for their roles in optimizing bioprinting parameters, real‐time monitoring, quality control, and predictive maintenance.
Joao Vitor Silva Robazzi +10 more
wiley +1 more source
Introduction to linear logic and ludics, part II [PDF]
, 2004 This paper is the second part of an introduction to linear logic and ludics, both due to Girard. It is devoted to proof nets, in the limited, yet central, framework of multiplicative linear logic and to ludics, which has been recently developped in an ...
Curien, Pierre-Louis
core +4 more sources
Advanced Functional Materials, EarlyView.Janus (MoS2) transistors functionalized with sodium alginate (SA) and poly(vinylidene fluoride‐co‐trifluoroethylene) [P(VDF‐TrFE)] exhibit persistent photo‐induced ionic gating, driven by dynamic cation migration at the hybrid interface. This ionic mechanism enables finely tunable photoconductivity and emulates key synaptic plasticity behaviors ...
Yeonsu Jeong +5 more
wiley +1 more source
Mathematical Fuzzy Logic in the Emerging Fields of Engineering, Finance, and Computer Sciences [PDF]
, 2023 Shukla, Amit K.
openalex +1 more source
Advanced Functional Materials, EarlyView.In this work, a reconfigurable T‐CMOS inverter based on vertically stacked MoS2 and WSe2 MOSFETs with a gate‐tunable MoS2 resistor, enabling stable ternary logic, is demonstrated. The T‐CMOS inverter supports electrical switching between ternary and binary modes and is further extended to implement ternary NAND (NMIN) and NOR (NMAX) logic gates ...
Changwook Lee +5 more
wiley +1 more source
Advanced Functional Materials, EarlyView.A “liquid locking” strategy is proposed and implemented for scalable printing of crack‐free bassanite ceramic frameworks with interlocking microstructures to host ionic liquids as effective electrolytes for high‐temperature micro‐supercapacitors (HT‐MSCs).
Shiqian Chen +7 more
wiley +1 more source
Computer science and technology : historiography III (7 : logic, crypto in sf, robots)
, 2022 Camille Akmut
openalex +2 more sources
Verification of Ptime reducibility for system F terms via Dual Light Affine Logic.
, 2006 Proceedings of Computer Science Logic 2006 (CSL'06), volume 4207 of Lecture Notes in Computer Science, pp.150-166. SpringerIn a previous work we introduced Dual Light Affine Logic (DLAL) ([BaillotTerui04]) as a variant of Light Linear Logic suitable ...
Atassi, Vincent +2 more
core +3 more sources