Threatened fishes of the world: Pseudobagrus medianalis (Regan) 1904 (Bagridae)

Conservation status, identification, distribution, abundance, habitat and ecology, threats, conservation actions and recommendations of a endemic bagrid catfish, Dianchi bullhead, Pseudobagrus medianalis were introduced based on data and knowledge from a

Evaluation of Setup Procedures on Mobile Devices Based on Users’ Initial Experience

Users’ initial perceptions of their competence are key motivational factors for further use. However, initial tasks on a mobile operating system (OS) require setup procedures, which are currently largely inconsistent, do not provide users with clear, visible and immediate feedback on their actions, and require significant adjustment time for first-time users. This paper reports on a study with ten users, carried out to better understand how both prior experience and initial interaction with two touchscreen mobile interfaces (Apple iOS and Google Android) affected setup task performance and motivation. The results show that the reactions to setup on mobile interfaces appear to be partially dependent on which device was experienced first. Initial experience with lower-complexity devices improves performance on higher-complexity devices, but not vice versa. Based on these results, the paper proposes six guidelines for designers to design more intuitive and motivating user interfaces (UI) for setup procedures. The preliminary results indicate that these guidelines can contribute to the design of more inclusive mobile platforms and further work to validate these findings is proposed.

Minimum maneuver time calculation using convex optimization

The problem of calculating the minimum lap or maneuver time of a nonlinear vehicle, which is linearized at each time step, is formulated as a convex optimization problem. The formulation provides an alternative to previously used quasi-steady-state analysis or nonlinear optimization. Key steps are: the use of model predictive control; expressing the minimum time problem as one of maximizing distance traveled along the track centerline; and linearizing the track and vehicle trajectories by expressing them as small displacements from a fixed reference. A consequence of linearizing the vehicle dynamics is that nonoptimal steering control action can be generated, but attention to the constraints and the cost function minimizes the effect. Optimal control actions and vehicle responses for a 90 deg bend are presented and compared to the nonconvex nonlinear programming solution. Copyright © 2013 by ASME.

Functional magnetic resonance imaging of impaired sensory prediction in schizophrenia.

IMPORTANCE: Forward models predict the sensory consequences of planned actions and permit discrimination of self- and non-self-elicited sensation; their impairment in schizophrenia is implied by an abnormality in behavioral force-matching and the flawed agency judgments characteristic of positive symptoms, including auditory hallucinations and delusions of control. OBJECTIVE: To assess attenuation of sensory processing by self-action in individuals with schizophrenia and its relation to current symptom severity. DESIGN, SETTING, AND PARTICIPANTS: Functional magnetic resonance imaging data were acquired while medicated individuals with schizophrenia (n = 19) and matched controls (n = 19) performed a factorially designed sensorimotor task in which the occurrence and relative timing of action and sensation were manipulated. The study took place at the neuroimaging research unit at the Institute of Cognitive Neuroscience, University College London, and the Maudsley Hospital. RESULTS: In controls, a region of secondary somatosensory cortex exhibited attenuated activation when sensation and action were synchronous compared with when the former occurred after an unexpected delay or alone. By contrast, reduced attenuation was observed in the schizophrenia group, suggesting that these individuals were unable to predict the sensory consequences of their own actions. Furthermore, failure to attenuate secondary somatosensory cortex processing was predicted by current hallucinatory severity. CONCLUSIONS AND RELEVANCE: Although comparably reduced attenuation has been reported in the verbal domain, this work implies that a more general physiologic deficit underlies positive symptoms of schizophrenia.

基于P2P的僵尸网络及其防御

僵尸网络作为网络犯罪活动的平台,正朝着P2P等分布式结构发展.研究僵尸网络的发展方向以及构建技术,有助于我们全面地了解僵尸网络活动的特点,从而更好地开展僵尸网络的检测和防范研究.本文分析了攻击者的需求,提出了一种基于层次化P2P网络技术的新型僵尸网络结构,并对这种僵尸网络的可行性和具体的传播、通讯、控制等各个方面进行了深入分析和探讨.在此基础上,我们通过模拟实验对各种防御策略的有效性进行了分析和评估,实验数据表明,在考虑实际可操作性条件下,现有的防御策略难以有效摧毁P2P结构僵尸网络.最后,我们讨论了这种新型僵尸网络可能的防御方法.

PHYSICAL MODEL FOR SMALL SCALE SANDWAVES MIGRATION IN NORTH GULF OF SOUTH CHINA SEA

The aim of this paper is to investigate the mechanism of small scale sand-wave migration. According to the environmental characteristic of the north gulf of South China Sea, a quasi-3D mechanics model has been built for simulating the small scale sand wave migration. The calculation results are shown to be consistent with the observed data in the trough of sand ridge. Considering the effect of environmental actions and sand wave features, we develop an effective formula to predict sand-wave migration. It is indicated that the physical models should be used to predict the migration of the small scale sand-wave, which is rarely dominated by wave activity.

