WorldWideScience

Sample records for abstract task regularity

  1. A Parametric Abstract Domain for Lattice-Valued Regular Expressions

    Midtgaard, Jan; Nielson, Flemming; Nielson, Hanne Riis

    2016-01-01

    We present a lattice-valued generalization of regular expressions as an abstract domain for static analysis. The parametric abstract domain rests on a generalization of Brzozowski derivatives and works for both finite and infinite lattices. We develop both a co-inductive, simulation algorithm...

  2. FABS (Formulated Abstracting): An Experiment in Regularized Content Description.

    Harris, Brian; Hofmann, Thomas R.

    This preliminary report of research conducted at the Linguistics Documentation Centre of the University of Ottawa describes a bilingual experiment into the elaboration of well structured formulary routines for making the writing of abstracts easier, and at the same time standardizing and generally augmenting the information given in them. The…

  3. Prior knowledge regularization in statistical medical image tasks

    Crimi, A.; Sporring, J.; Bruijne, M. de;

    2009-01-01

    are lower than the dimension of the data can lead to incorrect estimation e.g. of the covariance matrix and subse- quent unreliable results of statistical tasks. This limitation is normally solved by the well-known Tikhonov regularization adding partially an identity matrix; here we discuss a Bayesian...... approach for regularizing the covariance matrix using prior knowledge. Our method is evaluated for reconstructing and modeling vertebra and cartilage shapes from a lower dimensional representation and a conditional model. For these central problems, the proposed methodology outperforms the traditional MLE...... method and the Tikhonov regularization....

  4. Statistical regularities attract attention when task-relevant

    Andrea eAlamia

    2016-02-01

    Full Text Available Visual attention seems essential for learning the statistical regularities in our environment, a process known as statistical learning. However, how attention is allocated when exploring a novel visual scene whose statistical structure is unknown remains unclear. In order to address this question, we investigated visual attention allocation during a task in which we manipulated the conditional probability of occurrence of colored stimuli, unbeknown to the subjects. Participants were instructed to detect a target colored dot among two dots moving along separate circular paths. We evaluated implicit statistical learning, i.e. the effect of color predictability on reaction times (RT, and recorded eye position concurrently. Attention allocation was indexed by comparing the Mahalanobis distance between the position, velocity and acceleration of the eyes and the 2 colored dots.We found that learning the conditional probabilities occurred very early during the course of the experiment as shown by the fact that, starting already from the first block, predictable stimuli were detected with shorter RT than unpredictable ones. In terms of attentional allocation, we found that the predictive stimulus attracted gaze only when it was informative about the occurrence of the target but not when it predicted the occurrence of a task-irrelevant stimulus. This suggests that attention allocation was influenced by regularities only when they were instrumental in performing the task. Moreover, we found that the attentional bias towards task-relevant predictive stimuli occurred at a very early stage of learning, concomitantly with the first effects of learning on RT.In conclusion, these results show that statistical regularities capture visual attention only after a few occurrences, provided these regularities are instrumental to perform the task.

  5. The mismatch-negativity (MMN) component of the auditory event-related potential to violations of abstract regularities: a review.

    Paavilainen, Petri

    2013-05-01

    The mismatch-negativity (MMN) component of the event-related potential (ERP) has been extensively used to study the preattentive processing and storage of regularities in basic physical stimulus features (e.g., frequency, intensity, spatial location). However, studies reviewed in the present article reveal that the auditory analysis reflected by MMN also includes the detection and use of more complex, "abstract", regularities based, for example, on relationships between various physical features of the stimuli or in patterns present in the auditory stream. When these regularities are violated, then MMN is elicited. Thus, the central auditory system performs even at the pre-attentive, auditory-cortex level surprisingly "cognitive" operations, such as generalization leading to simple concept formation, rule extraction and prediction of future stimuli. The information extracted often seems to be in an implicit form, not directly available to conscious processes and difficult to express verbally. It can nevertheless influence the behavior of the subject, for example, the regularity violations can temporarily impair performance in the primary task. Neural, behavioral and cognitive events associated with the development of the regularity representations are discussed.

  6. α-times Integrated Regularized Cosine Functions and Second Order Abstract Cauchy Problens

    张寄洲; 陶有山

    2001-01-01

    In this paper, α -times integrated C-regularized cosine functions and mild α-times integrated C-existence families of second order are introduced. Equivalences are proved among α -times integrated C-regularized cosine function for a linear operator A, C-wellposed of (α + 1)-times abstract Cauchy problem and mild α -times integrated C-existence family of second order for A when the commutable condition is satisfied. In addition, if A = C-1AC, they are also equivalent to A generating the α -times integrated C-regularized cosine finction.The characterization of an exponentially botnded mild α -times integrated C-existence family of second order is given out in terms of a Laplace transform.

  7. ABSTRACTS

    2012-01-01

    Spiritual Construction and Its Ideological Sources in Contemporary China The spiritual construction in contemporary China is an important ideological task proposed by the historical practice of China. Modernized development often entails the meaning of entering into " modern civilization. " Nevertheless, an abstract understanding of this civilization has covered up its essential stipulation and historical nature. China has pursued its development on a different historical prerequisite from the west, and therefore, only partially belongs to modern capitalist modernization. The practical prospects of Chinese development imply a transformation and remodeling of the general lifestyle, life attitudes and values, which inevitably calls for a new form of philosophy. The ideological sources for this new philosophy are: Chinese philosophy, Western integration of them may point to philosophy and Marxist philosophy. A creative a potentially new type of civilization.

  8. An Approach to the Design of Mathematical Task Sequences: Conceptual Learning as Abstraction

    Simon, Martin A.

    2016-01-01

    This paper describes an emerging approach to the design of task sequences and the theory that undergirds it. The approach aims at promoting particular mathematical concepts, understood as the result of reflective abstraction. Central to this approach is the identification of available student activities from which students can abstract the…

  9. Expressiveness modulo Bisimilarity of Regular Expressions with Parallel Composition (Extended Abstract)

    Baeten, Jos C M; Muller, Tim; van Tilburg, Paul; 10.4204/EPTCS.41.1

    2010-01-01

    The languages accepted by finite automata are precisely the languages denoted by regular expressions. In contrast, finite automata may exhibit behaviours that cannot be described by regular expressions up to bisimilarity. In this paper, we consider extensions of the theory of regular expressions with various forms of parallel composition and study the effect on expressiveness. First we prove that adding pure interleaving to the theory of regular expressions strictly increases its expressiveness up to bisimilarity. Then, we prove that replacing the operation for pure interleaving by ACP-style parallel composition gives a further increase in expressiveness. Finally, we prove that the theory of regular expressions with ACP-style parallel composition and encapsulation is expressive enough to express all finite automata up to bisimilarity. Our results extend the expressiveness results obtained by Bergstra, Bethke and Ponse for process algebras with (the binary variant of) Kleene's star operation.

  10. Experimental study on the effects of visualized functionally abstracted information on process control tasks

    Ham, Dong-Han [School of Computing Science, Middlesex University, The Burroughs London, London NW4 4BT (United Kingdom)], E-mail: d.ham@mdx.ac.uk; Yoon, Wan Chul [Department of Industrial Engineering, Korea Advanced Institute of Science and Technology, 373-1 Kusong-dong, Yusong-gu, Taejon 305-701 (Korea, Republic of); Han, Byoung-Tae [Global Consumer Group, Citibank Korea Inc., Shinmoon-ro, Chongro-gu, Seoul 110-762 (Korea, Republic of)

    2008-02-15

    Two distinct design problems of information display for process control are information content representation and visual form design. Regarding information content, we experimentally showed the effectiveness of functionally abstracted information without the benefits of sophisticated graphical presentation in various task situations. However, since it is obvious that the effects of the information display are also influenced by display formats (i.e., visual forms) as well as the information content, further research was required to investigate the effectiveness of visualized functionally abstracted information. For this purpose, this study conducted an experiment in complex process control tasks (operation and fault diagnosis). The experimental purposes were to confirm the effectiveness of the functionally abstracted information visualized with emergent features or peculiar geometric forms and to examine the additional effects of the visualization on task performance. The results showed that functionally abstracted information presented with sophisticated visual forms helped operators perform process control tasks in more efficient and safe way. The results also indicated the importance of explicit visualization of goal-means relation between higher and lower abstraction levels. Lastly, this study proposed a framework for designing visual forms for process control display.

  11. Abstracts

    2011-01-01

    The Western Theories of War Ethics and Contemporary Controversies Li Xiaodong U Ruijing (4) [ Abstract] In the field of international relations, war ethics is a concept with distinct westem ideological color. Due to factors of history and reality, the in

  12. Abstract

    2012-01-01

    Cognitive Structure of Scientific Theory in the Scientist-Philosopher's Eyes、Two Theories of Scientific Abstraction Centered on Practices、Many-worlds Interpretation in Quantum Measurement and Its Meaning、Scientific Instrument: Paradigm Shift from Instrumentalism to Realism and Phenomenology

  13. Abstracts

    2012-01-01

    [ Abstract] Interaction between China and the international system has been a highlighted is- sue and drawing a great deal of attention all over the world. It has been approached from structural point of view and in a way of a conflicting pair of self and the other, which is the prevailing ontological perspective of IR studies. Contrary to it, processual

  14. ABSTRACTS

    2012-01-01

    Abstract: The ethylene plant at SINOPEC Shanghai Petrochemical Company Limited ranked in the middle among SINOPEC subsidiaries in terms of ethylene and propylene yields, technical economical indicator and so on, and its performance ranking went no further in chemical sector. By means of feedstock optimization, steam optimization, and energy saving and consumption reduction, the company enhanced its competitiveness in the market and improved its efficiency. In addition, some ideas were put forward on performance improvement of the ethylene plant in the future.

  15. Abstracts

    2011-01-01

    [ Abstract ] The global resurgence of religion and the return of religion from the so-call "Westphalia Exile" to the central stage of international religions have significantly trans- formed the viewpoints of both media and academia toward the role of religion in IR, and the challenges posed by religion to the contemporary international relations are often described as entirely subversive. The author argues that as a second-tier factor in most countries' for- eign policies and international affairs,

  16. Abstracts

    2012-01-01

    China' s Dual-identity Dilemma and Its Countermeasm'es Li Shaojun(4) [ Abstract] The international system, as the overall structure for interactions among actors, is the environment and stage for implementation of China' s foreign policy. In this system, identity is a fundamental factor determining China' s international position and interests, and how to achieve them. China has long stressed that it is a "developing country,"

  17. Abstracts

    2011-01-01

    The Research of the Subsistent States of the Artists Living in Guilin During the Anti-Japanese Period;A Brief History of Calligraphy Art of Chongqing as Provisional Capital during the Anti-Japanese Period;The Endless Stream and Terraced Mountains:on the Analysisof Spacein Chinese Landscape Painting of Gongxian;Political Vanguard in the Perspective View of the Formalism Aesthetic: 1980s Abstract Painting in China;Comparison of the Early-Stage Spreading of Western Pre-Modem Style Painting and Its Influence in China and Japan.

  18. ABSTRACTS

    2012-01-01

    (1) Lenin's "Unity of Three Dialectics": Notes Science of Logic and The Capital on Philosophy in the Dual Contexts of Sun Zhengyu 4 Lenin's dialectics in Notes on Philosophy is essentially a unity of materialistic logic, dialectics and epistemology that has arisen from interactions between Hegel' s Science of Logic and Marx' s The Capital. Due to a lack of understanding of Lenin' s "unity of three dialectics," people tend to misunderstand his dialectics for the meeting of two extremes of the "sum total of living instances" and "abstract methods,

  19. ABSTRACT

    2011-01-01

    --Based on of Marx's Economic Philosophy Manuscripts of 1844 HE Jian-jin (Philosophy Department, Fujian Provincial Committee Party School, Fuzhou, Fujian 350012, China) Abstract: Socialism with Chinese characteristics has a close relationship with the return and growth of capital in China. To implement the scientific concept of development, we must confront the problem of scientifically controlling the capital. In Economic and Philosophical Manuscripts of 1844, Marx criticized the three old philosophical thinking of treating capital: Object-oriented thinking, intuitive thinking, purely spiritual abstract thinking, and he established his own unique understanding of the capital that is to understand the capital from the human perceptual activities and practical activities. Contemporary Chinese society exist the problem of underdevelopment and abnormal development, and the three heterogeneity problems of pre-modern, modern, postmodern concurrent. In order to implement the scientific concept of development, we must reject any abstract positive or negative to modern basic principles under the guidance of the capital, against the eternal capital theory and capital theory of evil, and we must oppose the thinking that the capital is eternal or evil. Key words: socialism with Chinese characteristics; capital; national economics; scientific concept of development

  20. Abstracts

    2012-01-01

    The Shift of World Center and the Change of the International System Yan Xuetong Abstract: The power transition caused by China' s rise will not only change the international configuration, but could also result in the world cen- ter shifting from Europe to Asia. However, neither a change in the interna- tional configuration nor the shift of the world center implies a change of the type of the international system. The international system is composed of three elements: international actors, international configuration and interna- tional norms. It will be neither possible to distinguish international system from its components nor clarify relations between components and system if changes in one element are treated as change of types of international system.

  1. ABSTRACTS

    2012-01-01

    On Rousseau's Equality and Freedom GONG Qun Abstract:Equality and freedom are the two core concepts of political philosophy and Rousseau~s political philosophy is no exception. Freedom and equality in Rousseau in- cludes two levels: natural state and social state under social contract, and among them, there is one state of un-equality. The relationship between the two concepts here is that equality is a necessary precondition of freedom, and that there is no equality, there is no freedom. The achievement of Rousseau~s equality is by one contractual behavior that all the members transfer their rights, especially property rights, and form of the Community. Freedom in Rousseau's mind is through the people's sovereignty in the Community to achieve freedom.

  2. ABSTRACTS

    2012-01-01

    Discussion on main hydraulic performance parameters' model acceptance test of mixed flow pump turbine YU Ji-xing, LI Jin-wei, CHEN Liu, REN Shao-cheng, JIANG Ming-li, LI Hai-ling (China Institute of Water Resources and Hydropower Research, Beijing 100038, China) Abstract: Model acceptance test content and main performance parameter' acceptance mode of mixed flow pump turbine were introduced, main hydraulic performance parameters, such as hump of pump high lift region and S unstable region during turbine starting, were discussed, after that, frequency characteristic of pressure fluctuation beside guide blade area were presented in briefly. Key words: pump turbine; model acceptance test; hump region; "S" region; pressure fluctuation

  3. ABSTRACTS

    2012-01-01

    On the Construction of Water Conservancy during 1930s in Hubei Yu Tao ( 1 ) Abstract: Two extra-large floods in the 1930s had drawn the National Government's attention to introspect itself. After those disasters, the government had made some progress by a series of measures like repairing the dike, completing water conservancy institutions and enacting regulations in order to strengthen the water conservancy construction in Hubei. The government took water conservancy construction as a complex system project so that they had a relatively comprehensive consideration. It reflects the advancement of modern government to mobilize local people and put such social power into the unified planning. However, thelimitations of the government's policy implementation weakened the effect of water conservancy construction. Keywords: flood; government; water conservancy construction; effect

  4. ABSTRACTS

    2012-01-01

    (1) ASEAN Security Community: Power Containment and Norm Construction --From the Perspective of Realist-Constructivism Zheng Ying-qin . 11 . Abstract:Combined of realism and constructivism, realist-constructivism emphasizes the interactions between power and identity through norms and their influence on international relations. From the perspective of realist-con- structivism, this article analyses the construction of ASEAN security community and figures out two main clues in the n of ASEAN : the containment of power system that facilitate the strategic cooperation of ASEAN and norms which promotes the cooperation. ASEAN has made achievements in security cooperation but security community. There are still lots of problems ASEAN needs to tackle, for example, to con- institution as well as to strengthen the regional economic interdependence. The possible way to pro- mote the ASEAN security community may start from the area of non-traditional security cooperation Key Wwords: ASEAN security community ; Realist-Constructivism ; power; norm

  5. ABSTRACTS

    2012-01-01

    Discussions of Design Highlights for Tailgas Treatment in Sulphuric Acid Plant Using New Technology for Flue Gas Desulfurization Through Catalytic Reduction LI Xin , CAO Long-wen , YIN Hua-qiang , El Yue-li , LI Jian-iun ( 1 ,College of Architecture and Environment, Sichuan University, Chengdu 610065, China;2 ,Daye Nonferrous Metals Co., Ltd., Huangshi 435000, China; 3 ,Tile Sixth Construction Company Ltd. of China National Chemical Engineering Corp., Xiangfan 441021, China) Abstract : For the present situation of tailgas treatment in current sulphuric acid plants and existing problems with commonly used technologies, the fun- damental working principle, process flow and reference project for a new technology for flue gas desulfurization through catalytic redaction which is used for tailgas treatment in a sulphuric acid plant and recovery of sulphur resource are outlined. The design highlights of this technology are analyzed and the are proposed. Compared to conventional technologies, this new technology offers high desulfurization efficiency and unique technology, which can effectively tackle the difficuhies of tailgas treatment in sulphuric acid plants after enforcement of the new standard. This new technology is thought to be significant economic benefit, environmental benefit, as well as a promising future of application.

  6. Abstracts

    2012-01-01

    Strategic Realism: An Option for China' s Grand Strategy Song Dexing (4) [ Abstract] As a non-Western emerging power, China should positively adapt its grand strategy to the strategic psychological traits in the 21st century, maintain a realist tone consistent with the national conditions of China, and avoid adventurist policies while awaring both strategic strength and weakness. In the 21st century, China' s grand strategy should be based on such core values as security, development, peace and justice, especially focusing on development in particular, which we named "strategic realism". Given the profound changes in China and the world, strategic realism encourages active foreign policy to safe- guard the long-term national interests of China. Following the self-help logic and the fun- damental values of security and prosperity, strategic realism concerns national interests as its top-priority. It advocates smart use of power, and aims to achieve its objectives by optimizing both domestic and international conditions. From the perspective of diplomatic phi- losophy, strategic realism is not a summarization of concrete policies but a description of China' s grand strategy orientations in the new century. [ Key Words] China, grand strategy, strategic realism [ Author]Song Dexing, Professor, Ph.D. Supervisor, and Director of the Center for International Strategic Studies, University of International Studies of PLA.

  7. Abstracts

    2012-01-01

    The Western Characteristics of the Pardims of International Studies in America:With the Huaxla System as a Counterexample Ye Zicheng (4)[ Abstract ] Three flaws are obvious in the three paradigms of International Studies in America. Specifically, their arguments are based on the assumption that the world is anarchic ; they go too far in employing the scientific and rational methodology; they pay little attention to the humans. Hence, the three paradigms of international studies in America aren' t necessarily useful for the explanation of China' s history and culture as well as its relations with the outside world. The Huaxia system, for example, is anarchic but also apparently hierarchical; the approach of pursuing security in understanding the rise of western powers may be meaningless, for the hegemony in the Huaxia System needn't worry about its security; the theory of power-balancing seemingly couldn' t explain why Qin ended up in defeating the alliance of the other six states in the Warring-states period. The Huaxia system is quite open, and has free movement of people, goods, and ideas. Some interstate regimes and institutions were formed through Huimeng (alliance-making) among states. However, this kind of limited and fragile interdependence and cooperation soon came to an end after the hegemonies of Qi, Jin and Wei. There does exit the identity problem among states in the Huaxia System, but this problem doesn't play such a great role as the constructivists expect it would.

  8. Abstracts

    2012-01-01

    [Abstract] The essay analyzed the action logic of hegemon with a power approach. Hegemony can be classified as benign or malignant. A benign hegemon should be pro- ductive, inclusive and maintain procedure justice when it uses its power. The power of hegemon can be categorized into two types: the hard power, which is the use of coer- cion and payment and can be measured by public products, and the soft power, which shows the ability to attract and co-opt and can be measured by the relationship-specific investments. The relationship between the input of public products and the relationship -specific investments is not positively correlative. Confusing with the public products and the soft power might lead to strategic misleading. A country rich in power re- sources should comply with the following principles if it wanted to improve its hard power and soft power: first, analyze the scope of the existing hegemon's soft power and avoid investing public products in the scope; second, maintain honesty in a long term and continue to increase others' benefits following the rule of neutral Pareto im- provement; third, provide both public goods and public bads; fourth, be more patient to obtain soft power. [ Key Words] hegemon, soft power, relationship-specific investment, strategic misleading [Authors]Feng Weijiang, Ph.D., Associate Professor, Institute of World Economics and Politics, Chinese Academy of Social Science; Yu Jieya, Master, PBC Shanghai Headquarters.

  9. Abstracts

    2011-01-01

    Changing the Means of Structural Adjustment for Transformation of Development Pattern SONG Ze Abstract: History of China's reform and opening up has proven that government-led industrial structural adjustment is unsuccessful. Facing the new situation and economic development tasks, new ideas of industrial restructuring should be clearly put forward that the government will create conditions to adjust the structure by the market. During the Twelve-Five Years, the most priority should be how to reform the way how to change the structural adjustment. If the "structural adjustment" approach, especially in the manufacturing sector can not be changed, many goals on economic transition are likely to fall again. Under the circumstance it is necessary to accelerate the development of a unified, open and orderly modern market system, and effectively implement the market-pushed industrial restructuring approach, and strengthen the intermediary function of finance and inner trade and create good policy environment conducive to promoting the services sector in the process of structural adjustment and industrial upgrading. Key Words:industrial structure; adjustment approach

  10. Labile sleep promotes awareness of abstract knowledge in a serial reaction time task

    Roumen eKirov

    2015-09-01

    Full Text Available Sleep has been identified as a critical brain state enhancing the probability of gaining insight into covert task regularities. Both non-rapid eye movement (NREM and REM sleep have been implicated with offline re-activation and reorganization of memories supporting explicit knowledge generation. According to two-stage models of sleep function, offline processing of information during sleep is sequential requiring multiple cycles of NREM and REM sleep stages. However, the role of overnight dynamic sleep macrostructure for insightfulness has not been studied so far. In the present study, we test the hypothesis that the frequency of interactions between NREM and REM sleep stages might be critical for awareness after sleep. For that aim, the rate of sleep stage transitions was evaluated in 53 participants who learned implicitly a serial reaction time task (SRTT in which a determined sequence was inserted. The amount of explicit knowledge about the sequence was established by verbal recall after a night of sleep following SRTT learning. Polysomnography was recorded in this night and in a control night before and was analyzed to compare the rate of sleep-stage transitions between participants who did or did not gain awareness of task regularity after sleep. Indeed, individual ability of explicit knowledge generation was strongly associated with increased rate of transitions between NREM and REM sleep stages and between light sleep stages and slow wave sleep. However, the rate of NREM-REM transitions specifically predicted the amount of explicit knowledge after sleep in a trait-dependent way. These results demonstrate that enhanced lability of sleep goes along with individual ability of knowledge awareness. Observations suggest that facilitated dynamic interactions between sleep stages, particularly between NREM and REM sleep stages play a role for offline processing which promotes rule extraction and awareness.

  11. The relationship between dual-task and cognitive performance among elderly participants who exercise regularly

    Lima, Luciana C. A.; Ansai, Juliana H.; Andrade, Larissa P.; Takahashi, Anielle C. M.

    2015-01-01

    BACKGROUND: The dual-task performance is associated with the functionality of the elderly and it becomes more complex with age. OBJECTIVE: To investigate the relationship between the Timed Up and Go dual task (TUG-DT) and cognitive tests among elderly participants who exercise regularly. METHOD: This study examined 98 non-institutionalized people over 60 years old who exercised regularly. Participants were assessed using the TUG-DT (i.e. doing the TUG while listing the days of the week in reverse order), the Montreal Cognitive Assessment (MoCA), the Clock Drawing Test (CDT), and the Mini Mental State Examination (MMSE). The motor (i.e. time and number of steps) and cognitive (i.e. number of correct words) data were collected from TUG-DT . We used a significance level of α=0.05 and SPSS 17.0 for all data analyses. RESULTS: This current elderly sample featured a predominance of women (69.4%) who were highly educated (median=10 years of education) compared to Brazilian population and mostly non-fallers (86.7%). The volunteers showed a good performance on the TUG-DT and the other cognitive tests, except the MoCA, with scores below the cutoff of 26 points. Significant and weak correlations were observed between the TUG-DT (time) and the visuo-spatial/executive domain of the MoCA and the MMSE. The cognitive component of the TUG-DT showed strong correlations between the total MoCA performance score and its visuo-spatial/executive domain. CONCLUSIONS: The use of the TUG-DT to assess cognition is promising; however, the use of more challenging cognitive tasks should be considered when the study population has a high level of education. PMID:25993629

  12. The relationship between dual-task and cognitive performance among elderly participants who exercise regularly

    Luciana C. A. Lima

    2015-04-01

    Full Text Available BACKGROUND: The dual-task performance is associated with the functionality of the elderly and it becomes more complex with age. OBJECTIVE: To investigate the relationship between the Timed Up and Go dual task (TUG-DT and cognitive tests among elderly participants who exercise regularly. METHOD: This study examined 98 non-institutionalized people over 60 years old who exercised regularly. Participants were assessed using the TUG-DT (i.e. doing the TUG while listing the days of the week in reverse order, the Montreal Cognitive Assessment (MoCA, the Clock Drawing Test (CDT, and the Mini Mental State Examination (MMSE. The motor (i.e. time and number of steps and cognitive (i.e. number of correct words data were collected from TUG-DT . We used a significance level of α=0.05 and SPSS 17.0 for all data analyses. RESULTS: This current elderly sample featured a predominance of women (69.4% who were highly educated (median=10 years of education compared to Brazilian population and mostly non-fallers (86.7%. The volunteers showed a good performance on the TUG-DT and the other cognitive tests, except the MoCA, with scores below the cutoff of 26 points. Significant and weak correlations were observed between the TUG-DT (time and the visuo-spatial/executive domain of the MoCA and the MMSE. The cognitive component of the TUG-DT showed strong correlations between the total MoCA performance score and its visuo-spatial/executive domain. CONCLUSIONS: The use of the TUG-DT to assess cognition is promising; however, the use of more challenging cognitive tasks should be considered when the study population has a high level of education.

  13. Temporal Dynamics of Task Switching and Abstract-Concept Learning in Pigeons

    Thomas Alexander Daniel

    2015-09-01

    Full Text Available The current study examined whether pigeons could learn to use abstract concepts as the basis for conditionally switching behavior as a function of time. Using a mid-session reversal task, experienced pigeons were trained to switch from matching-to-sample (MTS to non-matching-to-sample (NMTS conditional discriminations within a session. One group had prior training with MTS, while the other had prior training with NMTS. Over training, stimulus set size was progressively doubled from 3 to 6 to 12 stimuli to promote abstract concept development. Prior experience had an effect on the initial learning at each of the set sizes but by the end of training there were no group differences, as both groups showed similar within-session linear matching functions. After acquiring the 12-item set, abstract-concept learning was tested by placing novel stimuli at the beginning and end of a test session. Prior matching and non-matching experience affected transfer behavior. The matching experienced group transferred to novel stimuli in both the matching and non-matching portion of the sessions using a matching rule. The non-matching experienced group transferred to novel stimuli in both portions of the session using a non-matching rule. The representations used as the basis for mid-session reversal of the conditional discrimination behaviors and subsequent transfer behavior appears to have different temporal sources. The implications for the flexibility and organization of complex behaviors are considered.

  14. Temporal dynamics of task switching and abstract-concept learning in pigeons.

    Daniel, Thomas A; Cook, Robert G; Katz, Jeffrey S

    2015-01-01

    The current study examined whether pigeons could learn to use abstract concepts as the basis for conditionally switching behavior as a function of time. Using a mid-session reversal task, experienced pigeons were trained to switch from matching-to-sample (MTS) to non-matching-to-sample (NMTS) conditional discriminations within a session. One group had prior training with MTS, while the other had prior training with NMTS. Over training, stimulus set size was progressively doubled from 3 to 6 to 12 stimuli to promote abstract concept development. Prior experience had an effect on the initial learning at each of the set sizes but by the end of training there were no group differences, as both groups showed similar within-session linear matching functions. After acquiring the 12-item set, abstract-concept learning was tested by placing novel stimuli at the beginning and end of a test session. Prior matching and non-matching experience affected transfer behavior. The matching experienced group transferred to novel stimuli in both the matching and non-matching portion of the sessions using a matching rule. The non-matching experienced group transferred to novel stimuli in both portions of the session using a non-matching rule. The representations used as the basis for mid-session reversal of the conditional discrimination behaviors and subsequent transfer behavior appears to have different temporal sources. The implications for the flexibility and organization of complex behaviors are considered.

  15. Neural dissociation of food- and money-related reward processing using an abstract incentive delay task.

    Simon, Joe J; Skunde, Mandy; Wu, Mudan; Schnell, Knut; Herpertz, Sabine C; Bendszus, Martin; Herzog, Wolfgang; Friederich, Hans-Christoph

    2015-08-01

    Food is an innate reward stimulus related to energy homeostasis and survival, whereas money is considered a more general reward stimulus that gains a rewarding value through learning experiences. Although the underlying neural processing for both modalities of reward has been investigated independently from one another, a more detailed investigation of neural similarities and/or differences between food and monetary reward is still missing. Here, we investigated the neural processing of food compared with monetary-related rewards in 27 healthy, normal-weight women using functional magnetic resonance imaging. We developed a task distinguishing between the anticipation and the receipt of either abstract food or monetary reward. Both tasks activated the ventral striatum during the expectation of a reward. Compared with money, greater food-related activations were observed in prefrontal, parietal and central midline structures during the anticipation and lateral orbitofrontal cortex (lOFC) during the receipt of food reward. Furthermore, during the receipt of food reward, brain activation in the secondary taste cortex was positively related to the body mass index. These results indicate that food-dependent activations encompass to a greater extent brain regions involved in self-control and self-reflection during the anticipation and phylogenetically older parts of the lOFC during the receipt of reward.

  16. Task-driven tube current modulation and regularization design in computed tomography with penalized-likelihood reconstruction

    Gang, G. J.; Siewerdsen, J. H.; Stayman, J. W.

    2016-03-01

    Purpose: This work applies task-driven optimization to design CT tube current modulation and directional regularization in penalized-likelihood (PL) reconstruction. The relative performance of modulation schemes commonly adopted for filtered-backprojection (FBP) reconstruction were also evaluated for PL in comparison. Methods: We adopt a task-driven imaging framework that utilizes a patient-specific anatomical model and information of the imaging task to optimize imaging performance in terms of detectability index (d'). This framework leverages a theoretical model based on implicit function theorem and Fourier approximations to predict local spatial resolution and noise characteristics of PL reconstruction as a function of the imaging parameters to be optimized. Tube current modulation was parameterized as a linear combination of Gaussian basis functions, and regularization was based on the design of (directional) pairwise penalty weights for the 8 in-plane neighboring voxels. Detectability was optimized using a covariance matrix adaptation evolutionary strategy algorithm. Task-driven designs were compared to conventional tube current modulation strategies for a Gaussian detection task in an abdomen phantom. Results: The task-driven design yielded the best performance, improving d' by ~20% over an unmodulated acquisition. Contrary to FBP, PL reconstruction using automatic exposure control and modulation based on minimum variance (in FBP) performed worse than the unmodulated case, decreasing d' by 16% and 9%, respectively. Conclusions: This work shows that conventional tube current modulation schemes suitable for FBP can be suboptimal for PL reconstruction. Thus, the proposed task-driven optimization provides additional opportunities for improved imaging performance and dose reduction beyond that achievable with conventional acquisition and reconstruction.

  17. Exploring Interaction Space as Abstraction Mechanism for Task-Based User Interface Design

    Nielsen, C. M.; Overgaard, M.; Pedersen, M. B.;

    2007-01-01

    , but there is considerable variation in the other models that are employed. This paper explores the extent to which the notion of interaction space is useful as an abstraction mechanism to reduce the complexity of creating and specifying a user interface design. We present how we designed a specific user interface through...

  18. Age and individual differences in prospective memory during a "Virtual Week": the roles of working memory, vigilance, task regularity, and cue focality.

    Rose, Nathan S; Rendell, Peter G; McDaniel, Mark A; Aberle, Ingo; Kliegel, Matthias

    2010-09-01

    Young (ages 18-22 years) and older (ages 61-87 years) adults (N = 106) played the Virtual Week board game, which involves simulating common prospective memory (PM) tasks of everyday life (e.g., taking medication), and performed working memory (WM) and vigilance tasks. The Virtual Week game includes regular (repeated) and irregular (nonrepeated) PM tasks with cues that are either more or less focal to other ongoing activities. Age differences in PM were reduced for repeated tasks, and performance improved over the course of the week, suggesting retrieval was more spontaneous or habitual. Correlations with WM within each age group were reduced for PM tasks that had more regular or focal cues. WM (but not vigilance) ability was a strong predictor of irregular PM tasks with less focal cues. Taken together, these results support the hypothesis that habitual and focally cued PM tasks are less demanding of attentional resources (specifically, WM), whereas tasks that are more demanding of controlled attentional processes produce larger age differences, which may be attributable to individual differences in WM.

  19. Birth of an Abstraction: A Dynamical Systems Account of the Discovery of an Elsewhere Principle in a Category Learning Task

    Tabor, Whitney; Cho, Pyeong W.; Dankowicz, Harry

    2013-01-01

    Human participants and recurrent ("connectionist") neural networks were both trained on a categorization system abstractly similar to natural language systems involving irregular ("strong") classes and a default class. Both the humans and the networks exhibited staged learning and a generalization pattern reminiscent of the…

  20. The Direction of Hemispheric Asymmetries for Object Categorization at Different Levels of Abstraction Depends on the Task

    Studer, Tobias; Hubner, Ronald

    2008-01-01

    In this study hemispheric asymmetries for categorizing objects at the basic versus subordinate level of abstraction were investigated. As predictions derived from different theoretical approaches are contradictory and experimental evidence is inconclusive in this regard, we conducted two categorization experiments, where we contrasted two…

  1. Abstraction and Consolidation

    Monaghan, John; Ozmantar, Mehmet Fatih

    2006-01-01

    The framework for this paper is a recently developed theory of abstraction in context. The paper reports on data collected from one student working on tasks concerned with absolute value functions. It examines the relationship between mathematical constructions and abstractions. It argues that an abstraction is a consolidated construction that can…

  2. -Regular Modules

    Areej M. Abduldaim

    2013-01-01

    Full Text Available We introduced and studied -regular modules as a generalization of -regular rings to modules as well as regular modules (in the sense of Fieldhouse. An -module is called -regular if for each and , there exist and a positive integer such that . The notion of -pure submodules was introduced to generalize pure submodules and proved that an -module is -regular if and only if every submodule of is -pure iff   is a -regular -module for each maximal ideal of . Many characterizations and properties of -regular modules were given. An -module is -regular iff is a -regular ring for each iff is a -regular ring for finitely generated module . If is a -regular module, then .

  3. Regular expressions cookbook

    Goyvaerts, Jan

    2009-01-01

    This cookbook provides more than 100 recipes to help you crunch data and manipulate text with regular expressions. Every programmer can find uses for regular expressions, but their power doesn't come worry-free. Even seasoned users often suffer from poor performance, false positives, false negatives, or perplexing bugs. Regular Expressions Cookbook offers step-by-step instructions for some of the most common tasks involving this tool, with recipes for C#, Java, JavaScript, Perl, PHP, Python, Ruby, and VB.NET. With this book, you will: Understand the basics of regular expressions through a

  4. Regular figures

    Tóth, L Fejes; Ulam, S; Stark, M

    1964-01-01

    Regular Figures concerns the systematology and genetics of regular figures. The first part of the book deals with the classical theory of the regular figures. This topic includes description of plane ornaments, spherical arrangements, hyperbolic tessellations, polyhedral, and regular polytopes. The problem of geometry of the sphere and the two-dimensional hyperbolic space are considered. Classical theory is explained as describing all possible symmetrical groupings in different spaces of constant curvature. The second part deals with the genetics of the regular figures and the inequalities fo

  5. ABSTRACTS AND KEY WORDS

    2012-01-01

    Study on the Enrichment Regularity of Semicarbazide in Algae Tian Xiu-hui eta1. (1) Abstract Semicarbazide (SEM) in three kinds of representative algae (Nitzschia closterium, Tetraselmis chui and Dicrateria sp) and seawater was determined using ultra performance liquid chromatogram tandem mass spectrometry in this work. Accumulation of semicarbazide (SEM) in algae under laboratory conditions was studied.

  6. Regularized maximum correntropy machine

    Wang, Jim Jing-Yan

    2015-02-12

    In this paper we investigate the usage of regularized correntropy framework for learning of classifiers from noisy labels. The class label predictors learned by minimizing transitional loss functions are sensitive to the noisy and outlying labels of training samples, because the transitional loss functions are equally applied to all the samples. To solve this problem, we propose to learn the class label predictors by maximizing the correntropy between the predicted labels and the true labels of the training samples, under the regularized Maximum Correntropy Criteria (MCC) framework. Moreover, we regularize the predictor parameter to control the complexity of the predictor. The learning problem is formulated by an objective function considering the parameter regularization and MCC simultaneously. By optimizing the objective function alternately, we develop a novel predictor learning algorithm. The experiments on two challenging pattern classification tasks show that it significantly outperforms the machines with transitional loss functions.

  7. Increasing On-Task Behavior in Students in a Regular Classroom: Effectiveness of a Self-Management Procedure Using a Tactile Prompt

    Moore, D.W.; Anderson, A.; Glassenbury, M.; Didden, H.C.M.; Lang, R.

    2013-01-01

    Self-management strategies have been shown to be widely effective. However, limited classroom-based research exists involving low performing but developmentally normal high school-aged participants. This study examined the effectiveness of a self-management strategy aimed at increasing on-task behav

  8. Online co-regularized algorithms

    Ruijter, T. de; Tsivtsivadze, E.; Heskes, T.

    2012-01-01

    We propose an online co-regularized learning algorithm for classification and regression tasks. We demonstrate that by sequentially co-regularizing prediction functions on unlabeled data points, our algorithm provides improved performance in comparison to supervised methods on several UCI benchmarks

  9. Manifold Regularized Reinforcement Learning.

    Li, Hongliang; Liu, Derong; Wang, Ding

    2017-01-27

    This paper introduces a novel manifold regularized reinforcement learning scheme for continuous Markov decision processes. Smooth feature representations for value function approximation can be automatically learned using the unsupervised manifold regularization method. The learned features are data-driven, and can be adapted to the geometry of the state space. Furthermore, the scheme provides a direct basis representation extension for novel samples during policy learning and control. The performance of the proposed scheme is evaluated on two benchmark control tasks, i.e., the inverted pendulum and the energy storage problem. Simulation results illustrate the concepts of the proposed scheme and show that it can obtain excellent performance.

  10. Fluctuations of the experience of togetherness within the team over time: task-cohesion and shared understanding throughout a sporting regular season.

    Bourbousson, Jérôme; Fortes-Bourbousson, Marina

    2016-09-06

    Based on a diagnosis action research design, the present study assessed the fluctuations of the team experience of togetherness. Reported experiences of 12 basketball team members playing in the under-18 years old national championship were studied during a four-month training and competitive period. Time series analysis (Auto-Regressive Integrated Moving Average procedures) served to describe temporal properties of the way in which the fluctuations of task-cohesion and shared understanding were step-by-step experienced over time, respectively. Correlations, running-correlations and cross-lagged correlations were used to describe the temporal links that governed the relationships between both phenomena. The results indicated that the task-cohesion dimensions differed mainly for shared understanding dynamics in that their time fluctuations were not embedded in external events, and that the variations in shared understanding tend to precede 'individual attractions to the task' variations with seven team practical sessions. This study argues for further investigation of how 'togetherness' is experienced alternatively as a feeling of cohesion or shared understanding. Practitioner Summary: The present action research study investigated the experience that the team members have to share information during practice, and the subsequent benefices on team cohesion. Results call for specific interventions that make team members accept the fluctuating nature of team phenomena, to help them maintaining their daily efforts.

  11. Selected Abstracts

    2012-01-01

    The Three - Stage Interaction Model of Lexicon - Syntax Interface Liu Yuhong (80) The Three -Stage Interaction Model maintains that the interactions at the lexicon -syntax interface are divisible into three levels, namely, the interaction between lexical meaning and lexical grammar that determines syntactic items, the interaction among lexical items that determines syntactic structure, and the interaction between abstract syntactic structure (i. e. construction) and temporary syntactic combinations that determines and coerces grammaticality of the latter. The Three - Stage Interaction Model is hierarchical, complete and bidirectional in language comprehension. It also testifies to the varying abstractness between grammar (syntax) and semantics, and between the five grammatical cases. According to this model, temporary syntactic combination is sanctioned by abstract syntactic structure, therefore the conventional linguistic significance of P600 is maintained without coining contradictory new terms.

  12. Abstract algebra

    Garrett, Paul B

    2007-01-01

    Designed for an advanced undergraduate- or graduate-level course, Abstract Algebra provides an example-oriented, less heavily symbolic approach to abstract algebra. The text emphasizes specifics such as basic number theory, polynomials, finite fields, as well as linear and multilinear algebra. This classroom-tested, how-to manual takes a more narrative approach than the stiff formalism of many other textbooks, presenting coherent storylines to convey crucial ideas in a student-friendly, accessible manner. An unusual feature of the text is the systematic characterization of objects by universal

  13. Adaptive regularization

    Hansen, Lars Kai; Rasmussen, Carl Edward; Svarer, C.

    1994-01-01

    Regularization, e.g., in the form of weight decay, is important for training and optimization of neural network architectures. In this work the authors provide a tool based on asymptotic sampling theory, for iterative estimation of weight decay parameters. The basic idea is to do a gradient descent...... in the estimated generalization error with respect to the regularization parameters. The scheme is implemented in the authors' Designer Net framework for network training and pruning, i.e., is based on the diagonal Hessian approximation. The scheme does not require essential computational overhead in addition...... to what is needed for training and pruning. The viability of the approach is demonstrated in an experiment concerning prediction of the chaotic Mackey-Glass series. The authors find that the optimized weight decays are relatively large for densely connected networks in the initial pruning phase, while...

  14. MAIN ABSTRACTS

    2011-01-01

    Ideological Critique of Marx and Philosophical Transformation This paper addresses a tendency today that tries to reinterpret the Marxist transformation in philosophy with a "non-ideological" perspective. It explicates the leap that Marx achieved from abstract human spirit and state reason to the proletariat world view, as well as the overall withdrawal from the abstract universalism. Such a leap and withdrawal is not only the key to the materialistic inversion of the Hegelian dialectics, but also the foundation for sticking to and enriching the Marxist philosophy. Without sticking to this direction, we will not be able to clearly understand Marxism as the successor and promoter of the magnificent cultural achievements of mankind, including the enlightenment thoughts and classical German philosophy, nor will we fully understand the value and strength of Marxist philosophy today.

  15. INVENTORY ABSTRACTION

    G. Ragan

    2001-12-19

    The purpose of the inventory abstraction, which has been prepared in accordance with a technical work plan (CRWMS M&O 2000e for ICN 02 of the present analysis, and BSC 2001e for ICN 03 of the present analysis), is to: (1) Interpret the results of a series of relative dose calculations (CRWMS M&O 2000c, 2000f). (2) Recommend, including a basis thereof, a set of radionuclides that should be modeled in the Total System Performance Assessment in Support of the Site Recommendation (TSPA-SR) and the Total System Performance Assessment in Support of the Final Environmental Impact Statement (TSPA-FEIS). (3) Provide initial radionuclide inventories for the TSPA-SR and TSPA-FEIS models. (4) Answer the U.S. Nuclear Regulatory Commission (NRC)'s Issue Resolution Status Report ''Key Technical Issue: Container Life and Source Term'' (CLST IRSR) key technical issue (KTI): ''The rate at which radionuclides in SNF [spent nuclear fuel] are released from the EBS [engineered barrier system] through the oxidation and dissolution of spent fuel'' (NRC 1999, Subissue 3). The scope of the radionuclide screening analysis encompasses the period from 100 years to 10,000 years after the potential repository at Yucca Mountain is sealed for scenarios involving the breach of a waste package and subsequent degradation of the waste form as required for the TSPA-SR calculations. By extending the time period considered to one million years after repository closure, recommendations are made for the TSPA-FEIS. The waste forms included in the inventory abstraction are Commercial Spent Nuclear Fuel (CSNF), DOE Spent Nuclear Fuel (DSNF), High-Level Waste (HLW), naval Spent Nuclear Fuel (SNF), and U.S. Department of Energy (DOE) plutonium waste. The intended use of this analysis is in TSPA-SR and TSPA-FEIS. Based on the recommendations made here, models for release, transport, and possibly exposure will be developed for the isotopes that would be the highest

  16. Inventory Abstraction

    C. Leigh

    2000-11-03

    The purpose of the inventory abstraction as directed by the development plan (CRWMS M&O 1999b) is to: (1) Interpret the results of a series of relative dose calculations (CRWMS M&O 1999c, 1999d). (2) Recommend, including a basis thereof, a set of radionuclides that should be modeled in the Total System Performance Assessment in Support of the Site Recommendation (TSPA-SR) and the Total System Performance Assessment in Support of the Final Environmental Impact Statement (TSPA-FEIS). (3) Provide initial radionuclide inventories for the TSPA-SR and TSPA-FEIS models. (4) Answer the U.S. Nuclear Regulatory Commission (NRC)'s Issue Resolution Status Report ''Key Technical Issue: Container Life and Source Term'' (CLST IRSR) (NRC 1999) key technical issue (KTI): ''The rate at which radionuclides in SNF [Spent Nuclear Fuel] are released from the EBS [Engineered Barrier System] through the oxidation and dissolution of spent fuel'' (Subissue 3). The scope of the radionuclide screening analysis encompasses the period from 100 years to 10,000 years after the potential repository at Yucca Mountain is sealed for scenarios involving the breach of a waste package and subsequent degradation of the waste form as required for the TSPA-SR calculations. By extending the time period considered to one million years after repository closure, recommendations are made for the TSPA-FEIS. The waste forms included in the inventory abstraction are Commercial Spent Nuclear Fuel (CSNF), DOE Spent Nuclear Fuel (DSNF), High-Level Waste (HLW), naval Spent Nuclear Fuel (SNF), and U.S. Department of Energy (DOE) plutonium waste. The intended use of this analysis is in TSPA-SR and TSPA-FEIS. Based on the recommendations made here, models for release, transport, and possibly exposure will be developed for the isotopes that would be the highest contributors to the dose given a release to the accessible environment. The inventory abstraction is important in

  17. Regular polytopes

    Coxeter, H S M

    1973-01-01

    Polytopes are geometrical figures bounded by portions of lines, planes, or hyperplanes. In plane (two dimensional) geometry, they are known as polygons and comprise such figures as triangles, squares, pentagons, etc. In solid (three dimensional) geometry they are known as polyhedra and include such figures as tetrahedra (a type of pyramid), cubes, icosahedra, and many more; the possibilities, in fact, are infinite! H. S. M. Coxeter's book is the foremost book available on regular polyhedra, incorporating not only the ancient Greek work on the subject, but also the vast amount of information

  18. Testing whether and when abstract symmetric patterns produce affective responses.

    Marco Bertamini

    Full Text Available Symmetry has a central role in visual art, it is often linked to beauty, and observers can detect it efficiently in the lab. We studied what kind of fast and automatic responses are generated by visual presentation of symmetrical patterns. Specifically, we tested whether a brief presentation of novel symmetrical patterns engenders positive affect using a priming paradigm. The abstract patterns were used as primes in a pattern-word interference task. To ensure that familiarity was not a factor, no pattern and no word was ever repeated within each experiment. The task was to classify words that were selected to have either positive or negative valence. We tested irregular patterns, patterns containing vertical and horizontal reflectional symmetry, and patterns containing a 90 deg rotation. In a series of 7 experiments we found that the effect of affective congruence was present for both types of regularity but only when observers had to classify the regularity of the pattern after responding to the word. The findings show that processing abstract symmetrical shapes or random pattern can engender positive or negative affect as long as the regularity of the pattern is a feature that observers have to attend to and classify.

  19. Selected Abstracts

    2012-01-01

    The Elasticity of Vague Language Abstract:This paper develops an overarching theoretical framework for dealing with the strategic elastic- ity of vague language. Employing the metaphor of a slingshot, it describes how the vague language (VL) is stretched to meet the needs of communication. Drawing attention to the positive and effective role played by VL, the study further looks into how the VL theory is derived from real - life data of ten- sion -prone encounters. The empirical evidence validates the theory~ main maxim and its four specific maxims, and lends support to the following findings: 1 ) the pragmatic functions which VL performs, their linguistic realizations, and the pragmatic maxims they conform to are interconnected; 2) the dom- inant factor in the functioning of VL is the communicative goal; and 3 ) stretching on a continuum of polarities, between soft and tough, firm and flexible, cooperative and uncooperative, shows the versa- tility and elasticity of VL. An important implication of this study is that while VL~ vagueness is context -governed and culture- denendent it~ nll A ~1.o~;.;~.. ; :

  20. Metacognition and abstract reasoning.

    Markovits, Henry; Thompson, Valerie A; Brisson, Janie

    2015-05-01

    The nature of people's meta-representations of deductive reasoning is critical to understanding how people control their own reasoning processes. We conducted two studies to examine whether people have a metacognitive representation of abstract validity and whether familiarity alone acts as a separate metacognitive cue. In Study 1, participants were asked to make a series of (1) abstract conditional inferences, (2) concrete conditional inferences with premises having many potential alternative antecedents and thus specifically conducive to the production of responses consistent with conditional logic, or (3) concrete problems with premises having relatively few potential alternative antecedents. Participants gave confidence ratings after each inference. Results show that confidence ratings were positively correlated with logical performance on abstract problems and concrete problems with many potential alternatives, but not with concrete problems with content less conducive to normative responses. Confidence ratings were higher with few alternatives than for abstract content. Study 2 used a generation of contrary-to-fact alternatives task to improve levels of abstract logical performance. The resulting increase in logical performance was mirrored by increases in mean confidence ratings. Results provide evidence for a metacognitive representation based on logical validity, and show that familiarity acts as a separate metacognitive cue.

  1. Nonconvex Regularization in Remote Sensing

    Tuia, Devis; Flamary, Remi; Barlaud, Michel

    2016-11-01

    In this paper, we study the effect of different regularizers and their implications in high dimensional image classification and sparse linear unmixing. Although kernelization or sparse methods are globally accepted solutions for processing data in high dimensions, we present here a study on the impact of the form of regularization used and its parametrization. We consider regularization via traditional squared (2) and sparsity-promoting (1) norms, as well as more unconventional nonconvex regularizers (p and Log Sum Penalty). We compare their properties and advantages on several classification and linear unmixing tasks and provide advices on the choice of the best regularizer for the problem at hand. Finally, we also provide a fully functional toolbox for the community.

  2. Approximate Sparse Regularized Hyperspectral Unmixing

    Chengzhi Deng

    2014-01-01

    Full Text Available Sparse regression based unmixing has been recently proposed to estimate the abundance of materials present in hyperspectral image pixel. In this paper, a novel sparse unmixing optimization model based on approximate sparsity, namely, approximate sparse unmixing (ASU, is firstly proposed to perform the unmixing task for hyperspectral remote sensing imagery. And then, a variable splitting and augmented Lagrangian algorithm is introduced to tackle the optimization problem. In ASU, approximate sparsity is used as a regularizer for sparse unmixing, which is sparser than l1 regularizer and much easier to be solved than l0 regularizer. Three simulated and one real hyperspectral images were used to evaluate the performance of the proposed algorithm in comparison to l1 regularizer. Experimental results demonstrate that the proposed algorithm is more effective and accurate for hyperspectral unmixing than state-of-the-art l1 regularizer.

  3. ESPR 2015. Abstracts

    NONE

    2015-05-10

    The volume includes the abstracts of the ESPR 2015 covering the following topics: PCG (post graduate courses): Radiography; fluoroscopy and general issue; nuclear medicine, interventional radiology and hybrid imaging, pediatric CT, pediatric ultrasound; MRI in childhood. Scientific sessions and task force sessions: International aspects; neuroradiology, neonatal imaging, engineering techniques to simulate injury in child abuse, CT - dose and quality, challenges in the chest, cardiovascular and chest, muscoskeletal, oncology, pediatric uroradiology and abdominal imaging, fetal and postmortem imaging, education and global challenges, neuroradiology - head and neck, gastrointestinal and genitourinary.

  4. Judgement of abstract paintings

    Dakulović Sandra

    2006-01-01

    Full Text Available In two experiments the judgement of twenty one abstract paintings was investigated. In Experiment 1, subjects were asked to make similarity judgements of 210 pairs of paintings on a 7 step bipolar scale (similar-dissimilar. The Multi-dimensional scaling (MDS method was used for data analysis. The distribution of paintings within MDS 2-D space suggested two grouping criteria: colorfullness (e.g. from Klee to Kline and geometrization (e.g. from Vasarely to Kandinsky. In Experiment 2, subjects were asked to judge the same paintings on three factors of the instrument SDF 9 (Marković et al., 2002b: Evaluation, Arousal and Regularity. The purpose of this experiment was to specify the subjective criteria on which the (dissimilarity judgements were based. In the regression analysis the three factors of SDF 9 were defined as predictors, whereas the x and y coordinates of MDS 2-D space were defined as dependent variables. The results have shown that the dimension x was reducible to the Evaluation factor, and dimension y is reducible to the Regularity factor.

  5. Subcortical processing of speech regularities underlies reading and music aptitude in children

    Strait Dana L

    2011-10-01

    Full Text Available Abstract Background Neural sensitivity to acoustic regularities supports fundamental human behaviors such as hearing in noise and reading. Although the failure to encode acoustic regularities in ongoing speech has been associated with language and literacy deficits, how auditory expertise, such as the expertise that is associated with musical skill, relates to the brainstem processing of speech regularities is unknown. An association between musical skill and neural sensitivity to acoustic regularities would not be surprising given the importance of repetition and regularity in music. Here, we aimed to define relationships between the subcortical processing of speech regularities, music aptitude, and reading abilities in children with and without reading impairment. We hypothesized that, in combination with auditory cognitive abilities, neural sensitivity to regularities in ongoing speech provides a common biological mechanism underlying the development of music and reading abilities. Methods We assessed auditory working memory and attention, music aptitude, reading ability, and neural sensitivity to acoustic regularities in 42 school-aged children with a wide range of reading ability. Neural sensitivity to acoustic regularities was assessed by recording brainstem responses to the same speech sound presented in predictable and variable speech streams. Results Through correlation analyses and structural equation modeling, we reveal that music aptitude and literacy both relate to the extent of subcortical adaptation to regularities in ongoing speech as well as with auditory working memory and attention. Relationships between music and speech processing are specifically driven by performance on a musical rhythm task, underscoring the importance of rhythmic regularity for both language and music. Conclusions These data indicate common brain mechanisms underlying reading and music abilities that relate to how the nervous system responds to

  6. Abstract Cauchy problems three approaches

    Melnikova, Irina V

    2001-01-01

    Although the theory of well-posed Cauchy problems is reasonably understood, ill-posed problems-involved in a numerous mathematical models in physics, engineering, and finance- can be approached in a variety of ways. Historically, there have been three major strategies for dealing with such problems: semigroup, abstract distribution, and regularization methods. Semigroup and distribution methods restore well-posedness, in a modern weak sense. Regularization methods provide approximate solutions to ill-posed problems. Although these approaches were extensively developed over the last decades by many researchers, nowhere could one find a comprehensive treatment of all three approaches.Abstract Cauchy Problems: Three Approaches provides an innovative, self-contained account of these methods and, furthermore, demonstrates and studies some of the profound connections between them. The authors discuss the application of different methods not only to the Cauchy problem that is not well-posed in the classical sense, b...

  7. Regular Expression Matching and Operational Semantics

    Rathnayake, Asiri; 10.4204/EPTCS.62.3

    2011-01-01

    Many programming languages and tools, ranging from grep to the Java String library, contain regular expression matchers. Rather than first translating a regular expression into a deterministic finite automaton, such implementations typically match the regular expression on the fly. Thus they can be seen as virtual machines interpreting the regular expression much as if it were a program with some non-deterministic constructs such as the Kleene star. We formalize this implementation technique for regular expression matching using operational semantics. Specifically, we derive a series of abstract machines, moving from the abstract definition of matching to increasingly realistic machines. First a continuation is added to the operational semantics to describe what remains to be matched after the current expression. Next, we represent the expression as a data structure using pointers, which enables redundant searches to be eliminated via testing for pointer equality. From there, we arrive both at Thompson's lock...

  8. On Weak Regular *-semigroups

    Yong Hua LI; Hai Bin KAN; Bing Jun YU

    2004-01-01

    In this paper, a special kind of partial algebras called projective partial groupoids is defined.It is proved that the inverse image of all projections of a fundamental weak regular *-semigroup under the homomorphism induced by the maximum idempotent-separating congruence of a weak regular *-semigroup has a projective partial groupoid structure. Moreover, a weak regular *-product which connects a fundamental weak regular *-semigroup with corresponding projective partial groupoid is defined and characterized. It is finally proved that every weak regular *-product is in fact a weak regular *-semigroup and any weak regular *-semigroup is constructed in this way.

  9. From Abstract Art to Abstracted Artists

    Romi Mikulinsky

    2016-11-01

    Full Text Available What lineage connects early abstract films and machine-generated YouTube videos? Hans Richter’s famous piece Rhythmus 21 is considered to be the first abstract film in the experimental tradition. The Webdriver Torso YouTube channel is composed of hundreds of thousands of machine-generated test patterns designed to check frequency signals on YouTube. This article discusses geometric abstraction vis-à-vis new vision, conceptual art and algorithmic art. It argues that the Webdriver Torso is an artistic marvel indicative of a form we call mathematical abstraction, which is art performed by computers and, quite possibly, for computers.

  10. Regularity effect in prospective memory during aging

    Geoffrey Blondelle

    2016-10-01

    Full Text Available Background: Regularity effect can affect performance in prospective memory (PM, but little is known on the cognitive processes linked to this effect. Moreover, its impacts with regard to aging remain unknown. To our knowledge, this study is the first to examine regularity effect in PM in a lifespan perspective, with a sample of young, intermediate, and older adults. Objective and design: Our study examined the regularity effect in PM in three groups of participants: 28 young adults (18–30, 16 intermediate adults (40–55, and 25 older adults (65–80. The task, adapted from the Virtual Week, was designed to manipulate the regularity of the various activities of daily life that were to be recalled (regular repeated activities vs. irregular non-repeated activities. We examine the role of several cognitive functions including certain dimensions of executive functions (planning, inhibition, shifting, and binding, short-term memory, and retrospective episodic memory to identify those involved in PM, according to regularity and age. Results: A mixed-design ANOVA showed a main effect of task regularity and an interaction between age and regularity: an age-related difference in PM performances was found for irregular activities (older < young, but not for regular activities. All participants recalled more regular activities than irregular ones with no age effect. It appeared that recalling of regular activities only involved planning for both intermediate and older adults, while recalling of irregular ones were linked to planning, inhibition, short-term memory, binding, and retrospective episodic memory. Conclusion: Taken together, our data suggest that planning capacities seem to play a major role in remembering to perform intended actions with advancing age. Furthermore, the age-PM-paradox may be attenuated when the experimental design is adapted by implementing a familiar context through the use of activities of daily living. The clinical

  11. NOETHERIAN GR-REGULAR RINGS ARE REGULAR

    LIHUISHI

    1994-01-01

    It is proved that for a left Noetherian z-graded ring A,if every finitely generated graded A-module has finite projective dimension(i.e-,A is gr-regular)then every finitely generated A-module has finite projective dimension(i.e.,A is regular).Some applications of this result to filtered rings and some classical cases are also given.

  12. Abstract thinking following severe traumatic brain injury.

    Scherzer, B P; Charbonneau, S; Solomon, C R; Lepore, F

    1993-01-01

    Abstract abilities were studied in a sample of 34 individuals with severe TBI and a control group. The results indicate that TBI interferes with performance on tests requiring individuals to process information into new categories. There appears to be a dissociation between verbal abstract abilities and visual-perceptual abstract abilities. There is evidence that Goldstein and Sheerer's [1] postulate of a general 'abstract attitude' was at least partially correct. This attitude does not appear to be related to a general verbal ideational process, as dysphasic subjects were only deficient on a purely verbal abstract task.

  13. Ideal regularization for learning kernels from labels.

    Pan, Binbin; Lai, Jianhuang; Shen, Lixin

    2014-08-01

    In this paper, we propose a new form of regularization that is able to utilize the label information of a data set for learning kernels. The proposed regularization, referred to as ideal regularization, is a linear function of the kernel matrix to be learned. The ideal regularization allows us to develop efficient algorithms to exploit labels. Three applications of the ideal regularization are considered. Firstly, we use the ideal regularization to incorporate the labels into a standard kernel, making the resulting kernel more appropriate for learning tasks. Next, we employ the ideal regularization to learn a data-dependent kernel matrix from an initial kernel matrix (which contains prior similarity information, geometric structures, and labels of the data). Finally, we incorporate the ideal regularization to some state-of-the-art kernel learning problems. With this regularization, these learning problems can be formulated as simpler ones which permit more efficient solvers. Empirical results show that the ideal regularization exploits the labels effectively and efficiently.

  14. PRISMA for Abstracts

    Beller, Elaine M; Glasziou, Paul P; Altman, Douglas G;

    2013-01-01

    Elaine Beller and colleagues from the PRISMA for Abstracts group provide a reporting guidelines for reporting abstracts of systematic reviews in journals and at conferences.......Elaine Beller and colleagues from the PRISMA for Abstracts group provide a reporting guidelines for reporting abstracts of systematic reviews in journals and at conferences....

  15. Regular Expression Pocket Reference

    Stubblebine, Tony

    2007-01-01

    This handy little book offers programmers a complete overview of the syntax and semantics of regular expressions that are at the heart of every text-processing application. Ideal as a quick reference, Regular Expression Pocket Reference covers the regular expression APIs for Perl 5.8, Ruby (including some upcoming 1.9 features), Java, PHP, .NET and C#, Python, vi, JavaScript, and the PCRE regular expression libraries. This concise and easy-to-use reference puts a very powerful tool for manipulating text and data right at your fingertips. Composed of a mixture of symbols and text, regular exp

  16. Dimensional regularization is generic

    Fujikawa, Kazuo

    2016-01-01

    The absence of the quadratic divergence in the Higgs sector of the Standard Model in the dimensional regularization is usually regarded to be an exceptional property of a specific regularization. To understand what is going on in the dimensional regularization, we illustrate how to reproduce the results of the dimensional regularization for the $\\lambda\\phi^{4}$ theory in the more conventional regularization such as the higher derivative regularization; the basic postulate involved is that the quadratically divergent induced mass, which is independent of the scale change of the physical mass, is kinematical and unphysical. This is consistent with the derivation of the Callan-Symanzik equation, which is a comparison of two theories with slightly different masses, for the $\\lambda\\phi^{4}$ theory without encountering the quadratic divergence. We thus suggest that the dimensional regularization is generic in a bottom-up approach starting with a successful low-energy theory. We also define a modified version of t...

  17. A linear functional strategy for regularized ranking.

    Kriukova, Galyna; Panasiuk, Oleksandra; Pereverzyev, Sergei V; Tkachenko, Pavlo

    2016-01-01

    Regularization schemes are frequently used for performing ranking tasks. This topic has been intensively studied in recent years. However, to be effective a regularization scheme should be equipped with a suitable strategy for choosing a regularization parameter. In the present study we discuss an approach, which is based on the idea of a linear combination of regularized rankers corresponding to different values of the regularization parameter. The coefficients of the linear combination are estimated by means of the so-called linear functional strategy. We provide a theoretical justification of the proposed approach and illustrate them by numerical experiments. Some of them are related with ranking the risk of nocturnal hypoglycemia of diabetes patients.

  18. Robust Sparse Analysis Regularization

    Vaiter, Samuel; Dossal, Charles; Fadili, Jalal

    2011-01-01

    This paper studies the properties of L1-analysis regularization for the resolution of linear inverse problems. Most previous works consider sparse synthesis priors where the sparsity is measured as the L1 norm of the coefficients that synthesize the signal in a given dictionary. In contrast, the more general analysis regularization minimizes the L1 norm of the correlations between the signal and the atoms in the dictionary. The corresponding variational problem includes several well-known regularizations such as the discrete total variation and the fused lasso. We first prove that a solution of analysis regularization is a piecewise affine function of the observations. Similarly, it is a piecewise affine function of the regularization parameter. This allows us to compute the degrees of freedom associated to sparse analysis estimators. Another contribution gives a sufficient condition to ensure that a signal is the unique solution of the analysis regularization when there is no noise in the observations. The s...

  19. Introduction to abstract algebra

    Nicholson, W Keith

    2012-01-01

    Praise for the Third Edition ". . . an expository masterpiece of the highest didactic value that has gained additional attractivity through the various improvements . . ."-Zentralblatt MATH The Fourth Edition of Introduction to Abstract Algebra continues to provide an accessible approach to the basic structures of abstract algebra: groups, rings, and fields. The book's unique presentation helps readers advance to abstract theory by presenting concrete examples of induction, number theory, integers modulo n, and permutations before the abstract structures are defined. Readers can immediately be

  20. Recalling academic tasks

    Draper, Franklin Gno

    This study was focused on what students remembered about five middle school science tasks when they were juniors and seniors in high school. Descriptions of the five tasks were reconstructed from available artifacts and teachers' records, notes and recollections. Three of the five tasks were "authentic" in the sense that students were asked to duplicate the decisions practitioners make in the adult world. The other two tasks were more typical school tasks involving note taking and preparation for a quiz. All five tasks, however, involved use of computers. Students were interviewed to examine what and how well they recalled the tasks and what forms or patterns of recall existed. Analysis of their responses indicated that different kinds of tasks produced different levels of recall. Authentically situated tasks were remembered much better than routine school tasks. Further, authentic tasks centered on design elements were recalled better than those for which design was not as pivotal. Patterns of recall indicated that participants most often recalled the decisions they made, the scenarios of the authentically situated tasks, the consequences of their tasks and the social contexts of the classroom. Task events, in other words, appeared to form a framework upon which students constructed stories of the tasks. The more salient the events, the richer the story, the deeper and more detailed the recall of the task. Thus, authentic tasks appeared to lend themselves to creating stories better than regular school tasks and therefore such tasks were recalled better. Implications of these patterns of recall are discussed with respect to issues of school learning and assessment.

  1. Abstracts: NRC Waste Management Program reports

    Heckman, R.A.; Minichino, C.

    1979-11-01

    This document consists of abstracts of all reports published by the Nuclear Regulatory Commission (NRC) Waste Management Program at Lawrence Livermore Laboratory (LLL). It will be updated at regular intervals. Reports are arranged in numerical order, within each category. Unless otherwise specified, authors are LLL scientists and engineers.

  2. Abstraction and Problem Reformulation

    Giunchiglia, Fausto

    1992-01-01

    In work done jointly with Toby Walsh, the author has provided a sound theoretical foundation to the process of reasoning with abstraction (GW90c, GWS9, GW9Ob, GW90a). The notion of abstraction formalized in this work can be informally described as: (property 1), the process of mapping a representation of a problem, called (following historical convention (Sac74)) the 'ground' representation, onto a new representation, called the 'abstract' representation, which, (property 2) helps deal with the problem in the original search space by preserving certain desirable properties and (property 3) is simpler to handle as it is constructed from the ground representation by "throwing away details". One desirable property preserved by an abstraction is provability; often there is a relationship between provability in the ground representation and provability in the abstract representation. Another can be deduction or, possibly inconsistency. By 'throwing away details' we usually mean that the problem is described in a language with a smaller search space (for instance a propositional language or a language without variables) in which formulae of the abstract representation are obtained from the formulae of the ground representation by the use of some terminating rewriting technique. Often we require that the use of abstraction results in more efficient .reasoning. However, it might simply increase the number of facts asserted (eg. by allowing, in practice, the exploration of deeper search spaces or by implementing some form of learning). Among all abstractions, three very important classes have been identified. They relate the set of facts provable in the ground space to those provable in the abstract space. We call: TI abstractions all those abstractions where the abstractions of all the provable facts of the ground space are provable in the abstract space; TD abstractions all those abstractions wllere the 'unabstractions' of all the provable facts of the abstract space are

  3. Regular database update logics

    Spruit, Paul; Wieringa, Roel; Meyer, John-Jules

    2001-01-01

    We study regular first-order update logic (FUL), which is a variant of regular dynamic logic in which updates to function symbols as well as to predicate symbols are possible. We fi1rst study FUL without making assumptions about atomic updates. Second, we look at relational algebra update logic (RAU

  4. Regularization in kernel learning

    Mendelson, Shahar; 10.1214/09-AOS728

    2010-01-01

    Under mild assumptions on the kernel, we obtain the best known error rates in a regularized learning scenario taking place in the corresponding reproducing kernel Hilbert space (RKHS). The main novelty in the analysis is a proof that one can use a regularization term that grows significantly slower than the standard quadratic growth in the RKHS norm.

  5. Annotation of regular polysemy and underspecification

    Martínez Alonso, Héctor; Pedersen, Bolette Sandford; Bel, Núria

    2013-01-01

    We present the result of an annotation task on regular polysemy for a series of seman- tic classes or dot types in English, Dan- ish and Spanish. This article describes the annotation process, the results in terms of inter-encoder agreement, and the sense distributions obtained with two methods...

  6. Regularity of eigenstates in regular Mourre theory

    Møller, Jacob Schach; Westrich, Matthias

    2011-01-01

    The present paper gives an abstract method to prove that possibly embedded eigenstates of a self-adjoint operator H lie in the domain of the kth power of a conjugate operator A. Conjugate means here that H and A have a positive commutator locally near the relevant eigenvalue in the sense of Mourr...... with respect to A. Natural applications are ‘dilation analytic’ systems satisfying a Mourre estimate, where our result can be viewed as an abstract version of a theorem due to Balslev and Combes (1971) [3] . As a new application we consider the massive Spin-Boson Model....

  7. Abstracts--Citations

    Occupational Mental Health, 1972

    1972-01-01

    Provides abstracts and citations of journal articles and reports dealing with aspects of mental health. Topics include absenteeism, alcoholism, drug abuse, leisure, disadvantaged, job satisfaction, and others. (SB)

  8. Nuclear medicine. Abstracts; Nuklearmedizin 2000. Abstracts

    Anon.

    2000-07-01

    This issue of the journal contains the abstracts of the 183 conference papers as well as 266 posters presented at the conference. Subject fields covered are: Neurology, psychology, oncology, pediatrics, radiopharmacy, endocrinology, EDP, measuring equipment and methods, radiological protection, cardiology, and therapy. (orig./CB) [German] Die vorliegende Zeitschrift enthaelt die Kurzfassungen der 183 auf der Tagung gehaltenen Vortraege sowie der 226 praesentierten Poster, die sich mit den folgenden Themen befassten: Neurologie, Psychiatrie, Onkologie, Paediatrie, Radiopharmazie, Endokrinologie, EDV, Messtechnik, Strahlenschutz, Kardiologie sowie Therapie. (MG)

  9. Completeness of Lyapunov Abstraction

    Rafael Wisniewski

    2013-08-01

    Full Text Available In this work, we continue our study on discrete abstractions of dynamical systems. To this end, we use a family of partitioning functions to generate an abstraction. The intersection of sub-level sets of the partitioning functions defines cells, which are regarded as discrete objects. The union of cells makes up the state space of the dynamical systems. Our construction gives rise to a combinatorial object - a timed automaton. We examine sound and complete abstractions. An abstraction is said to be sound when the flow of the time automata covers the flow lines of the dynamical systems. If the dynamics of the dynamical system and the time automaton are equivalent, the abstraction is complete. The commonly accepted paradigm for partitioning functions is that they ought to be transversal to the studied vector field. We show that there is no complete partitioning with transversal functions, even for particular dynamical systems whose critical sets are isolated critical points. Therefore, we allow the directional derivative along the vector field to be non-positive in this work. This considerably complicates the abstraction technique. For understanding dynamical systems, it is vital to study stable and unstable manifolds and their intersections. These objects appear naturally in this work. Indeed, we show that for an abstraction to be complete, the set of critical points of an abstraction function shall contain either the stable or unstable manifold of the dynamical system.

  10. Designing for Mathematical Abstraction

    Pratt, Dave; Noss, Richard

    2010-01-01

    Our focus is on the design of systems (pedagogical, technical, social) that encourage mathematical abstraction, a process we refer to as "designing for abstraction." In this paper, we draw on detailed design experiments from our research on children's understanding about chance and distribution to re-present this work as a case study in designing…

  11. Truthful Monadic Abstractions

    Brock-Nannestad, Taus; Schürmann, Carsten

    2012-01-01

    indefinitely, finding neither a proof nor a disproof of a given subgoal. In this paper we characterize a family of truth-preserving abstractions from intuitionistic first-order logic to the monadic fragment of classical first-order logic. Because they are truthful, these abstractions can be used to disprove...

  12. Completeness of Lyapunov Abstraction

    Wisniewski, Rafal; Sloth, Christoffer

    2013-01-01

    This paper addresses the generation of complete abstractions of polynomial dynamical systems by timed automata. For the proposed abstraction, the state space is divided into cells by sublevel sets of functions. We identify a relation between these functions and their directional derivatives along...

  13. Regular Expression Containment

    Henglein, Fritz; Nielsen, Lasse

    2011-01-01

    We present a new sound and complete axiomatization of regular expression containment. It consists of the conventional axiomatiza- tion of concatenation, alternation, empty set and (the singleton set containing) the empty string as an idempotent semiring, the fixed- point rule E* = 1 + E × E......* for Kleene-star, and a general coin- duction rule as the only additional rule. Our axiomatization gives rise to a natural computational inter- pretation of regular expressions as simple types that represent parse trees, and of containment proofs as coercions. This gives the axiom- atization a Curry......-Howard-style constructive interpretation: Con- tainment proofs do not only certify a language-theoretic contain- ment, but, under our computational interpretation, constructively transform a membership proof of a string in one regular expres- sion into a membership proof of the same string in another regular expression. We...

  14. Multiple graph regularized protein domain ranking

    Wang, Jim Jing-Yan

    2012-11-19

    Background: Protein domain ranking is a fundamental task in structural biology. Most protein domain ranking methods rely on the pairwise comparison of protein domains while neglecting the global manifold structure of the protein domain database. Recently, graph regularized ranking that exploits the global structure of the graph defined by the pairwise similarities has been proposed. However, the existing graph regularized ranking methods are very sensitive to the choice of the graph model and parameters, and this remains a difficult problem for most of the protein domain ranking methods.Results: To tackle this problem, we have developed the Multiple Graph regularized Ranking algorithm, MultiG-Rank. Instead of using a single graph to regularize the ranking scores, MultiG-Rank approximates the intrinsic manifold of protein domain distribution by combining multiple initial graphs for the regularization. Graph weights are learned with ranking scores jointly and automatically, by alternately minimizing an objective function in an iterative algorithm. Experimental results on a subset of the ASTRAL SCOP protein domain database demonstrate that MultiG-Rank achieves a better ranking performance than single graph regularized ranking methods and pairwise similarity based ranking methods.Conclusion: The problem of graph model and parameter selection in graph regularized protein domain ranking can be solved effectively by combining multiple graphs. This aspect of generalization introduces a new frontier in applying multiple graphs to solving protein domain ranking applications. 2012 Wang et al; licensee BioMed Central Ltd.

  15. On Regular Linear Relations

    T. (A)LVAREZ

    2012-01-01

    For a closed linear relation in a Banach space the concept of regularity is introduced and studied.It is shown that many of the results of Mbekhta and other authors for operators remain valid in the context of multivalued linear operators.We also extend the punctured neighbourhood theorem for operators to linear relations and as an application we obtain a characterization of semiFredholm linear relations which are regular.

  16. Regularities of Multifractal Measures

    Hun Ki Baek

    2008-05-01

    First, we prove the decomposition theorem for the regularities of multifractal Hausdorff measure and packing measure in $\\mathbb{R}^d$. This decomposition theorem enables us to split a set into regular and irregular parts, so that we can analyze each separately, and recombine them without affecting density properties. Next, we give some properties related to multifractal Hausdorff and packing densities. Finally, we extend the density theorem in [6] to any measurable set.

  17. Linear and nonlinear degenerate abstract differential equations with small parameter

    Shakhmurov, Veli B.

    2016-01-01

    The boundary value problems for linear and nonlinear regular degenerate abstract differential equations are studied. The equations have the principal variable coefficients and a small parameter. The linear problem is considered on a parameter-dependent domain (i.e., on a moving domain). The maximal regularity properties of linear problems and the optimal regularity of the nonlinear problem are obtained. In application, the well-posedness of the Cauchy problem for degenerate parabolic equation...

  18. Regular Expression Matching and Operational Semantics

    Asiri Rathnayake

    2011-08-01

    Full Text Available Many programming languages and tools, ranging from grep to the Java String library, contain regular expression matchers. Rather than first translating a regular expression into a deterministic finite automaton, such implementations typically match the regular expression on the fly. Thus they can be seen as virtual machines interpreting the regular expression much as if it were a program with some non-deterministic constructs such as the Kleene star. We formalize this implementation technique for regular expression matching using operational semantics. Specifically, we derive a series of abstract machines, moving from the abstract definition of matching to increasingly realistic machines. First a continuation is added to the operational semantics to describe what remains to be matched after the current expression. Next, we represent the expression as a data structure using pointers, which enables redundant searches to be eliminated via testing for pointer equality. From there, we arrive both at Thompson's lockstep construction and a machine that performs some operations in parallel, suitable for implementation on a large number of cores, such as a GPU. We formalize the parallel machine using process algebra and report some preliminary experiments with an implementation on a graphics processor using CUDA.

  19. Computational Abstraction Steps

    Thomsen, Lone Leth; Thomsen, Bent; Nørmark, Kurt

    2010-01-01

    and class instantiations. Our teaching experience shows that many novice programmers find it difficult to write programs with abstractions that materialise to concrete objects later in the development process. The contribution of this paper is the idea of initiating a programming process by creating......In this paper we discuss computational abstraction steps as a way to create class abstractions from concrete objects, and from examples. Computational abstraction steps are regarded as symmetric counterparts to computational concretisation steps, which are well-known in terms of function calls...... or capturing concrete values, objects, or actions. As the next step, some of these are lifted to a higher level by computational means. In the object-oriented paradigm the target of such steps is classes. We hypothesise that the proposed approach primarily will be beneficial to novice programmers or during...

  20. Abstracts of SIG Sessions.

    Proceedings of the ASIS Annual Meeting, 1997

    1997-01-01

    Presents abstracts of SIG Sessions. Highlights include digital collections; information retrieval methods; public interest/fair use; classification and indexing; electronic publication; funding; globalization; information technology projects; interface design; networking in developing countries; metadata; multilingual databases; networked…

  1. Abstract sectional category

    Diaz, F; Garcia, P; Murillo, A; Remedios, J

    2011-01-01

    We study, in an abstract axiomatic setting, the notion of sectional category of a morphism. From this, we unify and generalize known results about this invariant in different settings as well as we deduce new applications.

  2. Abstracts of contributed papers

    1994-08-01

    This volume contains 571 abstracts of contributed papers to be presented during the Twelfth US National Congress of Applied Mechanics. Abstracts are arranged in the order in which they fall in the program -- the main sessions are listed chronologically in the Table of Contents. The Author Index is in alphabetical order and lists each paper number (matching the schedule in the Final Program) with its corresponding page number in the book.

  3. Regularized Structural Equation Modeling.

    Jacobucci, Ross; Grimm, Kevin J; McArdle, John J

    A new method is proposed that extends the use of regularization in both lasso and ridge regression to structural equation models. The method is termed regularized structural equation modeling (RegSEM). RegSEM penalizes specific parameters in structural equation models, with the goal of creating easier to understand and simpler models. Although regularization has gained wide adoption in regression, very little has transferred to models with latent variables. By adding penalties to specific parameters in a structural equation model, researchers have a high level of flexibility in reducing model complexity, overcoming poor fitting models, and the creation of models that are more likely to generalize to new samples. The proposed method was evaluated through a simulation study, two illustrative examples involving a measurement model, and one empirical example involving the structural part of the model to demonstrate RegSEM's utility.

  4. Annotation of Regular Polysemy

    Martinez Alonso, Hector

    Regular polysemy has received a lot of attention from the theory of lexical semantics and from computational linguistics. However, there is no consensus on how to represent the sense of underspecified examples at the token level, namely when annotating or disambiguating senses of metonymic words...

  5. Semantic Neighborhood Effects for Abstract versus Concrete Words.

    Danguecan, Ashley N; Buchanan, Lori

    2016-01-01

    Studies show that semantic effects may be task-specific, and thus, that semantic representations are flexible and dynamic. Such findings are critical to the development of a comprehensive theory of semantic processing in visual word recognition, which should arguably account for how semantic effects may vary by task. It has been suggested that semantic effects are more directly examined using tasks that explicitly require meaning processing relative to those for which meaning processing is not necessary (e.g., lexical decision task). The purpose of the present study was to chart the processing of concrete versus abstract words in the context of a global co-occurrence variable, semantic neighborhood density (SND), by comparing word recognition response times (RTs) across four tasks varying in explicit semantic demands: standard lexical decision task (with non-pronounceable non-words), go/no-go lexical decision task (with pronounceable non-words), progressive demasking task, and sentence relatedness task. The same experimental stimulus set was used across experiments and consisted of 44 concrete and 44 abstract words, with half of these being low SND, and half being high SND. In this way, concreteness and SND were manipulated in a factorial design using a number of visual word recognition tasks. A consistent RT pattern emerged across tasks, in which SND effects were found for abstract (but not necessarily concrete) words. Ultimately, these findings highlight the importance of studying interactive effects in word recognition, and suggest that linguistic associative information is particularly important for abstract words.

  6. The deleuzian abstract machines

    Werner Petersen, Erik

    2005-01-01

    of art. From Difference and Repetition to Anti-Oedipus, the machines are conceived as binary machines based on the exclusive or inclusive use respectively of the three syntheses: conexa, disjuncta and conjuncta. The machines have a twofold embedment: In the desiring-production and in the social...... production. In Kafka: Toward a Minor Literature, Deleuze and Guatari gave the most comprehensive explanation to the abstract machine in the work of art. Like the war-machines of Virilio, the Kafka-machine operates in three gears or speeds. Furthermore, the machine is connected to spatial diagrams......To most people the concept of abstract machines is connected to the name of Alan Turing and the development of the modern computer. The Turing machine is universal, axiomatic and symbolic (E.g. operating on symbols). Inspired by Foucault, Deleuze and Guattari extended the concept of abstract...

  7. Monadic abstract interpreters

    Sergey, Ilya; Devriese, Dominique; Might, Matthew;

    2013-01-01

    -bounding to be independent of any particular semantics. Monads become the unifying agent between these concepts and between semantics. For instance, by plugging the same “context-insensitivity monad” into a monadicallyparameterized semantics for Java or for the lambda calculus, it yields the expected context......-insensitive analysis. To achieve this unification, we develop a systematic method for transforming a concrete semantics into a monadically-parameterized abstract machine. Changing the monad changes the behavior of the machine. By changing the monad, we recover a spectrum of machines—from the original concrete...... semantics to a monovariant, flow- and context-insensitive static analysis with a singly-threaded heap and weak updates. The monadic parameterization also suggests an abstraction over the ubiquitous monotone fixed-point computation found in static analysis. This abstraction makes it straightforward...

  8. Fractional Regularization Term for Variational Image Registration

    Rafael Verdú-Monedero

    2009-01-01

    Full Text Available Image registration is a widely used task of image analysis with applications in many fields. Its classical formulation and current improvements are given in the spatial domain. In this paper a regularization term based on fractional order derivatives is formulated. This term is defined and implemented in the frequency domain by translating the energy functional into the frequency domain and obtaining the Euler-Lagrange equations which minimize it. The new regularization term leads to a simple formulation and design, being applicable to higher dimensions by using the corresponding multidimensional Fourier transform. The proposed regularization term allows for a real gradual transition from a diffusion registration to a curvature registration which is best suited to some applications and it is not possible in the spatial domain. Results with 3D actual images show the validity of this approach.

  9. Reasoning abstractly about resources

    Clement, B.; Barrett, A.

    2001-01-01

    r describes a way to schedule high level activities before distributing them across multiple rovers in order to coordinate the resultant use of shared resources regardless of how each rover decides how to perform its activities. We present an algorithm for summarizing the metric resource requirements of an abstract activity based n the resource usages of its potential refinements.

  10. Beyond the abstractions?

    Olesen, Henning Salling

    2006-01-01

      The anniversary of the International Journal of Lifelong Education takes place in the middle of a conceptual landslide from lifelong education to lifelong learning. Contemporary discourses of lifelong learning etc are however abstractions behind which new functions and agendas for adult education...

  11. ESPR 2014. Abstracts

    NONE

    2014-06-15

    The Proceedings on ESPR 2014 include abstracts concerning the following topics: pediatric imaging: thorax, cardiovascular system, CT-technique, head and neck, perinatal imaging, molecular imaging; interventional imaging; specific focus: muscoskeletal imaging in juvenile idiopathic arthritis; radiation protection; oncology; molecular imaging - nuclear medicine; uroradiology and abdominal imaging.

  12. Seismic Consequence Abstraction

    M. Gross

    2004-10-25

    The primary purpose of this model report is to develop abstractions for the response of engineered barrier system (EBS) components to seismic hazards at a geologic repository at Yucca Mountain, Nevada, and to define the methodology for using these abstractions in a seismic scenario class for the Total System Performance Assessment - License Application (TSPA-LA). A secondary purpose of this model report is to provide information for criticality studies related to seismic hazards. The seismic hazards addressed herein are vibratory ground motion, fault displacement, and rockfall due to ground motion. The EBS components are the drip shield, the waste package, and the fuel cladding. The requirements for development of the abstractions and the associated algorithms for the seismic scenario class are defined in ''Technical Work Plan For: Regulatory Integration Modeling of Drift Degradation, Waste Package and Drip Shield Vibratory Motion and Seismic Consequences'' (BSC 2004 [DIRS 171520]). The development of these abstractions will provide a more complete representation of flow into and transport from the EBS under disruptive events. The results from this development will also address portions of integrated subissue ENG2, Mechanical Disruption of Engineered Barriers, including the acceptance criteria for this subissue defined in Section 2.2.1.3.2.3 of the ''Yucca Mountain Review Plan, Final Report'' (NRC 2003 [DIRS 163274]).

  13. 2002 NASPSA Conference Abstracts.

    Journal of Sport & Exercise Psychology, 2002

    2002-01-01

    Contains abstracts from the 2002 conference of the North American Society for the Psychology of Sport and Physical Activity. The publication is divided into three sections: the preconference workshop, "Effective Teaching Methods in the Classroom;" symposia (motor development, motor learning and control, and sport psychology); and free…

  14. Abstraction through Game Play

    Avraamidou, Antri; Monaghan, John; Walker, Aisha

    2012-01-01

    This paper examines the computer game play of an 11-year-old boy. In the course of building a virtual house he developed and used, without assistance, an artefact and an accompanying strategy to ensure that his house was symmetric. We argue that the creation and use of this artefact-strategy is a mathematical abstraction. The discussion…

  15. Parent Education: Abstract Bibliography.

    Kremer, Barbara, Comp.

    This bibliography has been compiled to alert educators to parent education documents found in the ERIC microfiche collection and in journal literature. Abstracts of selected documents have been taken from "Research in Education (RIE)", and journal article citations from the "Current Index to Journals in Education (CIJE)". Included are published…

  16. ABSTRACTS AND KEY WORDS

    2011-01-01

    Study on the Long-distance Transportation of Argopecten irridians concentricus ShenQin-long(1) Abstract The experiment was carried out in order to improve the survival rate of the scallop. The result indicated that keeping the water temperature at 4℃ was reasonable for the long-distance transportation of the scallop with oxygenated bags.

  17. THE CHINA MEDICAL ABSTRACTS

    2003-01-01

    The purpose of the China Medical Abstracts (Internal Medicine) is to promote international exchange of works done by the Chinese medical profession in the field of internal medicine. The papers selected from journals represent the newest and most important advances and progress in various specialities in internal medicine.

  18. ABSTRACTS AND KEY WORDS

    2011-01-01

    Study on Optimization of Enzymic Preparation of Collagen Polypeptide from Skin of Gadous macrocephaius Liu Chun-e et al. (1) Abstract Enzymolysis was used to prepare collagen peptide. The optimum condition was determined based on one way ANOVA and orthogonal experimental design. The result indicated that use alkaline protease on the concentration of 4.5%,

  19. Abstracts of SIG Sessions.

    Proceedings of the ASIS Annual Meeting, 1995

    1995-01-01

    Presents abstracts of 15 special interest group (SIG) sessions. Topics include navigation and information utilization in the Internet, natural language processing, automatic indexing, image indexing, classification, users' models of database searching, online public access catalogs, education for information professions, information services,…

  20. Full Abstraction for HOPLA

    Nygaard, Mikkel; Winskel, Glynn

    2003-01-01

    A fully abstract denotational semantics for the higher-order process language HOPLA is presented. It characterises contextual and logical equivalence, the latter linking up with simulation. The semantics is a clean, domain-theoretic description of processes as downwards-closed sets of computation...

  1. SPR 2015. Abstracts

    NONE

    2015-04-01

    The volume contains the abstracts of the SPR (society for pediatric radiology) 2015 meeting covering the following issues: fetal imaging, muscoskeletal imaging, cardiac imaging, chest imaging, oncologic imaging, tools for process improvement, child abuse, contrast enhanced ultrasound, image gently - update of radiation dose recording/reporting/monitoring - meaningful or useless meaning?, pediatric thoracic imaging, ALARA.

  2. Cambridge Scientific Abstracts

    2012-01-01

    正Meteorological and Environmental Research has been included by Cambridge Scientific Abstracts (CSA) since 2011. CSA is a retrieval system published by Cambridge Information Group. CSA was founded in the late 1950's,and became part of the CIG family in 1971. CSA's original mission was publishing secondary source materials relating to the physical sciences. Completely

  3. Cambridge Scientific Abstracts

    2012-01-01

    Meteorological and Environmental Research has been included by Cambridge Scientific Abstracts (CSA) since 2011. CSA is a retrieval system published by Cambridge Information Group. CSA was founded in the late 1950’s,and became part of the CIG family in 1971. CSA’s original mission was publishing secondary source materials relating to the physical sciences. Completely

  4. EBS Radionuclide Transport Abstraction

    R. Schreiner

    2001-06-27

    The purpose of this work is to develop the Engineered Barrier System (EBS) radionuclide transport abstraction model, as directed by a written development plan (CRWMS M&O 1999a). This abstraction is the conceptual model that will be used to determine the rate of release of radionuclides from the EBS to the unsaturated zone (UZ) in the total system performance assessment-license application (TSPA-LA). In particular, this model will be used to quantify the time-dependent radionuclide releases from a failed waste package (WP) and their subsequent transport through the EBS to the emplacement drift wall/UZ interface. The development of this conceptual model will allow Performance Assessment Operations (PAO) and its Engineered Barrier Performance Department to provide a more detailed and complete EBS flow and transport abstraction. The results from this conceptual model will allow PA0 to address portions of the key technical issues (KTIs) presented in three NRC Issue Resolution Status Reports (IRSRs): (1) the Evolution of the Near-Field Environment (ENFE), Revision 2 (NRC 1999a), (2) the Container Life and Source Term (CLST), Revision 2 (NRC 1999b), and (3) the Thermal Effects on Flow (TEF), Revision 1 (NRC 1998). The conceptual model for flow and transport in the EBS will be referred to as the ''EBS RT Abstraction'' in this analysis/modeling report (AMR). The scope of this abstraction and report is limited to flow and transport processes. More specifically, this AMR does not discuss elements of the TSPA-SR and TSPA-LA that relate to the EBS but are discussed in other AMRs. These elements include corrosion processes, radionuclide solubility limits, waste form dissolution rates and concentrations of colloidal particles that are generally represented as boundary conditions or input parameters for the EBS RT Abstraction. In effect, this AMR provides the algorithms for transporting radionuclides using the flow geometry and radionuclide concentrations

  5. Core foundations of abstract geometry.

    Dillon, Moira R; Huang, Yi; Spelke, Elizabeth S

    2013-08-27

    Human adults from diverse cultures share intuitions about the points, lines, and figures of Euclidean geometry. Do children develop these intuitions by drawing on phylogenetically ancient and developmentally precocious geometric representations that guide their navigation and their analysis of object shape? In what way might these early-arising representations support later-developing Euclidean intuitions? To approach these questions, we investigated the relations among young children's use of geometry in tasks assessing: navigation; visual form analysis; and the interpretation of symbolic, purely geometric maps. Children's navigation depended on the distance and directional relations of the surface layout and predicted their use of a symbolic map with targets designated by surface distances. In contrast, children's analysis of visual forms depended on the size-invariant shape relations of objects and predicted their use of the same map but with targets designated by corner angles. Even though the two map tasks used identical instructions and map displays, children's performance on these tasks showed no evidence of integrated representations of distance and angle. Instead, young children flexibly recruited geometric representations of either navigable layouts or objects to interpret the same spatial symbols. These findings reveal a link between the early-arising geometric representations that humans share with diverse animals and the flexible geometric intuitions that give rise to human knowledge at its highest reaches. Although young children do not appear to integrate core geometric representations, children's use of the abstract geometry in spatial symbols such as maps may provide the earliest clues to the later construction of Euclidean geometry.

  6. Sparse structure regularized ranking

    Wang, Jim Jing-Yan

    2014-04-17

    Learning ranking scores is critical for the multimedia database retrieval problem. In this paper, we propose a novel ranking score learning algorithm by exploring the sparse structure and using it to regularize ranking scores. To explore the sparse structure, we assume that each multimedia object could be represented as a sparse linear combination of all other objects, and combination coefficients are regarded as a similarity measure between objects and used to regularize their ranking scores. Moreover, we propose to learn the sparse combination coefficients and the ranking scores simultaneously. A unified objective function is constructed with regard to both the combination coefficients and the ranking scores, and is optimized by an iterative algorithm. Experiments on two multimedia database retrieval data sets demonstrate the significant improvements of the propose algorithm over state-of-the-art ranking score learning algorithms.

  7. Regularized Reduced Order Models

    Wells, David; Xie, Xuping; Iliescu, Traian

    2015-01-01

    This paper puts forth a regularization approach for the stabilization of proper orthogonal decomposition (POD) reduced order models (ROMs) for the numerical simulation of realistic flows. Two regularized ROMs (Reg-ROMs) are proposed: the Leray ROM (L-ROM) and the evolve-then-filter ROM (EF-ROM). These new Reg-ROMs use spatial filtering to smooth (regularize) various terms in the ROMs. Two spatial filters are used: a POD projection onto a POD subspace (Proj) and a new POD differential filter (DF). The four Reg-ROM/filter combinations are tested in the numerical simulation of the one-dimensional Burgers equation with a small diffusion coefficient and the three-dimensional flow past a circular cylinder at a low Reynolds number (Re = 100). Overall, the most accurate Reg-ROM/filter combination is EF-ROM-DF. Furthermore, the DF generally yields better results than Proj. Finally, the four Reg-ROM/filter combinations are computationally efficient and generally more accurate than the standard Galerkin ROM.

  8. Regularizing portfolio optimization

    Still, Susanne; Kondor, Imre

    2010-07-01

    The optimization of large portfolios displays an inherent instability due to estimation error. This poses a fundamental problem, because solutions that are not stable under sample fluctuations may look optimal for a given sample, but are, in effect, very far from optimal with respect to the average risk. In this paper, we approach the problem from the point of view of statistical learning theory. The occurrence of the instability is intimately related to over-fitting, which can be avoided using known regularization methods. We show how regularized portfolio optimization with the expected shortfall as a risk measure is related to support vector regression. The budget constraint dictates a modification. We present the resulting optimization problem and discuss the solution. The L2 norm of the weight vector is used as a regularizer, which corresponds to a diversification 'pressure'. This means that diversification, besides counteracting downward fluctuations in some assets by upward fluctuations in others, is also crucial because it improves the stability of the solution. The approach we provide here allows for the simultaneous treatment of optimization and diversification in one framework that enables the investor to trade off between the two, depending on the size of the available dataset.

  9. k-Walk-Regular Digraphs

    Wen LIU; Jing LIN

    2011-01-01

    In this paper,we define a class of strongly connected digraph,called the k-walk-regular digraph,study some properties of it,provide its some algebraic characterization and point out that the O-walk-regular digraph is the same as the walk-regular digraph discussed BY Liu and Lin in 2010 and the D-walk-regular digraph is identical with the weakly distance-regular digraph defined by Comellas et al in 2004.

  10. Abstracts of Main Essays

    2012-01-01

    The Position of Capitalist Study in Marx's Social Formation Theory Yang Xue-gong Xi Da-min The orientation and achievements of Marx's study of Capitalism or bourgeois society is the foundation of his social formation theory. On the base of his scientific study of capitalism, Marx evolves his concept of eco- nomic social formation, the scientific methodology of researching other social formations or social forms, the clues of the development of social formations, the abstraction of the general laws as well as his reflection on this abstraction. A full evaluation and acknowledgement of the position of capitalist study in Marx's social formation theory is crucial for revising Marx's social formation theory in the new era and for solving some controversial issues in the research of social formation theory.

  11. Building Safe Concurrency Abstractions

    Madsen, Ole Lehrmann

    2014-01-01

    Concurrent object-oriented programming in Beta is based on semaphores and coroutines and the ability to define high-level concurrency abstractions like monitors, and rendezvous-based communication, and their associated schedulers. The coroutine mechanism of SIMULA has been generalized...... into the notions of concurrent and alternating objects. Alternating objects may be used to start a cooperative thread for each possible blocking communication and is thus an alternative to asynchronous messages and guarded commands. Beta like SIMULA, the first OO language, was designed as a language for modeling...... as well as programming, and we describe how this has had an impact on the design of the language. Although Beta supports the definition of high-level concurrency abstractions, the use of these rely on the discipline of the programmer as is the case for Java and other mainstream OO languages. We introduce...

  12. Research Abstracts of 1982.

    1982-12-01

    Activity in Hamsters (Abstract #667) 9. L. SIMONSON*, B. LAMBERTS, E. PEDERSON and D. REIHER’--*gEffect of Saliva and Sucrose on Adherence of S.. mutans to...presence of osteosclerosis and/or enlargement of periodontal ligament space; pain duration greater than one hour and spontaneous or severe pain; no...Unstimulated whole saliva was collected in chilled containers from 29 CF and 29 CA recruits, along with data on smoking habits. Flow rate, pH, OSCN

  13. Introduction to abstract analysis

    Goldstein, Marvin E

    2015-01-01

    Developed from lectures delivered at NASA's Lewis Research Center, this concise text introduces scientists and engineers with backgrounds in applied mathematics to the concepts of abstract analysis. Rather than preparing readers for research in the field, this volume offers background necessary for reading the literature of pure mathematics. Starting with elementary set concepts, the treatment explores real numbers, vector and metric spaces, functions and relations, infinite collections of sets, and limits of sequences. Additional topics include continuity and function algebras, Cauchy complet

  14. Generalized Abstract Symbolic Summaries

    Person, Suzette; Dwyer, Matthew B.

    2009-01-01

    Current techniques for validating and verifying program changes often consider the entire program, even for small changes, leading to enormous V&V costs over a program s lifetime. This is due, in large part, to the use of syntactic program techniques which are necessarily imprecise. Building on recent advances in symbolic execution of heap manipulating programs, in this paper, we develop techniques for performing abstract semantic differencing of program behaviors that offer the potential for improved precision.

  15. SPR 2014. Abstracts

    NONE

    2014-05-15

    The proceedings of the SPR 2014 meeting include abstracts on the following topics: Body imaging techniques: practical advice for clinic work; thoracic imaging: focus on the lungs; gastrointestinal imaging: focus on the pancreas and bowel; genitourinary imaging: focus on gonadal radiology; muscoskeletal imaging; focus on oncology; child abuse and nor child abuse: focus on radiography; impact of NMR and CT imaging on management of CHD; education and communication: art and practice in pediatric radiology.

  16. Towards Composable Concurrency Abstractions

    Janwillem Swalens

    2014-06-01

    Full Text Available In the past decades, many different programming models for managing concurrency in applications have been proposed, such as the actor model, Communicating Sequential Processes, and Software Transactional Memory. The ubiquity of multi-core processors has made harnessing concurrency even more important. We observe that modern languages, such as Scala, Clojure, or F#, provide not one, but multiple concurrency models that help developers manage concurrency. Large end-user applications are rarely built using just a single concurrency model. Programmers need to manage a responsive UI, deal with file or network I/O, asynchronous workflows, and shared resources. Different concurrency models facilitate different requirements. This raises the issue of how these concurrency models interact, and whether they are composable. After all, combining different concurrency models may lead to subtle bugs or inconsistencies. In this paper, we perform an in-depth study of the concurrency abstractions provided by the Clojure language. We study all pairwise combinations of the abstractions, noting which ones compose without issues, and which do not. We make an attempt to abstract from the specifics of Clojure, identifying the general properties of concurrency models that facilitate or hinder composition.

  17. EBS Radionuclide Transport Abstraction

    J. Prouty

    2006-07-14

    The purpose of this report is to develop and analyze the engineered barrier system (EBS) radionuclide transport abstraction model, consistent with Level I and Level II model validation, as identified in Technical Work Plan for: Near-Field Environment and Transport: Engineered Barrier System: Radionuclide Transport Abstraction Model Report Integration (BSC 2005 [DIRS 173617]). The EBS radionuclide transport abstraction (or EBS RT Abstraction) is the conceptual model used in the total system performance assessment (TSPA) to determine the rate of radionuclide releases from the EBS to the unsaturated zone (UZ). The EBS RT Abstraction conceptual model consists of two main components: a flow model and a transport model. Both models are developed mathematically from first principles in order to show explicitly what assumptions, simplifications, and approximations are incorporated into the models used in the TSPA. The flow model defines the pathways for water flow in the EBS and specifies how the flow rate is computed in each pathway. Input to this model includes the seepage flux into a drift. The seepage flux is potentially split by the drip shield, with some (or all) of the flux being diverted by the drip shield and some passing through breaches in the drip shield that might result from corrosion or seismic damage. The flux through drip shield breaches is potentially split by the waste package, with some (or all) of the flux being diverted by the waste package and some passing through waste package breaches that might result from corrosion or seismic damage. Neither the drip shield nor the waste package survives an igneous intrusion, so the flux splitting submodel is not used in the igneous scenario class. The flow model is validated in an independent model validation technical review. The drip shield and waste package flux splitting algorithms are developed and validated using experimental data. The transport model considers advective transport and diffusive transport

  18. Lattice Regularization and Symmetries

    Hasenfratz, Peter; Von Allmen, R; Allmen, Reto von; Hasenfratz, Peter; Niedermayer, Ferenc

    2006-01-01

    Finding the relation between the symmetry transformations in the continuum and on the lattice might be a nontrivial task as illustrated by the history of chiral symmetry. Lattice actions induced by a renormalization group procedure inherit all symmetries of the continuum theory. We give a general procedure which gives the corresponding symmetry transformations on the lattice.

  19. IPR 2016. Abstracts

    NONE

    2016-05-15

    The volume on the meeting of pediatric radiology includes abstract on the following issues: chest, cardiovascular system, neuroradiology, CT radiation DRs (diagnostic reference levels) and dose reporting guidelines, genitourinary imaging, gastrointestinal radiology, oncology an nuclear medicine, whole body imaging, fetal/neonates imaging, child abuse, oncology and hybrid imaging, value added imaging, muscoskeletal imaging, dose and radiation safety, imaging children - immobilization and distraction techniques, information - education - QI and healthcare policy, ALARA, the knowledge skills and competences for a technologist/radiographer in pediatric radiology, full exploitation of new technological features in pediatric CT, image quality issues in pediatrics, abdominal imaging, interventional radiology, MR contrast agents, tumor - mass imaging, cardiothoracic imaging, ultrasonography.

  20. Elements of abstract algebra

    Clark, Allan

    1984-01-01

    This concise, readable, college-level text treats basic abstract algebra in remarkable depth and detail. An antidote to the usual surveys of structure, the book presents group theory, Galois theory, and classical ideal theory in a framework emphasizing proof of important theorems.Chapter I (Set Theory) covers the basics of sets. Chapter II (Group Theory) is a rigorous introduction to groups. It contains all the results needed for Galois theory as well as the Sylow theorems, the Jordan-Holder theorem, and a complete treatment of the simplicity of alternating groups. Chapter III (Field Theory)

  1. Abstracts of Major Articles

    2012-01-01

    On Problems in Fujian's Present Health Insurance Professionals and Related Suggestions LIN Deng-hui,WU Xiao-nan (School of Public Health, Fujian Medical University, Fuzhou 350108, China) Abstract:Based on a statistical analysis of questionnaire survey data collected from practitioners in Fu- jian's medical insurance management system, the paper discusses the problems relevant to the staff's qua lity structure in this industry as well as mechanisms for continuing education and motivation. Finally, the authors advance such suggestions as increasing the levels of practitioner's expertise and working capacity by developing disciplinary education and continuing motivated with a well-established motivation system. education, and encouraging employees to get highly

  2. ABSTRACTS AND KEY WORDS

    2011-01-01

    Establishment of a Method for Content Determination of Polysaccharide in Membranous milkveteh root Applied in Fisheries Yu Xiao-qing et al. (1) Abstract Some chemical component in the traditional Chinese medicine Membranous milkvetch root can improve the ability of disease-prevention of animal and it can be applied in fisheries. In the paper, the method about content determination of polysaccharide in the root was established based on orthogonal experimental design Key words medicine; polysaccharide in Membranous milkvetch root; method of determination

  3. Modular Regularization Algorithms

    Jacobsen, Michael

    2004-01-01

    The class of linear ill-posed problems is introduced along with a range of standard numerical tools and basic concepts from linear algebra, statistics and optimization. Known algorithms for solving linear inverse ill-posed problems are analyzed to determine how they can be decomposed into indepen......The class of linear ill-posed problems is introduced along with a range of standard numerical tools and basic concepts from linear algebra, statistics and optimization. Known algorithms for solving linear inverse ill-posed problems are analyzed to determine how they can be decomposed...... into independent modules. These modules are then combined to form new regularization algorithms with other properties than those we started out with. Several variations are tested using the Matlab toolbox MOORe Tools created in connection with this thesis. Object oriented programming techniques are explained...... and used to set up the illposed problems in the toolbox. Hereby, we are able to write regularization algorithms that automatically exploit structure in the ill-posed problem without being rewritten explicitly. We explain how to implement a stopping criteria for a parameter choice method based upon...

  4. Structure for Regular Inclusions

    Pitts, David R

    2012-01-01

    We study pairs (C,D) of unital C*-algebras where D is an abelian C*-subalgebra of C which is regular in C. When D is a MASA in C, there exists a unique completely positive unital map E of C into the injective envelope I(D) of D whose restriction to D is the identity on D. We show that the left kernel of E is the unique closed two-sided ideal of C maximal with respect to having trivial intersection with D. We introduce a new class of well behaved state extensions, the compatible states; we identify compatible states when D is a MASA in C in terms of groups constructed from local dynamics near a pure state on D. When C is separable, D is a MASA in C, and the pair (C,D) is regular, the set of pure states on D with unique state extensions to C is dense in D. The map E can be used as a substitute for a conditional expectation in the construction of coordinates for C relative to D. We show that certain classes of compatible states have natural groupoid operations, and we show that constructions of Kumjian and Renau...

  5. EBS Radionuclide Transport Abstraction

    J.D. Schreiber

    2005-08-25

    The purpose of this report is to develop and analyze the engineered barrier system (EBS) radionuclide transport abstraction model, consistent with Level I and Level II model validation, as identified in ''Technical Work Plan for: Near-Field Environment and Transport: Engineered Barrier System: Radionuclide Transport Abstraction Model Report Integration'' (BSC 2005 [DIRS 173617]). The EBS radionuclide transport abstraction (or EBS RT Abstraction) is the conceptual model used in the total system performance assessment for the license application (TSPA-LA) to determine the rate of radionuclide releases from the EBS to the unsaturated zone (UZ). The EBS RT Abstraction conceptual model consists of two main components: a flow model and a transport model. Both models are developed mathematically from first principles in order to show explicitly what assumptions, simplifications, and approximations are incorporated into the models used in the TSPA-LA. The flow model defines the pathways for water flow in the EBS and specifies how the flow rate is computed in each pathway. Input to this model includes the seepage flux into a drift. The seepage flux is potentially split by the drip shield, with some (or all) of the flux being diverted by the drip shield and some passing through breaches in the drip shield that might result from corrosion or seismic damage. The flux through drip shield breaches is potentially split by the waste package, with some (or all) of the flux being diverted by the waste package and some passing through waste package breaches that might result from corrosion or seismic damage. Neither the drip shield nor the waste package survives an igneous intrusion, so the flux splitting submodel is not used in the igneous scenario class. The flow model is validated in an independent model validation technical review. The drip shield and waste package flux splitting algorithms are developed and validated using experimental data. The transport

  6. ABSTRACTS AND KEY WORDS

    2011-01-01

    Acute Toxicity Test of Four Drugs to Perch Fries Zhu You-fang et al(1) Abstract Acute toxicity test of four drugs to perch Lateolabrax maculates were studied. The results showed: (1)The LC50 values of perch to copper sulfate was 4.58 mg/L(24h), 2.93 mg/ L(48h), 1.81 mg/L(72h) and 0.78 mg/L (96h) respectively; to SHA CHONG WEI was 35.11 mg/ L(24h), 15.81 mg/L(48h), 11.20 mg/L(72h), 9.36 mg/ L (96h)respectively;

  7. ABSTRACTS AND KEY WORDS

    2012-01-01

    Determination of the Estrogen Alkylphenols and Bisphenol A in Marine Sediments by Gas Chromatography-Mass Spectrometry Deng Xu-xiu et al. (1) Abstract Octylphenol, nonylphenol and bisphenol A are recognized environmental endocrine disruptors. A quantitative method was established for the simultaneous determination of octylphenol, nonylphenol and bisphenol A in marine sediments by gas chromatography-mass spectrometry. The test sample was extracted by methanol with ultrasonic technique, purified with copper powder and carbon solid phase extraction column, and derived with heptafluorobutyric anhydride. Then the analytes were separated on HP-5ms column and determined by gas chromatography-mass. The recovery of the method was between 84.3% and 94.5%, and the LOQ of 4-N- octylphenol, nonylphenol and bisphenol A was 0.25 g/kg, 0.15 g/kg and 0.15 g/kg. Key words octylphenol; nonylphenol; bisphenol A; gas chromatography-mass spectrometry

  8. A LARI Experience (Abstract)

    Cook, M.

    2015-12-01

    (Abstract only) In 2012, Lowell Observatory launched The Lowell Amateur Research Initiative (LARI) to formally involve amateur astronomers in scientific research by bringing them to the attention of and helping professional astronomers with their astronomical research. One of the LARI projects is the BVRI photometric monitoring of Young Stellar Objects (YSOs), wherein amateurs obtain observations to search for new outburst events and characterize the colour evolution of previously identified outbursters. A summary of the scientific and organizational aspects of this LARI project, including its goals and science motivation, the process for getting involved with the project, a description of the team members, their equipment and methods of collaboration, and an overview of the programme stars, preliminary findings, and lessons learned is presented.

  9. Contents and Abstracts

    2012-01-01

    [Ancient Mediterranean Civilizations] Title: On Poseidon's Image in Homeric Epics Author: Zhu Yizhang, Lecturer, School of History and Culture, Shandong University, Jinan, Shandong, 250100, China. Abstract: Poseidon was an important role in religion, myth and literature of ancient Greece. His religious functions, and status in mythical image in literature were mainly established by Homeric Epics. Poseidon doesn't only appear frequently in the Homeric Epics but also influences the development of the plots directly; therefore, he could be seen as one of the most important gods in the Epics. But Homeric Epics do not introduce his basic image clearly. In Homeric Epics, Poseidon carries the deity and humanity aspect of the figure, and the latter was emphasized, which implied his archetype was a mortal wanax.

  10. Abstracts of Selected Papers

    2012-01-01

    On the Social Solidarity of Organization An Empirical Analysis Li Hanlin Abstract: Based on the 2002 survey data, this paper tries to measure solidarity in organization. The operationalization for this measurement goes from two points of view. One is from the degree of cohesion and another one is from the degree of vulnerability. To observe and measure the degree of cohesion three subscales like social support, vertical integration and organizational identity have been used. To observe and measure the degree of vulnerability other three subscales like dissatisfaction, relative deprivation and anomie have been used. The paper tries to explore finally under which condition the organization behavior and behavior orientation could go to the similarity or make some difference. Key words: Organization Cohesion Vulnerability Organization Behavior

  11. Evolutionary internalized regularities.

    Schwartz, R

    2001-08-01

    Roger Shepard's proposals and supporting experiments concerning evolutionary internalized regularities have been very influential in the study of vision and in other areas of psychology and cognitive science. This paper examines issues concerning the need, nature, explanatory role, and justification for postulating such internalized constraints. In particular, I seek further clarification from Shepard on how best to understand his claim that principles of kinematic geometry underlie phenomena of motion perception. My primary focus is on the ecological validity of Shepard's kinematic constraint in the context of ordinary motion perception. First, I explore the analogy Shepard draws between internalized circadian rhythms and the supposed internalization of kinematic geometry. Next, questions are raised about how to interpret and justify applying results from his own and others' experimental studies of apparent motion to more everyday cases of motion perception in richer environments. Finally, some difficulties with Shepard's account of the evolutionary development of his kinematic constraint are considered.

  12. Object-oriented programming with gradual abstraction

    Nørmark, Kurt; Thomsen, Lone Leth; Thomsen, Bent

    2013-01-01

    We describe an experimental object-oriented programming language, ASL2, that supports program development by means of a series of abstraction steps. The language allows immediate object construction, and it is possible to use the constructed objects for concrete problem solving tasks. Classes...... restrictive. As a central mechanism, weakly classified objects are allowed to borrow methods from each other. ASL2 supports class generalization, as a counterpart to class specialization and inheritance in mainstream object-oriented programming languages. The final abstraction step discussed in this paper...... and class hierarchies can be derived from the objects - via gradual abstraction steps. We introduce two levels of object classification, called weak and strong object classification. Strong object classification relies on conventional classes, whereas weak object classification is looser, and less...

  13. Writing a successful research abstract.

    Bliss, Donna Z

    2012-01-01

    Writing and submitting a research abstract provides timely dissemination of the findings of a study and offers peer input for the subsequent development of a quality manuscript. Acceptance of abstracts is competitive. Understanding the expected content of an abstract, the abstract review process and tips for skillful writing will improve the chance of acceptance.

  14. The Paradox of Abstraction: Precision Versus Concreteness.

    Iliev, Rumen; Axelrod, Robert

    2016-11-22

    We introduce a novel measure of abstractness based on the amount of information of a concept computed from its position in a semantic taxonomy. We refer to this measure as precision. We propose two alternative ways to measure precision, one based on the path length from a concept to the root of the taxonomic tree, and another one based on the number of direct and indirect descendants. Since more information implies greater processing load, we hypothesize that nouns higher in precision will have a processing disadvantage in a lexical decision task. We contrast precision to concreteness, a common measure of abstractness based on the proportion of sensory-based information associated with a concept. Since concreteness facilitates cognitive processing, we predict that while both concreteness and precision are measures of abstractness, they will have opposite effects on performance. In two studies we found empirical support for our hypothesis. Precision and concreteness had opposite effects on latency and accuracy in a lexical decision task, and these opposite effects were observable while controlling for word length, word frequency, affective content and semantic diversity. Our results support the view that concepts organization includes amodal semantic structures which are independent of sensory information. They also suggest that we should distinguish between sensory-based and amount-of-information-based abstractness.

  15. An abstract partial functional integrodifferential equations

    Khalil Ezzinbi

    2016-10-01

    Full Text Available In this work, we investigate the existence and regularity of solutions for some partial functional integrodifferential equations with finite delay. The continuous dependence upen initial values and asymptotic stability are also studied. Firstly, we show the existence of the mild solutions. Secondly, we give sufficient conditions ensuring the existence of the strict solutions. The method used treats the equations in the domain of A with the graph norm employing results from linear semigroup theory. To illustrate our abstract result, we conclude this work with an application.

  16. Stellar Presentations (Abstract)

    Young, D.

    2015-12-01

    (Abstract only) The AAVSO is in the process of expanding its education, outreach and speakers bureau program. powerpoint presentations prepared for specific target audiences such as AAVSO members, educators, students, the general public, and Science Olympiad teams, coaches, event supervisors, and state directors will be available online for members to use. The presentations range from specific and general content relating to stellar evolution and variable stars to specific activities for a workshop environment. A presentation—even with a general topic—that works for high school students will not work for educators, Science Olympiad teams, or the general public. Each audience is unique and requires a different approach. The current environment necessitates presentations that are captivating for a younger generation that is embedded in a highly visual and sound-bite world of social media, twitter and U-Tube, and mobile devices. For educators, presentations and workshops for themselves and their students must support the Next Generation Science Standards (NGSS), the Common Core Content Standards, and the Science Technology, Engineering and Mathematics (STEM) initiative. Current best practices for developing relevant and engaging powerpoint presentations to deliver information to a variety of targeted audiences will be presented along with several examples.

  17. Automated Supernova Discovery (Abstract)

    Post, R. S.

    2015-12-01

    (Abstract only) We are developing a system of robotic telescopes for automatic recognition of Supernovas as well as other transient events in collaboration with the Puckett Supernova Search Team. At the SAS2014 meeting, the discovery program, SNARE, was first described. Since then, it has been continuously improved to handle searches under a wide variety of atmospheric conditions. Currently, two telescopes are used to build a reference library while searching for PSN with a partial library. Since data is taken every night without clouds, we must deal with varying atmospheric and high background illumination from the moon. Software is configured to identify a PSN, reshoot for verification with options to change the run plan to acquire photometric or spectrographic data. The telescopes are 24-inch CDK24, with Alta U230 cameras, one in CA and one in NM. Images and run plans are sent between sites so the CA telescope can search while photometry is done in NM. Our goal is to find bright PSNs with magnitude 17.5 or less which is the limit of our planned spectroscopy. We present results from our first automated PSN discoveries and plans for PSN data acquisition.

  18. Exoplanets and Multiverses (Abstract)

    Trimble, V.

    2016-12-01

    (Abstract only) To the ancients, the Earth was the Universe, of a size to be crossed by a god in a day, by boat or chariot, and by humans in a lifetime. Thus an exoplanet would have been a multiverse. The ideas gradually separated over centuries, with gradual acceptance of a sun-centered solar system, the stars as suns likely to have their own planets, other galaxies beyond the Milky Way, and so forth. And whenever the community divided between "just one' of anything versus "many," the "manies" have won. Discoveries beginning in 1991 and 1995 have gradually led to a battalion or two of planets orbiting other stars, very few like our own little family, and to moderately serious consideration of even larger numbers of other universes, again very few like our own. I'm betting, however, on habitable (though not necessarily inhabited) exoplanets to be found, and habitable (though again not necessarily inhabited) universes. Only the former will yield pretty pictures.

  19. Summer 2015 Internship Abstract

    Smith, Courtney

    2015-01-01

    hormones tested for were cortisol, alpha-amylase, and DHEA. The DHEA was very high in the two control samples tested. Regularly, samples came into the lab from local clinics to be tested for various viruses. Saliva, blood, body scrapes, and tears were received from the clinics and then run for VZV, EBV, and Human Simplex Virus 1 (HSV-1) with the results then reported back to the clinician. Blood, saliva, and urine from astronauts were also tested for viruses and logged. In addition, several cell cultures were brought up and grown, including adherent Human Lung Fibroblast (HFL) cells infected with VZV, and Akata B-cells infected with EBV.

  20. Ensemble manifold regularization.

    Geng, Bo; Tao, Dacheng; Xu, Chao; Yang, Linjun; Hua, Xian-Sheng

    2012-06-01

    We propose an automatic approximation of the intrinsic manifold for general semi-supervised learning (SSL) problems. Unfortunately, it is not trivial to define an optimization function to obtain optimal hyperparameters. Usually, cross validation is applied, but it does not necessarily scale up. Other problems derive from the suboptimality incurred by discrete grid search and the overfitting. Therefore, we develop an ensemble manifold regularization (EMR) framework to approximate the intrinsic manifold by combining several initial guesses. Algorithmically, we designed EMR carefully so it 1) learns both the composite manifold and the semi-supervised learner jointly, 2) is fully automatic for learning the intrinsic manifold hyperparameters implicitly, 3) is conditionally optimal for intrinsic manifold approximation under a mild and reasonable assumption, and 4) is scalable for a large number of candidate manifold hyperparameters, from both time and space perspectives. Furthermore, we prove the convergence property of EMR to the deterministic matrix at rate root-n. Extensive experiments over both synthetic and real data sets demonstrate the effectiveness of the proposed framework.

  1. Rotating regular black holes

    Bambi, Cosimo

    2013-01-01

    The formation of spacetime singularities is a quite common phenomenon in General Relativity and it is regulated by specific theorems. It is widely believed that spacetime singularities do not exist in Nature, but that they represent a limitation of the classical theory. While we do not yet have any solid theory of quantum gravity, toy models of black hole solutions without singularities have been proposed. So far, there are only non-rotating regular black holes in the literature. These metrics can be hardly tested by astrophysical observations, as the black hole spin plays a fundamental role in any astrophysical process. In this letter, we apply the Newman-Janis algorithm to the Hayward and to the Bardeen black hole metrics. In both cases, we obtain a family of rotating solutions. Every solution corresponds to a different matter configuration. Each family has one solution with special properties, which can be written in Kerr-like form in Boyer-Lindquist coordinates. These special solutions are of Petrov type ...

  2. Rotating regular black holes

    Bambi, Cosimo, E-mail: bambi@fudan.edu.cn; Modesto, Leonardo, E-mail: lmodesto@fudan.edu.cn

    2013-04-25

    The formation of spacetime singularities is a quite common phenomenon in General Relativity and it is regulated by specific theorems. It is widely believed that spacetime singularities do not exist in Nature, but that they represent a limitation of the classical theory. While we do not yet have any solid theory of quantum gravity, toy models of black hole solutions without singularities have been proposed. So far, there are only non-rotating regular black holes in the literature. These metrics can be hardly tested by astrophysical observations, as the black hole spin plays a fundamental role in any astrophysical process. In this Letter, we apply the Newman–Janis algorithm to the Hayward and to the Bardeen black hole metrics. In both cases, we obtain a family of rotating solutions. Every solution corresponds to a different matter configuration. Each family has one solution with special properties, which can be written in Kerr-like form in Boyer–Lindquist coordinates. These special solutions are of Petrov type D, they are singularity free, but they violate the weak energy condition for a non-vanishing spin and their curvature invariants have different values at r=0 depending on the way one approaches the origin. We propose a natural prescription to have rotating solutions with a minimal violation of the weak energy condition and without the questionable property of the curvature invariants at the origin.

  3. Regularized Regression and Density Estimation based on Optimal Transport

    Burger, M.

    2012-03-11

    The aim of this paper is to investigate a novel nonparametric approach for estimating and smoothing density functions as well as probability densities from discrete samples based on a variational regularization method with the Wasserstein metric as a data fidelity. The approach allows a unified treatment of discrete and continuous probability measures and is hence attractive for various tasks. In particular, the variational model for special regularization functionals yields a natural method for estimating densities and for preserving edges in the case of total variation regularization. In order to compute solutions of the variational problems, a regularized optimal transport problem needs to be solved, for which we discuss several formulations and provide a detailed analysis. Moreover, we compute special self-similar solutions for standard regularization functionals and we discuss several computational approaches and results. © 2012 The Author(s).

  4. Generalization Performance of Regularized Ranking With Multiscale Kernels.

    Zhou, Yicong; Chen, Hong; Lan, Rushi; Pan, Zhibin

    2016-05-01

    The regularized kernel method for the ranking problem has attracted increasing attentions in machine learning. The previous regularized ranking algorithms are usually based on reproducing kernel Hilbert spaces with a single kernel. In this paper, we go beyond this framework by investigating the generalization performance of the regularized ranking with multiscale kernels. A novel ranking algorithm with multiscale kernels is proposed and its representer theorem is proved. We establish the upper bound of the generalization error in terms of the complexity of hypothesis spaces. It shows that the multiscale ranking algorithm can achieve satisfactory learning rates under mild conditions. Experiments demonstrate the effectiveness of the proposed method for drug discovery and recommendation tasks.

  5. Abstraction of Drift Seepage

    J.T. Birkholzer

    2004-11-01

    This model report documents the abstraction of drift seepage, conducted to provide seepage-relevant parameters and their probability distributions for use in Total System Performance Assessment for License Application (TSPA-LA). Drift seepage refers to the flow of liquid water into waste emplacement drifts. Water that seeps into drifts may contact waste packages and potentially mobilize radionuclides, and may result in advective transport of radionuclides through breached waste packages [''Risk Information to Support Prioritization of Performance Assessment Models'' (BSC 2003 [DIRS 168796], Section 3.3.2)]. The unsaturated rock layers overlying and hosting the repository form a natural barrier that reduces the amount of water entering emplacement drifts by natural subsurface processes. For example, drift seepage is limited by the capillary barrier forming at the drift crown, which decreases or even eliminates water flow from the unsaturated fractured rock into the drift. During the first few hundred years after waste emplacement, when above-boiling rock temperatures will develop as a result of heat generated by the decay of the radioactive waste, vaporization of percolation water is an additional factor limiting seepage. Estimating the effectiveness of these natural barrier capabilities and predicting the amount of seepage into drifts is an important aspect of assessing the performance of the repository. The TSPA-LA therefore includes a seepage component that calculates the amount of seepage into drifts [''Total System Performance Assessment (TSPA) Model/Analysis for the License Application'' (BSC 2004 [DIRS 168504], Section 6.3.3.1)]. The TSPA-LA calculation is performed with a probabilistic approach that accounts for the spatial and temporal variability and inherent uncertainty of seepage-relevant properties and processes. Results are used for subsequent TSPA-LA components that may handle, for example, waste package

  6. Thomas Leps Internship Abstract

    Leps, Thomas

    2016-01-01

    An optical navigation system is being flown as the backup system to the primary Deep Space Network telemetry for navigation and guidance purposes on Orion. This is required to ensure Orion can recover from a loss of communication, which would simultaneously cause a loss of DSN telemetry. Images taken of the Moon and Earth are used to give range and position information to the navigation computer for trajectory calculations and maneuver execution. To get telemetry data from these images, the size and location of the moon need to be calculated with high accuracy and precision. The reentry envelope for the Orion EM-1 mission requires the centroid and radius of the moon images to be determined within 1/3 of a pixel 3 sigma. In order to ensure this accuracy and precision can be attained, I was tasked with building precise dot grid images for camera calibration as well as building a hardware in the loop test stand for flight software and hardware proofing. To calibrate the Op-Nav camera a dot grid is imaged with the camera, the error between the image dot location and the actual dot location can be used to build a distortion map of the camera and lens system so that images can be fixed to display truth locations. To build the dot grid images I used the Electro Optics Lab optical bench Bright Object Simulator System, and gimbal. The gimbal was slewed to a series of elevations and azimuths. An image of the collimated single point light source was then taken at each position. After a series of 99 images were taken at different locations the single light spots were extracted from each image and added to a composite image containing all 99 points. During the development of these grids it was noticed that an intermittent error in the artificial "star" locations occurred. Prior to the summer this error was attributed to the gimbal having glitches in it's pointing direction and was going to be replaced, however after further examining the issue I determined it to be a software

  7. Regular Bisimple ω2-semigroups

    汪立民; 商宇

    2008-01-01

    @@ The regular semigroups S with an idempotent set Es = {e0,e1,…,en,…} such that e0 > e1 >…> en >… is called a regular ω-semigroup. In [5] Reilly determined the structure of a regular bisimple ω-semigroup as BR(G,θ),which is the classical Bruck-Reilly extension of a group G.

  8. Adaptive Regularization of Neural Classifiers

    Andersen, Lars Nonboe; Larsen, Jan; Hansen, Lars Kai

    1997-01-01

    We present a regularization scheme which iteratively adapts the regularization parameters by minimizing the validation error. It is suggested to use the adaptive regularization scheme in conjunction with optimal brain damage pruning to optimize the architecture and to avoid overfitting. Furthermo......, we propose an improved neural classification architecture eliminating an inherent redundancy in the widely used SoftMax classification network. Numerical results demonstrate the viability of the method...

  9. Completely regular fuzzifying topological spaces

    A. K. Katsaras

    2005-12-01

    Full Text Available Some of the properties of the completely regular fuzzifying topological spaces are investigated. It is shown that a fuzzifying topology τ is completely regular if and only if it is induced by some fuzzy uniformity or equivalently by some fuzzifying proximity. Also, τ is completely regular if and only if it is generated by a family of probabilistic pseudometrics.

  10. On Ideals of Regular Rings

    CHEN Huan Yin; LI Fu An

    2002-01-01

    In this paper, we investigate ideals of regular rings and give several characterizations for an ideal to satisfy the comparability. In addition, it is shown that, if Ⅰ is a minimal two-sided ideal of a regular ring R, then Ⅰ satisfies the comparability if and only if Ⅰ is separative. Furthermore, we prove that, for ideals with stable range one, Roth's problem has an affirmative solution. These extend the corresponding results on unit-regularity and one-sided unit-regularity.

  11. Constrained and regularized system identification

    Tor A. Johansen

    1998-04-01

    Full Text Available Prior knowledge can be introduced into system identification problems in terms of constraints on the parameter space, or regularizing penalty functions in a prediction error criterion. The contribution of this work is mainly an extension of the well known FPE (Final Production Error statistic to the case when the system identification problem is constrained and contains a regularization penalty. The FPECR statistic (Final Production Error with Constraints and Regularization is of potential interest as a criterion for selection of both regularization parameters and structural parameters such as order.

  12. On regular rotating black holes

    Torres, R.; Fayos, F.

    2017-01-01

    Different proposals for regular rotating black hole spacetimes have appeared recently in the literature. However, a rigorous analysis and proof of the regularity of this kind of spacetimes is still lacking. In this note we analyze rotating Kerr-like black hole spacetimes and find the necessary and sufficient conditions for the regularity of all their second order scalar invariants polynomial in the Riemann tensor. We also show that the regularity is linked to a violation of the weak energy conditions around the core of the rotating black hole.

  13. SATURATED ZONE FLOW AND TRANSPORT MODEL ABSTRACTION

    B.W. ARNOLD

    2004-10-27

    The purpose of the saturated zone (SZ) flow and transport model abstraction task is to provide radionuclide-transport simulation results for use in the total system performance assessment (TSPA) for license application (LA) calculations. This task includes assessment of uncertainty in parameters that pertain to both groundwater flow and radionuclide transport in the models used for this purpose. This model report documents the following: (1) The SZ transport abstraction model, which consists of a set of radionuclide breakthrough curves at the accessible environment for use in the TSPA-LA simulations of radionuclide releases into the biosphere. These radionuclide breakthrough curves contain information on radionuclide-transport times through the SZ. (2) The SZ one-dimensional (I-D) transport model, which is incorporated in the TSPA-LA model to simulate the transport, decay, and ingrowth of radionuclide decay chains in the SZ. (3) The analysis of uncertainty in groundwater-flow and radionuclide-transport input parameters for the SZ transport abstraction model and the SZ 1-D transport model. (4) The analysis of the background concentration of alpha-emitting species in the groundwater of the SZ.

  14. Free Boundary Value Problems for Abstract Elliptic Equations and Applications

    Veli SHAKHMUROV

    2011-01-01

    The free boundary value problems for elliptic differential-operator equations are studied.Several conditions for the uniform maximal regularity with respect to boundary parameters and the Fredholmness in abstract Lp-spaces are given.In application,the nonlocal free boundary problems for finite or infinite systems of elliptic and anisotropic type equations are studied.

  15. Using abstract language signals power.

    Wakslak, Cheryl J; Smith, Pamela K; Han, Albert

    2014-07-01

    Power can be gained through appearances: People who exhibit behavioral signals of power are often treated in a way that allows them to actually achieve such power (Ridgeway, Berger, & Smith, 1985; Smith & Galinsky, 2010). In the current article, we examine power signals within interpersonal communication, exploring whether use of concrete versus abstract language is seen as a signal of power. Because power activates abstraction (e.g., Smith & Trope, 2006), perceivers may expect higher power individuals to speak more abstractly and therefore will infer that speakers who use more abstract language have a higher degree of power. Across a variety of contexts and conversational subjects in 7 experiments, participants perceived respondents as more powerful when they used more abstract language (vs. more concrete language). Abstract language use appears to affect perceived power because it seems to reflect both a willingness to judge and a general style of abstract thinking.

  16. Multiple graph regularized nonnegative matrix factorization

    Wang, Jim Jing-Yan

    2013-10-01

    Non-negative matrix factorization (NMF) has been widely used as a data representation method based on components. To overcome the disadvantage of NMF in failing to consider the manifold structure of a data set, graph regularized NMF (GrNMF) has been proposed by Cai et al. by constructing an affinity graph and searching for a matrix factorization that respects graph structure. Selecting a graph model and its corresponding parameters is critical for this strategy. This process is usually carried out by cross-validation or discrete grid search, which are time consuming and prone to overfitting. In this paper, we propose a GrNMF, called MultiGrNMF, in which the intrinsic manifold is approximated by a linear combination of several graphs with different models and parameters inspired by ensemble manifold regularization. Factorization metrics and linear combination coefficients of graphs are determined simultaneously within a unified object function. They are alternately optimized in an iterative algorithm, thus resulting in a novel data representation algorithm. Extensive experiments on a protein subcellular localization task and an Alzheimer\\'s disease diagnosis task demonstrate the effectiveness of the proposed algorithm. © 2013 Elsevier Ltd. All rights reserved.

  17. Regularly timed events amid chaos

    Blakely, Jonathan N.; Cooper, Roy M.; Corron, Ned J.

    2015-11-01

    We show rigorously that the solutions of a class of chaotic oscillators are characterized by regularly timed events in which the derivative of the solution is instantaneously zero. The perfect regularity of these events is in stark contrast with the well-known unpredictability of chaos. We explore some consequences of these regularly timed events through experiments using chaotic electronic circuits. First, we show that a feedback loop can be implemented to phase lock the regularly timed events to a periodic external signal. In this arrangement the external signal regulates the timing of the chaotic signal but does not strictly lock its phase. That is, phase slips of the chaotic oscillation persist without disturbing timing of the regular events. Second, we couple the regularly timed events of one chaotic oscillator to those of another. A state of synchronization is observed where the oscillators exhibit synchronized regular events while their chaotic amplitudes and phases evolve independently. Finally, we add additional coupling to synchronize the amplitudes, as well, however in the opposite direction illustrating the independence of the amplitudes from the regularly timed events.

  18. Conservative regularization of compressible flow

    Krishnaswami, Govind S; Thyagaraja, Anantanarayanan

    2015-01-01

    Ideal Eulerian flow may develop singularities in vorticity w. Navier-Stokes viscosity provides a dissipative regularization. We find a local, conservative regularization - lambda^2 w times curl(w) of compressible flow and compressible MHD: a three dimensional analogue of the KdV regularization of the one dimensional kinematic wave equation. The regulator lambda is a field subject to the constitutive relation lambda^2 rho = constant. Lambda is like a position-dependent mean-free path. Our regularization preserves Galilean, parity and time-reversal symmetries. We identify locally conserved energy, helicity, linear and angular momenta and boundary conditions ensuring their global conservation. Enstrophy is shown to remain bounded. A swirl velocity field is identified, which transports w/rho and B/rho generalizing the Kelvin-Helmholtz and Alfven theorems. A Hamiltonian and Poisson bracket formulation is given. The regularized equations are used to model a rotating vortex, channel flow, plane flow, a plane vortex ...

  19. Regular Small-World Network

    ZOU Zhi-Yun; MAO Bao-Hua; HAO Hai-Ming; GAO Jian-Zhi; YANG Jie-Jiao

    2009-01-01

    According to the deficiencies in Watts and Strogatz's small-world network model, we present a new regular model to establish the small-world network. Besides the property of the small-world, this model has other properties such as accuracy in controlling the average shortest path length L, and the average clustering coefficient C, also regular network topology as well as enhanced network robustness. This method improves the construction of the small-world network essentially, so that the regular small-world network closely resembles the actual network. We also present studies on the relationships among the quantities of a variety of edges, L and C in regular small-world network in detail. This research lays the foundation for the establishment of the regular small-world network and acts as a good guidance for further research of this model and its applications.

  20. Abstract Level Parallelization of Finite Difference Methods

    Edwin Vollebregt

    1997-01-01

    Full Text Available A formalism is proposed for describing finite difference calculations in an abstract way. The formalism consists of index sets and stencils, for characterizing the structure of sets of data items and interactions between data items (“neighbouring relations”. The formalism provides a means for lifting programming to a more abstract level. This simplifies the tasks of performance analysis and verification of correctness, and opens the way for automaticcode generation. The notation is particularly useful in parallelization, for the systematic construction of parallel programs in a process/channel programming paradigm (e.g., message passing. This is important because message passing, unfortunately, still is the only approach that leads to acceptable performance for many more unstructured or irregular problems on parallel computers that have non-uniform memory access times. It will be shown that the use of index sets and stencils greatly simplifies the determination of which data must be exchanged between different computing processes.

  1. Implicit Learning of L2 Word Stress Regularities

    Chan, Ricky K. W.; Leung, Janny H. C.

    2014-01-01

    This article reports an experiment on the implicit learning of second language stress regularities, and presents a methodological innovation on awareness measurement. After practising two-syllable Spanish words, native Cantonese speakers with English as a second language (L2) completed a judgement task. Critical items differed only in placement of…

  2. "Plug-and-play" edge-preserving regularization

    Chen, Donghui; Kilmer, Misha E.; Hansen, Per Christian

    2014-01-01

    In many inverse problems it is essential to use regularization methods that preserve edges in the reconstructions, and many reconstruction models have been developed for this task, such as the Total Variation (TV) approach. The associated algorithms are complex and require a good knowledge of large...

  3. A grounded theory of abstraction in artificial intelligence.

    Zucker, Jean-Daniel

    2003-07-29

    In artificial intelligence, abstraction is commonly used to account for the use of various levels of details in a given representation language or the ability to change from one level to another while preserving useful properties. Abstraction has been mainly studied in problem solving, theorem proving, knowledge representation (in particular for spatial and temporal reasoning) and machine learning. In such contexts, abstraction is defined as a mapping between formalisms that reduces the computational complexity of the task at stake. By analysing the notion of abstraction from an information quantity point of view, we pinpoint the differences and the complementary role of reformulation and abstraction in any representation change. We contribute to extending the existing semantic theories of abstraction to be grounded on perception, where the notion of information quantity is easier to characterize formally. In the author's view, abstraction is best represented using abstraction operators, as they provide semantics for classifying different abstractions and support the automation of representation changes. The usefulness of a grounded theory of abstraction in the cartography domain is illustrated. Finally, the importance of explicitly representing abstraction for designing more autonomous and adaptive systems is discussed.

  4. Mechanical Engineering Department technical abstracts

    Denney, R.M. (ed.)

    1982-07-01

    The Mechanical Engineering Department publishes listings of technical abstracts twice a year to inform readers of the broad range of technical activities in the Department, and to promote an exchange of ideas. Details of the work covered by an abstract may be obtained by contacting the author(s). Overall information about current activities of each of the Department's seven divisions precedes the technical abstracts.

  5. Hedonism in Abstract Art: Minimalist digital abstract photography

    Srdjan Jovanović

    2009-06-01

    Full Text Available In this piece of writing the writer/artist puts forward the view that art can be understood and taken in as sometimes purely hedonistic. By drawing upon the theories pertaining to hedonism, he applies this view to minimalist digital abstract photography and tries to justify his point of view with the help of three abstract photographs.

  6. A Criterion for Regular Sequences

    D P Patil; U Storch; J Stückrad

    2004-05-01

    Let be a commutative noetherian ring and $f_1,\\ldots,f_r \\in R$. In this article we give (cf. the Theorem in $\\mathcal{x}$2) a criterion for $f_1,\\ldots,f_r$ to be regular sequence for a finitely generated module over which strengthens and generalises a result in [2]. As an immediate consequence we deduce that if $V(g_1,\\ldots,g_r) \\subseteq V(f_1,\\ldots,f_r)$ in Spec and if $f_1,\\ldots,f_r$ is a regular sequence in , then $g_1,\\ldots,g_r$ is also a regular sequence in .

  7. On Regular Power-Substitution

    Huanyin CHEN

    2009-01-01

    The necessary and sufficient conditions under which a ring satisfies regular power-substitution are investigated. It is shown that a ring R satisfies regular power-substitution if and only if a(-~)b in R implies that there exist n ∈ N and a U ∈ GLn(R) such that aU =Ub if and only if for any regular x ∈ R there exist m,n ∈ N and U ∈ GLn(R) such that xmIn = xmUxm, where a(-~)b means that there exists x, y, z ∈ R such that a = ybx, b = xaz and x = xyx = xzx. It is proved that every directly finite simple ring satisfies regular power-substitution. Some applications for stably free R-modules are also obtained.

  8. Can words be read without abstract letter identities?

    Simon Fischer-Baum

    2014-04-01

    CH’s acquired dyslexia and dysgraphia left him with a profound impairment in processing abstract letter identities. This impairment affected his ability to process strings of letters in a variety of tasks; for example nonword reading, spelling, recognizing orally spelled words. However, while impaired, his single word reading was surprisingly good given his single letter impairment, suggesting an additional route to word meaning from visually-presented familiar words that does not require abstract letter identities.

  9. Modal abstractions of concurrent behavior

    Nielson, Flemming; Nanz, Sebastian; Nielson, Hanne Riis

    2011-01-01

    We present an effective algorithm for the automatic construction of finite modal transition systems as abstractions of potentially infinite concurrent processes. Modal transition systems are recognized as valuable abstractions for model checking because they allow for the validation as well as re...

  10. Food Science and Technology Abstracts.

    Cohen, Elinor; Federman, Joan

    1979-01-01

    Introduces the reader to the Food Science and Technology Abstracts, a data file that covers worldwide literature on human food commodities and aspects of food processing. Topics include scope, subject index, thesaurus, searching online, and abstracts; tables provide a comparison of ORBIT and DIALOG versions of the file. (JD)

  11. Vague Language in Conference Abstracts

    Cutting, Joan

    2012-01-01

    This study examined abstracts for a British Association for Applied Linguistics conference and a Sociolinguistics Symposium, to define the genre of conference abstracts in terms of vague language, specifically universal general nouns (e.g. people) and research general nouns (e.g. results), and to discover if the language used reflected the level…

  12. Abstract concepts in grounded cognition

    Lakens, D.

    2010-01-01

    When people think about highly abstract concepts, they draw upon concrete experiences to structure their thoughts. For example, black knights in fairytales are evil, and knights in shining armor are good. The sensory experiences black and white are used to represent the abstract concepts of good and

  13. Abstraction processes in artificial grammar learning.

    Shanks, D R; Johnstone, T; Staggs, L

    1997-02-01

    Four experiments explored the extent the extent to which abstract knowledge may underlie subjects' performance when asked to judge the grammaticality of letter strings generated from an artificial grammar. In Experiment 1 and 2 subjects studied grammatical strings instantiated with one set of letters and were then tested on grammatical and ungrammatical strings formed either from the same or a changed letter-set. Even with a change of letter-set, subjects were found to be sensitive to a variety of violation of the grammar. In Experiments 3 and 4, the critical manipulation involved the way in which the training strings were studied: an incidental learning procedure was used for some subjects, and others engaged in an explicit code-breaking task to try to learn the rules of the grammar. When strings were generated from a biconditional (Experiment 4) but not from a standard finite-state grammar (Experiment 3), grammaticality judgements for test strings were independent of their surface similarity to specific studied strings. Overall, the results suggest that transfer in this simple memory task is mediated at least to some extent by abstract knowledge.

  14. Regular and Periodic Tachyon Kinks

    Bazeia, D.; Menezes, R.; Ramos, J. G.

    2004-01-01

    We search for regular tachyon kinks in an extended model, which includes the tachyon action recently proposed to describe the tachyon field. The extended model that we propose adds a new contribution to the tachyon action, and seems to enrich the present scenario for the tachyon field. We have found stable tachyon kinks of regular profile, which may appropriately lead to the singular kink found by Sen sometime ago. Also, under specific conditions we may find periodic array of kink-antikink co...

  15. NONCONVEX REGULARIZATION FOR SHAPE PRESERVATION

    CHARTRAND, RICK [Los Alamos National Laboratory

    2007-01-16

    The authors show that using a nonconvex penalty term to regularize image reconstruction can substantially improve the preservation of object shapes. The commonly-used total-variation regularization, {integral}|{del}u|, penalizes the length of the object edges. They show that {integral}|{del}u|{sup p}, 0 < p < 1, only penalizes edges of dimension at least 2-p, and thus finite-length edges not at all. We give numerical examples showing the resulting improvement in shape preservation.

  16. Regularization with a pruning prior

    Goutte, Cyril; Hansen, Lars Kai

    1997-01-01

    We investigate the use of a regularization priorthat we show has pruning properties. Analyses areconducted both using a Bayesian framework and withthe generalization method, on a simple toyproblem. Results are thoroughly compared withthose obtained with a traditional weight decay.......We investigate the use of a regularization priorthat we show has pruning properties. Analyses areconducted both using a Bayesian framework and withthe generalization method, on a simple toyproblem. Results are thoroughly compared withthose obtained with a traditional weight decay....

  17. Commuting Π-regular rings

    Shervin Sahebi

    2014-05-01

    Full Text Available ‎$R$ is called commuting regular ring (resp‎. ‎semigroupif‎ for each $x,y\\in R$ there exists $a\\in R$‎ such that$xy=yxayx$‎. ‎In this paper‎, ‎we introduce the concept of‎‎commuting $\\pi$-regular rings (resp‎. ‎semigroups and‎‎study various properties of them.

  18. Abstract algebra structure and application

    Finston, David R

    2014-01-01

    This text seeks to generate interest in abstract algebra by introducing each new structure and topic via a real-world application. The down-to-earth presentation is accessible to a readership with no prior knowledge of abstract algebra. Students are led to algebraic concepts and questions in a natural way through their everyday experiences. Applications include: Identification numbers and modular arithmetic (linear) error-correcting codes, including cyclic codes ruler and compass constructions cryptography symmetry of patterns in the real plane Abstract Algebra: Structure and Application is suitable as a text for a first course on abstract algebra whose main purpose is to generate interest in the subject, or as a supplementary text for more advanced courses. The material paves the way to subsequent courses that further develop the theory of abstract algebra and will appeal to students of mathematics, mathematics education, computer science, and engineering interested in applications of algebraic concepts.

  19. Technical abstracts: Mechanical engineering, 1990

    Broesius, J.Y. (comp.)

    1991-03-01

    This document is a compilation of the published, unclassified abstracts produced by mechanical engineers at Lawrence Livermore National Laboratory (LLNL) during the calendar year 1990. Many abstracts summarize work completed and published in report form. These are UCRL-JC series documents, which include the full text of articles to be published in journals and of papers to be presented at meetings, and UCID reports, which are informal documents. Not all UCIDs contain abstracts: short summaries were generated when abstracts were not included. Technical Abstracts also provides descriptions of those documents assigned to the UCRL-MI (miscellaneous) category. These are generally viewgraphs or photographs presented at meetings. An author index is provided at the back of this volume for cross referencing.

  20. ABSTRACTS

    2012-01-01

    Effect of Coolant Temperature on Fuel Consumption and Emissions in YC6A220C Diesel Engine;Optimizing NOx emission performance for 16V280ZC diesel engine;CA3-13 coupler of DFsBI diesel locomotive exported to Iran;Mixed traction technology with LOCOTROL system;

  1. ABSTRACTS

    2011-01-01

    Design of the LabVIEW-based test stand for diesel engine hydraulic governor ZHANG Wei-dong1, LIU Li-hua2, ZONG Ya-ping1 ( 1. Air Force Radar Academy, Wuhan 430019, China; 2. Second Artillery Command College, Wuhan 430019, China)Abstract: the test stand The structure for diesel engine and working principle of hydraulic governor were introduced. The user interface, speed governing curves display and data analysis were realized by IabVIEW to conduct calibration and draulic governor diagnosis for diesel engine hy-

  2. ABSTRACTS

    2012-01-01

    Application of UIC standards to Chinese railway traction diesel engine industry WANG Xian (Dalian Locomotive Research Institute Co., Ltd., Dalian 116021, China) Abstract: The development, main contents and the practical application of the standards for type test for Chinese railway traction diesel engine were discussed. Key words: UIC standards; locomotive diesel en- gine; type test

  3. ABSTRACTS

    2011-01-01

    Solving the vibration problem of diesel engine and its peripheral equipments with MK II PAK analysis system,Quality situation and analysis of copper radiator for diesel locomotive,Development of cooling system for GMC-96 rail grinding car

  4. ABSTRACTS

    2011-01-01

    Development status of domestic and foreign hydraulic transmissions;Effect of advance angle of fuel supply on exhaust emissions for a diesel engine with EGR technology;Effect on noise of diesel engine under different atmospheric preessure and biodiesel blends;Application of digital governing system to V280/285 series marine diesel engine;

  5. Abstracts

    2012-01-01

    Beliefs and Establishment of Their Orders —— From Sociological Theory Perspectives of Chinese Beliefs LI Xiang-ping Abstract: To understand the "harmonious" phenomena of China's history and culture and their concepts, the key is to understand and recognize its beliefs. Chinese beliefs and their social practice are closely related to establishment of harmonious social, historical and cultural orders in China. In fact, Harmony can refer to either a value target or a social reality, and it is also a kind of belief. The establishment of harmony based on certain beliefs, moral orders, political orders and power orders are basic components of social and cultural harmony. This article, from a sociological theory perspective of beliefs, discusses the positions and roles of different beliefs in building harmonious cultural orders in China, and it then aims to find out some rules of dual changes in Chinese society and Chinese beliefs. Key words: belief; order; harmony; sociological perspectives of belief

  6. Abstracts

    2011-01-01

    1.China-U.S. Relations and the Setuv of Asia-Pacific China Institute of International Studies, a member by Shi Yongming, Associate Fellow, of the editorial board of "Peace and Development" magazine and a guest researcher of CPDS. The Asia-Pacific region is a confluence area where interests of China and the U.S. meet together. Development in China-U.S. strategic relationship will have direct impact on the the regional setup. Likewise, evolution and changes in that setup will also produce an effect on that alignment of relationship.

  7. Abstracts

    2012-01-01

    Post-Western International System and the Rise of the East;Hegemonlc Dependence and the Logic in the Declining Asceudance of Leading Powers;Constructive Leadership and China's Diplomatic Transformation;The Bargaining Model of International Mediation Onset:A Quantitative Test;The Imnact of Gender Differences on National Military Expenditure

  8. ABSTRACTS

    2011-01-01

    Kong Jie, Li Shurong and Wang Weibo. ARMA model of MEMS acceleration detector and its characteristic analysis. PI, 2011, 25(5): 1 - 3 Impulse response datum of MEMS acceleration detector is got by the vibro-bench experiment. The ARMA model of this detector is built through the Steiglitz-McBride iteration method with impulse response datum. And the orders of ARMA model is evaluated using Hankel matrix rank. The simulation shows that the ARMA model built is very accurate. In the end, the amplitude frequency characteristics of this detector are analyzed according to the ARMA model.

  9. ABSTRACTS

    2012-01-01

    (1) New Forms of the "Production of Social Relations" under the Scrutiny of Social Engineering Tian Pengying In the Marxist perspective, the production and reproduction of social relations constitute the basic prerequisite and guarantee for human existence and development, and the establishment of an orderly and harmonious modern social relationship that promotes the coordinated development of material production and spiritual production is an important symbol of man's self-conscientiousness to adapt to, rely on and transform the society. The development, transformation and evolution of social relations is both a natural historical process and a creative process in which social subjects participate, design and construct.

  10. ABSTRACTS

    2012-01-01

    Analysis and forecast of the world economy The pace of global economic recovery has slowed down markedly and the risk of a sagging world economy has been increasing in 2011. However, the economic slowdown was taking place at different speeds in different categories of economies. The momentum of economic recovery in the developed economies is clearly insufficient, and its economic growth rate is far lower than the rate of the emerging economies and has declined much more than that of emerging economies. Many big developed economies are facing very severe employment situation now, while the space of the their fiscal and monetary policies have been compressed by the upgrade of the sovereign debt crisis and long-term low interest rates, which are associated with the turmoil in international financial markets, the sluggish growth of international trade and investment, fluctuations in international commodity prices, and aggravated social problems.

  11. ABSTRACTS

    2012-01-01

    Reliability validation studies of locomotive engine turbocharger LI Yu (Dalian Locomotive Research Institute Co., Ltd., Dalian 116021, China) Abstract: Considering the use features of the locomotive diesel engine turbocharger and combining the finite element simulation with experiment, the validation method of tile turbocharger has been studied. In this way, the number of tests can be reduced and the success rate of the test can be increased. And the turbocharger relia- bility assessment can be ahead of the schedule. Key words: turbocharger; reliability; validation test

  12. Abstracts

    2011-01-01

    Determining Dynamic Rese-rve of Gas R e~servoir by Improved Pressure Drop Method; Mechanical Analysis for Completion String and Its Engineering Applications;Performance Prediction of Natural Depleting Development of Condensate Reservoir with High Gas Condensate Content with a Single Well.

  13. ABSTRACTS

    2012-01-01

    Adhesive traction test of HXD3 locomotive under simulated rain conditions HAN Chang-hu1, LIU Jie-min2, XU Hao-dong1, SONG Yu-ping1 (1. West Jinan Locomotive Depot, Jinan 250117, China; 2. Jinan Railway Administration, Jinan 250001, China)Abstract: To study the impact of severe weather on HXD3 locomotive adhesive traction force, Jinan Rail- way Administration conducted a adhesive traction test of HXD3 locomotive under simulated rain conditions and accumulated large amount of data for reference.

  14. ABSTRACTS

    2011-01-01

    Based on engineering practice, this paper applies the finite element method to model the SAC test results of bolted endplate connection. The ductility capacity of a new extended bolted end-plate connection for industrial buildings and structures is analyzed, and the analysis results can be used in engineering design and the development of specifications concerned.

  15. ABSTRACTS

    2012-01-01

    A Representative work that Vainly Attempts to Westernize China On Yang Ji.sheng's Paper "My View of Chinese Pattern" XU Chong-wenAbstract: Mr. Yang Ji-sheng calls economic connotation of Chinese pattern "market economy of power" with all sorts of drawbacks, it is to take the problems that Chinese model deliberately struggles with and even the objects must be resolutely eliminated as the parts of Chinese pattern, thus they are absolute nonsense; he boils down political connotation of Chinese pattern to "authority politics" of "thoroughly denying modem democratic system",

  16. ABSTRACTS

    2012-01-01

    ( 1 ) Overview on the Political and Economic Situation in Southeast Asia in 2011 Wang Shi-lu · 1 · Abstract: Being affected by negative factors home and abroad, all countries of Southeast Asia faced pressure in maintaining stability and pushing development in 2011. Despite all that, the relatively stable politics, better economic situation as a whole in Southeast Asia remained. Though security situation was grim, all governments took proper measures to resolve crisis. Meanwhile, regional cooperation was pushed forward in Southeast Asia , and achieved some results.

  17. Abstract

    2012-01-01

    Concept Construction and Empirical Analysis of Social Integration for Rural-Urban Migrants in China; Under the Dual Structure of the Triple Migration Model: A Shortage of Migrant Workers, a New Research Framework;Cultural Meanings of Chinese Guanxi: A Viewpoint of Management Scholars;Determinants of Banking Efficiency: Cross-Country Evidence;

  18. Abstracts

    2011-01-01

    Research of Theory & Method Miscible Flooding Well Test Model With Carbon Dioxide Injection and Its Pressure Analysis. 2011,20(4):1 -4 Zhu Jianwei, Shao Changjin, Liao Xinwei, Yang Zhenqing( China University of Petroleum (Beijing) ) Based on miscible flooding well test analysis theory with carbon dioxide injection, the diffusion model of mixture components when carbon dioxide miscible with the oil and variation law of the temperature and viscosity are analyzed,

  19. ABSTRACTS

    2011-01-01

    CONTROL SIGNAL POWERING & WIRING DESIGN OF INTELLIGENT MOTOR OPERATED VALVE ACTU- ATOR [1] Fan Zonghai , J ia Tiehu ( S INOPEC Engineering Incorporation, Beijing, I00101) AbstractzThis article introduces the application of Motor Operated Valve (MOV) actuator, the problems in its control unit wiring, as well as its main technical parameters and control functions. The powering and wiring design of MOV actuator are explained based on application examples, and the advantages, disadvantages and selection principles of two powering design methods, i.e.

  20. ABSTRACT

    2011-01-01

    Old local government documents are an important basis for studying ancient villages and clan cultures. From the Xinhui County Gazetteer, it is known that the development of the Tangxia Basin where Liangxi is located had started by the beginning of the Ming Dynasty. By the Kangxi reign period in the beginning of the Qing Dynasty, the village and its clan had received considerable government attention. By' the end of the Qing Dynasty, the village had been sanctified. It is a notewor- thy phenomenon that a clan could have attained such an important cultural position.

  1. ABSTRACTS

    2012-01-01

    Applications of converted-wave anisotropic prestack time migration in LMD area. Zhang Liyan1, Li AngI, Pei Jiangyun1 and Song Zongpingz. OGP, 2012, 47(5): 683-689 Media anisotropy affects greatly converted- wave imaging for large offset gather. Based on non-hyperbolic NMO equations of converted-wave anisotropy, we propose a simple and practical high precision Gamma (Average velocity ratio of P and S wave) field building method and a structure ve- locity scanning method in this paper. These two methods can obtain accurate Gamma field and con- verted-wave RMS velocity field. Migration travel time can be calculated by anisotropy double square root scattering travel time equation. The applica- tion of the methods on 3D3C data in LMD area,

  2. ABSTRACTS

    2012-01-01

    4 Thoughts and Suggestion about Rural Collective Land System Reform YAN Zhiyao (Ministry of Land and Resources, Beijing 100812, China) Abstract: The imperfect rural collective land property right system has caused the difficulties in increasing the income of farmers, surplus migrant workers, laborer shortage, and sharp conflict for land requisition, which has become the biggest bottleneck in the current development and stability. This paper argues that the rural land property rights institution and land requisition system are the core and key for rural economic breakout and the harmonious development of urban and rural economy,

  3. Abstract

    Maria Jose Carvalho de Souza Domingues

    2003-01-01

    Full Text Available The practice of teaching, in actuality, shows the necessity of teachers and students coming together to form a behavior that is different from the traditional model of teaching. The unity formed from various types of knowledge and the relation between theory and practice show themselves to be fundamental. Starting in 2002, and in search of this unity, a project that hoped to unify the disciplines taught in the second semester of the course in Administration was implemented. During the semester, a single work sought to relate the theories studied with the reality of an organization. Each professor evaluated the works from the point of view of his discipline, as well as the presentation, in general, of the group. It can be affirmed that seeking to bring together various types of knowledge necessarily passes to a rethinking of the postures of teachers and students.

  4. ABSTRACTS

    2011-01-01

    This paper introduces the main steps of typical QRA through application of QRA to the risk management of petrochemical construction projects. It explores the limitations of QRA method and points out the role of QRA in risk management of construction proje

  5. ABSTRACTS

    2015-01-01

    In order to study the state development of fuel-spray in the combustion chamber of TBD620 diesel engine, a spray visualization system was construc-ted by the method of flash photography capturing images of fuel spray at different times. Fuel injection characteris-tics changes were studied by changing the fuel injection pressure and the spray wall-impingement was discovered, which provides a basis of structural optimization for the combustion chamber.

  6. ABSTRACTS

    2011-01-01

    DESIGN OF ANTI-LIGHTENING AND GROUNDING SYSTEM FOR COMPRESSOR SHELTER AND LARGE WAREHOUSE IN REFINERY AND PETROCHEMICAL PLANT[1] Wang Zongjing (SINOPEC Engineering Incorporation, Beijing, 100101) Abstract:With the rapid development of national economy, petrochemical industry plays a more and more important role in national economy. Since most of the process medium in various units in refineries and petrochemical plants are flammable and explosive hazardous substances, high requirements are imposed on the reliability, continuity and stability of each link and facility in the production. Most of the compressor shelters and large warehouses, which are the core buildings in refin- ery and petrochemical plant, are closed or semi-open, so that the atmospheric diffusion of explosive gas mixture is restrained and explosion hazard concentration is kept within a certain period of time. In case of ignition, the enormous explosion pressure will result in damage to equipment and buildings. Therefore, the anti-lightening design of compressor shelter and large warehouse is especially important for the anti-lightening security of refineries and petrochemical plants.

  7. ABSTRACT

    2012-01-01

    An Exploration of the Origin of the Yue People in Lingnan (by BAI Bing) Abstract: Investigations into the origin of the Yue people in Lingnan based on reliable archaeological data, literature, and data concerning nationalities, and by means of periodation, backward inference, and paleographic knowledge show that the Maba people living 129,000 years ago were probably the main body of the ~ue people. From their ancient ancestry to the Warring States period, the ~ue people underwent continuous evolution. They were probably aboriginals of local origin. There were continuous exchanges between the various tribes of the Yue people and they incorporated each other. Key words: Lingnan; the Yue people; origin

  8. ABSTRACTS

    2014-01-01

    Peace is one of humanity's eternal pursuits; conflict, however, is a part of humandestiny. In the course of pursuing peace, religion, as a major practical form of publicdiplomacy, has played an important role in averting conflicts between differentcivilizations. By upholding the ultimate goal of promoting mutual understanding andtrust between different countries and peoples and world peace, the Charhar Institutehas since its founding actively facilitated a religious peace movement focusing onexchanges between the Buddhists of China and South Korea. Serving as a typicalexample of public diplomacy, this has been an important element of the institute'sactivity, and achieved fruitful results. The integration of public diplomacy and religionhas proved itself to be good for the peace effort sof humanity.

  9. Abstract

    2012-01-01

    Power, Space and Inner Structure of Blocks--on Rue Massenet of Shanghai MA Xue - qiang This paper dwells on the formation and change of Rue Massenet in modern Shanghai, and studies Rue Massenet' s history as a road as well as a block. It also investigates the structure of the block and reveals its inner function features. The analysis of Rue Massenet which is regarded as a "sample" of modern block type helps expand and deepen the researches of urban history research.

  10. ABSTRACTS

    2012-01-01

    Since labor resources are a key factor in economic development, the difference of their allocation efficiency has aggravated the imbalance of China's regional economic development. Based on the formula of per capital GDP, this paper constructs an interpretation model of demographic bonus containing influence factors of human capital and material capital accumulation. Subsequently, using data envelopment analysis model we have measured and decomposed relative efficiency of demographic bonus in each region of China during 2006-2010. We have also accounted for the technical efficiency and scale efficiency by using Tobit model. Empirical analysis shows that the relative efficiency of demographic bonus in the Eastern region is higher than those in the middle and west areas. The technical efficiency is mainly affected by education level, aggregation effect of labor force and its participation rate, with influence radios of 0.0102 and 0.0149. Meanwhile, The scale efficiency is mainly affected by education level, aggregation effect of labor force, industrial environment of capital accumulation and generation effect of material capital, with influence radios of 0.1549, 0.1234 and 0.0371. Finally, this paper puts forward suggestions related to the findings.

  11. ABSTRACTS

    2011-01-01

    Severe Damage of Absorbing Foreign Capital Must Be Correctly Observed Accelerating Transformation of Economic Development;Lenin Had Never Set Forth a "National Syndicate" Pattern;Talent Allocation for Undertaking Service Outsourcing of China;Preliminary Management for "Urban Disease" during British Industrialization;Comprehensive Review on Review on Risk Management of Sports Tourism in China;

  12. ABSTRACTS

    2012-01-01

    COSCO Shipping semi-sub veseis POOL achieving new progress On August 8, 2012, the second member China Zhejiang Xiazhiyuan Ship Management Co., Ltd. joined the semi-submersible vessels POOL created by COSCO Shipping Co., Ltd. (COSCOL) earlier this year. The new member comes after the Guangzhou Salvage Bureau of the Ministry of Communications, who joined the semi-submersible vessels POOL in February. The capacity structure of the COSCO Shipping's semi-submersible vessel POOL can be further optimized in 20000, 30000, 40000 and 50000 DWT and achieved universal coverage, which powerfully promoting the brand of appeal. COSCO Shipping Co., Ltd. owns and operates nearly 100 ships including semi-submersible, heavy lift, multi-purpose, ro-ro/Io-lo, general cargo ships and pure car carriers. Among them, semi-submersible vessels are the leading.P18

  13. ABSTRACTS

    2015-01-01

    Academic progress and innovation depend on the development and change of researchparadigms. In order to lay a foundation for research based on "Chinese discourse, " scholars inChina must develop their own academic paradigms based on realities of their country. A review ofvillager self-administration research indicates that, the practice of villager self-administration inChina has once again become a focus of its political science, among others. Not only has a "valuesystem" paradigm been created, but also its change into a new one of "form-condition" hascompleted, the process of which is of universal value.

  14. ABSTRACTS

    2011-01-01

    THE MAIN SAFETY MEASURES AND VISTA OF THE SUCCESSFUL EXPLORATION AND DEVELOPMENT OF THE " THREE HIGH" GAS FIELD IN NORTH-EAST OF SICHUAN PROVINCE[ 1] Peng Guosheng (SINOPEC Safety & Environmental Protection Bureau, Beijing , 100728) Abstract: Based on the special safety risk of "Three High" gas field in north-east of Sichuan province, this paper makes a systematic analysis on the necessity of special supervising and managing measures taken by SINOPEC during exploration and development.

  15. ABSTRACTS

    2011-01-01

    Practice and experience on key equipment localization for Longtan project Abstract: Longtan Hydropower Station is the second largest hydropower station after Three Gorges in those have put into production in China. Based on the idea of "objective, practical and economic", an exploratory investigation to promote the key equipment localization and the national industry revitalization was conducted. The localization of key equipment such as 700MW hydraulic generating unit, 500kV three-phase composite transformer, 500kV crosslinked polyethylene insulated cable and monitoring system for giant hydropower stations was realized successfully. The experience is using for reference in after hydropower projects.

  16. ABSTRACTS

    2012-01-01

    The wisdom of practice exists in its conceptual form as an inherent part of man and functions in the process of practice. It coheres as the quality of virtue expressed in value orientation and contains cognitive experience of the world and of man himself. The two permeate man's actual capacities or powers. Aiming at completion of the self and of things, the wisdom of practice integrates theoretical and practical reason and reflects the unity of understandinl~ the world and transforming the world.

  17. Abstracts

    2011-01-01

    Analyses and Suggestions on Coordinated Regional Development of Insurance Industry in China GUO Jin-long Abstract: Through studies on the coordinated development status between insurance industry and social economy in China from 2005 to 2009, it is found that the coordination between insurance and economy remains slightly imbalanced in most of the provinces and cities in China, with only a few provinces and cities showing low-degree coordination in 2007. As a whole,

  18. Abstracts

    2012-01-01

    International Norms, Group Identity and Domestic Institutional Re- form: The Case of China's Entrance to FATF Lie Xinghua Abstract: International norms are the collection of binding rules governing the international community. International norms with high levels of legitimacy result in norm groups. Such norm groups directly affect the space for and effectiveness of behavior. In order to enter a norm group and obtain membership status within the group, states must engage in domestic institu- tional reforms in order to meet standards of admission. In order to enter FATF, China studied the principles of the 40+ 9 Recommendations, and ad- vanced comprehensive domestic reforms to counter money laundering.

  19. ABSTRACT

    2015-01-01

    As the institutional quality audit is being conducted in some pilot provinces,different interpretations of it have occurred,some of which appear to be misleading.This paper is to redefine it in terms of thematic focus,role,value and method to facilitate its implementation.It proposes that the institutional quality audit should keep consistently focused on internal quality assurance,in-volve various stakeholders,enhance its empowerment function and develop itself into a comprehen-sive and systematic approach to continuous quality improvement.

  20. ABSTRACTS

    2011-01-01

    STUDY ON THE FEATURES OF DIFFERENT REFLECTION IN TAHE OILFIELD PALEOCAVES RESERVOIR/Jianfeng Wang, Pei Jin, Xinhua, Li et al. Northwest Oilfield Company of SINOPEC, Urumqi, Xinfiang ,830011/Xinfiang ShiYou TianRan Qi ,2011,7 ( 3 ) : 1 - 5 Abstract:In This paper, in the light of Seismic migration section and tectonic analysis data, seismic echo styles of Tahe oilfield paleocaves reservoir in time migration are summed up; different reflection features are classified. In the meantime, the classification criteria of quantizing identification with reservoir seismic echo model is established. With those methods above, the paleocaves reservoirs forecasting degree and well arrangement ratio are improved, the risk of developmental drilling is reduced and efficiency is reduced. The high development efficiency in Ordovician paleocaves reservoir is fulfilled. Key Words : Tahe Oilfield ; Paleocaves Reservoir; Reflection features ; Quantizing identification ; Reservoirs forecasting

  1. Abstract

    2011-01-01

    Models of Reduction and Functionalism: Comments on Kim's Reductive Physicalism CHEN Xiaoping (Research Center of System Science and System Management, School of Public Administration, South China Normal University, Guangzhou, Guangdong, 510006) Abstra

  2. ABSTRACTS

    2012-01-01

    4 Introduction of the Methods Generalized from Mineral Exploration HU Kui (Consulting & Research Center Ministry of Land & Resources, Beijing 100035, China) Abstract: This paper focuses on the introduction of prospecting methods generalized from mineral exploration, these include: prospecting in deep part of the deposit based on shallow deposit, and periphery prospecting within the ore district; finding other type ( kind ) of deposit according to this type; lean ore is the base for rich deposit; small rich ore can depends on large lean ore; the dependence of economical mineral resource is uneconomical mineral resource; prospecting mineral deposit on the basis of different minerals; following outcrop mine to find blind ore; and with marks to explore ore.

  3. ABSTRACTS

    2012-01-01

    Research on the Theory and Standard of Peasants" Life Cycle Pension Compensation Mu Huaizhong Shen Yi· 2 · Thedifficulties of full coverage in pension system lie in rural farmers. In this paper, we put forward a "dual agricultural welfare difference" theory and apply it to the issues regarding peasants' life cycle pension compensation. Taking differential between equilib- rium and biased agricultural incomes as the key indicator, we build mathematical models of "dual agricultural welfare balance" and measure the size from 1953 to 2009. Our finding shows that China's "dual agricultnral welfare difference" has a fluctuation ranged be- tween 0.4 and 0.6. Based on life cycle characteristics, such as natural life cycle, policy and institutional life cycle, our suggestion is to compensate peasants' primary pension with a balance of "dual agriculture welfare difference" and other countermeasures.

  4. ABSTRACTS

    2012-01-01

    ( 1 )How does China Appraise the Rising of India Zhao Can-cheng · 1 · Abstract: The rising of India has become an important topic in Chinese Media in the 21st century,and how does China appraise the rising of India is worth discussion. According to the recognition of Chinese official, media and schol- ars on India, this paper discusses the possible impact on China following India's rise and make a prediction on Sino-In- dia relationships. Key Words: China; Appraise ; Rising of India

  5. ABSTRACTS

    2012-01-01

    Be Independent from Autocracy: a Comparison Between Wang Yuanhua and Gong Zizhen Also on the Depth of Wang Yuanhua's Thinking on the Eve of the Ideological Emancipation Movement Xia Zhongyi In 1977 ,Wang Yuanhua began to appreciate Gong Zizhen, not only because they were similar in temperament, context and situation, but also because Wang Yuanhua had found out the element of personal liberation in Gong zizhen's saying Be Independent from Autocracy, which shows that Wang Yuanhua's realization of the personal value was earlier than Li Zehou ( who established the Subjectivity Outline in a Kant's Way in 1979 ) and Wang Ruoshui (who proposed that personal value is the basis of Marxism in 1981 ) , and Wang Yuanhua's contribution in study Chinese by Chinese experience.

  6. ABSTRACTS

    2015-01-01

    Shortly after the People's Republic of China was founded in 1949, it wasnecessary and in its interest for China to join the socialist camp led by the SovietUnion. In 1954, China proposed the five principles of "peaceful coexistence". Atthe Bandung Conference in 1955, China, India and Myanmar jointly advocated thefive principles as a means of good governance in Asia and the whole world. Earlyin the 21st century, China proposed a new concept of "win-win cooperation" as animportant principle for international relations in the new global era.

  7. ABSTRACTS

    2011-01-01

    Plato on Political Rhetoric Generally, Plato was regarded as being hostile to rhetoric. However, I will show that in Plato's some important political dialogues he still verifies the significance of rhetoric or persuasion. Then, I list the attacks of Plato on his contemporary rhetoric, which is called in the essay as "politician rhetoric". On the other hand, Plato also articu- lates the characteristics of true rlhetoric, which I name as "dialectical rhetoric. " In order to elaborate "dialectical rhetoric", I take Pericles as an example to show how the dialectic rhetoric could work in the real political world. Finally, I point out that dialectical rhetoric still can give some reflection for today's political rhetoric. It contains the ideal of the good, caring the soul of the audience, speaking the truth, insisting the right thing with reason, etc.

  8. ABSTRACT

    2011-01-01

    Commemorating the 100th Anniversary of the Revolution of 1911 Promoting the Deep Development of the CPC History and National History by the Research and Publication of the History of the Revolution of …………1911 Zhu Jiamu (4)

  9. ABSTRACTS

    2011-01-01

    The Relational Capital, the Institutional Environment and the Validity of the Payment by Fiscal Transfers;The Framing of the Clauses of the Company Regulations, the Protection of the Law for the Right of Investors, and the Company Governance: Evidences f

  10. ABSTRACTS

    2014-01-01

    How can an ordinary Chinese do better in contributing to national reputationthrough public diplomacy? All they need to do is to tell stories of their own and ofothers' around them in an appropriate way. These stories are from the daily life, theyare real, rich, natural, vivid, lively and easy to understand, but not so rhetoric. They canmove people deeply and improve the image of China and Chinese people successfully.

  11. ABSTRACTS

    2011-01-01

    Wu Jie and Duan Yanchao. The current line drawing of Laterolog and its application. PI, 2011, 25(4) : 1 - 4 The current line plays an important role in the directly understanding the characteristics of Laterolog tool. A method of drawing current lines for the discrete potential data based on the Finite Element calculation is studied. It solves a series of key problems, including the selection of step length, the identification of direction, treatment of nmtation point and the control of stop. A drawing program is written by MATLAB software. Taking the current line drawing of the dual Laterolog logging as an example, we analyze the tool's investigation characteristics in the several formations such as homogeneous, low or high invasion, and invasion with shoulder. These results verify the effectiveness of the new method. The method can be applied to the other kinds of Laterolog tools to draw their current lines and analyze their investigation characteristics.

  12. ABSTRACTS

    2011-01-01

    Through-bit-logging (TBL) technology is developed corporately by Shell and Reeves Oil Company. It can replace standard cable logging and logging while drilling technology. It has characteristics of saving cost and convenient operation.The principle is to transmit the logging tool into borehole through drill rod with a special bit. The acquired formation evaluation data are read on surface from the wire line tool or stored in the tool before pulling out the hole.The paper introduces the principle of work, advantages and development trend of TBL, and cases of its application in rough borehole in North Sea fields. Finally development of TBL technology is summarized. Keywords: TBL; logging while drilling wireline logging

  13. ABSTRACTS

    2011-01-01

    Liu Diren, Xie Weibiao, Yin Qiuli and Zhou Liyan. Study on the Influence of induction logging response on tool eccentricity in horizontal well. Jiang Yiqing, Xu Lin, Wang Jianmin and Du Hui. Simulation of time spectrum by oxygen activation logging.Zhang Jiawei, Song Gongpu, Sai Fang, Xue Zhibo. Design of simulator based on NMR downhole tools.

  14. ABSTRACTS

    2012-01-01

    Zhang Xionghui, You Chang, Tang Jie, Zhou Qizhi, Xu Feng, Li Ganghan and Ma Yan. Development of a series of logging tool long-time working under high temperature and high pressure condition. PI, 2012,26 (3) : 1-3

  15. ABSTRACT

    2012-01-01

    On Chen Xianzhang's Moral Culture Blending Confucianism and Daoism (by ZHANG Yun-- hua) Abstract: Chen Xianzhang, who experienced and witnessed the social changes during the Ming Dynasty, achieved direction change of the scholarship and culture of his time from the rationalistic attitude to the idealistic philosophy through shattering the fetters and bold innovation in order to redeem people's spirit, save society, and rebuild the moral subject philosophy. Chen's elaboration of life and death, suffering and happiness, fame and gain, and retreat and withdrawal in this cultural shift reveals the characteristics of his moral culture blending Confucianism and Daoisrn. Key words: Chen Xianzhang; life and death; suffering and happiness; fame; gain; retreat

  16. Abstracts

    2012-01-01

    1.Changes Come from Turmoils, Hopes Reside in Stagnancy,by Zhu Feng a professor at the Schobl ofInternational t/elations, t'eklng University, anu a member oi ecutorlai Doaro oi Peaceand Development and a gust researcher of CDPS. In 2011, "the Arab Spring" changed the geopolitical ecology of the Middle East and North Africa. The U.S. stepped up readjustment to its global strategy with a high-sounding voice proclaimed its "return to Asia Pacific". A great surge was felt in the political trend of thoughts in the world, and the world was still faced with various terrorist threats.

  17. ABSTRACTS

    2012-01-01

    Analysis of importance of TG Water CultureQuest Yang Bin Fan Lingling ( 1 ) Abstract: The awareness of quest constitutes the essence and demonstrates the basic characteristic of the water culture in the Three Gorges areas. The legend of King Yu controlling floods by dredging the Three Gorges marked the budding of this spirit. Qu Yuan fully demonstrated the essence of the spirit by a frequently quoted saying, "yet high and low I will search with my will unbending", "I will not regret a thousand death to die". The inscription of White Crane Ridge displayed the ancient fashion of the spirit. The construction of the Three Gorges Project interpreted the spirit of exploring of the Three Gorges water culture. The local higher education institution, with its motto "quest", can be taken as a model in carrying forward the spirit of"constant exploration". Key words: awareness of quest; the Three Gorges; water culture

  18. ABSTRACTS

    2012-01-01

    Fold distribution, offset distribution and azi- muth distribution in a bin have direct effects on ge- ometry attributes in 3D seismic survey design. If two adjacent bins have the same fold but different offsets, this non-uniform offset distribution brings some stack amplitude diversity in the adjacent bins. At present, 3D geometry attribute uniformi- ty of the most analytical methods is expressed by qualitative analysis chart. We introduce in this pa- per a uniformity quantitative analysis method for offset distribution by average value, square devia- tion and weighting factor. The paper analyses effects on offset distribution uniformity of different 3D geometry parameters by the proposed uniformi- ty quantitative analysis method. Furthermore, the paper analyses effects on seismic stack amplitude or frequency uniformity of different 3D geometry parameters by the seismic wave modeling. The re- suits show that offset distribution uniformity is in good agreement with seismic stack amplitude or frequency uniformity. Therefore this improved method can be considered as a useful tool for ana- lyzing and evaluating 3D geometry attribute uni- formity.

  19. ABSTRACTS

    2011-01-01

    1.APPLICATION OF VSP TECHNOLOGY OF GREAT WALL DRILLING COMPANY IN OIL AND GAS EXPLORATION ABROAD/Du Xudong., Huang Daqin, Zhao Qihui.2011 (6)8-13 ( Interpretation Research Center of Great Wall Drilling Engineering Company ) Development and perfection of VSP technology have close relationship with the requirements of production. The paper presents 6 aspects of application about VSP technology in oil and gas exploration abroad: lproviding high-precision interpretation result----high-precision time-depth;

  20. ABSTRACTS

    2012-01-01

    Overview of the development of the hybrid locomotive at home and abroad TIAN Rui, KANG Yi-nan (Dalian Locomotive Research Institute Co., Ltd., Dalian 116021, China ) Abstract: This paper analyzes the structure principle and classification feature of hybrid locomotive from the perspective of energy saving and emission reduction, discussing the key technology and summarizing its development and application at home and abroad. On this basis, the development prospect and problems to be solved of hybrid locomotive are analyzed. Key words: hybrid locomotive; principle; classification; application; prospect

  1. ABSTRACTS

    2012-01-01

    Development and Application of Three-stage and Four-layer Fluorine Removal Technology for Purification of Smelting Flue Gas Removal of fluorine from fluorine-containing smelting gas during the sulphurie acid production provides effective protection for the equipment in the system, and it is al~ a necessary measure to maintain normal prodluetion. For the equipment features and resource conditions in a sulphuric acid plant, the concept of three-stage and four layer fluorine removal is proposed, and the purification technology for fluorine removal is developed through optimization of the process design. Practice has shown that by utilizing the three-stage and four-layer fluorine removal technology, it offers advantages like higher efficiency of fluorine removal, shorter process flow, less equipment investment, easier operation, and offers certain value for promotion.

  2. ABSTRACTS

    2012-01-01

    Mao Zedong' s "Three World Theory" underwent three stages of development: the "One Intermediate Zone" thought, the embryonic form of the theory, was put forward in the 1940s-50s; the "Two Intermediate Zones" thought, taking shape in the 1960s, was the rudimentary form; and the early 1970s witnessed the perfection of the theory. Mao Zedong developed the "Three World Theory" with sovereignty and national interests as the logical starting point, the theory of unity of opposites as the philosophical foundation, the Cold War as the historical background, and fighting against hegemonism as the major diplomatic strategy.

  3. Abstracts

    2011-01-01

    China gradually got rid of foreign controls and finally became one of Great Powers from the "Sick man of East Asia" during the Republican era. During this period, intellectuals played significant roles both from the perspective of knowledge building and from the practical perspective. With respect to knowledge building, intellectuals initiatively introduced western knowledge and constructed a new knowledge framework about international relations based on the Chinese tradition in order to counter the shock of external knowledge and reduce the frustration from the collapse of Tributary System, which made China deal with the New world with much more self-confidence. The progress on knowledge building also provide theoretical foundation of foreign attitude and shape the Chinese, especially the elites' perceptions towards international affairs. Meanwhile, intellectuals attempted to deliver Chinese voices through diverse international platforms,

  4. Abstract

    Kucrová, Veronika

    2011-01-01

    My thesis deals with the legal aspects of counterfeit trademarks, the competence of Customs Administration in the control of intellectual property rights, labor courts and CTI. My work describe the basic concepts and legal rules governing intellectual property rights. All rights and duties, regulations, agreements and treaties in the field of legal protection designation.

  5. ABSTRACTS

    2011-01-01

    Balance and Loss of Balance in Human Rights Law;The Socialist Legal System with Chinese Characteristics: Its Structure, Features and Trends;Historical Materialism and Contemporary Socio-historical Reality;Rousseau, Kant and Marx in the Lineage of "Moral P

  6. ABSTRACTS

    2011-01-01

    On Law Theory of Public Interest : An Analysis Based on the Need Spill Theory;The Theory of the Nature of Harming Society : Its Fate in Contemporary China;Criminal Law Fiction : An Analysis of Its Function and Application Rules;How to Define Illegal Financing : A Critique of Legal Interpretation of Illegal Financing by Supreme Court;

  7. Abstract

    2011-01-01

    Representation or Construction? An Interpretation of Quantum Field Theory Abstract: In this essay, I argue that the basic entities in the causality organized hierarchy of entities that quantum field theory describes are not particles but fields. Then I

  8. ABSTRACTS

    2011-01-01

    Look in the Mirror of Personality Left by Liang Qichao The New Preface to His Reflecting Moral This article is my new foreword of Reflecting Moral, which had been edited and written by Liang Qichao in 1905, and has just been recommended as one of the moral readers of Tsinghua Academy of Chinese Learning. I point that the exhortation of our univer- sity proposed by Liang Qichao has its original determination in his mind himself, which had already been compiled in Reflecting Moral more than a century ago.

  9. ABSTRACTS

    2015-01-01

    "Strategic communication" refers to practices involving the widespreaddissemination of information as well as contact activities for the purpose of nationalstrategic interest and objectives. Though people currently do not have a clearcomprehension of its definition, they are deepening their understanding. There is stillroom for its development in terms of theoretical research and practice. We shouldactively carry out research on mechanism building, communication targets and strategiccommunication content in order to serve our national strategies.

  10. Abstract

    Alexandre Costa Quintana

    2003-01-01

    Full Text Available The purpose of this article is to show the importance of the Cash Flow Statement and the Value Added Statement as effective instruments of financial management, due to the information that these statements can provide. To demonstrate this, a financial analysis of the principal financial statements of the Empresa Transmissora de Energia Elétrica do Sul do Brasil S.A. – Eletrosul – was made and in particular, a detailed analysis of the Cash Flow Statement and the Value Added Statement. To do this, the financial statements published by the company were obtained. First, liquidity ratios from the Balance Sheet were calculated and, subsequently, an analysis of the Cash Flow Statement and the Value Added Statement was made. This was done to demonstrate that the information obtained from the Balance Sheet could be better detailed by the use of the referenced statements, showing in the end that alterations in the liquidity of the company can be explained by the changes in the ways in which the company used its cash resources.

  11. ABSTRACTS

    2011-01-01

    Energy transformation is the only way of the transformation of the world economy Describing and explaining from different view of the world from the angle of political, economic, cultural and environmental development, the presentation of the transformation, change, adjustment, conversion and a series of concept reflects that the current world situation is undergoing profound changes, multi-polarization and globalization. The global problems such as financial crisis, recession, climate change, energy transformation and the environment change,

  12. ABSTRACTS

    2012-01-01

    A Discussion on Theme Slogan and Logo of Tourism Image Beautiful Hubei also on Hubei Tourist Attractions and Branding :Cao Shitu Han Guowei (2) Abstract: The paper analyzes the deficiencies of the existing theme slogan and logo of tounsm, image Beaufil Hube by using the methodology of tourism image-building, and then puts forward new theme slogan and logo Magnincent Huoei Door to Magical Landscape and Romantic Culture"as well as the idea of b uildingtouri"brand "Magical and Romantic Tour".

  13. ABSTRACTS

    2012-01-01

    The paper summarized the status of foreign mud log- ging technology from geological logging, engineering logging and mud logging informalization and put forward the future development direction of mud logging technique. The abroad geological logging focuses on micro-nalysis, in which the cutting CT scan, laser element analysis and field gamma scan are used as important means of setting up the geological profiles.

  14. ABSTRACTS

    2012-01-01

    Judicature, Public Opinion, and Politics at An Age of Disordered Legal World View :A Study Centered on the Case of Li Changkui The Case of L/Changkui represents a kind of simple "hard case", in which whatever the judge made a de- cision, result of the case failed to gain good social and legal effects, and the causation, however, rested on the internal system of judicature. The Case of Li reflects an age at which legal world view is deficient in coherence and integration. Although it's not an exclusive problem for China that judicature, public opinion and politics in- teract complicatedly, and the society shows distustt upon the criminal justice system, it reveals that, in the case of Li, some judicial personnel and academics hold an uni-dimensional and prejudiced understanding on the credi- bility, legitimacy and stability of judicature.

  15. ABSTRACTS

    2012-01-01

    Another Cost of Rights : State Identification and Its Western Experience OU Shujun The Western Experience of State Identification shows that identification is another cost of rights, a prerequisite for constructing the rule of law and good governance. Identification is the most infrastructural public goods that should be supplied by the government, and its publicness comes through in that it almost is a precondition for all state institutions, so it can be called the most infrastructural power of national governance system. In the fourfold-building process of one country under the rule of law, a state rule by law, a tax state, a welfare state and a regulatory state, a modem state increasingly needs to enhance the state identification capacity, so that the majority can be involved in the state identification system, which in turn will accelerate the process of state-building, make law and policies more effective, minimize the intermediate cost of communication between states and individuals, and eventually realize good governance by focusing on the expectations of the majority and serving for the majority. The people seeking a strong democratic country under the rule of law must face up to the fact that identification as a kind of govemmentality has been institutiona/ized and routinized in advanced indnstrial democracies.

  16. ABSTRACT

    ÇELİK, Hilal

    2013-01-01

    Discourse analysis takes its place within a larger body of social and cultural researchthat is concerned with the production of meaning through talk and texts. In this study generalprinciples of discourse analysis and how discourse analysis is used in qualitative research arementioned. Theoretical background of discourse analysis based on different fields in socialsciences such as sociology, politic, linguistic, media, psychology, etc... Each of them usediscourse analysis according to their o...

  17. Abstract

    2012-01-01

    Philosophical Analysis of the Essential Characteristics of Transgenic Technology: Based on the Comparative Studies of Different Breeding Ways (p.1);Public Recognition of the Issue of Technology Ethics of GM Corn in Contemporary China (p.7);Uncertainty of Commercializing GM Crops in China (p.13);Analysis of the Public's Perception of and Attitude to GM Rice and Guidance to Their Behavior: Based on the Data from Social Survey in Hubei Province (p.18)

  18. Abstracts

    2012-01-01

    China's roles in the rice cultivation culture in the world---the inventor of artificial cultivation of rice; Zhuang nationality's roles in the artificial cultivation of rice in China--the earliest inventor of artificial cultivation of rice; Longan County's roles in the rice cultivation culture of Zhuang nationality---the most concentrated and most splendid exhibition place and the biggest highlight for the rice cultivation culture of Zhuang nationality. Key words: Longan County; rice cultivation culture; biggest highlight

  19. Abstract

    2012-01-01

    The Subject of Research, Methodology and Research Paradigm of ‘Das Kapital'; ‘Das Kapital' and the Scientific View of Marx on Wealth;The Way of Capitalism in the Background of Global Financial Crisis;

  20. Abstract

    2012-01-01

    The Characteristics of Modern Tianjin Salt Merchants Culture As a new commercial culture in modern China, Tianjin salt merchants culture has its own different characteristics, such as luxury consumption culture, political culture, religious scholar culture and moral culture. In these cultures behind embodies the Salter group's behavior pattern and psychological structure.

  1. ABSTRACTS

    2012-01-01

    4The Current Trends in Global Mineral Exploration and Development LIU Shucken (Information Center of Ministry of Land and Resources, Beijing 100812, China) Abstract: This paper introduces the main issues that the global mineral exploration and development are faced with. The main issues of focus include: the mineral exploration has rapidly recovered from the short depression caused by the effects of global financial crisis; most of the important mineral reserves have continued to grow; there has been continued rapid growth in mining development investment; the supply capacity of mineral products has increased; mergers and acquisitions of mining company are stirring, and multinational mergers & acquisitions has become mainstream,

  2. ABSTRACTS

    2011-01-01

    CARBONIFEROUS- PERMIAN PETROLEUM GEOLOGY AND EXPLORATION DIRECTION OF TIAOHU DEPRESSION IN SANTANGHU BASIN;THE APPLICATION OF S- WAVE PARAMETERS BUILDING TECHNOLOGY IN THE LITHOLOGIC RESERVOIRS EXPLORATION;THE IDENTIFICATION TECHNOLOGY AND ITS APPLICATION FOR LITHOLOGY OF NIUDONG VOLCANIC RESERVOIR;CAUSES OF PERMIAN DENSE CONGLOMERATE RESERVOIR AND FAVORABLE BLOCK PREDICTION IN ZHONG GUAI BULGE;

  3. ABSTRACTS

    2011-01-01

    Research on the Necessity of Building Intercity Transit System within Changsha-Zhuzhou-Xiangtan Metropolitan Huang Weili 4 To plan and build intercity transit network within Changsha-Zhuzhou-Xiangtan metropolitan will not only meet the rapidly increasing demand for passenger transport service and promoting the integration and urbanization of the metropolitan, but is also the necessary measures to build energy-saving and environmental-friendly society, and realize sustainable development.

  4. ABSTRACTS

    2011-01-01

    Critique of Contemporary Anti-Marxism Ideologies --Based on Thoughts of the "Four Major Boundaries";The Conflict on Public Ownership: A Comparison between the Socialist Market Economic Theory and the Theory of Market Socialism of British Labour Party;On The Germination of Marxist Theory of Property;Aesthetic Transformation of Mass Media for Socialist Core Value System;

  5. ABSTRACTS

    2011-01-01

    Current Situation and Prospect of Urban Transit Development in Mainland China The paper reviews the development of urban transit construction, networking operation and diversified technology systems in mainland China during the last 40 years. The paper also presents the short-term planning of urban transit in mainland China and the solutions for financing, construction period and operational cost etc.

  6. ABSTRACTS

    2012-01-01

    Ma Xiwu' s trial mode is a model of adjudication in the Shaanxi-Gansu-Ningxia Border Region, resulting from the joint forces of the border region' s specific wartime environment, local environment, the border region' s social transformation and judicial reform as well as many other factors.

  7. ABSTRACTS

    2012-01-01

    Chinese foreign trade enterprises enter the crucial period of transformation and upgrade The global economy is likely into a long-term downturn and recovery is difficult. For a long time, the foreign trade development environment is difficult to be improved obviously. Many negative factors are overlaid and will bring the foreign trade greater challenge. Impacted by the dual factors of intemational market fluctuation, domestic economic environment tightening,

  8. ABSTRACTS

    2012-01-01

    On the Logic of Heart and the Intuitive Approach: An Outline of Modern Idealism Linked Chinese and Western Philosophical Ideas,A Reflection and Analogical Interpretation of Active Justice,Channel of the Effectiveness of Public Policy in the Perspective of Social Equality: A Theoretical Analysis of the Efficacy of Public Policy

  9. ABSTRACTS

    2001-01-01

    @@CONCURRENT SESSION: FOOD AND WATERBORNE DISEASES      Chair  Prof. Liu Xiu-mei, Institute of Nutrition and Food Hygiene (CAPM), China   Co-chair   Dr. Jorgen Schlundt, World Health Organization, Switzerland   1530-1545 hrs Emerging Foodborne Disearse: An Evolving Public Health Challenge   Robert Baldwin, Center for Disease Control, USA   1545-1600 hrs Food Poisoning Typicality in Food Safety Vulnerable Area of Indonesia   Adil Basuki Abza, Bogor Agricultural University, Indonesia   1600-1615 hrs The Management of Food Poisoning in China   Li Tai-ran, Institute of Food Safety Control and Inspection, Ministry of Health, China   1615-1630 hrs Detection of Campylobacter Species Using a Fluorogenic Real-Time PCR Detection System   Hai-yan Wang, Bureau of Microbial Hazards, Health Canada, Canada   1630-1645 hrs An Overview on Bongkrekic Acid Food Poisoning   Liu Xiu-mei, Institute of Nutrition and Food Hygiene (CAPM), China   1645-1700 hrs Screening Procedure from Cattle Feces and the Prevalence of Escherichia coli O157 in Taiwan Dairy Cattle   Chin-Cheng Chou, Taiwan University, Taibei, China

  10. ABSTRACTS

    2015-01-01

    As a representative kind of "new diplomacy", the Silk Road Economic Beltand 21st Century Maritime Initiatives have aroused different responses at homeand abroad. They are important initiatives about co-building the Belt and Road,and give full play to China's strengths in the era of globalization. It is an importantopportunity to promote public diplomacy. The crux of the Initiatives lies in ourefforts in enhancing the awareness of cooperation, strengthening investigation andresearch, promoting mutual understanding, highlighting advantages and shunningdisadvantages for mutual benefit and win-win results through responding to theneeds of all parties.

  11. ABSTRACTS

    2012-01-01

    Summary of Construction of a Hz S-based Sulphuric Acid Unit for a Large-sized Synthetic Ammonia Plant/Development and Application of New Process for Yellow Phosphorus Filtration during Yellow Phosphorus Production/Review of the Low-temperature Heat Recovery System of 250 kt/a Sulpharic Acid Plant of Shandong Bofeng/Technology for Combined Production in Compound Phosphate Fertilizer Plant of SHCCIG/Practice of Fouling Removal with Sulphuric Acid in the Cooling Water System of 400 kt/aSulfuric Acid Plant Based on Sulphur Burning/Production of Nitro-compound Fertilizer with Nitric Acid and Sulphuric Acid Method/Application of Tantalum Heat Exchanger and Glass Equipment in Spent Sulphuric Acid Concentration

  12. ABSTRACTS

    2012-01-01

    Case Studies of The New Young Man at Ministry of Organization's Editing Li Pin The editing of The New Young Man at Ministry of Organization wins its fame in the modern history of Chinese editing and pub- lishing for its conscious intensification of anti-bureaucracy theme, and its embodiment of the editing pursuit of Qin Zhaoyang, Peo- ple's Literature's executive editor-in-chief. After Mao Zedong's proposal of public criticism, China Writers Association persisted in editing reason, discussed related theoretical and practical problems in the form of panel, and brought forward the title of unknown heroes for editors, which means a milestone in the modern history of Chinese editing principles.

  13. ABSTRACTS

    2015-01-01

    When discussing the maturation of Chinese sociology, one has to reconsider the relationsbetween Western sociology and Chinese sociology and distinguish the flows from their sources ifone wants to find a way forward for Chinese sociology. Chinese sociology should view theresources of homegrown sociological tradition as a "source, " which is represented by "qunxue"(literally the study of groups).

  14. ABSTRACTS

    2013-01-01

    A bus line inquiry algorithm based on set theory is proposed,and the design flow of transfer algorithm is presented. A plan for improving the efficiency of the inquiry algorithm is put forward. The bus line inquiry algorithm is simple and effective, and it can help user select optimal bus line.

  15. ABSTRACT

    2011-01-01

    Discussion on the Training Model of Training the Nursing Humanistic Quality by Employing the College English Teaching Li Hongfeng (Nursing College of Zhengzhou University, Zhenghou, Herman, 450052) Read and Write Periodica,vol.8, No.11,27,2011(ISSN1672-1578,in,Chinese) Abstract: The college English, as one of the most important public humanities courses in the curriculum system of collegiate nursing education, its teaching has positive orientation of human values and strong function in humanistic quality education.

  16. ABSTRACTS

    2012-01-01

    (1) The Narrative Structure and Mode of Realization of Marx's Theory of Human Emancipation Liu Tongfang Understanding the inherent logic of the ideas in the classic Marxist texts and revealing the narrative structure and mode of realization of Marx's theory of human emancipation is an important intellectual approach to the extension of Marxist theoretical research. As a scientific theory of the history of society, the narrative structure of human emancipation involves three aspects: historical materialism, multi-dimensional forms of emancipation, and communist movements. It offers a comprehensive analysis of the basic way of perceiving human society, the fundamental path to human emancipation and the ultimate aim of the evolution of social forms. It reflects the thorough-going revolutionary nature of Marx's theory of human emancipation and its close relationship with the real life of society. It would thus be academically significant to reflect on Western Marxism, Soviet-type socialism and the socialist road with Chinese characteristics from the viewpoint of the narrative structure of Marx's theory of human emancipation, so as to extend the Marxist theory of human emancipation and explore its specific mode of realization

  17. Abstract

    2012-01-01

    Scientific Culture and Cultural Science (p.1) Today science advances at an astonishingly high speed, and driven by the ideological and industrial revolutions, it even becomes a dominant culture in the society and is respected as the supreme authority. However, the scientific culture, which plays the leading role in the industrial civilization, turns out to be more and more alienated from culture and humanity, resulting in the so-called cultural confusions and loss of humanity. This article, investigating the phenomenon deeply, argues that science has no privileged position over the other cultural traditions, and suggests that science identify itself as a member equal with the other cultural patterns in the society in order to restore its cultural connotations. It is believed that by establishing the cultural science, we can bring culture and humanity back to science.

  18. ABSTRACTS

    2012-01-01

    South Korea's strategy and the economic and trade relations with China South Korea in a relatively short period of time has obtained the economic fast boom, creating "the Han River Miracle" remarkably. Due to the typical export-oriented economy, the South Korea is very sensitive to the international situation.

  19. ABSTRACT

    2012-01-01

    Probe into The Production of Songhua Inkstone in Kangxi period and His Bestowing Them upon His Subjects;A Study of Kiln-Firing Production for Construction of Beijing in The Ming Dynasty: Focus on The Changes of Kiln Sites, Product Structure and Manufacture System of Supplies;More on The Design of The Large Timbers in The Structure of Daxiong Dian(Hall) of Fengguo Temple of Yi County with The Enlightenment from The Latest Research Available;

  20. Abstract

    2012-01-01

    Function Ascriptions of Technical Artifacts (p.1) CHEN Fan, XU Jia (Research Center for Philosophy of Science and Technology, Northeastern University, Shenyang, Liaoning, 110004) Abstract: The function of technical artifacts is mind dependent. It is an ontologicaUy subjective entity and an epistemologically objective judgment. Function ascription is a general form of technical function in the epistemological sense. Function ascriptions may be taken in a descriptive and in a performative sense. The former can be called function ascriptions for short and the latter function assignments. The mind dependency of the function of technical artifacts is grounded in performative function ascriptions instead of descriptive function ascriptions. Key Words: Function ascriptions; Descriptive function ascriptions; Performative function ascriptions; Function assignments

  1. ABSTRACTS

    2011-01-01

    Mud logging subject and its speciality construction is an important practical issue in the field of mud logging engineering and accurately positioning mud logging subject and reasonably setting mud logging speciality have an important significance for promoting and guiding the rapid development of mud logging technology.

  2. ABSTRACTS

    2011-01-01

    The establishment of spectroscopy logging theory and application prospects. Zhu Genqing. Mud Logging Engineering, 2011,22(3) :2-6,28 Based on a lot of research and years' practice and set ting out from the purpose of enriching the basic theory of mud logging technology, the author described several spectroscopic methods and theories commonly used in mud logging technology and explored the concept of the spectroscopy logging and the views to establish mud logging theory svstem.

  3. Abstract

    2012-01-01

    The Establishment and Distribution of the Police Stations in the Public Concessions in Modern Shanghai -Also on the Substitution Index of the Expansion of City Space WU Heng By analyzing relevant materials, this paper finds that the total number of police stations and the population is closely related to each other and regards it as the substitution index of city expansion. The author thinks that the urbanization of the public concessions can be divided into three phases, while this process is not in synchronization with the expansion of the land expansion of public concessions.

  4. Abstract

    Tafdrup, Oliver

    2013-01-01

    Udgivet som en del af Tidskrifts specialudgivelse om Adorno. http://tidskrift.dk/data/50/Aforismesamling.pdf......Udgivet som en del af Tidskrifts specialudgivelse om Adorno. http://tidskrift.dk/data/50/Aforismesamling.pdf...

  5. Abstract

    Newton Carneiro Affonso da Costa Junior

    2003-01-01

    Full Text Available The present study has the objective of verifying if simultaneous investments in several international stock markets are more attractive than in only one national stock market, in other words, if the first ones present a superior risk-return relationship. It can be admitted that if there is a total integration among the analyzed countries, there is little advantage in the international diversification, but if the countries are less integrated, the diversification would bring advantages in risk-return terms. The empirical work is based on Markowitz portfolio theory, CAPM and in the portfolio performance measures of Sharpe, Treynor, and Jensen. The analysis was made for the period of February 1993 to January 2003, based in the most liquid stocks negotiated in the stock market of the main countries of Latin America. The results showed that portfolio diversification in international markets is a better approach.

  6. ABSTRACTS

    2012-01-01

    Large-scale hydropower units excitation transformer design characteristics and insulation mode choice,CFD analysis and upgrading of bulb tubular turbine runner,Technical reform and operation analysis of 500 kV bus protection in Ertan Hydropower Plant

  7. Abstracts

    2012-01-01

    The flue gas flow in entrance of electrostatic precipitator was simulated by Fluent software. Base on the simulation result, a new corona wires arrangement method was proposed for better gas flow distribution. The results indicated that when the corona wires in entrance of two adjacent flues arranged in parallel, the high speed ion airflow occurred in strong electric field would hamper the even distribution of flow, while when the corona wires was staggered arranged, it would benefit to the even distribution of gas flow in precipitator and further improve the dust removal efficiency. This result can provide very important guidance to the transformation and the design of electrostatic precipitator.

  8. ABSTRACTS

    2015-01-01

    Type-selection design of axle box bearing for high-speed passenger car bogie LIANG Yun, XIA Chun-jing (Changchun Railway Vehicle Co., Ltd., Chang- chun 130062, China) Abstract: This paper elaborates type-selection analysis of axle box bearings for high-speed passenger ear bogie and introduces the main influence factors of type- selection and life calculation of bearings.

  9. ABSTRACTS

    2012-01-01

    Comment on "State-owned Economy Retreating from Competitive Field";Analysis of Real Effects of State-owned Enterprise Discussing with Research Group of Tianze Institute of Economics;Treating the Nature of Social Labor with a Developing and Opening Sight And Basic Principles to Judge the Nature of Social Labour

  10. ABSTRACTS

    2012-01-01

    The present situation and development countermeasures of Chinese mud logging operations. Liu Yingzhong, Li Yichao and Liu Zhenjiang. Mud Logging Engineering, 2012, 23 (2):1-7 From mud logging data interpretation and evaluation, acquisition, data processing, equipment, software and mud logging information etc. , the authors summarized the development status of Chinese mud logging techniques, and the contributions that mud logging technology made in speeding up drilling, regional geological research, well location optimization etc. with timely detection and accurate evaluation of oil, gas and water layers, a comprehensive analysis was made to the challenges faced by mud logging technology in aspects of the complex hydrocarbon reservoirs evaluation,

  11. ABSTRACTS

    2012-01-01

    STUDY ON THE NATURAL GAS ACCUMULATION IN LOW RELIEF STRUCTURE RESERVOIR AT MIDDLE PORTION OF CHARZHOU STEPS IN AMUDARY BASIN Abstract: This paper focuses on the Hydrocarbon accumulation in low relief structure based on the comprehensive studies of seismic data, regional stratum, sedimentary facies, abundance of hydrocarbon and the character of petroleum geology of the Karakul territory in Chardjou step of Amudarya Basin. A reservoir geological model was established and the Potential zones of oil and gas accumulation were recommended by means of analysis well data, seismic data and three existing low relief gas deposits in the Karakul.

  12. ABSTRACTS

    2012-01-01

    The Introduction of Western Learning to the East and the Sinicization of Marxist Philosophy The introduction of western learning to the east objectively promoted the dissemination of Marxist philosophy in China, forming an important historical prerequisite for the sinicization of Marxist philosophy. Moreover, it also triggered a great transformation in the historical development of Chinese philosophy and facilitated its transition from ancient to early modern traditions, thereby establishing through sinicization a link between Marxist philosophy, which originated in the western philosophical tradition, and the Chinese tradition of philosophy, and rendering Marxist philosophy Chinese. This offered the possibility that sinicized Marxist philosophy would play a positive guiding role in the development of modern Chinese philosophy. Therefore, we may say that without the introduction of western learning to the east, there would be no sinicization of Marxist Ichilosophy; and without in-depth research on the relationship between the introduction of western learning to the east and the sinicization of Marxist philosophy, there would be no real understanding of the sinicization of Marxist philosophy. However, the close links between the sinicization of Marxist philosophy and the introduction of western learning do not indicate that the sinicization of Marxist philosophy is part of the history of the introduction of western learning to the east. The sinicization of Marxist philosophy does not itself belong to the category of the spread of western learning to the east. This is because Marxist philosophy is essentially different from all other commonly known western sciences; its sinicization differs from the eastward spread of western learning in terms of its goals, social nature, results and effects on society.

  13. ABSTRACTS

    2011-01-01

    Practice and Discussion to Achieve p( SO2 ) ≤400 mg/m3 in Tailgas Emitted from Sulphuric Acid Plant Using New AS Series Catalyst;Progress and Prospect for Application of Lithium Iron Phosphate Modification Technology in China;Technological Progress in Wet-process Phosphoric Acid Concentration Plant of China;

  14. ABSTRACTS

    2011-01-01

    Conbating Poverty and Inequality: Structural Change, Social Policy and Politics United Nations Research Institute for Social Development As UNRISD's latest reflection upon poverty alleviation and inequality, this report advocates an approach that pu

  15. ABSTRACTS

    2012-01-01

    The modem transition of philosophy is the transition of world metaphysics to conscious metaphysics therefore the aprioristic philosophy exploring the consciousness has taken place which experienced the three progressing periods from Descartes to Kant to Edmund Husserl: Descartes tried to prove that consciousness was the unique and stable starting point of understanding all problems, and Kant tried to prove that consciousness had the ability to build up effec- tive knowledge as well as had the ability to guide the right behavior, while Edmund Husserl tried to prove that conscious- ness had the overall object, which relatively equal to had its own word. Through these three great and difficult periods of efforts, aprioristic conscious philosophy has completed the proving of the arguments of I think and thinking, nevertheless, the arguments did not reach to the level of laying the foundation, therefore they did not interpret the world correctly.

  16. ABSTRACTS

    2012-01-01

    Discussion on Geological Exploration Culture and Core Value System of Geological Exploration Industry PENG Qiming(Ministry of Land and Resources, Beijing 100812, China) Abstract: Since the convening of the Sixth Plenary Session of the Sixth Central Committee of the CPC, the function of soft power of culture construction has been attracted widespread attention. For geological industry, an important factor which restricts the development of this industry is the culture of geological prospecting, while the key point is to establish the core value system of geological exploration industry. This paper introduces the role of the core value system of geological exploration industry, these include: guiding the direction and trace of industry development; gathering strength and forming resultant force; setting up the confidence and determination of inspiration; and establishing professional and ethical standards and behaviors. This paper offers some specific methods required for developing the advanced culture of geological industry,

  17. ABSTRACTS

    2011-01-01

    4 Thoughts on Several Issues with respect to Geological Prospecting Work Peng Qiming (Department of Geological Exploration, Ministry of Land and Resources, Beijing 100812, China) Abstract: This paper first analyses some issues concerning geological prospecting work, such as: the understanding of the connotation of geological prospecting new mechanism; how to play the role of public geological work in strengthening basis properly; reform and development of geological prospecting units; and the issue of the quality descent of geological exploration. It goes on to argue that the core of the new mechanism of geological prospecting includes: social capital is the main part in mineral exploration market;

  18. ABSTRACTS

    2011-01-01

    4 Carrying on the Past and Forge Ahead into the Future for New Contributions to the Cause of Geology and Mineral Resource Development in New Period ——Speech at the Celebration Meeting of 30^th Anniversary of China Society of Geology and Mineral Resource Economics

  19. Newborn infants perceive abstract numbers.

    Izard, Véronique; Sann, Coralie; Spelke, Elizabeth S; Streri, Arlette

    2009-06-23

    Although infants and animals respond to the approximate number of elements in visual, auditory, and tactile arrays, only human children and adults have been shown to possess abstract numerical representations that apply to entities of all kinds (e.g., 7 samurai, seas, or sins). Do abstract numerical concepts depend on language or culture, or do they form a part of humans' innate, core knowledge? Here we show that newborn infants spontaneously associate stationary, visual-spatial arrays of 4-18 objects with auditory sequences of events on the basis of number. Their performance provides evidence for abstract numerical representations at the start of postnatal experience.

  20. A book of abstract algebra

    Pinter, Charles C

    2009-01-01

    Accessible but rigorous, this outstanding text encompasses all of the topics covered by a typical course in elementary abstract algebra. Its easy-to-read treatment offers an intuitive approach, featuring informal discussions followed by thematically arranged exercises. Intended for undergraduate courses in abstract algebra, it is suitable for junior- and senior-level math majors and future math teachers. This second edition features additional exercises to improve student familiarity with applications. An introductory chapter traces concepts of abstract algebra from their historical roots. Suc

  1. Fractional norm regularization: learning with very few relevant features.

    Kaban, Ata

    2013-06-01

    Learning in the presence of a large number of irrelevant features is an important problem in high-dimensional tasks. Previous studies have shown that L1-norm regularization can be effective in such cases while L2-norm regularization is not. Furthermore, work in compressed sensing suggests that regularization by nonconvex (e.g., fractional) semi-norms may outperform L1-regularization. However, for classification it is largely unclear when this may or may not be the case. In addition, the nonconvex problem is harder to solve than the convex L1 problem. In this paper, we provide a more in-depth analysis to elucidate the potential advantages and pitfalls of nonconvex regularization in the context of logistic regression where the regularization term employs the family of Lq semi-norms. First, using results from the phenomenon of concentration of norms and distances in high dimensions, we gain intuition about the working of sparse estimation when the dimensionality is very high. Second, using the probably approximately correct (PAC)-Bayes methodology, we give a data-dependent bound on the generalization error of Lq-regularized logistic regression, which is applicable to any algorithm that implements this model, and may be used to predict its generalization behavior from the training set alone. Third, we demonstrate the usefulness of our approach by experiments and applications, where the PAC-Bayes bound is used to guide the choice of semi-norm in the regularization term. The results support the conclusion that the optimal choice of regularization depends on the relative fraction of relevant versus irrelevant features, and a fractional norm with a small exponent is most suitable when the fraction of relevant features is very small.

  2. Quotient Complexity of Regular Languages

    Janusz Brzozowski

    2009-07-01

    Full Text Available The past research on the state complexity of operations on regular languages is examined, and a new approach based on an old method (derivatives of regular expressions is presented. Since state complexity is a property of a language, it is appropriate to define it in formal-language terms as the number of distinct quotients of the language, and to call it "quotient complexity". The problem of finding the quotient complexity of a language f(K,L is considered, where K and L are regular languages and f is a regular operation, for example, union or concatenation. Since quotients can be represented by derivatives, one can find a formula for the typical quotient of f(K,L in terms of the quotients of K and L. To obtain an upper bound on the number of quotients of f(K,L all one has to do is count how many such quotients are possible, and this makes automaton constructions unnecessary. The advantages of this point of view are illustrated by many examples. Moreover, new general observations are presented to help in the estimation of the upper bounds on quotient complexity of regular operations.

  3. The Evolution of Frequency Distributions: Relating Regularization to Inductive Biases through Iterated Learning

    Reali, Florencia; Griffiths, Thomas L.

    2009-01-01

    The regularization of linguistic structures by learners has played a key role in arguments for strong innate constraints on language acquisition, and has important implications for language evolution. However, relating the inductive biases of learners to regularization behavior in laboratory tasks can be challenging without a formal model. In this…

  4. Manifold regularized multitask feature learning for multimodality disease classification.

    Jie, Biao; Zhang, Daoqiang; Cheng, Bo; Shen, Dinggang

    2015-02-01

    Multimodality based methods have shown great advantages in classification of Alzheimer's disease (AD) and its prodromal stage, that is, mild cognitive impairment (MCI). Recently, multitask feature selection methods are typically used for joint selection of common features across multiple modalities. However, one disadvantage of existing multimodality based methods is that they ignore the useful data distribution information in each modality, which is essential for subsequent classification. Accordingly, in this paper we propose a manifold regularized multitask feature learning method to preserve both the intrinsic relatedness among multiple modalities of data and the data distribution information in each modality. Specifically, we denote the feature learning on each modality as a single task, and use group-sparsity regularizer to capture the intrinsic relatedness among multiple tasks (i.e., modalities) and jointly select the common features from multiple tasks. Furthermore, we introduce a new manifold-based Laplacian regularizer to preserve the data distribution information from each task. Finally, we use the multikernel support vector machine method to fuse multimodality data for eventual classification. Conversely, we also extend our method to the semisupervised setting, where only partial data are labeled. We evaluate our method using the baseline magnetic resonance imaging (MRI), fluorodeoxyglucose positron emission tomography (FDG-PET), and cerebrospinal fluid (CSF) data of subjects from AD neuroimaging initiative database. The experimental results demonstrate that our proposed method can not only achieve improved classification performance, but also help to discover the disease-related brain regions useful for disease diagnosis.

  5. Hamiltonian YM 2+1: note on point splitting regularization

    Schulz, Hermann

    2016-01-01

    The Hamiltonian of 2+1 dimensional Yang Mills theory was derived by Karabali, Kim and Nair by using point splitting regularization. But in calculating e.g. the vacuum wave functional this scheme was left in favour of arguments. Here we follow up a conjecture of Leigh, Minic and Yelnikov of how this gap might be filled by including all positive powers of the regularization parameter ($\\ep \\to +0$). Admittedly, though we concentrate on the ground state in the large $N$ limit, only two such powers could be included due to the increasing complexity of the task.

  6. Introduction to indexing and abstracting

    Cleveland, Ana

    2013-01-01

    Successful information access in the digital information age requires robust systems of indexing and abstracting. This book provides a complete introduction to the subject that covers the many recent changes in the field.

  7. Biocards and Level of Abstraction

    Lenau, Torben Anker; Keshwani, Sonal; Chakrabarti, Amaresh;

    2015-01-01

    in biocards. This was done in two workshops conducted with design students in Denmark and India. Students were given a design assignment and instructions for how to perform the BID ideation work. Half of the students were given biocards with abstract descriptions while the other half got biocards...... with concrete descriptions. The novelty of found solutions was evaluated by the students by rating novelty of each solution on a scale from 1 to 5. Mean values for abstract descriptions were 0,3 higher than for concrete descriptions indicating that more innovative solutions were found when students used...... biocards with abstract descriptions compared to concrete descriptions. The difference in mean value is significant with a confidence level better than 1%. It seems likely that more abstract descriptions in biocards helps avoiding design fixation in biomimetic design work....

  8. Convergence and fluctuations of Regularized Tyler estimators

    Kammoun, Abla

    2015-10-26

    This article studies the behavior of regularized Tyler estimators (RTEs) of scatter matrices. The key advantages of these estimators are twofold. First, they guarantee by construction a good conditioning of the estimate and second, being a derivative of robust Tyler estimators, they inherit their robustness properties, notably their resilience to the presence of outliers. Nevertheless, one major problem that poses the use of RTEs in practice is represented by the question of setting the regularization parameter p. While a high value of p is likely to push all the eigenvalues away from zero, it comes at the cost of a larger bias with respect to the population covariance matrix. A deep understanding of the statistics of RTEs is essential to come up with appropriate choices for the regularization parameter. This is not an easy task and might be out of reach, unless one considers asymptotic regimes wherein the number of observations n and/or their size N increase together. First asymptotic results have recently been obtained under the assumption that N and n are large and commensurable. Interestingly, no results concerning the regime of n going to infinity with N fixed exist, even though the investigation of this assumption has usually predated the analysis of the most difficult N and n large case. This motivates our work. In particular, we prove in the present paper that the RTEs converge to a deterministic matrix when n → ∞ with N fixed, which is expressed as a function of the theoretical covariance matrix. We also derive the fluctuations of the RTEs around this deterministic matrix and establish that these fluctuations converge in distribution to a multivariate Gaussian distribution with zero mean and a covariance depending on the population covariance and the parameter.

  9. 10081 Abstracts Collection -- Cognitive Robotics

    Lakemeyer, Gerhard; Levesque, Hector J.; Pirri, Fiora

    2010-01-01

    From 21.02. to 26.02.2010, the Dagstuhl Seminar 10081 ``Cognitive Robotics '' was held in Schloss Dagstuhl~--~Leibniz Center for Informatics. During the seminar, several participants presented their current research, and ongoing work and open problems were discussed. Abstracts of the presentations given during the seminar as well as abstracts of seminar results and ideas are put together in this paper. The first section describes the seminar topics and goals in general. Link...

  10. Regular

    Ratanpal B S; Sharma Jaita

    2016-03-01

    The charged anisotropic star on paraboloidal space-time is reported by choosing a particular form of radial pressure and electric field intensity. The non-singular solution of Einstein–Maxwell system of equation has been derived and it is shown that the model satisfies all the physical plausibility conditions. It is observed that in the absence of electric field intensity, the model reducesto a particular case of uncharged Sharma and Ratanpal model. It is also observed that the parameter used in the electric field intensity directly affects mass of the star.

  11. Efficient Hyperelastic Regularization for Registration

    Darkner, Sune; Hansen, Michael Sass; Larsen, Rasmus;

    2011-01-01

    For most image registration problems a smooth one-to-one mapping is desirable, a diffeomorphism. This can be obtained using priors such as volume preservation, certain kinds of elasticity or both. The key principle is to regularize the strain of the deformation which can be done through penalizat......For most image registration problems a smooth one-to-one mapping is desirable, a diffeomorphism. This can be obtained using priors such as volume preservation, certain kinds of elasticity or both. The key principle is to regularize the strain of the deformation which can be done through...... penalization of the eigen values of the stress tensor. We present a computational framework for regularization of image registration for isotropic hyper elasticity. We formulate an efficient and parallel scheme for computing the principal stain based for a given parameterization by decomposing the left Cauchy...

  12. Regular algebra and finite machines

    Conway, John Horton

    2012-01-01

    World-famous mathematician John H. Conway based this classic text on a 1966 course he taught at Cambridge University. Geared toward graduate students of mathematics, it will also prove a valuable guide to researchers and professional mathematicians.His topics cover Moore's theory of experiments, Kleene's theory of regular events and expressions, Kleene algebras, the differential calculus of events, factors and the factor matrix, and the theory of operators. Additional subjects include event classes and operator classes, some regulator algebras, context-free languages, communicative regular alg

  13. Abstract Graphemic Representations Support Preparation of Handwritten Responses

    Shen, Xingjia Rachel; Damian, Marcus F.; Stadthagen-Gonzalez, Hans

    2013-01-01

    Some evidence suggests that the written production of single words involves not only the ordered retrieval of individual letters, but that abstract, higher-level linguistic properties of the words also influence responses. We report five experiments using the "implicit priming" task adopted from the spoken domain to investigate response…

  14. Abstract Word Definition in Patients with Amnestic Mild Cognitive Impairment

    Soo Ryon Kim

    2015-01-01

    Full Text Available The aims of this study were to investigate concrete and abstract word definition ability (1 between patients with amnestic mild cognitive impairment (aMCI and normal adults and (2 between the aMCI subtypes (i.e., amnestic single-domain MCI and amnestic multidomain MCI; asMCI and amMCI and normal controls. The 68 patients with aMCI (29 asMCI and 39 amMCI and 93 age- and education-matched normal adults performed word definition tasks composed of five concrete (e.g., train and five abstract nouns (e.g., jealousy. Task performances were analyzed on total score, number of core meanings, and number of supplementary meanings. The results were as follows. First, the aMCI patients scored significantly poorer than the normal controls in only abstract word definition. Second, both subtypes of aMCI performed worse than the controls in only abstract word definition. In conclusion, a definition task of abstract rather than concrete concepts may provide richer information to show semantic impairment of aMCI.

  15. Regularization in Matrix Relevance Learning

    Schneider, Petra; Bunte, Kerstin; Stiekema, Han; Hammer, Barbara; Villmann, Thomas; Biehl, Michael

    2010-01-01

    A In this paper, we present a regularization technique to extend recently proposed matrix learning schemes in learning vector quantization (LVQ). These learning algorithms extend the concept of adaptive distance measures in LVQ to the use of relevance matrices. In general, metric learning can displa

  16. Regular inference as vertex coloring

    Costa Florêncio, C.; Verwer, S.

    2012-01-01

    This paper is concerned with the problem of supervised learning of deterministic finite state automata, in the technical sense of identification in the limit from complete data, by finding a minimal DFA consistent with the data (regular inference). We solve this problem by translating it in its enti

  17. Singularities of slice regular functions

    Stoppato, Caterina

    2010-01-01

    Beginning in 2006, G. Gentili and D.C. Struppa developed a theory of regular quaternionic functions with properties that recall classical results in complex analysis. For instance, in each Euclidean ball centered at 0 the set of regular functions coincides with that of quaternionic power series converging in the same ball. In 2009 the author proposed a classification of singularities of regular functions as removable, essential or as poles and studied poles by constructing the ring of quotients. In that article, not only the statements, but also the proving techniques were confined to the special case of balls centered at 0. In a subsequent paper, F. Colombo, G. Gentili, I. Sabadini and D.C. Struppa (2009) identified a larger class of domains, on which the theory of regular functions is natural and not limited to quaternionic power series. The present article studies singularities in this new context, beginning with the construction of the ring of quotients and of Laurent-type expansions at points other than ...

  18. Regularized Statistical Analysis of Anatomy

    Sjöstrand, Karl

    2007-01-01

    This thesis presents the application and development of regularized methods for the statistical analysis of anatomical structures. Focus is on structure-function relationships in the human brain, such as the connection between early onset of Alzheimer’s disease and shape changes of the corpus cal...

  19. Recursively-regular subdivisions and applications

    Rafel Jaume

    2016-05-01

    Full Text Available We generalize regular subdivisions (polyhedral complexes resulting from the projection of the lower faces of a polyhedron introducing the class of recursively-regular subdivisions. Informally speaking, a recursively-regular subdivision is a subdivision that can be obtained by splitting some faces of a regular subdivision by other regular subdivisions (and continue recursively. We also define the finest regular coarsening and the regularity tree of a polyhedral complex. We prove that recursively-regular subdivisions are not necessarily connected by flips and that they are acyclic with respect to the in-front relation. We show that the finest regular coarsening of a subdivision can be efficiently computed, and that whether a subdivision is recursively regular can be efficiently decided. As an application, we also extend a theorem known since 1981 on illuminating space by cones and present connections of recursive regularity to tensegrity theory and graph-embedding problems.     

  20. Abstraction by Set-Membership

    Mödersheim, Sebastian Alexander

    2010-01-01

    The abstraction and over-approximation of protocols and web services by a set of Horn clauses is a very successful method in practice. It has however limitations for protocols and web services that are based on databases of keys, contracts, or even access rights, where revocation is possible, so ...... language to standard Horn clauses and use the verifier ProVerif and the theorem prover SPASS to solve them. We show by a number of examples that this approach is practically feasible for wide variety of verification problems of security protocols and web services....... that the set of true facts does not monotonically grow with the transitions. We extend the scope of these over-approximation methods by defining a new way of abstraction that can handle such databases, and we formally prove that the abstraction is sound. We realize a translator from a convenient specification...

  1. Mechanical Engineering Department technical abstracts

    1984-07-01

    The Mechanical Engineering Department publishes abstracts twice a year to inform readers of the broad range of technical activities in the Department, and to promote an exchange of ideas. Details of the work covered by an abstract may be obtained by contacting the author(s). General information about the current role and activities of each of the Department's seven divisions precedes the technical abstracts. Further information about a division's work may be obtained from the division leader, whose name is given at the end of each divisional summary. The Department's seven divisions are as follows: Nuclear Test Engineering Division, Nuclear Explosives Engineering Division, Weapons Engineering Division, Energy Systems Engineering Division, Engineering Sciences Division, Magnetic Fusion Engineering Division and Materials Fabrication Division.

  2. Regularity of large solutions for the compressible magnetohydrodynamic equations

    Qin Yuming

    2011-01-01

    Full Text Available Abstract In this paper, we consider the initial-boundary value problem of one-dimensional compressible magnetohydrodynamics flows. The existence and continuous dependence of global solutions in H 1 have been established in Chen and Wang (Z Angew Math Phys 54, 608-632, 2003. We will obtain the regularity of global solutions under certain assumptions on the initial data by deriving some new a priori estimates.

  3. Abstract and concrete categories? Evidences from neurodegenerative diseases.

    Catricalà, Eleonora; Della Rosa, Pasquale A; Plebani, Valentina; Vigliocco, Gabriella; Cappa, Stefano F

    2014-11-01

    We assessed the performance of patients with a diagnosis of Alzheimer׳s disease (AD) and of the semantic variant of primary progressive aphasia (sv-PPA) in a series of tasks involving both abstract and concrete stimuli, which were controlled for most of the variables that have been shown to affect performance on lexical-semantic tasks. Our aims were to compare the patients׳ performance on abstract and concrete stimuli and to assess category-effects within the abstract and concrete domains. The results showed: (i) a better performance on abstract than concrete concepts in sv-PPA patients. (ii) Category-related effects in the abstract domain, with emotion concepts being preserved in AD and social relations being selectively impaired in sv-PPA. In addition, a living-non living dissociation may be (infrequently) observed in individual AD patients after controlling for an extensive set of potential confounds. Thus, differences between and within the concrete or abstract domain may be present in patients with semantic memory disorders, mirroring the different brain regions involved by the different pathologies.

  4. Argument structure and the representation of abstract semantics.

    Javier Rodríguez-Ferreiro

    Full Text Available According to the dual coding theory, differences in the ease of retrieval between concrete and abstract words are related to the exclusive dependence of abstract semantics on linguistic information. Argument structure can be considered a measure of the complexity of the linguistic contexts that accompany a verb. If the retrieval of abstract verbs relies more on the linguistic codes they are associated to, we could expect a larger effect of argument structure for the processing of abstract verbs. In this study, sets of length- and frequency-matched verbs including 40 intransitive verbs, 40 transitive verbs taking simple complements, and 40 transitive verbs taking sentential complements were presented in separate lexical and grammatical decision tasks. Half of the verbs were concrete and half were abstract. Similar results were obtained in the two tasks, with significant effects of imageability and transitivity. However, the interaction between these two variables was not significant. These results conflict with hypotheses assuming a stronger reliance of abstract semantics on linguistic codes. In contrast, our data are in line with theories that link the ease of retrieval with availability and robustness of semantic information.

  5. Argument structure and the representation of abstract semantics.

    Rodríguez-Ferreiro, Javier; Andreu, Llorenç; Sanz-Torrent, Mònica

    2014-01-01

    According to the dual coding theory, differences in the ease of retrieval between concrete and abstract words are related to the exclusive dependence of abstract semantics on linguistic information. Argument structure can be considered a measure of the complexity of the linguistic contexts that accompany a verb. If the retrieval of abstract verbs relies more on the linguistic codes they are associated to, we could expect a larger effect of argument structure for the processing of abstract verbs. In this study, sets of length- and frequency-matched verbs including 40 intransitive verbs, 40 transitive verbs taking simple complements, and 40 transitive verbs taking sentential complements were presented in separate lexical and grammatical decision tasks. Half of the verbs were concrete and half were abstract. Similar results were obtained in the two tasks, with significant effects of imageability and transitivity. However, the interaction between these two variables was not significant. These results conflict with hypotheses assuming a stronger reliance of abstract semantics on linguistic codes. In contrast, our data are in line with theories that link the ease of retrieval with availability and robustness of semantic information.

  6. Elements of abstract harmonic analysis

    Bachman, George

    2013-01-01

    Elements of Abstract Harmonic Analysis provides an introduction to the fundamental concepts and basic theorems of abstract harmonic analysis. In order to give a reasonably complete and self-contained introduction to the subject, most of the proofs have been presented in great detail thereby making the development understandable to a very wide audience. Exercises have been supplied at the end of each chapter. Some of these are meant to extend the theory slightly while others should serve to test the reader's understanding of the material presented. The first chapter and part of the second give

  7. Abstract Models of Transfinite Reductions

    Bahr, Patrick

    2010-01-01

    We investigate transfinite reductions in abstract reduction systems. To this end, we study two abstract models for transfinite reductions: a metric model generalising the usual metric approach to infinitary term rewriting and a novel partial order model. For both models we distinguish between...... a weak and a strong variant of convergence as known from infinitary term rewriting. Furthermore, we introduce an axiomatic model of reductions that is general enough to cover all of these models of transfinite reductions as well as the ordinary model of finite reductions. It is shown that...

  8. Abstracts from Rambam Research Day

    Shraga Blazer

    2015-01-01

    Full Text Available [Extract] This Supplement of Rambam Maimonides Medical Journal presents the abstracts from the Eleventh Rambam Research Day. These abstracts represent the newest basic and clinical research coming out of Rambam Health Care Campus—research that is the oxygen for education and development of today’s generation of physicians. Hence, the research presented on Rambam Research Day is a foundation for future generations to understand patient needs and improve treatment modalities. Bringing research from the bench to the bedside and from the bedside to the community is at the heart of Maimonides’ scholarly and ethical legacy.

  9. Analysis of Logic Programs Using Regular Tree Languages

    Gallagher, John Patrick

    2012-01-01

    The eld of nite tree automata provides fundamental notations and tools for reasoning about set of terms called regular or recognizable tree languages. We consider two kinds of analysis using regular tree languages, applied to logic programs. The rst approach is to try to discover automatically a ...... to the analysis is a program and a tree automaton, and the output is an abstract model of the program. These two contrasting abstract interpretations can be used in a wide range of analysis and verication problems.......The eld of nite tree automata provides fundamental notations and tools for reasoning about set of terms called regular or recognizable tree languages. We consider two kinds of analysis using regular tree languages, applied to logic programs. The rst approach is to try to discover automatically...... a tree automaton from a logic program, approximating its minimal Herbrand model. In this case the input for the analysis is a program, and the output is a tree automaton. The second approach is to expose or check properties of the program that can be expressed by a given tree automaton. The input...

  10. New Algorithms and Sparse Regularization for Synthetic Aperture Radar Imaging

    2015-10-26

    AFRL-AFOSR-VA-TR-2015-0343 New Algorithms and Sparse Regularization for Synthetic Aperture Radar Imaging Laurent Demanet MASSACHUSETTS INSTITUTE OF...26-10-2015 2. REPORT TYPE Final Performance 3. DATES COVERED (From - To) 14-06-2014 to 14-06-2015 4. TITLE AND SUBTITLE New Algorithms and Sparse...method must fail -- at the target detection task. The analysis identifies the algorithms that perform well, and those that don’t, even in the case of

  11. Does "Social Work Abstracts" Work?

    Holden, Gary; Barker, Kathleen; Covert-Vail, Lucinda; Rosenberg, Gary; Cohen, Stephanie A.

    2008-01-01

    Objective: The current study seeks to provide estimates of the adequacy of journal coverage in the Social Work Abstracts (SWA) database. Method: A total of 23 journals listed in the Journal Citation Reports social work category during the 1997 to 2005 period were selected for study. Issue-level coverage estimates were obtained for SWA and…

  12. Abstract Interpretation of Mobile Ambients

    Hansen, René Rydhof; Jensen, J. G.; Nielson, Flemming

    1999-01-01

    We demonstrate that abstract interpretation is useful for analysing calculi of computation such as the ambient calculus (which is based on the p-calculus); more importantly, we show that the entire development can be expressed in a constraint-based formalism that is becoming exceedingly popular...

  13. Handedness Shapes Children's Abstract Concepts

    Casasanto, Daniel; Henetz, Tania

    2012-01-01

    Can children's handedness influence how they represent abstract concepts like "kindness" and "intelligence"? Here we show that from an early age, right-handers associate rightward space more strongly with positive ideas and leftward space with negative ideas, but the opposite is true for left-handers. In one experiment, children indicated where on…

  14. The Complexity of Abstract Machines

    Beniamino Accattoli

    2017-01-01

    Full Text Available The lambda-calculus is a peculiar computational model whose definition does not come with a notion of machine. Unsurprisingly, implementations of the lambda-calculus have been studied for decades. Abstract machines are implementations schema for fixed evaluation strategies that are a compromise between theory and practice: they are concrete enough to provide a notion of machine and abstract enough to avoid the many intricacies of actual implementations. There is an extensive literature about abstract machines for the lambda-calculus, and yet—quite mysteriously—the efficiency of these machines with respect to the strategy that they implement has almost never been studied. This paper provides an unusual introduction to abstract machines, based on the complexity of their overhead with respect to the length of the implemented strategies. It is conceived to be a tutorial, focusing on the case study of implementing the weak head (call-by-name strategy, and yet it is an original re-elaboration of known results. Moreover, some of the observation contained here never appeared in print before.

  15. Abstract Interpretation Using Attribute Grammar

    Rosendahl, Mads

    1990-01-01

    This paper deals with the correctness proofs of attribute grammars using methods from abstract interpretation. The technique will be described by defining a live-variable analysis for a small flow-chart language and proving it correct with respect to a continuation style semantics. The proof tech...

  16. Rolloff Roof Observatory Construction (Abstract)

    Ulowetz, J. H.

    2015-12-01

    (Abstract only) Lessons learned about building an observatory by someone with limited construction experience, and the advantages of having one for imaging and variable star studies. Sample results shown of composite light curves for cataclysmic variables UX UMa and V1101 Aql with data from my observatory combined with data from others around the world.

  17. Energy functions for regularization algorithms

    Delingette, H.; Hebert, M.; Ikeuchi, K.

    1991-01-01

    Regularization techniques are widely used for inverse problem solving in computer vision such as surface reconstruction, edge detection, or optical flow estimation. Energy functions used for regularization algorithms measure how smooth a curve or surface is, and to render acceptable solutions these energies must verify certain properties such as invariance with Euclidean transformations or invariance with parameterization. The notion of smoothness energy is extended here to the notion of a differential stabilizer, and it is shown that to void the systematic underestimation of undercurvature for planar curve fitting, it is necessary that circles be the curves of maximum smoothness. A set of stabilizers is proposed that meet this condition as well as invariance with rotation and parameterization.

  18. Regular Motions of Resonant Asteroids

    Ferraz-Mello, S.

    1990-11-01

    RESUMEN. Se revisan resultados analiticos relativos a soluciones regulares del problema asteroidal eliptico promediados en la vecindad de una resonancia con jupiten Mencionamos Ia ley de estructura para libradores de alta excentricidad, la estabilidad de los centros de liberaci6n, las perturbaciones forzadas por la excentricidad de jupiter y las 6rbitas de corotaci6n. ABSTRAC This paper reviews analytical results concerning the regular solutions of the elliptic asteroidal problem averaged in the neighbourhood of a resonance with jupiter. We mention the law of structure for high-eccentricity librators, the stability of the libration centers, the perturbations forced by the eccentricity ofjupiter and the corotation orbits. Key words: ASThROIDS

  19. Maximum mutual information regularized classification

    Wang, Jim Jing-Yan

    2014-09-07

    In this paper, a novel pattern classification approach is proposed by regularizing the classifier learning to maximize mutual information between the classification response and the true class label. We argue that, with the learned classifier, the uncertainty of the true class label of a data sample should be reduced by knowing its classification response as much as possible. The reduced uncertainty is measured by the mutual information between the classification response and the true class label. To this end, when learning a linear classifier, we propose to maximize the mutual information between classification responses and true class labels of training samples, besides minimizing the classification error and reducing the classifier complexity. An objective function is constructed by modeling mutual information with entropy estimation, and it is optimized by a gradient descend method in an iterative algorithm. Experiments on two real world pattern classification problems show the significant improvements achieved by maximum mutual information regularization.

  20. Central charges in regular mechanics

    Cabo-Montes de Oca, Alejandro; Villanueva, V M

    1997-01-01

    We consider the algebra associated to a group of transformations which are symmetries of a regular mechanical system (i.e. system free of constraints). For time dependent coordinate transformations we show that a central extension may appear at the classical level which is coordinate and momentum independent. A cochain formalism naturally arises in the argument and extends the usual configuration space cochain concepts to phase space.

  1. Fast regularized image interpolation method

    Hongchen Liu; Yong Feng; Linjing Li

    2007-01-01

    The regularized image interpolation method is widely used based on the vector interpolation model in which down-sampling matrix has very large dimension and needs large storage consumption and higher computation complexity. In this paper, a fast algorithm for image interpolation based on the tensor product of matrices is presented, which transforms the vector interpolation model to matrix form. The proposed algorithm can extremely reduce the storage requirement and time consumption. The simulation results verify their validity.

  2. Efficient Hyperelastic Regularization for Registration

    Darkner, Sune; Hansen, Michael S; Larsen, Rasmus;

    2011-01-01

    For most image registration problems a smooth one-to-one mapping is desirable, a diffeomorphism. This can be obtained using priors such as volume preservation, certain kinds of elasticity or both. The key principle is to regularize the strain of the deformation which can be done through penalizat......For most image registration problems a smooth one-to-one mapping is desirable, a diffeomorphism. This can be obtained using priors such as volume preservation, certain kinds of elasticity or both. The key principle is to regularize the strain of the deformation which can be done through...... penalization of the eigen values of the stress tensor. We present a computational framework for regularization of image registration for isotropic hyper elasticity. We formulate an efficient and parallel scheme for computing the principal stain based for a given parameterization by decomposing the left Cauchy...... elastic priors such at the Saint Vernant Kirchoff model, the Ogden material model or Riemanian elasticity. We exemplify the approach through synthetic registration and special tests as well as registration of different modalities; 2D cardiac MRI and 3D surfaces of the human ear. The artificial examples...

  3. From Dimensional to Cut-Off Regularization

    Dillig, M

    2006-01-01

    We extent the standard approach of dimensional regularization of Feynman diagrams: we replace the transition to lower dimensions by a 'natural' cut-off regulator. Introducing an external regulator of mass Lambda^(2e), we regain in the limit e -> 0 and e > 0 the results of dimensional and cut-off regularization, respectively. We demonstrate the versatility and adequacy of the different regularization schemes for practical examples (such as non covariant regularization, the axial anomaly or regularization in effective field theories).

  4. Learning abstract algebra with ISETL

    Dubinsky, Ed

    1994-01-01

    Most students in abstract algebra classes have great difficulty making sense of what the instructor is saying. Moreover, this seems to remain true almost independently of the quality of the lecture. This book is based on the constructivist belief that, before students can make sense of any presentation of abstract mathematics, they need to be engaged in mental activities which will establish an experiential base for any future verbal explanation. No less, they need to have the opportunity to reflect on their activities. This approach is based on extensive theoretical and empirical studies as well as on the substantial experience of the authors in teaching astract algebra. The main source of activities in this course is computer constructions, specifically, small programs written in the mathlike programming language ISETL; the main tool for reflections is work in teams of 2-4 students, where the activities are discussed and debated. Because of the similarity of ISETL expressions to standard written mathematics...

  5. Regularization methods in Banach spaces

    Schuster, Thomas; Hofmann, Bernd; Kazimierski, Kamil S

    2012-01-01

    Regularization methods aimed at finding stable approximate solutions are a necessary tool to tackle inverse and ill-posed problems. Usually the mathematical model of an inverse problem consists of an operator equation of the first kind and often the associated forward operator acts between Hilbert spaces. However, for numerous problems the reasons for using a Hilbert space setting seem to be based rather on conventions than on an approprimate and realistic model choice, so often a Banach space setting would be closer to reality. Furthermore, sparsity constraints using general Lp-norms or the B

  6. Regularized degenerate multi-solitons

    Correa, Francisco

    2016-01-01

    We report complex PT-symmetric multi-soliton solutions to the Korteweg de-Vries equation that asymptotically contain one-soliton solutions, with each of them possessing the same amount of finite real energy. We demonstrate how these solutions originate from degenerate energy solutions of the Schroedinger equation. Technically this is achieved by the application of Darboux-Crum transformations involving Jordan states with suitable regularizing shifts. Alternatively they may be constructed from a limiting process within the context Hirota's direct method or on a nonlinear superposition obtained from multiple Baecklund transformations. The proposed procedure is completely generic and also applicable to other types of nonlinear integrable systems.

  7. Academic Training Lecture - Regular Programme

    PH Department

    2011-01-01

    Regular Lecture Programme 9 May 2011 ACT Lectures on Detectors - Inner Tracking Detectors by Pippa Wells (CERN) 10 May 2011 ACT Lectures on Detectors - Calorimeters (2/5) by Philippe Bloch (CERN) 11 May 2011 ACT Lectures on Detectors - Muon systems (3/5) by Kerstin Hoepfner (RWTH Aachen) 12 May 2011 ACT Lectures on Detectors - Particle Identification and Forward Detectors by Peter Krizan (University of Ljubljana and J. Stefan Institute, Ljubljana, Slovenia) 13 May 2011 ACT Lectures on Detectors - Trigger and Data Acquisition (5/5) by Dr. Brian Petersen (CERN) from 11:00 to 12:00 at CERN ( Bldg. 222-R-001 - Filtration Plant )

  8. Abstract commensurators of braid groups

    Leininger, Christopher J; Margalit, Dan

    2005-01-01

    Let B_n be the braid group on n strands, with n at least 4, and let Mod(S) be the extended mapping class group of the sphere with n+1 punctures. We show that the abstract commensurator of B_n is isomorphic to a semidirect product of Mod(S) with a group we refer to as the transvection subgroup, Tv(B_n). We also show that Tv(B_n) is itself isomorphic to a semidirect product of an infinite dimensional rational vector space with the multiplicative group of nonzero rational numbers.

  9. Operating System Abstraction Layer (OSAL)

    Yanchik, Nicholas J.

    2007-01-01

    This viewgraph presentation reviews the concept of the Operating System Abstraction Layer (OSAL) and its benefits. The OSAL is A small layer of software that allows programs to run on many different operating systems and hardware platforms It runs independent of the underlying OS & hardware and it is self-contained. The benefits of OSAL are that it removes dependencies from any one operating system, promotes portable, reusable flight software. It allows for Core Flight software (FSW) to be built for multiple processors and operating systems. The presentation discusses the functionality, the various OSAL releases, and describes the specifications.

  10. Affective priming using facial expressions modulates liking for abstract art.

    Albert Flexas

    Full Text Available We examined the influence of affective priming on the appreciation of abstract artworks using an evaluative priming task. Facial primes (showing happiness, disgust or no emotion were presented under brief (Stimulus Onset Asynchrony, SOA = 20 ms and extended (SOA = 300 ms conditions. Differences in aesthetic liking for abstract paintings depending on the emotion expressed in the preceding primes provided a measure of the priming effect. The results showed that, for the extended SOA, artworks were liked more when preceded by happiness primes and less when preceded by disgust primes. Facial expressions of happiness, though not of disgust, exerted similar effects in the brief SOA condition. Subjective measures and a forced-choice task revealed no evidence of prime awareness in the suboptimal condition. Our results are congruent with findings showing that the affective transfer elicited by priming biases evaluative judgments, extending previous research to the domain of aesthetic appreciation.

  11. Affective priming using facial expressions modulates liking for abstract art.

    Flexas, Albert; Rosselló, Jaume; Christensen, Julia F; Nadal, Marcos; Olivera La Rosa, Antonio; Munar, Enric

    2013-01-01

    We examined the influence of affective priming on the appreciation of abstract artworks using an evaluative priming task. Facial primes (showing happiness, disgust or no emotion) were presented under brief (Stimulus Onset Asynchrony, SOA = 20 ms) and extended (SOA = 300 ms) conditions. Differences in aesthetic liking for abstract paintings depending on the emotion expressed in the preceding primes provided a measure of the priming effect. The results showed that, for the extended SOA, artworks were liked more when preceded by happiness primes and less when preceded by disgust primes. Facial expressions of happiness, though not of disgust, exerted similar effects in the brief SOA condition. Subjective measures and a forced-choice task revealed no evidence of prime awareness in the suboptimal condition. Our results are congruent with findings showing that the affective transfer elicited by priming biases evaluative judgments, extending previous research to the domain of aesthetic appreciation.

  12. Manifold Regularized Experimental Design for Active Learning.

    Zhang, Lining; Shum, Hubert P H; Shao, Ling

    2016-12-02

    Various machine learning and data mining tasks in classification require abundant data samples to be labeled for training. Conventional active learning methods aim at labeling the most informative samples for alleviating the labor of the user. Many previous studies in active learning select one sample after another in a greedy manner. However, this is not very effective because the classification models has to be retrained for each newly labeled sample. Moreover, many popular active learning approaches utilize the most uncertain samples by leveraging the classification hyperplane of the classifier, which is not appropriate since the classification hyperplane is inaccurate when the training data are small-sized. The problem of insufficient training data in real-world systems limits the potential applications of these approaches. This paper presents a novel method of active learning called manifold regularized experimental design (MRED), which can label multiple informative samples at one time for training. In addition, MRED gives an explicit geometric explanation for the selected samples to be labeled by the user. Different from existing active learning methods, our method avoids the intrinsic problems caused by insufficiently labeled samples in real-world applications. Various experiments on synthetic datasets, the Yale face database and the Corel image database have been carried out to show how MRED outperforms existing methods.

  13. Robust integral stabilization of regular linear systems

    XU Chengzheng; FENG Dexing

    2004-01-01

    We consider regular systems with control and observation. We prove some necessary and sufficient condition for an exponentially stable regular system to admit an integral stabilizing controller. We propose also some robust integral controllers when they exist.

  14. Generalization performance of regularized neural network models

    Larsen, Jan; Hansen, Lars Kai

    1994-01-01

    Architecture optimization is a fundamental problem of neural network modeling. The optimal architecture is defined as the one which minimizes the generalization error. This paper addresses estimation of the generalization performance of regularized, complete neural network models. Regularization...

  15. On Comparison of Adaptive Regularization Methods

    Sigurdsson, Sigurdur; Larsen, Jan; Hansen, Lars Kai

    2000-01-01

    , a very flexible regularization may substitute the need for selection procedures. This paper investigates recently suggested adaptive regularization schemes. Some methods focus directly on minimizing an estimate of the generalization error (either algebraic or empirical), whereas others start from...

  16. A FAST CONVERGENT METHOD OF ITERATED REGULARIZATION

    Huang Xiaowei; Wu Chuansheng; Wu Di

    2009-01-01

    This article presents a fast convergent method of iterated regularization based on the idea of Landweber iterated regularization, and a method for a-posteriori choice by the Morozov discrepancy principle and the optimum asymptotic convergence order of the regularized solution is obtained. Numerical test shows that the method of iterated regu-larization can quicken the convergence speed and reduce the calculation burden efficiently.

  17. Weakly and Strongly Regular Near-rings

    N.Argac; N.J.Groenewald

    2005-01-01

    In this paper, we prove some basic properties of left weakly regular near-rings.We give an affirmative answer to the question whether a left weakly regular near-ring with left unity and satisfying the IFP is also right weakly regular. In the last section, we use among others left 0-prime and left completely prime ideals to characterize strongly regular near-rings.

  18. Processing SPARQL queries with regular expressions in RDF databases

    Cho Hune

    2011-03-01

    Full Text Available Abstract Background As the Resource Description Framework (RDF data model is widely used for modeling and sharing a lot of online bioinformatics resources such as Uniprot (dev.isb-sib.ch/projects/uniprot-rdf or Bio2RDF (bio2rdf.org, SPARQL - a W3C recommendation query for RDF databases - has become an important query language for querying the bioinformatics knowledge bases. Moreover, due to the diversity of users’ requests for extracting information from the RDF data as well as the lack of users’ knowledge about the exact value of each fact in the RDF databases, it is desirable to use the SPARQL query with regular expression patterns for querying the RDF data. To the best of our knowledge, there is currently no work that efficiently supports regular expression processing in SPARQL over RDF databases. Most of the existing techniques for processing regular expressions are designed for querying a text corpus, or only for supporting the matching over the paths in an RDF graph. Results In this paper, we propose a novel framework for supporting regular expression processing in SPARQL query. Our contributions can be summarized as follows. 1 We propose an efficient framework for processing SPARQL queries with regular expression patterns in RDF databases. 2 We propose a cost model in order to adapt the proposed framework in the existing query optimizers. 3 We build a prototype for the proposed framework in C++ and conduct extensive experiments demonstrating the efficiency and effectiveness of our technique. Conclusions Experiments with a full-blown RDF engine show that our framework outperforms the existing ones by up to two orders of magnitude in processing SPARQL queries with regular expression patterns.

  19. REGULARITY FOR CERTAIN QUASILINEARELLIPTIC SYSTEMS OF DIVERGENCESTRUCTURE

    周树清; 冉启康

    2001-01-01

    The regularity of the gradient of H lder continuous solutions of quasi-linear elliptic systems of the form -Dj(aij(x, u, Du)Diuk) = -Difik + gkis investigated. Partial regularity and ε-regularity are shown to hold under the structural assumption-Dj(aij(x,u, Du)) = hi ∈ L∞.

  20. On the Construction of Regular Orthocryptogroups

    Xiang Zhi KONG

    2002-01-01

    The aim of this paper is to study regular orthocryptogroups. After obtaining some charac-terizations of such semigroups, we establish the construction theorem of regular orthocryptogroups. Asan application, we give the construction theorem of right quasi-normal orthocryptogroups and studyhomomorphisms between two regular orthocryptogroups.

  1. REGULAR RELATIONS AND MONOTONE NORMAL ORDERED SPACES

    XU XIAOQUAN; LIU YINGMING

    2004-01-01

    In this paper the classical theorem of Zareckii about regular relations is generalized and an intrinsic characterization of regularity is obtained. Based on the generalized Zareckii theorem and the intrinsic characterization of regularity, the authors give a characterization of monotone normality of ordered spaces. A new proof of the UrysohnNachbin lemma is presented which is quite different from the classical one.

  2. Counting Rooted Nearly 2-regular Planar Maps

    郝荣霞; 蔡俊亮

    2004-01-01

    The number of rooted nearly 2-regular maps with the valency of rootvertex, the number of non-rooted vertices and the valency of root-face as three parameters is obtained. Furthermore, the explicit expressions of the special cases including loopless nearly 2-regular maps and simple nearly 2-regular maps in terms of the above three parameters are derived.

  3. Regular Pentagons and the Fibonacci Sequence.

    French, Doug

    1989-01-01

    Illustrates how to draw a regular pentagon. Shows the sequence of a succession of regular pentagons formed by extending the sides. Calculates the general formula of the Lucas and Fibonacci sequences. Presents a regular icosahedron as an example of the golden ratio. (YP)

  4. Superior abstract-concept learning by Clark's nutcrackers (Nucifraga columbiana).

    Magnotti, John F; Katz, Jeffrey S; Wright, Anthony A; Kelly, Debbie M

    2015-05-01

    The ability to learn abstract relational concepts is fundamental to higher level cognition. In contrast to item-specific concepts (e.g. pictures containing trees versus pictures containing cars), abstract relational concepts are not bound to particular stimulus features, but instead involve the relationship between stimuli and therefore may be extrapolated to novel stimuli. Previous research investigating the same/different abstract concept has suggested that primates might be specially adapted to extract relations among items and would require fewer exemplars of a rule to learn an abstract concept than non-primate species. We assessed abstract-concept learning in an avian species, Clark's nutcracker (Nucifraga columbiana), using a small number of exemplars (eight pairs of the same rule, and 56 pairs of the different rule) identical to that previously used to compare rhesus monkeys, capuchin monkeys and pigeons. Nutcrackers as a group (N = 9) showed more novel stimulus transfer than any previous species tested with this small number of exemplars. Two nutcrackers showed full concept learning and four more showed transfer considerably above chance performance, indicating partial concept learning. These results show that the Clark's nutcracker, a corvid species well known for its amazing feats of spatial memory, learns the same/different abstract concept better than any non-human species (including non-human primates) yet tested on this same task.

  5. Regularized degenerate multi-solitons

    Correa, Francisco; Fring, Andreas

    2016-09-01

    We report complex {P}{T} -symmetric multi-soliton solutions to the Korteweg de-Vries equation that asymptotically contain one-soliton solutions, with each of them possessing the same amount of finite real energy. We demonstrate how these solutions originate from degenerate energy solutions of the Schrödinger equation. Technically this is achieved by the application of Darboux-Crum transformations involving Jordan states with suitable regularizing shifts. Alternatively they may be constructed from a limiting process within the context Hirota's direct method or on a nonlinear superposition obtained from multiple Bäcklund transformations. The proposed procedure is completely generic and also applicable to other types of nonlinear integrable systems.

  6. Modeling polycrystals with regular polyhedra

    Paulo Rangel Rios

    2006-06-01

    Full Text Available Polycrystalline structure is of paramount importance to materials science and engineering. It provides an important example of a space-filling irregular network structure that also occurs in foams as well as in certain biological tissues. Therefore, seeking an accurate description of the characteristics of polycrystals is of fundamental importance. Recently, one of the authors (MEG published a paper in which a method was devised of representation of irregular networks by regular polyhedra with curved faces. In Glicksman's method a whole class of irregular polyhedra with a given number of faces, N, is represented by a single symmetrical polyhedron with N curved faces. This paper briefly describes the topological and metric properties of these special polyhedra. They are then applied to two important problems of irregular networks: the dimensionless energy 'cost' of irregular networks, and the derivation of a 3D analogue of the von Neumann-Mullins equation for the growth rate of grains in a polycrystal.

  7. Natural frequency of regular basins

    Tjandra, Sugih S.; Pudjaprasetya, S. R.

    2014-03-01

    Similar to the vibration of a guitar string or an elastic membrane, water waves in an enclosed basin undergo standing oscillatory waves, also known as seiches. The resonant (eigen) periods of seiches are determined by water depth and geometry of the basin. For regular basins, explicit formulas are available. Resonance occurs when the dominant frequency of external force matches the eigen frequency of the basin. In this paper, we implement the conservative finite volume scheme to 2D shallow water equation to simulate resonance in closed basins. Further, we would like to use this scheme and utilizing energy spectra of the recorded signal to extract resonant periods of arbitrary basins. But here we first test the procedure for getting resonant periods of a square closed basin. The numerical resonant periods that we obtain are comparable with those from analytical formulas.

  8. Rhetorical Variation across Research Article Abstracts in Environmental Science and Applied Linguistics

    Saeeaw, Supachai; Tangkiengsirisin, Supong

    2014-01-01

    Abstract is of a pivotal genre in scientific communication, assisting not only highly selective readers with judgment of the pertinent articles but also researchers in disseminating new knowledge and intellectual discoveries. Difficult yet challenging, however, is the task of writing effective abstracts particularly among non-English speaking…

  9. The Influence of Developmental Aphasia in Training--With Special Reference to Abstract Thinking.

    Maddrell, David

    1982-01-01

    Three training methods differing in degree of abstraction (demonstration, slide-diagram, and diagram) were used to instruct adolescents (26 control and 21 aphasic) in the completion of two tasks. Results indicated that aphasics have a deficit of abstract thinking which can prove a handicap in training situations. Ten sources are cited. (EJS)

  10. Norddesign 2012 - Book of Abstract

    has been organized in line with the original ideas. The topics mentioned in the call for abstracts were: Product Development: Integrated, Multidisciplinary, Product life oriented and Distributed. Multi-product Development. Innovation and Business Models. Engineering Design and Industrial Design......Welcome to NordDesign2012. This conference is the ninth in a row of biannual conferences organized by technical universities in the Nordic region. The first conference was held in Helsinki in 1996, and at this initial conference it was agreed to organize 10 conferences before deciding on the future....... Conceptualisation and Innovative thinking. Research approaches and topics: Human Behaviour and Cognition. Cooperation and Multidisciplinary Design. Staging and Management of Design. Communication in Design. Design education and teaching: Programmes and Syllabuses. New Courses. Integrated and Multi-disciplinary. We...

  11. Computing abstractions of nonlinear systems

    Reißig, Gunther

    2009-01-01

    We present an efficient algorithm for computing discrete abstractions of arbitrary memory span for nonlinear discrete-time and sampled systems, in which, apart from possibly numerically integrating ordinary differential equations, the only nontrivial operation to be performed repeatedly is to distinguish empty from non-empty convex polyhedra. We also provide sufficient conditions for the convexity of attainable sets, which is an important requirement for the correctness of the method we propose. It turns out that requirement can be met under rather mild conditions, which essentially reduce to sufficient smoothness in the case of sampled systems. Practicability of our approach in the design of discrete controllers for continuous plants is demonstrated by an example.

  12. Transplantation as an abstract good

    Hoeyer, Klaus; Jensen, Anja Marie Bornø; Olejaz, Maria

    2015-01-01

    a more general salience in the organ transplant field by way of facilitating a perception of organ transplantation as an abstract moral good rather than a specific good for specific people. Furthermore, we suggest that multiple forms of ignorance sustain each other: a desire for ignorance with respect......This article investigates valuations of organ transfers that are currently seen as legitimising increasingly aggressive procurement methods in Denmark. Based on interviews with registered donors and the intensive care unit staff responsible for managing organ donor patients we identify three types...... to the prioritisation of recipients sustains pressure for more organs; this pressure necessitates more aggressive measures in organ procurement and these measures increase the need for ignorance in relation to the actual procedures as well as the actual recipients. These attempts to avoid knowledge are in remarkable...

  13. Automatic Probabilistic Program Verification through Random Variable Abstraction

    Barsotti, Damián; 10.4204/EPTCS.28.3

    2010-01-01

    The weakest pre-expectation calculus has been proved to be a mature theory to analyze quantitative properties of probabilistic and nondeterministic programs. We present an automatic method for proving quantitative linear properties on any denumerable state space using iterative backwards fixed point calculation in the general framework of abstract interpretation. In order to accomplish this task we present the technique of random variable abstraction (RVA) and we also postulate a sufficient condition to achieve exact fixed point computation in the abstract domain. The feasibility of our approach is shown with two examples, one obtaining the expected running time of a probabilistic program, and the other the expected gain of a gambling strategy. Our method works on general guarded probabilistic and nondeterministic transition systems instead of plain pGCL programs, allowing us to easily model a wide range of systems including distributed ones and unstructured programs. We present the operational and weakest pr...

  14. An Abstraction Theory for Qualitative Models of Biological Systems

    Banks, Richard; 10.4204/EPTCS.40.3

    2010-01-01

    Multi-valued network models are an important qualitative modelling approach used widely by the biological community. In this paper we consider developing an abstraction theory for multi-valued network models that allows the state space of a model to be reduced while preserving key properties of the model. This is important as it aids the analysis and comparison of multi-valued networks and in particular, helps address the well-known problem of state space explosion associated with such analysis. We also consider developing techniques for efficiently identifying abstractions and so provide a basis for the automation of this task. We illustrate the theory and techniques developed by investigating the identification of abstractions for two published MVN models of the lysis-lysogeny switch in the bacteriophage lambda.

  15. A Modal-Logic Based Graph Abstraction

    Bauer, J.; Boneva, I.B.; Kurban, M.E.; Rensink, A.; Ehrig, H.; Heckel, R.; Rozenberg, G.; Taentzer, G.

    2008-01-01

    Infinite or very large state spaces often prohibit the successful verification of graph transformation systems. Abstract graph transformation is an approach that tackles this problem by abstracting graphs to abstract graphs of bounded size and by lifting application of productions to abstract graphs

  16. Argonne Code Center: compilation of program abstracts

    Butler, M.K.; DeBruler, M.; Edwards, H.S.; Harrison, C. Jr.; Hughes, C.E.; Jorgensen, R.; Legan, M.; Menozzi, T.; Ranzini, L.; Strecok, A.J.

    1977-08-01

    This publication is the eleventh supplement to, and revision of, ANL-7411. It contains additional abstracts and revisions to some earlier abstracts and other pages. Sections of the complete document ANL-7411 are as follows: preface, history and acknowledgements, abstract format, recommended program package contents, program classification guide and thesaurus, and the abstract collection. (RWR)

  17. Efficient abstractions for visualization and interaction

    van der Ploeg, A.J.

    2015-01-01

    Abstractions, such as functions and methods, are an essential tool for any programmer. Abstractions encapsulate the details of a computation: the programmer only needs to know what the abstraction achieves, not how it achieves it. However, using abstractions can come at a cost: the resulting program

  18. Argonne Code Center: compilation of program abstracts

    Butler, M.K.; DeBruler, M.; Edwards, H.S.

    1976-08-01

    This publication is the tenth supplement to, and revision of, ANL-7411. It contains additional abstracts and revisions to some earlier abstracts and other pages. Sections of the document are as follows: preface; history and acknowledgements; abstract format; recommended program package contents; program classification guide and thesaurus; and abstract collection. (RWR)

  19. Spectral Regularization Algorithms for Learning Large Incomplete Matrices.

    Mazumder, Rahul; Hastie, Trevor; Tibshirani, Robert

    2010-03-01

    We use convex relaxation techniques to provide a sequence of regularized low-rank solutions for large-scale matrix completion problems. Using the nuclear norm as a regularizer, we provide a simple and very efficient convex algorithm for minimizing the reconstruction error subject to a bound on the nuclear norm. Our algorithm Soft-Impute iteratively replaces the missing elements with those obtained from a soft-thresholded SVD. With warm starts this allows us to efficiently compute an entire regularization path of solutions on a grid of values of the regularization parameter. The computationally intensive part of our algorithm is in computing a low-rank SVD of a dense matrix. Exploiting the problem structure, we show that the task can be performed with a complexity linear in the matrix dimensions. Our semidefinite-programming algorithm is readily scalable to large matrices: for example it can obtain a rank-80 approximation of a 10(6) × 10(6) incomplete matrix with 10(5) observed entries in 2.5 hours, and can fit a rank 40 approximation to the full Netflix training set in 6.6 hours. Our methods show very good performance both in training and test error when compared to other competitive state-of-the art techniques.

  20. Rapid transfer of abstract rules to novel contexts in human lateral prefrontal cortex

    Michael W. Cole

    2011-11-01

    Full Text Available Flexible, adaptive behavior is thought to rely on abstract rule representations within lateral prefrontal cortex (LPFC, yet it remains unclear how these representations provide such flexibility. We recently demonstrated that humans can learn complex novel tasks in seconds. Here we hypothesized that this impressive mental flexibility may be possible due to rapid transfer of practiced rule representations within LPFC to novel task contexts. We tested this hypothesis using functional MRI and multivariate pattern analysis, classifying LPFC activity patterns across 64 tasks. Classifiers trained to identify abstract rules based on practiced task activity patterns successfully generalized to novel tasks. This suggests humans can transfer practiced rule representations within LPFC to rapidly learn new tasks, facilitating cognitive performance in novel circumstances.

  1. Rapid Transfer of Abstract Rules to Novel Contexts in Human Lateral Prefrontal Cortex

    Cole, Michael W.; Etzel, Joset A.; Zacks, Jeffrey M.; Schneider, Walter; Braver, Todd S.

    2011-01-01

    Flexible, adaptive behavior is thought to rely on abstract rule representations within lateral prefrontal cortex (LPFC), yet it remains unclear how these representations provide such flexibility. We recently demonstrated that humans can learn complex novel tasks in seconds. Here we hypothesized that this impressive mental flexibility may be possible due to rapid transfer of practiced rule representations within LPFC to novel task contexts. We tested this hypothesis using functional MRI and multivariate pattern analysis, classifying LPFC activity patterns across 64 tasks. Classifiers trained to identify abstract rules based on practiced task activity patterns successfully generalized to novel tasks. This suggests humans can transfer practiced rule representations within LPFC to rapidly learn new tasks, facilitating cognitive performance in novel circumstances. PMID:22125519

  2. Improved prediction of drug-target interactions using regularized least squares integrating with kernel fusion technique

    Hao, Ming; Wang, Yanli, E-mail: ywang@ncbi.nlm.nih.gov; Bryant, Stephen H., E-mail: bryant@ncbi.nlm.nih.gov

    2016-02-25

    Identification of drug-target interactions (DTI) is a central task in drug discovery processes. In this work, a simple but effective regularized least squares integrating with nonlinear kernel fusion (RLS-KF) algorithm is proposed to perform DTI predictions. Using benchmark DTI datasets, our proposed algorithm achieves the state-of-the-art results with area under precision–recall curve (AUPR) of 0.915, 0.925, 0.853 and 0.909 for enzymes, ion channels (IC), G protein-coupled receptors (GPCR) and nuclear receptors (NR) based on 10 fold cross-validation. The performance can further be improved by using a recalculated kernel matrix, especially for the small set of nuclear receptors with AUPR of 0.945. Importantly, most of the top ranked interaction predictions can be validated by experimental data reported in the literature, bioassay results in the PubChem BioAssay database, as well as other previous studies. Our analysis suggests that the proposed RLS-KF is helpful for studying DTI, drug repositioning as well as polypharmacology, and may help to accelerate drug discovery by identifying novel drug targets. - Graphical abstract: Flowchart of the proposed RLS-KF algorithm for drug-target interaction predictions. - Highlights: • A nonlinear kernel fusion algorithm is proposed to perform drug-target interaction predictions. • Performance can further be improved by using the recalculated kernel. • Top predictions can be validated by experimental data.

  3. STRUCTURE OPTIMIZATION OF RESERVATION BY PRECISE QUADRATIC REGULARIZATION

    KOSOLAP A. I.

    2015-11-01

    Full Text Available The problem of optimization of the structure of systems redundancy elements. Such problems arise in the design of complex systems. To improve the reliability of operation of such systems of its elements are duplicated. This increases system cost and improves its reliability. When optimizing these systems is maximized probability of failure of the entire system while limiting its cost or the cost is minimized for a given probability of failure-free operation. A mathematical model of the problem is a discrete backup multiextremal. To search for the global extremum of currently used methods of Lagrange multipliers, coordinate descent, dynamic programming, random search. These methods guarantee a just and local solutions are used in the backup tasks of small dimension. In the work for solving redundancy uses a new method for accurate quadratic regularization. This method allows you to convert the original discrete problem to the maximization of multi vector norm on a convex set. This means that the diversity of the tasks given to the problem of redundancy maximize vector norm on a convex set. To solve the problem, a reformed straightdual interior point methods. Currently, it is the best method for local optimization of nonlinear problems. Transformed the task includes a new auxiliary variable, which is determined by dichotomy. There have been numerous comparative numerical experiments in problems with the number of redundant subsystems to one hundred. These experiments confirm the effectiveness of the method of precise quadratic regularization for solving problems of redundancy.

  4. Effect of regularization parameters on geophysical reconstruction

    Zhou Hui; Wang Zhaolei; Qiu Dongling; Li Guofa; Shen Jinsong

    2009-01-01

    In this paper we discuss the edge-preserving regularization method in the reconstruction of physical parameters from geophysical data such as seismic and ground-penetrating radar data.In the regularization method a potential function of model parameters and its corresponding functions are introduced.This method is stable and able to preserve boundaries, and protect resolution.The effect of regularization depends to a great extent on the suitable choice of regularization parameters.The influence of the edge-preserving parameters on the reconstruction results is investigated and the relationship between the regularization parameters and the error of data is described.

  5. Processing of Regular and Irregular Past-Tense Verb Forms in First and Second Language Reading Acquisition

    Zeeuw, E.M. de; Schreuder, R.; Verhoeven, L.T.W.

    2013-01-01

    We investigated written word identification of regular and irregular past-tense verb forms by first (L1) and second language (L2) learners of Dutch in third and sixth grade. Using a lexical decision task, we measured speed and accuracy in the identification of regular and irregular past-tense verb f

  6. Processing of Regular and Irregular Past-Tense Verb Forms in First and Second Language Reading Acquisition

    de Zeeuw, Marlies; Schreuder, Rob; Verhoeven, Ludo

    2013-01-01

    We investigated written word identification of regular and irregular past-tense verb forms by first (L1) and second language (L2) learners of Dutch in third and sixth grade. Using a lexical decision task, we measured speed and accuracy in the identification of regular and irregular past-tense verb forms by children from Turkish-speaking homes (L2…

  7. Regular Black Holes with Cosmological Constant

    MO Wen-Juan; CAI Rong-Gen; SU Ru-Keng

    2006-01-01

    We present a class of regular black holes with cosmological constant Λ in nonlinear electrodynamics. Instead of usual singularity behind black hole horizon, all fields and curvature invariants are regular everywhere for the regular black holes. Through gauge invariant approach, the linearly dynamical stability of the regular black hole is studied. In odd-parity sector, we find that the Λ term does not appear in the master equations of perturbations, which shows that the regular black hole is stable under odd-parity perturbations. On the other hand, for the even-parity sector, the master equations are more complicated than the case without the cosmological constant. We obtain the sufficient conditions for stability of the regular black hole. We also investigate the thermodynamic properties of the regular black hole, and find that those thermodynamic quantities do not satisfy the differential form of first law of black hole thermodynamics. The reason for violating the first law is revealed.

  8. Regularization Techniques for Linear Least-Squares Problems

    Suliman, Mohamed

    2016-04-01

    Linear estimation is a fundamental branch of signal processing that deals with estimating the values of parameters from a corrupted measured data. Throughout the years, several optimization criteria have been used to achieve this task. The most astonishing attempt among theses is the linear least-squares. Although this criterion enjoyed a wide popularity in many areas due to its attractive properties, it appeared to suffer from some shortcomings. Alternative optimization criteria, as a result, have been proposed. These new criteria allowed, in one way or another, the incorporation of further prior information to the desired problem. Among theses alternative criteria is the regularized least-squares (RLS). In this thesis, we propose two new algorithms to find the regularization parameter for linear least-squares problems. In the constrained perturbation regularization algorithm (COPRA) for random matrices and COPRA for linear discrete ill-posed problems, an artificial perturbation matrix with a bounded norm is forced into the model matrix. This perturbation is introduced to enhance the singular value structure of the matrix. As a result, the new modified model is expected to provide a better stabilize substantial solution when used to estimate the original signal through minimizing the worst-case residual error function. Unlike many other regularization algorithms that go in search of minimizing the estimated data error, the two new proposed algorithms are developed mainly to select the artifcial perturbation bound and the regularization parameter in a way that approximately minimizes the mean-squared error (MSE) between the original signal and its estimate under various conditions. The first proposed COPRA method is developed mainly to estimate the regularization parameter when the measurement matrix is complex Gaussian, with centered unit variance (standard), and independent and identically distributed (i.i.d.) entries. Furthermore, the second proposed COPRA

  9. Perceptual, semantic and affective dimensions of experience of abstract and representational paintings

    Marković Slobodan

    2011-01-01

    In this study the difference between representational and abstract paintings in judgments on perceptual, semantic and affective dimensions was investigated. Two groups of participants judged the sets of representational and abstract paintings on three groups of dimensions: perceptual (Form, Color, Space and Complexity), semantic (Illusion-Construction of Reality, Expression, Ideology and Decoration), and affective (Hedonic Tone, Arousal, Relaxation and Regularity). The results have show...

  10. SLAS Library Telescope Program (Abstract)

    Small, J. S.

    2016-12-01

    (Abstract only) In the fall of 2014, I submitted to the members of the St. Louis Astronomical Society to take the $1,000 profit we had from a convention we had hosted and use it to purchase three telescopes to modify for a Library Telescope program that was invented by Mark Stowbridge and promoted by the New Hampshire Astronomical Society. I had met Mark at NEAF in 2012 when he was walking the floor demonstrating the telescope. We held meetings with three libraries, the St. Louis County Library system, the St. Louis Public Library system and an independent library in Kirkwood, Missouri. The response was overwhelming! SLCL responded with a request for ten telescopes and SLPL asked for five. We did our first build in October, 2014 and placed a total of eighteen telescopes. Since that time, SLAS has placed a total of eighty-eight telescopes in library systems around the St. Louis Metro area, expanding into neighboring counties and across the river in Illinois. In this talk, I will discuss how to approach this project and put it in place in your libraries!

  11. ABSTRACT MODELS FOR SYSTEM VIRTUALIZATION

    M. G. Koveshnikov

    2015-05-01

    Full Text Available The paper is dedicated to issues of system objects securing (system files and user system or application configuration files against unauthorized access including denial of service attacks. We have suggested the method and developed abstract system virtualization models, which are used toresearch attack scenarios for different virtualization modes. Estimation for system tools virtualization technology effectiveness is given. Suggested technology is based on redirection of access requests to system objects shared among access subjects. Whole and partial system virtualization modes have been modeled. The difference between them is the following: in the whole virtualization mode all copies of access system objects are created whereon subjects’ requests are redirected including corresponding application objects;in the partial virtualization mode corresponding copies are created only for part of a system, for example, only system objects for applications. Alternative solutions effectiveness is valued relating to different attack scenarios. We consider proprietary and approved technical solution which implements system virtualization method for Microsoft Windows OS family. Administrative simplicity and capabilities of correspondingly designed system objects security tools are illustrated on this example. Practical significance of the suggested security method has been confirmed.

  12. An abstract approach to music.

    Kaper, H. G.; Tipei, S.

    1999-04-19

    In this article we have outlined a formal framework for an abstract approach to music and music composition. The model is formulated in terms of objects that have attributes, obey relationships, and are subject to certain well-defined operations. The motivation for this approach uses traditional terms and concepts of music theory, but the approach itself is formal and uses the language of mathematics. The universal object is an audio wave; partials, sounds, and compositions are special objects, which are placed in a hierarchical order based on time scales. The objects have both static and dynamic attributes. When we realize a composition, we assign values to each of its attributes: a (scalar) value to a static attribute, an envelope and a size to a dynamic attribute. A composition is then a trajectory in the space of aural events, and the complex audio wave is its formal representation. Sounds are fibers in the space of aural events, from which the composer weaves the trajectory of a composition. Each sound object in turn is made up of partials, which are the elementary building blocks of any music composition. The partials evolve on the fastest time scale in the hierarchy of partials, sounds, and compositions. The ideas outlined in this article are being implemented in a digital instrument for additive sound synthesis and in software for music composition. A demonstration of some preliminary results has been submitted by the authors for presentation at the conference.

  13. Learning regularized LDA by clustering.

    Pang, Yanwei; Wang, Shuang; Yuan, Yuan

    2014-12-01

    As a supervised dimensionality reduction technique, linear discriminant analysis has a serious overfitting problem when the number of training samples per class is small. The main reason is that the between- and within-class scatter matrices computed from the limited number of training samples deviate greatly from the underlying ones. To overcome the problem without increasing the number of training samples, we propose making use of the structure of the given training data to regularize the between- and within-class scatter matrices by between- and within-cluster scatter matrices, respectively, and simultaneously. The within- and between-cluster matrices are computed from unsupervised clustered data. The within-cluster scatter matrix contributes to encoding the possible variations in intraclasses and the between-cluster scatter matrix is useful for separating extra classes. The contributions are inversely proportional to the number of training samples per class. The advantages of the proposed method become more remarkable as the number of training samples per class decreases. Experimental results on the AR and Feret face databases demonstrate the effectiveness of the proposed method.

  14. Development of abstract mathematical reasoning: The case of algebra

    Ana eSusac

    2014-09-01

    Full Text Available Algebra typically represents the students’ first encounter with abstract mathematical reasoning and it therefore causes significant difficulties for students who still reason concretely. The aim of the present study was to investigate the developmental trajectory of the students’ ability to solve simple algebraic equations. 311 participants between the ages of 12 and 17 were given a computerized test of equation rearrangement. Equations consisted of an unknown and two other elements (numbers or letters, and the operations of multiplication/division. The obtained results showed that younger participants are less accurate and slower in solving equations with letters (symbols than those with numbers. This difference disappeared for older participants (16-17 years, suggesting that they had reached an abstract reasoning level, at least for this simple task. A corresponding conclusion arises from the analysis of their strategies which suggests that younger participants mostly used concrete strategies such as inserting numbers, while older participants typically used more abstract, rule-based strategies. These results indicate that the development of algebraic thinking is a process which unfolds over a long period of time. In agreement with previous research, we can conclude that, on average, children at the age of 15-16 transition from using concrete to abstract strategies while solving the algebra problems addressed within the present study. A better understanding of the timing and speed of students’ transition from concrete arithmetic reasoning to abstract algebraic reasoning might help in designing better curricula and teaching materials that would ease that transition.

  15. Development of abstract mathematical reasoning: the case of algebra.

    Susac, Ana; Bubic, Andreja; Vrbanc, Andrija; Planinic, Maja

    2014-01-01

    Algebra typically represents the students' first encounter with abstract mathematical reasoning and it therefore causes significant difficulties for students who still reason concretely. The aim of the present study was to investigate the developmental trajectory of the students' ability to solve simple algebraic equations. 311 participants between the ages of 13 and 17 were given a computerized test of equation rearrangement. Equations consisted of an unknown and two other elements (numbers or letters), and the operations of multiplication/division. The obtained results showed that younger participants are less accurate and slower in solving equations with letters (symbols) than those with numbers. This difference disappeared for older participants (16-17 years), suggesting that they had reached an abstract reasoning level, at least for this simple task. A corresponding conclusion arises from the analysis of their strategies which suggests that younger participants mostly used concrete strategies such as inserting numbers, while older participants typically used more abstract, rule-based strategies. These results indicate that the development of algebraic thinking is a process which unfolds over a long period of time. In agreement with previous research, we can conclude that, on average, children at the age of 15-16 transition from using concrete to abstract strategies while solving the algebra problems addressed within the present study. A better understanding of the timing and speed of students' transition from concrete arithmetic reasoning to abstract algebraic reasoning might help in designing better curricula and teaching materials that would ease that transition.

  16. Visual mismatch negativity reveals automatic detection of sequential regularity violation

    Gábor eStefanics

    2011-05-01

    Full Text Available Sequential regularities are abstract rules based on repeating sequences of environmental events, which are useful to make predictions about future events. As the processes underlying visual mismatch negativity (vMMN are sensitive to complex stimulus changes, this event-related potential component, like its auditory counterpart, may be an index of a primitive system of intelligence. Here we tested whether the visual system is capable to detect abstract sequential regularity in unattended stimulus sequences. In our first experiment we investigated the emergence of vMMN and other change-related activity to stimuli violating abstract rules. Red and green disk patterns were delivered in pairs. When in the majority of pairs the colors were identical within the pairs, deviant pairs with different colors for the second member of the pair elicited vMMN. Spatially more extended vMMN responses with longer latency were observed for deviants with 10% compared to 30% probability. In our second experiment utilizing oddball sequences, we tested the emergence of vMMN to violations of a concrete, feature-based rule of a repetition of a standard color. Deviant colors elicited a vMMN response in the oddball sequences. VMMN was larger for the second member of the pair, i.e. after a shorter stimulus onset asynchrony (SOA. This result corresponds to the expected SOA/(vMMN relationship. Our results show that the system underlying vMMN is sensitive to abstract probability rules and this component can be considered as a correlate of violated predictions about the characteristics of environmental events.

  17. Regularized Laplacian Estimation and Fast Eigenvector Approximation

    Perry, Patrick O

    2011-01-01

    Recently, Mahoney and Orecchia demonstrated that popular diffusion-based procedures to compute a quick \\emph{approximation} to the first nontrivial eigenvector of a data graph Laplacian \\emph{exactly} solve certain regularized Semi-Definite Programs (SDPs). In this paper, we extend that result by providing a statistical interpretation of their approximation procedure. Our interpretation will be analogous to the manner in which $\\ell_2$-regularized or $\\ell_1$-regularized $\\ell_2$-regression (often called Ridge regression and Lasso regression, respectively) can be interpreted in terms of a Gaussian prior or a Laplace prior, respectively, on the coefficient vector of the regression problem. Our framework will imply that the solutions to the Mahoney-Orecchia regularized SDP can be interpreted as regularized estimates of the pseudoinverse of the graph Laplacian. Conversely, it will imply that the solution to this regularized estimation problem can be computed very quickly by running, e.g., the fast diffusion-base...

  18. A multiplicative regularization for force reconstruction

    Aucejo, M.; De Smet, O.

    2017-02-01

    Additive regularizations, such as Tikhonov-like approaches, are certainly the most popular methods for reconstructing forces acting on a structure. These approaches require, however, the knowledge of a regularization parameter, that can be numerically computed using specific procedures. Unfortunately, these procedures are generally computationally intensive. For this particular reason, it could be of primary interest to propose a method able to proceed without defining any regularization parameter beforehand. In this paper, a multiplicative regularization is introduced for this purpose. By construction, the regularized solution has to be calculated in an iterative manner. In doing so, the amount of regularization is automatically adjusted throughout the resolution process. Validations using synthetic and experimental data highlight the ability of the proposed approach in providing consistent reconstructions.

  19. Hidden Regular Variation: Detection and Estimation

    Mitra, Abhimanyu

    2010-01-01

    Hidden regular variation defines a subfamily of distributions satisfying multivariate regular variation on $\\mathbb{E} = [0, \\infty]^d \\backslash \\{(0,0, ..., 0) \\} $ and models another regular variation on the sub-cone $\\mathbb{E}^{(2)} = \\mathbb{E} \\backslash \\cup_{i=1}^d \\mathbb{L}_i$, where $\\mathbb{L}_i$ is the $i$-th axis. We extend the concept of hidden regular variation to sub-cones of $\\mathbb{E}^{(2)}$ as well. We suggest a procedure of detecting the presence of hidden regular variation, and if it exists, propose a method of estimating the limit measure exploiting its semi-parametric structure. We exhibit examples where hidden regular variation yields better estimates of probabilities of risk sets.

  20. New Regularization Method in Electrical Impedance Tomography

    侯卫东; 莫玉龙

    2002-01-01

    Image reconstruction in elecrical impedance tomography(EIT)is a highly ill-posed inverse problem,Regularization techniques must be used in order to solve the problem,In this paper,a new regularization method based on the spatial filtering theory is proposed.The new regularized reconstruction for EIT is independent of the estimation of impedance distribution,so it can be implemented more easily than the maxiumum a posteriori(MAP) method.The regularization level in our proposed method varies spatially so as to be suited to the correlation character of the object's impedance distribution.We implemented our regularization method with two dimensional computer simulations.The experimental results indicate that the quality of the reconstructed impedance images with the descibed regularization method based on spatial filtering theory is better than that with Tikhonov method.

  1. Total variation regularization with bounded linear variations

    Makovetskii, Artyom; Voronin, Sergei; Kober, Vitaly

    2016-09-01

    One of the most known techniques for signal denoising is based on total variation regularization (TV regularization). A better understanding of TV regularization is necessary to provide a stronger mathematical justification for using TV minimization in signal processing. In this work, we deal with an intermediate case between one- and two-dimensional cases; that is, a discrete function to be processed is two-dimensional radially symmetric piecewise constant. For this case, the exact solution to the problem can be obtained as follows: first, calculate the average values over rings of the noisy function; second, calculate the shift values and their directions using closed formulae depending on a regularization parameter and structure of rings. Despite the TV regularization is effective for noise removal; it often destroys fine details and thin structures of images. In order to overcome this drawback, we use the TV regularization for signal denoising subject to linear signal variations are bounded.

  2. Regular Disjunction-Free Default Theories

    Xi-ShunZhao

    2004-01-01

    In this paper, the class of regular disjunction-free default theories is introduced and investigated. A transformation from regular default theories to normal default theories is established. The initial theory and the transformed theory have the same extensions when restricted to old variables. Hence, regular default theories enjoy some similar properties (e.g., existence of extensions, semi-monotonicity) as normal default theories. Then, a new algorithm for credulous reasoning of regular theories is developed. This algorithm runs in a time not more than O(1.45n), where n is the number of defaults. In case of regular prerequisite-free or semi-2CNF default theories, the credulous reasoning can be solved in polynomial time. However, credulous reasoning for semi-Horn default theories is shown to be NP-complete although it is tractable for Horn default theories. Moreover, skeptical reasoning for regular unary default theories is co-NP-complete.

  3. Regular Disjunction-Free Default Theories

    Xi-Shun Zhao

    2004-01-01

    In this paper, the class of regular disjunction-free default theories is introduced and investigated.A transformation from regular default theories to normal default theories is established. The initial theory and the transformed theory have the same extensions when restricted to old variables. Hence, regular default theories enjoy some similar properties (e.g., existence of extensions, semi-monotonicity) as normal default theories. Then,a new algorithm for credulous reasoning of regular theories is developed. This algorithm runs in a time not more than O(1.45n), where n is the number of defaults. In case of regular prerequisite-free or semi-2CNF default theories, the credulous reasoning can be solved in polynomial time. However, credulous reasoning for semi-Horn default theories is shown to be NP-complete although it is tractable for Horn default theories. Moreover, skeptical reasoning for regular unary default theories is co-NP-complete.

  4. Ambiguities in Pauli-Villars regularization

    Kleiss, Ronald H P

    2014-01-01

    We investigate regularization of scalar one-loop integrals in the Pauli- Villars subtraction scheme. The results depend on the number of sub- tractions, in particular the finite terms that survive after the diver- gences have been absorbed by renormalization. Therefore the process of Pauli-Villars regularization is ambiguous. We discuss how these am- biguities may be resolved by applying an asymptotically large number of subtractions, which results in a regularization that is automatically valid in any number of dimensions.

  5. Regularized brain reading with shrinkage and smoothing

    Wehbe, Leila; Ramdas, Aaditya; Steorts, Rebecca C.; Shalizi, Cosma Rohilla

    2014-01-01

    Functional neuroimaging measures how the brain responds to complex stimuli. However, sample sizes are modest, noise is substantial, and stimuli are high dimensional. Hence, direct estimates are inherently imprecise and call for regularization. We compare a suite of approaches which regularize via shrinkage: ridge regression, the elastic net (a generalization of ridge regression and the lasso), and a hierarchical Bayesian model based on small area estimation (SAE). We contrast regularization w...

  6. How to assess abstract conceptual knowledge: construction, standardization and validation of a new battery of semantic memory tests.

    Della Rosa, Pasquale Anthony; Catricalà, Eleonora; De Battisti, Silvia; Vinson, David; Vigliocco, Gabriela; Cappa, Stefano F

    2014-01-01

    The neuropsychological investigation of semantic memory has mainly focused on concrete concepts, while abstract concepts have been relatively neglected. We describe a new battery for assessing abstract concepts in brain-damaged patients. The battery includes three different tests: an association task, a multiplechoice naming-to-description task and a sentence completion task. The three tasks are based on the same 40 stimuli belonging to different categories of abstract concepts and they are tightly controlled for variables that can account for quantitative differences between abstract concepts (i.e. concreteness, imageability, context availability, familiarity, age of acquisition, mode of acquisition, emotional valence and arousal). The three tasks showed high reliability. Normative data were collected from 108 healthy Italian adults. To assess its sensitivity, the battery was administered to 13 patients with probable Alzheimer's disease who performed worse than matched controls. Significant correlations were also found between the tests and other semantic memory tests, supporting the validity of the battery.

  7. An algorithm for generating abstract syntax trees

    Noonan, R. E.

    1985-01-01

    The notion of an abstract syntax is discussed. An algorithm is presented for automatically deriving an abstract syntax directly from a BNF grammar. The implementation of this algorithm and its application to the grammar for Modula are discussed.

  8. Local and Nonlocal Regularization to Image Interpolation

    Yi Zhan

    2014-01-01

    Full Text Available This paper presents an image interpolation model with local and nonlocal regularization. A nonlocal bounded variation (BV regularizer is formulated by an exponential function including gradient. It acts as the Perona-Malik equation. Thus our nonlocal BV regularizer possesses the properties of the anisotropic diffusion equation and nonlocal functional. The local total variation (TV regularizer dissipates image energy along the orthogonal direction to the gradient to avoid blurring image edges. The derived model efficiently reconstructs the real image, leading to a natural interpolation which reduces blurring and staircase artifacts. We present experimental results that prove the potential and efficacy of the method.

  9. Regularization and error assignment to unfolded distributions

    Zech, Gunter

    2011-01-01

    The commonly used approach to present unfolded data only in graphical formwith the diagonal error depending on the regularization strength is unsatisfac-tory. It does not permit the adjustment of parameters of theories, the exclusionof theories that are admitted by the observed data and does not allow the com-bination of data from different experiments. We propose fixing the regulariza-tion strength by a p-value criterion, indicating the experimental uncertaintiesindependent of the regularization and publishing the unfolded data in additionwithout regularization. These considerations are illustrated with three differentunfolding and smoothing approaches applied to a toy example.

  10. The regularity of quotient paratopological groups

    Banakh, Taras

    2010-01-01

    Let $H$ be a closed subgroup of a regular abelian paratopological group $G$. The group reflexion $G^\\flat$ of $G$ is the group $G$ endowed with the strongest group topology, weaker that the original topology of $G$. We show that the quotient $G/H$ is Hausdorff (and regular) if $H$ is closed (and locally compact) in $G^\\flat$. On the other hand, we construct an example of a regular abelian paratopological group $G$ containing a closed discrete subgroup $H$ such that the quotient $G/H$ is Hausdorff but not regular.

  11. Branch Processes of Regular Magnetic Monopole

    MO Shu-Fan; REN Ji-Rong; ZHU Tao

    2009-01-01

    In this paper, by making use of Duan's topological current theory, the branch process of regular magnetic monopoles is discussed in detail Regular magnetic monopoles are found generating or annihilating at the limit point and encountering, splitting, or merging at the bifurcation point and the degenerate point systematically of the vector order parameter field φ(x).Furthermore, it is also shown that when regular magnetic monopoles split or merge at the degenerate point of field function φ, the total topological charges of the regular magnetic monopoles axe still unchanged.

  12. Ideal-comparability over Regular Rings

    Huan Yin CHEN; Miao Sen CHEN

    2006-01-01

    We introduce the concept of ideal-comparability condition for regular rings. Let I be an ideal of a regular ring R. If R satisfies the Ⅰ-comparability condition, then R is one-sided unit-regular if and only if so is R/I. Also, we show that a regular ring R satisfies the general comparability if and only if the following hold: (1) R/I satisfies the general comparability; (2) R satisfies the general Ⅰ-comparability condition; (3) The natural map B(R) → B(R/I) is surjective.

  13. Iterative Regularization with Minimum-Residual Methods

    Jensen, Toke Koldborg; Hansen, Per Christian

    2007-01-01

    We study the regularization properties of iterative minimum-residual methods applied to discrete ill-posed problems. In these methods, the projection onto the underlying Krylov subspace acts as a regularizer, and the emphasis of this work is on the role played by the basis vectors of these Krylov...... subspaces. We provide a combination of theory and numerical examples, and our analysis confirms the experience that MINRES and MR-II can work as general regularization methods. We also demonstrate theoretically and experimentally that the same is not true, in general, for GMRES and RRGMRES their success...... as regularization methods is highly problem dependent....

  14. Iterative regularization with minimum-residual methods

    Jensen, Toke Koldborg; Hansen, Per Christian

    2006-01-01

    We study the regularization properties of iterative minimum-residual methods applied to discrete ill-posed problems. In these methods, the projection onto the underlying Krylov subspace acts as a regularizer, and the emphasis of this work is on the role played by the basis vectors of these Krylov...... subspaces. We provide a combination of theory and numerical examples, and our analysis confirms the experience that MINRES and MR-II can work as general regularization methods. We also demonstrate theoretically and experimentally that the same is not true, in general, for GMRES and RRGMRES - their success...... as regularization methods is highly problem dependent....

  15. Introduction to abstract algebra, solutions manual

    Nicholson, W Keith

    2012-01-01

    Praise for the Third Edition ". . . an expository masterpiece of the highest didactic value that has gained additional attractivity through the various improvements . . ."-Zentralblatt MATH The Fourth Edition of Introduction to Abstract Algebra continues to provide an accessible approach to the basic structures of abstract algebra: groups, rings, and fields. The book's unique presentation helps readers advance to abstract theory by presenting concrete examples of induction, number theory, integers modulo n, and permutations before the abstract structures are defined. Readers can immediately be

  16. Sparse regularization techniques provide novel insights into outcome integration processes.

    Mohr, Holger; Wolfensteller, Uta; Frimmel, Steffi; Ruge, Hannes

    2015-01-01

    By exploiting information that is contained in the spatial arrangement of neural activations, multivariate pattern analysis (MVPA) can detect distributed brain activations which are not accessible by standard univariate analysis. Recent methodological advances in MVPA regularization techniques have made it feasible to produce sparse discriminative whole-brain maps with highly specific patterns. Furthermore, the most recent refinement, the Graph Net, explicitly takes the 3D-structure of fMRI data into account. Here, these advanced classification methods were applied to a large fMRI sample (N=70) in order to gain novel insights into the functional localization of outcome integration processes. While the beneficial effect of differential outcomes is well-studied in trial-and-error learning, outcome integration in the context of instruction-based learning has remained largely unexplored. In order to examine neural processes associated with outcome integration in the context of instruction-based learning, two groups of subjects underwent functional imaging while being presented with either differential or ambiguous outcomes following the execution of varying stimulus-response instructions. While no significant univariate group differences were found in the resulting fMRI dataset, L1-regularized (sparse) classifiers performed significantly above chance and also clearly outperformed the standard L2-regularized (dense) Support Vector Machine on this whole-brain between-subject classification task. Moreover, additional L2-regularization via the Elastic Net and spatial regularization by the Graph Net improved interpretability of discriminative weight maps but were accompanied by reduced classification accuracies. Most importantly, classification based on sparse regularization facilitated the identification of highly specific regions differentially engaged under ambiguous and differential outcome conditions, comprising several prefrontal regions previously associated with

  17. Efficient abstraction selection in reinforcement learning

    Seijen, H. van; Whiteson, S.; Kester, L.

    2013-01-01

    This paper introduces a novel approach for abstraction selection in reinforcement learning problems modelled as factored Markov decision processes (MDPs), for which a state is described via a set of state components. In abstraction selection, an agent must choose an abstraction from a set of candida

  18. Writing a Structured Abstract for the Thesis

    Hartley, James

    2010-01-01

    This article presents the author's suggestions on how to improve thesis abstracts. The author describes two books on writing abstracts: (1) "Creating Effective Conference Abstracts and Posters in Biomedicine: 500 tips for Success" (Fraser, Fuller & Hutber, 2009), a compendium of clear advice--a must book to have in one's hand as one prepares a…

  19. Sturm-Liouville problems for an abstract differential equation of elliptic type in UMD spaces

    2008-01-01

    In this paper we give some new results on Sturm-Liouville abstract problems of second-order differential equations of elliptic type in UMD spaces. Existence, uniqueness and maximal regularity of the strict solution are proved using the celebrated Dore-Venni theorem. This work completes the problems studied by Favini, Labbas, Maingot, Tanabe and Yagi under Dirichlet boundary conditions, see [6].

  20. Impulsivity and related neuropsychological features in regular and addictive first person shooter gaming.

    Metcalf, Olivia; Pammer, Kristen

    2014-03-01

    Putative cyber addictions are of significant interest. There remains little experimental research into excessive use of first person shooter (FPS) games, despite their global popularity. Moreover, the role between excessive gaming and impulsivity remains unclear, with previous research showing conflicting findings. The current study investigated performances on a number of neuropsychological tasks (go/no-go, continuous performance task, Iowa gambling task) and a trait measure of impulsivity for a group of regular FPS gamers (n=25), addicted FPS gamers (n=22), and controls (n=22). Gamers were classified using the Addiction-Engagement Questionnaire. Addicted FPS gamers had significantly higher levels of trait impulsivity on the Barratt Impulsiveness Scale compared to controls. Addicted FPS gamers also had significantly higher levels of disinhibition in a go/no-go task and inattention in a continuous performance task compared to controls, whereas the regular FPS gamers had better decision making on the Iowa gambling task compared to controls. The results indicate impulsivity is associated with FPS gaming addiction, comparable to pathological gambling. The relationship between impulsivity and excessive gaming may be unique to the FPS genre. Furthermore, regular FPS gaming may improve decision making ability.

  1. A Kernel Approach to Multi-Task Learning with Task-Specific Kernels

    Wei Wu; Hang Li; Yun-Hua Hu; Rong Jin

    2012-01-01

    Several kernel-based methods for multi-task learning have been proposed,which leverage relations among tasks as regularization to enhance the overall learning accuracies.These methods assume that the tasks share the same kernel,which could limit their applications because in practice different tasks may need different kernels.The main challenge of introducing multiple kernels into multiple tasks is that models from different reproducing kernel Hilbert spaces (RKHSs) are not comparable,making it difficult to exploit relations among tasks.This paper addresses the challenge by formalizing the problem in the square integrable space (SIS).Specially,it proposes a kernel-based method which makes use of a regularization term defined in SIS to represent task relations.We prove a new representer theorem for the proposed approach in SIS.We further derive a practical method for solving the learning problem and conduct consistency analysis of the method.We discuss the relationship between our method and an existing method.We also give an SVM (support vector machine)-based implementation of our method for multi-label classification.Experiments on an artificial example and two real-world datasets show that the proposed method performs better than the existing method.

  2. Communication and Agreement Abstractions for Fault-Tolerant Asynchronous Distributed Systems

    Raynal, Michel

    2010-01-01

    Understanding distributed computing is not an easy task. This is due to the many facets of uncertainty one has to cope with and master in order to produce correct distributed software. Considering the uncertainty created by asynchrony and process crash failures in the context of message-passing systems, the book focuses on the main abstractions that one has to understand and master in order to be able to produce software with guaranteed properties. These fundamental abstractions are communication abstractions that allow the processes to communicate consistently (namely the register abstraction

  3. Overview of the ID, EPI and REL tasks of BioNLP Shared Task 2011

    Pyysalo Sampo

    2012-06-01

    Full Text Available Abstract We present the preparation, resources, results and analysis of three tasks of the BioNLP Shared Task 2011: the main tasks on Infectious Diseases (ID and Epigenetics and Post-translational Modifications (EPI, and the supporting task on Entity Relations (REL. The two main tasks represent extensions of the event extraction model introduced in the BioNLP Shared Task 2009 (ST'09 to two new areas of biomedical scientific literature, each motivated by the needs of specific biocuration tasks. The ID task concerns the molecular mechanisms of infection, virulence and resistance, focusing in particular on the functions of a class of signaling systems that are ubiquitous in bacteria. The EPI task is dedicated to the extraction of statements regarding chemical modifications of DNA and proteins, with particular emphasis on changes relating to the epigenetic control of gene expression. By contrast to these two application-oriented main tasks, the REL task seeks to support extraction in general by separating challenges relating to part-of relations into a subproblem that can be addressed by independent systems. Seven groups participated in each of the two main tasks and four groups in the supporting task. The participating systems indicated advances in the capability of event extraction methods and demonstrated generalization in many aspects: from abstracts to full texts, from previously considered subdomains to new ones, and from the ST'09 extraction targets to other entities and events. The highest performance achieved in the supporting task REL, 58% F-score, is broadly comparable with levels reported for other relation extraction tasks. For the ID task, the highest-performing system achieved 56% F-score, comparable to the state-of-the-art performance at the established ST'09 task. In the EPI task, the best result was 53% F-score for the full set of extraction targets and 69% F-score for a reduced set of core extraction targets, approaching a level

  4. Research & writing basics: elements of the abstract.

    Krasner, D; Van Rijswijk, L

    1995-04-01

    Writing an abstract is a challenging skill that requires precision and care. Criteria for well-formulated abstracts and abstract guidelines for 2 types of articles (empirical studies and reviews or theoretical articles) as well as a description of the content of a structured abstract are presented. Details were gleaned from a review of the literature including the American Medical Association Manual of Style, Eighth Edition and the Publication Manual of the American Psychological Association, Fourth Edition. A good abstract is like a crystal: it is a clear, sharp synthesis that elucidates meaning for the reader.

  5. Automata Learning through Counterexample Guided Abstraction Refinement

    Aarts, Fides; Heidarian, Faranak; Kuppens, Harco

    2012-01-01

    Abstraction is the key when learning behavioral models of realistic systems. Hence, in most practical applications where automata learning is used to construct models of software components, researchers manually define abstractions which, depending on the history, map a large set of concrete events...... automatically – models of several realistic software components, including the biometric passport and the SIP protocol....... are allowed. Our approach uses counterexample-guided abstraction refinement: whenever the current abstraction is too coarse and induces nondeterministic behavior, the abstraction is refined automatically. Using Tomte, a prototype tool implementing our algorithm, we have succeeded to learn – fully...

  6. SAR image regularization with fast approximate discrete minimization.

    Denis, Loïc; Tupin, Florence; Darbon, Jérôme; Sigelle, Marc

    2009-07-01

    Synthetic aperture radar (SAR) images, like other coherent imaging modalities, suffer from speckle noise. The presence of this noise makes the automatic interpretation of images a challenging task and noise reduction is often a prerequisite for successful use of classical image processing algorithms. Numerous approaches have been proposed to filter speckle noise. Markov random field (MRF) modelization provides a convenient way to express both data fidelity constraints and desirable properties of the filtered image. In this context, total variation minimization has been extensively used to constrain the oscillations in the regularized image while preserving its edges. Speckle noise follows heavy-tailed distributions, and the MRF formulation leads to a minimization problem involving nonconvex log-likelihood terms. Such a minimization can be performed efficiently by computing minimum cuts on weighted graphs. Due to memory constraints, exact minimization, although theoretically possible, is not achievable on large images required by remote sensing applications. The computational burden of the state-of-the-art algorithm for approximate minimization (namely the alpha -expansion) is too heavy specially when considering joint regularization of several images. We show that a satisfying solution can be reached, in few iterations, by performing a graph-cut-based combinatorial exploration of large trial moves. This algorithm is applied to joint regularization of the amplitude and interferometric phase in urban area SAR images.

  7. Does semantic impairment explain surface dyslexia? VLSM evidence for a double dissociation between regularization errors in reading and semantic errors in picture naming

    Sara Pillay

    2014-04-01

    adjacent posterior inferior temporal gyrus (blue in figure 1. In contrast, semantic errors during picture naming (red and pink in figure 1 and impaired performance on the semantic matching task (yellow and pink in figure 1 were correlated with more anterior temporal lobe damage and with inferior frontal gyrus involvement. There was substantial overlap between lesion correlates for the two explicit semantic tasks (pink in figure 1, but none between these areas and those correlated with regularization errors. This double dissociation is difficult to accommodate in terms of a common impairment underlying semantic deficits and regularization errors. Lesions in relatively anterior temporal regions appear to produce semantic deficits but not regularization errors, whereas more posterior temporal lesions produce regularization errors but not explicit semantic errors. One possibility is that this posterior temporal region stores whole word representations that do not include semantic information. Alternatively, these representations may include highly abstract and word-specific semantic information useful for computing phonology but not for more complex semantic tasks.

  8. Fast and compact regular expression matching

    Bille, Philip; Farach-Colton, Martin

    2008-01-01

    We study 4 problems in string matching, namely, regular expression matching, approximate regular expression matching, string edit distance, and subsequence indexing, on a standard word RAM model of computation that allows logarithmic-sized words to be manipulated in constant time. We show how...

  9. Regularity of harmonic maps with the potential

    CHU; Yuming

    2006-01-01

    The aim of this work is to prove the partial regularity of the harmonic maps with potential. The main difficulty caused by the potential is how to find the equation satisfied by the scaling function. Under the assumption on the potential we can obtain the equation, however, for a general potential, even if it is smooth, the partial regularity is still open.

  10. On the Equivalence of Regularization Schemes

    YANG Ji-Feng

    2002-01-01

    We illustrate via the sunset diagram that dimensional regularization ‘deforms' the nonlocal contentsof multi-loop diagrams with its equivalence to cutoff regularization scheme recovered only after sub-divergence wassubtracted. Then we employed a differential equation approach for calculating loop diagrams to verify that dimensionalare argued especially in nonperturbativc perspective.

  11. Regularization algorithms based on total least squares

    Hansen, Per Christian; O'Leary, Dianne P.

    1996-01-01

    Discretizations of inverse problems lead to systems of linear equations with a highly ill-conditioned coefficient matrix, and in order to compute stable solutions to these systems it is necessary to apply regularization methods. Classical regularization methods, such as Tikhonov's method or trunc...

  12. Regular Decompositions for H(div) Spaces

    Kolev, Tzanio [Lawrence Livermore National Lab. (LLNL), Livermore, CA (United States). Center for Applied Scientific Computing; Vassilevski, Panayot [Lawrence Livermore National Lab. (LLNL), Livermore, CA (United States). Center for Applied Scientific Computing

    2012-01-01

    We study regular decompositions for H(div) spaces. In particular, we show that such regular decompositions are closely related to a previously studied “inf-sup” condition for parameter-dependent Stokes problems, for which we provide an alternative, more direct, proof.

  13. Adaptive regularization of noisy linear inverse problems

    Hansen, Lars Kai; Madsen, Kristoffer Hougaard; Lehn-Schiøler, Tue

    2006-01-01

    In the Bayesian modeling framework there is a close relation between regularization and the prior distribution over parameters. For prior distributions in the exponential family, we show that the optimal hyper-parameter, i.e., the optimal strength of regularization, satisfies a simple relation: T...

  14. 12 CFR 725.3 - Regular membership.

    2010-01-01

    ... 12 Banks and Banking 6 2010-01-01 2010-01-01 false Regular membership. 725.3 Section 725.3 Banks and Banking NATIONAL CREDIT UNION ADMINISTRATION REGULATIONS AFFECTING CREDIT UNIONS NATIONAL CREDIT UNION ADMINISTRATION CENTRAL LIQUIDITY FACILITY § 725.3 Regular membership. (a) A natural person...

  15. A regularized stationary mean-field game

    Yang, Xianjin

    2016-04-19

    In the thesis, we discuss the existence and numerical approximations of solutions of a regularized mean-field game with a low-order regularization. In the first part, we prove a priori estimates and use the continuation method to obtain the existence of a solution with a positive density. Finally, we introduce the monotone flow method and solve the system numerically.

  16. Perceptual, semantic and affective dimensions of experience of abstract and representational paintings

    Marković Slobodan

    2011-01-01

    Full Text Available In this study the difference between representational and abstract paintings in judgments on perceptual, semantic and affective dimensions was investigated. Two groups of participants judged the sets of representational and abstract paintings on three groups of dimensions: perceptual (Form, Color, Space and Complexity, semantic (Illusion-Construction of Reality, Expression, Ideology and Decoration, and affective (Hedonic Tone, Arousal, Relaxation and Regularity. The results have shown that representational paintings have higher judgments on the perceptual dimensions of Form and Complexity, the semantic dimension of the Illusion of Reality (the opposite pole of the Construction of Reality, and the affective dimension of Regularity. On the other hand, abstract paintings have higher judgments on the perceptual dimension of Color, the semantic dimensions of Construction of Reality (the opposite pole of the Illusion of Reality and Expression, and the affective dimension Arousal. A discriminant analysis indicated that all three sets of dimensions are relatively good predictors of the classification of representational and abstract paintings (61-100%. The results suggest that the subjective categorization of paintings is generally based on the recognizability of pictorial content (representational vs. abstract, but some formal or stylistic properties play a role in the categorization, as well: some expressionistic representational paintings were classified in an abstract category, and some geometrically abstract paintings were classified as representational.

  17. "Task" as Research Construct

    Seedhouse, Paul

    2005-01-01

    The article examines "task" as research construct as predominantly conceived in terms of task-as-workplan in the task-based learning/second language acquisition literature. It is suggested that "task" has weak construct validity and ontology in an overwhelmingly quantitative paradigm because the construct has a "split personality."…

  18. 2013 SYR Accepted Poster Abstracts.

    2013-01-01

    SYR 2013 Accepted Poster abstracts: 1. Benefits of Yoga as a Wellness Practice in a Veterans Affairs (VA) Health Care Setting: If You Build It, Will They Come? 2. Yoga-based Psychotherapy Group With Urban Youth Exposed to Trauma. 3. Embodied Health: The Effects of a Mind�Body Course for Medical Students. 4. Interoceptive Awareness and Vegetable Intake After a Yoga and Stress Management Intervention. 5. Yoga Reduces Performance Anxiety in Adolescent Musicians. 6. Designing and Implementing a Therapeutic Yoga Program for Older Women With Knee Osteoarthritis. 7. Yoga and Life Skills Eating Disorder Prevention Among 5th Grade Females: A Controlled Trial. 8. A Randomized, Controlled Trial Comparing the Impact of Yoga and Physical Education on the Emotional and Behavioral Functioning of Middle School Children. 9. Feasibility of a Multisite, Community based Randomized Study of Yoga and Wellness Education for Women With Breast Cancer Undergoing Chemotherapy. 10. A Delphi Study for the Development of Protocol Guidelines for Yoga Interventions in Mental Health. 11. Impact Investigation of Breathwalk Daily Practice: Canada�India Collaborative Study. 12. Yoga Improves Distress, Fatigue, and Insomnia in Older Veteran Cancer Survivors: Results of a Pilot Study. 13. Assessment of Kundalini Mantra and Meditation as an Adjunctive Treatment With Mental Health Consumers. 14. Kundalini Yoga Therapy Versus Cognitive Behavior Therapy for Generalized Anxiety Disorder and Co-Occurring Mood Disorder. 15. Baseline Differences in Women Versus Men Initiating Yoga Programs to Aid Smoking Cessation: Quitting in Balance Versus QuitStrong. 16. Pranayam Practice: Impact on Focus and Everyday Life of Work and Relationships. 17. Participation in a Tailored Yoga Program is Associated With Improved Physical Health in Persons With Arthritis. 18. Effects of Yoga on Blood Pressure: Systematic Review and Meta-analysis. 19. A Quasi-experimental Trial of a Yoga based Intervention to Reduce Stress and

  19. Decoding Concrete and Abstract Action Representations During Explicit and Implicit Conceptual Processing.

    Wurm, Moritz F; Ariani, Giacomo; Greenlee, Mark W; Lingnau, Angelika

    2016-08-01

    Action understanding requires a many-to-one mapping of perceived input onto abstract representations that generalize across concrete features. It is debated whether such abstract action concepts are encoded in ventral premotor cortex (PMv; motor hypothesis) or, alternatively, are represented in lateral occipitotemporal cortex (LOTC; cognitive hypothesis). We used fMRI-based multivoxel pattern analysis to decode observed actions at concrete and abstract, object-independent levels of representation. Participants observed videos of 2 actions involving 2 different objects, using either an explicit or implicit task with respect to conceptual action processing. We decoded concrete action representations by training and testing a classifier to discriminate between actions within each object category. To identify abstract action representations, we trained the classifier to discriminate actions in one object and tested the classifier on actions performed on the other object, and vice versa. Region-of-interest and searchlight analyses revealed decoding in LOTC at both concrete and abstract levels during both tasks, whereas decoding in PMv was restricted to the concrete level during the explicit task. In right inferior parietal cortex, decoding was significant for the abstract level during the explicit task. Our findings are incompatible with the motor hypothesis, but support the cognitive hypothesis of action understanding.

  20. Minimal regular 2-graphs and applications

    FAN; Hongbing; LIU; Guizhen; LIU; Jiping

    2006-01-01

    A 2-graph is a hypergraph with edge sizes of at most two. A regular 2-graph is said to be minimal if it does not contain a proper regular factor. Let f2(n) be the maximum value of degrees over all minimal regular 2-graphs of n vertices. In this paper, we provide a structure property of minimal regular 2-graphs, and consequently, prove that f2(n) = n+3-i/3where 1 ≤i≤6, i=n (mod 6) andn≥ 7, which solves a conjecture posed by Fan, Liu, Wu and Wong. As applications in graph theory, we are able to characterize unfactorable regular graphs and provide the best possible factor existence theorem on degree conditions. Moreover, f2(n) and the minimal 2-graphs can be used in the universal switch box designs, which originally motivated this study.

  1. On regularizations of the Dirac delta distribution

    Hosseini, Bamdad; Nigam, Nilima; Stockie, John M.

    2016-01-01

    In this article we consider regularizations of the Dirac delta distribution with applications to prototypical elliptic and hyperbolic partial differential equations (PDEs). We study the convergence of a sequence of distributions SH to a singular term S as a parameter H (associated with the support size of SH) shrinks to zero. We characterize this convergence in both the weak-* topology of distributions and a weighted Sobolev norm. These notions motivate a framework for constructing regularizations of the delta distribution that includes a large class of existing methods in the literature. This framework allows different regularizations to be compared. The convergence of solutions of PDEs with these regularized source terms is then studied in various topologies such as pointwise convergence on a deleted neighborhood and weighted Sobolev norms. We also examine the lack of symmetry in tensor product regularizations and effects of dissipative error in hyperbolic problems.

  2. More than Words: Fast Acquisition and Generalization of Orthographic Regularities during Novel Word Learning in Adults

    Laine, Matti; Polonyi, Tünde; Abari, Kálmán

    2014-01-01

    In literates, reading is a fundamental channel for acquiring new vocabulary both in the mother tongue and in foreign languages. By using an artificial language learning task, we examined the acquisition of novel written words and their embedded regularities (an orthographic surface feature and a syllabic feature) in three groups of university…

  3. Abstract quantum computing machines and quantum computational logics

    Chiara, Maria Luisa Dalla; Giuntini, Roberto; Sergioli, Giuseppe; Leporini, Roberto

    2016-06-01

    Classical and quantum parallelism are deeply different, although it is sometimes claimed that quantum Turing machines are nothing but special examples of classical probabilistic machines. We introduce the concepts of deterministic state machine, classical probabilistic state machine and quantum state machine. On this basis, we discuss the question: To what extent can quantum state machines be simulated by classical probabilistic state machines? Each state machine is devoted to a single task determined by its program. Real computers, however, behave differently, being able to solve different kinds of problems. This capacity can be modeled, in the quantum case, by the mathematical notion of abstract quantum computing machine, whose different programs determine different quantum state machines. The computations of abstract quantum computing machines can be linguistically described by the formulas of a particular form of quantum logic, termed quantum computational logic.

  4. ABSTRACTS WELDEL PIPE AND TUBE

    2001-01-01

    ABSTRACTS WELDEL PIPE AND TUBE Vol.24 No.3 May.2001 Huang Jingan(1) Strengthen, Intercourse, Coordination and Promote the Development Together Liang Aiyu(11) The Production and the Development of the Water supply pipe for City Construction From the aspects of the quality, appearance, environment protection, economic analysis etc., This article evaluates the galvanized pipe, plastic steel complex pipe, plastic aluminum pipe, stainless pipe for city water supply. In accordance with the requirements of the city construction programming and development, it is considered that the plastic aluminum pipe and plastic steel pipe instead of galvanization pipe is the trend of the development. The author also gives some constructive proposals for reference. Subject Terms:galvanized pipe complex pipe stainless pipe city water supply evaluation Zhao Rongbin,Li Guangjun(14) The TIG welding of Protected Tantalum-pipe for sheathed thermocouples used in corrosive environment The protected Tantalum-pipe welding of sheathed therocouples was investigated by TIG. The welding process and its key parameters were introduced. Welding quality influenced by processing was discussed. Subject Terms:welding protected Tantalum-pipe corrosion He Defu et al(18) Design and Research for An Automatic MIG Welding Machine of Catalyst Converter of Automobile Two different schemes for automatic MIG welding of catalyst converter of automobile have been compared and analysed. A design of automatic MIG welding machine used for catalyst converter of automobile has been suggested in this paper. Subject Terms:environmental protection automobile tri-catalyst converter MIG welding automatic welding PLC Fang Chucai(24) Cold Crack Analysis of Low Alloy High Strength Steel Weld Seam Heat Affected Area During the welding of low alloy high strength (X65 and above), the fine crack occurs in the weld (especially inner weld) and the low plastic hard brickle structure occurs in the Heat Affected Area (HAZ) sometime. This

  5. Quantitative regularities in floodplain formation

    Nevidimova, O.

    2009-04-01

    Quantitative regularities in floodplain formation Modern methods of the theory of complex systems allow to build mathematical models of complex systems where self-organizing processes are largely determined by nonlinear effects and feedback. However, there exist some factors that exert significant influence on the dynamics of geomorphosystems, but hardly can be adequately expressed in the language of mathematical models. Conceptual modeling allows us to overcome this difficulty. It is based on the methods of synergetic, which, together with the theory of dynamic systems and classical geomorphology, enable to display the dynamics of geomorphological systems. The most adequate for mathematical modeling of complex systems is the concept of model dynamics based on equilibrium. This concept is based on dynamic equilibrium, the tendency to which is observed in the evolution of all geomorphosystems. As an objective law, it is revealed in the evolution of fluvial relief in general, and in river channel processes in particular, demonstrating the ability of these systems to self-organization. Channel process is expressed in the formation of river reaches, rifts, meanders and floodplain. As floodplain is a periodically flooded surface during high waters, it naturally connects river channel with slopes, being one of boundary expressions of the water stream activity. Floodplain dynamics is inseparable from the channel dynamics. It is formed at simultaneous horizontal and vertical displacement of the river channel, that is at Y=Y(x, y), where х, y - horizontal and vertical coordinates, Y - floodplain height. When dу/dt=0 (for not lowering river channel), the river, being displaced in a horizontal plane, leaves behind a low surface, which flooding during high waters (total duration of flooding) changes from the maximum during the initial moment of time t0 to zero in the moment tn. In a similar manner changed is the total amount of accumulated material on the floodplain surface

  6. Ernst H. Gombrich on Abstract Painting

    Elisa Caldarola

    2015-11-01

    Full Text Available Ernst H. Gombrich criticized abstract painting with several remarks scattered around his wide oeuvre. I argue that his view of abstract paintings is coherent with the account of pictorial representation he put forward in Art and Illusion, show some limits of such view, and maintain that, although several of Gombrich’s criticisms of abstract painting should be rejected, some of his remarks are insightful and worth of consideration.

  7. Abstract Acceleration of General Linear Loops

    2014-01-01

    International audience; We present abstract acceleration techniques for computing loop invariants for numerical programs with linear assignments and conditionals. Whereas abstract interpretation techniques typically over-approximate the set of reachable states iteratively, abstract acceleration captures the effect of the loop with a single, non-iterative transfer function applied to the initial states at the loop head. In contrast to previous acceleration techniques, our approach applies to a...

  8. Ernst H. Gombrich on Abstract Painting

    Elisa Caldarola

    2015-01-01

    Ernst H. Gombrich criticized abstract painting with several remarks scattered around his wide oeuvre. I argue that his view of abstract paintings is coherent with the account of pictorial representation he put forward in Art and Illusion, show some limits of such view, and maintain that, although several of Gombrich’s criticisms of abstract painting should be rejected, some of his remarks are insightful and worth of consideration.

  9. Low power implementation of datapath using regularity

    LAI Li-ya; LIU Peng

    2005-01-01

    Datapath accounts for a considerable part of power consumption in VLSI circuit design. This paper presents a method for physical implementation of datapath to achieve low power consumption. Regularity is a characteristic of datapath and the key of the proposed method, where synthesis is tightly combined with placement to make full use of regularity, so that low power consumption is achieved. In This paper, a new concept of Synthesis In Relative Placement (SIRP) is given to deal with the semi-regularity in some datapath. Experimental results of a sample circuit validated the proposed method.

  10. Limitations on Dimensional Regularization in Renyi Entropy

    Bao, Ning

    2016-01-01

    Dimensional regularization is a common method used to regulate the UV divergence of field theoretic quantities. When it is used in the context of Renyi entropy, however, it is important to consider whether such a procedure eliminates the statistical interpretation thereof as a measure of entanglement of states living on a Hilbert space. We therefore examine the dimensionally regularized Renyi entropy of a 4d unitary CFT and show that it admits no underlying Hilbert space in the state-counting sense. This gives a concrete proof that dimensionally regularized Renyi entropy cannot always be obtained as a limit of the Renyi entropy of some finite-dimensional quantum system.

  11. REGULARIZATION OF SINGULAR SYSTEMS BY OUTPUT FEEDBACK

    De-lin Chu; Da-yong Cai

    2000-01-01

    Problem of regularization of a singular system by derivative and proportional output feedback is studied. Necessary and sufficient conditions are obtained under which a singular system can be regularized into a closed-loop system that is regular and of index at most one. The reduced form is given that can easily explore the system properties as well as the feedback to be determined. The main results of the present paper are based on orthogonal transformations. Therefore, they can be implemented by numerically stable ways.

  12. J-regular rings with injectivities

    Shen, Liang

    2010-01-01

    A ring $R$ is called a J-regular ring if R/J(R) is von Neumann regular, where J(R) is the Jacobson radical of R. It is proved that if R is J-regular, then (i) R is right n-injective if and only if every homomorphism from an $n$-generated small right ideal of $R$ to $R_{R}$ can be extended to one from $R_{R}$ to $R_{R}$; (ii) R is right FP-injective if and only if R is right (J, R)-FP-injective. Some known results are improved.

  13. Minimalism in architecture: Abstract conceptualization of architecture

    Vasilski Dragana

    2015-01-01

    Full Text Available Minimalism in architecture contains the idea of the minimum as a leading creative tend to be considered and interpreted in working through phenomena of empathy and abstraction. In the Western culture, the root of this idea is found in empathy of Wilhelm Worringer and abstraction of Kasimir Malevich. In his dissertation, 'Abstraction and Empathy' Worringer presented his thesis on the psychology of style through which he explained the two opposing basic forms: abstraction and empathy. His conclusion on empathy as a psychological basis of observation expression is significant due to the verbal congruence with contemporary minimalist expression. His intuition was enhenced furthermore by figure of Malevich. Abstraction, as an expression of inner unfettered inspiration, has played a crucial role in the development of modern art and architecture of the twentieth century. Abstraction, which is one of the basic methods of learning in psychology (separating relevant from irrelevant features, Carl Jung is used to discover ideas. Minimalism in architecture emphasizes the level of abstraction to which the individual functions are reduced. Different types of abstraction are present: in the form as well as function of the basic elements: walls and windows. The case study is an example of Sou Fujimoto who is unequivocal in its commitment to the autonomy of abstract conceptualization of architecture.

  14. Engineering Abstractions in Model Checking and Testing

    Achenbach, Michael; Ostermann, Klaus

    2009-01-01

    Abstractions are used in model checking to tackle problems like state space explosion or modeling of IO. The application of these abstractions in real software development processes, however, lacks engineering support. This is one reason why model checking is not widely used in practice yet...... and testing is still state of the art in falsification. We show how user-defined abstractions can be integrated into a Java PathFinder setting with tools like AspectJ or Javassist and discuss implications of remaining weaknesses of these tools. We believe that a principled engineering approach to designing...... and implementing abstractions will improve the applicability of model checking in practice....

  15. Injecting Abstract Interpretations into Linear Cost Models

    David Cachera

    2010-06-01

    Full Text Available We present a semantics based framework for analysing the quantitative behaviour of programs with regard to resource usage. We start from an operational semantics equipped with costs. The dioid structure of the set of costs allows for defining the quantitative semantics as a linear operator. We then present an abstraction technique inspired from abstract interpretation in order to effectively compute global cost information from the program. Abstraction has to take two distinct notions of order into account: the order on costs and the order on states. We show that our abstraction technique provides a correct approximation of the concrete cost computations.

  16. Analysis of complex networks using aggressive abstraction.

    Colbaugh, Richard; Glass, Kristin.; Willard, Gerald

    2008-10-01

    This paper presents a new methodology for analyzing complex networks in which the network of interest is first abstracted to a much simpler (but equivalent) representation, the required analysis is performed using the abstraction, and analytic conclusions are then mapped back to the original network and interpreted there. We begin by identifying a broad and important class of complex networks which admit abstractions that are simultaneously dramatically simplifying and property preserving we call these aggressive abstractions -- and which can therefore be analyzed using the proposed approach. We then introduce and develop two forms of aggressive abstraction: 1.) finite state abstraction, in which dynamical networks with uncountable state spaces are modeled using finite state systems, and 2.) onedimensional abstraction, whereby high dimensional network dynamics are captured in a meaningful way using a single scalar variable. In each case, the property preserving nature of the abstraction process is rigorously established and efficient algorithms are presented for computing the abstraction. The considerable potential of the proposed approach to complex networks analysis is illustrated through case studies involving vulnerability analysis of technological networks and predictive analysis for social processes.

  17. An ERP study of effects of regularity and consistency in delayed naming and lexicality judgment in a logographic writing system

    Yen Na eYum

    2014-04-01

    Full Text Available Phonological access is an important component in theories and models of word reading. However, phonological regularity and consistency effects are not clearly separable in alphabetic writing systems. We investigated these effects in Chinese, where the two variables are operationally distinct. In this orthographic system, regularity is defined as the congruence between the pronunciation of a complex character (or phonogram, and that of its phonetic radical, while phonological consistency indexes the proportion of orthographic neighbors that share the same pronunciation as the phonogram. In the current investigation, regularity and consistency were contrasted in an event-related potential (ERP study using a lexical decision task and a delayed naming task with native Chinese readers. ERP results showed that effects of regularity occurred early after stimulus onset and were long-lasting. Regular characters elicited larger N170, smaller P200, and larger N400 compared to irregular characters. In contrast, significant effects of consistency were only seen at the P200 and consistent characters showed a greater P200 than inconsistent characters. Thus, both the time course and the direction of the effects indicated that regularity and consistency operated under different mechanisms and were distinct constructs. Additionally, both of these phonological effects were only found in the delayed naming task and absent in lexical decision, suggesting that phonological access was non-obligatory for lexical decision. The study demonstrated cross-language variability in how phonological information was accessed from print and how task demands could influence this process.

  18. Computer Simulations and the Transition from Concrete Manipulation of Objects to Abstract Thinking in Elementary School Mathematics.

    Berlin, Donna; White, Arthur

    1986-01-01

    This study investigated the effects of combining interactive microcomputer simulations and concrete activities on the development of abstract thinking in elementary school mathematics. Students in grades 2-4 were assessed on tasks involving designs and patterns. (MNS)

  19. The fundamental theory of abstract majorization inequalities

    YANG DingHua

    2009-01-01

    Using the axiomatic method,abstract concepts such as abstract mean,abstract convex function and abstract majorization are proposed.They are the generalizations of concepts of mean,convex function and majorization,respectively.Through the logical deduction,the fundamental theorems about abstract majorization inequalities are established as follows:for arbitrary abstract mean ∑ and ∑',and abstract ∑→∑' strict convex function f(x) on the interval I,if xi,yi ∈ I(i = 1,2,...,n) satisfy that (x1,x2,...,xn) <∑n (y1,y2,...,yn),then ∑'{f(x1),f(x2),...,f(xn)}≥∑'{f(y1),f(y2),...,f(yn)}.This class of inequalities extends and generalizes the fundamental theorem of majorization inequalities.Moreover,concepts such as abstract vector mean are proposed,the fundamental theorems about abstract majorization inequalities are generalized to n-dimensional vector space.The fundamental theorem of majorization inequalities about the abstract vector mean are established as follows:for arbitrary symmetrical convex set S (∪) Rn,and n-variable abstract symmetrical -∑→∑' strict convex function ψ(-x) on S,if -x,-y ∈ S,satisfy -x<∑n-Y,then ψ(-x) ≥ψ(-y);if vector group -xi,-yi∈S (i = 1,2,...,m) satisfy {-x1,-x2,...,-xm}<-∑n{-y1,-y2,...,-ym},then ∑'{ψ(-x1),ψ(-x2),...,ψ(-xm)}≥∑'{ψ(-y1),ψ(-y2),...,ψ(-ym)}.

  20. The fundamental theory of abstract majorization inequalities

    2009-01-01

    Using the axiomatic method,abstract concepts such as abstract mean, abstract convex function and abstract majorization are proposed. They are the generalizations of concepts of mean, convex function and majorization, respectively. Through the logical deduction, the fundamental theorems about abstract majorization inequalities are established as follows: for arbitrary abstract mean Σ and Σ , and abstract Σ→Σ strict convex function f(x) on the interval I, if xi, yi ∈ I (i = 1, 2, . . . , n) satisfy that (x1, x2, . . . , xn) abstract vector mean are proposed, the fundamental theorems about abstract majorization inequalities are generalized to n-dimensional vector space. The fundamental theorem of majorization inequalities about the abstract vector mean are established as follows: for arbitrary symmetrical convex set S  Rn, and n-variable abstract symmetrical Σ→Σ strict convex function φ() on S, if , ■∈S satisfy nΣ■, then φ() 〈(■); if vector group i, ■i∈ S (i = 1, 2, . . . , m) satisfy {1, 2, . . . , m} 〈Σn {■1, ■2, . . . , ■m}, then Σ {φ(1), φ(2), . . . , φ(m)} Σ {φ(■1), φ(■2), . . . , φ(■m)}.

  1. Regularities and Radicals in Near-rings

    N.J. Groenewald

    2002-01-01

    Let F be a regularity for near-rings and F(R) the largest FR-regular ideal in R. In the first part of this paper, we introduce the concepts of maximal Fmodular ideals and F-primitive near-rings to characterize F(R) for any near-ring regularity F. Under certain conditions, F(R) is equal to the intersection of all the maximal F-modular ideals of R. As examples, we apply this to the different analogs of the Brown-McCoy radicals and also the Behrens radicals. In the last part of this paper, we show that for certain regularities, the class of F-primitive near-rings forms a special class.

  2. A Biordered Set Representation of Regular Semigroups

    Bing Jun YU; Mang XU

    2005-01-01

    In this paper, for an arbitrary regular biordered set E, by using biorder-isomorphisms between the ω-ideals of E, we construct a fundamental regular semigroup WE called NH-semigroup of E, whose idempotent biordered set is isomorphic to E. We prove further that WE can be used to give a new representation of general regular semigroups in the sense that, for any regular semigroup S with the idempotent biordered set isomorphic to E, there exists a homomorphism from S to WE whose kernel is the greatest idempotent-separating congruence on S and the image is a full symmetric subsemigroup of WE. Moreover, when E is a biordered set of a semilattice E0, WE is isomorphic to the Munn-semigroup TE0; and when E is the biordered set of a band B, WE is isomorphic to the Hall-semigroup WB.

  3. Spectral partitioning of random regular blockmodels

    Barucca, Paolo

    2016-01-01

    Graph partitioning problems emerge in a wide variety of complex systems, ranging from biology to finance, but can be rigorously analyzed and solved only for a few graph ensembles. Here, an ensemble of random graphs with regular block structure is introduced, for which analytical results can be obtained. In particular, the spectral density of such random regular blockmodels is computed exactly for a modular, bipartite and core-periphery structure. McKay's law for random regular graphs is found analytically to apply also for regular modular and bipartite structures when blocks are homogeneous. In core-periphery structures, where blocks are intrinsically heterogeneous, a new law is found to apply for the spectral density. Exact solution to the inference problem is provided for the models discussed. All analytical results show perfect agreement with numerical experiments. Final discussion summarizes results and outlines the relevance of the results for the solution of graph partitioning problems in other graph en...

  4. The regularization of Old English weak verbs

    Marta Tío Sáenz

    2015-07-01

    Full Text Available This article deals with the regularization of non-standard spellings of the verbal forms extracted from a corpus. It addresses the question of what the limits of regularization are when lemmatizing Old English weak verbs. The purpose of such regularization, also known as normalization, is to carry out lexicological analysis or lexicographical work. The analysis concentrates on weak verbs from the second class and draws on the lexical database of Old English Nerthus, which has incorporated the texts of the Dictionary of Old English Corpus. As regards the question of the limits of normalization, the solution adopted are, in the first place, that when it is necessary to regularize, normalization is restricted to correspondences based on dialectal and diachronic variation and, secondly, that normalization has to be unidirectional.

  5. Could Regular Pot Smoking Harm Vision?

    ... fullstory_162441.html Could Regular Pot Smoking Harm Vision? Study suggests that it might slow signaling among ... may be linked to a limited degree of vision impairment, a new French study suggests. The finding ...

  6. On π-regularity of General Rings

    CHEN WEI-XING; CUI SHU-YING

    2010-01-01

    A general ring means an associative ring with or without identity. An idempotent e in a general ring I is called left (right) semicentral if for every x∈ I,xe = exe (ex = exe). And I is called semiabelian ff every idempotent in I is left or right semicentral. It is proved that a semiabelian general ring I is π-regular if and only ff the set N(I) of nilpotent elements in I is an ideal of I and I/N(I) is regular. It follows that if I is a semiabelian general ring and K is an ideal of I,then I is π-regular if and only if both K and I/K are r-regular. Based on this we prove that every semiabelian GVNL-ring is an SGVNL-ring. These generalize several known results on the relevant subject. Furthermore we give a characterization of a semiabelian GVNL-ring.

  7. Comparability for ideals of regular rings

    CHEN Huanyin

    2005-01-01

    In this paper we investigate necessary and sufficient conditions under which the ideals possess comparability structure. For regular rings, we prove that every square matrix over ideals satisfying general comparability admits a diagonal reduction by quasi invertible matrices.

  8. Regularity of optimal transport maps and applications

    Philippis, Guido

    2013-01-01

    In this thesis, we study the regularity of optimal transport maps and its applications to the semi-geostrophic system. The first two chapters survey the known theory, in particular there is a self-contained proof of Brenier’ theorem on existence of optimal transport maps and of Caffarelli’s Theorem on Holder continuity of optimal maps. In the third and fourth chapter we start investigating Sobolev regularity of optimal transport maps, while in Chapter 5 we show how the above mentioned results allows to prove the existence of Eulerian solution to the semi-geostrophic equation. In Chapter 6 we prove partial regularity of optimal maps with respect to a generic cost functions (it is well known that in this case global regularity can not be expected). More precisely we show that if the target and source measure have smooth densities the optimal map is always smooth outside a closed set of measure zero.

  9. Graded effects of regularity in language revealed by N400 indices of morphological priming.

    Kielar, Aneta; Joanisse, Marc F

    2010-07-01

    Differential electrophysiological effects for regular and irregular linguistic forms have been used to support the theory that grammatical rules are encoded using a dedicated cognitive mechanism. The alternative hypothesis is that language systematicities are encoded probabilistically in a way that does not categorically distinguish rule-like and irregular forms. In the present study, this matter was investigated more closely by focusing specifically on whether the regular-irregular distinction in English past tenses is categorical or graded. We compared the ERP priming effects of regulars (baked-bake), vowel-change irregulars (sang-sing), and "suffixed" irregulars that display a partial regularity (suffixed irregular verbs, e.g., slept-sleep), as well as forms that are related strictly along formal or semantic dimensions. Participants performed a visual lexical decision task with either visual (Experiment 1) or auditory prime (Experiment 2). Stronger N400 priming effects were observed for regular than vowel-change irregular verbs, whereas suffixed irregulars tended to group with regular verbs. Subsequent analyses decomposed early versus late-going N400 priming, and suggested that differences among forms can be attributed to the orthographic similarity of prime and target. Effects of morphological relatedness were observed in the later-going time period, however, we failed to observe true regular-irregular dissociations in either experiment. The results indicate that morphological effects emerge from the interaction of orthographic, phonological, and semantic overlap between words.

  10. Extended abstracts Fall 2012 automorphisms of free groups

    Lustig, Martin; Ventura, Enric

    2014-01-01

    This volume features seventeen extended conference abstracts corresponding to selected talks given by participants at the CRM research program “Automorphisms of Free Groups: Algorithms, Geometry and Dynamics”, which took place at the Centre de Recerca Matemàtica in Barcelona in fall 2012. Most of them are short articles giving preliminary presentations of new results not yet published in regular research journals. The articles are the result from a direct collaboration among active researchers in the area after working in a dynamic and productive atmosphere. The book is intended for established researchers in the area of Group Theory, as well as for PhD and postdoc students who wish to learn more about the latest advances in this active area of research.

  11. Developing Creativity and Abstraction in Representing Data

    South, Andy

    2012-01-01

    Creating charts and graphs is all about visual abstraction: the process of representing aspects of data with imagery that can be interpreted by the reader. Children may need help making the link between the "real" and the image. This abstraction can be achieved using symbols, size, colour and position. Where the representation is close to what…

  12. Bounded Rationality of Generalized Abstract Fuzzy Economies

    Lei Wang

    2014-01-01

    Full Text Available By using a nonlinear scalarization technique, the bounded rationality model M for generalized abstract fuzzy economies in finite continuous spaces is established. Furthermore, by using the model M, some new theorems for structural stability and robustness to (λ,ϵ-equilibria of generalized abstract fuzzy economies are proved.

  13. Self-Concept Development: An Abstract Bibliography.

    Kremer, Barbara, Comp.

    This bibliography with abstracts has been compiled from documents in the ERIC microfiche collection and from journal literature. The abstracts of selected documents have been taken from "Research in Education" and journal citations have been taken from the "Current Index to Journals in Education." The material contained in the…

  14. A Brief Introduction to Chinese Biological Abstracts

    2005-01-01

    Chinese Biological Abstracts (CBA), a state-level indexing and abstracting journal published monthly, is jointly sponsored by the Library of the Chinese Academy of Sciences, the Shanghai Institutes for Biological Sciences as well as the Biological Information Network of the Chinese Academy of Sciences, published and distributed by the Shanghai Institutes for Biological Sciences, and approved by the State Scientific and Technological Commission.

  15. Abstracts of Selected Management Training Evaluations.

    Gast, Ilene

    Intended for evaluators--whether trainers, psychologists, management consultants or professors--this bibliography samples findings in management training evaluation between 1953 and 1975. It contains 28 abstracts of representative articles from journals in applied psychology and personnel management. Each abstract is a one-half to one-page…

  16. Tour the Galaxy of the Abstract.

    Kennedy, Patricia

    2003-01-01

    Describes an abstract art unit in which students in an introductory art course created abstract art inspired by the work of M. C. Escher. Explains that some students are unsure of their drawing ability. States this unit helps them overcome their fears. (CMK)

  17. Interactional Metadiscourse in Research Article Abstracts

    Gillaerts, Paul; Van de Velde, Freek

    2010-01-01

    This paper deals with interpersonality in research article abstracts analysed in terms of interactional metadiscourse. The evolution in the distribution of three prominent interactional markers comprised in Hyland's (2005a) model, viz. hedges, boosters and attitude markers, is investigated in three decades of abstract writing in the field of…

  18. Abstraction Power in Computer Science Education

    Bennedsen, Jens Benned; Caspersen, Michael Edelgaard

    2006-01-01

    The paper is a discussion of the hypothesis that a person’s abstraction power (or ability) has a positive influence on their ability to program.......The paper is a discussion of the hypothesis that a person’s abstraction power (or ability) has a positive influence on their ability to program....

  19. A case of seizures induced by abstract reasoning.

    Tatsuzawa, Yasutaka; Yoshino, Aihide; Nomura, Soichiro

    2010-04-01

    We describe a case of reflex seizures induced by abstract reasoning but not other cognitive processes. The patient, a 46-year-old man, experienced myoclonic seizures whenever he played shogi (Japanese chess). To identify the critical thought processes responsible for inducing his seizures, we monitored his clinical seizures and epileptiform discharges while he performed comprehensive neuropsychological tests, including the Wechsler Adult Intelligence Scale-Revised (WAIS-R), spatial working memory, mental rotation, and Wisconsin Card Sorting Test (WCST) tasks. A myoclonic seizure occurred only during the WCST. Generalized 3- to 5-Hz spike-and-slow-wave bursts occurred repeatedly during the Block Design subtest of the WAIS-R and the WCST, whereas no discharges occurred during other subtests of the WAIS-R including the calculation, spatial working memory, and mental rotation tasks. These results indicate that abstract reasoning, independent of other cognitive processes, could induce the patient's epileptiform discharges, suggesting that his reflex seizures might be a distinct subtype of nonverbal thinking-induced seizures.

  20. *-Regular Leavitt Path Algebras of Arbitrary Graphs

    Gonzalo ARANDA PINO; Kulumani RANGASWAMY; Lia VA(S)

    2012-01-01

    If K is a field with involution and E an arbitrary graph,the involution from K naturally induces an involution of the Leavitt path algebra LK(E).We show that the involution on LK(E) is proper if the involution on K is positive-definite,even in the case when the graph E is not necessarily finite or row-finite.It has been shown that the Leavitt path algebra LK(E) is regular if and only if E is acyclic.We give necessary and sufficient conditions for LK(E) to be *-regular (i.e.,regular with proper involution).This characterization of *-regularity of a Leavitt path algebra is given in terms of an algebraic property of K,not just a graph-theoretic property of E.This differs from the.known characterizations of various other algebraic properties of a Leavitt path algebra in terms of graphtheoretic properties of E alone.As a corollary,we show that Handelman's conjecture (stating that every *-regular ring is unit-regular) holds for Leavitt path algebras.Moreover,its generalized version for rings with local units also continues to hold for Leavitt path algebras over arbitrary graphs.