Posts

Mathematics Statistics Computer Science Machine Learning

Okuns law revisited. Is there structural unemployment in developed countries?

: 이 논문은 오쿤의 법칙을 통해 선진국들의 실업 문제를 분석하고 있다. 오쿤의 법칙은 GDP 성장률과 실업률 간의 부정적인 상관관계를 설명하는 모델로, 이 연구에서는 특히 실질 GDP 1인당 성장률에 초점을 맞추고 있다. 주요 내용 및 분석 1. 오쿤의 법칙 재검토 : 논문은 오쿤의 법칙을 사용하여 선진국들의 실업 문제를 재검토한다. 이는 GDP 성장률과 실업률 간의 관계를 통해 실업 동역학을 이해하려는 시도이다. 2. 구조적 중단점 도입 : 논문은 각 국가별로 구조적 중단점을 도입하여 오랜 기간에 걸친 데이터를 분석한다. 예를

September 21, 2011

Quantitative Finance

VC dimension of ellipsoids

: 본 논문은 엘립소이드의 복잡성을 측정하는 VC 차원에 대한 심층적인 연구를 수행한다. 이는 학습 이론에서 중요한 개념으로, 데이터 분석 및 모델 선택에 활용된다. 1. VC 차원의 정의와 중요성 VC 차원은 집합이 얼마나 복잡한 형태를 가질 수 있는지를 측정하는 지표로, 경험적 과정 이론, 통계 및 계산 학습 이론, 그리고 이산 기하학 등 다양한 분야에서 활용된다. 특히, VC 차원은 데이터의 복잡성을 측정하고 모델 선택에 중요한 역할을 한다. 2. 엘립소이드와 가우시안 혼합 모델 엘립소이드는 d차원 공간에서 정의되는 집합으로,

September 21, 2011

Definition and Existence of the Eigenderivative

: 본 논문은 고유값과 고유벡터의 변화율을 정량화하기 위한 '고유도미안'이라는 개념을 소개하고, 이에 대한 존재성 증명을 수행한다. 이러한 연구는 선형 대수학 및 함수 해석학 분야에서 중요한 역할을 하는 연산자의 근사와 관련된 문제를 다루며, 특히 연속적인 변화를 경험하는 시스템의 동적 특성을 이해하는데 있어 핵심적인 도구가 될 수 있다. 논문은 먼저 실수 또는 복소수 바나흐 공간 X에서 시작한다. 이 공간은 단순 함수들의 직교 집합으로 구성된 벡터 공간의 완성체로, 이러한 설정은 고유값과 고유벡터에 대한 분석을 가능하게 한다. 특

September 20, 2011

Programming Languages Computer Science

Implementing Continuation based language in GCC

: 1. CbC의 설계 목표와 배경 CbC는 Continuation Passing Style(CPS)을 기반으로 한 새로운 프로그래밍 언어로, GNU C 컴파일러와 동일한 속도로 실행되는 것을 목표로 합니다. CPS 변환은 함수 호출을 연속 전달 스타일로 변경하여 코드의 효율성을 향상시키는 기법입니다. 이 논문에서는 이러한 CPS 변환을 GCC에 통합하는 방법을 제시하며, 이를 통해 C와 CbC를 혼합 사용할 수 있는 새로운 언어인 CwC를 소개합니다. 2. CbC의 핵심 특징 CbC는 코드 세그먼트를 기본 프로그래밍 단위로 사용하

September 20, 2011

mizar-items: Exploring fine-grained dependencies in the Mizar Mathematical Library

본 논문은 MML(Mathematical Meta Language) 내의 미세한 의존성을 분석하는 시스템을 개발하고 그 활용 방법에 대해 설명한다. MML은 수학적 증명과 정리가 공식화된 가장 큰 데이터베이스 중 하나로, 약 1,100개의 기사와 250만 줄 이상의 텍스트를 포함하며, 이는 5만 개 이상의 정리와 1만 개 이상의 정의를 수학적 기호로 표현한다. 이러한 방대한 데이터는 다양한 실험을 수행하기 위한 코퍼스로서 가치가 크다. 논문에서 제시된 Mizar items 시스템은 MML 내의 미세 의존성을 계산하는 데 중점을 두고

September 20, 2011

Digital Libraries Mathematics Computer Science

Quantitative Biology Statistics Mathematics Model

Extrapolation of Urn Models via Poissonization: Accurate Measurements of the Microbial Unknown

