:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Author:	Kouropoulos, Giorgos
Format:	Preprint
Published:	2014
Subjects:	Computational Engineering, Finance, and Science 68N15 D.2.2
Online Access:	https://arxiv.org/abs/1405.1300
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Conflict Essences for Transformation Rules with Nested Application Conditions -- Long Version
by: Lauer, Alexander, et al.
Published: (2026)

Kodezi Chronos: A Debugging-First Language Model for Repository-Scale Code Understanding
by: Khan, Ishraq, et al.
Published: (2025)

AI for software engineering: from probable to provable
by: Meyer, Bertrand
Published: (2025)

Building Whitespace-Sensitive Languages Using Whitespace-Insensitive Components
by: Hellwig, Alexander, et al.
Published: (2025)

Multigrid-Augmented Deep Learning Preconditioners for the Helmholtz Equation using Compact Implicit Layers
by: Lerer, Bar, et al.
Published: (2023)

KnowTeX: Visualizing Mathematical Dependencies
by: Uskuplu, Elif, et al.
Published: (2025)

React-ing to Grace Hopper 200: Five Open-Weights Coding Models, One React Native App, One GH200, One Weekend
by: Potanin, Alex
Published: (2026)

TDAD: Test-Driven Agentic Development - Reducing Code Regressions in AI Coding Agents via Graph-Based Impact Analysis
by: Alonso, Pepe, et al.
Published: (2026)

On systematic construction of correct logic programs
by: Drabent, Włodzimierz
Published: (2025)

NES: An Instruction-Free, Low-Latency Next Edit Suggestion Framework Powered by Learned Historical Editing Trajectories
by: Chen, Xinfang, et al.
Published: (2025)

SLEAN: Simple Lightweight Ensemble Analysis Network for Multi-Provider LLM Coordination: Design, Implementation, and Vibe Coding Bug Investigation Case Study
by: Vargas, Matheus J. T.
Published: (2025)

Context Engineering for Multi-Agent LLM Code Assistants Using Elicit, NotebookLM, ChatGPT, and Claude Code
by: Haseeb, Muhammad
Published: (2025)

CELI: Controller-Embedded Language Model Interactions
by: Wagner, Jan-Samuel, et al.
Published: (2024)

From Block Diagrams to Bloch Spheres: Graphical Quantum Circuit Simulation in LabVIEW
by: Vefadar, Murtaza
Published: (2026)

Context-Augmented Code Generation: How Product Context Improves AI Coding Agent Decision Compliance by 49%
by: Dillon, Drew, et al.
Published: (2026)

OWLOOP: Interfaces for Mapping OWL Axioms into OOP Hierarchies
by: Buoncompagni, Luca, et al.
Published: (2024)

Feature-Factory: Automating Software Feature Integration Using Generative AI
by: Vsevolodovna, Ruslan Idelfonso Magana
Published: (2024)

Combining Mechanical and Agentic Specification Inference for Move
by: Grieskamp, Wolfgang, et al.
Published: (2026)

Using Voice and Biofeedback to Predict User Engagement during Product Feedback Interviews
by: Ferrari, Alessio, et al.
Published: (2021)

Generative AI and the Transformation of Software Development Practices
by: Acharya, Vivek
Published: (2025)

Multiple Query Satisfiability of Constrained Horn Clauses
by: De Angelis, Emanuele, et al.
Published: (2022)

Hypernetwork Theory: The Structural Kernel
by: Charlesworth, Richard D.
Published: (2025)

Trustworthy Clinical Decision Support Using Meta-Predicates and Domain-Specific Languages
by: Bouzinier, Michael, et al.
Published: (2026)

RSE of a Quantum Transport Code and its Effects
by: Conrads, Christoph, et al.
Published: (2026)

High-Performance Generation of Constrained Inputs
by: Crump, Addison, et al.
Published: (2025)

NOETHER: A Constructive Framework for Metamorphic Pattern Discovery from Operator Algebras
by: Li, Meng, et al.
Published: (2026)

Effective information gathering for ore estimation, evaluation and perspectives on adaptive sampling
by: Leung, Raymond, et al.
Published: (2026)

Hybrid Active Teaching Methodology for Learning Development: A Self-assessment Case Study Report in Computer Engineering
by: Baima, Renan Lima, et al.
Published: (2024)

The Structure of Financial Equity Research Reports -- Identification of the Most Frequently Asked Questions in Financial Analyst Reports to Automate Equity Research Using Llama 3 and GPT-4
by: Pop, Adria, et al.
Published: (2024)

Language-Based Protocol Testing
by: Liggesmeyer, Alexander, et al.
Published: (2025)

Inexact block LU preconditioners for incompressible fluids with flow rate conditions
by: Crugnola, Luca, et al.
Published: (2024)

BEC: Bit-Level Static Analysis for Reliability against Soft Errors
by: Ko, Yousun, et al.
Published: (2024)

Chain-Oriented Objective Logic with Neural Network Feedback Control and Cascade Filtering for Dynamic Multi-DSL Regulation
by: Han, Jipeng
Published: (2024)

See-Saw Generative Mechanism for Scalable Recursive Code Generation with Generative AI
by: Vsevolodovna, Ruslan Idelfonso Magaña
Published: (2024)

Quantum Computing, Ising Formulation, and the Traveling Salesman Problem
by: Gurevich, Omer, et al.
Published: (2025)

The Optimizer Quotient and the Certification Trilemma
by: Simas, Tristan
Published: (2026)

Rethinking LLM-Based RTL Code Optimization Via Timing Logic Metamorphosis
by: Xu, Zhihao, et al.
Published: (2025)

Stable Long-Horizon Neural ODE Reduced-Order Models via Learned Feedback for Biological Growth and Remodeling
by: Laudo, Joel, et al.
Published: (2026)

Algorithmic differentiation for domain specific languages in C++ with expression templates
by: Sagebaum, Max, et al.
Published: (2026)

Synthesizing Precise Protocol Specs from Natural Language for Effective Test Generation
by: Liu, Kuangxiangzi, et al.
Published: (2025)