Posts

Here are all published articles, sorted by date in descending order.

820 posts total

17 pages total

Banach Contraction Principle for Cyclical Mappings on Partial Metric Spaces

: 이 논문은 부분 미적 공간(Partial Metric Space, PMS)에 대한 바나흐 수축 원리(Banach Contraction Principle)를 확장하고, 이를 순환 맵핑(cyclical mapping)으로 일반화하는 방법을 제시한다. 이는 기존의 고정점 정리를 더욱 넓은 범위로 확장시키고, 부분 미적 공간에서의 수학적 구조와 그 활용성을 더 깊이 이해할 수 있는 중요한 연구이다. 1. 부분 미적 공간(PMS)의 개념과 성질 논문에서는 PMS의 정의와 기본적인 성질을 설명한다. 특히 대칭성, 일치성, 작은 자기 거리,

December 30, 2011

Mathematics

No Image

Comment on Japanese Detection of Air Fluorescence Light from a Cosmic Ray Shower in 1969

본 논문은 1960년대 일본에서 수행된 우주선 대기 샤워 연구를 중심으로, 그 당시의 관측 기술과 결과를 현대적인 시각으로 재검토하고 있다. 특히 하라 등(Hara et al.)이 1969년에 보고한 10^19eV 에너지 수준의 우주선 집중 대기 샤워에서 발생하는 대기 형광 빛을 감지한 사건에 대해 심도 있는 분석을 제공한다. 연구 배경 1960년대에는 일본과 미국의 연구팀이 각각 대기 형광 빛 감지의 가능성을 조사하고 있었다. 하라 등은 1968년 12월부터 도다이라 천문대에서 5개월 동안 실험을 수행했으며, 이 기간 동안 10^

December 30, 2011

Detection Astrophysics Physics

No Image

The Fiedler Rose: On the extreme points of the Fiedler vector

매력적인 한글 제목: 피더러 장미: Fiedler 벡터의 극점에 대한 연구 초록 전체 번역 및 정리: 이 논문에서는 그래프 라플라시안과 그 고유벡터 중 하나인 피더러 벡터(Fiedler vector)를 중심으로, 특히 이 벡터의 극값들이 어떤 의미를 갖는지에 대해 연구한다. 피더러 벡터는 그래프 분할 문제에서 중요한 역할을 하며, 이 논문에서는 이 벡터와 이산 열 방정식 사이의 관계를 통해 그 특성을 이해하려고 한다. 특히, 피더러 벡터의 극값이 가장 멀리 떨어진 두 정점일 것이라는 일반적인 추측에 대한 반례로 '피더러 장미'라는

December 30, 2011

Mathematics

No Image

The Geometry of the Non-Linear Least Squares Adjustment

: 본 논문은 비선형 보상(또는 비선형 조정)의 기하학적 접근 방식과 파즈만 정리에 중점을 두고 있습니다. 이 연구는 가우스 마코프 모델을 이용하여 관측값과 미지 변수 간의 관계를 표현하고, 최소제곱법을 통해 이를 해결하는 방법을 제시합니다. 논문에서 다루는 비선형 가우스 마코프 모델은 다음과 같이 정의됩니다: ζ(X) Le; 여기서 e는 평균이 0이고 분산 행렬 Γ를 따르는 정규 분포를 갖는 오차 벡터입니다. 이 모델을 통해 관측값과 미지 변수 간의 관계를 표현하고, 최소제곱법을 이용하여 이 모델에서의 해를 찾습니다. 논문에서는

December 26, 2011

Physics

No Image

A Complexity Approach for Steganalysis

: 이 논문은 정보 은폐 및 워터마킹 분야에서 보안과 강건성을 향상시키기 위한 복잡성 기반 접근법을 제시하고 있다. 이 연구는 다양한 학자들의 작업을 바탕으로, 특히 Cachin의 가설 검정 문제와 Mittelholzer의 워터마킹 스키마 분석 등이 주요 참고 문헌이다. 논문은 정보 은폐에서 두 가지 중요한 요소인 강건성과 보안에 초점을 맞춘다. 이는 워터마킹 메커니즘을 통해 원본 콘텐츠와 통신 채널 사이의 균형을 유지하는 것을 의미한다. 즉, 표시된 콘텐츠의 저하를 최소화하면서도 워터마크 채널의 용량이 부드럽게 감소해야 한다는 것

December 23, 2011

Computational Complexity Computer Science Cryptography and Security Analysis

No Image

On Position Translation Vector

본 논문은 인에르셜 내비게이션 알고리즘 설계에서 중요한 역할을 하는 '위치 변환 벡터' (PTV)를 도입하고, 이를 Savage의 프레임워크와 이중 쿼터니언 접근법 사이의 연결성을 통해 분석합니다. 논문은 Savage가 제시한 스트랩다운 인에르셜 내비게이션 알고리즘 설계를 위한 통합 수학적 프레임워크를 기반으로, 새로운 PTV를 도입하고 이를 분석하는 데 초점을 맞추고 있습니다. 1. Savage의 프레임워크와 VTV Savage는 스트랩다운 인에르셜 내비게이션 알고리즘 설계를 위한 통합 수학적 프레임워크를 제시했습니다. 이 프레임

December 23, 2011

Computer Science Robotics

No Image

On elliptic solutions of nonlinear ordinary differential equations

: 본 논문은 비선형 상수 미분방정식(ODE)의 모든 이중 주기 메로모르 솔루션을 찾는 알고리즘을 제안하고, 이를 통해 타원 함수를 활용한 다양한 방법론을 통합한다. 특히 Weierstrass 함수와 Jacobi 타원 함수 방법 등 기존 연구에서 사용된 여러 접근 방식을 바탕으로 새로운 알고리즘을 개발하였다. 논문의 핵심은 비선형 ODE의 모든 타원 솔루션 패밀리를 찾는 데 있다. 이를 위해 논문에서는 로렌츠 급수를 활용한 방법론을 제시한다. 이 방법론은 방정식의 특이점 주변에서의 국부적 분석과, 이러한 분석 결과를 바탕으로 타원