본 논문은 미생물 공동체 내의 다양성을 측정하는 기존 방법론의 한계를 극복하고자, 샘플링되지 않은 클래스의 비율을 예측하는 새로운 접근 방식을 제안한다. 이는 미생물 연구에서 중요한 문제 중 하나인 '미지의 양'에 대한 정확한 측정을 가능하게 한다. 논문은 우른 모델과 포상화 논증을 활용하여, 아직 발견되지 않은 종의 존재를 가정하고 이를 예측하는 방법을 제시한다. 이는 샘플링된 데이터에서 미지의 양을 추론하는데 있어 중요한 발전이다. 특히, 고정된 샘플 크기에서도 원본 샘플의 하위 집합에 대해 매우 정확한 예측 결과를 제공함으로써

September 15, 2011

Swiss Elections to the National Council: First trials with e-voting in elections at federal level

1. 전자투표 도입 배경 및 초기 시도 스위스는 이미 1994년부터 우편 투표를 통해 원격 투표의 기반을 마련했다. 이로 인해 참여율이 증가하고, 약 90% 이상의 투표가 우편을 통해 이루어지게 되었다. 전자투표는 이러한 성공적인 경험 위에서 개발되었으며, 특히 해외 거주 스위스 유권자를 위한 새로운 투표 채널로서 도입되었다. 2000년부터 제네바, 뉴샤텔, 취리히 세 주에서 전자투표 시범 운영이 시작되었다. 이 초기 시험 단계에서는 연방이 각 주의 시스템 개발에 자금을 지원하고 조정 역할을 수행했다. 이러한 시스템은 주 정치 체제

September 15, 2011

Computers and Society Computer Science

Bringing the LHC and ATLAS to a regional planetarium

: 이 논문은 미시간 주립대학교의 아브람 천문대를 활용한 LHC와 ATLAS 실험의 홍보 프로그램을 소개합니다. 이 프로그램은 과학 교육과 대중화에 중요한 역할을 하는 동시에, 학생들의 창의적 능력과 의사소통 기술을 향상시키는 데 중점을 두고 있습니다. 1. 천문대 활용의 중요성 천문대는 과학 교육 및 홍보에 중요한 역할을 합니다. 전 세계적으로 수천 개의 천문대가 다양한 연령과 배경을 가진 사람들에게 과학적 지식을 제공하고 있습니다. 미시간 주립대학교의 아브람 천문대는 매년 약 35,000명의 방문객을 맞이하며, 이들 중 많은 이

September 14, 2011

Physics HEP-EX

An Efficient Paging Algorithm for Multi-Carrier CDMA System

: 본 논문은 무선 통신 네트워크에서 모바일 스테이션(MS)을 효과적으로 추적하기 위한 새로운 페이지링(Pageing) 알고리즘을 제안한다. 특히, 다중 캐리어 CDMA 시스템에서 MS를 동시에 검색할 수 있는 효율적인 방법을 탐구하고 있다. 기존 문제점 기존의 다중 캐리어 CDMA 시스템에서는 MS가 한 번에 하나의 캐리어 주파수만 청취할 수 있어, 모든 사용자를 동시에 검색하는 데 한계가 있었다. 이로 인해 페이지 채널 자원이 비효율적으로 활용되는 문제가 발생했다. 제안된 알고리즘 본 논문은 이러한 문제를 해결하기 위해 동시 검

September 13, 2011

Networking System Computer Science

Banded Householder representation of linear subspaces

이 논문은 대용량 행렬의 압축과 표현에 대한 새로운 접근법을 제시하며, 특히 하우스홀더 분해를 이용한 방법론을 강조한다. 주요 내용은 다음과 같다: 1. 하우스홀더 QR 알고리즘의 개요 : 논문은 먼저 하우스홀더 QR 알고리즘이 m × n 직교 행렬 U 를 n 개의 하우스홀더 반사(reflection)의 곱으로 표현하는 방법을 설명한다. 이는 총 n(m (n + 1)/2) 개의 부동 소수점 연산이 필요하다. 그러나 실제 응용에서는 행렬의 범위만 중요하며, 동일한 범위를 가지는 다른 직교 행렬은 동등하다. 2. 밴드 하우스홀더 분해

September 13, 2011

Numerical Analysis Computer Science

Secured color image watermarking technique in DWT-DCT domain

본 논문은 디지털 이미지의 저작권 보호를 위해 DWT DCT 도메인에서 색상 이미지 워터마킹 기법을 제안하고 있다. 이 방법은 이미지의 YIQ 색 공간 변환과 DWT, DCT를 활용하여 고주파 하위 대역에 워터마크를 삽입함으로써 내구성을 향상시킨다. 1. 연구 배경 디지털 데이터의 확산은 저작권 보호가 필수적인 필요로 이어졌다. 디지털 이미지 워터마킹은 원본 이미지에 적절한 정보를 숨겨 소유권을 명시함으로써 저작권을 보호한다. 워터마킹 시스템의 품질은 강인성, 지각 투명도, 용량 및 블라인드 워터마킹이라는 네 가지 핵심 요소에 의해

September 13, 2011

Multimedia Computer Science

