Results 81 to 90 of about 7,040,431 (319)

Mapping Fusion and Synchronized Hyperedge Replacement into Logic Programming

, 2006
In this paper we compare three different formalisms that can be used in the area of models for distributed, concurrent and mobile systems. In particular we analyze the relationships between a process calculus, the Fusion Calculus, graph transformations ...
Lanese, Ivan, Montanari, Ugo
core   +3 more sources

Reconfigurable Nucleic Acid Nanoparticles with Therapeutic RNAi Responses to Intracellular Disease Markers

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, Anh Ha, Morgan R. Chandler, Nathalia Leal Santos, Taejin Kim, Hannah S. Newton, Marina A. Dobrovolskaia, Kirill A. Afonin   +7 more
wiley   +1 more source

DNA logic programming: From concept to construction

View
DNA programming, which is based on the principle of base complementary pairing and Boolean operations, exhibits organizational structures and algorithms similar to those observed in machine language.
Yi Zhang, Ning Hu, Jiajie Xu, Zhen Wang
doaj   +1 more source

An Improved Proof-Theoretic Compilation of Logic Programs

, 2012
In prior work, we showed that logic programming compilation can be given a proof-theoretic justification for generic abstract logic programming languages, and demonstrated this technique in the case of hereditary Harrop formulas and their linear variant.
Cervesato, Iliano
core   +1 more source

The Synergy of Artificial Intelligence and 3D Bioprinting: Unlocking New Frontiers in Precision and Tissue Fabrication

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, Irem Deniz Derman, Deepak Gupta, Logan Haugh, Yogendra Pratap Singh, Vaibhav Pal, Yasar Ozer Yilmaz, Suihong Liu, Andre Luis Dias, Rogerio Andrade Flauzino, Ibrahim Tarik Ozbolat   +10 more
wiley   +1 more source

Parallel defeasible argumentation

Journal of Computer Science and Technology, 2000
Implicitly exploitable parallelism for Logic Programming has received ample attention. Defeasible Argutmentation is specially apt for this optimizing technique.
Alejandro Javier García, Guillermo Ricardo Simari   +1 more
doaj  

Investigating the impact of generative AI integration on the sustenance of higher-order thinking skills and understanding of programming logic

Computers and Education: Artificial Intelligence
This study investigates how integrating generative AI (GenAI) with instructional scaffolding and prompt engineering supports higher-order thinking skills (HOTS) and programming logic.
Jemimah Nathaniel, Solomon Sunday Oyelere, Jarkko Suhonen, Matti Tedre   +3 more
doaj   +1 more source

Deep2s: Improving Aspect Extraction in Opinion Mining With Deep Semantic Representation

IEEE Access, 2020
Syntactical rule based approaches for aspect extraction, which are free from expensive manual annotation, are promising in practice. These approaches extract aspects mainly through the dependency relations in the surface sentence structures.
Xuelian Li, Bi Wang, Lixin Li, Zhiqiang Gao, Qian Liu, Hancheng Xu, Lanting Fang   +6 more
doaj   +1 more source

Electrically Binary and Ternary Convertible CMOS Inverter and Logic Gate Using Complementary Field‐Effect Transistors Based on Vertically Stacked MoS2/WSe2 n‐/p‐ Field‐Effect Transistors

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, Dongyoung Kim, Eunyeong Yang, Jiwon Ma, Kibum Kang, Jiwon Chang   +5 more
wiley   +1 more source

Using the Fuzzy Logic in Assessing the Programming Performance of Students

International Journal of Assessment Tools in Education, 2018
The overall objective of this study is to understandhow the fuzzy logic theory can be used in measuring the programming performanceof the undergraduate students, as well as proving the advantages of using fuzzylogic in evaluation of students’ performance.
Ozan Şenkal, Nihan Arslan Namlı
doaj   +1 more source