We use cookies to improve your experience with our site.

Indexed in:

SCIE, EI, Scopus, INSPEC, DBLP, CSCD, etc.

Submission System
(Author / Reviewer / Editor)
Advanced Search
Volume 2 Issue 1
January  1987
Turn off MathJax
Article Contents
Abstract
References
Related Articles
Wu Yunzeng. On the Development of Applications of Logic in Programming[J]. Journal of Computer Science and Technology, 1987, 2(1): 30-34.
Citation: Wu Yunzeng. On the Development of Applications of Logic in Programming[J]. Journal of Computer Science and Technology, 1987, 2(1): 30-34.
shu

On the Development of Applications of Logic in Programming

  • Peking University;

More Information
  • Published Date: January 09, 1987
    Abstract
  • Preliminary RemarksBy Logic we mean the discipline which includes proof theory,model theory,recur-sion thoery and axiomatic set theory.In recent years there is a growing recognition of therelevance of logic to computer programming.The close relationship between these twofields seems to be aptly capsuled in the formula proposed by Patrick Hayes among others
    • FullText(HTML)
    • References (4)
  • [1]
    Bell.J.L and M.Machover A Course in Mathematical Logic. Borth-HollandHuurr.Amsterdam.NewYork 1977
    [2]
    Hoare.C.A.R and others(eds.).Mathematical Logic and Programming Languages. Prentice-Hall.1985
    [3]
    Manna.Z. and R.Wallinger. The logic of computer programming. IEEE Trans.on Software Engneering. 4:3(1978)
    [4]
    A.MeGettrick; Definitions of Programming Languages. Oxford University Press.London.1980
    • Relative Articles

  • Related Articles

    [1]Suren Byna, M. Scot Breitenfeld, Bin Dong, Quincey Koziol, Elena Pourmal, Dana Robinson, Jerome Soumagne, Houjun Tang, Venkatram Vishwanath, Richard Warren. ExaHDF5: Delivering Efficient Parallel I/O on Exascale Computing Systems[J]. Journal of Computer Science and Technology, 2020, 35(1): 145-160. DOI: 10.1007/s11390-020-9822-9
    [2]Anthony Kougkas, Hariharan Devarajan, Xian-He Sun. I/O Acceleration via Multi-Tiered Data Buffering and Prefetching[J]. Journal of Computer Science and Technology, 2020, 35(1): 92-120. DOI: 10.1007/s11390-020-9781-1
    [3]Yuhun Jun, Jaemin Lee, Euiseong Seo. Evaluation of Remote-I/O Support for a DSM-Based Computation Offloading Scheme[J]. Journal of Computer Science and Technology, 2017, 32(5): 957-973. DOI: 10.1007/s11390-017-1775-2
    [4]ZHANG Feng, CHEN Guoliang, ZHANG Zhaoqing. OpenMP on Networks of Workstations for Software DSMs[J]. Journal of Computer Science and Technology, 2002, 17(1).
    [5]HONG Jinwei, CHEN Guoliang, ZHANG Zhaoqing. Supporting Flexible Data Distribution in Software DSMs[J]. Journal of Computer Science and Technology, 2000, 15(5): 445-452.
    [6]HONG Jinwei, CHEN Guoliang, ZHANG Zhaoqing. Supporting Flexible Data Distribution in Software DSMs[J]. Journal of Computer Science and Technology, 2000, 15(5).
    [7]SHI Weisong, HU weiwu, TANG Zhimin. Where Does the Time Go in Software DSMs?—Experiences with JIAJIA[J]. Journal of Computer Science and Technology, 1999, 14(3): 193-205.
    [8]XIAO Limin, ZHU Mingfa. Exploiting the Capabilities of the Interconnection Network on Dawning-1000[J]. Journal of Computer Science and Technology, 1999, 14(1): 49-55.
    [9]Sun Ninghui, Liu Wenzhuo, Liu Hong, Wang Chuanbao, Lu Xuelin, Zhang Hao. Dawning-1000 PROOS Distributed Operating System[J]. Journal of Computer Science and Technology, 1997, 12(2): 160-166.
    [10]Wu Xunwei, Hang Guoqiang. Design Technique of I~2L Circuits Based on Multi-Valued Logic[J]. Journal of Computer Science and Technology, 1996, 11(2): 181-187.
    • Supplements (0)

  • Cited by

    Periodical cited type(35)

    1. Xueling Zhu, Roben A Juanatas. Auxiliary Teaching and Student Evaluation Methods Based on Facial Expression Recognition in Medical Education. JMIR Human Factors, 2025, 12: e72838. DOI:10.2196/72838
    2. Xiao Wang, Dongsheng Zhong, Chenghao Liu, et al. DS Net: A Dual-Coded Segmentation Network Leveraging Large Model Prior Knowledge for Intelligent Landslide Extraction. Remote Sensing, 2025, 17(11): 1912. DOI:10.3390/rs17111912
    3. Hu Huangshui, Cao Yu, Tang ZhiZhen, et al. Lightweight multi-scale convolution with blended feature attention for facial expression recognition in the wild. Measurement Science and Technology, 2025, 36(5): 056102. DOI:10.1088/1361-6501/adc9d1
    4. Uzma Nawaz, Zubair Saeed, Kamran Atif. A Novel Transformer-Based Approach for Adult’s Facial Emotion Recognition. IEEE Access, 2025, 13: 56485. DOI:10.1109/ACCESS.2025.3555510
    5. Zheshu Jia. Research on Image Recognition and Classification Algorithms in Cloud Computing Environment Based on Deep Neural Networks. IEEE Access, 2025, 13: 19728. DOI:10.1109/ACCESS.2025.3530242
    6. Wen-Wen Fu, Wen-Juan Gong, Chen-Yang Yu, et al. Facial Expression Generation from Text with FaceCLIP. Journal of Computer Science and Technology, 2025, 40(2): 359. DOI:10.1007/s11390-024-3661-z
    7. Xue Li, Chunhua Zhu, Fei Zhou, et al. Facial expression recognition via joint loss constraining attention-modulated contextual spatial information network. Multimedia Systems, 2025, 31(1) DOI:10.1007/s00530-024-01628-x
    8. Gustave Udahemuka, Karim Djouani, Anish M. Kurien. Multimodal Emotion Recognition Using Visual, Vocal and Physiological Signals: A Review. Applied Sciences, 2024, 14(17): 8071. DOI:10.3390/app14178071
    9. Xiufeng Zhang, Xingkui Fu, Guobin Qi, et al. A multi‐scale feature fusion convolutional neural network for facial expression recognition. Expert Systems, 2024, 41(4) DOI:10.1111/exsy.13517
    10. Zhefei Xiao, Ye Zhu, Yang Hong, et al. Enhancing Sun-Dried Kelp Detection: Introducing K-YOLO, a Lightweight Model with Improved Precision and Recall. Sensors, 2024, 24(6): 1971. DOI:10.3390/s24061971
    11. A. Sasithradevi, Ravi Teja Challa, Siva Saketh, et al. Deep dual domain joint discriminant feature framework for emotion based music player. International Journal of System Assurance Engineering and Management, 2024, 15(8): 3854. DOI:10.1007/s13198-024-02382-z
    12. Shanmin Wang, Hui Shuai, Lei Zhu, et al. Expression Complementary Disentanglement Network for Facial Expression Recognition. Chinese Journal of Electronics, 2024, 33(3): 742. DOI:10.23919/cje.2022.00.351
    13. Mohammed Aly, Abdullatif Ghallab, Islam S. Fathi. Enhancing Facial Expression Recognition System in Online Learning Context Using Efficient Deep Learning Model. IEEE Access, 2023, 11: 121419. DOI:10.1109/ACCESS.2023.3325407
    14. Tong Li, Hong-Lan Jiang, Hai Mo, et al. Approximate Processing Element Design and Analysis for the Implementation of CNN Accelerators. Journal of Computer Science and Technology, 2023, 38(2): 309. DOI:10.1007/s11390-023-2548-8
    15. Antonio Andriella, Carme Torras, Carla Abdelnour, et al. Introducing CARESSER: A framework for in situ learning robot social assistance from expert knowledge and demonstrations. User Modeling and User-Adapted Interaction, 2023, 33(2): 441. DOI:10.1007/s11257-021-09316-5
    16. Md. Tarek Hasan, Md. Al Emran Hossain, Md. Saddam Hossain Mukta, et al. A Review on Deep-Learning-Based Cyberbullying Detection. Future Internet, 2023, 15(5): 179. DOI:10.3390/fi15050179
    17. Yan Wang, Ning Cao. A Study of Intelligent Paper Grouping Model for Adult Higher Education Based on Random Matrix. Mathematical Problems in Engineering, 2022, 2022: 1. DOI:10.1155/2022/2610545
    18. Haobang Wu, Vinayakumar Ravi. Real Time Facial Expression Recognition for Online Lecture. Wireless Communications and Mobile Computing, 2022, 2022: 1. DOI:10.1155/2022/9684264
    19. Lei Jiang, Panote Siriaraya, Dongeun Choi, et al. Electroencephalogram signals emotion recognition based on convolutional neural network-recurrent neural network framework with channel-temporal attention mechanism for older adults. Frontiers in Aging Neuroscience, 2022, 14 DOI:10.3389/fnagi.2022.945024
    20. Walaa Gouda, Sidra Tahir, Saad Alanazi, et al. Unsupervised Outlier Detection in IOT Using Deep VAE. Sensors, 2022, 22(17): 6617. DOI:10.3390/s22176617
    21. Sumeet Saurav, Anil Kumar Saini, Ravi Saini, et al. Deep learning inspired intelligent embedded system for haptic rendering of facial emotions to the blind. Neural Computing and Applications, 2022, 34(6): 4595. DOI:10.1007/s00521-021-06613-3
    22. Zhize Wu, Huanyi Li, Xiaofeng Wang, et al. New Benchmark for Household Garbage Image Recognition. Tsinghua Science and Technology, 2022, 27(5): 793. DOI:10.26599/TST.2021.9010072
    23. Mehdi Hellou, JongYoon Lim, Norina Gasteiger, et al. Technical Methods for Social Robots in Museum Settings: An Overview of the Literature. International Journal of Social Robotics, 2022, 14(8): 1767. DOI:10.1007/s12369-022-00904-y
    24. Shengbin Wu, Shan Zhong. Expression Recognition Method Using Improved VGG16 Network Model in Robot Interaction. Journal of Robotics, 2021, 2021: 1. DOI:10.1155/2021/9326695
    25. Yun Xue, Lei Zhu, Bin Zou, et al. Research on Inversion Mechanism of Chlorophyll—A Concentration in Water Bodies Using a Convolutional Neural Network Model. Water, 2021, 13(5): 664. DOI:10.3390/w13050664
    26. Jatin Sharma, Deepak Kumar, Tanmay Gupta. A Novel RCNN-CNN Hybrid Framework for Emotion Recognition in Facial Expressions. 2024 International Conference on Intelligent Computing and Sustainable Innovations in Technology (IC-SIT), DOI:10.1109/IC-SIT63503.2024.10862799
    27. Milind Talele, Rajashree Jain, Priti Kulkarni. Review of Face Emotion Recognition Using Feature Extraction Techniques. 2023 Intelligent Computing and Control for Engineering and Business Systems (ICCEBS), DOI:10.1109/ICCEBS58601.2023.10448632
    28. Xiaohu Wang. Art Design based on Computer Vision Communication. 2022 IEEE 2nd International Conference on Mobile Networks and Wireless Communications (ICMNWC), DOI:10.1109/ICMNWC56175.2022.10032040
    29. B. Vinoth Kumar, R. Jayavarshini, Naveena Sakthivel, et al. Computer Vision and Image Processing. Communications in Computer and Information Science, DOI:10.1007/978-3-031-11346-8_47
    30. Harald Ian D. Muri, Dag R. Hjelme, Jürgen Beyerer, et al. Classification of municipal solid waste using deep convolutional neural network model applied to multispectral images. Automated Visual Inspection and Machine Vision IV, DOI:10.1117/12.2590224
    31. Amgad Muneer, Rao Faizan Ali, Abdo Ali Al-Sharai. Deep Learning Approach For Facial Age Recognition. 2021 International Conference on Innovative Computing (ICIC), DOI:10.1109/ICIC53490.2021.9692943
    32. Nitish Kumar Mahala, Muzammil Khan, Pushpendra Kumar. A Non-Local Weighted Fractional Order Variational Model for Smoke Detection Using Deep Learning Models. TENCON 2023 - 2023 IEEE Region 10 Conference (TENCON), DOI:10.1109/TENCON58879.2023.10322437
    33. Xiaohu Wang. Art Design based on Computer Vision Communication. 2022 IEEE 2nd International Conference on Mobile Networks and Wireless Communications (ICMNWC), DOI:10.1109/ICMNWC56175.2022.10031793
    34. Tina Babu, Rekha R Nair, A G Kavya, et al. Convolutional Neural Network for Facial Emotion Detection. 2024 International Conference on IT Innovation and Knowledge Discovery (ITIKD), DOI:10.1109/ITIKD63574.2025.11004697
    35. Jingtong Yang. Learning to Leverage Multi-Scale and Multi-Level Features for Facial Expression Recognition. 2023 Asia-Pacific Conference on Image Processing, Electronics and Computers (IPEC), DOI:10.1109/IPEC57296.2023.00014

    Other cited types(0)

Catalog

    Get Citation
    PDF
    XML
    Article views (20) PDF downloads (1074) Cited by(35)
    Related

    Copyright ©2025 JCST, All Rights Reserved     京ICP备05002829号-1

    Institute of Computing Technology, Chinese Academy of Sciences
    P.O. Box 2704, Beijing 100190, P.R. China

    Tel.: 86-10-62610746 E-mail: jcst@ict.ac.cn

    /

    DownLoad:  Full-Size Img  PowerPoint
    Return
    Return