A Note on the Grothendieck Group of an Additive Category

매력적인 한글 제목: 가산 범주와 그로텐디크 그룹의 동형성 초록 전체 번역 및 정리: 본 논문은 가산 범주의 스플릿 그로텐디크 그룹과 해당 범주의 유한 복잡체의 호모토피 범주에서의 삼각화된 그로텐디크 그룹이 동형인지에 대한 질문을 다룬다. 특히, 가산 범주 A와 그의 유한 복잡체의 호모토피 범주 Kb(A)를 고려할 때, A의 스플릿 그로텐디크 그룹 K⊕(A)가 Kb(A)의 삼각화된 그로텐디크 그룹 K△(Kb(A))와 동형인 것을 증명한다. 이는 호모토피 범주에서의 에울러 특성이 원래 구조를 복원하는 데 중요한 역할을 한다는 점에서

September 12, 2011

Mathematics Computational Complexity Computer Science

Discovery of the Expansion of the Universe

이 논문은 우주 팽창의 역사와 그 과정에서 여러 천문학자들의 역할을 상세히 탐구하며, 특히 허블과 하마손의 연구를 중심으로 다룬다. 이 연구는 1920년대 후반부터 1930년대 초까지 수행된 다양한 관측과 분석이 어떻게 우주 팽창에 대한 이해를 형성하는 데 기여했는지를 살펴본다. 초기 탐색 위르츠와 룬마크의 연구가 속도 거리 관계의 초기 탐색을 이끌었다. 위르츠는 1922년과 1924년에 나선 은하들의 방사선 속도를 분석하여, 거리가 증가함에 따라 적색편이가 증가한다는 사실을 발견했다. 룬마크 역시 1925년에 작은 성운일수록 더

September 12, 2011

Astrophysics Physics

Tight binding description of the electronic response of a molecular device to an applied voltage

: 본 논문은 분자가 전압에 어떻게 반응하는지를 이해하기 위한 일관된 TB 방법론을 제시하고 있습니다. 이 연구는 분자의 전자 구조와 전압에 따른 변화를 정확하게 예측할 수 있는 중요한 기반을 제공하며, 특히 분자 장치의 I(V) 특성 예측에서 활용 가능성을 보여줍니다. 1. 연구 배경 및 목적 분자 전자 공학은 단일 분자의 운반 특성을 이해하고 이를 활용하는 핵심 분야입니다. 이전에 수행된 연구들은 주로 TB 또는 비정약 방법을 사용하여 분자의 전자 구조를 계산하였으나, 이러한 접근법들은 복잡한 시스템에서의 적용이 어려웠습니다.

September 12, 2011

Physics

Complexity of Bondage and Reinforcement

본 논문은 지배 집합과 관련된 여러 매개변수, 특히 결합 숫자와 강화 숫자의 복잡성을 분석하고 있다. 이러한 개념들은 그래프 이론에서 중요한 역할을 하며, 특히 NP 완전성 문제에 대한 이해를 깊게 한다. 1. 지배 집합과 관련 매개변수 지배 집합은 그래프 G (V, E)의 모든 꼭짓점이 해당 집합 내의 인접한 꼭짓점에 포함되는 최소 집합이다. 이는 그래프에서 중요한 정보를 효율적으로 전달하거나 커버하는 데 사용된다. 지배 숫자 γ(G)는 이러한 최소 집합의 크기를 나타내며, 이를 계산하는 문제는 NP 완전임이 알려져 있다. 결합

September 09, 2011

On inconsistencies in passive pharmacokinetics

본 논문은 수동 약물 동력학에서 일관성 없는 결과의 원인을 탐색하는데 초점을 맞추고 있다. 저자들은 이러한 불일치가 적절한 진화 방정식의 부재로 인해 발생할 가능성이 높다고 주장한다. 이는 약물 동력학 연구에서 중요한 문제를 제기하며, 특히 실험 결과의 일관성과 예측력을 향상시키는 데 있어 핵심적인 역할을 한다. 논문은 한 개실 모델을 사용하여 이러한 불일치를 설명한다. 이 모델은 약물이 시간에 따라 어떻게 변화하는지 나타내는 방정식을 통해 약물 동력학의 기본 원리를 보여준다. 특히, $C(t)$는 시간 $t$에서의 약물 농도를 나

September 09, 2011

Quantitative Biology

An Efficient Preprocessing Methodology for Discovering Patterns and Clustering of Web Users using a Dynamic ART1 Neural Network