December 22, 2011

Nonlinear Sciences

No Image

A Criticism on 'A Mathematicians Apology' by G. H. Hardy

: G.H. 하디의 수학자의 변명 은 20세기 초반 수학과 과학에 대한 철학적 접근을 논하는 중요한 문헌이다. 이 책에서 하디는 수학을 순수한 지적 호기심의 결과로 보며, 응용 수학에 대해 부정적인 태도를 취한다. 이러한 관점은 그가 수학자로서의 자부심과 함께 과학의 발전에 대한 철학적 견해를 반영하고 있다. 하디는 순수 수학을 가장 높이 평가하며, 응용 수학을 편견적으로 바라본다. 그러나 아이러니하게도, 그 자신의 연구 중 일부는 중요한 응용 결과를 낳았다. 예를 들어, 하디 와인베르크 법칙은 유전학에서 핵심적인 역할을 하는데,

December 21, 2011

Mathematics

No Image

Reply to 'Comment' by A. V. Tsiganov

: 본 논문은 A. V. Tsiganov의 'Comment'에 대한 반론을 제시하면서 고레아프 문제에서 사용되는 분리 변수와 그 성질에 대해 심도 있게 검토한다. 특히, 논문에서는 Tsiganov가 주장한 u₁, u₂ 변수가 초기 포아송 브래킷에 대해 비공유적이기 때문에 분리 변수가 아니라는 주장을 반박하고 있다. 1. 변수 u₁, u₂의 비공유성과 분리 변수 Tsiganov는

December 21, 2011

Nonlinear Sciences

No Image

A Multipath Transport Protocol for Future Internet

본 논문은 미래 인터넷 환경에서 다중 경로 전송 프로토콜(MPTCP)의 성능 분석 및 최적화에 중점을 둔다. MPTCP는 TCP/IP 스택의 다양한 계층에서 여러 경로를 활용하여 데이터 전송률을 향상시키고, 변동 조건에 대한 내구성을 강화하는 것을 목표로 한다. 1. 다중 경로 접근 방식 MPTCP는 응용 계층과 네트워크 계층에서 다양한 접근 방법을 고려한다. 응용 계층에서는 병렬 소켓(PSockets) 및 cTCP와 같은 메커니즘을 통해 여러 TCP 소켓을 처리하고 데이터를 분산시키며, 네트워크 계층에서는 CMR과 McMAC 등의

December 20, 2011

Networking Computer Science

No Image

A note on the paper 'Minimizing total tardiness on parallel machines with preemptions' by Kravchenko and Werner [2010]

: Kravchenko와 Werner의 논문은 병렬 머신 환경에서 작업의 총 지연 시간을 최소화하는 문제에 대한 연구를 다루고 있다. 이들은 '파티션' 문제로부터 파생된 두 가지 복잡도 클래스인 P |pmtn| T j와 P |r j , p j p, pmtn| T j에 대해 감소 방법을 제시하였으며, 특히 P |pmtn| T j의 감소 방법을 상세히 설명하였다. 이 논문은 병렬 머신 환경에서 작업 스케줄링 문제를 해결하는 데 있어 중요한 기여를 하였지만, 일부 부분에 대한 분석이 부족하거나 잘못되었음을 보여주고 있다. 논문의 핵심 내

December 20, 2011

Computer Science Discrete Mathematics

No Image

ITIL frameworks to ITD Company for improving capabilities in service management

이 논문은 ITD 회사가 서비스 관리를 개선하기 위해 ITIL 프레임워크를 활용하는 방법에 대해 상세히 설명하고 있다. 주요 내용을 분석해보면 다음과 같은 요소들이 포함되어 있다: 1. 해결책 평가 : 논문은 여러 해결책 중에서 회사의 현재 상황과 가장 잘 맞는 것을 선택해야 한다고 강조한다. 첫 번째와 두 번째 해결책은 IT 자원이 많이 필요하며, 회사는 무역에 집중하고 있어 이러한 해결책을 선호하지 않는다. 세 번째 해결책인 SAP ERP의 도입은 막대한 투자와 변화 관리 위험을 수반하므로 회사가 원하는 단계적인 개선 방식과 맞

December 20, 2011

Computer Science Framework Software Engineering

No Image

Note on fast division algorithm for polynomials using Newton iteration

: 서론 논문은 다항식이 필드 위에서 유클리드 영역을 형성하며, 이는 모든 a와 b에 대해 (b가 0이 아닌 경우) 고유한 q와 r이 존재하여 a qb + r이고 r의 차수가 b보다 작다는 것을 설명한다. 전통적인 다항식 나눗셈 알고리즘은 O(n^2) 연산을 필요로 하지만, 뉴턴 반복과 반전 기법을 사용하면 이를 M(n)으로 개선할 수 있다. 그러나 이 방법은 xl의 차수가 2의 거듭제곱일 것을 요구한다. 다항식 나눗셈 알고리즘 논문에서는 다항식 a와 b에 대해 q와 r을 찾는 문제를 다룬다. 이를 위해 a qb + r 형태로 표현

December 20, 2011

Computer Science Symbolic Computation

No Image

Note sur Les Representations Quasi-Conformes

