Computer Science

All posts under tag "Computer Science"

266 posts total

Sorted by date

A radial version of the Central Limit Theorem

이 논문의 핵심 아이디어는 원래의 중심극한정리(Central Limit Theorem, CLT)를 방사형 버전으로 확장하는 것입니다. 이 확장을 통해 비등방성 가우스 함수를 근사할 수 있는 새로운 방법론을 제시하고 있습니다. 1. 방사형 CLT와 비등방성 가우스 함수의 근사 논문은 각 방사 방향에 따라 박스 함수 폭을 조절함으로써 비등방성 가우스 함수를 근사할 수 있다는 아이디어를 제시합니다. 이는 특히 4방향 박스 스플라인이라는 특별한 경우에서 효과적입니다. 공분산을 제어하기 위해 단순히 박스 분포 폭을 조절하는 간단한 알고리즘이

September 29, 2011

Information Theory Mathematics Computer Science Computer Vision

Total coloring of pseudo-outerplanar graphs

: 1. 총 색칠 문제와 그 중요성 총 색칠 문제는 그래프 이론에서 중요한 위치를 차지하며, 각 정점과 간선에 고유한 색상을 할당하는 방식으로 그래프의 구조적 특성을 이해하고 분석합니다. 특히, 총 색칠 추측은 그래프의 최대 차수 Δ(G)와 관련된 중요한 문제로, 이 추측이 증명되면 많은 그래프 클래스에 대한 총 색상 수를 결정하는 데 도움이 됩니다. 2. 위상적 외판 그래프의 정의 및 특성 위상적 외판 그래프는 각 블록이 고정된 원 위에서 정점들을 배치하고, 간선들이 원의 디스크 내부에서 서로 교차하지 않도록 배치될 수 있는 그래

August 26, 2011

Mathematics Computer Science Discrete Mathematics

Reversibility in Massive Concurrent Systems

: 본 논문은 대규모 병렬 시스템에서 역전 가능성의 개념과 그 적용 범위를 탐구하고 있다. 역전 가능성은 입력 데이터가 순차적으로 처리되면서, 첫 번째 입력이 두 번째 입력 없이도 방출되어 다른 연산자에 의해 사용될 수 있는 능력을 의미한다. 이는 병렬 시스템에서 효율적인 데이터 처리와 프로세싱을 가능하게 하는 중요한 특성이다. 논문은 역전 가능성의 구조를 분석하면서, 특히 일관성 제약 조건 하에서 다중성이 제거된 역전 가능한 구조에 초점을 맞추고 있다. 이는 병렬 시스템 내에서 데이터 처리 과정이 일관성을 유지하도록 하는 중요한

August 18, 2011

Formal Languages Distributed Computing Computer Science System

No Image

Greedy Set Cover Estimations

본 논문은 집합 덮기 문제(Set Cover Problem)에 대한 새로운 접근 방식을 제안하며, 특히 이진 탐색 알고리즘을 이용한 근사 알고리즘의 개선점을 다룬다. 집합 덮기 문제는 NP 완전 문제로 알려져 있어 정확한 해결책을 찾는 것이 매우 어렵다는 점에서 중요하다. 따라서, 본 논문은 이 문제를 효과적으로 근사하는 방법을 제시함으로써 실용적인 해결책을 제공한다. 기존 접근 방식의 한계 기존의 접근 방식에서는 각 열에 최소 m개의 1이 있는 (0,1) 행렬로 집합 덮기 문제를 표현하고, 이진 탐색을 통해 가장 많은 1을 포함하

July 22, 2011

Computer Science Discrete Mathematics

No Image

The M/M/Infinity Service System with Ranked Servers in Heavy Traffic

: 본 논문은 무한 서버 시스템에서 고객 처리 과정을 수학적으로 탐구하며, 특히 Newell이 제기한 균형 상태에서 새로운 고객을 처리하는 서버의 인덱스 분포에 대한 문제를 다룬다. 이 연구는 기존의 근사식들에 대한 엄밀한 증명과 더 높은 차수의 분포를 확립하는데 초점을 맞춘다. 논문에서 주요 관심사는 고객이 도착할 때 가장 낮은 인덱스를 가진 비어있는 서버에 할당되는 과정이다. 이는 M/M/∞ 서비스 시스템이라고 알려져 있으며, λ → ∞의 한계 상황에서 광범위하게 연구되었다. Newell은 L이 '

July 11, 2011

Performance Mathematics Computer Science System

No Image

A Novel Attack against Android Phones

