We give a new combinatorial de nition of a sort of weak !category originally devised by J. Baez and J. Dolan in nite dimensional cases. Our de nition is a mixture of both inductive and coinductive de nitions, and suitable for `computational category theory.' Keyword: weak n-category, bicategory, tricategory, formalized mathematics

We generalise the concepts introduced by Baez and Dolan to define opetopes constructed from symmetric operads with a category, rather than a set, of objects. We describe the category of 1-level generalised multicategories, a special case of the concept introduced by Hermida, Makkai and Power, and exhibit a full embedding of this category in the category of symmetric operads with a category of o...

This paper argues an existence of a class of functions where function own input makes function description. That fact have impact to the wide spectrum of phenomena such as negative findings of Random Oracle Model in cryptography, complexity in some rules of cellular automata (Wolfram rule 30) and determinism in the true randomness to name just a few.

A scanning coherent diffraction imaging method was used to reconstruct the X-ray wavefronts produced by a Fresnel zone plate (FZP) and by Kirkpatrick-Baez (KB) focusing mirrors. The ptychographical measurement was conducted repeatedly by placing a lithographed test sample at different defocused planes. The wavefronts, recovered by phase-retrieval at well-separated planes, show good consistency ...

BACKGROUND AND PURPOSE Chronic kidney disease (CKD) is an established risk factor for numerous cardiovascular diseases including stroke. The relationship between the baseline estimated glomerular filtration rate (eGFR) and clinical 3-month outcomes in patients with acute ischemic stroke were evaluated in this study. METHODS This was a prospective cohort study involving a hospital-based stroke...

Identification of early outcomes post stroke and their predictors is important in stroke management strategies. We prospectively analysed 30-day outcomes (mortality and functional ability) after stroke and their predictors among patients admitted within 7 days post event to a national referral hospital in Uganda. This was a prospective study of acute stroke patients consecutively enrolled betwe...

1. はじめに 人型ロボットの動作設計は,ロボットが環境や自己と干渉しな い等の幾何学的条件や,転倒しない等の力学的条件を満たす数十 個の関節軌道を求める大規模境界値問題である.人型ロボット普 及には,この困難さを感じさせず,専門知識がなくとも動作設計 可能な手段が必要となる.これまでに,与えられた動作軌道を, 幾何学的・力学的拘束条件を満たすように修正する方法が提案さ れてきた [1] [2] [3].修正前に与える動作概略は,モーションキャ プチャ [4] や人形型デバイス [5]を用いて作成する方法があるが, 大掛かりな装置が要求される問題がある.これに対し,CGアニ メーションの分野で利用されている,幾つかの特徴的な姿勢の補 間 [6][7] によって動作を作成する方法 [8] は,コンピュータがあ れば手軽に行える.特徴的な姿勢は,3DCG 表示されたロボッ トモデルの任意...

This paper describes a control scheme combining a mobile platform which is commanded at the velocity level with a position controlled robot arm. Based on separate controllers for both subsystems a method for force guidance is proposed which provides control of the tool location and of the posture of the mobile platform. Only a single force/torque sensor is used for this purpose. Also the slower...

If crops with considerable spacing can be arranged in a precise rectangular pattern, mechanical weeding can become an alternative to chemical methods by enabling treatment in two perpendicular directions. Realisation of such a pattern requires innovation of seedling transplanters. A computer vision-based sensing system was developed for detecting a transplanters posture relative to the crop. A ...

1 Institute Charles Delaunay, FRE CNRS 2848, University of Technology of Troyes, 10000 Troyes, France 2UMR LORIA 7503, Université de Nancy, CNRS-INRIA, Campus Scientifique, BP 239, 54506 Vandoeuvre-lès-Nancy, France 3 Institut régional de Réadaptation, Faculté de medicine, 9 Avenue de la Forêt de Haye, BP 184, 54500 Vandoeuvre, France 4Neuromuscular Physiology Laboratory, Institut of Myology, G...