Search Results - ((automatic OR automatizace) OR automation) programming|program modication

Alchemist: LLM-Aided End-User Development of Robot Applications.

Authors: Karli, Ulas Berk Chen, Juo-Tung Antony, Victor Nikhil et al.

Source: ACM/IEEE International Conference on Human-Robot Interaction; Mar2024, p361-370, 10p

Subject Terms: LANGUAGE models, LOGIC programming, SYSTEMS design, ROBOT programming, NATURAL languages, ROBOTS

A guide to similarity measures and their data science applications.

Authors: Levy, Avivit Shalom, B. Riva Chalamish, Michal

Source: Journal of Big Data; 7/26/2025, Vol. 12 Issue 1, p1-57, 57p

Subject Terms: DATA science, MATHEMATICAL formulas, MATHEMATICAL functions, LAYPERSONS

On Completeness of Cost Metrics and Meta-Search Algorithms in $-Calculus.

Authors: Eberbach, Eugene

Source: Fundamenta Informaticae; 2022, Vol. 188 Issue 2, p63-90, 28p

Subject Terms: TURING machines, ALGORITHMS, PROBLEM solving, COST, METAHEURISTIC algorithms

2024 ASPHO Conference Papers and Posters.

Source: Pediatric Blood & Cancer; Apr2024 Supplement 1, Vol. 71, p1-268, 268p

Revising UNITY Programs: Possibilities and Limitations

Authors: Borzoo Bonakdarpour Ali Ebnenasir Sandeep S. Kulkarni et al.

Contributors: Borzoo Bonakdarpour Ali Ebnenasir Sandeep S. Kulkarni et al.

Source: http://www.cse.msu.edu/publications/tech/TR/MSU-CSE-07-23.pdf.

