Results 51 to 60 of about 817,699 (342)
Directed evolution of enzymes at the crossroads of tradition and innovation
FEBS Open Bio, EarlyView.An iterative cycle of data‐driven enzyme optimization comprising four stages: genetic diversification of a template enzyme, expression of protein variants, high‐throughput evaluation, and machine‐learning‐guided redesign of the next variant library.
Maria Tomkova +2 more
wiley +1 more source
Complexity of Many-Valued Logics [PDF]
, 2002 As is the case for other logics, a number of complexity-related questions can be posed in the context of many-valued logic. Some of these, such as the complexity of the sets of satisfiable and valid formulas in various logics, are completely standard ...
Hähnle, Reiner,
core
High Speed Multiple Valued Logic Full Adder Using Carbon Nano Tube Field Effect Transistor [PDF]
Symposium on VLSI Circuits, 2011 High speed Full-Adder (FA) module is a critical element in designing high performance arithmetic circuits. In this paper, we propose a new high speed multiple-valued logic FA module.
A. Khatir +2 more
semanticscholar +1 more source
Intelligent Tutoring Systems for Adult Learning in STEM Disciplines
New Directions for Adult and Continuing Education, EarlyView.ABSTRACT Intelligent tutoring systems (ITS) are reshaping adult learning in STEM by providing adaptive, data‐driven instruction across classrooms, workplaces, and informal environments. In the context of ITS, this article compares generative AI, which creates personalized explanations and practice materials, with explainable AI, which focuses on ...
Jill Zarestky, Amanda R. Lager Gleason
wiley +1 more source
Proceedings of the 26. international symposium on multiple-valued logic [PDF]
, 1996 IEEE Computer Society Technical Committee on Multiple-Value LogicCentro de Informacion y Documentacion Cientifica (CINDOC). C/Joaquin Costa, 22. 28002 Madrid.
The Inst. of Electrical and Electronics Engineers, Inc. - IEEE, Psicataway, NJ (United States)
core
System monitoring with a five-valued LTL [PDF]
, 2022 S.33-54In runtime verification, an appropriate monitoring result can only be achieved according to a complete and accurate observation. Unfortunately, such an observation is not always available in practice.
Schlingloff, B.-H., Chai, M.
core
New Directions for Adult and Continuing Education, EarlyView.ABSTRACT Mental well‐being is central to adult learner success, yet many adult education institutions lack capacity to provide timely and accessible support. This article examines how artificial intelligence (AI) can strengthen mental health–adjacent supports in adult and continuing higher education, with attention to professional practice and ...
Adam L. McClain, Thomas Wade
wiley +1 more source
Extreme Low Power Technology using Ternary Arithmetic Logic Circuits via Drastic Interconnect Length Reduction [PDF]
, 2020 Ternary logic is more power-efficient than binary logic because of lower device count required to perform the same logic functions. Its benefits become more pronounced in highly scaled systems where most power consumption occurs at the interconnect ...
Seokhyeong Kang +13 more
core +1 more source
Advanced Engineering Materials, EarlyView.This article presents the NFDI‐MatWerk Ontology (MWO), a Basic Formal Ontology‐based framework for interoperable research data management in materials science and engineering (MSE). Covering consortium structures, research data management resources, services, and instruments, MWO enables semantic integration, Findable, Accessible, Interoperable, and ...
Hossein Beygi Nasrabadi +4 more
wiley +1 more source
A New Theory for Multiple Valued Logic Using Convert-Coded-Collect (CCCi) Space
Journal of Engineering and Sustainable Development, 2012 The Multiple-Valued Logic (MVL) is one of the keys to building processors in the future because the use of the MVL in control and uP will reduce the number of instructions that are necessary to solve problems and it increases the parallelism.
Dhafer R. Zaghar
doaj