본 논문은 웹 사용자 패턴 분석을 위한 전처리 및 클러스터링 방법론에 중점을 두고 있다. 주요 내용과 그 중요성, 그리고 제안된 접근 방식의 효과를 심도 있게 분석해보자. 1. 전처리의 필요성 웹 로그 데이터는 웹사이트 방문자의 행동을 기록한 대량의 정보로 구성되어 있으며, 이 데이터에서 유의미한 패턴을 발견하기 위해서는 정교한 전처리 과정이 필수적이다. 본 논문에서는 전처리를 통해 초기 로그 파일 크기를 73 82%까지 줄이는 동시에 풍부하고 구조화된 데이터를 제공하는 방법론을 제시한다. 전처리의 주요 목표는 분석 대상 데이터의

September 07, 2011

Neural Computing Network Computer Science

Application of the Modified 2-opt and Jumping Gene Operators in Multi-Objective Genetic Algorithm to solve MOTSP

: 본 논문은 다목적 여행 판매원 문제(Multi Objective Traveling Salesman Problem, MOTSP)를 해결하기 위한 유전 알고리즘의 혁신적인 접근법을 제안한다. 이 연구는 특히 수정된 2 opt와 점프 유전자 연산자를 활용한 Elitist 비우월 정렬 유전 알고리즘(NSGA II)에 초점을 맞추고 있다. 문제 정의 및 배경 여행 판매원 문제(TSP)는 주어진 도시들 사이에서 가장 저렴한 경로를 찾는 문제로, 단일 목적 TSP는 NP 완전 문제이다. 다목적 TSP에서는 여러 목표(예: 비용과 거리)를 최

September 07, 2011

Neural Computing Artificial Intelligence Computer Science

The Igusa-Todorov function for comodules

본 논문은 이구사 토도프(IT) 함수를 이용하여 코모듈과 관련된 여러 성질을 분석하고 있다. 주요 내용은 다음과 같다: 1. IT 함수와 quasi Frobenius 성질: IT 함수는 주어진 코알게라에서 각 유한 생성 우(좌) 모듈에 대한 자명하지 않은 핵을 정의하는 새로운 호몰로지 도구이다. 이 함수를 통해 우(좌) 아틴 반환 링의 selfinjectivity를 표현할 수 있으며, 이를 통해 quasi Frobenius 성질과 IT 함수 사이의 관계를 분석한다. 2. 좌(우) qcF 코알게라의 정의와 IT 함수: 좌(우) qua

September 07, 2011

General Relativity Astrophysics

Effects of Rotation on Pulsar Radio Profiles

이 논문은 펄사의 자전이 전파 프로필에 미치는 영향을 상세히 분석하고 있습니다. 특히, 펄사의 빠른 자전 속도와 강력한 자기장이 방출되는 전파 프로필의 형태를 어떻게 변형시키는지에 대한 심층적인 이해를 제공합니다. 1. 곡률 복사 및 플라즈마 무리의 역할 펄사는 빠른 자전 속도와 강력한 자기장을 가진 중성자 별로, 이들 특징은 펄사가 방출하는 전파 프로필에 중요한 영향을 미칩니다. 연구에서는 펄사의 전파 방출이 상대론적 플라즈마 무리들이 '힘 없이' 초강력 자기장의 열린 선적분 따라 흐르면서 발생하는 일관된 곡률 복사를 통해 설명됩

September 06, 2011

Astrophysics

Losing money with a high Sharpe ratio

이 논문은 투자 성과 측정 지표인 샤프 비율의 한계를 탐색하고, 높은 샤프 비율에도 불구하고 포트폴리오가 손실을 볼 수 있는 상황을 분석합니다. 이는 투자자들이 단순히 샤프 비율만으로 성과를 판단하지 않고, 실제 자본의 변화와 같은 다른 요소들을 함께 고려해야 함을 강조하는 중요한 연구입니다. 1. 샤프 비율의 기본 이해 샤프 비율은 투자 포트폴리오의 수익률이 위험에 대한 보상으로 얼마나 높게 나타나는지를 측정합니다. 이는 단위 위험당 수익률을 의미하며, 일반적으로 무위험 금리를 벤치마크로 사용합니다. 논문에서는 벤치마크를 0으로

September 06, 2011

Quantitative Finance

Numerical simulations of relativistic magnetic reconnection with Galerkin methods

) 본 논문은 상대론적 자기 재결합 과정의 수치 시뮬레이션에 대한 깊이 있는 연구를 제공한다. 이는 천체물리학에서 중요한 역할을 하는 고에너지 현상 중 하나로, 특히 펄사의 자기권, 감마선 폭발성 제트 등 다양한 천체에서 관찰된다. 1. 상대론적 자기 재결합의 중요성 상대론적 자기 재결합은 플라즈마 내부에 저장된 자기 에너지를 열과 운동 에너지로 변환하는 과정이다. 이 과정은 매우 빠르게 진행되며, 천체물리학에서 중요한 역할을 하는 고에너지 현상 중 하나다. 초기에는 상대론적 Petschek 재결합이 직접적으로 자기 에너지를 플라즈