Subject Terms: Categories and Subject Descriptors, F.3.1 [Logics and Meanings of Programs, Specifying, Verifying and Reasoning about Programs, F.4.1 [Mathematical Logic and Formal Languages, Mathematical Logic, F.2.3 [Analysis of Algorithms and Problem Complexity, Tradeos between Complexity Mea- sures, D.1.2 [Programming Techniques, Automatic Programming|Program modication, synthesis, transformation, D.4.7 [Operating Systems, Organization and Design|Real-time and embedded systems General Terms, Algorithms, Theory, Verication Additional Key Words and Phrases, UNITY, Formal Methods, Stabilization

File Description: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.497.7334

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.497.7334
http://www.cse.msu.edu/publications/tech/TR/MSU-CSE-07-23.pdf

Roadmap for focused ion beam technologies.

Authors: Höflich, Katja Hobler, Gerhard Allen, Frances I. et al.

Source: Applied Physics Reviews; Dec2023, Vol. 10 Issue 4, p1-93, 93p

Subject Terms: FOCUSED ion beams, MATERIALS science, ION sources, SCIENTIFIC community, ION beams, SEMICONDUCTOR industry, NANOSTRUCTURED materials

Online Walking Motion Generation with Automatic Footstep Placement.

Authors: Herdt, Andrei Diedam, Holger Wieber, Pierre-Brice et al.

Source: Advanced Robotics; 2010, Vol. 24 Issue 5/6, p719-737, 19p, 9 Graphs

Subject Terms: PREDICTIVE control systems, ROBOT motion, WALKING, FOOTSTEPS, ROBOTICS

Automatic Generation of Adaptive Programs

Contributors: The Pennsylvania State University CiteSeerX Archives

Source: http://www.migration-population.ch/files/content/sites/imi/files/shared/documents/papers/Automatic_generation.pdf.

File Description: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.472.3601

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.472.3601
http://www.migration-population.ch/files/content/sites/imi/files/shared/documents/papers/Automatic_generation.pdf

In-/Near-Memory Computing.

Authors: Fujiki, Daichi Xiaowei Wang Subramaniyan, Arun et al.

Source: Synthesis Lectures on Computer Architecture; 8/11/2021, Vol. 16 Issue 2, pix-124, 132p

BUILDING GENERALIZE QA SYSTEM, SLR.

Authors: Suleman, Muhammad Asghar, Hatim Ali Zoaib, Mohammad et al.

Source: Asian Journal of Engineering, Sciences & Technology (AJEST); Mar2018, Vol. 8 Issue 1, p1-8, 8p

Subject Terms: QUESTION answering systems, DEEP learning, INFORMATION retrieval, PROGRAMMING language semantics

R/parallel -- speeding up bioinformatics analysis with R.

Authors: Vera, Gonzalo Jansen, Ritsert C. Suppi, Remo L.

Source: BMC Bioinformatics; 2008, Vol. 9, Special section p1-6, 6p, 1 Diagram, 1 Graph

Subject Terms: STATISTICS, COMPUTER software, BIOINFORMATICS, ALGORITHMS, COMPUTERS

Joint disc and cup segmentation based on recurrent fully convolutional network.

Authors: Gao, Jing Jiang, Yun Zhang, Hai et al.

Source: PLoS ONE; 9/21/2020, Vol. 15 Issue 9, p1-23, 23p

Subject Terms: CARTESIAN coordinates, COORDINATES, IMAGE segmentation, OPTIC disc, IMAGE analysis, COST functions, PETRI nets

Structuring and composability issues in Petri nets modeling.

Authors: Gomes, L. Joao Paulo Barros

Source: IEEE Transactions on Industrial Informatics; May2005, Vol. 1 Issue 2, p112-123, 12p

C# 6 and .NET Core 1.0: Modern Cross-Platform Development : Modern Cross-Platform Development

Authors: Mark J. Price Roman Atachiants

Resource Type: eBook.

Subjects: Application software--Development, C# (Computer program language), Internet programming

Categories: COMPUTERS / Languages / C#, COMPUTERS / Programming / Object Oriented, COMPUTERS / Languages / .NET

The Role of the Computer in Cardiac Pacemaker Technology.

Alternate Title: Le rôle de l'ordinateur dans la technologie des stimulateurs cardiaques. (French)

Authors: Benedek, Z. Michael Furman, Seymour

Source: Pacing & Clinical Electrophysiology; Nov1984, Vol. 7 Issue 6, p1217-1227, 11p, 10 Diagrams, 1 Chart

Subject Terms: CARDIAC pacemakers, IMPLANTED cardiovascular instruments, COMPUTER systems, ELECTRONICS in cardiology, MEDICAL electronics

Abstracts.

Source: Movement Disorders Clinical Practice; Apr2019 Supplement S1, Vol. 6, pS11-S164, 154p

Subject Terms: DYSKINESIAS, ORTHOSTATIC hypotension, SCIENTIFIC literature, GLIAL cell line-derived neurotrophic factor, DARDARIN, NEURAL cell adhesion molecule, BOTULINUM A toxins

A Roadmap for Plant Genome Editing

Authors: Agnès Ricroch Dennis Eriksson Dragana Miladinović et al.

Resource Type: eBook.

Subjects: Plant genetic engineering, Agriculture

Categories: SCIENCE / Life Sciences / Botany, SCIENCE / Life Sciences / Genetics & Genomics, TECHNOLOGY & ENGINEERING / Agriculture / General

Logic Program Synthesis and Transformation : 7th International Workshop, LOPSTR ’97, Leuven, Belgium, July 10–12, 1997 Proceedings

Authors: Norbert E. Fuchs

Resource Type: eBook.

Subjects: Computer programming, Artificial intelligence, Computer science, Machine theory

Categories: COMPUTERS / Programming / General, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Computer Science

SPIN Model Checking and Software Verification : 7th International SPIN Workshop Stanford, CA, USA, August 30 - September 1, 2000 Proceedings

Authors: Klaus Havelund John Penix Willem Visser

Resource Type: eBook.

Subjects: SPIN (Computer file)--Congresses, Computer software--Verification--Congresses

Categories: COMPUTERS / Software Development & Engineering / General, COMPUTERS / Programming / Compilers, COMPUTERS / Computer Science

Accurate shellcode recognition from network traffic data using artificial neural nets.

Authors: Onotu, Patrick Day, David Rodrigues, Marcos A

Source: 2015 IEEE 28th Canadian Conference on Electrical & Computer Engineering (CCECE); 2015, p355-360, 6p