Výsledky vyhľadávania - (automatic OR automation) programming|program modication

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

Autori: Karli, Ulas Berk Chen, Juo-Tung Antony, Victor Nikhil a ďalší

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

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

A guide to similarity measures and their data science applications.

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

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

Predmety: DATA science, MATHEMATICAL formulas, MATHEMATICAL functions, LAYPERSONS

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

Autori: Eberbach, Eugene

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

Predmety: TURING machines, ALGORITHMS, PROBLEM solving, COST, METAHEURISTIC algorithms

Revising UNITY Programs: Possibilities and Limitations

Autori: Borzoo Bonakdarpour Ali Ebnenasir Sandeep S. Kulkarni a ďalší

Prispievatelia: Borzoo Bonakdarpour Ali Ebnenasir Sandeep S. Kulkarni a ďalší

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

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

Popis súboru: application/pdf

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

Dostupnosť: 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.

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

Roadmap for focused ion beam technologies.

Autori: Höflich, Katja Hobler, Gerhard Allen, Frances I. a ďalší

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

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

Online Walking Motion Generation with Automatic Footstep Placement.

Autori: Herdt, Andrei Diedam, Holger Wieber, Pierre-Brice a ďalší

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

Predmety: PREDICTIVE control systems, ROBOT motion, WALKING, FOOTSTEPS, ROBOTICS

Automatic Generation of Adaptive Programs

Prispievatelia: The Pennsylvania State University CiteSeerX Archives

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

Popis súboru: application/pdf

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

Dostupnosť: 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.

Autori: Fujiki, Daichi Xiaowei Wang Subramaniyan, Arun a ďalší

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

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

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

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

Predmety: STATISTICS, COMPUTER software, BIOINFORMATICS, ALGORITHMS, COMPUTERS

BUILDING GENERALIZE QA SYSTEM, SLR.

Autori: Suleman, Muhammad Asghar, Hatim Ali Zoaib, Mohammad a ďalší

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

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

Structuring and composability issues in Petri nets modeling.

Autori: Gomes, L. Joao Paulo Barros

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

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

Autori: Gao, Jing Jiang, Yun Zhang, Hai a ďalší

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

Predmety: 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)

Autori: Benedek, Z. Michael Furman, Seymour

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

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

Autori: Mark J. Price Roman Atachiants

Typ zdroja: eBook.

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

Kategórie: COMPUTERS / Languages / C#, COMPUTERS / Programming / Object Oriented, COMPUTERS / Languages / .NET

Abstracts.

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

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

Autori: Norbert E. Fuchs

Typ zdroja: eBook.

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

Kategórie: 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

Autori: Klaus Havelund John Penix Willem Visser

Typ zdroja: eBook.

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

Kategórie: COMPUTERS / Software Development & Engineering / General, COMPUTERS / Programming / Compilers, COMPUTERS / Computer Science

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

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

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

On Hypercomputation, Universal and Diagonalization Complete Problems.

Autori: Eberbach, Eugene

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

Predmety: MATHEMATICAL proofs, PROBLEM solving, INFINITY (Mathematics), CALCULUS, DECIDABILITY (Mathematical logic)