Function-constrained Program Synthesis

Συγγραφείς: Hajali, Patrick, Budvytis, Ignas

Θεματικοί όροι: Computer Science - Machine Learning, Computer Science - Computation and Language, Computer Science - Programming Languages

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

GCAD: A Computational Framework for Mammalian Genetic Program Computer-Aided Design

Συγγραφείς: Dreyer, Kathleen S.^{aff1, aff2}, Nguyen, Anh V.^aff3, Bora, Gauri G.^{aff1, aff2}, Redus, Lauren E.^{aff1, aff2}, Edelstein, Hailey I.^{aff1, aff2}, Garcia, Jocelyn J.^aff3, Anastasia, Eleftheria^{aff2, aff4}, Dray, Kate E.^{aff1, aff2}, Leonard, Joshua N.^{aff1, aff2, aff5, aff6}, Mangan, Niall M.^{aff2, aff3, aff7}

Πηγή: ACS Synthetic Biology. 15(3):1033-1052

Διαθεσιμότητα: https://pubs.acs.org/doi/10.1021/acssynbio.5c00670

Dynamic green's functions of an infinite plate - a computer program / Nelson N. Hsu.

Συγγραφείς: Hsu, Nelson N.

Διαθέσιμο Online: https://purl.fdlp.gov/GPO/gpo104502
https://doi.org/10.6028/NBS.IR.85-3234
https://www.govinfo.gov/content/pkg/GOVPUB-C13-e90e8c8eaa8c02df5597b951afc72ee9/pdf/GOVPUB-C13-e90e8c8eaa8c02df5597b951afc72ee9.pdf

A Fusion of ReLU and upSample Function With Store in VTA for Higher Throughput of Network Inferencing.

Συγγραφείς: Gou, Dong¹ (AUTHOR), He, Zheng¹ (AUTHOR), Zhao, Yinghai² (AUTHOR), Wang, Xuhui¹ (AUTHOR), Gao, Yanshuo¹ (AUTHOR), Zhang, Guohe¹ (AUTHOR), Mei, Kuizhi¹ (AUTHOR) meikuizhi@mail.xjtu.edu.cn

Πηγή: Electronics Letters (Wiley-Blackwell). Jan2025, Vol. 61 Issue 1, p1-4. 4p.

Θεματικοί όροι: *Systems design, *Mathematical optimization, Subroutines (Computer programs)

Web-based 3D visualization in a digital library of mathematical functions / Qiming Wang, Bonita Saunders.

Συγγραφείς: Wang, Qiming, 1943-

Θεματικοί όροι: Functions, Special., Numerical grid generation (Numerical analysis), Three-dimensional display systems., VRML (Computer program language), Functions, Special., Numerical grid generation (Numerical analysis), Three-dimensional display systems., VRML (Computer program language)

Διαθέσιμο Online: https://purl.fdlp.gov/GPO/gpo104351
https://www.govinfo.gov/content/pkg/GOVPUB-C13-e52f8c363dca403671aeaa48a40a43ac/pdf/GOVPUB-C13-e52f8c363dca403671aeaa48a40a43ac.pdf

COMPUTER PROGRAMS FOR COMPUTATION OF THE HYPERBOLIC TANGENT FUNCTION

Συγγραφείς: Slavić, Dušan V., Kraus, Laslo L.

Πηγή: Publikacije Elektrotehničkog fakulteta. Serija Matematika i fizika, 1974 Jan 01(461/497), 41-46.

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

Omniform I: a general purpose machine program for the calculation of tables of functions given explicitly in terms of one variable / Joseph. Hilsenrath.

Συγγραφείς: Hilsenrath, Joseph

Θεματικοί όροι: Computer programming., Functions.

Διαθέσιμο Online: https://purl.fdlp.gov/GPO/gpo95821
https://doi.org/10.6028/NBS.TN.125
https://www.govinfo.gov/content/pkg/GOVPUB-C13-22d239ec19836221dafa5dae33142f73/pdf/GOVPUB-C13-22d239ec19836221dafa5dae33142f73.pdf

SATURATED LINEAR UNIT AS AN UNIVERSAL SYMMETRIC ACTIVATION FUNCTION FOR DEEP LEARNING.

