Suchergebnisse - (automatic OR automation) programming|program modication~

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

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

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

Schlagwörter: LANGUAGE models, LOGIC programming, SYSTEMS design, ROBOT programming, NATURAL languages, ROBOTS

A guide to similarity measures and their data science applications.

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

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

Schlagwörter: DATA science, MATHEMATICAL formulas, MATHEMATICAL functions, LAYPERSONS

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

Autoren: Eberbach, Eugene

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

Schlagwörter: TURING machines, ALGORITHMS, PROBLEM solving, COST, METAHEURISTIC algorithms

Revising UNITY Programs: Possibilities and Limitations

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

Weitere Verfasser: Borzoo Bonakdarpour Ali Ebnenasir Sandeep S. Kulkarni et al.

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

Schlagwörter: 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

Dateibeschreibung: application/pdf

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

Verfügbarkeit: 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

2024 ASPHO Conference Papers and Posters.

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

Roadmap for focused ion beam technologies.

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

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

Schlagwörter: FOCUSED ion beams, MATERIALS science, ION sources, SCIENTIFIC community, ION beams, SEMICONDUCTOR industry, NANOSTRUCTURED materials

Online Walking Motion Generation with Automatic Footstep Placement.

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

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

Schlagwörter: PREDICTIVE control systems, ROBOT motion, WALKING, FOOTSTEPS, ROBOTICS

Automatic Generation of Adaptive Programs

Weitere Verfasser: The Pennsylvania State University CiteSeerX Archives

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

Dateibeschreibung: application/pdf

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

Verfügbarkeit: 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.

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

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

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

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

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

Schlagwörter: STATISTICS, COMPUTER software, BIOINFORMATICS, ALGORITHMS, COMPUTERS

BUILDING GENERALIZE QA SYSTEM, SLR.

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

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

Schlagwörter: QUESTION answering systems, DEEP learning, INFORMATION retrieval, PROGRAMMING language semantics

Structuring and composability issues in Petri nets modeling.

Autoren: Gomes, L. Joao Paulo Barros

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

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

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

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

Schlagwörter: CARTESIAN coordinates, COORDINATES, IMAGE segmentation, OPTIC disc, IMAGE analysis, COST functions, PETRI nets

The Role of the Computer in Cardiac Pacemaker Technology.

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

Autoren: Benedek, Z. Michael Furman, Seymour

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

Schlagwörter: CARDIAC pacemakers, IMPLANTED cardiovascular instruments, COMPUTER systems, ELECTRONICS in cardiology, MEDICAL electronics

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

Autoren: Mark J. Price Roman Atachiants

Resource Type: eBook.

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

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

Abstracts.

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

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

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

Autoren: Norbert E. Fuchs

Resource Type: eBook.

Schlagworte: 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

Autoren: Klaus Havelund John Penix Willem Visser

Resource Type: eBook.

Schlagworte: 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.

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

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

On Hypercomputation, Universal and Diagonalization Complete Problems.

Autoren: Eberbach, Eugene

Quelle: Fundamenta Informaticae; 2015, Vol. 139 Issue 4, p329-346, 18p

Schlagwörter: MATHEMATICAL proofs, PROBLEM solving, INFINITY (Mathematics), CALCULUS, DECIDABILITY (Mathematical logic)