본 논문은 안드로이드 스마트폰의 보안 취약점을 집중적으로 분석하고, 이를 악용할 수 있는 새로운 공격 기법을 제시합니다. 이 연구는 2011년 1분기에 가장 많이 판매된 운영체제인 안드로이드를 대상으로 하며, 특히 스마트폰 사용자들이 직면하게 될 잠재적인 위협에 대해 경각심을 불러일으키고 있습니다. 취약점의 심각성 본 논문에서 제시된 공격 기법은 매우 치명적입니다. 이는 단순히 악성 애플리케이션을 설치하는 데 그치지 않고, 사용자의 인식 없이 이루어집니다. 즉, 사용자가 어떠한 권한도 부여하지 않아도 악성 애플리케이션이 자동으로 설

June 22, 2011

Computer Science Cryptography and Security

No Image

The Degree Sequence of Random Apollonian Networks

본 논문은 랜덤 아폴로니 네트워크(RANs)의 정도 분포에 대한 깊이 있는 분석을 제공하며, 이는 그래프 이론에서 중요한 역할을 하는 모델 중 하나이다. RANs는 평면 그래프로서, 각 단계에서 무작위로 삼각형을 선택하고 그 내부에 새로운 정점을 추가하여 네트워크를 확장한다. 1. 서론 서론에서는 본 논문의 주요 목표와 연구 배경이 설명된다. RANs는

June 13, 2011

Physics Network Mathematics Social Networks Computer Science

Weighted Radial Variation for Node Feature Classification

본 논문은 복잡한 네트워크에서 노드 특성 분류의 새로운 접근법인 가중 방사 변이(WRV) 기법을 제안하고 있습니다. WRV는 각 노드에 대한 벡터 흐름 구성에 기반하여, 카르디나리티(노드 간 연결 수), 방향, 길이, 그리고 흐름 크기의 측면에서 동기화된 각 엔티티의 벡터를 사용합니다. 이는 복잡한 네트워크 분석에서 중요한 역할을 하는데, 특히 비인접 공간에 연결되는 인간과 정보 흐름의 복잡한 역학을 이해하는 데 유용합니다. WRV 과정은 별 모양 엔티티의 개별 흐름 벡터를 0 360° 스펙트럼에 펼쳐 독특한 신호를 형성하며, 이

February 25, 2011

Computer Science Computer Vision Physics

A Novel Template-Based Learning Model

: 본 논문은 템플릿 기반 학습 모델을 통해 새로운 관찰 데이터를 이해하는 방법에 대해 설명하고 있다. 이 모델은 주로 관찰 데이터 간의 유사성 탐색과 비교를 통해 새로운 개념을 학습하고 추상화하는데 초점을 맞추고 있다. 1. 템플릿 기반 학습 모델의 구성 요소 기하학적 묘사 : 이 모델은 관찰 데이터를 기하학적으로 묘사하는 방식을 사용한다. 이를 통해 객체의 경계와 형태를 정확하게 파악할 수 있다. 인간 시각 신경 시스템에 영감 받은 설명자 : 인간의 시각 인지 과정에서 중요한 역할을 하는 요소들을 모델링하여, 더 정교한 데이터

January 27, 2011

Model Machine Learning Computer Science Learning

Jancars formal system for deciding bisimulation of first-order grammars and its non-soundness

: 1. 첫 번째 순서 문법과 행동 알파벳의 정의 논문은 첫 번째 순서 문법에 대한 비시뮬레이션 문제를 해결하기 위해 Jancar의 형식 시스템을 검토한다. 이 과정에서 행동 알파벳 A와 중간 라벨 알파벳 T, 그리고 맵 LAB A: T → A를 정의한다. 이러한 정의는 첫 번째 순서 문법 G (N, A, R)을 구성하는 데 필요한 기본 요소를 제공하며, 여기서 N은 비터미널 집합, A는 행동 알파벳, 그리고 R은 규칙 집합이다. 2. Jancar 형식 시스템의 개요 Jancar의 형식 시스템은

January 27, 2011

Computer Science Formal Languages Logic System

Casting Robotic End-effectors To Reach Faraway Moving Objects

본 논문은 로봇 엔드 이펙터가 멀리 떨어진 움직이는 물체를 잡는 문제에 대한 혁신적인 접근법을 제시하고 있습니다. 기존의 캐스팅 조작이 고정된 물체를 대상으로 한 것과 달리, 본 논문은 3차원 공간에서 움직이는 타겟을 잡는 데 초점을 맞추고 있습니다. 1. 캐스팅 조작의 원리와 적용 캐스팅 조작은 가벼운 케이블을 통해 연결된 엔드 이펙터를 던져 멀리 떨어진 위치에 배치하는 기술입니다. 이는 로봇이 직접 접근하기 어려운 거리를 극복할 수 있는 방법으로, 특히 원격 샘플 획득 및 반환, 구조 등 다양한 응용 분야에서 활용 가능합니다.

January 13, 2011

Computer Science Robotics

Distributed Collision-free Protocol for AGVs in Industrial Environments