Alternate Title: ЗАСИЋЕНА ЛИНЕАРНА ЈЕДИНИЦА КАО УНИВЕРЗАЛНА СИМЕТРИЧНА АКТИВАЦИОНА ФУНКЦИЈА ЗА ДУБИНСКО УЧЕЊЕ. (Serbian)

Συγγραφείς: Banduka, Maja Lutovac, Milićević, Vladimir, Franc, Igor, Zdravković, Nemanja, Dimitrijević, Nikola

Πηγή: Serbian Journal of Management; 2026, Vol. 21 Issue 1, p37-48, 12p

Θεματικοί όροι: Artificial neural networks, Deep learning, Classification, Subroutines (Computer programs), Hyperbolic functions

Implementation of novel loss and activation function-based deep network in big data analytics for pattern discovery across multiple data sources.

Συγγραφείς: Mavuluru, Kotamma, Maruthupermal, Dr. S.

Πηγή: Journal of Big Data; 3/27/2026, Vol. 13 Issue 1, p1-41, 41p

Θεματικοί όροι: Deep learning, Long short-term memory, Attention, Loss functions (Statistics), Subroutines (Computer programs), Pattern perception, Big data

Evaluation of customized adaptive cardiovascular activation function with deep neural networks for myocardial infarction classification using ECG image.

Συγγραφείς: D, Banumathy, Latha Pandala, Madhavi, Masud, Mehedi, Abouhawwash, Mohamed

Πηγή: PeerJ Computer Science; Jun2026, p1-26, 26p

Θεματικοί όροι: Myocardial infarction, Electrocardiography, Mathematical optimization, Random forest algorithms, Artificial neural networks, Statistical accuracy, Subroutines (Computer programs)

Chain-of-Thought Tokens are Computer Program Variables

Συγγραφείς: Zhu, Fangwei, Wang, Peiyi, Sui, Zhifang

Θεματικοί όροι: Computer Science - Computation and Language, Computer Science - Artificial Intelligence

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

Developing an advanced deep learning-based MR image framework for brain stroke segmentation and classification with novel activation function.

Συγγραφείς: Jesila Mol, J., Jancy, S.

Πηγή: International Journal of Neuroscience; Aug2026, Vol. 136 Issue 8, p1159-1183, 25p

Θεματικοί όροι: Deep learning, Magnetic resonance imaging, Ischemic stroke, Subroutines (Computer programs), Image segmentation, Diagnostic imaging, Image processing, Artificial neural networks

Non-textual copying of computer programs and emulating the functions of a computer program

Πηγή: Information Technology and Intellectual Property Law. 2019/01/01

EDP2PDF: a computer program for extracting a pair distribution function from an electron diffraction pattern for the structural analysis of materials.

Συγγραφείς: Liu H; Australian Centre for Microscopy and Microanalysis, University of Sydney, Sydney, New South Wales 2006, Australia., Nomoto K; School of Aerospace, Mechanical and Mechatronic Engineering, University of Sydney, Sydney, New South Wales 2006, Australia.; School of Mechanical and Manufacturing Engineering, UNSW Sydney, Sydney, New South Wales 2052, Australia., Ceguerra AV; Australian Centre for Microscopy and Microanalysis, University of Sydney, Sydney, New South Wales 2006, Australia.; School of Aerospace, Mechanical and Mechatronic Engineering, University of Sydney, Sydney, New South Wales 2006, Australia., Kruzic JJ; School of Mechanical and Manufacturing Engineering, UNSW Sydney, Sydney, New South Wales 2052, Australia., Cairney J; Australian Centre for Microscopy and Microanalysis, University of Sydney, Sydney, New South Wales 2006, Australia.; School of Aerospace, Mechanical and Mechatronic Engineering, University of Sydney, Sydney, New South Wales 2006, Australia., Ringer SP; Australian Centre for Microscopy and Microanalysis, University of Sydney, Sydney, New South Wales 2006, Australia.; School of Aerospace, Mechanical and Mechatronic Engineering, University of Sydney, Sydney, New South Wales 2006, Australia.

Πηγή: Journal of applied crystallography [J Appl Crystallogr] 2023 May 31; Vol. 56 (Pt 3), pp. 889-902. Date of Electronic Publication: 2023 May 31 (Print Publication: 2023).

Τύπος έκδοσης: Journal Article

