Retrospective of Computer Programs in Electrical Engineering Education

Συγγραφείς: Kornilov, Aleksandr

Πηγή: 2021 7th IEEE History of Electrotechnology Conference (HISTELCON) Electrotechnology Conference (HISTELCON), 2021 7th IEEE History of. :72-77 Nov, 2021

Relation: 2021 7th IEEE History of Electrotechnology Conference (HISTELCON)

Modeling the dynamic semantics of a computer program

Συγγραφείς: K. E. Iklassova, R. N. Kozhakhmetova

Πηγή: Цифровые модели и решения, Vol 2, Iss 4, Pp 5-12 (2023)

Θεματικοί όροι: context-free grammar, regularity, modeling, 02 engineering and technology, dynamical system, TX1-1110, mathematical model of the language, Economics as a science, 0202 electrical engineering, electronic engineering, information engineering, loop operator, Home economics, semantics, syntax, HB71-74

Σύνδεσμος πρόσβασης: https://doaj.org/article/307a3e6a22f7436fb9595cf0db837598

Cyber security in the vocational education programme electrical engineering and computer technology

Συγγραφείς: Wilhelmsen, Marie

Πηγή: Wilhelmsen, Marie. Cyber security in the vocational education programme electrical engineering and computer technology. Master thesis, University of Oslo, 2022

Διαθεσιμότητα: http://hdl.handle.net/10852/96151
https://www.duo.uio.no/bitstream/handle/10852/96151/5/Master_thesis_mariwilh.pdf

Inbound Tourists’ Perception of Tourist Destination Image Classified by UGC Picture Computer Program

Συγγραφείς: Xiuqing Fu, Fang Wan, Ying Wu

Πηγή: Journal of Electrical and Computer Engineering, Vol 2022 (2022)

Θεματικοί όροι: TK7885-7895, Computer engineering. Computer hardware, 11. Sustainability, 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology

Περιγραφή αρχείου: text/xhtml

Σύνδεσμος πρόσβασης: https://doaj.org/article/1bbde78b2ff94f329525ee1ed5eb1c90

THE 15 ABET-ACCREDITED Historically Black College and University Engineering Schools 2018 : ENGINEERING PROGRAMS

Πηγή: US Black Engineer and Information Technology, 2018 Jan 01. 42(2), 62-71.

Σύνδεσμος πρόσβασης: https://www.jstor.org/stable/26558439

Translating Natural Language Instructions to Computer Programs for Robot Manipulation

Συγγραφείς: Sagar Venkatesh Gubbi, Raviteja Upadrashta, Bharadwaj Amrutur

Πηγή: 2021 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS). :1919-1926

Θεματικοί όροι: FOS: Computer and information sciences, Computer Science - Robotics, Computer Science - Machine Learning, 0209 industrial biotechnology, Computer Science - Computation and Language, 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology, Robotics (cs.RO), Computation and Language (cs.CL), Machine Learning (cs.LG)

Σύνδεσμος πρόσβασης: http://arxiv.org/pdf/2012.13695
http://arxiv.org/abs/2012.13695
https://arxiv.org/abs/2012.13695

Factors affecting implementation of computer vision-based technologies adopted for monitoring buildings construction projects

Συγγραφείς: Alzubi, Khalid Mhmoud, Alaloul, Wesam Salah, Al Salaheen, Marsail, Alsaaidah, Bayan, Musarat, Muhammad Ali, Qureshi, Abdul Hannan

Πηγή: Journal of Civil Engineering and Management, Vol 30, Iss 7 (2024)
Journal of Civil Engineering and Management

Θεματικοί όροι: Construction industry -- Automation, Building construction, automated technologies, factors, Logistics -- Technological innovations, 0211 other engineering and technologies, Articles, 02 engineering and technology, structural equation modelling, Logistics -- Computer programs, computer vision, Technology -- Automation, 11. Sustainability, 0202 electrical engineering, electronic engineering, information engineering, construction monitoring, Computer vision, automated monitoring, TH1-9745, Construction industry -- Technological innovations

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: https://doaj.org/article/ad2fe0e2ced54eb88dc887381f27e8cf
https://www.um.edu.mt/library/oar/handle/123456789/128877

