We propose a computable Galois-connection between Myers-Briggs’ Type Indicators (MBTIs), the most widely-used personality measure for non-psychiatric populations (based on C.G. Jung’s personality types), and Szondi’s personality profiles (SPPs), a less well-known but, as we show, finer personality measure for psychiatric as well as non-psychiatric populations (conceived as a unification of the ...

OBJECTIVE To compare the efficacy and safety of a 200-microgram misoprostol vaginal insert with a 10-mg dinoprostone vaginal insert for reducing the time to vaginal delivery. METHODS In a phase III, double-blind, multicenter study, women being induced with a modified Bishop score of 4 or less were randomly assigned to receive either a 200-microgram misoprostol vaginal insert or a 10-mg dinopr...

The single-period problem (SPP), also known as the newsboy or news-vendor problem, is to ®nd the order quantity which maximizes the expected pro®t in a single period probabilistic demand framework. Interest in the SPP remains unabated and many extensions to it have been proposed in the last decade. These extensions include dealing with di€erent objectives and utility functions, di€erent supplie...

The purpose of the paper is twofold. I first outline a philosophical theory of concepts based on conceptual role semantics. This approach is explicitly intended as a framework for the study and explanation of conceptual change in science. Then I point to the close similarities between this philosophical framework and the theory theory of concepts, suggesting that a convergence between psycholog...

Direct numerical simulation of self-propelled swimming of three dimensional bionic fish and fish school in a viscous flow in a tank are investigated. The swimming rule and the profile of 3D fish from previous experimental measurements of living fish are used in the study. A parallel software package for the 3D moving boundary problem is obtained, which combines the adaptive multi-grid finite vo...

Although insert sort takes quadratic time in the worst case it has a very efficient inner loop. Its bestcase computing time is linear, which occurs when the data are already in sorted order. It is the method of choice for data stored in linked lists or small arrays. Algorithm 1 is typical, and is written in extended Pascal. Implementing the conditional 'cand' operation (to guard against the err...

Kinetic equations describing ligation of DNA to circular recombinant forms were developed and solved for four types of reactions: (a) a homogeneous population of singly restricted DNA fragments, (b) insertion of singly restricted insert into vector, (c) forced directional insertion of doubly restricted insert into vector, and (d) insertion of singly restricted insert into phosphatased vector. T...