Στοιχεία περιοδικού: Publisher: Wiley Online Library Country of Publication: United States NLM ID: 9876190 Publication Model: eCollection Cited Medium: Print ISSN: 0021-8898 (Print) Linking ISSN: 00218898 NLM ISO Abbreviation: J Appl Crystallogr Subsets: PubMed not MEDLINE

Repair and Initialization Functions in the Generation of School Schedules with Genetic Algorithms.

Συγγραφείς: Martinez, Alejandro Moreno, Landassuri Moreno, Victor Manuel, Chau, Asdrúbal López, Morales Escobar, Saturnino Job

Πηγή: International Journal of Combinatorial Optimization Problems & Informatics; Jan-Apr2026, Vol. 17 Issue 1, p263-274, 12p

Θεματικοί όροι: Genetic algorithms, School schedules, Scheduling, Mathematical functions, Mathematical optimization, Subroutines (Computer programs)

Computer-assisted training of executive functions in adult patients with non-progressive acquired brain damage - a pilot study on efficacy of a new therapeutic application.

Συγγραφείς: Polanowska KE; 2nd Department of Neurology, Institute of Psychiatry and Neurology, Warsaw, Poland., Iwański S; 2nd Department of Neurology, Institute of Psychiatry and Neurology, Warsaw, Poland., Leśniak MM; University of Warsaw Faculty of Psychology, Warsaw, Poland., Seniów J; 2nd Department of Neurology, Institute of Psychiatry and Neurology, Warsaw, Poland.

Πηγή: Applied neuropsychology. Adult [Appl Neuropsychol Adult] 2024 Nov-Dec; Vol. 31 (6), pp. 1180-1191. Date of Electronic Publication: 2022 Aug 24.

Τύπος έκδοσης: Journal Article

Στοιχεία περιοδικού: Publisher: Taylor & Francis Group Country of Publication: United States NLM ID: 101584082 Publication Model: Print-Electronic Cited Medium: Internet ISSN: 2327-9109 (Electronic) Linking ISSN: 23279095 NLM ISO Abbreviation: Appl Neuropsychol Adult Subsets: MEDLINE

Ιατρικοί όροι (MeSH): Executive Function*/physiology , Brain Injuries*/complications , Brain Injuries*/rehabilitation , Therapy, Computer-Assisted*, Problem Solving/physiology ; Humans ; Male ; Pilot Projects ; Female ; Middle Aged ; Adult ; Aged ; Activities of Daily Living ; Social Skills

Use of a Spreadsheet To Calculate the Net Charge of Peptides and Proteins as a Function of pH: An Alternative to Using 'Canned' Programs To Estimate the Isoelectric Point of These Important Biomolecules

Συγγραφείς: Sims, Paul A.

Πηγή: Journal of Chemical Education. 87(8):803-808

Διαθεσιμότητα: https://pubs.acs.org/doi/10.1021/ed100232j

基于Ｎｕｓｓｂａｕｍ函数的ＵＡＶ预设性能 神经网络轨迹跟踪. (Chinese)

Alternate Title: Neural Network Trajectory Tracking of UAV Based on Nussbaum Function with Preset Performance. (English)

Συγγραφείς: 彭易烩, 徐雪松, 张义笑, 葛泉波

Πηγή: Journal of Henan University of Science & Technology, Natural Science; Apr2026, Vol. 47 Issue 2, p45-57, 13p

Θεματικοί όροι: Quadrotor helicopters, Drone aircraft control systems, Robotic trajectory control, Subroutines (Computer programs), Artificial neural networks, Hysteresis, Adaptive control systems

morloc: a workflow language for multi-lingual programming under a common type system.

Συγγραφείς: Arendsee, Zebulun

Πηγή: PeerJ Computer Science; Jan2026, p1-35, 35p

Θεματικοί όροι: Functional programming (Computer science), Workflow software, Workflow management systems, Data structures, Subroutines (Computer programs)

Deploying Efficient LLM Agents on Maritime Autonomous Surface Ships: Fine-Tuning, RAG, and Function Calling in a Mid-Size Model.

Συγγραφείς: Ren, Yiling, Chen, Mozi, Weng, Junjie, Zhang, Shengkai, Xiao, Xuedou, Liu, Kezhong

Πηγή: Information; Mar2026, Vol. 17 Issue 3, p284, 15p

Θεματικοί όροι: Ships, Intelligent agents, Subroutines (Computer programs), Edge computing, Machine learning, Navigation, Natural language processing, Language models