鄂尔多斯盆地西缘中生代构造与地层分析及盆地演化研究

Through the detailed analyses of Mesozoic tectono-stratigraphy and basin formation dynamic mechanism and the styles of different units in the western margin of Ordos Basin(Abbreviated to "the western margin"), while some issues of the pre-Mesozoic in the western margin and central part of Ordos Basin also be discussed, the main views and conclusion as follows: 1. There are three types of depositional systems which are related with syndepositional tectonic actions and different tectonic prototype basins, including: alluvial fan systems, river system (braided river system and sinuosity river system), lacustrine-river delta system and fan delta system. They have complex constitutions of genetic facies. For the tectonic sequence VI, the fan sediments finning upper in the north-western margin and coarse upper in the south-western margin respectively. 2. In order to light the relationship between basin basement subsidence rate and sediment supply and the superposed styles, five categories of depositional systems tracts in different prototype basins were defined: aggrading and transgressive systems tracts during early subsidence stage, regressive and aggrading systems tracts during rapid subsidence, upper transgessive systems tracts during later subsidence stage. Different filling characteristics and related tectonic actions in different stages in Mesozoic period were discussed. 3. In order to determined the tectonic events of the provenance zones and provenance strata corresponding to basins sediments, according the clastics dispersal style and chemical analyses results of sediments in different areas, the provenance characteristics have been described. The collision stage between the "Mongolia block" and the north-China block may be the late permian; The sediments of Mesozoic strata in the north-western margin is mainly from the Alex blocks and north-Qilian Paleozoic orogeny, while the south-western margin from Qinling orogeny. The volcanic debris in the Yan'an Formation may be from the arc of the north margin of north-China block, although more study needed for the origin of the debris. The provenance of the Cretaceous may be from the early orogeny and the metamorphic basement of Longshan group. 4. The subsidence curve and subsidence rate and sedimentary rate in different units have been analyzed. For different prototype basin, the form of the subsidence curves are different. The subsidence of the basins are related with the orogeny of the basins.The beginning age of the foreland basin may be the middle Triassic. The change of basement subsidence show the migration of the foredeep and forebulge into the basin. The present appearance of the Ordos basin may be formed at the late stage of Cretaceous, not formed at the late Jurassic. 5. The structure mode of the west margin is very complex. Structure transfer in different fold-thrust units has been divided into three types: transfer faults, transition structures and intersected form. The theoretic explanations also have been given for the origin and the forming mechanism. The unique structure form of Hengshanpu is vergent west different from the east vergence of most thrust faults, the mechanism of which has been explained. 6. In Triassic period, the He1anshan basin is extensional basin while the Hengshanbu is "forland", and the possible mechanism of the seemingly incompatible structures has been explained. First time, the thesis integrate the Jurassic—early Cretaceous basins of west margin with the Hexi corridor basins and explain the unitive forming mechanism. The model thinks the lateral extrusion is the main mechanism of the Hexi corridor and west margin basins, meanwhile, the deep elements and basement characters of the basins. Also, for the first time, we determine the age of the basalt in Helanshan area as the Cretaceous period, the age matching with the forming of the Cretaceous basins and as the main factor of the coal metamorphism in the Helanshan area. 7. The Neoprotterozoic aulacogen is not the continuation of the Mesozoic aulacogen, while it is another new rift stage. In the Paleozoic, the Liupanshan—southern Helanshan area is part of the back-arc basins of north Qilian ocean. 8. The Helanshan "alacogen" is connected with the north margin of north China block, not end at the north of Zhouzishan area like "appendices". Also, I think the upper Devonian basin as the beginning stage of the extensional early Carboniferous basins, not as a part of the foreland basins of Silurian period, not the collision rift. 9. The controlling factor of the difference of the deformation styles of the north-west margin and the south-west margin is the difference of the basements and adjacent tectonic units of the two parts.

A scenario-driven decision support system for serious crime investigation

Q. Shen, J. Keppens, C. Aitken, B. Schafer, and M. Lee. A scenario driven decision support system for serious crime investigation. Law, Probability and Risk, 5(2):87-117, 2006. Sponsorship: UK Engineering and Physical Sciences Research Council grant GR/S63267; partially supported by grant GR/S98603

O antropomorfizowaniu i potrzebie przedstawień figuralnych w sztuce greckiej

Estetyka w archeologii. Antropomorfizacje w pradziejach i starożytności, eds. E. Bugaj, A. P. Kowalski, Poznań: Wydawnictwo Poznańskie.

Problemy z pojęciem wiedzy w ramach epistemicznej koncepcji znaczenia Michaela Dummetta