Hyper Hoare Logic: (Dis-)Proving Program Hyperproperties

Συγγραφείς: Thibault Dardinier, Peter Müller 0001

Πηγή: Proceedings of the ACM on Programming Languages. 8:1485-1509

Θεματικοί όροι: Incorrectness Logic, 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, Program Logic, 01 natural sciences, Hyperproperties, Non-Interference

Relationships between computational thinking and the quality of computer programs

Συγγραφείς: Kay-Dennis Boom, Matt Bower, Jens Siemon, Amaël Arguel

Συνεισφορές: Arguel, Amaël, Universität Hamburg = University of Hamburg (UHH), Macquarie University, Cognition, langues, langage, ergonomie (CLLE), École Pratique des Hautes Études (EPHE), Université Paris Sciences et Lettres (PSL)-Université Paris Sciences et Lettres (PSL)-Université Toulouse - Jean Jaurès (UT2J), Université de Toulouse (UT)-Université de Toulouse (UT)-Université Bordeaux Montaigne (UBM)-Centre National de la Recherche Scientifique (CNRS)-Toulouse Mind & Brain Institut (TMBI), Université Toulouse - Jean Jaurès (UT2J), Université de Toulouse (UT)-Université de Toulouse (UT)-Université Toulouse III - Paul Sabatier (UT3), Université de Toulouse (UT)-Université Toulouse - Jean Jaurès (UT2J), Université de Toulouse (UT)-Université Toulouse III - Paul Sabatier (UT3), Université de Toulouse (UT)

Πηγή: Education and Information Technologies. 27:8289-8310

Θεματικοί όροι: Visual programming, [SHS.EDU]Humanities and Social Sciences/Education, 4. Education, [SHS.EDU] Humanities and Social Sciences/Education, 05 social sciences, [SHS.PSY]Humanities and Social Sciences/Psychology, Program quality, Scratch, 02 engineering and technology, [SHS.PSY] Humanities and Social Sciences/Psychology, 0202 electrical engineering, electronic engineering, information engineering, Computational thinking, 0503 education

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: https://link.springer.com/content/pdf/10.1007/s10639-022-10921-z.pdf

Advantages and uses of high-level math programs for electrical engineering

Συγγραφείς: Riddle, A.N.

Πηγή: Proceedings of WESCON '94 WESCON - 94 WESCON/94. Idea/Microelectronics. Conference Record. :181-185 1994

Relation: Proceedings of WESCON '94

HoToPy : a toolbox for X-ray holo-tomography in Python

Συγγραφείς: Jens Lucht, Paul Meyer, Leon Merten Lohse, Tim Salditt

Συνεισφορές: Lucht, Jens, Meyer, Paul, Lohse, Leon Merten, Salditt, Tim

Πηγή: J Synchrotron Radiat

Θεματικοί όροι: Image and Video Processing (eess.IV), FOS: Electrical engineering, electronic engineering, information engineering, FOS: Physical sciences, Optics, Image and Video Processing, Computer Programs, Optics (physics.optics)

Σύνδεσμος πρόσβασης: https://pubmed.ncbi.nlm.nih.gov/41159837
https://pubmed.ncbi.nlm.nih.gov/41159837/
https://doi.org/10.1107/S1600577525008550
https://pmc.ncbi.nlm.nih.gov/articles/PMC12591064/
http://arxiv.org/abs/2506.11567
http://arxiv.org/abs/2506.11567v1
https://resolver.sub.uni-goettingen.de/purl?gro-2/151515
https://resolver.sub.uni-goettingen.de/purl?gro-2/152458

Classifying Co-resident Computer Programs Using Information Revealed by Resource Contention

Συγγραφείς: Tor J. Langehaug, Brett J. Borghetti, Scott R. Graham

