Visualizing a logic of dependability arguments

This paper offers general guidelines for the development of effective visual languages. That is, languages for constructing diagrams that can be easily and readily interpreted and manipulated by the human reader. We use these guidelines first to examine classical AND/OR trees as a representation of logical proofs, and second to design and evaluate a visual language for representing proofs in LofA: a Logic of Dependability Arguments, for which we provide a brief motivation and overview.

Planning rigid body motions using elastic curves

This paper tackles the problem of computing smooth, optimal trajectories on the Euclidean group of motions SE(3). The problem is formulated as an optimal control problem where the cost function to be minimized is equal to the integral of the classical curvature squared. This problem is analogous to the elastic problem from differential geometry and thus the resulting rigid body motions will trace elastic curves. An application of the Maximum Principle to this optimal control problem shifts the emphasis to the language of symplectic geometry and to the associated Hamiltonian formalism. This results in a system of first order differential equations that yield coordinate free necessary conditions for optimality for these curves. From these necessary conditions we identify an integrable case and these particular set of curves are solved analytically. These analytic solutions provide interpolating curves between an initial given position and orientation and a desired position and orientation that would be useful in motion planning for systems such as robotic manipulators and autonomous-oriented vehicles.

Thought communication and control: a first step using radiotelegraphy

A signalling procedure is described involving a connection, via the Internet, between the nervous system of an able-bodied individual and a robotic prosthesis, and between the nervous systems of two able-bodied human subjects. Neural implant technology is used to directly interface each nervous system with a computer. Neural motor unit and sensory receptor recordings are processed real-time and used as the communication basis. This is seen as a first step towards thought communication, in which the neural implants would be positioned in the central nervous systems of two individuals.

Characterising developmental language impairment in Serbian-speaking children: a preliminary investigation

The aim of the article is to provide preliminary data on the use of auxiliaries and clitics in Serbian-speaking children with developmental language impairment. Two groups of children (a group of 30 children with developmental language impairment and a group of 30 typically developing children) aged between 48 and 83 months and matched on IQ took part in the study. They were asked to tell a story from a series of four pictures. The results showed that the children with language impairment omitted significantly more auxiliary verbs and clitics than the controls. In addition, the rate of omission of auxiliaries and clitics did not decrease with increasing chronological age. We conclude that, as in other languages, auxiliary verbs and clitics are particularly difficult for Serbian-speaking children with language impairment.

Investigation of language and motor skills in Serbian speaking children with specific language impairment and in typically developing children

Specific language impairment (SLI) is usually defined as a developmental language disorder which does not result from a hearing loss, autism, neurological and emotional difficulties, severe social deprivation, low non-verbal abilities. Children affected with SLI typically have difficulties with the acquisition of different aspects of language and by definition, their impairment is specific to language and no other skills are affected. However, there has been a growing body of literature to suggest that children with SLI also have non-linguistic deficits, including impaired motor abilities. The aim of the current study is to investigate language and motor abilities of a group of thirty children with SLI (aged between 4 and 7) in comparison to a group of 30 typically developing children matched for chronological age. The results showed that the group of children with SLI had significantly more difficulties on the language and motor assessments compared to the control group. The SLI group also showed delayed onset in the development of all motor skills under investigation in comparison to the typically developing group. More interestingly, the two groups differed with respect to which language abilities were correlated with motor abilities, however Imitation of Complex Movements was the unique skill which reliably predicted expressive vocabulary in both typically developing children and in children with SLI.

Isotype: representing social facts pictorially

In developing Isotype, Otto Neurath and his colleagues were the first to systematically explore a consistent visual language as part of an encyclopedic approach to representing all aspects of the physical world. The pictograms used in Isotype have a secure legacy in today's public information symbols, but Isotype was more than this: it was designed to communicate social facts memorably to less educated groups, including schoolchildren and workers, reflecting its initial testing ground in the socialist municipality of Vienna during the 1920s. The social engagement and methodology of Isotype are examined here in order to draw some lessons for information design today.

First-dimension separation with the MicroRotoforTM cell prior to SDS-PAGE and LC-MS/MS analysis

Free-flow isoelectric focusing (IEF) is a gel-free method for separating proteins based on their isoelectric point (pl) in a liquid environment and in the presence of carrier ampholytes. this method has been used with the RotoforTM cell at the preparative scale to fractionate proteins from samples containing several hundred milligrams of protein; see the refeences listed in Bio-Rad bulletin 3152. the MicroRotofor cell applies the same method to much sl=maller protein samples without dilution, separating and recoverng milligram quantities of protein in a total volume of about 2 ml.