: 본 논문은 산업 환경에서 자율 이동 차량(AGVs) 그룹의 안전하고 효율적인 관리를 위한 분산 충돌 방지 프로토콜을 제안한다. 이는 동적 환경에서 AGVs가 미리 정의된 경로를 따라 이동하면서 발생할 수 있는 다양한 문제들을 해결하기 위해 고안되었다. 1. 분산 조정 알고리즘 제안된 분산 조정 알고리즘은 공유 자원 프로토콜과 재계획 전략을 기반으로 한다. 이는 AGVs가 동일한 경로를 따라 이동하거나 교차하는 경우에 발생할 수 있는 충돌 문제를 해결하기 위한 것이다. 또한, 교착 상태(시스템이 정지된 상태)와 살록(목적지 도달

January 13, 2011

Robotics Computer Science

Distributed Consensus on Set-valued Information

: 본 논문은 분산 에이전트 시스템에서 정보의 수렴을 연구하는 데 초점을 맞추고 있습니다. 특히, 이 연구는 기존에 실수로 표현되던 정보를 집합으로 표현함으로써 새로운 관점과 접근 방식을 제시하고 있습니다. 이러한 접근은 분산 시스템 내에서 에이전트들이 어떻게 상호 작용하며 정보를 공유하고 수렴하는지를 보다 정교하게 이해할 수 있게 합니다. 논문에서는 집합의 동역학을 부울 맵 클래스로 표현합니다. 이는 연합, 교집합, 그리고 보완이라는 세 가지 기본적인 집합 연산만으로 구성됩니다. 이러한 제한된 집합 연산은 복잡성을 줄이면서도 핵심

January 13, 2011

Robotics Computer Science

Distributed Intrusion Detection for the Security of Societies of Robots

본 논문은 자율 로봇 집단 내에서 잠재적 침입자를 감지하는 문제를 다루며, 이는 분산 환경에서의 보안 문제 해결을 위한 중요한 연구입니다. 주요 내용과 그 중요성을 다음과 같이 분석할 수 있습니다. 1. 침입자 정의와 감지 방법 논문은 침입자를 자율적으로 행동하지 않는 로봇으로 정의하며, 이는 고장이나 악의적인 재프로그래밍 등 다양한 원인에 의해 발생할 수 있습니다. 이러한 문제를 해결하기 위해 개별 로봇이 자신의 상태와 인접한 이웃과의 통신을 통해 정보를 수집하고 이를 바탕으로 침입자를 감지하는 방법을 제안합니다. 2. 분산 환경

January 13, 2011

Detection Robotics Computer Science

Logical Consensus for Distributed and Robust Intrusion Detection

본 논문은 네트워크 내에서 에이전트들이 지역적으로 수집한 정보를 바탕으로 전반적인 위협에 대한 합의를 도출하는 새로운 방법을 제안하고 있습니다. 이는 특히 분산 환경에서 각 노드가 독립적으로 판단할 수 있는 능력을 강화함으로써, 네트워크 전체의 안정성과 보안성을 향상시키는데 중점을 두고 있습니다. 논문은 논리적 합의 문제를 정의하고, 이를 해결하기 위한 기존 연구 결과들을 검토합니다. 특히 세포 자동체와 유한 상태 이터레이션 맵의 수렴성에 대한 연구는 에이전트들이 지역적으로 수집한 정보를 전반적인 합의로 연결하는 데 중요한 역할을

January 13, 2011

Detection Robotics Computer Science

Personalized Event-Based Surveillance and Alerting Support for the Assessment of Risk

이 논문은 공공 보건 분야에서 중요한 문제인 과부하를 해결하기 위한 이벤트 기반 감시 시스템의 개선 방안을 제시하고 있습니다. 특히, 전염병 모니터링과 관련된 정보가 급증함에 따라 이를 효과적으로 관리하는 것이 점점 더 중요해지고 있는 상황에서, 공무원들이 필요한 정보를 빠르고 정확하게 파악할 수 있도록 돕는 방법을 제안하고 있습니다. 논문은 두 가지 주요 기법을 소개합니다. 첫 번째로, 사용자의 선호도에 따라 신호를 필터링하는 방법입니다. 이는 공무원들이 필요하지 않은 정보나 노이즈로부터 해방되어 중요한 경보와 보고서에 집중할 수

January 05, 2011

Computers and Society Computer Science

< Category Statistics (Total: 793) >

Astrophysics

101

Condensed Matter

Economics

Electrical Engineering and Systems Science

General

272

General Relativity

HEP-EX

HEP-PH

HEP-TH

MATH-PH

NUCL-TH

Nonlinear Sciences

Physics

Quantitative Biology

Quantitative Finance

Quantum Physics

Statistics

Computer Science

A radial version of the Central Limit Theorem

Total coloring of pseudo-outerplanar graphs