September 06, 2011

A Radio Based Intelligent Railway Grade Crossing System to Avoid Collision

: 본 논문은 철도 등급 교차점에서 발생하는 사고를 줄이기 위한 지능형 철도 교량 시스템을 제안하고, 그 구현 방법과 작동 원리를 상세히 설명한다. 이 시스템의 핵심은 무선 링크를 통해 열차의 접근 및 퇴출 정보를 수집하는 것이다. 1. 문제 인식 철도 등급 교차점에서 발생하는 사고는 운전자의 과실, 악천후, 부적절한 교통 계획 등의 다양한 요인에 의해 발생하며, 특히 게이트가 없는 경우 이러한 사고의 위험이 더욱 증가한다. 이로 인해 최근 5년 동안 많은 사람들이 사망하거나 부상을 입었다는 점을 강조하고 있다. 2. 기존 시스템의

September 02, 2011

Computer Science System Systems and Control

Complexity

1. 환원주의의 한계 고전적인 과학 및 공학은 현상을 분리하고 단순화하여 미래를 예측하는 환원주의 방법론을 성공적으로 활용해 왔습니다. 그러나 최근 몇 십 년간, 상호작용이 중요한 현상에서 환원주의의 한계가 드러났습니다. 환원주의는 분리하는 특성 때문에 상호작용을 간과해야 합니다. 예를 들어, 개미 군락이나 새 떼와 같은 집단 행동은 개별 요소의 행동만으로 설명하기 어렵고, 이웃의 행동에 따라 현지 결정을 내리는 상호작용이 중요합니다. 2. 복잡성과 발생적 속성 복잡한 시스템에서는 시스템의 '법칙'과 초기 및 경계 조건만으로는 사전

September 02, 2011

Other CS Computer Science

A Non-Equilibrium Ionization Model of the Local and Loop I Bubbles - Tracing the Ovi Distribution

: 본 논문은 현지 거품(Local Bubble)과 Loop I 거품의 비평형 이온화 구조에 대한 심층적인 분석을 제공하며, 특히 OVI(Oxygen VI) 흡수 기조 밀도와 관련된 관측 데이터를 재현하는 데 초점을 맞추고 있습니다. 연구는 고해상도 3차원 유체역학 시뮬레이션을 통해 이온화 구조의 진화를 추적하고, 이를 실제 관측 결과와 비교하여 LB 및 Loop I 거품의 물리적 특성을 이해하는데 중점을 두었습니다. 서론: 현지 거품은 태양계 주변에 위치한 X선 방출 지역으로, 그 크기와 성질이 여전히 완벽하게 이해되지 않은 상태

September 01, 2011

Model Astrophysics

A Rejoinder on Energy versus Impact Indicators

: 본 논문은 과학 연구의 영향력을 측정하는 새로운 지표인 통합 영향 지표(I3)를 제안하고 있습니다. 이는 기존의 저널 인용 점수(JCS)와 분야 인용 점수(FCS)를 평균으로 사용하는 방식과 달리, 두 히트(citations)의 영향을 합으로 계산합니다. 이러한 접근법은 충돌 시 모멘텀의 벡터 합과 유사한 개념을 적용하며, 인용 분석에서 스칼라 합을 사용하는 것이 타당하다는 주장을 합니다. 논문에서는 I3를 개발하면서 Prathap (2011a)의 엔트로피 개념이 확률적 엔트로피가 아닌 열역학적 엔트로피라는 점을 지적합니다. 이

August 31, 2011

Physics Computer Science Digital Libraries

Factorial Moments in Complex Systems

: 본 논문은 핵 반응에서 최종 상태 입자의 다중성 분포와 상호 관계를 분석하는 데 초점을 맞추고 있다. 이 연구에서는 사실적 순간이라는 통계 도구를 사용하여 위상 공간 내에서 입자 간의 상관 관계와 다중성 분포를 자세히 분석한다. 1. 핵 반응과 사실적 순간 핵 반응에서 최종 상태 입자의 다중성 분포는 고에너지 물리학에서 중요한 연구 주제이다. 이 논문에서는 이러한 분포를 분석하기 위해 정규화된 사실적 순간이라는 통계 도구를 사용한다. 사실적 순간은 특정 위상 공간 영역 내에서 측정된 입자 수의 분포를 자세히 분석하는 데 유용하다

August 31, 2011

Quantitative Finance System

Unsteady Hydromagnetic Flow of Viscoelastic Fluid down an Open Inclined Channel