According to epistemic theory of meaning the meaning is not understanding-transcendent – understanding is a kind of knowledge and the meaning is the content of this knowledge. The main problem of such a theory is to provide an adequate characteristic of the notion of knowledge. Dummett claims that understanding cannot be reduced neither to purely practical abilities, nor to explicit theoretical knowledge. In his opinion the most important part of the knowledge that constitutes understanding is a kind of implicit knowledge, something halfway between practical ability and theoretical knowledge. Unfortunately is not so simple to provide sufficiently clear characteristics of it. Moreover, because of implicitness of this knowledge, there is problem with manifestation of possession of such knowledge. Understanding should be related to the practice of making assertions. In the article I try to argue for soundness of thesis that important part of knowledge that constitutes understanding is a kind of procedural knowledge. This type of knowledge (called “knowledge-how”) cannot be reduced to propositional or conceptual knowledge (“knowledge-that”). Procedural knowledge has manifestation in activities doing in accordance with some set of the rules, but possession of this knowledge does not require explicit knowledge-that of the rules. Procedural knowledge is also located in the middle of the spectrum – between reflex actions and theoretical knowledge.

Alterações metabólicas no diabético

Projeto de Pós-Graduação/Dissertação apresentado à Universidade Fernando Pessoa como parte dos requisitos para obtenção do grau de Mestre em Ciências Farmacêuticas

Recognition of Human Action Using Moment-Based Feature

The performance of different classification approaches is evaluated using a view-based approach for motion representation. The view-based approach uses computer vision and image processing techniques to register and process the video sequence. Two motion representations called Motion Energy Images and Motion History Image are then constructed. These representations collapse the temporal component in a way that no explicit temporal analysis or sequence matching is needed. Statistical descriptions are then computed using moment-based features and dimensionality reduction techniques. For these tests, we used 7 Hu moments, which are invariant to scale and translation. Principal Components Analysis is used to reduce the dimensionality of this representation. The system is trained using different subjects performing a set of examples of every action to be recognized. Given these samples, K-nearest neighbor, Gaussian, and Gaussian mixture classifiers are used to recognize new actions. Experiments are conducted using instances of eight human actions (i.e., eight classes) performed by seven different subjects. Comparisons in the performance among these classifiers under different conditions are analyzed and reported. Our main goals are to test this dimensionality-reduced representation of actions, and more importantly to use this representation to compare the advantages of different classification approaches in this recognition task.

Colonizing the heart from the epicardial side.

The clinical use of stem cells, such as bone marrow-derived and, more recently, resident cardiac stem cells, offers great promise for treatment of myocardial infarction and heart failure. The epicardium-derived cells have also attracted attention for their angiogenic paracrine actions and ability to differentiate into cardiomyocytes and vascular cells when activated during cardiac injury. In a recent study, Chong and colleagues have described a distinct population of epicardium-derived mesenchymal stem cells that reside in a perivascular niche of the heart and have a broad multilineage potential. Exploring the therapeutic capacity of these cells will be an exciting future endeavor.

A reified temporal logic

This paper presents a reified temporal logic for representing and reasoning about temporal and non-temporal relationships between non-temporal assertions. A clear syntax and semantics for the logic is formally provided. Three types of predicates, temporal predicates, non-temporal predicates and meta-predicates, are introduced. Terms of the proposed language are partitioned into three types, temporal terms, non-temporal terms and propositional terms. Reified propositions consist of formulae with each predicate being either a temporal predicate or a meta-predicate. Meta-predicates may take both temporal terms and propositional terms together as arguments or take propositional terms alone. A standard formula of the classical first-order language with each predicate being a non-temporal predicate taking only non-temporal terms as arguments is reified as just a propositional term. A general time ontology has been provided which can be specialized to a variety of existing temporal systems. The new logic allows one to predicate and quantify over propositional terms while according a special status of time; for example, assertions such as ‘effects cannot precede their causes’ is ensured in the logic, and some problematic temporal aspects including the delay time between events and their effects can be conveniently expressed. Applications of the logic are presented including the characterization of the negation of properties and their contextual sentences, and the expression of temporal relations between actions and effects.

Temporal representation of state transitions

This paper describes a knowledge-based temporal representation of state transitions for industrial real-time systems. To allow expression of uncertainty, we shall define fluents as disjuncts of positive/negative time-varying properties. A state of the world is represented as a collection of fluents, which is usually incomplete in the sense that neither the positive form nor the negative form of some properties can be implied from it. The world under consideration is assumed to persist in a given state until an action(s) takes place to effect a transition of it into another state, where actions may either be instantaneous or durative. High-level causal laws are characterized in terms of relationships between actions and the involved world states. An effect completion axiom is imposed on each causal law to guarantee that all the fluents that can be affected by the performance of the corresponding action are governed. This completion requirement is practical for most industrial real-time applications and in fact provides a simple and effective treatment to the so-called frame problem.