Results 81 to 90 of about 482,181 (288)

Logic Programming for Describing and Solving Planning Problems

, 2000
A logic programming paradigm which expresses solutions to problems as stable models has recently been promoted as a declarative approach to solving various combinatorial and search problems, including planning problems.
Bruynooghe, Maurice
core   +2 more sources

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

Spectrally Tunable 2D Material‐Based Infrared Photodetectors for Intelligent Optoelectronics

Advanced Functional Materials, EarlyView.
Intelligent optoelectronics through spectral engineering of 2D material‐based infrared photodetectors. Abstract The evolution of intelligent optoelectronic systems is driven by artificial intelligence (AI). However, their practical realization hinges on the ability to dynamically capture and process optical signals across a broad infrared (IR) spectrum.
Junheon Ha, Yingshan Ma, Yong Nam An, Sung‐Un An, Hyeon Hak Jung, Suvi‐Tuuli Varjamo, Jiwon Yoo, Junho Min, Hanvit Kim, Faisal Ahmed, Sang Hoon Chae, Young Min Song, Weiwei Cai, Tawfique Hasan, Zhipei Sun, Dong‐Ho Kang, Hyeon‐Jin Shin, Yunyun Dai, Hoon Hahn Yoon   +18 more
wiley   +1 more source

The Impact of Pair Programming on the Performance of Slow-Paced Students: A Study on Data Structure Courses

Journal of Information and Organizational Sciences, 2020
A study shows that pair programming can help slow-paced students in completing Introductory Programming assessment. This paper replicates the study on Data Structure course, in which the completion of the assessments does not only rely on logic but also ...
Mewati Ayub, Oscar Karnalim, Laurentius Risal, Maresha Caroline Wijanto   +3 more
doaj   +1 more source

Alkali Ion‐Incorporated HfO2 Dielectrics for Reconfigurable Neuromorphic Computing

Advanced Functional Materials, EarlyView.
This work presents an indium gallium zinc oxide (IGZO) transistor with an alkali cation‐integrated hafnium dioxide (HfO2) dielectric exhibiting synaptic behavior via ion retention. The solution‐based film fabrication strategy overcomes the limitations of atomic layer deposition (ALD) and precursor coating, enabling the control of synaptic retention ...
Seung Yeon Ki, In Cheol Kwak, Seonkwon Kim, Jihyun Kim, Dong Gue Roe, Se‐Jin Kim, Joohoon Kang, Jeong Ho Cho   +7 more
wiley   +1 more source

Lifted Variable Elimination for Probabilistic Logic Programming

, 2014
Lifted inference has been proposed for various probabilistic logical frameworks in order to compute the probability of queries in a time that depends on the size of the domains of the random variables rather than the number of instances.
Bellodi, Elena, Costa, Vitor Santos, Lamma, Evelina, Riguzzi, Fabrizio, Zese, Riccardo   +4 more
core   +1 more source

Research on formal description and verification of automated trust negotiation

Tongxin xuebao, 2011
First,a unified ATN formal framework was presented,into which typical negotiation strategies could be reduced.Second,the formal verification of ATN was defined based on the formal framework.The objectives and procedures of the formal verification of ATN ...
GUAN Shang-yuan 1, WU Wei-guo 1, DONG Xiao-she 1, QIAN De-pei1   +3 more
doaj   +2 more sources

Program Logic Foundations: Putting the Logic Back into Program Logic

Journal of MultiDisciplinary Evaluation, 2020
Background: Program logic is one of the most used tools by the public policy evaluator. There is, however, little explanation in the evaluation literature about the logical foundations of program logic or discussion of how it may be determined if a program is logical.
openaire   +2 more sources

In Materia Shaping of Randomness with a Standard Complementary Metal‐Oxide‐Semiconductor Transistor for Task‐Adaptive Entropy Generation

Advanced Functional Materials, EarlyView.
This study establishes a materials‐driven framework for entropy generation within standard CMOS technology. By electrically rebalancing gate‐oxide traps and Si‐channel defects in foundry‐fabricated FDSOI transistors, the work realizes in‐materia control of temporal correlation – achieving task adaptive entropy optimization for reinforcement learning ...
Been Kwak, Ryun‐Han Koo, Youngchan Cho, Changhyeon Han, Dongbin Kim, Soi Jeong, Yunho Shin, Joonhyeok Choi, Jiseong Im, Jonghyun Ko, Jong‐Ho Lee, Jangsaeng Kim, Youngho Kang, Wonjun Shin, Daewoong Kwon   +14 more
wiley   +1 more source

Pengines: Web Logic Programming Made Easy

, 2014
When developing a (web) interface for a deductive database, functionality required by the client is provided by means of HTTP handlers that wrap the logical data access predicates.
Lager, Torbjörn, Wielemaker, Jan
core   +2 more sources