Verifying Temporal Regular Properties of Abstractions of Term Rewriting Systems
Boyer, Benoît; 10.4204/EPTCS.21.9
2010-01-01
The tree automaton completion is an algorithm used for proving safety properties of systems that can be modeled by a term rewriting system. This representation and verification technique works well for proving properties of infinite systems like cryptographic protocols or more recently on Java Bytecode programs. This algorithm computes a tree automaton which represents a (regular) over approximation of the set of reachable terms by rewriting initial terms. This approach is limited by the lack of information about rewriting relation between terms. Actually, terms in relation by rewriting are in the same equivalence class: there are recognized by the same state in the tree automaton. Our objective is to produce an automaton embedding an abstraction of the rewriting relation sufficient to prove temporal properties of the term rewriting system. We propose to extend the algorithm to produce an automaton having more equivalence classes to distinguish a term or a subterm from its successors w.r.t. rewriting. While g...
Concrete and abstract visualizations in history learning tasks
Prangsma, Maaike; Van Boxtel, Carla; Kanselaar, Gellof; Kirschner, Paul A.
2010-01-01
Prangsma, M. E., Van Boxtel, C. A. M., Kanselaar, G., & Kirschner, P. A. (2009). Concrete and abstract visualizations in history learning tasks. British Journal of Educational Psychology, 79, 371-387.
Statistical Regularities Attract Attention when Task-Relevant.
Alamia, Andrea; Zénon, Alexandre
2016-01-01
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 (RTs), 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 two 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. PMID:26903846
α-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.
Prior knowledge regularization in statistical medical image tasks
Crimi, A.; Sporring, J.; Bruijne, M. de; Lillholm, M.; Nielsen, Mads
2009-01-01
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...
Jos C. M. Baeten
2010-11-01
Full Text Available 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.
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.
Optimal Control with Regular Objectives Using an Abstraction-Refinement Approach
Leong, Yoke Peng; Prabhakar, Pavithra
2015-01-01
This paper presents a method to synthesize a sequence of control inputs for a discrete-time piecewise linear system equipped with a cost function, such that the controlled system behavior satisfies a finite-word linear-time temporal objective with minimal cost. An abstract finite state weighted transition system is constructed, such that the cost of the optimal control on the abstract system provides an upper bound on the cost of the optimal control for the original system. Specifically, the ...
Effects of Emotional Experience for Abstract Words in the Stroop Task
Siakaluk, Paul D.; Knol, Nathan; Pexman, Penny M.
2014-01-01
In this study, we examined the effects of emotional experience, a relatively new dimension of emotional knowledge that gauges the ease with which words evoke emotional experience, on abstract word processing in the Stroop task. In order to test the context-dependency of these effects, we accentuated the saliency of this dimension in Experiment 1A…
2011-01-01
A Preliminary Inquiry into the Intellectual Origins of Li Dazhao＇s My Idea of Marxism Abstract ;By translingual-textual comparison, this paper attempts to make a preliminary inquiry into the intellectual origins of Li Dazhao＇s My Idea of Marxism, suggesting that Li＇s article, instead of being ＂a complete copy＂ of the Japanese scholar
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
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
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,
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...... use of design techniques and models that employ the notion of interaction space. This design effort departed from the task models in an object-oriented model of the users’ problem and application domains. The lessons learned emphasize that the notion of interactions spaces is a useful abstraction...
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,
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
2012-01-01
The Relation between Individuals and Work Units in Stated-Owned Enterprises in Economic Transitional Pe- riod: Changes and their Influences Abstract: As a representation of extinction of work unit system, some dramatic changes have taken place on the rela- tion between individuals and work units in state-owned enterprises. Among many changes are the radical change of the way work unit stimulating and controlling its employees, the extinction of previous system supported by "work unit people", a tense relation between the employees and the work unit caused by the enterprise' s over-pursuit of performance. These changes result in such problems as grievous inequality, violation of personal interest, lack of mechanism for employees' voices and their low sense of belonging, which has brought unprecedented challenges for business administration and corpo- ration euhure development in China. Keywords: danwei/work unit; stimulate and control; relation between individuals and work units; work unit people
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.
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
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.
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.
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.
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.
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.
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.
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.
Well-Hidden Regularities: Abstract Uses of in and on Retain an Aspect of Their Spatial Meaning.
Jamrozik, Anja; Gentner, Dedre
2015-11-01
Prepositions name spatial relationships (e.g., book on a table). But they are also used to convey abstract, non-spatial relationships (e.g., Adrian is on a roll)-raising the question of how the abstract uses relate to the concrete spatial uses. Despite considerable success in delineating these relationships, no general account exists for the two most frequently extended prepositions: in and on. We test the proposal that what is preserved in abstract uses of these prepositions is the relative degree of control between the located object (the figure) and the reference object (the ground). Across four experiments, we find a continuum of greater figure control for on (e.g., Jordan is on a roll) and greater ground control for in (e.g., Casey is in a depression). These findings bear on accounts of semantic structure and language change, as well as on second language instruction. PMID:25600518
Pigeons perform poorly on a midsession reversal task without rigid temporal regularity.
McMillan, Neil; Sturdy, Christopher B; Pisklak, Jeffrey M; Spetch, Marcia L
2016-07-01
Animals make surprising anticipatory and perseverative errors when faced with a midsession reversal of reinforcer contingencies on a choice task with highly predictable stimulus-time relationships. In the current study, we asked whether pigeons would anticipate changes in reinforcement when the reinforcer contingencies for each stimulus were not fixed in time. We compared the responses of pigeons on a simultaneous choice task when the initially correct stimulus was randomized or alternated across sessions. Pigeons showed more errors overall compared with the typical results of a standard midsession reversal procedure, and they did not show the typical anticipatory errors prior to the contingency reversal. Probe tests that manipulated the spacing between trials also suggested that timing of the session exerted little control of pigeons' behavior. The temporal structure of the experimental session thus appears to be an important determinant for animals' use of time in midsession reversal procedures. PMID:26886221
Easy as ABCABC: Abstract Language Facilitates Performance on a Concrete Patterning Task
Fyfe, Emily R.; McNeil, Nicole M.; Rittle-Johnson, Bethany
2015-01-01
The labels used to describe patterns and relations can influence children's relational reasoning. In this study, 62 preschoolers (M[subscript age] = 4.4 years) solved and described eight pattern abstraction problems (i.e., recreated the relation in a model pattern using novel materials). Some children were exposed to concrete labels (e.g.,…
Jie Wang
2014-01-01
Full Text Available Due to the limited resources of wireless sensor network, low efficiency of real-time communication scheduling, poor safety defects, and so forth, a queuing performance evaluation approach based on regular expression match is proposed, which is a method that consists of matching preprocessing phase, validation phase, and queuing model of performance evaluation phase. Firstly, the subset of related sequence is generated in preprocessing phase, guiding the validation phase distributed matching. Secondly, in the validation phase, the subset of features clustering, the compressed matching table is more convenient for distributed parallel matching. Finally, based on the queuing model, the sensor networks of task scheduling dynamic performance are evaluated. Experiments show that our approach ensures accurate matching and computational efficiency of more than 70%; it not only effectively detects data packets and access control, but also uses queuing method to determine the parameters of task scheduling in wireless sensor networks. The method for medium scale or large scale distributed wireless node has a good applicability.
Multiple graph regularized protein domain ranking
Wang Jim; Bensmail Halima; Gao Xin
2012-01-01
Abstract 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 m...
2014-01-01
Due to the limited resources of wireless sensor network, low efficiency of real-time communication scheduling, poor safety defects, and so forth, a queuing performance evaluation approach based on regular expression match is proposed, which is a method that consists of matching preprocessing phase, validation phase, and queuing model of performance evaluation phase. Firstly, the subset of related sequence is generated in preprocessing phase, guiding the validation phase distributed matching...
Recurrent Neural Network Regularization
Zaremba, Wojciech; Sutskever, Ilya; Vinyals, Oriol
2014-01-01
We present a simple regularization technique for Recurrent Neural Networks (RNNs) with Long Short-Term Memory (LSTM) units. Dropout, the most successful technique for regularizing neural networks, does not work well with RNNs and LSTMs. In this paper, we show how to correctly apply dropout to LSTMs, and show that it substantially reduces overfitting on a variety of tasks. These tasks include language modeling, speech recognition, image caption generation, and machine translation.
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
Multiple graph regularized protein domain ranking
Wang Jim
2012-11-01
Full Text Available Abstract 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.
We formulate natural regularization (NR) as a variant of dimensional regularization (DR). We replace the conventional dimensional reduction by a dimensionless regulator, allowing a transparent regularization of standard D-dimensional Feynman integrals. For arbitrary dimensions, we motivate and demonstrate explicitly the transition from the dimensionally reduced integration space to natural regularization. We establish the relation to cut-off regularization and point out the basic differences from dimensional regularization. Possible applications, such as to the axial anomaly or to gauge theories are briefly touched upon. (author)
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
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.
Moore, Dennis W.; Anderson, Angelika; Glassenbury, Michele; Lang, Russell; Didden, Robert
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 behavior in general education classrooms with students…
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
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.
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 desce...
Natural selection and mechanistic regularity.
DesAutels, Lane
2016-06-01
In this article, I address the question of whether natural selection operates regularly enough to qualify as a mechanism of the sort characterized by Machamer, Darden, and Craver (2000). Contrary to an influential critique by Skipper and Millstein (2005), I argue that natural selection can be seen to be regular enough to qualify as an MDC mechanism just fine-as long as we pay careful attention to some important distinctions regarding mechanistic regularity and abstraction. Specifically, I suggest that when we distinguish between process vs. product regularity, mechanism-internal vs. mechanism-external sources of irregularity, and abstract vs. concrete regularity, we can see that natural selection is only irregular in senses that are unthreatening to its status as an MDC mechanism. PMID:26921876
Deskins, W E
1996-01-01
This excellent textbook provides undergraduates with an accessible introduction to the basic concepts of abstract algebra and to the analysis of abstract algebraic systems. These systems, which consist of sets of elements, operations, and relations among the elements, and prescriptive axioms, are abstractions and generalizations of various models which evolved from efforts to explain or discuss physical phenomena.In Chapter 1, the author discusses the essential ingredients of a mathematical system, and in the next four chapters covers the basic number systems, decompositions of integers, diop
Dealing With Abstraction: Reducing Abstraction in Teaching (RAiT)
Subedi, Krishna Prasad
2014-01-01
One of the most important challenges for mathematics teachers involves dealing with mathematical abstraction, specifically; figuring out efficient ways to translate abstract concepts into more easily understandable ideas for their students. Reducing abstraction is one of the theoretical frameworks originally proposed by Hazzan (1991) to examine how learners deal with mathematical abstraction while working with new mathematical tasks or concepts. However, very little is known about how teache...
2012-01-01
The Key Points in Keeping Marxism up with the Times and a Review of Eagleton＇s Understanding of Marxism Yi Junqing Keeping Marxism up with the times is an important task for the theoretical innovation of contemporary Marxism in China. It requires us to explicate at a multi-dimensional level the essential connection between Marxism and the specificity of our time, as well as the key points in keeping Marxism with the times.
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
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. PMID:25416026
anthropogenic pressures and international shared water. Here are the 320 abstracts proposed by authors and accepted by the Scientific Committee. More than 200 papers are presented during the Conference on 8 topics related to Hydrology, Climatology and Hydro biology: - Climate and Environment; - Hydrological regimes and water balances; - Droughts and Floods; -Integrated Water Resources Management; -Water bodies Protection and Eco hydrology; -Lakes; -Information Systems for decision support; -Hydrological modelling. Papers relevant to INIS are indexed separately
Roig Albiol, Ana Isabel; Llinares Ciscar, Salvador
2009-01-01
This study reports characteristics of participatory and anticipatory stages in the abstraction of mathematical conceptions. We carried out clinical task-based interviews with 71 secondary school students to obtain evidence of constructed mathematical conceptions and how they were used. We could distinguish both stages in different mathematical conceptions and, furthermore, two cognitive moments in the participatory stage. We argue that (a) the capacity of perceiving regularities in sets of pa...
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
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.
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 th...
Regularizing RNNs by Stabilizing Activations
Krueger, David; Memisevic, Roland
2015-01-01
We stabilize the activations of Recurrent Neural Networks (RNNs) by penalizing the squared distance between successive hidden states' norms. This penalty term is an effective regularizer for RNNs including LSTMs and IRNNs, improving performance on character-level language modelling and phoneme recognition, and outperforming weight noise and dropout. We set state of the art (17.5% PER) for an RNN on the TIMIT phoneme recognition task, without using beam-search. With this penalty term, IRNN can...
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...
Drift seepage refers to flow of liquid water into repository emplacement drifts, where it can potentially contribute to degradation of the engineered systems and release and transport of radionuclides within the drifts. Because of these important effects, seepage into emplacement drifts is listed as a ''principal factor for the postclosure safety case'' in the screening criteria for grading of data in Attachment 1 of AP-3.15Q, Rev. 2, ''Managing Technical Product Inputs''. Abstraction refers to distillation of the essential components of a process model into a form suitable for use in total-system performance assessment (TSPA). Thus, the purpose of this analysis/model is to put the information generated by the seepage process modeling in a form appropriate for use in the TSPA for the Site Recommendation. This report also supports the Unsaturated-Zone Flow and Transport Process Model Report. The scope of the work is discussed below. This analysis/model is governed by the ''Technical Work Plan for Unsaturated Zone Flow and Transport Process Model Report'' (CRWMS MandO 2000a). Details of this activity are in Addendum A of the technical work plan. The original Work Direction and Planning Document is included as Attachment 7 of Addendum A. Note that the Work Direction and Planning Document contains tasks identified for both Performance Assessment Operations (PAO) and Natural Environment Program Operations (NEPO). Only the PAO tasks are documented here. The planning for the NEPO activities is now in Addendum D of the same technical work plan and the work is documented in a separate report (CRWMS MandO 2000b). The Project has been reorganized since the document was written. The responsible organizations in the new structure are the Performance Assessment Department and the Unsaturated Zone Department, respectively. The work plan for the seepage abstraction calls for determining an appropriate abstraction methodology, determining uncertainties in seepage, and providing
Hamiltonian Strongly Regular Graphs
Brouwer, A.E.; Haemers, W.H.
2008-01-01
We give a sufficient condition for a distance-regular graph to be Hamiltonian. In particular, the Petersen graph is the only connected non-Hamiltonian strongly regular graph on fewer than 99 vertices.
Supersymmetric dimensional regularization
A generalized scheme of dimensional regularization which preserves supersymmetry is proposed. The scheme is applicable to all supersymmetric theories. Two models with extended supersymmetry are considered. The Slavnov naive supersymmetric identities are shown to hold at a dimensional regularized level
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.
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
Neves, J C S
2015-01-01
In this work, we have deformed regular black holes which possess a general mass term described by a function which generalizes the Bardeen and Hayward mass terms. Using linear constraints in the energy-momentum tensor, the solutions are either regular or singular. That is, with this approach, it is possible to generate singular black holes from regular black holes and vice versa. Moreover, contrary to the Bardeen and Hayward regular solutions, the regular deformed metrics may violate the weak energy condition despite the presence of the spherical symmetry. Some comments on accretion of deformed black holes in cosmological scenarios are made.
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...
A Convex Formulation for Learning Task Relationships in Multi-Task Learning
Zhang, Yu
2012-01-01
Multi-task learning is a learning paradigm which seeks to improve the generalization performance of a learning task with the help of some other related tasks. In this paper, we propose a regularization formulation for learning the relationships between tasks in multi-task learning. This formulation can be viewed as a novel generalization of the regularization framework for single-task learning. Besides modeling positive task correlation, our method, called multi-task relationship learning (MTRL), can also describe negative task correlation and identify outlier tasks based on the same underlying principle. Under this regularization framework, the objective function of MTRL is convex. For efficiency, we use an alternating method to learn the optimal model parameters for each task as well as the relationships between tasks. We study MTRL in the symmetric multi-task learning setting and then generalize it to the asymmetric setting as well. We also study the relationships between MTRL and some existing multi-task ...
Regularity of eigenstates in regular Mourre theory
Møller, Jacob Schach; Westrich, Matthias
2011-01-01
. The only requirement is Ck+1(A) regularity of H. Regarding integer k, our result is optimal. Under a natural boundedness assumption of the multiple commutators we prove that the eigenstate ‘dilated’ by exp(iθA) is analytic in a strip around the real axis. In particular, the eigenstate is an analytic...
Abstracts of 25 papers presented at the congress are given. The abstracts cover various topics including radiotherapy, radiopharmaceuticals, radioimmunoassay, health physics, radiation protection and nuclear medicine
Moessinger, Pierre; Poulin-Dubois, Diane
1981-01-01
Reviews and discusses Piaget's recent work on abstract reasoning. Piaget's distinction between empirical and reflective abstraction is presented; his hypotheses are considered to be metaphorical. (Author/DB)
Regular FPGA based on regular fabric
In the sub-wavelength regime, design for manufacturability (DFM) becomes increasingly important for field programmable gate arrays (FPGAs). In this paper, an automated tile generation flow targeting micro-regular fabric is reported. Using a publicly accessible, well-documented academic FPGA as a case study, we found that compared to the tile generators previously reported, our generated micro-regular tile incurs less than 10% area overhead, which could be potentially recovered by process window optimization, thanks to its superior printability. In addition, we demonstrate that on 45 nm technology, the generated FPGA tile reduces lithography induced process variation by 33%, and reduce probability of failure by 21.2%. If a further overhead of 10% area can be recovered by enhanced resolution, we can achieve the variation reduction of 93.8% and reduce the probability of failure by 16.2%.
Regular FPGA based on regular fabric
Chen Xun; Zhu Jianwen; Zhang Minxuan
2011-01-01
In the sub-wavelength regime,design for manufacturability (DFM) becomes increasingly important for field programmable gate arrays (FPGAs).In this paper,an automated tile generation flow targeting micro-regular fabric is reported.Using a publicly accessible,well-documented academic FPGA as a case study,we found that compared to the tile generators previously reported,our generated micro-regular tile incurs less than 10% area overhead,which could be potentially recovered by process window optimization,thanks to its superior printability.In addition,we demonstrate that on 45 nm technology,the generated FPGA tile reduces lithography induced process variation by 33%,and reduce probability of failure by 21.2%.If a further overhead of 10% area can be recovered by enhanced resolution,we can achieve the variation reduction of 93.8% and reduce the probability of failure by 16.2%.
Regular FPGA based on regular fabric
Xun, Chen; Jianwen, Zhu; Minxuan, Zhang
2011-08-01
In the sub-wavelength regime, design for manufacturability (DFM) becomes increasingly important for field programmable gate arrays (FPGAs). In this paper, an automated tile generation flow targeting micro-regular fabric is reported. Using a publicly accessible, well-documented academic FPGA as a case study, we found that compared to the tile generators previously reported, our generated micro-regular tile incurs less than 10% area overhead, which could be potentially recovered by process window optimization, thanks to its superior printability. In addition, we demonstrate that on 45 nm technology, the generated FPGA tile reduces lithography induced process variation by 33%, and reduce probability of failure by 21.2%. If a further overhead of 10% area can be recovered by enhanced resolution, we can achieve the variation reduction of 93.8% and reduce the probability of failure by 16.2%.
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...
Distributed Abstraction Algorithm for Online Predicate Detection
Chauhan, Himanshu; Garg, Vijay K; Natarajan, Aravind; Mittal, Neeraj
2013-01-01
Analyzing a distributed computation is a hard problem in general due to the combinatorial explosion in the size of the state-space with the number of processes in the system. By abstracting the computation, unnecessary explorations can be avoided. Computation slicing is an approach for abstracting dis- tributed computations with respect to a given predicate. We focus on regular predicates, a family of predicates that covers a large number of commonly used predicates for runtime verification. ...
Integrating Task and Data Parallelism
Massingill, Berna
1993-01-01
Many models of concurrency and concurrent programming have been proposed; most can be categorized as either task-parallel (based on functional decomposition) or data-parallel (based on data decomposition). Task-parallel models are most effective for expressing irregular computations; data-parallel models are most effective for expressing regular computations. Some computations, however, exhibit both regular and irregular aspects. For such computations, a better programming model is one that i...
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...
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.
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.
Abstracts: NRC Waste Management Program reports
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
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.
Abstracts of the papers given at the conference are presented. The abstracts are arranged under sessions entitled:Theoretical Physics; Nuclear Physics; Solid State Physics; Spectroscopy; Physics Education; SANCGASS; Astronomy; Plasma Physics; Physics in Industry; Applied and General Physics
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
EFFICIENT FAILURE PROCESSING ARCHITECTURE IN REGULAR EXPRESSION PROCESSOR
SangKyun Yun
2015-01-01
Regular expression matching is a computational intensive task, used in applications such as intrusion detection and DNA sequence analysis. Many hardware-based regular expression matching architectures are proposed for high performance matching. In particular, regular expression matching processors such as ReCPU have been proposed to solve the problem that full hardware solutions require re-synthesis of hardware whenever the patterns are updated. However, ReCPU has inefficient f...
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.
Regularization of current algebra
Mickelsson, J
1993-01-01
In this talk I want to explain the operator substractions needed to regularize gauge currents in a second quantized theory. The case of space-time dimension $3+1$ is considered in detail. In presence of chiral fermions the regularization effects a modification of the local commutation relations of the currents by local Schwinger terms. In $1+1$ dimensions one gets the usual central extension (Schwinger term does not depend on background gauge field) whereas in $3+1$ dimensions one gets an anomaly linear in the background potential.
Faupin, Jeremy; Møller, Jacob Schach; Skibsted, Erik
2011-01-01
We study regularity of bound states pertaining to embedded eigenvalues of a self-adjoint operator H, with respect to an auxiliary operator A that is conjugate to H in the sense of Mourre. We work within the framework of singular Mourre theory which enables us to deal with confined massless Pauli......–Fierz models, our primary example, and many-body AC-Stark Hamiltonians. In the simpler context of regular Mourre theory, our results boil down to an improvement of results obtained recently in [8, 9]....
Regular subspaces of Dirichlet forms
Li, Liping; Ying, Jiangang
2015-01-01
The regular subspaces of a Dirichlet form are the regular Dirichlet forms that inherit the original form but possess smaller domains. The two problems we are concerned are: (1) the existence of regular subspaces of a fixed Dirichlet form, (2) the characterization of the regular subspaces if exists. In this paper, we will first research the structure of regular subspaces for a fixed Dirichlet form. The main results indicate that the jumping and killing measures of each regular subspace are jus...
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)
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.
Introduction to Searching with Regular Expressions
Frenz, Christopher M
2008-01-01
The explosive rate of information growth and availability often makes it increasingly difficult to locate information pertinent to your needs. These problems are often compounded when keyword based search methodologies are not adequate for describing the information you seek. In many instances, information such as Web site URLs, phone numbers, etc. can often be better identified through the use of a textual pattern than by keyword. For example, many more phone numbers could be picked up by a search for the pattern (XXX) XXX-XXXX, where X could be any digit, than would be by a search for any specific phone number (i.e. the keyword approach). Programming languages typically allow for the matching of textual patterns via the usage of regular expressions. This tutorial will provide an introduction to the basics of programming regular expressions as well as provide an introduction to how regular expressions can be applied to data processing tasks such as information extraction and search refinement.
Journalism Abstracts. Vol. 15.
Popovich, Mark N., Ed.
This book, the fifteenth volume of an annual publication, contains 373 abstracts of 52 doctoral and 321 master's theses from 50 colleges and universities. The abstracts are arranged alphabetically by author, with the doctoral dissertations appearing first. These cover such topics as advertising, audience analysis, content analysis of news issues…
Completeness of Lyapunov Abstraction
Wisniewski, Rafal; Sloth, Christoffer
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...
Abstracts of the papers given at the conference are presented. The abstracts are arranged under sessions entitled: Theoretical Physics; Nuclear Physics; Solid State Physics; Spectroscopy; Plasma Physics; Solar-Terrestrial Physics; Astrophysics and Astronomy; Radioastronomy; General Physics; Applied Physics; Industrial Physics
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…
The geometry of continuum regularization
This lecture is primarily an introduction to coordinate-invariant regularization, a recent advance in the continuum regularization program. In this context, the program is seen as fundamentally geometric, with all regularization contained in regularized DeWitt superstructures on field deformations
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.
Product Kernel Regularization Networks
Kudová, Petra; Šámalová, Terezie
Wien: Springer-Verlag, 2005 - (Ribiero, B.; Albrecht, R.; Dobnikar, A.; Pearson, D.; Steele, N.), s. 433-436 ISBN 3-211-24934-6. [ICANNGA'2005 /7./. Coimbra (PT), 21.03.2005-23.03.2005] R&D Projects: GA ČR GA201/05/0557; GA AV ČR 1ET100300414 Institutional research plan: CEZ:AV0Z10300504 Keywords : learning form examples * regularization networks * product kernel * kernel methods Subject RIV: BA - General Mathematics
Kernel Based Regularization Netowrks
Kudová, Petra
Praha: MATFYZPRESS, 2005 - (Hakl, F.), s. 65-74 ISBN 80-86732-56-8. [Doktorandský den '05. Nový Dvůr (CZ), 05.10.2005-07.10.2005] R&D Projects: GA ČR GA201/05/0557 Institutional research plan: CEZ:AV0Z10300504 Keywords : learning from examples * regularization networks * kernel methods * product kernels * sum kernels Subject RIV: BA - General Mathematics
(Semi) regular tetrahedral tilings
Kolcun, Alexej
Plzeň: Union Agency, 2013 - (Skala, V.), s. 145-150 ISBN 978-80-86943-75-6. [WSCG 2013 - International Conference in Central Europe on Computer Graphics, Visualization and Computer Vision /21./. Plzeň (CZ), 24.06.2013-27.06.2013] Institutional support: RVO:68145535 Keywords : tetrahedron * regular tessellation * voxel grid * conform decomposition Subject RIV: BA - General Mathematics http://wscg.zcu.cz/WSCG2013/!_2013-WSCG- Communication s-proceedings.pdf
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.
Regularizing portfolio optimization
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.
Computational Abstraction Steps
Thomsen, Lone Leth; Thomsen, Bent; Nørmark, Kurt
2010-01-01
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 and...... 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 the...
2011-01-01
Influence of Fermented Product from Beneficial Microorganism on the Cultivation of Larvae Apostichopus japonicus Li Shuang et al（1） Abstract The fermented product from beneficial microorganism was applied in the seed rearing of sea cucumber.The result
2016-07-01
The peer-reviewed abstracts presented at the 73rd Annual Meeting of the ACPA are published as submitted by the authors. For financial conflict of interest disclosure, please visit http://meeting.acpa-cpf.org/disclosures.html. PMID:27447885
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…
07381 Abstracts Collection -- Cryptography
Blömer, Johannes; Boneh, Dan; Cramer, Ronald; Maurer, Ueli
2008-01-01
From 16.09.2007 to 21.09.2007 the Dagstuhl Seminar 07381 ``Cryptography'' was held in the International Conference and Research Center (IBFI), Schloss Dagstuhl. 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 goa...
Painting, abstraction, discourse
Besson, Christian
2012-01-01
Four catalogues and compilations published this year once again raise the issue of the linkage between painting and critical discourse, with abstraction, where applicable, exacerbating the tension between the two. The first essay, La Peinture après l’abstraction, is nothing less than stimulating. Certain observations made by Alain Cueff about the neglected role of poster artists in the renewed formulation of painting, between 1955 and 1965, lie at the root of the comparison--a new departure--...
Dave Clarke; Michiel Helvensteijn; Ina Schaefer
2011-01-01
Delta modeling is an approach to facilitate automated product derivation for software product lines. It is based on a set of deltas specifying modifications that are incrementally applied to a core product. The applicability of deltas depends on feature-dependent conditions. This paper presents abstract delta modeling, which explores delta modeling from an abstract, algebraic perspective. Compared to previous work, we take a more flexible approach with respect to conflicts between modificatio...
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.
08071 Abstracts Collection -- Scheduling
Jane W. S. Liu; Rolf H. Möhring; Pruhs, Kirk
2008-01-01
From 10.02. to 15.02., the Dagstuhl Seminar 08071 ``Scheduling'' was held in the International Conference and Research Center (IBFI), Schloss Dagstuhl. 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 gen...
10071 Abstracts Collection -- Scheduling
Albers, Susanne; Baruah, Sanjoy K; Rolf H. Möhring; Pruhs, Kirk
2010-01-01
From 14.02. to 19.02.2010, the Dagstuhl Seminar 10071 ``Scheduling '' 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. Links to ext...
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. PMID:27458422
Regularity of Minimal Surfaces
Dierkes, Ulrich; Tromba, Anthony J; Kuster, Albrecht
2010-01-01
"Regularity of Minimal Surfaces" begins with a survey of minimal surfaces with free boundaries. Following this, the basic results concerning the boundary behaviour of minimal surfaces and H-surfaces with fixed or free boundaries are studied. In particular, the asymptotic expansions at interior and boundary branch points are derived, leading to general Gauss-Bonnet formulas. Furthermore, gradient estimates and asymptotic expansions for minimal surfaces with only piecewise smooth boundaries are obtained. One of the main features of free boundary value problems for minimal surfaces is t
Regularized versus non-regularized statistical reconstruction techniques
Denisova, N.V., E-mail: denisova@itam.nsc.ru [Institute of Theoretical and Applied Mechanics, 630090 Novosibirsk (Russian Federation)
2011-08-21
An important feature of positron emission tomography (PET) and single photon emission computer tomography (SPECT) is the stochastic property of real clinical data. Statistical algorithms such as ordered subset-expectation maximization (OSEM) and maximum a posteriori (MAP) are a direct consequence of the stochastic nature of the data. The principal difference between these two algorithms is that OSEM is a non-regularized approach, while the MAP is a regularized algorithm. From the theoretical point of view, reconstruction problems belong to the class of ill-posed problems and should be considered using regularization. Regularization introduces an additional unknown regularization parameter into the reconstruction procedure as compared with non-regularized algorithms. However, a comparison of non-regularized OSEM and regularized MAP algorithms with fixed regularization parameters has shown very minor difference between reconstructions. This problem is analyzed in the present paper. To improve the reconstruction quality, a method of local regularization is proposed based on the spatially adaptive regularization parameter. The MAP algorithm with local regularization was tested in reconstruction of the Hoffman brain phantom.
Regularized versus non-regularized statistical reconstruction techniques
An important feature of positron emission tomography (PET) and single photon emission computer tomography (SPECT) is the stochastic property of real clinical data. Statistical algorithms such as ordered subset-expectation maximization (OSEM) and maximum a posteriori (MAP) are a direct consequence of the stochastic nature of the data. The principal difference between these two algorithms is that OSEM is a non-regularized approach, while the MAP is a regularized algorithm. From the theoretical point of view, reconstruction problems belong to the class of ill-posed problems and should be considered using regularization. Regularization introduces an additional unknown regularization parameter into the reconstruction procedure as compared with non-regularized algorithms. However, a comparison of non-regularized OSEM and regularized MAP algorithms with fixed regularization parameters has shown very minor difference between reconstructions. This problem is analyzed in the present paper. To improve the reconstruction quality, a method of local regularization is proposed based on the spatially adaptive regularization parameter. The MAP algorithm with local regularization was tested in reconstruction of the Hoffman brain phantom.
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...
Abstractions for Mechanical Systems
Sloth, Christoffer; Wisniewski, Rafael
2012-01-01
mechanical system. The tangential manifolds are generated using constants of motion, which can be derived from Noether's theorem. The transversal manifolds are subsequently generated on a reduced space, given by the Routhian, via action-angle coordinates. The method fully applies for integrable systems. We...... focus on a particular aspect of abstraction - partitioning the state space, as existing methods can be applied on the discretized state space to obtain an automata-based model. The contribution of the paper is to show that well-known reduction methods can be used to generate abstract models, which can...
Building Safe Concurrency Abstractions
Madsen, Ole Lehrmann
2014-01-01
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...
2011-01-01
Study of Feeding Effects of EM Fermented Feed on the Growth and Survival of Juvenile Sea Cucumber Apostichopus japonicus Gong Hai-ning et al（1） Abstract In this study, comparisons of feeding effects on the sea cucumber Apostichopus japonicus between th
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…
Wilson, Cynthia, Ed.
2001-01-01
Volume 4 of the League for Innovation in the Community College's Learning Abstracts include the following: (1) "Touching Students in the Digital Age: The Move Toward Learner Relationship Management (LRM)," by Mark David Milliron, which offers an overview of an organizing concept to help community colleges navigate the intersection between digital…
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…
Engineering Education, 1976
1976-01-01
Presents the abstracts of 158 papers presented at the American Society for Engineering Education's annual conference at Knoxville, Tennessee, June 14-17, 1976. Included are engineering topics covering education, aerospace, agriculture, biomedicine, chemistry, computers, electricity, acoustics, environment, mechanics, and women. (SL)
Sergey, Ilya; Devriese, Dominique; Might, Matthew;
2013-01-01
Recent developments in the systematic construction of abstract interpreters hinted at the possibility of a broad unification of concepts in static analysis. We deliver that unification by showing context-sensitivity, polyvariance, flow-sensitivity, reachabilitypruning, heap-cloning and cardinalit...
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]).
Testing abstract behavioral specifications
Wong, P.Y.H.; Bubel, R.; Boer, F.S. de; Gouw, C.P.T. de; Gómez-Zamalloa, M.; Haehnle, R; Meinke, K.; Sindhu, M.A.
2015-01-01
We present a range of testing techniques for the Abstract Behavioral Specification (ABS) language and apply them to an industrial case study. ABS is a formal modeling language for highly variable, concurrent, component-based systems. The nature of these systems makes them susceptible to the introduc
The conference proceedings contain 152 abstracts of presented papers relating to various aspects of personnel dosimetry, the dosimetry of the working and living environment, various types of dosemeters and spectrometers, the use of radionuclides in various industrial fields, the migration of radionuclides on Czechoslovak territory after the Chernobyl accident, theoretical studies of some parameters of ionizing radiation detectors, and their calibration. (M.D.)
Seismic Consequence Abstraction
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])
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.
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.
2012-01-01
Morphological Variations and Discriminant Analysis of Three Populations of Mytilus coruscus Ye Ya-qiu et al. （4） Abstract The multivariate morphometrics analysis method was used for studying four morphological characters of three geographical populations of Mytilus coruscus from Sheng-si, Zhou-shan, Tai-zhou along the coast of Zhe-jiang province of China.
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.
Le Grice, Malcolm
A theoretical and historical account of the main preoccupations of makers of abstract films is presented in this book. The book's scope includes discussion of nonrepresentational forms as well as examination of experiments in the manipulation of time in films. The ten chapters discuss the following topics: art and cinematography, the first…
EBS Radionuclide Transport Abstraction
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 and 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 determined by other
Regular spherical dust spacetimes
Humphreys, N; Matravers, D R; Humphreys, Neil; Maartens, Roy; Matravers, David
1998-01-01
Physical (and weak) regularity conditions are used to determine and classify all the possible types of spherically symmetric dust spacetimes in general relativity. This work unifies and completes various earlier results. The junction conditions are described for general non-comoving (and non-null) surfaces, and the limits of kinematical quantities are given on all comoving surfaces where there is Darmois matching. We show that an inhomogeneous generalisation of the Kantowski-Sachs metric may be joined to the Lemaitre-Tolman-Bondi metric. All the possible spacetimes are explicitly divided into four groups according to topology, including a group in which the spatial sections have the topology of a 3-torus. The recollapse conjecture (for these spacetimes) follows naturally in this approach.
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...... like “London” (Location/Organization) or “cup” (Container/Content). The goal of this dissertation is to assess whether metonymic sense underspecification justifies incorporating a third sense into our sense inventories, thereby treating the underspecified sense as independent from the literal and...... metonymic. We have conducted an analysis in English, Danish and Spanish. Later on, we have tried to replicate the human judgments by means of unsupervised and semi-supervised sense prediction. The automatic sense-prediction systems have been unable to find empiric evidence for the underspecified sense, even...
The Semantic Richness of Abstract Concepts
Gabriel Recchia
2012-11-01
Full Text Available We contrasted the predictive power of three measures of semantic richness—number of features (NF, contextual dispersion (CD, and a novel measure of number of semantic neighbors (NSN—for a large set of concrete and abstract concepts on lexical decision and naming tasks. NSN (but not NF facilitated processing for abstract concepts, while NF (but not NSN facilitated processing for the most concrete concepts, consistent with claims that linguistic information is more relevant for abstract concepts in early processing. Additionally, converging evidence from two datasets suggests that when NSN and CD are controlled for, the features that most facilitate processing are those associated with a concept’s physical characteristics and real-world contexts. These results suggest that rich linguistic contexts (many semantic neighbors facilitate early activation of abstract concepts, whereas concrete concepts benefit more from rich physical contexts (many associated objects and locations.
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.
This issue of the Ghana Science Abstracts combines in one publication all the country's bibliographic output in science and technology. The objective is to provide a quick reference source to facilitate the work of information professionals, research scientists, lecturers and policy makers. It is meant to give users an idea of the depth and scope and results of the studies and projects carried out. The scope and coverage comprise research outputs, conference proceedings and periodical articles published in Ghana. It does not capture those that were published outside Ghana. Abstracts reported have been grouped under the following subject areas: Agriculture, Biochemistry, Biodiversity conservation, biological sciences, biotechnology, chemistry, dentistry, engineering, environmental management, forestry, information management, mathematics, medicine, physics, nuclear science, pharmacy, renewable energy and science education
The deleuzian abstract machines
Werner Petersen, Erik
2005-01-01
in emphasis from the three syntheses to mappings and rhizomatic diagrams that cut across semiotics or “blow apart regimes of signs”. The aim here is the absolute deterritorialization. Deleuze has shown how abstract machines operate in the philosophy of Foucault, the literature of Proust and Kafka......, and the painting of Bacon. We will finish our presentation by showing how these machines apply to architecture....
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.
NPP life management (abstracts)
Abstracts of the papers presented at the International conference of the Ukrainian Nuclear Society 'NPP Life Management'. The following problems are considered: modernization of the NPP; NPP life management; waste and spent nuclear fuel management; decommissioning issues; control systems (including radiation and ecological control systems); information and control systems; legal and regulatory framework. State nuclear regulatory control; PR in nuclear power; training of personnel; economics of nuclear power engineering
Medical physics 2013. Abstracts
The proceedings of the medical physics conference 2013 include abstract of lectures and poster sessions concerning the following issues: Tele-therapy - application systems, nuclear medicine and molecular imaging, neuromodulation, hearing and technical support, basic dosimetry, NMR imaging -CEST (chemical exchange saturation transfer), medical robotics, magnetic particle imaging, audiology, radiation protection, phase contrast - innovative concepts, particle therapy, brachytherapy, computerized tomography, quantity assurance, hybrid imaging techniques, diffusion and lung NMR imaging, image processing - visualization, cardiac and abdominal NMR imaging.
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.
Abstracts of the communications
2014-01-01
(P) paper, (A) abstract only Dietary patterns and habitat of the Grimm’s duiker, Sylvicapra grimmia in Benin, (P)Abdoul Razack Adjibi Oualiou, Jean Claude Codjia, Guy Apollinaire Mensah The distribution of protected areas and conservation of flora in the republic of Benin, (P)Aristide Adomou, Hounnankpon Yedomonhan, Brice Sinsin, Laurentius Josephus and Gerardus Van Der Maesen The problem of invasive plants in protected areas. Chromolaena odorata in the regeneration process of the dense, semi...
Historical development of abstracting.
Skolnik, H
1979-11-01
The abstract, under a multitude of names, such as hypothesis, marginalia, abridgement, extract, digest, précis, resumé, and summary, has a long history, one which is concomitant with advancing scholarship. The progression of this history from the Sumerian civilization ca. 3600 B.C., through the Egyptian and Greek civilizations, the Hellenistic period, the Dark Ages, Middle Ages, Renaissance, and into the modern period is reviewed. PMID:399482
The object of this workshop is to consolidate and publicize new efforts in non-perturbative field theories. This year the presentations deal with quantum gravity, non-commutative geometry, fat-tailed wave-functions, strongly coupled field theories, space-times two time-like dimensions, and multiplicative renormalization. A presentation is dedicated to the construction of a nucleon-nucleon potential from an analytical, non-perturbative gauge invariant QCD. This document gathers the abstracts of the presentations
Progressive image denoising through hybrid graph Laplacian regularization: a unified framework.
Liu, Xianming; Zhai, Deming; Zhao, Debin; Zhai, Guangtao; Gao, Wen
2014-04-01
Recovering images from corrupted observations is necessary for many real-world applications. In this paper, we propose a unified framework to perform progressive image recovery based on hybrid graph Laplacian regularized regression. We first construct a multiscale representation of the target image by Laplacian pyramid, then progressively recover the degraded image in the scale space from coarse to fine so that the sharp edges and texture can be eventually recovered. On one hand, within each scale, a graph Laplacian regularization model represented by implicit kernel is learned, which simultaneously minimizes the least square error on the measured samples and preserves the geometrical structure of the image data space. In this procedure, the intrinsic manifold structure is explicitly considered using both measured and unmeasured samples, and the nonlocal self-similarity property is utilized as a fruitful resource for abstracting a priori knowledge of the images. On the other hand, between two successive scales, the proposed model is extended to a projected high-dimensional feature space through explicit kernel mapping to describe the interscale correlation, in which the local structure regularity is learned and propagated from coarser to finer scales. In this way, the proposed algorithm gradually recovers more and more image details and edges, which could not been recovered in previous scale. We test our algorithm on one typical image recovery task: impulse noise removal. Experimental results on benchmark test images demonstrate that the proposed method achieves better performance than state-of-the-art algorithms. PMID:24565791
Regular Breakfast and Blood Lead Levels among Preschool Children
Needleman Herbert; Shen Xiaoming; Yan Chonghuai; Compher Charlene; McCauley Linda; Liu Jianghong; Pinto-Martin Jennifer A
2011-01-01
Abstract Background Previous studies have shown that fasting increases lead absorption in the gastrointestinal tract of adults. Regular meals/snacks are recommended as a nutritional intervention for lead poisoning in children, but epidemiological evidence of links between fasting and blood lead levels (B-Pb) is rare. The purpose of this study was to examine the association between eating a regular breakfast and B-Pb among children using data from the China Jintan Child Cohort Study. Methods P...
EBS Radionuclide Transport Abstraction
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
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...
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).
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...... are set. The ideological discourse of recent policies seems to neglect the fact that history and resources for lifelong learning are different across Europe, and also neglects the multiplicity of adult learners. Instead of refusing the new agendas, however, adult education research should try to dissolve...... learning. Adult education research must fulfil it's potential conversion from normative philosophy to critical and empirical social science....
This volume contains the program and abstracts of the conference. The following topics are included: metal vapor molecular lasers, magnetohydrodynamics, rare gas halide and nuclear pumped lasers, transfer mechanisms in arcs, kinetic processes in rare gas halide lasers, arcs and flows, XeF kinetics and lasers, fundamental processes in excimer lasers, electrode effects and vacuum arcs, electron and ion transport, ion interactions and mobilities, glow discharges, diagnostics and afterglows, dissociative recombination, electron ionization and excitation, rare gas excimers and group VI lasers, breakdown, novel laser pumping techniques, electrode-related discharge phenomena, photon interactions, attachment, plasma chemistry and infrared lasers, electron scattering, and reactions of excited species
Circularity and Lambda Abstraction
Danvy, Olivier; Thiemann, Peter; Zerny, Ian
2013-01-01
In this tribute to Doaitse Swierstra, we present the rst transformation between lazy circular programs a la Bird and strict cir- cular programs a la Pettorossi. Circular programs a la Bird rely on lazy recursive binding: they involve circular unknowns and make sense equa- tionally. Circular...... unknowns from what is done to them, which we lambda-abstract with functions. The circular unknowns then become dead variables, which we eliminate. The result is a strict circu- lar program a la Pettorossi. This transformation is reversible: given a strict circular program a la Pettorossi, we introduce...
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.
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.
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
Regular Totally Separable Sphere Packings
Reid, Samuel
2015-01-01
The topic of totally separable sphere packings is surveyed with a focus on regular constructions, uniform tilings, and contact number problems. An enumeration of all regular totally separable sphere packings in $\\mathbb{R}^2$, $\\mathbb{R}^3$, and $\\mathbb{R}^4$ which are based on convex uniform tessellations, honeycombs, and tetracombs, respectively, is presented, as well as a construction of a family of regular totally separable sphere packings in $\\mathbb{R}^d$ that is not based on a convex...
Phonological abstraction without phonemes in speech perception
Mitterer, H.; Scharenborg, O.; McQueen, J
2013-01-01
Recent evidence shows that listeners use abstract prelexical units in speech perception. Using the phenomenon of lexical retuning in speech processing, we ask whether those units are necessarily phonemic. Dutch listeners were exposed to a Dutch speaker producing ambiguous phones between the Dutch syllable-final allophones approximant [r] and dark [l]. These ambiguous phones replaced either final /r/ or final /l/ in words in a lexical-decision task. This differential exposure affected percepti...
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
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.
2012-01-01
Feasibility of the Construction of the CWF Processing Industry and CWF Pipeline in Coal Transportation from North to South in China The prediction by experts, is that the coal will remain the main source of energy in China before 2030, and coal trarksportation from north to south, coal saving and emission reduction will be the long-term task. The advantages of the second generation of coal-water slurry fuel （CWF） were analyzed, that is rheologicat stable, long storage period （two years）, and uncomplicated processing. CWF can be transported by pipeline which can be buried underground flee from extreme climate impacts and explosion, and can be laid along the railway mutes without occupying the farmland.
The stability of abstract boundary essential singularities
Ashley, Michael J. S. L.
2002-01-01
The abstract boundary has, in recent years, proved a general and flexible way to define the singularities of space-time. In this approach an essential singularity is a non-regular boundary point of an embedding which is accessible by a chosen family of curves within finite parameter distance. Ashley and Scott proved the first theorem relating essential singularities in strongly causal space-times to causal geodesic incompleteness. Linking this with the work of Beem on the $C^{r}$-stability of...
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.
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
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
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.
In this book Conference Program and Abstracts were included 13th International Conference on Emerging Nuclear Energy Systems which held between 03-08 June 2007 in Istanbul, Turkey. The main objective of International Conference series on Emerging Nuclear Energy Systems (ICENES) is to provide an international scientific and technical forum for scientists, engineers, industry leaders, policy makers, decision makers and young professionals who will shape future energy supply and technology , for a broad review and discussion of various advanced, innovative and non-conventional nuclear energy production systems. The main topics of 159 accepted papers from 35 countries are fusion science and technology, fission reactors, accelerator driven systems, transmutation, laser in nuclear technology, radiation shielding, nuclear reactions, hydrogen energy, solar energy, low energy physics and societal issues
2012-01-01
Comparative Study on Adhesion Effect Among Different Materials of Sepia esculenta Wang Xue-mei et al. （1） Abstract PE Harness, mesh, sea cucumber seedling box attached, sorghum bar, tamarix （fresh, and old）, artemisia annua （fresh, and old） and artificial egg-based subsidiary were used as spawning substrates of Sepia esculenta for comparative study on adhesion effect during artificial breeding. The results showed that the best was artificial egg-based subsidiary produced by the process of invention in this study. The second was old artemisia annua and tamarix. PE Harness, mesh, sea cucumber seedling box attached, sorghum bar were unsatisfactory for using as spawning substrates of Sepia esculenta. Key words Sepia esculenta; adhesion effect; different materials
Multiple graph regularized nonnegative matrix factorization
Wang, Jingyan
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.
Regularized Generalized Canonical Correlation Analysis
Tenenhaus, Arthur; Tenenhaus, Michel
2011-01-01
Regularized generalized canonical correlation analysis (RGCCA) is a generalization of regularized canonical correlation analysis to three or more sets of variables. It constitutes a general framework for many multi-block data analysis methods. It combines the power of multi-block data analysis methods (maximization of well identified criteria) and…
Teaching for Abstraction: A Model
White, Paul; Mitchelmore, Michael C.
2010-01-01
This article outlines a theoretical model for teaching elementary mathematical concepts that we have developed over the past 10 years. We begin with general ideas about the abstraction process and differentiate between "abstract-general" and "abstract-apart" concepts. A 4-phase model of teaching, called Teaching for Abstraction, is then proposed…
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 ...
"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 lar...
ANIMMA 2013 is the third of a series of conferences devoted to endorsing and promoting scientific and technical activities based on nuclear instrumentation and measurements. The main objective of ANIMMA conference is to unite the various scientific communities not only involved in nuclear instrumentation and measurements, but also in nuclear medicine and radiation. The conference is all about getting scientists, engineers and the industry to meet, exchange cultures and identify new scientific and technical prospects to help overcome both current and future unresolved issues. The conference provides scientists and engineers with a veritable opportunity to compare their latest research and development in different areas: physics, nuclear energy, nuclear fuel cycle, safety, security, future energies (GEN III+, GENIV, ITER, ...). The conference topics include instrumentation and measurement methods for: Fundamental physics; Fusion diagnostics and technology; Nuclear power reactors; Research reactors; Nuclear fuel cycle; Decommissioning, dismantling and remote handling; Safeguards, homeland security; Severe accident monitoring; Environmental and medical sciences; Education, training and outreach. This document brings together the abstracts of the presentations. Each presentation (full paper) is analysed separately and entered in INIS
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.
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.
The microscopic origin of unconventional superconductivity continues to attract the attention of the condensed matter community. Whereas rare-earth / actinide-based intermetallic and copper oxide-based high temperature superconductors are studied for more than twenty years, the iron-based superconductors have been in the focus of interest since their recent discovery. Inelastic neutron scattering experiments have been of particular importance for the understanding of the magnetic and superconducting properties of these compounds. With its 29 talks and 14 posters the workshop provided a forum for the 71 registered participants to review and discuss experimental achievements, recognize the observed synergy and differences as well as discuss theoretical efforts to identify the symmetry of the superconducting order parameter in addition to the coupling mechanisms of the Cooper pairs. The workshop covered different topics relevant for the study of unconventional superconductivity. Magnetization and lattice dynamics such as spin resonances, phonons, magnetic and other excitations as studied by spectroscopic methods were presented. Investigations of (doping, pressure and magnetic field dependent) phase diagrams, electronic states as well as vortex physics by the various diffraction techniques were also addressed. This document gathers only the abstracts of the papers. (authors)
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.
The General Quantization Problem for Distributions with Regular Support
Pötzelberger, Klaus
1999-01-01
We study the asymptotic behavior of the quantization error for general information functions and prove results for distributions P with regular support. We characterize the information functions for which the uniform distribution on the set of prototypes converges weakly to P. (author's abstract)
Regular aspirin use and lung cancer risk
Cummings K
2002-11-01
Full Text Available Abstract Background Although a large number of epidemiological studies have examined the role of aspirin in the chemoprevention of colon cancer and other solid tumors, there is a limited body of research focusing on the association between aspirin and lung cancer risk. Methods We conducted a hospital-based case-control study to evaluate the role of regular aspirin use in lung cancer etiology. Study participants included 868 cases with primary, incident lung cancer and 935 hospital controls with non-neoplastic conditions who completed a comprehensive epidemiological questionnaire. Participants were classified as regular aspirin users if they had taken the drug at least once a week for at least one year. Results Results indicated that lung cancer risk was significantly lower for aspirin users compared to non-users (adjusted OR = 0.57; 95% CI 0.41–0.78. Although there was no clear evidence of a dose-response relationship, we observed risk reductions associated with greater frequency of use. Similarly, prolonged duration of use and increasing tablet years (tablets per day × years of use was associated with reduced lung cancer risk. Risk reductions were observed in both sexes, but significant dose response relationships were only seen among male participants. When the analyses were restricted to former and current smokers, participants with the lowest cigarette exposure tended to benefit most from the potential chemopreventive effect of aspirin. After stratification by histology, regular aspirin use was significantly associated with reduced risk of small cell lung cancer and non-small cell lung cancer. Conclusions Overall, results from this hospital-based case-control study suggest that regular aspirin use may be associated with reduced risk of lung cancer.
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
The document contains abstracts of 24 review papers, 24 invited papers, 24 oral contributions and 120 posters. 10 review papers summarize the status of laser fusion research and progress in high-power laser facilities in major world laboratories. Four papers review research programs (laser-matter interaction studies and X-ray source development) based on KrF laser systems. Other review papers discuss the problems of laser energy conversion into X-rays in laser-heated cavities, X-ray lasing at shorter wavelengths, optimization of targets for inertial fusion. Two review papers are devoted to light ion fusion. The subjects of most invited papers are special problems of current laser plasma research, such as hot electron generation, nonlinear resonance absorption, energy accumulation limits, pellet ignition, conversion of laser light into X-rays, high-pressure plasma generation. Three invited papers review laser plasma research in Czechoslovakia, Poland and Spain. One paper suggests a new method of producing muonic superdense matter. The remaining inivited papers deal with the progress in XUV lasers and with laser plasma applications for further laser development. Of the papers accepted for oral presentation 12 papers discuss various problems of laser-plasma interaction; 4 papers deal with laser targets, 4 papers with laser-initiated X-ray sources, 3 papers with the diagnostics of laser-produced plasma. The last oral contribution presents the main principles of the excimer laser theory. The largest group of posters is related to laser-plasma interaction and energy absorption problems, to laser-target interaction and various methods of laser plasma diagnostics. The other posters deal with plasma applications in laser development, plasma mirrors, Brillouin and Raman scattering, X-ray emission, harmonic generation, electron acceleration, production of high-Z plasmas and other related problems. (J.U.)
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 .
Regular languages and partial commutations
Cano Gómez, Antonio; Guaiana, Giovanna; Pin, Jean-Eric
2013-01-01
[ES] El cierre de un lenguaje regular bajo una conmutación [parcial] $I$ se ha estudiado extensivamente. Presentamos nuevos avances sobre los dos problemas de esta zona: (1) cuando es el cierre de un lenguaje regular bajo ¿conmutación [parcial] todavía regular? (2) Hay alguna clase robusta ¿de idiomas cerraron bajo conmutación [parcial]? Demostramos que la clase $\\PolG$ de polinomios de grupo idiomas está cerrada bajo conmutación y bajo conmutación parcial cuando el co...
EFFICIENT FAILURE PROCESSING ARCHITECTURE IN REGULAR EXPRESSION PROCESSOR
SangKyun Yun
2015-06-01
Full Text Available Regular expression matching is a computational intensive task, used in applications such as intrusion detection and DNA sequence analysis. Many hardware-based regular expression matching architectures are proposed for high performance matching. In particular, regular expression matching processors such as ReCPU have been proposed to solve the problem that full hardware solutions require re-synthesis of hardware whenever the patterns are updated. However, ReCPU has inefficient failure processing due to data backtracking. In this paper, we propose an efficient failure processing architecture for regular expression processor. The proposed architecture uses the failure bit included in instruction format and provides efficient failure processing by removing unnecessary data backtracking.
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.
Einstein spacetimes with weak regularity
LeFloch, Philippe G.
2010-01-01
We review recent work on the Einstein equations of general relativity when the curvature is defined in a weak sense. Weakly regular spacetimes are constructed, in which impulsive gravitational waves, as well as shock waves, propagate.
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.
New regular black hole solutions
In the present work we consider general relativity coupled to Maxwell's electromagnetism and charged matter. Under the assumption of spherical symmetry, there is a particular class of solutions that correspond to regular charged black holes whose interior region is de Sitter, the exterior region is Reissner-Nordstroem and there is a charged thin-layer in-between the two. The main physical and geometrical properties of such charged regular black holes are analyzed.
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.
SATURATED ZONE FLOW AND TRANSPORT MODEL ABSTRACTION
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
Recent abstracts in biochemical technology
R R Siva Kiran; Brijesh P
2008-01-01
“Recent abstracts in biochemical technology” is a collection of interesting research articles published in “List of biochemical technology journals” (Table 1). The abstracts are most likely to report significant results in biochemical technology.
Geometric continuum regularization of quantum field theory
An overview of the continuum regularization program is given. The program is traced from its roots in stochastic quantization, with emphasis on the examples of regularized gauge theory, the regularized general nonlinear sigma model and regularized quantum gravity. In its coordinate-invariant form, the regularization is seen as entirely geometric: only the supermetric on field deformations is regularized, and the prescription provides universal nonperturbative invariant continuum regularization across all quantum field theory. 54 refs
Contents and structure of abstracts
Nemecková, Lenka; Dobrovolný, Viktor; Šauperl, Alenka; Jamar, Nina; Veselá, Eliška
2015-01-01
Purpose - Publishers of some scientific journals and the ISO standard require or recommend specific information to be present in abstracts. However little is known whether this is what scientists give when they write abstracts. The structure of abstracts was tested in Czech, Slovenian and international scientific journals in the English language in the areas of library and information science and materials science. Design/methodology/approach - One hundred research paper abstracts were select...
Hyperspectral Image Denoising with Composite Regularization Models
Ao Li
2016-01-01
Full Text Available Denoising is a fundamental task in hyperspectral image (HSI processing that can improve the performance of classification, unmixing, and other subsequent applications. In an HSI, there is a large amount of local and global redundancy in its spatial domain that can be used to preserve the details and texture. In addition, the correlation of the spectral domain is another valuable property that can be utilized to obtain good results. Therefore, in this paper, we proposed a novel HSI denoising scheme that exploits composite spatial-spectral information using a nonlocal technique (NLT. First, a specific way to extract patches is employed to mine the spatial-spectral knowledge effectively. Next, a framework with composite regularization models is used to implement the denoising. A number of HSI data sets are used in our evaluation experiments and the results demonstrate that the proposed algorithm outperforms other state-of-the-art HSI denoising methods.
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.
Slabakova, Roumyana; Cabrelli Amaro, Jennifer; Kang, Sang Kyun
2013-01-01
This article presents results of two off-line comprehension tasks, investigating the acceptability of novel and regular metonymy by speakers of English, Korean, and Spanish. We are interested in uncovering regular-novel metonymy computation discrepancies, and whether they are treated differently in the different languages. The distinction between novel and regular metonymy is discussed by the existing theoretical treatments of metonymy as well as in psycholinguistic research. The findings of ...
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…
CoConut: Co-classification with output space regularization
Khamis, Sameh; Lampert, Christoph H
2014-01-01
In this work we introduce a new approach to co-classification, i.e. the task of jointly classifying multiple, otherwise independent, data samples. The method we present, named CoConut, is based on the idea of adding a regularizer in the label space to encode certain priors on the resulting labelings. A regularizer that encourages labelings that are smooth across the test set, for instance, can be seen as a test-time variant of the cluster assumption, which has been proven useful at training t...
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.
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.
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.
Subcortical processing of speech regularities underlies reading and music aptitude in children
Strait Dana L; Hornickel Jane; Kraus Nina
2011-01-01
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 re...
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
Nuclear code abstracts (1975 edition)
Nuclear Code Abstracts is compiled in the Nuclear Code Committee to exchange information of the nuclear code developments among members of the committee. Enlarging the collection, the present one includes nuclear code abstracts obtained in 1975 through liaison officers of the organizations in Japan participating in the Nuclear Energy Agency's Computer Program Library at Ispra, Italy. The classification of nuclear codes and the format of code abstracts are the same as those in the library. (auth.)
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.
Mechanical Engineering Department technical abstracts
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
Abstract Possible: The Birmingham Beat
Bergman, Aeron; Salinas, Alejandra
2013-01-01
Gruppeutstilling. Samarbeidspartner: Alejandra Salinas. ABSTRACT YOUR SHIT IS Video loop and billboard. Eastside Projects, Birmingham UK Abstract Possible: The Birmingham Beat Curated by Maria Lind 6 October - 1 December 2012. Invited artists: José León Cerrillo, Zachary Formwalt, Goldin+Senneby, Wade Guyton, Yelena Popova, Alejandra Salinas and Aeron Bergman. Visningssted: Eastside Projects, Birmingham, UK. Se også: http://eastsideprojects.org/past/abstract-possible
$p$-regular nonlinear dynamics
Medak, Beata; Tret'yakov, Alexey A.
2015-01-01
In this paper we generalize the notion of $p$-factor operator which is the basic notion of the so-called $p$-regularity theory for nonlinear and degenerated operators. We prove a theorem related to a new construction of $p$-factor operator. The obtained results are illustrated by an example concerning nonlinear dynamical system.
Rodr, S
1995-01-01
An Introduction to Hopf algebras as a tool for the regularization of relavent quantities in quantum field theory is given. We deform algebraic spaces by introducing q as a regulator of a non-commutative and non-cocommutative Hopf algebra. Relevant quantities are finite provided q\
Globals of Completely Regular Monoids
Wu Qian-qian; Gan Ai-ping; Du Xian-kun
2015-01-01
An element of a semigroup S is called irreducible if it cannot be expressed as a product of two elements in S both distinct from itself. In this paper we show that the class C of all completely regular monoids with irreducible identity elements satisfies the strong isomorphism property and so it is globally determined.
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.
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...
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
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＂,
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.
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.
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.
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.
无
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
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
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.
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.
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.
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
The proceedings contain 106 papers of which 2 fall under the INIS Scope. One concerns seismic risk assessment at radioactive waste repositories in the U.S., the other concerns the possibility of predicting earthquakes from changes in radon 222 levels in selected ground water springs of northern Italy. (M.D.)
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.
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.
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.
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.
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.
2012-01-01
The Practice and Implications of Judicial Innovation: A Study of Administrative Litigation from City T Drawing on data from a mid-sized city, this article finds that the courts, caught between the unruly adminis- trative agencies and legal rhetoric, seek support from the Party to enhance their authority. They then devise tac- tics such as putting the chief official of agencies on the stand, issuing judicial suggestions, and innovatively ap- plying the laws. Contrary to the conventional wisdom that the courts are only a passive actor in local politics, the development indicates that the role of the courts is by no means negligible in translating the national laws into lo- cal practice. Social stability, industrial structure, the power and resource of administrative agencies, and profes- sionalism of court staff are important factors affecting the development of the rule of law.
2011-01-01
Management fraud and auditing scandals became more serious since the 70s-80s of the last century, so that the independence of CPA faced nprecedented challenges. Growing emphasis was put on the independence of CPA on which the academic research deepened too. This article analyzes the nfluence of the independence of CPA from the conflict of the owners / shareholders, managers, and CPA. By analysing the balance of power of those conflict nd the factors that restrict them, and basing on a summary research in this area of other scholars, this paper put forward a CPA conflict model based on the orporate governance structure, and suggest on the issue of how to protect the auditing independence under this new model.
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
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.
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;
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
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,
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.
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.
Michelle de Stefano Sabino
2011-12-01
Full Text Available This paper aims to describe and to analyze the integration observed in the Sintonia project with respect to the comparison of project management processes to the model of the Stage-Gate ®. The literature addresses these issues conceptually, but lack an alignment between them that is evident in practice. As a method was used single case study. The report is as if the Sintonia project, developed by PRODESP - Data Processing Company of São Paulo. The results show the integration of project management processes with the Stage-Gate model developed during the project life cycle. The formalization of the project was defined in stages in which allowed the exploitation of economies of repetition and recombination to the development of new projects. This study contributes to the technical vision in dealing with the integration of project management processes. It was concluded that this system represents an attractive way, in terms of creating economic value and technological innovation for the organization.
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.
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
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.
2012-01-01
QUALITY MANAGEMENT AND CONTROL DURING START- UP OF THE 1.0MT/A ETHYLENE PLANT IN ZHENHAI[ 1 ] Jiang Minding, Chang Mingkun. SINOPEC Zhenhai Refining ＆ Chemical Company, Ningbo Zhejiang, P. C. 315207 Abstract： Zhenhai ethylene project was put into operation suc- cessfully in 2010, and rich project management experiences were accumulated during the preparation process. Strict project quality management during pipeline blowing, system hydrosta- tic testing, chemicals filling and preparation before drying - out of cracking furnace can eliminate the hidden dangers, and cold tightening of flanges in cryogenic section during startup can minimize flare discharge.
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.
2011-01-01
GIVE FULL PLAY TO THE ADVANTAGES OF REFINING-CHEMICAL INTEGRATION FOR THE EXPANSION OF PETROCHEMICAL DOWNSTREAM INDUSTRY CHAIN [ 1] Zhao Yan. CNOOC Huizhou Refining Company, Huizhou, Guangdong, 516086 Abstract： Taking the current situation of the petrochemical industry base which has taken shape in Huizhou Daya Bay Petrochemical Industrial Park into account, this paper frames up the development assumption of refining-chemical integration brought along by large-scale refining and ethylene projects in CNOOC and Shell Petrochemicals Company with such projects as flagship. It mainly analyzes the advantages and importance of constructing industry base with refining, ethylene, chemicals and fine chemicals in Petrochemical Industrial Park which extends the industry chain, broadens the petrochemical market of Pearl River Delta and boosts the core competence of the industrial park.
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;
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.
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,
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.
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;
2012-01-01
He Xinyin as a Confucian Reformer and His Worship of Confucius Abstract：This paper regards He Xinyin, a member of Taizhou School, as a reformer of Confucianism. The reform means to transforming traditional Confucianism which is inti- mately linked with political institution into an independently religious one. The conflicts between Confucian orthodoxy and politics in reality intensified after the Jia.-jing Period in the Ming Dynasty. He Xinyin carries forward his predecessor Wang Xinzhai＇s theory of ＂political involvement or retiring from political life＂, and constructs a set of Confucian in- stitutions, which is independent of politics. On the basis of respects and honors of Confu- cius, He Xinyin~s Confucian institutions enables people to respect and love each other, and makes Confucius~s benevolence and righteousness come true.
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
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.
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.
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.
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.
2012-01-01
1.Lessons Normalization the Past. Inspirations for the Present-- omatic Relations between China and Ja the 40th Annive by Wang Taiping, President of China-Korea Economic Development Association, a council member of China-Japan Friendship Association and an executive member of China Society for the History of China-Japanese Relationship. Since the normalization of diplomatic relations between China and Japan 40 years ago, interactions and cooperation between the two sides in various areas have reached to a level never seen before, while at the same time serious cases full of reversals and zigzags occurred from time to time in quite a few areas. How China-Japanese relations can be promoted？
无
2012-01-01
Sino-Japanese Relations Entering into a New Transitional Period： Discussion on the Choice of Path to Strengthen Mutual Strategic Trusts WU Jinan China and Japan have celebrated the 40th anniversary of the normalization of diplomatic relations with apparently growing discordance. Noticeably, the great progress the two countries achieved in their exchanges and cooperation in all realms in recent years came along with highlighting structural contradictions and antagonism. Lack of mutual strategic confidence between the two countries has become the largest obstacle to the otherwise sound and stable development of the bilateral relations. China and Japan must read and grasp the overall situation of the bilateral relations from a strategic point of view, expand the convergences of their common strategic interests and overcome the estrangement and suspicion between each other, before they will advance Sino-Japanese relations into a new stage.
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.
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
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;
2013-01-01
Sandrine Dubel Université Blaise-Pascal de Clermont-Ferrand The ecphraseis embedded in the epic poems of the Hellenistic period involve numerous intertextual allusions to the many passages in which Archaic epic poetry describes precious objects or the lavish shades of metals and other materials: these intertextual allusions are for instance based on etymological wordplay or on transpositions from one art to the other. This paper focusses on several case-studies. An ecphrasis found in Apolloni...
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.
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)
2012-01-01
1.Influence of Formulating Code of Conduct in the South China Sea on China" s Defending, of its Rights and How to Deal with It,by Dr. Jiang Guoxue, a research fellow at the Center for Development Studies of the Asia Pacific Region in Guangzhou, Guangdong Province, and Dr. Lin Lanzhao, an associate researcher at the same center. In recent years, some countries concerned in the ASEAN, for the sake of restricting ChinaI s action and ensuring their vested interests, have made every effort to push forward with the formulation and signing of code of conduct as soon as possible. To sign and pass the Code of Conduct in the South China Sea is not conductive to China to protect its rights and interests in the South China Sea at present, however, it can win China time and space for the final solution of the issue. We should actively participate in and play a leading role in the process of the formulation of that code of conduct. In the meantime, we should speed up our resources development and tighten controls over those islands, reefs and adjacent waters in the South China Sea, and endeavor to enhance our comprehensive national strength, thus laying a solid foundation for the comprehensive and thorough settlement of the South China Sea issue.
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
2009-01-01
How talk about a social workers' culture ? Michel Chauvière The author first aims at specifying and problematising the notion of professional culture in éducateurs (french social workers specialised in youth work and/or care work) and uses for that purpose an open definition of culture, dynamised by the notion of « social world ». Two dialectically involved aspects of culture are then approached : on one side, what gathers, what is shared, and also what is used to protect the ingroup of profe...
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＂.
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
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
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,
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
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;
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）.
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
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,
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
2011-01-01
Fellow Townsman in Shanghai and Political Action During the Modern China YE Zhou There was an important change in fellow townsman＇ s political action in the modern China. Shanghai became the important center of fellow townsman and some ideas have been changed. This essay think although there was some new change in organization and ideas, but blood -geographical complex and political interest arrested the fellow society play a more important role in modem political activity.
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
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.
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,
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,
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.
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.
2012-01-01
Performance and application technique of seismic instrument are related closely to oil and gas exploration effect since seismic instrument is core equipment used in geophysical prospecting. This paper discusses broadly the seismic instrument＇ s development principle and the relation to geophysical exploration technology from the point of the development needs of geophysical exploration technology. Meanwhile, it gives a systematic introduction to the progress of the seismic instruments over the world using new products or new technology issued in 2011 ＂EAGE＂ and ＂SEG＂ annual exhibition, hoping to promote a wide understanding of the contemporary seismic instruments and improve the comprehensive application of them.
The power point presentation is about: danger identification, caracterization, evaluation exposition, risk (CAC, 1997; FAO, 2007), European food safety authority, foodrisk organization, pathogens risk ranking, risk reduction, gubernamental responsability
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）
Revista, Innovar
2011-01-01
New approaches towards Efficiency, Productivity and Quality in Management Theory / New approaches towards Efficiency, Productivity and Quality in Management Theory / The new paradigm regarding Science and Management Theory / Game Theory as applied to Administration / A Systemic approach to Territorial Diagnosis / A prolile 0f Technological Capacity in the Graphical Art, Printing and Publishing Industry / Colombian Industrialisation: a Heterodox Vision /Determinant factors in environmental po...
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.
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.
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.
Nukleonika '98. Book of abstracts
The book of abstracts contains 87 abstracts of contributions, encompassing a gamut of topics in nuclear physics, nuclear power engineering, nuclear chemistry, dosimetry, radiation protection, application of radionuclides and ionizing radiations, the radon issue, elementary particle physics, and research into nuclear fusion. International cooperation and contribution of Czech institutions to science and engineering are frequently mentioned. (M.D.)
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.
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.
Technical abstracts: Mechanical engineering, 1990
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
An index for regular expression quering: Design and implementation
Tsang, Dominic
2011-01-01
The like regular expression predicate has been part of the SQL standard since at least 1989. However, despite its popularity and wide usage, database vendors provide only limited indexing support for regular expression queries which almost always require a full table scan. In this paper we propose a rigorous and robust approach for providing indexing support for regular expression queries. Our approach consists of formulating the indexing problem as a combinatorial optimization problem. We begin with a database, abstracted as a collection of strings. From this data set we generate a query workload. The input to the optimization problem is the database and the workload. The output is a set of multigrams (substrings) which can be used as keys to records which satisfy the query workload. The multigrams can then be integrated with the data structure (like B+ trees) to provide indexing support for the queries. We provide a deterministic and a randomized approximation algorithm (with provable guarantees) to solve t...
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 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...... 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....
Hierarchical Reinforcement Learning using Spatio-Temporal Abstractions and Deep Neural Networks
Krishnamurthy, Ramnandan; Lakshminarayanan, Aravind S.; Kumar, Peeyush; Ravindran, Balaraman
2016-01-01
This paper introduces an automated skill acquisition framework in reinforcement learning which involves identifying a hierarchical description of the given task in terms of abstract states and extended actions between abstract states. Identifying such structures present in the task provides ways to simplify and speed up reinforcement learning learning algorithms. These structures also help to generalize such algorithms over multiple tasks without relearning policies from scratch. We use ideas...
Planning in Markov Stochastic Task Domains
Yong Lin
2010-10-01
Full Text Available In decision theoretic planning, a challenge for Markov decision processes (MDPs and partially observable Markov decision processes (POMDPs is, many problem domains contain big state spaces and complex tasks, which will result in poor solution performance. We develop a task analysis and modeling (TAM approach, in which the (POMDP model is separated into a task view and an action view. In the task view, TAM models the problem domain using a task equivalence model, with task-dependent abstract states and observations. We provide a learning algorithm to obtain the parameter values of task equivalence models. We present three typical examples to explain the TAM approach. Experimental results indicate our approach can greatly improve the computational capacity of task planning in Markov stochastic domains.
Frames and finite group schemes over complete regular local rings
Lau, Eike
2009-01-01
Let p be an odd prime. We show that the classification of p-divisible groups by Breuil windows and the classification of finite flat group schemes of p-power order by Breuil modules hold over any complete regular local ring with perfect residue field of characteristic p. We use a formalism of frames and windows with an abstract deformation theory that applies to Breuil windows.
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.
Near-Regular Texture Synthesis
Haindl, Michal; Hatka, Martin
Heidelberg : Springer, 2009 - (X. Jiang, N.Petkov), s. 1138-1145 ISBN 978-3-642-03766-5. ISSN 0302-9743. - (Lecture Notes in Computer Science. 5702). [13th International Conference on Computer Analysis of Images and Patterns. Muenster (DE), 02.09.2009-04.09.2009] R&D Projects: GA MŠk 1M0572; GA ČR GA102/08/0593 Grant ostatní: GA MŠk(CZ) 2C06019 Institutional research plan: CEZ:AV0Z10750506 Keywords : texture modelling * near-regular texture Subject RIV: BD - Theory of Information http://library.utia.cas.cz/separaty/2009/RO/haindl-near-regular texture synthesis.pdf
Efficient Hyperelastic Regularization for Registration
Darkner, Sune; Hansen, Michael Sass; Larsen, Rasmus; Hansen, Mads Fogtmann
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...... 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...
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.
Complete nonmeasurability in regular families
Ralowski, Robert
2010-01-01
We show that for a $\\sigma $-ideal $\\ci$ with a Borel base of subsets of an uncountable Polish space, if $\\ca$ is (in several senses) a "regular" family of subsets from $\\ci $ then there is a subfamily of $\\ca$ whose union is completely nonmeasurable i.e. its intersection with every Borel set not in $\\ci $ does not belong to the smallest $\\sigma $-algebra containing all Borel sets and $\\ci.$ Our results generalize results from \\cite{fourpoles} and \\cite{fivepoles}.
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.
Regular Symmetry Patterns (Technical Report)
Lin, Anthony W.; Nguyen, Truong Khanh; Rümmer, Philipp; Sun, Jun
2015-01-01
Symmetry reduction is a well-known approach for alleviating the state explosion problem in model checking. Automatically identifying symmetries in concurrent systems, however, is computationally expensive. We propose a symbolic framework for capturing symmetry patterns in parameterised systems (i.e. an infinite family of finite-state systems): two regular word transducers to represent, respectively, parameterised systems and symmetry patterns. The framework subsumes various types of symmetry ...
Regular Variation and Smile Asymptotics
Benaim, Shalom; Friz, Peter
2006-01-01
We consider risk-neutral returns and show how their tail asymptotics translate directly to asymptotics of the implied volatility smile, thereby sharpening Roger Lee's celebrated moment formula. The theory of regular variation provides the ideal mathematical framework to formulate and prove such results. The practical value of our formulae comes from the vast literature on tail asymptotics and our conditions are often seen to be true by simple inspection of known results.
Regularized strings with extrinsic curvature
We analyze models of discretized string theories, where the path integral over world sheet variables is regularized by summing over triangulated surfaces. The inclusion of curvature in the action is a necessity for the scaling of the string tension. We discuss the physical properties of models with extrinsic curvature terms in the action and show that the string tension vanishes at the critical point where the bare extrinsic curvature coupling tends to infinity. Similar results are derived for models with intrinsic curvature. (orig.)
Directed abstraction: Encouraging broad, personal generalizations following a success experience.
Zunick, Peter V; Fazio, Russell H; Vasey, Michael W
2015-07-01
People with negative self-views may fail to generalize appropriately from success experiences (e.g., Wood, Heimpel, Newby-Clark, & Ross, 2005). We drew on theories regarding self-views (Swann, Griffin, Predmore, & Gaines, 1987) and abstraction (Semin & Fiedler, 1991), as well as past linguistic framing work (e.g., Marigold, Holmes, & Ross, 2007, 2010; Salancik, 1974), to create a new technique to encourage people with negative self-views to generalize broadly from a success experience to the self-concept. We call this technique directed abstraction. In Experiment 1, participants with negative self-views who completed a directed abstraction writing task following success feedback regarding a novel laboratory task generalized more from that success, reporting higher ability levels and greater expectations of future success in the relevant domain. In Experiment 2, directed abstraction produced similar results (including more positive self-related affect, e.g., pride) after participants recalled a past public speaking success. In Experiment 3, participants high in fear of public speaking gave two speeches in a context designed to be challenging yet also to elicit successful performances. Directed abstraction helped these participants generalize from their success to beliefs about their abilities, expectations about the future, and confidence as a speaker. In Experiment 4, directed abstraction following success on a verbal task increased persistence in the face of failure on a subsequent verbal task. We discuss implications for understanding how and when people generalize from a success, compare directed abstraction to existing interventions, and suggest practical applications for this influence technique. PMID:25984786
Adaptive regularization of earthquake slip distribution inversion
Wang, Chisheng; Ding, Xiaoli; Li, Qingquan; Shan, Xinjian; Zhu, Jiasong; Guo, Bo; Liu, Peng
2016-04-01
Regularization is a routine approach used in earthquake slip distribution inversion to avoid numerically abnormal solutions. To date, most slip inversion studies have imposed uniform regularization on all the fault patches. However, adaptive regularization, where each retrieved parameter is regularized differently, has exhibited better performances in other research fields such as image restoration. In this paper, we implement an investigation into adaptive regularization for earthquake slip distribution inversion. It is found that adaptive regularization can achieve a significantly smaller mean square error (MSE) than uniform regularization, if it is set properly. We propose an adaptive regularization method based on weighted total least squares (WTLS). This approach assumes that errors exist in both the regularization matrix and observation, and an iterative algorithm is used to solve the solution. A weight coefficient is used to balance the regularization matrix residual and the observation residual. An experiment using four slip patterns was carried out to validate the proposed method. The results show that the proposed regularization method can derive a smaller MSE than uniform regularization and resolution-based adaptive regularization, and the improvement in MSE is more significant for slip patterns with low-resolution slip patches. In this paper, we apply the proposed regularization method to study the slip distribution of the 2011 Mw 9.0 Tohoku earthquake. The retrieved slip distribution is less smooth and more detailed than the one retrieved with the uniform regularization method, and is closer to the existing slip model from joint inversion of the geodetic and seismic data.
Nuclear energy and environment: abstracts
In this meeting on nuclear energy and environment, abstracts on the following subjects were presented: nuclear fuels; materials; radioisotopes and its applications; reactors and nuclear power plants; regulations, energy and environment; radioactive wastes; and analytical techniques
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......Biocards are formal descriptions of biological phenomena and their underlying functional principles. They are used in bioinspired design to document search results and to communicate the findings for use in the further design process. The present study explored the effect of abstraction level used...... 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....
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.
Automatic Term-Level Abstraction
Brady, Bryan
2011-01-01
Recent advances in decision procedures for Boolean satisfiability (SAT) and Satisfiability Modulo Theories (SMT) have increased the performance and capacity of formal verification techniques. Even with these advances, formal methods often do not scale to industrial-size designs, due to the gap between the level of abstraction at which designs are described and the level at which SMT solvers can be applied. In order to fully exploit the power of state-of-the-art SMT solvers, abstraction ...
06091 Abstracts Collection -- Data Structures
Arge, Lars; Sedgewick, Robert; Wagner, Dorothea
2006-01-01
From 26.02.06 to 03.03.06, the Dagstuhl Seminar 06091 ``Data Structures'' was held in the International Conference and Research Center (IBFI), Schloss Dagstuhl. 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 goa...
05191 Abstracts Collection -- Graph Drawing
Jünger, Michael; Mutzel, Petra; Kobourov, Stephen
2006-01-01
From 08.05.05 to 13.05.05, the Dagstuhl Seminar 05191 ``Graph Drawing'' was held in the International Conference and Research Center (IBFI), Schloss Dagstuhl. 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...
07021 Abstracts Collection -- Symmetric Cryptography
Biham, Eli; Handschuh, Helena; Lucks, Stefan; Rijmen, Vincent
2007-01-01
From .. to .., the Dagstuhl Seminar 07021 ``Symmetric Cryptography'' automatically was held in the International Conference and Research Center (IBFI), Schloss Dagstuhl. 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 to...
06421 Abstracts Collection -- Robot Navigation
Fekete, Sándor; Fleischer, Rudolf; Klein, Rolf; Lopez-Ortiz, Alejandro
2007-01-01
From 15.10.06 to 20.10.06, the Dagstuhl Seminar 06421 ``Robot Navigation''generate automatically was held in the International Conference and Research Center (IBFI), Schloss Dagstuhl. 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...
07291 Abstracts Collection -- Scientific Visualization
Ebert, David S.; Hagen, Hans; Joy, Kenneth I.; Keim, Daniel A.
2008-01-01
From 15.07. to 20.07.07, the Dagstuhl Seminar 07291 ``Scientific Visualization'' was held in the International Conference and Research Center (IBFI),Schloss Dagstuhl. 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 ...
07191 Abstracts Collection -- Event Processing
Etzion, Opher; Chandy, Mani; von Ammon, Rainer
2007-01-01
From 06.05. to 11.05.2007 the Dagstuhl Seminar 07191 ``Event Processing'' was held in the International Conference and Research Center (IBFI), Schloss Dagstuhl. 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 goa...
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...... supports the definition of a 3-valued modal logic for validating as well as refuting properties of systems. The construction is illustrated on a few examples, including the Ingemarsson-Tang-Wong key agreement protocol. © 2011 ACM....
09251 Abstracts Collection -- Scientific Visualization
Ebert, David S; Gröller, Eduard; Hagen, Hans; Kaufma, Arie
2010-01-01
From 06-14-2009 to 06-19-2009, the Dagstuhl Seminar 09251 ``Scientific Visualization '' was held in Schloss Dagstuhl~--~Leibniz Center for Informatics. During the seminar, over 50 international 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 g...
09111 Abstracts Collection -- Computational Geometry
Agarwal, Pankaj Kumar; Alt, Helmut; Teillaud, Monique
2009-01-01
From March 8 to March 13, 2009, the Dagstuhl Seminar 09111 ``Computational Geometry '' 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...
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...
10481 Abstracts Collection -- Computational Counting
Bürgisser, Peter; Goldberg, Leslie Ann; Jerrum, Mark
2011-01-01
From November 28 to December 3 2010, the Dagstuhl Seminar 10481 ``Computational Counting'' 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 ge...
Black hole mimickers: Regular versus singular behavior
Black hole mimickers are possible alternatives to black holes; they would look observationally almost like black holes but would have no horizon. The properties in the near-horizon region where gravity is strong can be quite different for both types of objects, but at infinity it could be difficult to discern black holes from their mimickers. To disentangle this possible confusion, we examine the near-horizon properties, and their connection with far away asymptotic properties, of some candidates to black mimickers. We study spherically symmetric uncharged or charged but nonextremal objects, as well as spherically symmetric charged extremal objects. Within the uncharged or charged but nonextremal black hole mimickers, we study nonextremal ε-wormholes on the threshold of the formation of an event horizon, of which a subclass are called black foils, and gravastars. Within the charged extremal black hole mimickers we study extremal ε-wormholes on the threshold of the formation of an event horizon, quasi-black holes, and wormholes on the basis of quasi-black holes from Bonnor stars. We elucidate whether or not the objects belonging to these two classes remain regular in the near-horizon limit. The requirement of full regularity, i.e., finite curvature and absence of naked behavior, up to an arbitrary neighborhood of the gravitational radius of the object enables one to rule out potential mimickers in most of the cases. A list ranking the best black hole mimickers up to the worst, both nonextremal and extremal, is as follows: wormholes on the basis of extremal black holes or on the basis of quasi-black holes, quasi-black holes, wormholes on the basis of nonextremal black holes (black foils), and gravastars. Since in observational astrophysics it is difficult to find extremal configurations (the best mimickers in the ranking), whereas nonextremal configurations are really bad mimickers, the task of distinguishing black holes from their mimickers seems to be less
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.
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.
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
Efficient Hyperelastic Regularization for Registration
Darkner, Sune; Hansen, Michael S; Larsen, Rasmus;
2011-01-01
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...
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...... callosum. One of the comprehensive goals of this type of research is to use non-invasive imaging devices for the detection of diseases which are otherwise difficult to diagnose at an early stage. A more modest but equally interesting goal is to improve the understanding of the brain in relation to body and...
Regular nanofabrics in emerging technologies
Jamaa, M Haykel Ben
2011-01-01
""Regular Nanofabrics in Emerging Technologies"" gives a deep insight into both fabrication and design aspects of emerging semiconductor technologies, that represent potential candidates for the post-CMOS era. Its approach is unique, across different fields, and it offers a synergetic view for a public of different communities ranging from technologists, to circuit designers, and computer scientists. The book presents two technologies as potential candidates for future semiconductor devices and systems and it shows how fabrication issues can be addressed at the design level and vice versa. The
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 )
Remarks on the energy of regular graphs
Nikiforov, V.
2016-01-01
This note is about the energy of regular graphs. The energy of a graph is the sum of the absolute values of the eigenvalues of its adjacency matrix. It is shown that graphs that are close to regular can be made regular with a negligible change of the energy. Also a $k$-regular graph can be extended to a $k$-regular graph of a slightly larger order with almost the same energy. As an application, it is shown that for every sufficiently large $n,$ there exists a regular graph $G$ of order $n$ wh...
Mechanical Engineering Department technical abstracts
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
Meeting Abstracts - Annual Meeting 2016.
2016-04-01
The AMCP Abstracts program provides a forum through which authors can share their insights and outcomes of advanced managed care practice through publication in AMCP's Journal of Managed Care & Specialty Pharmacy (JMCP). Most of the reviewed and unreviewed abstracts are presented as posters so that interested AMCP meeting attendees can review findings and query authors. The Student/Resident/ Fellow poster presentation (unreviewed) is Wednesday, April 20, 2016, and the Professional poster presentation (reviewed) is Thursday, April 21. The Professional posters will also be displayed on Friday, April 22. The reviewed abstracts are published in the JMCP Meeting Abstracts supplement. The AMCP Managed Care & Specialty Pharmacy Annual Meeting 2016 in San Francisco, California, is expected to attract more than 3,500 managed care pharmacists and other health care professionals who manage and evaluate drug therapies, develop and manage networks, and work with medical managers and information specialists to improve the care of all individuals enrolled in managed care programs. Abstracts were submitted in the following categories: Research Report: describe completed original research on managed care pharmacy services or health care interventions. Examples include (but are not limited to) observational studies using administrative claims, reports of the impact of unique benefit design strategies, and analyses of the effects of innovative administrative or clinical programs. Economic Model: describe models that predict the effect of various benefit design or clinical decisions on a population. For example, an economic model could be used to predict the budget impact of a new pharmaceutical product on a health care system. Solving Problems in Managed Care: describe the specific steps taken to introduce a needed change, develop and implement a new system or program, plan and organize an administrative function, or solve other types of problems in managed care settings. These
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.
Abstract communication for coordinated planning
Clement, Bradley J.; Durfee, Edmund H.
2003-01-01
work offers evidence that distributed planning agents can greatly reduce communication costs by reasoning at abstract levels. While it is intuitive that improved search can reduce communication in such cases, there are other decisions about how to communicate plan information that greatly affect communication costs. This paper identifies cases independent of search where communicating at multiple levels of abstraction can exponentially decrease costs and where it can exponentially add costs. We conclude with a process for determining appropriate levels of communication based on characteristics of the domain.
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
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.
On Nano Regular Generalized and Nano Generalized Regular Closed Sets in Nano Topological Spaces
P.Sulochana Devi; Dr.K.Bhuvaneswari
2014-01-01
The purpose of this paper is to define and study a new class of sets called Nano regular generalized and Nano generalized regular closed sets in nano topological spaces. Basic properties of nano regular generalized closed sets and nano generalized regular closed sets are analysed. We also used them to introduce the new notions like nano regular generalized closure and nano generalized regular closure and their relation with already existing well known sets are also investigated.
Phonological abstraction without phonemes in speech perception.
Mitterer, Holger; Scharenborg, Odette; McQueen, James M
2013-11-01
Recent evidence shows that listeners use abstract prelexical units in speech perception. Using the phenomenon of lexical retuning in speech processing, we ask whether those units are necessarily phonemic. Dutch listeners were exposed to a Dutch speaker producing ambiguous phones between the Dutch syllable-final allophones approximant [r] and dark [l]. These ambiguous phones replaced either final /r/ or final /l/ in words in a lexical-decision task. This differential exposure affected perception of ambiguous stimuli on the same allophone continuum in a subsequent phonetic-categorization test: Listeners exposed to ambiguous phones in /r/-final words were more likely to perceive test stimuli as /r/ than listeners with exposure in /l/-final words. This effect was not found for test stimuli on continua using other allophones of /r/ and /l/. These results confirm that listeners use phonological abstraction in speech perception. They also show that context-sensitive allophones can play a role in this process, and hence that context-insensitive phonemes are not necessary. We suggest there may be no one unit of perception. PMID:23973464
Killing transform on regular Dirichlet subspaces
Li, Liping; Ying, Jiangang
2015-01-01
In this paper, we shall consider the killing transform induced by a multiplicative functional on regular Dirichlet subspaces of a fixed Dirichlet form. Roughly speaking, a regular Dirichlet subspace is a closed subspace with Dirichlet and regular properties of fixed Dirichlet space. By using the killing transforms, our main results indicate that the big jump part of fixed Dirichlet form is not essential for discussing its regular Dirichlet subspaces. This fact is very similar to the status of...
Abstract Interpretation of Mobile Ambients
Hansen, René Rydhof; Jensen, J. G.; Nielson, Flemming; Nielson, Hanne Riis
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 for...
Abstractions of stochastic hybrid systems
Bujorianu, L.M.; Bujorianu, M. C.; Lygeros, J.
2005-01-01
Many control systems have large, infinite state space that can not be easily abstracted. One method to analyse and verify these systems is reachability analysis. It is frequently used for air traffic control and power plants. Because of lack of complete information about the environment or unpredict
This publications related with Hacettepe University, Turkish Atomic Energy Authority, The Scientific and Technological Research Council of Turkey, International Atomic Energy Agency, CEA-Saclay, CEA-Saclay Drecam, ANKAmall Shopping Center and Ion Beam Applications Industrial that was held in Antalya, Turkey, 23-28 September 2006. A separate abstract was prepared for each paper
Abstraction of Mobile Network Topology
Codes Morales, Albert
2015-01-01
[ANGLÈS] Analyse the effect that abstracting topology of mobile networks would have on the performance of current mobile networks. The investigations are carried out in network simulator and by designing the SDN-based control for the LTE network.
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…
Task inhibition and task repetition in task switching
Philipp, A; Koch, I.
2006-01-01
To explore the effect of exogenous processes on cognitive control, we used a cueing task-switching paradigm with two spatial judgement tasks and added an irrelevant colour attribute to the task-relevant spatial attribute of the target. The colour was not related to any specific Stimulus-Response relation in the tasks. A correlation was created between stimulus colour and task identity. This correlation was strong but imperfect in Experiment 1 and perfect in Experiment 2. As a result of the co...
Consistency Analysis of Spectral Regularization Algorithms
Yukui Zhu; Hongwei Sun
2012-01-01
We investigate the consistency of spectral regularization algorithms. We generalize the usual definition of regularization function to enrich the content of spectral regularization algorithms. Under a more general prior condition, using refined error decompositions and techniques of operator norm estimation, satisfactory error bounds and learning rates are proved.
Split Dimensional Regularization for the Temporal Gauge
Chen, Y H; Lin, C; Chen, Yaw-Hwang; Hsieh, Ron-Jou; Lin, Chilong
1996-01-01
A split dimensional regularization, which was introduced for the Coulomb gauge by Leibbrandt and Williams, is used to regularize the spurious singularities of Yang-Mills theory in the temporal gauge. Typical one-loop split dimensionally regularized temporal gauge integrals, and hence the renormalization structure of the theory are shown to be the same as those calculated with some nonprincipal-value prescriptions.
Bit-coded regular expression parsing
Nielsen, Lasse; Henglein, Fritz
2011-01-01
Regular expression parsing is the problem of producing a parse tree of a string for a given regular expression. We show that a compact bit representation of a parse tree can be produced efficiently, in time linear in the product of input string size and regular expression size, by simplifying the...
Technology Corner: A Regular Expression Training App
Nick Flor
2012-12-01
Full Text Available Regular expressions enable digital forensic analysts to find information in files. The best way for an analyst to become proficient in writing regular expressions is to practice. This paper presents the code for an app that allows an analyst to practice writing regular expressions.
Pairing effect and misleading regularity
Al-Sayed, A.
2015-11-01
We study the nearest neighbor spacing distribution of energy levels of even-even nuclei classified according to their reduced electric quadrupole transition probability B (E2) ↑ using the available experimental data. We compare between Brody, and Abul-Magd distributions that extract the degree of chaoticity within nuclear dynamics. The results show that Abul-Magd parameter f can represents the chaotic behavior in more acceptable way than Brody, especially if a statistically significant study is desired. A smooth transition from chaos to order is observed as B (E2) ↑ increases. An apparent regularity was located at the second interval, namely: at 0.05 ≤ B (E2) Weisskopf unit. Finally, the chaotic behavior parameterized in terms of B (E2) ↑ does not depend on the unit used.
From inactive to regular jogger
Lund-Cramer, Pernille; Brinkmann Løite, Vibeke; Bredahl, Thomas Viskum Gjelstrup;
study was conducted using individual semi-structured interviews on how a successful long-term behavior change had been achieved. Ten informants were purposely selected from participants in the DANO-RUN research project (7 men, 3 women, average age 41.5). Interviews were performed on the basis of Theory...... of Planned Behavior (TPB) and The Transtheoretical Model (TTM). Coding and analysis of interviews were performed using NVivo 10 software. Results TPB: During the behavior change process, the intention to jogging shifted from a focus on weight loss and improved fitness to both physical health, psychological......Title From inactive to regular jogger - a qualitative study of achieved behavioral change among recreational joggers Authors Pernille Lund-Cramer & Vibeke Brinkmann Løite Purpose Despite extensive knowledge of barriers to physical activity, most interventions promoting physical activity have proven...
Laplacian Regularized Low-Rank Representation and Its Applications.
Yin, Ming; Gao, Junbin; Lin, Zhouchen
2016-03-01
Low-rank representation (LRR) has recently attracted a great deal of attention due to its pleasing efficacy in exploring low-dimensional subspace structures embedded in data. For a given set of observed data corrupted with sparse errors, LRR aims at learning a lowest-rank representation of all data jointly. LRR has broad applications in pattern recognition, computer vision and signal processing. In the real world, data often reside on low-dimensional manifolds embedded in a high-dimensional ambient space. However, the LRR method does not take into account the non-linear geometric structures within data, thus the locality and similarity information among data may be missing in the learning process. To improve LRR in this regard, we propose a general Laplacian regularized low-rank representation framework for data representation where a hypergraph Laplacian regularizer can be readily introduced into, i.e., a Non-negative Sparse Hyper-Laplacian regularized LRR model (NSHLRR). By taking advantage of the graph regularizer, our proposed method not only can represent the global low-dimensional structures, but also capture the intrinsic non-linear geometric information in data. The extensive experimental results on image clustering, semi-supervised image classification and dimensionality reduction tasks demonstrate the effectiveness of the proposed method. PMID:27046494
How does the extraction of local and global auditory regularities vary with context?
Sébastien Marti
Full Text Available How does the human brain extract regularities from its environment? There is evidence that short range or 'local' regularities (within seconds are automatically detected by the brain while long range or 'global' regularities (over tens of seconds or more require conscious awareness. In the present experiment, we asked whether participants' attention was needed to acquire such auditory regularities, to detect their violation or both. We designed a paradigm in which participants listened to predictable sounds. Subjects could be distracted by a visual task at two moments: when they were first exposed to a regularity or when they detected violations of this regularity. MEG recordings revealed that early brain responses (100-130 ms to violations of short range regularities were unaffected by visual distraction and driven essentially by local transitional probabilities. Based on global workspace theory and prior results, we expected that visual distraction would eliminate the long range global effect, but unexpectedly, we found the contrary, i.e. late brain responses (300-600 ms to violations of long range regularities on audio-visual trials but not on auditory only trials. Further analyses showed that, in fact, visual distraction was incomplete and that auditory and visual stimuli interfered in both directions. Our results show that conscious, attentive subjects can learn the long range dependencies present in auditory stimuli even while performing a visual task on synchronous visual stimuli. Furthermore, they acquire a complex regularity and end up making different predictions for the very same stimulus depending on the context (i.e. absence or presence of visual stimuli. These results suggest that while short-range regularity detection is driven by local transitional probabilities between stimuli, the human brain detects and stores long-range regularities in a highly flexible, context dependent manner.
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.
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...
Object Classification via Planar Abstraction
Oesau, Sven; Lafarge, Florent; Alliez, Pierre
2016-06-01
We present a supervised machine learning approach for classification of objects from sampled point data. The main idea consists in first abstracting the input object into planar parts at several scales, then discriminate between the different classes of objects solely through features derived from these planar shapes. Abstracting into planar shapes provides a means to both reduce the computational complexity and improve robustness to defects inherent to the acquisition process. Measuring statistical properties and relationships between planar shapes offers invariance to scale and orientation. A random forest is then used for solving the multiclass classification problem. We demonstrate the potential of our approach on a set of indoor objects from the Princeton shape benchmark and on objects acquired from indoor scenes and compare the performance of our method with other point-based shape descriptors.
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.......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...
NONE
2007-06-15
The book includes the abstracts of all contributions presented during ESGAR (European Society of Gastrointestinal and Abdominal Radiology) 2007. The contributions of the symposium and the scientific sessions cover the following topics: abdominal MRI; interactive liver diagnosis; rectal cancer; liver metastases; pancreas: technical advances, lesion characterisation and staging; hepatic interventions; upper GI tract: multimodality evaluation; Crohn's disease evaluation; focal liver lesions: multimodality evaluation; CTC-computer aided diagnosis; bile ducts: imaging and intervention; GI tract: imaging and intervention; small bowel and appendix: cross-sectional imaging; CT and MR colonography; trauma and acute abdominal conditions: imaging and intervention; vascular and diffuse liver disease; liver contrast enhanced US. The second part covers the abstract of 248 presentations.
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.
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...... technique is based on fixpoint induction and introduces an extended class of attribute grammars as to express a standard semantics....
Abstracts of the scientific contributions
The abstracts are reproduced of the 66 scientific contributions to the 39th annual meeting of the following three German associations or societies for medical radiology: Vereinigung Suedwestdeutscher Radiologen und Mediziner, Hessische Gesellschaft fuer Medizinische Strahlenkunde, and Thueringische Gesellschaft fuer Radiologie. The topics discussed include: intracerebral hemorrage, image quality and dose, lesions of the space of the disk, diagnostics and therapy of liver tumors, lesions of the knee joint, and free subjects. The 39 posters are reproduced in full. (MG)
Abstractions of stochastic hybrid systems
Bujorianu, L.M.; Lygeros, J.; Bujorianu, M.C.
2005-01-01
Many control systems have large, infinite state space that can not be easily abstracted. One method to analyse and verify these systems is reachability analysis. It is frequently used for air traffic control and power plants. Because of lack of complete information about the environment or unpredicted changes, the stochastic approach is a viable alternative. In this paper, different ways of introducing rechability under uncertainty are presented. A new concept of stochastic bisimulation is in...
Abstract Body, Abstract Machine: Alan Turing's Drama of Difference
Mann-O'Donnell, Sarah
2005-01-01
In order to prove that mathematics cannot be exhausted by a finite set of procedures, Alan Turing conceives, in 1936, of an abstract machine 1. The machine makes its debut in “On Computable Numbers with an application to the Entscheidungsproblem,” his first major mathematical paper 2. A close reading of this machine’s dynamic will show that Turing’s thought in the field of mathematics is a consciously embodied thought that contemplates its own incompleteness. By examining Turing’s machine thr...
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
Relationship between abstract thinking and eye gaze pattern in patients with schizophrenia
Oh, Jooyoung; Chun, Ji-Won; Lee, Jung Suk; Kim, Jae-Jin
2014-01-01
Background Effective integration of visual information is necessary to utilize abstract thinking, but patients with schizophrenia have slow eye movement and usually explore limited visual information. This study examines the relationship between abstract thinking ability and the pattern of eye gaze in patients with schizophrenia using a novel theme identification task. Methods Twenty patients with schizophrenia and 22 healthy controls completed the theme identification task, in which subjects...
Measuring, Enabling and Comparing Modularity, Regularity and Hierarchy in Evolutionary Design
Hornby, Gregory S.
2005-01-01
For computer-automated design systems to scale to complex designs they must be able to produce designs that exhibit the characteristics of modularity, regularity and hierarchy - characteristics that are found both in man-made and natural designs. Here we claim that these characteristics are enabled by implementing the attributes of combination, control-flow and abstraction in the representation. To support this claim we use an evolutionary algorithm to evolve solutions to different sizes of a table design problem using five different representations, each with different combinations of modularity, regularity and hierarchy enabled and show that the best performance happens when all three of these attributes are enabled. We also define metrics for modularity, regularity and hierarchy in design encodings and demonstrate that high fitness values are achieved with high values of modularity, regularity and hierarchy and that there is a positive correlation between increases in fitness and increases in modularity. regularity and hierarchy.
Tomography in abstract Hilbert spaces
Man'ko, V I; Simoni, A; Ventriglia, F
2006-01-01
The tomographic description of a quantum state is formulated in an abstract infinite dimensional Hilbert space framework, the space of the Hilbert-Schmidt linear operators, with trace formula as scalar product. Resolutions of the unity, written in terms of over-complete sets of rank-one projectors and of associated Gram-Schmidt operators taking into account their non-orthogonality, are then used to reconstruct a quantum state from its tomograms. Examples of well known tomographic descriptions illustrate the exposed theory.
Concept of the abstract program
Gregorics, T.
2012-01-01
The aim of this paper is to alter the abstract definition of the program of the theoretical programming model which has been developed at Eotvos Lorand University for many years in order to investigate methods that support designing correct programs. The motivation of this modi?cation was that the dynamic properties of programs appear in the model. This new definition of the program gives a hand to extend the model with the concept of subprograms while the earlier results of the original prog...
Visualizing abstract objects and relations
Kamada, Tomihisa
1989-01-01
Pictorial representations are very useful for humans to understand complicated relations or structures. This is the reason that the user interface of information systems is strongly required to visualize many kinds of information in a wide variety of graphical forms. At present, however, only some very specialized visualization techniques have been developed probably because the generality in the visualization has not been appreciated correctly. This book presents a visualization framework for translating abstract objects and relations, typically represented in textual forms, into pictorial re
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.
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.
Learning Probabilistic Relational Dynamics for Multiple Tasks
Deshpande, Ashwin; Milch, Brian; Zettlemoyer, Luke S.; Kaelbling, Leslie Pack
2008-01-01
The ways in which an agent's actions affect the world can often be modeled compactly using a set of relational probabilistic planning rules. This extended abstract addresses the problem of learning such rule sets for multiple related tasks. We take a hierarchical Bayesian approach, in which the system learns a prior distribution over rule sets. We present a class of prior distributions parameterized by a rule set prototype that is stochastically modified to produce a task-specific rule se...
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.
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.
Visual categorization: accessing abstraction in non-human primates.
Fabre-Thorpe, Michèle
2003-01-01
Evolution might have set the basic foundations for abstract mental representation long ago. Because of language, mental abilities would have reached different degrees of sophistication in mammals and in humans but would be, essentially, of the same nature. Thus, humans and animals might rely on the same basic mechanisms that could be masked in humans by the use of sophisticated strategies. In this paper, monkey and human abilities are compared in a variety of perceptual tasks including visual...
An introduction to abstract algebra
Robinson, Derek JS
2003-01-01
This is a high level introduction to abstract algebra which is aimed at readers whose interests lie in mathematics and in the information and physical sciences. In addition to introducing the main concepts of modern algebra, the book contains numerous applications, which are intended to illustrate the concepts and to convince the reader of the utility and relevance of algebra today. In particular applications to Polya coloring theory, latin squares, Steiner systems and error correcting codes are described. Another feature of the book is that group theory and ring theory are carried further than is often done at this level. There is ample material here for a two semester course in abstract algebra. The importance of proof is stressed and rigorous proofs of almost all results are given. But care has been taken to lead the reader through the proofs by gentle stages. There are nearly 400 problems, of varying degrees of difficulty, to test the reader''s skill and progress. The book should be suitable for students ...
Kernel Bayesian Inference with Posterior Regularization
Song, Yang; Jun ZHU; Ren, Yong
2016-01-01
We propose a vector-valued regression problem whose solution is equivalent to the reproducing kernel Hilbert space (RKHS) embedding of the Bayesian posterior distribution. This equivalence provides a new understanding of kernel Bayesian inference. Moreover, the optimization problem induces a new regularization for the posterior embedding estimator, which is faster and has comparable performance to the squared regularization in kernel Bayes' rule. This regularization coincides with a former th...
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...... is presented. Next, different adaptive regularization schemes are reviewed and extended. Finally, the experimental section presents a comparative study concerning linear models for regression/time series problems....
Enhancing Regular Expressions For Polish Text Processing
Krzysztof Dorosz; Anna Szczerbińska
2009-01-01
The paper presents proposition of regular expressions engine based on the modified Thompson’salgorithm dedicated to the Polish language processing. The Polish inflectional dictionaryhas been used for enhancing regular expressions engine and syntax. Instead of usingcharacters as a basic element of regular expressions patterns (as it takes place in BRE orERE standards) presented tool gives possibility of using words from a natural language orlabels describing words grammar properties in regex s...
Processing of task-irrelevant emotional faces impacted by implicit sequence learning.
Peng, Ming; Cai, Mengfei; Zhou, Renlai
2015-12-01
Attentional load may be increased by task-relevant attention, such as difficulty of task, or task-irrelevant attention, such as an unexpected light-spot in the screen. Several studies have focused on the influence of task-relevant attentional load on task-irrelevant emotion processing. In this study, we used event-related potentials to examine the impact of task-irrelevant attentional load on task-irrelevant expression processing. Eighteen participants identified the color of a word (i.e. the color Stroop task) while a picture of a fearful or a neutral face was shown in the background. The task-irrelevant attentional load was increased by regularly presented congruence trials (congruence between the color and the meaning of the word) in the regular condition because implicit sequence learning was induced. We compared the task-irrelevant expression processing between the regular condition and the random condition (the congruence and incongruence trials were presented randomly). Behaviorally, reaction times for the fearful face condition were faster than the neutral faces condition in the random condition, whereas no significant difference was found in the regular condition. The event-related potential results indicated enhanced positive amplitudes in P2, N2, and P3 components relative to neutral faces in the random condition. In comparison, only P2 differed significantly for the two types of expressions in the regular condition. The study showed that attentional load increased by implicit sequence learning influenced the late processing of task-irrelevant expression. PMID:26445285
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.
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.
Double-Star Decomposition of Regular Graphs
Akbari, Saieed; Haghi, Shahab; Maimani, Hamidreza; Seify, Abbas
2015-01-01
A tree containing exactly two non-pendant vertices is called a double-star. A double-star with degree sequence $(k_1+ 1, k_2+ 1, 1, \\ldots, 1)$ is denoted by $S_{k_1, k_2}$. We study the edge-decomposition of regular graphs into double-stars. It was proved that every double-star of size $k$ decomposes every $2k$-regular graph. In this paper, we extend this result to $(2k+ 1)$-regular graphs, by showing that every $(2k+ 1)$-regular graph containing two disjoint perfect matchings is decomposed ...
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.
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.
Internship Abstract and Final Reflection
Sandor, Edward
2016-01-01
The primary objective for this internship is the evaluation of an embedded natural language processor (NLP) as a way to introduce voice control into future space suits. An embedded natural language processor would provide an astronaut hands-free control for making adjustments to the environment of the space suit and checking status of consumables procedures and navigation. Additionally, the use of an embedded NLP could potentially reduce crew fatigue, increase the crewmember's situational awareness during extravehicular activity (EVA) and improve the ability to focus on mission critical details. The use of an embedded NLP may be valuable for other human spaceflight applications desiring hands-free control as well. An embedded NLP is unique because it is a small device that performs language tasks, including speech recognition, which normally require powerful processors. The dedicated device could perform speech recognition locally with a smaller form-factor and lower power consumption than traditional methods.
English Abstracts of Major Papers in This Issue
2012-01-01
＂Pure Language＂ and the Interpretation of Benjamin＇s ＂The Task of the Translator＂ By Cao Danhong （Nanjing University, Jiangsu, China） p. 5Abstract ： Benjamin＇ s ＂The Task of the Translator＂ has been read and interpreted by generations of scholars. Nonetheless, some of his views expressed in this article have yet to be explained satisfactorily and part of its meaning remains obscure. This paper maintains that no adequate understanding of ＂The Task of the Translator＂ could be achieved unless we take into full consideration a core idea of Benjamin＇ s early philosophy of language, i.e., the concept of ＂the pure Language.＂
Visual mismatch negativity reveals automatic detection of sequential regularity violation
Gábor Stefanics
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.
Abstract Expression Grammar Symbolic Regression
Korns, Michael F.
This chapter examines the use of Abstract Expression Grammars to perform the entire Symbolic Regression process without the use of Genetic Programming per se. The techniques explored produce a symbolic regression engine which has absolutely no bloat, which allows total user control of the search space and output formulas, which is faster, and more accurate than the engines produced in our previous papers using Genetic Programming. The genome is an all vector structure with four chromosomes plus additional epigenetic and constraint vectors, allowing total user control of the search space and the final output formulas. A combination of specialized compiler techniques, genetic algorithms, particle swarm, aged layered populations, plus discrete and continuous differential evolution are used to produce an improved symbolic regression sytem. Nine base test cases, from the literature, are used to test the improvement in speed and accuracy. The improved results indicate that these techniques move us a big step closer toward future industrial strength symbolic regression systems.
Norddesign 2012 - Book of Abstract
fate of the ideas behind the conferences. In that view the conferences have been thematically open and the organization has been tight with a limited number of participants that allows a good overview of all the papers and a lot of informal discussion between the participants. The present conference...... received more than 140 abstracts and through the review process this have resulted in approximately 70 accepted papers. One of the new research fields included in this conference is the area of Biomechanics – hence the cover graphics of the conference proceedings. With this short introduction we encourage...... you to study and reflect upon the topics and content of the accepted papers. And not at least to let this inspire you in fruitful discussions during the conference...
Transplantation as an abstract good
Hoeyer, Klaus; Jensen, Anja Marie Bornø; Olejaz, Maria
2015-01-01
respect 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......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...... ignorance has 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...
Schematising Activities as a Means for Encouraging Young Children to Think Abstractly
van Oers, Bert; Poland, Marielle
2007-01-01
One of the missions of education is to prepare children for complex tasks that occur in their cultural environment. By means of abstracting, the effects of this complexity can be reduced. Recent research and theoretical development show us that young children already seem to be able to think abstractly. The acknowledgement of this potential in…
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…
In defense of abstract conceptual representations.
Binder, Jeffrey R
2016-08-01
An extensive program of research in the past 2 decades has focused on the role of modal sensory, motor, and affective brain systems in storing and retrieving concept knowledge. This focus has led in some circles to an underestimation of the need for more abstract, supramodal conceptual representations in semantic cognition. Evidence for supramodal processing comes from neuroimaging work documenting a large, well-defined cortical network that responds to meaningful stimuli regardless of modal content. The nodes in this network correspond to high-level "convergence zones" that receive broadly crossmodal input and presumably process crossmodal conjunctions. It is proposed that highly conjunctive representations are needed for several critical functions, including capturing conceptual similarity structure, enabling thematic associative relationships independent of conceptual similarity, and providing efficient "chunking" of concept representations for a range of higher order tasks that require concepts to be configured as situations. These hypothesized functions account for a wide range of neuroimaging results showing modulation of the supramodal convergence zone network by associative strength, lexicality, familiarity, imageability, frequency, and semantic compositionality. The evidence supports a hierarchical model of knowledge representation in which modal systems provide a mechanism for concept acquisition and serve to ground individual concepts in external reality, whereas broadly conjunctive, supramodal representations play an equally important role in concept association and situation knowledge. PMID:27294428
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...
Manifold regularized non-negative matrix factorization with label information
Li, Huirong; Zhang, Jiangshe; Wang, Changpeng; Liu, Junmin
2016-03-01
Non-negative matrix factorization (NMF) as a popular technique for finding parts-based, linear representations of non-negative data has been successfully applied in a wide range of applications, such as feature learning, dictionary learning, and dimensionality reduction. However, both the local manifold regularization of data and the discriminative information of the available label have not been taken into account together in NMF. We propose a new semisupervised matrix decomposition method, called manifold regularized non-negative matrix factorization (MRNMF) with label information, which incorporates the manifold regularization and the label information into the NMF to improve the performance of NMF in clustering tasks. We encode the local geometrical structure of the data space by constructing a nearest neighbor graph and enhance the discriminative ability of different classes by effectively using the label information. Experimental comparisons with the state-of-the-art methods on theCOIL20, PIE, Extended Yale B, and MNIST databases demonstrate the effectiveness of MRNMF.
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)
Argonne Code Center: compilation of program abstracts
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
Argonne Code Center: compilation of program abstracts
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
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)
Noninvariance of regularization by dimensional reduction
By a direct calculation it is shown that at the threeloop level the regularization by dimensional reduction breaks supersymmetry relations between coupling constants in the N=1, 2, 4 supersymmetric Yang-Mills theories written in terms of component fields. This is a strong limitation to the scope of the regularization
Regularization algorithms based on total least squares
Hansen, Per Christian; O'Leary, Dianne P.
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...
Tikhonov Regularization and Total Least Squares
Golub, G. H.; Hansen, Per Christian; O'Leary, D. P.
2000-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. We show how Tikhonov's regularization method, which in its original ...
Regular Event Structures and Finite Petri Nets
Nielsen, M.; Thiagarajan, P.S.
2002-01-01
We present the notion of regular event structures and conjecture that they correspond exactly to finite 1-safe Petri nets. We show that the conjecture holds for the conflict-free case. Even in this restricted setting, the proof is non-trivial and involves a natural subclass of regular event struc...... structures that admit a sensible labeling with Mazurkiewicz trace alphabets....
Continuum regularization of quantum field theory
Possible nonperturbative continuum regularization schemes for quantum field theory are discussed which are based upon the Langevin equation of Parisi and Wu. Breit, Gupta and Zaks made the first proposal for new gauge invariant nonperturbative regularization. The scheme is based on smearing in the ''fifth-time'' of the Langevin equation. An analysis of their stochastic regularization scheme for the case of scalar electrodynamics with the standard covariant gauge fixing is given. Their scheme is shown to preserve the masslessness of the photon and the tensor structure of the photon vacuum polarization at the one-loop level. Although stochastic regularization is viable in one-loop electrodynamics, two difficulties arise which, in general, ruins the scheme. One problem is that the superficial quadratic divergences force a bottomless action for the noise. Another difficulty is that stochastic regularization by fifth-time smearing is incompatible with Zwanziger's gauge fixing, which is the only known nonperturbaive covariant gauge fixing for nonabelian gauge theories. Finally, a successful covariant derivative scheme is discussed which avoids the difficulties encountered with the earlier stochastic regularization by fifth-time smearing. For QCD the regularized formulation is manifestly Lorentz invariant, gauge invariant, ghost free and finite to all orders. A vanishing gluon mass is explicitly verified at one loop. The method is designed to respect relevant symmetries, and is expected to provide suitable regularization for any theory of interest. Hopefully, the scheme will lend itself to nonperturbative analysis. 44 refs., 16 figs
Generalization performance of regularized neural network models
Larsen, Jan; Hansen, Lars Kai
1994-01-01
normally improves the generalization performance by restricting the model complexity. A formula for the optimal weight decay regularizer is derived. A regularized model may be characterized by an effective number of weights (parameters); however, it is demonstrated that no simple definition is possible. A...
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.
A dynamical transformation of strongly regular graphs
Emms, D; Severini, S; Wilson, R C; Emms, David; Hancock, Edwin R.; Severini, Simone; Wilson, Richard C.
2006-01-01
We define an easily constructible matrix representation of graphs inspired by the notion of coined quantum walks. We conjecture that the eigenvalues of such a representation distinguish a strongly regular graph from its cospectral mates. We verify this conjecture numerically for all the strongly regular graphs that we have tested up to 64 vertices.
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.
Automating InDesign with Regular Expressions
Kahrel, Peter
2006-01-01
If you need to make automated changes to InDesign documents beyond what basic search and replace can handle, you need regular expressions, and a bit of scripting to make them work. This Short Cut explains both how to write regular expressions, so you can find and replace the right things, and how to use them in InDesign specifically.
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...
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...
The role of information competencies and skills in learning to abstract
Pinto, Mar??a; Doucet, Anne-Vinciane; Fern??ndez-Ramos, Andr??s
2008-01-01
The ability to abstract information is a basic competency in today???s knowledge society, characterised by the mass diffusion of information and the need to manage and access it effectively. Yet abstracting is not an easy task, and requires a specific learning process. This paper examines the process of abstracting information from the perspective of competencies and skills based learning. The competencies and skills necessary in this process are identified by analysing in detail the various ...
Metric and geometric quasiconformality in Ahlfors regular Loewner spaces
Tyson, Jeremy T.
Recent developments in geometry have highlighted the need for abstract formulations of the classical theory of quasiconformal mappings. We modify Pansu's generalized modulus to study quasiconformal geometry in spaces with metric and measure-theoretic properties sufficiently similar to Euclidean space. Our basic objects of study are locally compact metric spaces equipped with a Borel measure which is Ahlfors-David regular of dimension Q>1 , and satisfies the Loewner condition of Heinonen-Koskela. For homeomorphisms between open sets in two such spaces, we prove the equivalence of three conditions: a version of metric quasiconformality, local quasisymmetry and geometric quasiconformality. We derive from these results several corollaries. First, we show that the Loewner condition is a quasisymmetric invariant in locally compact Ahlfors regular spaces. Next, we show that a proper Q -regular Loewner space, Q>1 , is not quasiconformally equivalent to any subdomain. (In the Euclidean case, this result is due to Loewner.) Finally, we characterize products of snowflake curves up to quasisymmetric/bi-Lipschitz equivalence: two such products are bi-Lipschitz equivalent if and only if they are isometric and are quasisymmetrically equivalent if and only if they are conformally equivalent.
Loli Piccolomini, Elena; Zama, Fabiana
2009-01-01
Ill posed problems constitute the mathematical model of a large variety of applications. Aim of this paper is to define an iterative algorithm finding the solution of a regularization problem. The method minimizes a function constituted by a least squares term and a generally nonlinear regularization term, weighted by a regularization parameter. The proposed method computes a sequence of iterates approximating the regularization parameter and a sequence of iterates appro...
EURORIB 2010, Book of abstracts
The second international EURORIB conference 'EURORIB'10' will be held from June 6. to June 11. 2010 in Lamoura (France). Our nuclear physics community is eagerly awaiting the construction of the next generation of Radioactive Ion Beam (RIB) facilities in Europe: HIE-ISOLDE at CERN, NUSTAR at FAIR, SPES at LNL, SPIRAL2 at GANIL and the future EURISOL. The collaborations built around these facilities are exploring new experimental and theoretical ideas that will advance our understanding of nuclear structure through studies of exotic nuclei. Following in the spirit of the conference held in Giens in 2008, EURORIB'10 will provide the opportunity for the different collaborations to come together and present these ideas, and explore the synergy between the research programmes based around the hypothetical severe acprojects. The main topics to be discussed at the conference are: 1) At and beyond the drip line, 2) Shell structure far from stability, 3) Fusion reactions and synthesis of heavy and superheavy nuclei, 4) Dynamics and thermodynamics of exotic nuclear systems, 5) Radioactive ion beams in nuclear astrophysics, 6) New modes of radioactivity, 7) Fundamental interactions, 8) Applications in other fields, 9) Future RIB facilities, 10) Production and manipulation of RIB, and 11) Working group meetings on synergy in instrumentation and data acquisition. This document gathers only the abstracts of the papers. (authors)
1986 annual information meeting. Abstracts
Abstracts are presented for the following papers: Geohydrological Research at the Y-12 Plant (C.S. Haase); Ecological Impacts of Waste Disposal Operations in Bear Creek Valley Near the Y-12 Plant (J.M. Loar); Finite Element Simulation of Subsurface Contaminant Transport: Logistic Difficulties in Handling Large Field Problems (G.T. Yeh); Dynamic Compaction of a Radioactive Waste Burial Trench (B.P. Spalding); Comparative Evaluation of Potential Sites for a High-Level Radioactive Waste Repository (E.D. Smith); Changing Priorities in Environmental Assessment and Environmental Compliance (R.M. Reed); Ecology, Ecotoxicology, and Ecological Risk Assessment (L.W. Barnthouse); Theory and Practice in Uncertainty Analysis from Ten Years of Practice (R.H. Gardner); Modeling Landscape Effects of Forest Decline (V.H. Dale); Soil Nitrogen and the Global Carbon Cycle (W.M. Post); Maximizing Wood Energy Production in Short-Rotation Plantations: Effect of Initial Spacing and Rotation Length (L.L. Wright); and Ecological Communities and Processes in Woodland Streams Exhibit Both Direct and Indirect Effects of Acidification (J.W. Elwood)
Attracting Girls into Physics (abstract)
Gadalla, Afaf
2009-04-01
A recent international study of women in physics showed that enrollment in physics and science is declining for both males and females and that women are severely underrepresented in careers requiring a strong physics background. The gender gap begins early in the pipeline, from the first grade. Girls are treated differently than boys at home and in society in ways that often hinder their chances for success. They have fewer freedoms, are discouraged from accessing resources or being adventurous, have far less exposure to problem solving, and are not encouraged to choose their lives. In order to motivate more girl students to study physics in the Assiut governorate of Egypt, the Assiut Alliance for the Women and Assiut Education District collaborated in renovating the education of physics in middle and secondary school classrooms. A program that helps in increasing the number of girls in science and physics has been designed in which informal groupings are organized at middle and secondary schools to involve girls in the training and experiences needed to attract and encourage girls to learn physics. During implementation of the program at some schools, girls, because they had not been trained in problem-solving as boys, appeared not to be as facile in abstracting the ideas of physics, and that was the primary reason for girls dropping out of science and physics. This could be overcome by holding a topical physics and technology summer school under the supervision of the Assiut Alliance for the Women.
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.
Randomizing task placement does not randomize traffic (enough)
Jokanovic, Ana; Prisacari, Bogdan; Rodriguez, German; Minkenberg, Cyriel
2013-01-01
Dragonflies are one of the most promising topologies for the Exascale effort for their scalability and cost. Dragonflies achieve very high throughput under uniform traffic, but have a pathological behavior under other regular traffic patterns, some of them very common in HPC applications. A recent study showed that randomization of task placement can make pathological, regular (multi-dimensional stencil) traffic patterns behave similar to uniform traffic. In this work we provide a theoret...
Bounds for graph regularity and removal lemmas
Conlon, David
2011-01-01
We show, for any positive integer k, that there exists a graph in which any equitable partition of its vertices into k parts has at least ck^2/\\log^* k pairs of parts which are not \\epsilon-regular, where c,\\epsilon>0 are absolute constants. This bound is tight up to the constant c and addresses a question of Gowers on the number of irregular pairs in Szemer\\'edi's regularity lemma. In order to gain some control over irregular pairs, another regularity lemma, known as the strong regularity lemma, was developed by Alon, Fischer, Krivelevich, and Szegedy. For this lemma, we prove a lower bound of wowzer-type, which is one level higher in the Ackermann hierarchy than the tower function, on the number of parts in the strong regularity lemma, essentially matching the upper bound. On the other hand, for the induced graph removal lemma, the standard application of the strong regularity lemma, we find a different proof which yields a tower-type bound. We also discuss bounds on several related regularity lemmas, inclu...
From recreational to regular drug use
Järvinen, Margaretha; Ravn, Signe
2011-01-01
This article analyses the process of going from recreational use to regular and problematic use of illegal drugs. We present a model containing six career contingencies relevant for young people’s progress from recreational to regular drug use: the closing of social networks, changes in forms of...... extricate themselves from this pattern. Hence, when regular drug users talk about their future, it is not a future characterised by total abstinence from illegal drugs but a future where they have rolled back their drug use career to the recreational drug use pattern they started out with. Empirically, the...
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.
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.
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.
Diagrammatic methods in phase-space regularization
Using the scalar prototype and gauge theory as the simplest possible examples, diagrammatic methods are developed for the recently proposed phase-space form of continuum regularization. A number of one-loop and all-order applications are given, including general diagrammatic discussions of the nogrowth theorem and the uniqueness of the phase-space stochastic calculus. The approach also generates an alternate derivation of the equivalence of the large-β phase-space regularization to the more conventional coordinate-space regularization. (orig.)
Geometry and Dynamics for Hierarchical Regular Networks
Boettcher, S.; B. Goncalves; Azaret, J.
2008-01-01
The recently introduced hierarchical regular networks HN3 and HN4 are analyzed in detail. We use renormalization group arguments to show that HN3, a 3-regular planar graph, has a diameter growing as \\sqrt{N} with the system size, and random walks on HN3 exhibit super-diffusion with an anomalous exponent d_w = 2 - \\log_2\\phi = 1.306..., where \\phi = (\\sqrt{5} + 1)/2 = 1.618... is the "golden ratio." In contrast, HN4, a non-planar 4-regular graph, has a diameter that grows slower than any power...
Continuum regularization of gauge theory with fermions
The continuum regularization program is discussed in the case of d-dimensional gauge theory coupled to fermions in an arbitrary representation. Two physically equivalent formulations are given. First, a Grassmann formulation is presented, which is based on the two-noise Langevin equations of Sakita, Ishikawa and Alfaro and Gavela. Second, a non-Grassmann formulation is obtained by regularized integration of the matter fields within the regularized Grassmann system. Explicit perturbation expansions are studied in both formulations, and considerable simplification is found in the integrated non-Grassmann formalism
Annotating user-defined abstractions for optimization
Quinlan, D; Schordan, M; Vuduc, R; Yi, Q
2005-12-05
This paper discusses the features of an annotation language that we believe to be essential for optimizing user-defined abstractions. These features should capture semantics of function, data, and object-oriented abstractions, express abstraction equivalence (e.g., a class represents an array abstraction), and permit extension of traditional compiler optimizations to user-defined abstractions. Our future work will include developing a comprehensive annotation language for describing the semantics of general object-oriented abstractions, as well as automatically verifying and inferring the annotated semantics.
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.
Ricketts, Jessie; Davies, Robert; Masterson, Jackie; Stuart, Morag; Duff, Fiona J
2016-10-01
We investigated the relationship between semantic knowledge and word reading. A sample of 27 6-year-old children read words both in isolation and in context. Lexical knowledge was assessed using general and item-specific tasks. General semantic knowledge was measured using standardized tasks in which children defined words and made judgments about the relationships between words. Item-specific knowledge of to-be-read words was assessed using auditory lexical decision (lexical phonology) and definitions (semantic) tasks. Regressions and mixed-effects models indicated a close relationship between semantic knowledge (but not lexical phonology) and both regular and exception word reading. Thus, during the early stages of learning to read, semantic knowledge may support word reading irrespective of regularity. Contextual support particularly benefitted reading of exception words. We found evidence that lexical-semantic knowledge and context make separable contributions to word reading. PMID:27416563
Sørensen, Torben; Hansen, Poul Erik
1998-01-01
Description of the compulsary project tasks to be carried out as a part of DTU course 72238 Robotics......Description of the compulsary project tasks to be carried out as a part of DTU course 72238 Robotics...
Nuclear works. Book of abstracts
the conception of a LILW repository (Marc Mormont, Anne Bergmans), The contribution of Social Sciences and Humanities to the scientific program for radioactive waste management of Andra (Luis Aparicio), The public expert and the nuclear catastrophe (Christine Fassert); 5 - Nuclear governance: Did Fukushima put an end to nuclear revival? A post-Fukushima debates analysis in Finnish, French and British media (Markku Lehtonen), Nuclear secrecy at the test of the right to participation (Philippe Billet), Nuclear science, politics and national construction: what remains from Nehru's India in these times of uncertainty? (Berenice Girard); 6 - Working in the nuclear industry. Training and work collectives: Nuclear industry: a workers-less world? (Pierre Fournier), Ambiguity dynamics at NPPs, a pluri-disciplinary approach (Nicolas Lot), Sino-French nuclear engineering curriculums: what kind of innovation configuration? (Richard Marion). This document brings together the French and English abstracts of the different talks
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.
Scaling behavior of regularized bosonic strings
Ambjørn, J.; Makeenko, Y.
2016-03-01
We implement a proper-time UV regularization of the Nambu-Goto string, introducing an independent metric tensor and the corresponding Lagrange multiplier, and treating them in the mean-field approximation justified for long strings and/or when the dimension of space-time is large. We compute the regularized determinant of the 2D Laplacian for the closed string winding around a compact dimension, obtaining in this way the effective action, whose minimization determines the energy of the string ground state in the mean-field approximation. We discuss the existence of two scaling limits when the cutoff is taken to infinity. One scaling limit reproduces the results obtained by the hypercubic regularization of the Nambu-Goto string as well as by the use of the dynamical triangulation regularization of the Polyakov string. The other scaling limit reproduces the results obtained by canonical quantization of the Nambu-Goto string.
Weakly supervised object detection with posterior regularization
Hakan Bilen; Marco Pedersoli; Tinne Tuytelaars
2014-01-01
Bilen H., Pedersoli M., Tuytelaars T., ''Weakly supervised object detection with posterior regularization'', 25th British machine vision conference - BMVC 2014, 12 pp., September 1-5, 2014, Nottingham, UK.
Regular inspection of safety and relief valves
Safety valve concepts with self control mechanisms are in regular use in nuclear power plants in the Federal Republic of Germany. The effect of defects in these valves and the influence on inspection practices is discussed. 12 figs., 1 tab
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.
Jackson, Kara J.; Shahan, Emily C.; Gibbons, Lynsey K.; Cobb, Paul A.
2012-01-01
Mathematics lessons can take a variety of formats. In this article, the authors discuss lessons organized around complex mathematical tasks. These lessons usually unfold in three phases. First, the task is introduced to students. Second, students work on solving the task. Third, the teacher "orchestrates" a concluding whole-class discussion in…
A Consistent Regularization Approach for Structured Prediction
Ciliberto, Carlo; Rudi, Alessandro; Rosasco, Lorenzo
2016-01-01
We propose and analyze a regularization approach for structured prediction problems. We characterize a large class of loss functions that allows to naturally embed structured outputs in a linear space. We exploit this fact to design learning algorithms using a surrogate loss approach and regularization techniques. We prove universal consistency and finite sample bounds characterizing the generalization properties of the proposed methods. Experimental results are provided to demonstrate the pr...
Imposing Theoretical Regularity on Flexible Functional Forms
Apostolos Serletis; Guohua Feng
2013-01-01
In this paper we build on work by Gallant and Golub (1984), Diewert and Wales (1987), and Barnett (2002) and provide a comparison among three different methods of imposing theoretical regularity on flexible functional forms - reparameterization using Cholesky factorization, constrained optimization, and Bayesian methodology. We apply the methodology to a translog cost and share equation system and make a distinction between local, regional, pointwise, and global regularity. We find that the i...
Regular-fat dairy and human health
Astrup, Arne; Bradley, Beth H Rice; Brenna, J Thomas;
2016-01-01
In recent history, some dietary recommendations have treated dairy fat as an unnecessary source of calories and saturated fat in the human diet. These assumptions, however, have recently been brought into question by current research on regular fat dairy products and human health. In an effort to......, cheese and yogurt, can be important components of an overall healthy dietary pattern. Systematic examination of the effects of dietary patterns that include regular-fat milk, cheese and yogurt on human health is warranted....
Regularized Maximum Likelihood for Intrinsic Dimension Estimation
Gupta, Mithun Das
2012-01-01
We propose a new method for estimating the intrinsic dimension of a dataset by applying the principle of regularized maximum likelihood to the distances between close neighbors. We propose a regularization scheme which is motivated by divergence minimization principles. We derive the estimator by a Poisson process approximation, argue about its convergence properties and apply it to a number of simulated and real datasets. We also show it has the best overall performance compared with two other intrinsic dimension estimators.
ONLINE REGULARIZED GENERALIZED GRADIENT CLASSIFICATION ALGORITHMS
Leilei Zhang; Baohui Sheng; Jianli Wang
2010-01-01
This paper considers online classification learning algorithms for regularized classification schemes with generalized gradient.A novel capacity independent approach is presented.It verifies the strong convergence of sizes and yields satisfactory convergence rates for polynomially decaying step sizes.Compared with the gradient schemes,this al-gorithm needs only less additional assumptions on the loss function and derives a stronger result with respect to the choice of step sizes and the regularization parameters.
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 to ...... improve the space and/or remove a dependency on the alphabet size for each problem using either an improved tabulation technique of an existing algorithm or by combining known algorithms in a new way....
Assessment of regularization techniques for electrocardiographic imaging
Milanič, Matija; Jazbinšek, Vojko; MacLeod, Robert S; Brooks, Dana H.; Hren, Rok
2013-01-01
A widely used approach to solving the inverse problem in electrocardiography involves computing potentials on the epicardium from measured electrocardiograms (ECGs) on the torso surface. The main challenge of solving this electrocardiographic imaging (ECGI) problem lies in its intrinsic ill-posedness. While many regularization techniques have been developed to control wild oscillations of the solution, the choice of proper regularization methods for obtaining clinically accepta...
Learning Temporal Regularity in Video Sequences
Hasan, Mahmudul; Choi, Jonghyun; Neumann, Jan; Amit K. Roy-Chowdhury; Larry S. Davis
2016-01-01
Perceiving meaningful activities in a long video sequence is a challenging problem due to ambiguous definition of 'meaningfulness' as well as clutters in the scene. We approach this problem by learning a generative model for regular motion patterns, termed as regularity, using multiple sources with very limited supervision. Specifically, we propose two methods that are built upon the autoencoders for their ability to work with little to no supervision. We first leverage the conventional handc...
Szemer\\'edi's regularity lemma revisited
2005-01-01
Szemer\\'edi's regularity lemma is a basic tool in graph theory, and also plays an important role in additive combinatorics, most notably in proving Szemer\\'edi's theorem on arithmetic progressions . In this note we revisit this lemma from the perspective of probability theory and information theory instead of graph theory, and observe a variant of this lemma which introduces a new parameter $F$. This stronger version of the regularity lemma was iterated in a recent paper of the author to repr...
Regularization modeling for large-eddy simulation
Geurts, BJ Bernard; Holm, DD
2003-01-01
A new modeling approach for large-eddy simulation (LES) is obtained by combining a `regularization principle' with an explicit filter and its inversion. This regularization approach allows a systematic derivation of the implied subgrid-model, which resolves the closure problem. The central role of the filter in LES is fully restored, i.e., both the interpretation of LES predictions in terms of direct simulation results as well as the corresponding subgrid closure are specified by the filter. ...
Abstract Machine for Typed Feature Structures
Wintner, Shuly; Francez, Nissim
1995-01-01
This paper describes an abstract machine for linguistic formalisms that are based on typed feature structures, such as HPSG. The core design of the abstract machine is given in detail, including the compilation process from a high-level language to the abstract machine language and the implementation of the abstract instructions. The machine's engine supports the unification of typed, possibly cyclic, feature structures. A separate module deals with control structures and instructions to acco...
Reduction algorithm for random abstract simplicial complexes
Vergne, Anaïs; Decreusefond, Laurent; Martins, Philippe
2013-01-01
In this paper, we present a reduction algorithm for abstract simplicial complexes that we apply to Vietoris-Rips complexes based on random point processes. Our algorithm aims at reducing the number of simplices of an abstract simplicial complex without modifying its topology, i.e. its Betti numbers. The vertices are removed in an optimal order for the abstract simplicial complex implementation complexity. Some mathematical properties of the reduction algorithm and its resulting abstract simpl...
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
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…
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
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
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. PMID:7546111
Manifold regularized multitask learning for semi-supervised multilabel image classification.
Luo, Yong; Tao, Dacheng; Geng, Bo; Xu, Chao; Maybank, Stephen J
2013-02-01
It is a significant challenge to classify images with multiple labels by using only a small number of labeled samples. One option is to learn a binary classifier for each label and use manifold regularization to improve the classification performance by exploring the underlying geometric structure of the data distribution. However, such an approach does not perform well in practice when images from multiple concepts are represented by high-dimensional visual features. Thus, manifold regularization is insufficient to control the model complexity. In this paper, we propose a manifold regularized multitask learning (MRMTL) algorithm. MRMTL learns a discriminative subspace shared by multiple classification tasks by exploiting the common structure of these tasks. It effectively controls the model complexity because different tasks limit one another's search volume, and the manifold regularization ensures that the functions in the shared hypothesis space are smooth along the data manifold. We conduct extensive experiments, on the PASCAL VOC'07 dataset with 20 classes and the MIR dataset with 38 classes, by comparing MRMTL with popular image classification algorithms. The results suggest that MRMTL is effective for image classification. PMID:22997267
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.
Task specificity of attention training: the case of probability cuing
Jiang, Yuhong V.; Swallow, Khena M.; Won, Bo-Yeong; Cistera, Julia D.; Rosenbaum, Gail M.
2015-01-01
Statistical regularities in our environment enhance perception and modulate the allocation of spatial attention. Surprisingly little is known about how learning-induced changes in spatial attention transfer across tasks. In this study, we investigated whether a spatial attentional bias learned in one task transfers to another. Most of the experiments began with a training phase in which a search target was more likely to be located in one quadrant of the screen than in the other quadrants. An...
The Beat to Read: A Cross-Lingual Link between Rhythmic Regularity Perception and Reading Skill
Bekius, Annike; Cope, Thomas E.; Grube, Manon
2016-01-01
This work assesses one specific aspect of the relationship between auditory rhythm cognition and language skill: regularity perception. In a group of 26 adult participants, native speakers of 11 different native languages, we demonstrate a strong and significant correlation between the ability to detect a “roughly” regular beat and rapid automatized naming (RAN) as a measure of language skill (Spearman's rho, −0.47, p < 0.01). There was no such robust relationship for the “mirror image” task of irregularity detection, i.e., the ability to detect ongoing small deviations from a regular beat. The correlation between RAN and regularity detection remained significant after partialling out performance on the irregularity detection task (rho, −0.41, p, 0.022), non-verbal IQ (rho, −0.37, p < 0.05), or musical expertise (rho, −0.31, p < 0.05). Whilst being consistent with the “shared resources model” in terms of rhythm as a common basis of language and music, evolutionarily as well as in individual development, the results also document how two related rhythm processing abilities relate differently to language skill. Specifically, the results support a universal relationship between rhythmic regularity detection and reading skill that is robust to accounting for differences in fluid intelligence and musical expertise, and transcends language-specific differences in speech rhythm.
The Atomic Regular Polyhedron Electronic Shell
Zilong Kong
2013-10-01
Full Text Available The periodic table of elements is arranged based on a series of regular polyhedron. The stability of inert gas atoms can be explained by the distribution of electrons, as well as their motion and magnetic force structure. A magnetic force regular octahedron is proposed. It is a unique configuration that best satisfies the convergence of electrons moving in the same direction within regular polyhedra. In the case of an electrostatic force crust, the formal electron spin accounts for the crusts intrinsic magnetic moment exceeding the speed of light. If one is to consider that the electron has a magnetic outer layer and an electrostatic inner layer, then the question can be solved and abovementioned inference can provide the basis for magnetic force and momentum for the regular octahedron model. The electron periphery has twenty-petal adsorptive substances; the existence of adsorptive substance causes the magnetic force greater than the electrostatic force. Each electronic shell in the regular polyhedron is in accordance with the electron configuration of periodic table of elements; the kinetic track of each electron is a surface of regular polyhedron. The magnetic properties of iron, cobalt, and nickel can be explained by the regular dodecahedron electronic shell of an atom. The electron orbit converged from reverse direction can explain diamond. The adsorptive substances found in atomic nuclei and electrons are defined as magnetic particles called magnetons. The thermodynamic magneton theory can be better explained when it is analyzed using principles of thermodynamics, superconductivity, viscosity, and even in the creation of glass. The structure of the light is a helical line.
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
TRUEE: Regularized unfolding for gamma-ray astronomy
The reconstruction of energy spectra from the observables of air-showers is one of the main tasks during the data analysis of many astroparticle experiments. The new unfolding program TRUEE, which is based on V. Blobel's RUN, offers the possibility to perform a regularized unfolding of energy spectra. It uses up to 3 observables, treats the background of the measurement and takes into account the correction for the limited acceptance of the detector. After a successful application to IceCube measurements, this method is now being used for gamma-ray data. The program has been integrated into the analysis chain of the MAGIC experiment. This includes the development of an interface between the MAGIC and TRUEE data formats, the optimal choice of observed parameters to be used in the unfolding, and subsequent functionalities like fits to the obtained spectrum. The functionality of the present implementation and an example application is presented, and an outlook for further enhancements is given.
Rofes, A; Spena, G; Miozzo, A; Fontanella, M M; Miceli, G
2015-12-01
Multidisciplinary efforts are being made to provide surgical teams with sensitive and specific tasks for language mapping in awake surgery. Researchers and clinicians have elaborated different tasks over time. A fair amount of work has been directed to study the neurofunctional correlates of some of these tasks, and there is recent interest in their standardization. However, little discussion exists on the advantages and disadvantages that each task poses from the perspective of the cognitive neuroscience of language. Such an approach may be a relevant step to assess task validity, to avoid using tasks that tap onto similar processes, and to provide patients with a surgical treatment that ensures maximal tumor resection while avoiding postoperative language deficits. An understanding of the language components that each task entails may also be relevant to improve the current assessments and the ways in which tasks are administered, and to disentangle neurofunctional questions. We reviewed 17 language mapping tasks that have been used in awake surgery. Overt production tasks have been a preferred choice over comprehension tasks. Tasks tapping lexico-semantic processes, particularly object-naming, maintain their role as gold standards. Automated speech tasks are used to detect speech errors and to set the amplitude of the stimulator. Comprehension tasks, reading and writing tasks, and tasks that assess grammatical aspects of language may be regularly administered in the near future. We provide examples of a three-task approach we are administering to patients with prefrontal lesions. We believe that future advances in this area are contingent upon reviewing gold standards and introducing new assessment tools. PMID:26159550
A Construction for P-Regular Semigroups
无
2000-01-01
@@A regular semigroup S with a special involution *, i.e., a unaryoperation on S satisfying (x*)*=x, xx*x=x, (xy)*=y*x* x, y S, is called a regular *-semigroup［1］. It has been shown by Yamada［2］ that a regular semigroup S is a regular *-semigroup if and only if ithas a P-system, that is to say, there is a subset P ofE(S) such that (c.1) (1) ( p, q P) pq E(S), pqp P; (2) ( a S) ( | a+ V(a)) aP1a+, a+P1a P.As a generalization of regular *-semigroup and orthodox semigroup,Yamada［3］ defined P-regular semigroup. Let S be a regularsemigroup. A subset P of E(S) is called a C-set in S if (c.2) (1) ( p, q P) pq E(S), pqp P; (2) ( a S) ( a+ V(a)) aP1a+, a+P1a P. In this case, (S,P) forms a P-regular semigroup, innotation S(P). The element a+ in(c.2) (2) is called a P-inverse of a. The set of all P-inverses of a is denoted by VP(a). S(P) is said to bestrongly, meanwhile P is called a strong C-set in S, ifVP(p) P for all p P. A partial groupoid E as well as its partial subgroupoid Pforms a P-regular partial band and is denoted by E(P) if itis exactly the subalgebra of the idempotents in some P-regularsemigroup S(P). In this case, S(P) is called an adjacentsemigroup E(P). All P-regular partial bands are obtained inZhang and He［4］.
Cummine, Jacqueline; Amyotte, Josee; Pancheshen, Brent; Chouinard, Brea
2011-01-01
The Frequency (high vs. low) x Regularity (regular vs. exception) interaction found on naming response times is often taken as evidence for parallel processing of sub-lexical and lexical systems. Using a Go/No-go naming task, we investigated the effect of nonword versus pseudohomophone foils on sub-lexical processing and the subsequent Frequency x…
Regularities, Natural Patterns and Laws of Nature
Stathis Psillos
2014-02-01
Full Text Available The goal of this paper is to sketch an empiricist metaphysics of laws of nature. The key idea is that there are regularities without regularity-enforcers. Differently put, there are natural laws without law-makers of a distinct metaphysical kind. This sketch will rely on the concept of a natural pattern and more significantly on the existence of a network of natural patterns in nature. The relation between a regularity and a pattern will be analysed in terms of mereology. Here is the road map. In section 2, I will briefly discuss the relation between empiricism and metaphysics, aiming to show that an empiricist metaphysics is possible. In section 3, I will offer arguments against stronger metaphysical views of laws. Then, in section 4 I will motivate nomic objectivism. In section 5, I will address the question ‘what is a regularity?’ and will develop a novel answer to it, based on the notion of a natural pattern. In section 6, I will raise the question: ‘what is a law of nature?’, the answer to which will be: a law of nature is a regularity that is characterised by the unity of a natural pattern.
A Special Congruence Lattice of a Regular Semigroup
M. Petrich
2007-10-01
Full Text Available Let S be a regular semigroup and C its lattice of congruences. We consider the sublattice L of C generated by s-the least group, t-the greatest idempotent pure, m-the greatest idempotent separating and b-the least band congruence on S. To this end, we study the following special cases: (1 any three of these congruences generate a distributive lattice, (2 L is distributive, (3 the restriction of the K-relation to L is a congruence and (4 a further special case. In each of these instances, we provide several characterizations. Our basic concept is that of a c-triple which represents an abstraction of (L; K|L, T|L
Abi-Haidar, Alaa; Maguitman, Ana G; Radivojac, Predrag; Retchsteiner, Andreas; Verspoor, Karin; Wang, Zhiping; Rocha, Luis M; 10.1186/gb-2008-9-s2-s11
2008-01-01
We participated in three of the protein-protein interaction subtasks of the Second BioCreative Challenge: classification of abstracts relevant for protein-protein interaction (IAS), discovery of protein pairs (IPS) and text passages characterizing protein interaction (ISS) in full text documents. We approached the abstract classification task with a novel, lightweight linear model inspired by spam-detection techniques, as well as an uncertainty-based integration scheme. We also used a Support Vector Machine and the Singular Value Decomposition on the same features for comparison purposes. Our approach to the full text subtasks (protein pair and passage identification) includes a feature expansion method based on word-proximity networks. Our approach to the abstract classification task (IAS) was among the top submissions for this task in terms of the measures of performance used in the challenge evaluation (accuracy, F-score and AUC). We also report on a web-tool we produced using our approach: the Protein Int...
Wai Chee SHIU; Gui Zhen LIU
2008-01-01
Plesnik in 1972 proved that an (m - 1)-edge connected m-regular graph of even order has a 1-factor containing any given edge and has another 1-factor excluding any given m - 1 edges.Alder et al.In 1999 showed that if G is a regular (2n + 1)-edge-connected bipartite graph,then G has a 1-factor containing any given edge and excluding any given matching of size n.In this paper we obtain some sufficient conditions related to the edge-connectivity for an n-regular graph to have a k-factor containing a set of edges and (or) excluding a set of edges,where 1 ≤ k ≤ n/2.In particular,we generalize Plesnik's result and the results obtained by Liu et al.In 1998,and improve Katerinis' result obtained 1993.Furthermore,we show that the results in this paper are the best possible.
Shadow of rotating regular black holes
Abdujabbarov, Ahmadjon; Ahmedov, Bobomurat; Ghosh, Sushant G
2016-01-01
We study the shadows cast by the different types of rotating regular black holes viz. Ay\\'on-Beato-Garc\\'ia {(ABG)}, Hayward, and Bardeen. These black holes have in addition to the total mass ($M$) and rotation parameter ($a$), different parameters as electric charge ($Q$), deviation parameter ($g$), and magnetic charge ($g_{*}$), respectively. Interestingly, the size of the shadow is affected by these parameters in addition to the rotation parameter. We found that the radius of the shadow in each case decreases monotonically and the distortion parameter increases when the value of these parameters increase. A comparison with the standard Kerr case is also investigated. We have also studied the influence of the plasma environment around regular black holes to discuss its shadow. The presence of the plasma affects the apparent size of the regular black hole's shadow to be increased due to two effects (i) gravitational redshift of the photons and (ii) radial dependence of plasma density.
Shadow of rotating regular black holes
Abdujabbarov, Ahmadjon; Amir, Muhammed; Ahmedov, Bobomurat; Ghosh, Sushant G.
2016-05-01
We study the shadows cast by the different types of rotating regular black holes viz. Ayón-Beato-García (ABG), Hayward, and Bardeen. These black holes have in addition to the total mass (M ) and rotation parameter (a ), different parameters as electric charge (Q ), deviation parameter (g ), and magnetic charge (g*). Interestingly, the size of the shadow is affected by these parameters in addition to the rotation parameter. We found that the radius of the shadow in each case decreases monotonically, and the distortion parameter increases when the values of these parameters increase. A comparison with the standard Kerr case is also investigated. We have also studied the influence of the plasma environment around regular black holes to discuss its shadow. The presence of the plasma affects the apparent size of the regular black hole's shadow to be increased due to two effects: (i) gravitational redshift of the photons and (ii) radial dependence of plasma density.
Regularization and Migration Policy in Europe
Philippe de Bruycker
2001-05-01
Full Text Available The following pages present, in a general way, the contents of Regularization of illegal immigrants in the European Union, which includes a comparative synthesis and statistical information for each of the eight countries involved; a description of actions since the beginning of the year 2000; and a systematic analysis of the different categories of foreigners, the types of regularization carried out, and the rules that have governed these actions.In relation to regularization, the author considers the political coherence of the actions taken by the member states as well as how they relate to two ever more crucial aspects of immigration policy –the integration of legal resident immigrants and the fight againstillegal immigration in the context of a control of migratory flows.
Weighted power counting and chiral dimensional regularization
Anselmi, Damiano
2014-01-01
We define a modified dimensional-regularization technique that overcomes several difficulties of the ordinary technique, and is specially designed to work efficiently in chiral and parity violating quantum field theories, in arbitrary dimensions greater than 2. When the dimension of spacetime is continued to complex values, spinors, vectors and tensors keep the components they have in the physical dimension, therefore the gamma matrices are the standard ones. Propagators are regularized with the help of evanescent higher-derivative kinetic terms, which are of Majorana type in the case of chiral fermions. If the new terms are organized in a clever way, weighted power counting provides an efficient control on the renormalization of the theory, and allows us to show that the resulting chiral dimensional regularization is consistent to all orders. The new technique considerably simplifies the proofs of properties that hold to all orders, and makes them suitable to be generalized to wider classes of models. Typica...
Regularized Robust Coding for Face Recognition
Meng, Yang; Jian, Yang; Zhang, David
2012-01-01
Recently the sparse representation based classification (SRC) has been proposed for robust face recognition (FR). In SRC, the testing image is coded as a sparse linear combination of the training samples, and the representation fidelity is measured by the l2-norm or l1-norm of the coding residual. Such a sparse coding model assumes that the coding residual follows Gaussian or Laplacian distribution, which may not be effective enough to describe the coding residual in practical FR systems. Meanwhile, the sparsity constraint on the coding coefficients makes SRC's computational cost very high. In this paper, we propose a new face coding model, namely regularized robust coding (RRC), which could robustly regress a given signal with regularized regression coefficients. By assuming that the coding residual and the coding coefficient are respectively independent and identically distributed, the RRC seeks for a maximum a posterior solution of the coding problem. An iteratively reweighted regularized robust coding (IR...
Lenchuk, Iryna
2014-01-01
The purpose of this article is to analyze a task included in the LINC Home Study (LHS) program. LHS is a federally funded distance education program offered to newcomers to Canada who are unable to attend regular LINC classes. A task, in which a language structure (a gerund) is chosen and analyzed, was selected from one instructional module of LHS…
Gedif Teferi; Getahun Workineh; Tesfaye Fikru
2010-01-01
Abstract Background Fresh leaves and buds of the Khat plant (Catha edulis) contain Cathinone, an amphetamine like alkaloid responsible for its pharmacological action. Chewing of Khat has been associated with a transient rise in blood pressure and heart rate in experimental studies. Few studies examined the effect of regular or frequent Khat chewing on blood pressure at the population level. This study was conducted to examine the association of regular Khat chewing with blood pressure among a...
Abstracting Runtime Heaps for Program Understanding
Marron, Mark; Su, Zhendong; Fahndrich, Manuel
2012-01-01
Modern programming environments provide extensive support for inspecting, analyzing, and testing programs based on the algorithmic structure of a program. Unfortunately, support for inspecting and understanding runtime data structures during execution is typically much more limited. This paper provides a general purpose technique for abstracting and summarizing entire runtime heaps. We describe the abstract heap model and the associated algorithms for transforming a concrete heap dump into the corresponding abstract model as well as algorithms for merging, comparing, and computing changes between abstract models. The abstract model is designed to emphasize high-level concepts about heap-based data structures, such as shape and size, as well as relationships between heap structures, such as sharing and connectivity. We demonstrate the utility and computational tractability of the abstract heap model by building a memory profiler. We then use this tool to check for, pinpoint, and correct sources of memory bloat...
Transport Task Force Leadership, Task 4
The Transport Task Force (TTF) was initiated as a broad-based US magnetic fusion community activity during the fall of 1988 to focus attention on and encourage development of an increased understanding of anomalous transport in tokamaks. The overall TTF goal is to make progress on Characterizing, Understanding and Identifying how to Reduce plasma transport in tokamaks -- to CUIR transport
A Brief Analysis of Communication Tasks in Task- based Teaehing
Xu Xiaoying
2011-01-01
Task -Based Language Teaching （TBLT） aims at proving opportunities for the learners to experiment with and explore both spoken and written language through learning activities. This passage further exam if the following four communicative tasks jigsaw tasks, role - play tasks, problem solving tasks, and information gap tasks can assist classroom learning.
Some common regularities of synergistic effects display
Our purpose here is to review and discuss some new general rules of synergistic effect display. The response of various biological objects to the simultaneous combined action of hyperthermia with ionizing radiation, ultraviolet light, ultrasound and some chemical agents was analysed using the experimental data obtained by authors. To check the universality of the regularities of synergistic effect display, the results published by others were also involved. The data presented strongly invoke the need to elaborate a new theoretical conception of the synergy which, being useful for environmental radiation protection, took into account the new regularities revealed. (author)
[Why regular physical activity favors longevity].
Pentimone, F; Del Corso, L
1998-06-01
Regular physical exercise is useful at all ages. In the elderly, even a gentle exercise programme consisting of walking, bicycling, playing golf if performed constantly increases longevity by preventing the onset of the main diseases or alleviating the handicaps they may have caused. Cardiovascular diseases, which represent the main cause of death in the elderly, and osteoporosis, a disabling disease potentially capable of shortening life expectancy, benefit from physical exercise which if performed regularly well before the start of old age may help to prevent them. Over the past few years there has been growing evidence of the concrete protection offered against neoplasia and even the ageing process itself. PMID:9739351
Regular transport dynamics produce chaotic travel times.
Villalobos, Jorge; Muñoz, Víctor; Rogan, José; Zarama, Roberto; Johnson, Neil F; Toledo, Benjamín; Valdivia, Juan Alejandro
2014-06-01
In the hope of making passenger travel times shorter and more reliable, many cities are introducing dedicated bus lanes (e.g., Bogota, London, Miami). Here we show that chaotic travel times are actually a natural consequence of individual bus function, and hence of public transport systems more generally, i.e., chaotic dynamics emerge even when the route is empty and straight, stops and lights are equidistant and regular, and loading times are negligible. More generally, our findings provide a novel example of chaotic dynamics emerging from a single object following Newton's laws of motion in a regularized one-dimensional system. PMID:25019866
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 implicati...
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.
Graph Subsumption in Abstract State Space Exploration
Eduardo Zambon; Arend Rensink
2012-01-01
In this paper we present the extension of an existing method for abstract graph-based state space exploration, called neighbourhood abstraction, with a reduction technique based on subsumption. Basically, one abstract state subsumes another when it covers more concrete states; in such a case, the subsumed state need not be included in the state space, thus giving a reduction. We explain the theory and especially also report on a number of experiments, which show that subsumption indeed drasti...
Abstract and concrete sentences, embodiment and languages
ClaudiaScorolli
2011-09-01
Full Text Available One of the main challenges of embodied theories is accounting for meanings of abstract words. The most common explanation is that abstract words, like concrete ones, are grounded in perception and action systems. According to other explanations, abstract words, differently from concrete ones, would activate situations and introspection; alternatively, they would be represented through metaphoric mapping. However, evidence provided so far pertains to specific domains. To be able to account for abstract words in their variety we argue it is necessary to take into account not only the fact that language is grounded in the sensorimotor system, but also that language represents a linguistic-social experience. To study abstractness as a continuum we combined a concrete (C verb with both a concrete and an abstract (A noun; and an abstract verb with the same nouns previously used (grasp vs. describe a flower vs. a concept. To disambiguate between the semantic meaning and the grammatical class of the words, we focused on two syntactically different languages: German and Italian. Compatible combinations (CC, AA were processed faster than mixed ones (CA, AC. This is in line with the idea that abstract and concrete words are processed preferentially in parallel systems - abstract in the language system and concrete more in the motor system, thus costs of processing within one system are the lowest. This parallel processing takes place most probably within different anatomically predefined routes. With mixed combinations, when the concrete word preceded the abstract one (CA, participants were faster, regardless of the grammatical class and the spoken language. This is probably due to the peculiar mode of acquisition of abstract words, as they are acquired more linguistically than perceptually. Results confirm embodied theories which assign a crucial role to both perception-action and linguistic experience for abstract words.
Global Statistical Learning in a Visual Search Task
Jones, John L.; Kaschak, Michael P.
2012-01-01
Locating a target in a visual search task is facilitated when the target location is repeated on successive trials. Global statistical properties also influence visual search, but have often been confounded with local regularities (i.e., target location repetition). In two experiments, target locations were not repeated for four successive trials,…
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.
Analysis of complex networks using aggressive abstraction.
Colbaugh, Richard; Glass, Kristin. [New Mexico Institute of Mining and Technology, Socorro, NM; Willard, Gerald [Department of Defense, Ft. Meade, MD
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.
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.
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. PMID:20171146
鞠九滨; 王勇; 等
1997-01-01
This paper describes a PVM task scheduler designed and implemented by the authors.The scheduler supports selecting idle workstations,scheduling pool tasks and dynamically produced subtasks.It can improve resource utilization,reduce job response time and simplify programming.
Computation of Regularized Linear Discriminant Analysis
Kalina, Jan; Valenta, Zdeněk; Duintjer Tebbens, Jurjen
ISI, 2014. s. 8-8. [COMPSTAT 2014. International Conference on Computational Statistics /21./. 19.08.2014-22.08.2014, Geneva] Institutional support: RVO:67985807 Keywords : classification analysis * regularization * Matrix decomposition * shrinkage eigenvalues * high-dimensional data Subject RIV: BB - Applied Statistics, Operational Research