: 본 논문은 개방형 경사 채널 내에서 월터 유체의 비정상 수력학적 흐름을 연구하며, 특히 균일한 수직 자기장이 이 흐름에 미치는 영향을 분석한다. 월터 유체는 비뉴턴 유체 중 하나로, 고전적인 응력 변형률 관계를 따르지 않는 특성을 가진다. 이러한 물질은 플라스틱 성형, 섬유 제조 등 다양한 산업에서 중요한 역할을 하는데, 이 연구는 월터 유체의 흐름에 대한 이해를 깊게 하기 위해 수행되었다. 논문에서는 라플라스 변환과 유한 푸리에 사인 변환 기법을 사용하여 속도 분포를 평가한다. 이러한 수학적 방법은 복잡한 미분 방정식을 해결하

August 30, 2011

Physics Computational Engineering Computer Science

Vesto Slipher and the First Galaxy Redshifts

: 베스토 슬리퍼는 20세기 초 천문학 분야에서 혁신을 이끌어낸 핵심 인물 중 한 명이다. 그의 연구는 은하 적색편이 측정이라는 현대 우주론의 기초를 마련하는 데 중요한 역할을 했다. 1. 슬리퍼의 초기 연구와 분광기 개선 슬리퍼는 1901년 인디애나 대학교에서 천문학 학사 학위를 취득한 후, 로owell 천문대로 이직하여 새로운 분광기를 설치하고 운영하는 역할을 맡았다. 그의 초기 연구는 나선 성운의 스펙트럼 이해에 초점을 맞추었으며, 이를 위해 사용된 분광기는 1개 이상의 프리즘을 직렬로 연결해 사용할 수 있는 설계였다. 슬리퍼

August 30, 2011

Physics Astrophysics

A Frequent Closed Itemsets Lattice-based Approach for Mining Minimal Non-Redundant Association Rules

: 본 논문은 협업 규칙 추출 과정에서 중요한 두 단계, 즉 빈도 항목 집합(Frequent Itemsets)의 발견과 이를 바탕으로 한 협업 규칙 생성에 초점을 맞추고 있습니다. 특히, 이 연구는 최소 비중복 연관 규칙(MNAR) 추출을 위한 새로운 접근법을 제안하며, 기존 방법들과 비교 분석을 통해 그 효율성을 입증하고자 합니다. 1. 협업 규칙 추출의 기본 개념과 알고리즘 협업 규칙 추출은 크게 두 단계로 나눌 수 있습니다: 빈도 항목 집합(FI) 또는 빈도 닫힌 항목 집합(FCI)을 찾는 과정과 이를 바탕으로 협업 규칙을 생

August 29, 2011

Databases Computer Science

Brief comment: Dicke Superradiance and Superfluorescence Find Application for Remote Sensing in Air

본 논문은 딕케 초과방사(SR)와 초과발광(SF), 그리고 증강 무작위 방출(ASE)의 차이점에 대해 설명하고, 이들 현상이 공기 중 원격 감지 기술에 어떻게 활용될 수 있는지를 분석합니다. 논문은 이러한 현상을 식별하는 방법을 제시하며, 특히 Dogariu 외 연구진의 관찰 결과를 통해 SR과 SF가 실제 실험에서 어떻게 구분되는지 설명하고 있습니다. 1. 딕케 초과방사(SR)와 초과발광(SF) 딕케는 1954년에 가스 상태의 원자 또는 분자의 밀집된 흥분 2단계 시스템에서 레이저 공명 없이 협동 방출을 예측했습니다. 이후 보니피

August 29, 2011

Physics

Multidimensional Simulations of Thermonuclear Supernovae from the First Stars

본 논문은 우주의 초기 별들인 Pop III 별들의 쌍성폭발(PSN) 과정을 다차원 시뮬레이션을 통해 심도 있게 분석한 내용이다. 이 연구는 기존의 1차원 모델에서 벗어나, 2차원 시뮬레이션을 통해 더 정확하고 복잡한 물리적 현상을 이해하려고 노력한다. 초기 별들의 진화와 질량 Pop III 별은 우주의 초기에 형성된 첫 번째 세대의 별로, 이들은 주요 원소 합성을 통해 후대 별과 은하 형성에 중요한 역할을 했다. 초기 연구에서는 Pop III 별이 100 1000 M⊙의 질량을 가진 것으로 예측되었지만, 최근 연구는 약 20%가

August 29, 2011

Astrophysics

Total coloring of pseudo-outerplanar graphs

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

August 26, 2011

Mathematics Computer Science Discrete Mathematics

Comparison Of The Consumption Of Resources Between HTTP And SIP

본 논문은 HTTP와 SIP 프로토콜의 자원 소비를 비교 분석하는데 초점을 맞추고 있다. VoIP 기술의 성장과 함께, Asterisk라는 오픈소스 솔루션이 널리 사용되고 있으며, 이를 통해 저비용으로 통신 인프라를 구축할 수 있는 가능성을 보여주고 있다. 실험 환경 및 방법론 실험은 Dell Optiplex GX 110 서버와 클라이언트를 이용하여 수행되었으며, 운영체제는 Debian GNU/Linux가 사용되었다. 웹 서버로 Apache를, VoIP 서버로 Asterisk를 각각 사용하였다. 메모리 소비량을 측정하기 위해 TOP