Πηγή: Digital Threats: Research and Practice. 4:1-29

Θεματικοί όροι: 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology, 16. Peace & justice

A tool for evaluating computer programs from students

Συγγραφείς: Quentin Vaneck, Thomas Colart, Benoît Frénay, Benoît Vanderose

Πηγή: Proceedings of the 3rd International Workshop on Education through Advanced Software Engineering and Artificial Intelligence. :23-26

Θεματικοί όροι: Self assessment, 4. Education, 0202 electrical engineering, electronic engineering, information engineering, Software quality, 02 engineering and technology, Static analysis, Automated grading, Gamification

Σύνδεσμος πρόσβασης: https://researchportal.unamur.be/en/publications/71858da3-ce6d-4ed2-9a7f-3d6d25abcd1a
https://doi.org/10.1145/3472673.3473961

A Study on the Improvement of Copyright Protection in Computer Programs: Focused on Font Program

Συγγραφείς: Jong Eop Kim, In Cheol Kim

Πηγή: The Journal of Korean Institute of Communications and Information Sciences. 46:2013-2022

Θεματικοί όροι: 0211 other engineering and technologies, 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology

Meaning and Context in Computer Programs: Sharing domain knowledge among programmers using the source code as the medium

Συγγραφείς: Alvaro Videla

Πηγή: Queue. 19:60-68

Θεματικοί όροι: 9. Industry and infrastructure, 4. Education, 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology, 7. Clean energy

Σύνδεσμος πρόσβασης: https://dl.acm.org/doi/pdf/10.1145/3494834.3498852

A Proposed Model for Source Code Reuse Detection in Computer Programs

Συγγραφείς: Zahra Setoodeh, Mohammad Reza Moosavi, Mostafa Fakhrahmad, Mohammad Bidoki

Πηγή: Iranian Journal of Science and Technology, Transactions of Electrical Engineering. 45:1001-1014

Θεματικοί όροι: 05 social sciences, 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology, 16. Peace & justice, 0503 education

A Program for Africa's Computer People

Συγγραφείς: ZACHARY, G. PASCAL

Πηγή: Issues in Science and Technology, 2003 Apr 01. 19(3), 79-85.

Σύνδεσμος πρόσβασης: https://www.jstor.org/stable/43312331

The Computer Programs of Charles Babbage

Συγγραφείς: Raúl Rojas

Πηγή: IEEE Annals of the History of Computing. 43:6-18

Θεματικοί όροι: 05 social sciences, 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology, 0509 other social sciences

Active learning for inference and regeneration of computer programs that store and retrieve data

Συγγραφείς: Martin C. Rinard, Jiasi Shen 0001, Varun Mangalick

Συνεισφορές: Massachusetts Institute of Technology. Computer Science and Artificial Intelligence Laboratory, Massachusetts Institute of Technology. Department of Electrical Engineering and Computer Science

Πηγή: MIT web domain

Θεματικοί όροι: 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: https://dl.acm.org/doi/pdf/10.1145/3276954.3276959
https://hdl.handle.net/1721.1/125749

Communicating Natural Programs to Humans and Machines

Συγγραφείς: Samuel Acquaviva, Yewen Pu, Marta Kryven, Catherine Wong, Gabrielle E. Ecanow, Maxwell I. Nye, Theodoros Sechopoulos, Michael Henry Tessler, Joshua B. Tenenbaum

Πηγή: Advances in Neural Information Processing Systems 35. :3731-3743

Θεματικοί όροι: FOS: Computer and information sciences, Artificial Intelligence (cs.AI), Computer Science - Artificial Intelligence, 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology, 01 natural sciences, 0105 earth and related environmental sciences

Σύνδεσμος πρόσβασης: http://arxiv.org/abs/2106.07824
http://papers.nips.cc/paper_files/paper/2022/hash/182aed0379591ebd1d655b2bdc152075-Abstract-Datasets_and_Benchmarks.html
https://arxiv.org/abs/2106.07824