arXiv

4일 전 · ai

[Paper] 인공지능과 혼합정수선형계획법 통합: 항공 운송 분야에서 설명 가능한 그래프 기반 인스턴스 공간 분석

본 논문은 복잡한 최적화 과제를 해결하기 위해 인공지능(AI)과 혼합 정수 선형 계획법(MILP)의 통합을 분석한다.

4일 전 · software

[Paper] 설명적인 이름을 가진 REST API 테스트 생성

Automated test generation은 특히 현대 API 기반 아키텍처에서 소프트웨어 품질을 보장하기 위한 핵심 기술이 되었습니다. 그러나 자동으로 생성…

4일 전 · ai

[Paper] Direct Encoding 재검토: 정적 이미지용 학습 가능한 Temporal Dynamics for Spiking Neural Networks

내재된 시간적 역학이 없는 정적 이미지를 처리하는 것은 스파이킹 뉴럴 네트워크(SNNs)에 대한 근본적인 과제로 남아 있습니다. 직접 훈련된 SNN에서는 정적...

4일 전 · ai

[Paper] Symbolic Regression의 현재 과제: 최적화, 선택, 모델 단순화, 그리고 벤치마킹

Symbolic Regression (SR)은 변수들 간의 관계를 설명하는 수학적 표현식을 발견하는 것을 목표로 하는 회귀 방법이며, 종종…

4일 전 · ai

[Paper] Morphling: 대규모에서 빠르고, 결합된, 유연한 GNN 훈련

Graph Neural Networks (GNNs)는 불규칙하고 메모리 바인드된 그래프 탐색과 규칙적이며 연산 집약적인 밀집 연산을 결합함으로써 근본적인 하드웨어 과제를 제시한다.

4일 전 · ai

[Paper] In-context 역최적성: 공정 디지털 트윈을 위한 선호 기반 접근법

Digital Twins (DTs)는 복잡한 사회기술 시스템에서 자율적인 의사결정자로 점점 더 많이 활용되고 있다. 이들의 수학적으로 최적의 결정은 종종 차이를 보인다.

4일 전 · software

[Paper] MIT Lincoln Laboratory: 연구 프로젝트를 위한 소프트웨어 지원 개선 사례 연구

소프트웨어는 복잡한 시스템 개발 및 프로토타이핑에서 점점 더 중요한 역할을 하고 있으며, 최근 몇 년간 MIT Lincoln Laboratory는 ...

4일 전 · devops

[Paper] StarDist: 분산 그래프 알고리즘을 위한 코드 생성기

현실 세계에서 발생하는 관계형 데이터는 종종 그래프로 구조화되며, 이는 분석적 도출을 단순하게 만드는 논리적 추상화를 제공합니다.

4일 전 · software

[Paper] Package Dashboard: 크로스‑에코시스템 프레임워크를 활용한 소프트웨어 패키지의 이중 관점 분석

Software supply chain attacks는 기존 SCA 도구의 사각지대를 드러냈으며, 이러한 도구들은 종종 단일 생태계에 제한되고 소프트웨어 artifact만 평가한다...

4일 전 · ai

[Paper] Biomedical 및 Bioacoustic 신호 분석에서 향상된 Temporal Modeling을 위한 Parallel Delayed Memory Units

고급 deep learning 아키텍처, 특히 recurrent neural networks (RNNs)는 audio, bioacoustic 및 biomedical signal 분석에 널리 적용되어 왔습니다.

4일 전 · software

[Paper] 고성능 컴퓨팅과 소프트웨어 테스트가 만날 때: MPI를 이용한 분산 퍼징

이 논문은 MPI 기반 동기화 기술을 분산 퍼징 프레임워크에 통합하는 방식을 탐구하며, 가능한 상당한 성능 향상을 강조한다.

4일 전 · software

[Paper] GPTrace: LLM 임베딩을 이용한 효과적인 크래시 중복 제거

Fuzzing은 소프트웨어 취약점을 발견하는 데 매우 효과적인 방법이지만, 결과 데이터를 분석하는 데는 일반적으로 상당한 수동 작업이 필요합니다. Thi...