August 25, 2011

Networking Computer Science

A Well-Behaved Alternative to the Modularity Index

이 논문은 네트워크 클러스터링 알고리즘에서 사용되는 모듈러티 지수 Q에 대한 한계와 Borgatti의 η 지표를 소개하고, 이를 통해 더 정확한 분할 평가 방법을 제시한다. 1. 모듈러티 지수 Q의 문제점 Q는 네트워크 데이터에서 클러스터링 성능을 측정하는 데 주로 사용되지만, 여러 가지 한계를 가지고 있다. 첫째, Q는 외부 간선의 증가에 따라 감소하고 내부 간선의 증가에 따라 증가해야 하지만, 실제로는 그렇지 않다. 예를 들어, 완벽한 클러스터링을 나타내는 그래프에서 한 개의 내부 간선이 제거되더라도 Q 값은 변하지 않는다. 이

August 24, 2011

Social Networks Physics Computer Science

Hyperdeterminant and an integrable partial differential equation

본 논문은 하이퍼결정식과 비선형 편미분방정식 간의 관계를 탐구하며, 특히 배턴 방정식과 유사한 형태의 새로운 비선형 편미분방정식을 제시합니다. 이 연구는 수학적 구조와 물리학적 응용 사이의 연결을 강화하는 중요한 단계로 볼 수 있습니다. 1. 하이퍼결정식과 배턴 방정식 배턴 방정식은 레그로 변환을 통해 선형화될 수 있는 특성을 가지고 있으며, 이는 파인레베 테스트를 사용하여 부분 미분방정식의 적분 가능성을 연구하는 데 중요한 역할을 합니다. 배턴 방정식은 다양한 물리학적 현상에서 나타나며, 특히 비선형 편미분방정식의 해석에 있어 핵

August 23, 2011

Nonlinear Sciences

Representing a profinite group as the homeomorphism group of a continuum