1. 등각적 위도 변환 등각적 위도 변환은 주어진 위도를 보존하는 함수를 사용하여 구의 표면을 평면으로 매핑하는 방법이다. 이 논문에서는 `1 + e sin(φ) / (1 e sin(φ)) 4`라는 식을 통해 위도 보존을 설명한다. 여기서 `e`는 타원체의 편심률, `φ`는 위도를 나타낸다. 2. 준등각 변환의 정의와 특성 준등각 변환은 각을 보존하거나 더 정확하게는 복소평면에서 미분 가능한 함수를 통해 표현된다. 이 논문에서는 `Z(z) f(z) z^n + ...` 형태의 함수를 사용하여 준등각 변환을 설명한다. 여기서 `z L

December 20, 2011

Physics

No Image

Ricean Shadowed Statistical Characterization of Shallow Water Acoustic Channels for Wireless Communications

: 본 논문은 얕은 바다 음향 채널의 통신 특성을 분석하고, 이를 위해 리세안 그림자 분포를 제안한다. 이 모델은 레이리 단기 변동과 물리 환경 매개변수에 따라 변하는 평균 출력 전력을 포함하며, 결정적인 지배 구성 요소와 무작위 구성 요소의 결합을 통해 발생한다. 1. 리세안 그림자 분포의 통계적 및 물리적 동기 리세안 그림자 분포는 레이리 분포와 Rice 분포를 포함하는 확장된 모델로, 결정적인 지배 구성 요소가 무작위 변수로 변동함을 고려한다. 이는 얕은 바다 음향 채널에서 발생하는 다양한 반사 경로와 지배적 전파 경로의 변동

December 20, 2011

Computer Science Sound Physics

No Image

Testing Differences Statistically with the Leiden Ranking

본 논문은 상위 10% 논문 비율 (PP 상위 10%)이라는 새로운 지표를 통해 대학 간의 영향력을 측정하고, 이를 통계적으로 검증하는 방법을 제시합니다. 이는 SCImago 기관 순위에서 사용되는 우수성 지표(EI)와 유사한 역할을 하며, 두 지표 모두 CWTS(Centre for Science and Technology Studies)가 제공하는 안정 구간 내에서 통계적으로 검증 가능하다는 점이 강조됩니다. 1. 새로운 영향력 지표의 도입 상위 10% 논문 비율은 대학이나 연구 기관이 출판한 모든 논문 중 상위 10%에 해당하는

December 20, 2011

Computers and Society Computer Science

No Image

The Energy Spectrum of a Radio Pulse Created by a Cascade Disk Within the Moons Regolith

: 본 논문은 초고에너지 입자 폭포가 달 표면의 흙 속에서 생성되는 라디오 펄스의 에너지 스펙트럼을 분석하는데 중점을 두고 있다. 체렌코프 복사는 전하 입자가 매질 내에서 초광속으로 움직일 때 발생하는 현상이며, 이 논문에서는 이러한 현상을 달 표면에서 관찰하고자 한다. 1. 체렌코프 복사의 기본 원리 체렌코프 복사는 전하 입자가 매질 내에서 초광속으로 움직일 때 발생하는 빛의 방출을 말한다. 이 현상은 전하 입자의 속도가 매질 내에서의 광속보다 큰 경우에만 관찰될 수 있다. 논문에서는 이러한 체렌코프 복사가 달 표면의 흙 속에서

December 20, 2011

Astrophysics

No Image

A Theorem of Probability

이 논문은 확률론에서 핵심적인 개념인 기대값과 무작래 변수 시퀀스에 대해 깊게 다룹니다. 주요 내용은 다음과 같습니다: 1. 확률 공간 및 무작위 변수의 정의 : 논문은 먼저 확률 공간 (Ω, F, P) 를 정의합니다. 여기서 Ω는 모든 가능한 결과들의 집합, F는 이들 결과에 대한 시그마 대수(sigma algebra), 그리고 P는 확률 측도(probability measure)입니다. 무작위 변수 Xₙ은 각 ω ∈ Ω 에 대해 값을 가지며, 이 값들은 비음(non negative)이라는 특성을 가집니다. 2. 기대값의 정의 :

December 19, 2011

Mathematics

No Image

Five Exponential Diophantine Equations and Mayhem Problem M429

: 이 논문은 지수형 디오판토스 방정식에 대한 깊이 있는 연구를 제공하며, 특히 세 변수 디오판토스 방정식의 해 집합을 분석하는 데 중점을 두고 있습니다. 이는 Crux Mathematicorum 저널에서 제시된 혼란 문제 M429로부터 시작되며, 그 해결책은 2010년 12월에 게재되었습니다. 논문의 핵심 내용은 세 변수 디오판토스 방정식 a(bc) (ab)c를 다루는 것입니다. 이 방정식을 만족하는 정수 해 집합은 다음과 같이 분류됩니다: (1, b, c) 형태: 여기서 b와 c는 양의 정수일 수 있습니다. (a, b, 1) 형

December 19, 2011

Mathematics

How to produce discreet Gaussian sequences: Algorithm and code

매력적인 한글 제목: 가우스 분포 시퀀스 생성 알고리즘과 코드 초록 전체 번역 및 정리: 가우스 분포 함수는 수학 모델링, 물리학, 양자 화학, 핵물리학, 반도체 장치 등 다양한 과학 분야에서 중요한 역할을 합니다. 특히 분자 동역학 시뮬레이션에서는 가우스 분포를 따르는 시퀀스 생성이 필수적입니다. 본 논문은 이러한 시퀀스를 생성하는 알고리즘과 C++ 코드를 제시합니다. 가우스 분포 함수는 평균 μ와 표준 편차 σ로 표현되며, 이 함수의 극점은 z μ에서 발생하고, z μ ± 1.2σ에서는 특정 값을 가집니다. 시뮬레이션에 사용되는

December 19, 2011

Physics

No Image

Parameter estimation for the discretely observed fractional Ornstein-Uhlenbeck process and the Yuima R package

이 논문은 프랙탈 오르네스트 울헨백(fOU) 과정의 매개변수 추정에 대해 심도 있는 분석을 제공하며, 특히 디스크리트 관찰 데이터에서 허스트 지수(H), 확산 계수(σ), 그리고 드리프트 매개변수(λ)를 동시에 추정하는 방법을 제시합니다. 이 연구는 기존의 연구와 달리 모든 매개변수가 알려지지 않은 상태에서도 효과적인 추정이 가능하도록 설계되었습니다. 1장: 서론 서론에서는 프랙탈 오르네스트 울헨백(fOU) 과정에 대한 배경과 이전 연구들의 결과를 간략히 설명합니다. 특히, fOU는 dYt λYt dt + σdWHt로 정의되며, 여

December 19, 2011

Statistics Mathematics

No Image

The Radical Mistakes in the Theories on Calculus of Cauchy-Lebesgue System

본 논문은 카우치 레베그 시스템이 미적분학 발전에 미친 영향과 그 한계를 심도 있게 분석한다. 특히, 뉴턴과 레베그의 초기 아이디어와 카우치가 제시한 이론 사이의 불일치를 중심으로 논점을 전개하고 있다. 1. 미적분학 역사의 세 단계 구분 논문은 미적분학의 발전을 세 가지 주요 시기로 나누고 있다: 첫 번째 단계 (1667년 ~ 1821년) : 이 기간 동안 뉴턴이 초기 미적분 시스템을 확립하고, 카우치가 '기하학 강의'를 출판함으로써 미적분학의 기본적인 구조를 마련하였다. 두 번째 단계 (1821년 ~ 2010년) : 이 기간 동

December 19, 2011

Mathematics System

No Image

Variable X-ray absorption in the mini-broad absorption line quasar PG 1126-041

: 1. 연구 배경 및 중요성 액적 원반 바람은 초거대 블랙홀(SMBH) 주변의 흡입/방출 물리학을 밝히는 핵심 요소로, AGN 단계가 호스트 은하 진화에 미치는 영향을 이해하는 데 중요한 역할을 합니다. 이러한 바람은 자외선(UV) 및 X 레이 밴드에서 다양한 속도와 이온화 상태의 흡수체를 관측할 수 있으며, 특히 PG 1126 041과 같은 미니 BALs를 보이는 AGN에서는 복잡한 스펙트럼 변동을 나타냅니다. 이러한 현상은 AGN 내부에서 발생하는 질량 배출 과정에 대한 이해를 높일 수 있는 중요한 단서를 제공합니다. 2. P

December 19, 2011

Astrophysics

No Image

An Alternative Interpretation of Linguistic Variables as Linguistic Finite Automata

: 1. 언어 변수 개념 재해석 Zadeh는 언어 변수를 네 가지 구성 요소로 정의했다: 변수 이름, 레이블 집합, 담론 영역, 그리고 의미 규칙. 이 논문은 이러한 정의에 대한 비판을 제기하며, 특히 헤드(hedge)의 의미가 불분명하다는 점을 지적한다. 이를 해결하기 위해, 논문은 모든 레이블과 그 의미를 사전에 정의된 고정된 유한 단어 집합으로 한정한다. 예를 들어, '매우 작은'이라는 표현은 '작은'의 의미에서 파생되지 않고, 자체적으로 독립적인 의미를 가진다. 이는 모호 집합을 통해 표현되며, 각 레이블에 대한 회원도(me

December 16, 2011

Formal Languages Computer Science

No Image

How to Lose with Least Probability

: 이 논문은 앨리스와 밥이 참여하는 게임에서 앨리스가 승리할 확률 I(p | n, α, β)를 수학적으로 분석하고 최적의 동전 편향을 찾는 방법을 제시한다. 이 게임은 플레이어들이 번갈아가며 동전을 던져 꼬리에 α 포인트, 머리에 α + β 포인트를 획득하며, 먼저 n 포인트를 얻는 플레이어가 승리하는 방식으로 진행된다. 논문은 I(p | n, α, β)의 성질을 분석하고 이를 최소화하는 동전 편향 p n에 대해 깊이 있게 다룬다. 게임의 기본 원칙과 수학적 모델링 게임에서 앨리스와 밥은 번갈아가며 동전을 던진다. 동전의 머리나

December 15, 2011

Computer Science Game Theory Mathematics

No Image

Deriving a Hoare-Floyd logic for non-local jumps from a formulae-as-types notion of control

: 이 논문은 비로컬 점프와 변수성 높은 상위 순차적 절차 변수를 다루는 호어 플레이드(Hoare Floyd) 논리의 새로운 접근법을 제시한다. 이 연구는 고전 논리의 공식 유형(formulas as types) 개념에서 출발하여, 명령형 프로그램에 적용할 수 있는 의존 유형 시스템(ID: Imperative Dependent Types)를 설계하고 이를 통해 비로컬 점프와 변수성 높은 절차 변수를 다루는 호어 플레이드 논리를 구현한다. 배경 및 문제의식 호어 플레이드 논리는 프로그램 정확성을 증명하는 데 널리 사용되지만, 비로컬

December 14, 2011

Logic Computer Science

No Image

Errors in Improved Polynomial Algorithm For 3 Sat Proposed By Narendra Chaudhari

본 논문은 나르엔드라 차우다리가 개발하고 개선한 3 SAT 문제 해결 알고리즘의 한계를 탐색한다. 3 SAT 문제는 컴퓨터 과학에서 중요한 NP 완전 문제로, 이를 다항 시간 내에 해결하는 것은 P NP 문제와 밀접하게 연관되어 있다. 따라서, 이 문제에 대한 효율적인 알고리즘이 제시될 경우 그 중요성은 이루 말할 수 없다. 논문에서는 차우다리의 개선된 알고리즘을 두 가지 사례를 통해 분석한다. 이 사례들은 모두 9개의 변수(a1부터 a9까지)로 구성되며, 각각의 사례는 특정 조합 정규 형식(CNF)의 절들로 표현된다. 이러한 CN

December 13, 2011

Computational Complexity Computer Science

Gas turbine diagnostic system

본 논문은 가스 터빈 진단 시스템의 개발 및 응용에 대해 상세히 다루고 있다. 이 연구는 가스 터빈의 자동화 시스템 소프트웨어를 테스트하고 최적화하는 데 사용되는 모형을 제시하며, 이를 통해 운영자와 엔지니어에게 교육 도구로 활용할 수 있는 방법을 제안한다. 또한, 가스 터빈의 효율성을 분석하고 예측하는 진단 및 예측 작업에도 유용하다는 점을 강조하고 있다. 1. 시뮬레이션 시스템 개요 본 논문에서 개발된 시뮬레이션 시스템은 가스 터빈 단위의 작동과 제어를 시뮬레이션하는 데 초점을 맞추고 있다. 이는 GTCU(Gas Turbine

December 13, 2011

Other CS Computer Science System

No Image

SVD-based unfolding: implementation and experience

본 논문은 SVD(Singular Value Decomposition) 기반 언폴딩 알고리즘의 구현 및 경험에 대해 상세히 다룬다. 언폴딩은 측정 스펙트럼에서 탐지 효과를 제거하거나 이를 이론 예측에 반영하여 실제 물리 분포를 얻는 과정이다. 이러한 과정은 역문제의 통계적 불안정성을 해결하기 위해 정규화 기법이 필요하다. 언폴딩 문제와 SVD 언폴딩 문제는 매트릭스 방정식으로 표현되며, 이때 측정된 분포(b)를 실제 물리 분포(x)로 변환하는 과정에서 탐지 응답 행렬(Âij)이 중요한 역할을 한다. Âij는 이벤트가 j번째 빈에서

December 13, 2011

Physics

No Image

Real-time face swapping as a tool for understanding infant self-recognition

본 논문은 신생아의 자기인식 발달에 대한 심도 있는 분석과 함께, 이를 위한 기술적 접근 방안을 제시한다. 연구는 아기의 자기인식이 움직임의 연속성과 얼굴 친숙성을 통해 어떻게 형성되는지 탐구하고 있다. 1. 자기인식 발달 이론 신생아는 자신의 움직임과 시각적 자극 사이의 연결을 인식하지만, 다른 아기의 이미지를 구별하는 능력은 5개월이 지나야 발달한다(Sanefuji et al., 2006). 이 연구에서는 이러한 자기인식의 발달 단계를 이해하기 위해 움직임과 얼굴 친숙성 요소를 통합한 실험을 제안하고 있다. 특히, 아기들은 자신

December 12, 2011

Computer Vision Computer Science Artificial Intelligence

No Image

Stabilizer States as a Basis for Density Matrices

본 논문은 양자 정보 처리 분야에서 중요한 개념인 안정화 상태와 밀도 행렬의 관계를 탐구하고, 이를 통해 양자 시스템의 모델 검증을 효율적으로 수행하는 방법을 제시합니다. 이 연구는 양자 컴퓨팅과 관련된 여러 문제 해결에 있어 중요한 기여를 하고 있습니다. 1. 안정화 상태와 밀도 행렬 안정화 상태는 특정 파울리 연산자의 생성자와 안정화 그룹의 교집합으로 표현되는 양자 상태입니다. 이러한 상태들은 헤드마르, 파울리, 제어 NOT, 그리고 위상 게이트에 대해 닫혀 있으며, 이들 간의 텐서 곱도 역시 안정화 상태를 형성합니다. 논문에서

December 12, 2011

Computer Science Emerging Technologies Quantum Physics

No Image

A Formally Specified Program Logic for Higher-Order Procedural Variables and non-local Jumps

본 논문은 고차 절차 변수와 비표준 점프를 다루는 형식 언어의 정의와 그 적용을 탐구하고 있습니다. 이 연구는 Cro10과 CP11에서 제시된 형식 시스템을 Ott와 Twelf 증명 보조 도구를 사용하여 구체적으로 명세화한 내용을 중심으로 진행됩니다. 1. 함수형 언어 F와 명령형 언어 I의 정의 논문은 두 가지 주요 언어, 즉 함수형 언어 F와 명령형 언어 I에 대해 설명합니다. 함수형 언어 F는 고델 시스템 T의 저자 정의를 기반으로 하며, 단순 유형 시스템 IS와 종속 유형 시스템 ID를 포함하고 있습니다. 이 중 종속 유형은

December 09, 2011

Computer Science Logic

No Image

A Note on the Equivalence between the Normal and the Lognormal Implied Volatility : A Model Free Approach

: 이 논문은 암시적 변동성에 대한 새로운 접근 방식을 제시하고 있으며, 특히 Bachelier 모델에서의 정규 변동성과 Black Scholes 모델에서의 로그 정규 변동성 간의 동등성을 탐구한다. 이 연구는 기존의 암시적 변동성에 대한 이해를 확장시키며, 고주파 거래와 관련된 다양한 시나리오에서 활용 가능하다. 1. Bachelier 모델과 Black Scholes 모델 간의 동등성 논문은 Bachelier 모델에서의 정규 변동성이 단기 만기 옵션 가격 결정에 더 적합하다는 점을 강조한다. 이는 기본 자산의 하루 간 가격 변화가

December 09, 2011

Quantitative Finance Model

No Image

On the Long-term Health Care Crisis. A Possible Eradication Scenario

: 본 논문은 폴리오와 말라리아를 통해 전염병의 근절 가능성과 그에 따른 순환적 양상에 대해 심도 있게 분석한다. 이 연구는 질병의 발생과 감소 사이의 관계를 이해하고, 이를 통해 장기적인 건강 관리를 위한 방안을 모색하려는 의도가 담겨 있다. 1. 폴리오와 말라리아 사례 분석 폴리오는 20세기 초부터 인류에게 큰 고통을 주었던 질병 중 하나로, 특히 1916년 미국에서 대규모 유행이 발생하며 수천 명의 사망자를 내었다. 제2차 세계대전 이후 폴리오의 확산은 전 세계적인 문제로 부각되었고, WHO는 1998년부터 근절 캠페인을 시작

December 09, 2011

Computer Science Quantitative Biology Computers and Society

Generalization of Conways 'Game of Life' to a continuous domain - SmoothLife

본 논문은 콘웨이의 '라이프 게임'을 연속 도메인으로 일반화하는 SmoothLife 모델에 대해 설명한다. 이 모델은 기존의 이산적인 상태와 이웃 구조를 연속적인 값과 함수로 대체하여, 더 복잡하고 미묘한 패턴 생성이 가능하도록 한다. 1. SmoothLife 모델의 개념 SmoothLife는 셀의 크기가 무한소가 아닌 유한하다고 가정하며, 이에 따라 셀의 상태와 이웃 구조를 연속적인 함수로 표현한다. 각 셀은 원형 형태를 가지며, 그 내부와 외부의 '채우기' 값을 통해 상태를 결정한다. 이러한 접근 방식을 통해 기존 GoL에서 발

December 08, 2011

Nonlinear Sciences

No Image

Photometry of Some Recent Gamma-ray Bursts

본 논문은 감마선 폭발(Gamma Ray Burst, GRB)에 대한 광학 분석을 수행한 결과를 보고한다. 연구는 Konkoly 천문대의 HEART 그룹이 수행하였으며, 자동 P60 망원경과 Swift 망원경(UVOT, XRT, BAT)을 이용하여 최근 GRB의 광학, 자외선 및 감마선 분석 결과를 제시한다. 본 연구는 상대적으로 밝고 잘 관찰된 폭발들로 구성되어 있어 신뢰할 수 있는 데이터 세트를 생성하고, 분석 오류를 최소화하였다. 1. 광학 데이터 감축 NASA의 HEASOFT 소프트웨어 패키지를 사용하여 UVOT 광학 측정을

December 08, 2011

Astrophysics

No Image

A 3D Multiscale Modelling of Cortical Bone Structure, Using the Inverse Identification Method: Microfibril Scale Study

: 본 논문은 압축성 뼈의 미세구조를 다중 규모 모델링을 통해 분석하고자 하는 연구로, 특히 미세섬유(microfibril) 수준에서의 구조와 기계적 특성을 탐구합니다. 이는 골질(cortical bone) 내에서 중요한 역할을 하는 콜라겐 섬유와 그에 포함된 트로포콜라겐 분자들의 배열 및 미네랄화 과정에 대한 심도 있는 이해를 제공합니다. 1. 연구 배경과 목적 본 연구는 압축성 뼈의 복잡한 구조를 이해하고, 이를 통해 뼈의 기계적 특성을 분석하려는 목적으로 수행되었습니다. 이전 연구들은 주로 미세섬유의 기하학적 특성 및 분자 배

December 07, 2011

Physics Model

No Image

On the Apparent Superluminal Motion of a Damped Gaussian Pulse

: 본 논문은 Alicki가 제시한 가속된 가우스 펄스의 환상적 초광속 운동에 대한 대체 증명을 제공하며, 이 현상을 이해하기 위한 수학적 접근법과 물리적 해석을 상세히 다룬다. 논문은 주로 감쇠 효과를 고려한 가우스 펄스의 시간 변화와 이를 통해 관찰자가 느끼는 환상적인 초광속 운동에 대해 설명한다. 1. 가우스 펄스의 기본 경우: 가우스 펄스는 일정한 속도 v > 0로 움직이는 것으로 가정되며, 이 펄스는 확산이나 왜곡 없이 관찰자에게 전달된다. 초기 프로필은 최대 강도 ρ₀ 와 반폭 σ 를 갖는 가우스 함수이다. 2. 단순 감

December 07, 2011

Physics

Electron beam-plasma interaction in a dusty plasma with excess suprathermal electrons

본 연구는 전자 빔과 먼지 플라즈마 내 과열 전자의 상호작용을 분석하는 것을 목표로 한다. 특히, 이 연구에서는 전자 음향 솔리드 구조에 대한 비선형 현상을 탐구하며, 이를 통해 다양한 매개변수의 영향을 이해하고자 한다. 1. 플라즈마 구성 요소 본 연구에서 고려하는 플라즈마는 다음과 같은 구성 요소로 이루어져 있다: 차가운 인ертial 드리프팅 전자 (빔) : 이들은 빔 전자라고 불리며, 정상 상태에서는 일정한 속도를 유지한다. 차가운 인ертial 배경 전자 : 플라즈마 내에서 주요 구성 요소로 작용하며, 일반적으로 가장 많은

December 05, 2011

Physics Astrophysics

No Image

The nature of 19 X-ray sources detected with INTEGRAL

본 연구는 INTEGRAL과 IBIS 장비를 활용하여 하드 X선 대역에서 검출된 천체들을 식별하는 데 초점을 맞추고 있다. 특히, 이들 중 상당수(약 30%)가 다른 파장에서 동반 천체를 찾지 못해 아직 분류되지 않은 상태였다는 점이 주목된다. 이러한 미확인 원천의 정확한 식별을 위해 본 연구에서는 광학 분광 프로그램을 활용하여 그 성질을 분석하였다. 연구팀은 2004년부터 전 세계 10개의 망원경을 활용해 INTEGRAL 객체를 식별하였고, 이로 인해 약 150개의 INTEGRAL 객체가 식별되었다. 그 결과, 대부분의 원천이 활

December 05, 2011

Astrophysics

No Image

A Polynomial-Time Algorithm for the Tridiagonal and Hessenberg P-Matrix Linear Complementarity Problem

: 본 논문은 선형 보완성 문제 (Linear Complementarity Problem, LCP)에서 하스헨베르크 P 행렬에 대한 다항 시간 알고리즘을 제시하고 있다. 이는 기존의 NP 완전한 문제를 다항 시간 내에 해결할 수 있는 중요한 발전이다. 1. 선형 보완성 문제 (LCP)의 정의와 중요성 LCP(M, q)는 주어진 행렬 M과 벡터 q에 대해 w, z를 찾는 문제로, 이들은 w Mz q, w ≥ 0, z ≥ 0, 그리고 w^T z 0을 만족해야 한다. 일반적으로 LCP는 NP 완전한 문제이지만, 특정 조건 하에서는 고유한

December 02, 2011

Computer Science Mathematics Computational Complexity

Elementary trigonometry based on a first order differential equation

: 본 논문은 기존의 삼각함수 정의를 넘어서, 1차 미분 방정식 $f'(x) f(x + a)$를 통해 삼각함수의 성질을 재해석하고자 한다. 이는 삼각함수가 주기적이고 여러 식증을 만족하는 함수라는 기존의 이해를 확장시키며, 새로운 관점에서 삼각함수의 본질을 탐구한다. 1. 서론 서론에서는 사인과 코사인 함수가 2차 미분 방정식 $f'' f$의 해로서 정의된다는 점을 강조한다. 이는 주기성, 제한성, 그리고 다양한 삼각함수 식증을 만족하는 함수라는 의미이다. 그러나 이러한 성질들은 다른 정의들에서 도출될 수 있으며, 본 논문에서는 1

November 30, 2011

Mathematics

Coron : Plate-forme dextraction de connaissances dans les bases de donnees

코로나(CORON)는 원래 코호트 연구를 위한 도구로 개발되었지만, 현재는 독립적인 데이터 마이닝 플랫폼으로 진화했습니다. 이 플랫폼은 다양한 알고리즘을 통합하여 빈도가 높거나 드문 패턴을 추출하고 연관 규칙을 생성하는 기능을 제공합니다. 1. 코로나의 구성 요소 코로나는 데이터 준비, 마이닝, 필터링 및 해석을 위한 여러 모듈로 구성됩니다. 사전 처리 모듈: 이 모듈은 데이터를 바이너리 테이블 형태로 변환하고 디크레티제이션(연속적인 값을 범주형 값으로 변환하는 과정)을 수행합니다. 또한 파일 포맷 변환, 보완 및 전치 테이블 생성

November 28, 2011

Databases Computer Science

The Coron System

: 1. 시스템 개요 코로나(Coron) 시스템은 특정 연구 필요성에 맞춰 개발되었으며, 현재는 여러 응용 분야에서 사용되는 독립적인 데이터베이스 기반 지식 발견 프레임워크가 되었습니다. 코로나는 교육 및 과학적 용도를 위해 준비 및 마이닝 모듈로 구성되어 이진 데이터를 처리하고 필터링하며 추출된 단위를 해석합니다. 코로나 시스템은 다양한 고전 알고리즘뿐만 아니라, 자체적으로 개발된 특화된 알고리즘을 포함하고 있습니다. 주요 언어는 자바이며, Unix, Mac, Windows 운영 체제와 호환되며 명령줄 인터페이스를 사용합니다. 2

November 28, 2011

Databases Computer Science System

No Image

Dominance in the Monty Hall Problem

매력적인 한글 제목: 몬티 홀 문제에서 전략의 지배성과 최적성 초록 전체 번역 및 정리: 몬티 홀 문제는 세 개의 문 중 하나가 상을 숨기고, 나머지 두 문은 허울뿐인 답변을 제공하는 고전적인 확률 문제가며, 플레이어는 한 문을 선택하고 진행자는 선택하지 않은 문 중 하나를 열어 상이 없는 것을 드러내며, 이후 플레이어에게 선택한 문을 고수할지 다른 문으로 전환할지를 결정하게 합니다. 본 논문에서는 이 문제에 내재된 지배성 개념을 분석하고, 항상 전환 전략의 최적성을 증명하며, 베이즈안 관점에서 최적의 전략을 탐구합니다. 심도 분석

November 24, 2011

Computer Science Mathematics Game Theory

No Image

Parameterized Eulerian Strong Component Arc Deletion Problem on Tournaments

: 이 논문은 그래프 이론에서 중요한 개념인 강하게 연결된 그래프와 에울러 그래프를 바탕으로, 토너먼트 그래프에서의 Min DESC 문제에 대해 깊게 분석한다. Min DESC 문제는 주어진 유향 그래프 D 에서 최소 간선 집합을 제거하여 모든 강한 성분이 에울러 그래프가 되도록 하는 문제이다. 1. 개념 정의와 배경 논문은 먼저 강하게 연결된 그래프와 에울러 그래프에 대한 기본적인 정의를 소개한다. 특히, 강한 성분과 DESC 세트의 정의를 통해 Min DESC 문제를 명확히 한다. 이는 D 에서 간선 집합을 제거하여 모든 강한

November 24, 2011

Computational Complexity Computer Science Data Structures

Awareness and Self-Awareness for Multi-Robot Organisms

: 이 논문은 인식과 자기인식이라는 두 가지 중요한 개념을 다루며, 특히 이들이 다중 로봇 생물체에서 어떤 역할을 하는지를 탐구하고 있다. 이러한 연구는 지능형 시스템의 발전에 있어 핵심적인 요소로 작용하며, 특히 자율적 적응과 자기 수복 등 '자기 ' 메커니즘에 중점을 둔다. 1. 인식과 자기인식의 개념 인식은 환경에 대한 이해를 의미하고, 자기인식은 자신에 대한 지식을 얻는 것을 말한다. 이 두 가지 능력은 생물체가 자신의 존재와 환경 사이에서 적응력을 갖추고 발전하는 데 필수적이다. 논문에서는 이러한 개념이 어떻게 집단 시스템

November 23, 2011

Robotics Computer Science

A self-portrait of young Leonardo

: 본 논문은 레오나르도 다빈치의 작품 중 하나인 적색 연필 자화상 외에도, 그의 노트북에 숨겨진 다른 자화상을 찾아내는 과정을 소개하고 있습니다. 특히, 이 연구에서는 이미지 처리 기술을 활용하여 필기물로 가려져 있던 스케치를 복원하는 방법을 제시합니다. 레오나르도 다빈치의 작품은 그의 천재성과 예술적 능력을 보여주는 중요한 자료입니다. 그러나 일부 작품들은 시간이 지남에 따라 손상되거나, 필기물로 인해 원래의 이미지가 가려져 있는 경우가 많습니다. 이러한 문제를 해결하기 위해 본 논문에서는 디지털 복원 기술을 활용하여 숨겨진 자

November 22, 2011

Computer Science Computer Vision

Cicada: a Heavy but Agile Flyer

이 논문은 매미의 비행 메커니즘에 대한 깊이 있는 분석을 제공하며, 특히 그들의 무거운 체중에도 불구하고 높은 양력을 발생시키는 능력에 초점을 맞추고 있습니다. 이 연구는 곤충 비행의 복잡성을 이해하는 데 중요한 단계를 제공하고 있으며, 이러한 지식은 마이크로 에어 비히클(MAV) 설계에서 중요한 역할을 할 수 있습니다. 1. 매미의 특성 분석 매미는 다른 곤충들에 비해 상대적으로 무거운 체중을 가지고 있지만, 높은 양력을 발생시켜 날 수 있는 능력이 있습니다. 이 연구에서는 이러한 메커니즘을 이해하기 위해 고속 포그라메트리 시스템

November 22, 2011

Physics

New Electrodynamics of Pulsars

: 서론: 이 논문은 펄사에 대한 전자기학적 이해를 심화시키는 데 초점을 맞추고 있다. 특히, Gruzinov (2011a)의 연구에서 SFE가 특이 현재층에서 포팅 플럭스 감쇠를 예측하는 능력을 강조한다. 이 결과는 펄사 현상을 해석하는 데 중요한 의미를 갖는데, 특이 현재층은 펄사의 가장 강력한 방출 지점으로 간주되기 때문이다(Bai & Spitkovsky, 2010). 그러나 일부 전문가들은 FFE가 여전히 유효하며 감쇠는 무시할 수 있을 만큼 작다고 주장한다. 이 논쟁을 해결하기 위해 본 연구에서는 원통형 주기적 펄사의 FF

November 16, 2011

Astrophysics

< Category Statistics (Total: 822) >

Astrophysics

102

Condensed Matter

Economics

Electrical Engineering and Systems Science

General

272

General Relativity

HEP-EX

HEP-PH

HEP-TH

MATH-PH

NUCL-TH

Nonlinear Sciences

Quantitative Biology

Quantitative Finance

Quantum Physics

Statistics

Banach Contraction Principle for Cyclical Mappings on Partial Metric Spaces

Comment on Japanese Detection of Air Fluorescence Light from a Cosmic Ray Shower in 1969

The Fiedler Rose: On the extreme points of the Fiedler vector

The Geometry of the Non-Linear Least Squares Adjustment

A Complexity Approach for Steganalysis

On Position Translation Vector

On elliptic solutions of nonlinear ordinary differential equations

A Criticism on 'A Mathematicians Apology' by G. H. Hardy

Reply to 'Comment' by A. V. Tsiganov

A Multipath Transport Protocol for Future Internet

A note on the paper 'Minimizing total tardiness on parallel machines with preemptions' by Kravchenko and Werner [2010]

ITIL frameworks to ITD Company for improving capabilities in service management

Note on fast division algorithm for polynomials using Newton iteration

Note sur Les Representations Quasi-Conformes

Ricean Shadowed Statistical Characterization of Shallow Water Acoustic Channels for Wireless Communications

Testing Differences Statistically with the Leiden Ranking

The Energy Spectrum of a Radio Pulse Created by a Cascade Disk Within the Moons Regolith

A Theorem of Probability

Five Exponential Diophantine Equations and Mayhem Problem M429

How to produce discreet Gaussian sequences: Algorithm and code

Parameter estimation for the discretely observed fractional Ornstein-Uhlenbeck process and the Yuima R package

The Radical Mistakes in the Theories on Calculus of Cauchy-Lebesgue System

Variable X-ray absorption in the mini-broad absorption line quasar PG 1126-041

An Alternative Interpretation of Linguistic Variables as Linguistic Finite Automata

How to Lose with Least Probability

Deriving a Hoare-Floyd logic for non-local jumps from a formulae-as-types notion of control

Errors in Improved Polynomial Algorithm For 3 Sat Proposed By Narendra Chaudhari

Gas turbine diagnostic system

SVD-based unfolding: implementation and experience

Real-time face swapping as a tool for understanding infant self-recognition

Stabilizer States as a Basis for Density Matrices

A Formally Specified Program Logic for Higher-Order Procedural Variables and non-local Jumps

A Note on the Equivalence between the Normal and the Lognormal Implied Volatility : A Model Free Approach

On the Long-term Health Care Crisis. A Possible Eradication Scenario

Generalization of Conways 'Game of Life' to a continuous domain - SmoothLife

Photometry of Some Recent Gamma-ray Bursts

A 3D Multiscale Modelling of Cortical Bone Structure, Using the Inverse Identification Method: Microfibril Scale Study

On the Apparent Superluminal Motion of a Damped Gaussian Pulse

Electron beam-plasma interaction in a dusty plasma with excess suprathermal electrons

The nature of 19 X-ray sources detected with INTEGRAL

A Polynomial-Time Algorithm for the Tridiagonal and Hessenberg P-Matrix Linear Complementarity Problem

Elementary trigonometry based on a first order differential equation

Coron : Plate-forme dextraction de connaissances dans les bases de donnees

The Coron System

Dominance in the Monty Hall Problem

Parameterized Eulerian Strong Component Arc Deletion Problem on Tournaments

Awareness and Self-Awareness for Multi-Robot Organisms

A self-portrait of young Leonardo

Cicada: a Heavy but Agile Flyer

New Electrodynamics of Pulsars

< Category Statistics (Total: 822) >

Start searching

No results found