中文
相关论文

相关论文: Cyrus 2D Simulation Team Description Paper 2016

200 篇论文

Agentic code assistants are a new generation of AI systems capable of performing end-to-end software engineering tasks. While these systems promise unprecedented productivity gains, their behavior and effectiveness depend heavily on…

软件工程 · 计算机科学 2026-05-26 Helio Victor F. Santos , Vitor Costa , Joao Eduardo Montandon , Marco Tulio Valente

Here practical aspects of conducting research via computer simulations are discussed. The following issues are addressed: software engineering, object-oriented software development, programming style, macros, make files, scripts, libraries,…

凝聚态物理 · 物理学 2009-02-02 Alexander K. Hartmann , Heiko Rieger

Nowadays game engines are imperative for building 3D applications and games. This is for the reason that the engines appreciably reduce resources for employing obligatory but intricate utilities. This paper elucidates about a game engine…

人机交互 · 计算机科学 2022-01-21 Prerna Mishra , Urmila Shrawankar

User simulation is a promising approach for automatically training and evaluating conversational information access agents, enabling the generation of synthetic dialogues and facilitating reproducible experiments at scale. However, the…

信息检索 · 计算机科学 2024-06-28 Nolwenn Bernard , Krisztian Balog

This survey aims at providing a comprehensive overview of the recent trends in the field of modeling and simulation (M&S) of interactions between users and recommender systems and applications of the M&S to the performance improvement of…

This work introduces Cyri, an AI-powered conversational assistant designed to support a human user in detecting and analyzing phishing emails by leveraging Large Language Models. Cyri has been designed to scrutinize emails for semantic…

人机交互 · 计算机科学 2025-02-11 Antonio La Torre , Marco Angelini

We provide a brief description of the Jason-DTU system, including the methodology, the tools and the team strategy that we plan to use in the agent contest.

多智能体系统 · 计算机科学 2010-10-04 Jørgen Villadsen , Niklas Skamriis Boss , Andreas Schmidt Jensen , Steen Vester

This new long version of my 1983 paper suggests the goals you might have for your system -- Simple, Timely, Efficient, Adaptable, Dependable, Yummy (STEADY) -- and techniques for achieving them -- Approximate, Incremental, Divide & Conquer…

分布式、并行与集群计算 · 计算机科学 2021-08-23 Butler Lampson

We introduce Synapse motivated by the needs to estimate and emulate workload execution characteristics on high-performance and distributed heterogeneous resources. Synapse has a platform independent application profiler, and the ability to…

分布式、并行与集群计算 · 计算机科学 2018-08-03 Andre Merzky , Shantenu Jha

Cyber polygon used to train cybersecurity professionals, test new security technologies and simulate attacks play an important role in ensuring cybersecurity. The creation of such training grounds is based on the use of hypervisors, which…

密码学与安全 · 计算机科学 2025-01-22 Dmytro Tymoshchuk , Vasyl Yatskiv

In this proceedings we discuss the motivation, implementation details, and performance of a new physics code base called Grid. It is intended to be more performant, more general, but similar in spirit to QDP++\cite{QDP}. Our approach is to…

高能物理 - 格点 · 物理学 2015-12-14 Peter Boyle , Azusa Yamaguchi , Guido Cossu , Antonin Portelli

We review disruptive innovations introduced in the RoboCup 2D Soccer Simulation League over the twenty years since its inception, and trace the progress of our champion team (Gliders). We conjecture that the League has been developing as an…

多智能体系统 · 计算机科学 2016-12-06 Mikhail Prokopenko , Peter Wang

Sphinx, a hardware-software co-design architecture for binary code and runtime obfuscation. The Sphinx architecture uses binary code diversification and self-reconfigurable processing elements to maintain application functionality while…

密码学与安全 · 计算机科学 2018-02-14 Michel A. Kinsy , Donato Kava , Alan Ehret , Miguel Mark

Real-world software engineering tasks require coding agents that can operate on massive repositories, sustain long-horizon sessions, and reliably coordinate complex toolchains at test time. Existing research-grade coding agents offer…

计算与语言 · 计算机科学 2026-02-04 Sherman Wong , Zhenting Qi , Zhaodong Wang , Nathan Hu , Samuel Lin , Jun Ge , Erwin Gao , Wenlin Chen , Yilun Du , Minlan Yu , Ying Zhang

Mobile agents research is clearly aiming towards imposing agent based development as the next generation of tools for writing software. This paper comes with its own contribution to this global goal by introducing a novel unifying framework…

多智能体系统 · 计算机科学 2007-05-23 Tudor Marian , Bogdan Dumitriu , Mihaela Dinsoreanu , Ioan Salomie

Users often interpret and select agent skills through their SKILL markdown specifications. To protect users, existing audits mainly focus on malicious or unsafe skills. We study the complementary question of whether specifications help…

人机交互 · 计算机科学 2026-05-21 Zikai Alex Wen

This document specifies a core version of the type theory implemented in the Cedille tool. Cedille is a language for dependently typed programming and computer-checked proof. Cedille can elaborate source programs down to Cedille Core, which…

计算机科学中的逻辑 · 计算机科学 2018-11-06 Aaron Stump

This work presents a comprehensive performance analysis and optimization of a multiscale agent-based cellular simulation. The optimizations applied are guided by detailed performance analysis and include memory management, load balance, and…

分布式、并行与集群计算 · 计算机科学 2023-06-28 Marc Clascà , Marta Garcia-Gasulla , Arnau Montagud , Jose Carbonell Caballero , Alfonso Valencia

Modeling and simulation are widely used in cybersecurity research to assess cyber threats, evaluate defense mechanisms, and analyze vulnerabilities. However, the diversity of application areas, the variety of cyberattacks scenarios, and the…

密码学与安全 · 计算机科学 2025-08-11 Luca Serena , Gabriele D'Angelo , Stefano Ferretti , Moreno Marzolla

The purpose of this document is to give the vision for interactive computer graphics physical based simulation systems. It focuses on the needs of stakeholders and the reasons for such needs.

软件工程 · 计算机科学 2013-05-21 Klajdi Karanxha , Kapies Vallipuram , Herman Sonfack , Gustavo Barbieri Pereira