: 이 논문은 프로핀트 군(profinite group)의 표현에 새로운 접근 방식을 제시하고 있다. 특히, 이 연구는 그래프 이론을 활용하여 프로핀트 군을 연속적인 연결된 메트릭 공간의 홈오모르피즘 그룹(homeomorphism group)으로 표현하는 방법을 탐구한다. 1. 기존 연구와의 차별화 기존 연구에서는 주로 프로핀트 군이 컴팩트한 연결된 메트릭 공간의 홈오모르피즘 그룹과 동형이라는 사실을 증명하였다(

August 22, 2011

On the Intersection of All Critical Sets of a Unicyclic Graph

: 본 논문은 유사이클적 그래프, 즉 단일 사이클을 갖는 연결 그래프에서 핵심(core), 코로나(corona), 그리고 ker(G) 집합들 간의 관계에 대해 깊이 있는 분석을 제공한다. 이러한 그래프들은 이론적으로 중요한 위치를 차지하며, 특히 그들의 독립 집합과 매칭에 대한 성질은 그래프 이론에서 핵심적인 역할을 한다. 논문에서는 먼저 핵심(core)과 코로나(corona)의 정의를 제시한다. 핵심은 모든 최대 독립 집합들의 교집합이고, 코로나는 이러한 집합들의 합집합이다. ker(G)는 G의 중요한 독립 집합들의 교집합으로 정

Mathematics Computer Science Discrete Mathematics

On the Testing of Seismicity Models

: 지진 위험 평가는 장기간 피해 발생 가능성을 나타내는 지도 제작에 기반한다. 이러한 지도 생성은 역사적인 지진 데이터, 저강도 지진 활동, 구텐베르크 리처 법칙 등 다양한 접근 방식을 포함하며, 이들 방법의 차이로 인해 객관적인 지진 모델 테스트 및 순위를 매기는 통계적 방법론 개발이 중요해졌다. 미국 지질조사국(USGS)의 협동 연구 기관인 CSEP(Collaboratory for the Study of Earthquake Predictability)는 이러한 필요성을 충족하기 위해 캘리포니아 지역을 대상으로 한 RELM(Re

Model Physics

Self-Organizing Mixture Networks for Representation of Grayscale Digital Images

본 논문은 그레이 스케일 디지털 이미지를 표현하고 클러스터링하는 방법에 대해 심도 있게 다루고 있다. 특히, 코호넨 네트워크 (Self Organizing Map, SOM)과 혼합 소스 코호넨 네트워크 (Self Organizing Mixture Network, SOMN)를 사용하여 이미지를 효과적으로 표현하고 클러스터링하는 방법을 제안한다. 1. 그레이 스케일 이미지의 표현 그레이 스케일 이미지는 픽셀 그리드로 정의되며, 각 픽셀은 밝기 강도 값을 가진다. 이 값들은 일반적으로 0에서 255 사이의 정수로 디크레티화되어 컴퓨터 메

Artificial Intelligence Network Computer Science

The complexity of tangent words

이 논문은 매끄러운 곡선과 그에 대한 접선 단어의 언어적 접근법을 체계적으로 분석한다. 주요 내용은 다음과 같다: 1. 매끄러운 곡선의 정의와 특성 : 매끄러운 곡선은 실수 직선 위의 컴팩트 구간 I에서 정의되며, 모든 t ∈ I 에 대해 ||γ′(t)|| > 0 이라는 규칙성을 만족한다. 이러한 곡선은 원하는 만큼 재매개변수화될 수 있으며, 일반적으로 각 t 에 대해 ||γ′(t)|| 1 이다. 매끄러운 곡선의 근사 방법으로 평면에 격자망을 그려서 곡선이 만나는 사각형의 순서를 살펴본다. 이 절단 순서는 상, 하, 좌, 우 방향으

Formal Languages Computational Geometry Computer Science Discrete Mathematics

Biologically Inspired Process Calculi, Petri Nets and Membrane Computing

: 이 책은 막 구조 컴퓨팅(Membrane Computing) 및 생물학적으로 영감을 받은 프로세스 계산(Biologically Inspired Process Calculus) 분야에서 중요한 연구 성과들을 모아놓은 기록입니다. 특히, 페트리 네트(Petri Net)를 활용한 연구가 강조되어 있어 이 세 가지 주제 사이의 상호작용을 잘 보여주고 있습니다. 막 구조 컴퓨팅은 생물학적 시스템에서 영감을 받아 개발된 계산 모델로, 특히 세포 내에서 발생하는 복잡한 화학 반응과 정보 흐름을 모델링하는데 사용됩니다. 이 분야는 자동화, 형

Formal Languages Distributed Computing Computer Science

Modelling of Genetic Regulatory Mechanisms with GReg

본 논문은 유전적 조절 메커니즘의 모델링에 있어 기존 시뮬레이션 도구와 모델 체크(model checking) 기법 사이의 균형점을 찾는 데 초점을 맞추고 있다. 특히, GReg이라는 도메인 특정 언어(DSL)를 개발하여 생물학적 개념을 형식화하고, 이를 통해 비전문가도 쉽게 접근할 수 있는 모델 체크 도구를 제공한다. 1. DSL의 필요성 생명과학 분야에서 시뮬레이션 기법은 널리 사용되고 있지만, 이는 특정 조건 하에만 가능한 행동을 탐색하는 데 그치며, 전체적인 시스템 동작을 완전히 이해하기에는 한계가 있다. 반면, 모델 체크는

Computational Engineering Model Logic Computer Science

Multiscale Modelling: A Mobile Membrane Approach

: 본 논문은 생물학적 과정 연구에 있어 다중 규모 모델링의 중요성과 그 구현 방법을 탐구하고 있습니다. 특히, 이동성 막 시스템이 이러한 모델링 접근법에서 중요한 역할을 하는데 초점을 맞추고 있습니다. 1. 다중 규모 모델링의 필요성 자연 현상은 다양한 공간적 및 시간적 규모에서 상호작용하며 발생합니다. 따라서, 이를 효과적으로 연구하려면 다중 규모 모델링이 필수적입니다. 복잡 자동문(CxA)은 이러한 다중 규모 접근법을 구현하는 데 가장 적합한 시스템으로 간주됩니다. 2. 이동성 막 시스템의 활용 이동성 막 시스템은 생물학적 움

Formal Languages Quantitative Biology Model Computer Science Emerging Technologies

Petri Nets and Bio-Modelling - and how to benefit from their synergy

: 본 논문은 페트리넷과 생물학적 시스템 간의 상호작용을 통해 얻을 수 있는 이점을 탐구합니다. 페트리넷은 동시성과 분산 계산을 위한 강력한 도구로, 행동 특성을 분석하고 검증하는 데 사용됩니다. 생물학적 과정을 이해하기 위해 제안된 막 시스템과 반응 시스템은 세포 내 화학 반응을 추상화한 모델입니다. 페트리넷의 원인과 동시성 의미론에 대한 이해는 페트리넷이 어떻게 생물학적 과정을 정확히 모델링할 수 있는지 설명하는 데 중요합니다. 막 시스템은 세포 내 화학 반응에서 영감을 받아 개발되었으며, 이는 페트리넷과 유사한 다중 집합 재구

Formal Languages Distributed Computing Model Computer Science

Reversibility in Massive Concurrent Systems

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