WorldWideScience

Sample records for full abstraction problem

  1. Full Abstraction for HOPLA

    DEFF Research Database (Denmark)

    Nygaard, Mikkel; Winskel, Glynn

    2003-01-01

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

  2. Abstraction and Problem Reformulation

    Science.gov (United States)

    Giunchiglia, Fausto

    1992-01-01

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

  3. Problems in abstract algebra

    CERN Document Server

    Wadsworth, A R

    2017-01-01

    This is a book of problems in abstract algebra for strong undergraduates or beginning graduate students. It can be used as a supplement to a course or for self-study. The book provides more variety and more challenging problems than are found in most algebra textbooks. It is intended for students wanting to enrich their learning of mathematics by tackling problems that take some thought and effort to solve. The book contains problems on groups (including the Sylow Theorems, solvable groups, presentation of groups by generators and relations, and structure and duality for finite abelian groups); rings (including basic ideal theory and factorization in integral domains and Gauss's Theorem); linear algebra (emphasizing linear transformations, including canonical forms); and fields (including Galois theory). Hints to many problems are also included.

  4. Abstract Cauchy problems three approaches

    CERN Document Server

    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...

  5. Is searching full text more effective than searching abstracts?

    Directory of Open Access Journals (Sweden)

    Lin Jimmy

    2009-02-01

    Full Text Available Abstract Background With the growing availability of full-text articles online, scientists and other consumers of the life sciences literature now have the ability to go beyond searching bibliographic records (title, abstract, metadata to directly access full-text content. Motivated by this emerging trend, I posed the following question: is searching full text more effective than searching abstracts? This question is answered by comparing text retrieval algorithms on MEDLINE® abstracts, full-text articles, and spans (paragraphs within full-text articles using data from the TREC 2007 genomics track evaluation. Two retrieval models are examined: bm25 and the ranking algorithm implemented in the open-source Lucene search engine. Results Experiments show that treating an entire article as an indexing unit does not consistently yield higher effectiveness compared to abstract-only search. However, retrieval based on spans, or paragraphs-sized segments of full-text articles, consistently outperforms abstract-only search. Results suggest that highest overall effectiveness may be achieved by combining evidence from spans and full articles. Conclusion Users searching full text are more likely to find relevant articles than searching only abstracts. This finding affirms the value of full text collections for text retrieval and provides a starting point for future work in exploring algorithms that take advantage of rapidly-growing digital archives. Experimental results also highlight the need to develop distributed text retrieval algorithms, since full-text articles are significantly longer than abstracts and may require the computational resources of multiple machines in a cluster. The MapReduce programming model provides a convenient framework for organizing such computations.

  6. Nonclassical Problem for Ultraparabolic Equation in Abstract Spaces

    Directory of Open Access Journals (Sweden)

    Gia Avalishvili

    2016-01-01

    Full Text Available Nonclassical problem for ultraparabolic equation with nonlocal initial condition with respect to one time variable is studied in abstract Hilbert spaces. We define the space of square integrable vector-functions with values in Hilbert spaces corresponding to the variational formulation of the nonlocal problem for ultraparabolic equation and prove trace theorem, which allows one to interpret initial conditions of the nonlocal problem. We obtain suitable a priori estimates and prove the existence and uniqueness of solution of the nonclassical problem and continuous dependence upon the data of the solution to the nonlocal problem. We consider an application of the obtained abstract results to nonlocal problem for ultraparabolic partial differential equation with second-order elliptic operator and obtain well-posedness result in Sobolev spaces.

  7. The structural and content aspects of abstracts versus bodies of full text journal articles are different

    Directory of Open Access Journals (Sweden)

    Roeder Christophe

    2010-09-01

    Full Text Available Abstract Background An increase in work on the full text of journal articles and the growth of PubMedCentral have the opportunity to create a major paradigm shift in how biomedical text mining is done. However, until now there has been no comprehensive characterization of how the bodies of full text journal articles differ from the abstracts that until now have been the subject of most biomedical text mining research. Results We examined the structural and linguistic aspects of abstracts and bodies of full text articles, the performance of text mining tools on both, and the distribution of a variety of semantic classes of named entities between them. We found marked structural differences, with longer sentences in the article bodies and much heavier use of parenthesized material in the bodies than in the abstracts. We found content differences with respect to linguistic features. Three out of four of the linguistic features that we examined were statistically significantly differently distributed between the two genres. We also found content differences with respect to the distribution of semantic features. There were significantly different densities per thousand words for three out of four semantic classes, and clear differences in the extent to which they appeared in the two genres. With respect to the performance of text mining tools, we found that a mutation finder performed equally well in both genres, but that a wide variety of gene mention systems performed much worse on article bodies than they did on abstracts. POS tagging was also more accurate in abstracts than in article bodies. Conclusions Aspects of structure and content differ markedly between article abstracts and article bodies. A number of these differences may pose problems as the text mining field moves more into the area of processing full-text articles. However, these differences also present a number of opportunities for the extraction of data types, particularly that

  8. Does direction of results of abstracts submitted to scientific conferences on drug addiction predict full publication?

    Directory of Open Access Journals (Sweden)

    Davoli Marina

    2009-04-01

    Full Text Available Abstract Background Data from scientific literature show that about 63% of abstracts presented at biomedical conferences will be published in full. Some studies have indicated that full publication is associated with the direction of results (publication bias. No study has looked into the occurrence of publication bias in the field of addiction. Objectives To investigate whether the significance or direction of results of abstracts presented at the major international scientific conference on addiction is associated with full publication Methods The conference proceedings of the US Annual Meeting of the College on Problems of Drug Dependence (CPDD, were handsearched for abstracts of randomized controlled trials and controlled clinical trials that evaluated interventions for prevention, rehabilitation and treatment of drug addiction in humans (years searched 1993–2002. Data regarding the study designs and outcomes reported were extracted. Subsequent publication in peer reviewed journals was searched in MEDLINE and EMBASE databases, as of March 2006. Results Out of 5919 abstracts presented, 581 met the inclusion criteria; 359 (62% conference abstracts had been published in a broad variety of peer reviewed journals (average time of publication 2.6 years, SD +/- 1.78. The proportion of published studies was almost the same for randomized controlled trials (62.4% and controlled clinical trials (59.5% while studies that reported positive results were significantly more likely to be published (74.5% than those that did not report statistical results (60.9%., negative or null results (47.1% and no results (38.6%, Abstracts reporting positive results had a significantly higher probability of being published in full, while abstracts reporting null or negative results were half as likely to be published compared with positive ones (HR = 0.48; 95%CI 0.30–0.74 Conclusion Clinical trials were the minority of abstracts presented at the CPDD; we found

  9. Well-posedness and stability for abstract spline problems

    Science.gov (United States)

    Miglierina, E.; Molho, E.

    2007-09-01

    In this work well-posedness and stability properties of the abstract spline problem are studied in the framework of reflexive spaces. Tykhonov well-posedness is proved without restrictive assumptions. In the context of Hilbert spaces, also the stronger notion of Levitin-Polyak well-posedness is established. A sequence of parametric problems converging to the given abstract spline problem is considered in order to study stability. Under natural assumptions, convergence results for sequences of solutions of the perturbed problems are obtained.

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

    Institute of Scientific and Technical Information of China (English)

    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.

  11. Full truckload vehicle routing problem with profits

    Directory of Open Access Journals (Sweden)

    Jian Li

    2014-04-01

    Full Text Available A new variant of the full truckload vehicle routing problem is studied. In this problem there are more than one delivery points corresponding to the same pickup point, and one order is allowed to be served several times by the same vehicle or different vehicles. For the orders which cannot be assigned because of resource constraint, the logistics company outsources them to other logistics companies at a certain cost. To maximize its profits, logistics company decides which to be transported by private fleet and which to be outsourced. The mathematical model is constructed for the problem. Since the problem is NP-hard and it is difficult to solve the large-scale problems with an exact algorithm, a hybrid genetic algorithm is proposed. Computational results show the effectiveness of the hybrid genetic algorithm.

  12. ABSTRACT

    Institute of Scientific and Technical Information of China (English)

    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

  13. United European Gastroenterology Week scientific abstracts and their progression to full publication.

    Science.gov (United States)

    Raju, Suneil A; Sanders, David S; Akram, Rahim; Glover, Rebecca; Al-Rifaie, Ammar; Peever, Elise; Purves, Josh; Scanu, Emily; Kurien, Matthew

    2017-07-26

    Abstracts presentations at scientific meetings enable rapid dissemination of novel research. The percentage of abstracts that proceed to full publication from differing medical specialties is highly variable. This study aims to evaluate the outcomes of abstracts presented at the United European Gastroenterology Week (UEGW). All abstracts presented at UEGW between 2009 and 2011 were assessed. Cross-referencing of the first author, senior author and at least one keyword of the abstract was performed using PubMed and EMBASE databases. Abstracts and possible resultant full publications were then examined in tandem to ensure that they represented the same study. Data were also collected on lag time to publication, journal impact factors, country of the author and factors influencing subsequent publication. A total of 6785 abstracts (1438 oral and 5347 poster presentations) were presented during the period assessed. Of these, 2099 (30.9%) proceeded to full publication in indexed journals. Oral abstract presentations were most likely to proceed to full publication compared with poster presentations (odds ratio: 1.38, 95% confidence interval: 1.22-1.56) and were more likely to achieve publication in higher impact journals (median impact factor 4.78 vs. 2.89, P<0.0005). The median lag time to full publication was 15 (IQR: 7-15) months. The Netherlands had the highest United European Gastroenterology abstract conversion rate to full publication (46.8%). This is the first study to assess the publication rates of UEGW. Findings are favourable with similar studies from other societies.

  14. ABSTRACTS

    Institute of Scientific and Technical Information of China (English)

    2012-01-01

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

  15. The Cauchy problem for higher order abstract differential equations

    CERN Document Server

    Xiao, Ti-Jun

    1998-01-01

    This monograph is the first systematic exposition of the theory of the Cauchy problem for higher order abstract linear differential equations, which covers all the main aspects of the developed theory. The main results are complete with detailed proofs and established recently, containing the corresponding theorems for first and incomplete second order cases and therefore for operator semigroups and cosine functions. They will find applications in many fields. The special power of treating the higher order problems directly is demonstrated, as well as that of the vector-valued Laplace transforms in dealing with operator differential equations and operator families. The reader is expected to have a knowledge of complex and functional analysis.

  16. Abstracts

    Institute of Scientific and Technical Information of China (English)

    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.

  17. ABSTRACTS

    Institute of Scientific and Technical Information of China (English)

    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.

  18. Full-text publication of abstracts presented at European Orthodontic Society congresses.

    Science.gov (United States)

    Livas, Christos; Pandis, Nikolaos; Ren, Yijin

    2014-10-01

    Empirical evidence has indicated that only a subsample of studies conducted reach full-text publication and this phenomenon has become known as publication bias. A form of publication bias is the selectively delayed full publication of conference abstracts. The objective of this article was to examine the publication status of oral abstracts and poster-presentation abstracts, included in the scientific program of the 82nd and 83rd European Orthodontic Society (EOS) congresses, held in 2006 and 2007, and to identify factors associated with full-length publication. A systematic search of PubMed and Google Scholar databases was performed in April 2013 using author names and keywords from the abstract title to locate abstract and full-article publications. Information regarding mode of presentation, type of affiliation, geographical origin, statistical results, and publication details were collected and analyzed using univariable and multivariable logistic regression. Approximately 51 per cent of the EOS 2006 and 55 per cent of the EOS 2007 abstracts appeared in print more than 5 years post congress. A mean period of 1.32 years elapsed between conference and publication date. Mode of presentation (oral or poster), use of statistical analysis, and research subject area were significant predictors for publication success. Inherent discrepancies of abstract reporting, mainly related to presentation of preliminary results and incomplete description of methods, may be considered in analogous studies. On average 52.2 per cent of the abstracts presented at the two EOS conferences reached full publication. Abstracts presented orally, including statistical analysis, were more likely to get published. © The Author 2013. Published by Oxford University Press on behalf of the European Orthodontic Society. All rights reserved. For permissions, please email: journals.permissions@oup.com.

  19. Factors Impacting the Conversion of Abstracts Presented at the Canadian Cardiovascular Congress Meetings to Full Publications

    DEFF Research Database (Denmark)

    Abuzeid, W.; Fosbøl, E.; Fosbøl, Philip Loldrup

    2013-01-01

    that were eventually published, 4% publications were in the Canadian Journal of Cardiology. Mean duration from abstract presentation at CCC to full manuscript publication was 13 months.Conclusion:Publication rates of presented abstracts at the CCC (24%) is lower than that reported for abstracts presented......Objective: We sought to determine the rate of conversion of scientific abstracts presented at the Canadian Cardiovascular Conference (CCC), between 2006 and 2008, into peer reviewed manuscript publications within two years of their initial presentation. Moreover, we sought to identify factors...... abstracts presented in the CCC between 2006 and 2010, including data on the type of presentation (oral vs poster), category (basic science vs clinical cardiology) and the number of authors. Publication rates, mean time to publication, the mean number of citations and mean journal impact factor were...

  20. Conversion of Plastic Surgery meeting abstract presentations to full manuscripts: a brazilian perspective.

    Science.gov (United States)

    Denadai, Rafael; Pinho, André Silveira; Samartine, Hugo; Denadai, Rodrigo; Raposo-Amaral, Cassio Eduardo

    2017-01-01

    to assess the conversion rate of Plastic Surgery meeting abstract presentations to full manuscript publications and examine factors associated with this conversion. we assessed the abstracts presented at the 47th and 48th Brazilian Congresses of Plastic Surgery by cross-referencing with multiple databases. We analyzed the Abstracts' characteristics associated with full manuscript publications. of the 200 abstracts presented, 50 abstracts were subsequently published in full, giving the conference a conversion rate of 25%. The mean time to publish was 15.00±13.75 months. In total, there were 4.93±1.63 authors per abstract and 67.8±163 subjects per abstract; 43.5% of the abstracts were of retrospective studies; 69% comprised the plastic surgery topics head and neck, and chest and trunk, and 88.5% had no statistical analysis. Overall, 80% of the manuscripts were published in plastic surgery journals, 76% had no impact factor and 52% had no citations. Bivariate and multivariate analyses revealed the presence of statistical analysis to be the most significant (previstas de Cirurgia Plástica, 76% não exibiam fator de impacto e 52% não possuíam citações. As análises bivariada e multivariada revelaram que a presença de análise estatística foi o fator preditivo significativo (p<0,05) para a conversão de resumos em manuscritos completos. a taxa de conversão deste estudo bibliométrico foi inferior à tendência de conversão descrita em congressos internacionais de Cirurgia Plástica, e a presença de análise estatística foi um determinante para o sucesso de conversão.

  1. Characterizing the Influence of Abstraction in Full-Scale Wind Turbine Nacelle Testing: Preprint

    Energy Technology Data Exchange (ETDEWEB)

    Schkoda, Ryan; Bibo, Amin; Guo, Yi; Lambert, Scott; Wallen, Robb

    2016-08-01

    In recent years, there has been a growing interest in full-scale wind turbine nacelle testing to complement individual component testing. As a result, several wind turbine nacelle test benches have been built to perform such testing with the intent of loading the integrated components as they are in the field. However, when mounted on a test bench the nacelle is not on the top of a tower and does not have blades attached to it--this is a form of abstraction. This paper aims to quantify the influence of such an abstraction on the dynamic response of the nacelle through a series of simulation case studies. The responses of several nacelle components are studied including the main bearing, main shaft, gearbox supports, generator, and yaw bearing interface. Results are presented to highlight the differences in the dynamic response of the nacelle caused by the abstraction. Additionally, the authors provide recommendations for mitigating the effects of the abstraction.

  2. Characterizing the Influence of Abstraction in Full-Scale Wind Turbine Nacelle Testing

    Energy Technology Data Exchange (ETDEWEB)

    Schkoda, Ryan; Bibo, Amin; Guo, Yi; Lambert, Scott; Wallen, Robb

    2016-08-21

    In recent years, there has been a growing interest in full-scale wind turbine nacelle testing to complement individual component testing. As a result, several wind turbine nacelle test benches have been built to perform such testing with the intent of loading the integrated components as they are in the field. However, when mounted on a test bench the nacelle is not on the top of a tower and does not have blades attached to it - this is a form of abstraction. This paper aims to quantify the influence of such an abstraction on the dynamic response of the nacelle through a series of simulation case studies. The responses of several nacelle components are studied including the main bearing, main shaft, gearbox supports, generator, and yaw bearing interface. Results are presented to highlight the differences in the dynamic response of the nacelle caused by the abstraction. Additionally, the authors provide recommendations for mitigating the effects of the abstraction.

  3. Solvability for a Class of Abstract Two-Point Boundary Value Problems Derived from Optimal Control

    Directory of Open Access Journals (Sweden)

    Wang Lianwen

    2007-01-01

    Full Text Available The solvability for a class of abstract two-point boundary value problems derived from optimal control is discussed. By homotopy technique existence and uniqueness results are established under some monotonic conditions. Several examples are given to illustrate the application of the obtained results.

  4. Solvability for a Class of Abstract Two-Point Boundary Value Problems Derived from Optimal Control

    Directory of Open Access Journals (Sweden)

    Lianwen Wang

    2008-01-01

    Full Text Available The solvability for a class of abstract two-point boundary value problems derived from optimal control is discussed. By homotopy technique existence and uniqueness results are established under some monotonic conditions. Several examples are given to illustrate the application of the obtained results.

  5. Abstract

    Institute of Scientific and Technical Information of China (English)

    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

  6. Abstracts

    Institute of Scientific and Technical Information of China (English)

    2012-01-01

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

  7. Abstracts

    Institute of Scientific and Technical Information of China (English)

    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

  8. Abstracts

    Institute of Scientific and Technical Information of China (English)

    2012-01-01

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

  9. ABSTRACTS

    Institute of Scientific and Technical Information of China (English)

    2012-01-01

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

  10. Abstracts

    Institute of Scientific and Technical Information of China (English)

    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,

  11. Abstracts

    Institute of Scientific and Technical Information of China (English)

    2011-01-01

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

  12. ABSTRACTS

    Institute of Scientific and Technical Information of China (English)

    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,

  13. ABSTRACTS

    Institute of Scientific and Technical Information of China (English)

    2011-01-01

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

  14. ABSTRACT

    African Journals Online (AJOL)

    to select 243 yam growing women farmers from the three agricultural zones of the State. .... adoption, benefits and problems of adoption of yam minisett technology. .... farmer's previous experience with other innovations will likely influence her ...

  15. ABSTRACTS

    Institute of Scientific and Technical Information of China (English)

    2012-01-01

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

  16. ABSTRACTS

    Institute of Scientific and Technical Information of China (English)

    2012-01-01

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

  17. ABSTRACTS

    Institute of Scientific and Technical Information of China (English)

    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.

  18. ABSTRACTS

    Institute of Scientific and Technical Information of China (English)

    2012-01-01

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

  19. Abstracts

    Institute of Scientific and Technical Information of China (English)

    2012-01-01

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

  20. Integrated Fractional Resolvent Operator Function and Fractional Abstract Cauchy Problem

    Directory of Open Access Journals (Sweden)

    Ya-Ning Li

    2014-01-01

    Full Text Available We firstly prove that β-times integrated α-resolvent operator function ((α,β-ROF satisfies a functional equation which extends that of β-times integrated semigroup and α-resolvent operator function. Secondly, for the inhomogeneous α-Cauchy problem cDtαu(t=Au(t+f(t, t∈(0,T, u(0=x0, u'(0=x1, if A is the generator of an (α,β-ROF, we give the relation between the function v(t=Sα,β(tx0+(g1*Sα,β(tx1+(gα-1*Sα,β*f(t and mild solution and classical solution of it. Finally, for the problem cDtαv(t=Av(t+gβ+1(tx, t>0, v(k(0=0, k=0,1,…,N-1, where A is a linear closed operator. We show that A generates an exponentially bounded (α,β-ROF on a Banach space X if and only if the problem has a unique exponentially bounded classical solution vx and Avx∈L loc 1(ℝ+,X. Our results extend and generalize some related results in the literature.

  1. Transformation To Dual Physical Problems for The Visualization of Abstract Topics

    Directory of Open Access Journals (Sweden)

    Suleyman Gokhun Tanyer

    2015-05-01

    Full Text Available Abstract topics are often very difficult to be visualized for the undergraduate students in mathematics, physics and engineering.Those problems could be represented by four fundamental examples; basic vector algebra, formation of standing waves, polarization of waves and optical filtering. In this work, the performance of teaching abstract topics using two different approaches are comparatively examined; the classical mathematical derivations and the transformation of abstract topics to visual dual physical problems. Efficiency of methodsare analysed statistically.Third year electrical engineering students’ exam results are examined using the empirical cumulative distribution function (ECDF. The transformation method is observed to be helpful, especially for below the average students. Formations of healthy normally distributed exam scores are observed.

  2. ABSTRACTS

    Institute of Scientific and Technical Information of China (English)

    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,

  3. Abstracts

    Institute of Scientific and Technical Information of China (English)

    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.

  4. Abstracts

    Institute of Scientific and Technical Information of China (English)

    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.

  5. ABSTRACTS

    Institute of Scientific and Technical Information of China (English)

    2012-01-01

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

  6. ABSTRACTS

    Institute of Scientific and Technical Information of China (English)

    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",

  7. ABSTRACTS

    Institute of Scientific and Technical Information of China (English)

    2011-01-01

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

  8. ABSTRACTS

    Institute of Scientific and Technical Information of China (English)

    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.

  9. ABSTRACTS

    Institute of Scientific and Technical Information of China (English)

    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.

  10. ABSTRACTS

    Institute of Scientific and Technical Information of China (English)

    2012-01-01

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

  11. ABSTRACTS

    Institute of Scientific and Technical Information of China (English)

    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.

  12. ABSTRACTS

    Institute of Scientific and Technical Information of China (English)

    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.

  13. Subsequent full publication of abstracts presented in the annual meetings of the Spanish Society of Cardiology.

    Science.gov (United States)

    Alonso-Arroyo, Adolfo; Aleixandre-Benavent, Rafael; Vidal-Infer, Antonio; Anguita-Sánchez, Manuel; Chorro-Gascó, Francisco J; Bolaños-Pizarro, Máxima; Castelló-Cogollos, Lourdes; Navarro-Molina, Carolina; Valderrama-Zurián, Juan C

    2014-01-01

    The Spanish Society of Cardiology holds an annual national meeting with a large number of presentations but the number of full-text publications resulting from these presentations and the journals accepting these manuscripts is unknown. This study aimed to identify the full-text publication rate of accepted abstracts and to analyze the bibliometric features of subsequent publications. We randomly selected a sample of 300 oral presentations at the meetings of the Spanish Society of Cardiology in 2002, 2005 and 2008. Subsequent publications were identified through the Science Citation Index-Expanded, Scopus, Índice Médico Español, and Índice Bibliográfico Español en Ciencias de la Salud. Of 300 abstracts, 115 resulted in 147 full publications, representing a publication rate of 38.33%. The meeting with the highest publication rate (43%) was held in 2005. The subject category with the highest number of publications was Pediatric Cardiology/Congenital Heart Disease (58.8%). Time to full publication was usually 2 years (30.61%). Articles were published in 57 journals. The journals publishing the highest number of articles were Revista Española de Cardiología (n=55; 37.41%) and the European Heart Journal (n=8; 5.44%). The high percentage of articles published in the upper half of journals listed in Journal Citation Reports under the category of cardiac and cardiovascular system (83%) can be taken as an objective quality indicator of the results presented at these meetings. However, more than 60% of the abstracts did not result in full publications, thus depriving the scientific community of potentially interesting results. Copyright © 2013 Sociedad Española de Cardiología. Published by Elsevier Espana. All rights reserved.

  14. ABSTRACTS

    Institute of Scientific and Technical Information of China (English)

    2015-01-01

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

  15. Abstract

    Directory of Open Access Journals (Sweden)

    Maria Jose Carvalho de Souza Domingues

    2003-01-01

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

  16. ABSTRACTS

    Institute of Scientific and Technical Information of China (English)

    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.

  17. Abstract

    Directory of Open Access Journals (Sweden)

    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.

  18. Abstract

    Directory of Open Access Journals (Sweden)

    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.

  19. ABSTRACT

    Directory of Open Access Journals (Sweden)

    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.

  20. abstract

    Directory of Open Access Journals (Sweden)

    . user

    2016-02-01

    Full Text Available Introduction: One of the microbiological preparations used for this study was Effective Microorganisms (EM, being a commercial mixture of photosynthesizing bacteria, Actinomycetes, lactic acid bacteria, yeasts and fermenting fungi. The microbiological composition of the EM concentrateincludesStreptomyces albus, Propioni bacterium freudenreichil, Streptococcus lactis, Aspergillus oryzae, Mucor hiemalis, Saccharomycescerevisiae and Candida utilis. Moreover, EM also contains an unspecified amount of Lactobacillus sp. Rhodo pseudomonas sp. and Streptomyces griseus. Effective Microorganisms have a positive effect on the decomposition of organic matter, limiting putrefaction, increasing nitrogen content in the root medium of plants, phosphorus, improving soil fertility and as a result contributing to the growth and development of the root systems of plants. Selection of almond vegetative rootstocks for water stress tolerance is important for almond crop production in arid and semi-arid regions. The study of the eco-morphological characteristics that determine the success of a rootstock in a particular environment is a powerful tool for both agricultural management and breeding purposes. The aim of this work was to select the new rootstocks for water shortage tolerance, impact of water stress as well as Effective Microorganism (EM on morphological characteristics of almond rootstocks. Materials and Methods: In order to select the new rootstocks for water shortage tolerance, impact of water stress as well as EMonmorphologicalcharacteristics of almondrootstocks were studiedin thedepartment ofHorticulture, Ferdowsi University of Mashhad, in 2011-2012. The experiment was carried out with four replications in a completely random blockdesign to study the effects of two concentrations of EM (0 and 1%, three irrigation levels (normal irrigation 100%-control-and irrigation after depletion of 33 and 66% of available water, and four almond rootstocks including GF

  1. abstract

    Directory of Open Access Journals (Sweden)

    abstract abstract

    2016-07-01

    Full Text Available Introduction: Strawberry (fragaria×ananassa Duch. fruit characterized by short storage life, often estimated last less than one week even under optimum conditions at 8°C. The loss of fruit quality is often caused by gray mold (Botrytis cinerea that is the most frequent reported postharvest disease in strawberry during storage (6. In recent years, considerable attention has given to elimination of synthetic chemical and fungicides application and development of various alternative strategies for controlling fruit and vegetables diseases (2. One strategy is replacement of natural products with plant origin such as essential oil and methyl salicylate (MeSA. Essential oils are volatile, natural and complex compounds characterized by a strong odor formed by aromatic plants in form of secondary metabolites. In nature, essential similar oils that extract from lavender (Lavandula angustifolia play an important role in protection of the plants against pathogen incidence that can be replaced by synthetic fungicides (1, 4 and 14. MeSA is also a volatile natural compound synthesized from salicylic acid which has an important role in the plant defense-mechanism, as well as plant growth and development (5, 19 and 20. Therefore, the main objective of this research was to study the effects of MeSA and lavender essential oil (LEO on decay control caused by Botrytis cinerea as well as post-harvest quality indices of strawberry fruits during cold storage. Material and Methods: First, antifungal activity was studied by using a contact assay (in vitro, which produces hyphal growth inhibition. Briefly, potato dextrose agar (PDA plates were prepared using 8 cm diameter glass petri dishes and inhibitory percentage was determined. For in-vivo assessment of LEO and MeSA effects on Botrytis-caused fungal disease control, the experiment was conducted as factorial in completely randomized design (CRD with 3 replicates. The treatments were 3 concentration of LEO including

  2. Fate of abstracts presented at a National Turkish Orthopedics and Traumatology Congress: publication rates and consistency of abstracts compared with their subsequent full-text publications.

    Science.gov (United States)

    Yalçınkaya, Merter; Bagatur, Erdem

    2013-01-01

    The aim of this study was to evaluate the publication rates of full-text articles after presentation of abstracts at a Turkish National Orthopaedics and Traumatology Congress, determine the time lag from the congress date to publication of full-text articles and assess the consistency between abstracts and the subsequent publications. All abstracts from the scientific program of the 20th Turkish National Orthopaedics and Traumatology Congress (2007) were identified and computerized PubMed searches were conducted to determine whether an abstract had been followed by publication of a full-text article and key features were compared to evaluate their consistency. The time lag to publication and the impact factors of the journals where the articles were published were noted. Of the 770 abstracts (264 oral, 506 poster presentations), 227 (29.5%) were followed by a full-text and 116 (44%) of the 264 oral and 111 (22%) of the 506 poster presentations were published. The mean time to publication was 14.9±16.075 (range: 33 to 55) months. Thirty-three (14.5%) were published prior to the presentation at the congress. The likelihood of publication decreased after the third year (26 of 227, 11.5%). A total of 182 (80.2%) articles showed inconsistencies with the abstract; 74 (32.6%) minor, 14 (6.2%) major, and 94 (41.4%) minor and major inconsistencies. The mean impact factor of the journals was 1.152±0.858. The vast majority of abstracts presented at this congress were not followed by publication of a full-text article. Additionally, frequent inconsistencies between the final published article and the original abstract indicated the inadequacy of quality of reporting in abstracts.

  3. Mathematical Abstraction in the Solving of Ill-Structured Problems by Elementary School Students in Korea

    Science.gov (United States)

    Hong, Jee Yun; Kim, Min Kyeong

    2016-01-01

    Ill-structured problems can be regarded as one of the measures that meet recent social needs emphasizing students' abilities to solve real-life problems. This study aimed to analyze the mathematical abstraction process in solving such problems, and to identify the mathematical abstraction level ([I] Recognition of mathematical structure through…

  4. Fifth international conference on hyperbolic problems -- theory, numerics, applications: Abstracts

    Energy Technology Data Exchange (ETDEWEB)

    NONE

    1994-12-31

    The conference demonstrated that hyperbolic problems and conservation laws play an important role in many areas including industrial applications and the studying of elasto-plastic materials. Among the various topics covered in the conference, the authors mention: the big bang theory, general relativity, critical phenomena, deformation and fracture of solids, shock wave interactions, numerical simulation in three dimensions, the level set method, multidimensional Riemann problem, application of the front tracking in petroleum reservoir simulations, global solution of the Navier-Stokes equations in high dimensions, recent progress in granular flow, and the study of elastic plastic materials. The authors believe that the new ideas, tools, methods, problems, theoretical results, numerical solutions and computational algorithms presented or discussed at the conference will benefit the participants in their current and future research.

  5. The Definability Abduction Problem for Data Exchange: abstract

    NARCIS (Netherlands)

    Franconi, E.; Ngo, N.; Sherkhonov, E.

    2012-01-01

    Data exchange is the problem of transforming data structured according to a source schema into data structured according to a target schema, via a mapping specified by means of rules in the form of source-to-target tuple generating dependencies - rules whose body is a conjunction of atoms over the s

  6. Abstraction and control techniques for non-stationary scheduling problems

    CERN Document Server

    Innocenti, Giacomo

    2009-01-01

    The paper faces the problem of scheduling from a new perspective, trying to bridge the gap between classical heuristic approaches and system identification and control strategies. To this aim, a complete mathematical formulation of a general scheduling process is derived, beginning from very broad assumptions. This allows a greater freedom of manipulation and guarantee the resolution of the identification (and control) techniques. Both an adaptive and a switching strategies are presented in relation to the performances of a simple Round Robin algorithm.

  7. Cauldrons: An Abstraction for Concurrent Problems Solving. Revision.

    Science.gov (United States)

    1986-09-01

    PROGRAM ELEMENT. PROJECT. TASK Artificial Inteligence Laboratory ARtA G WORK UNIT NUMVERS S 545 Technology Square etJ Cambridge, MA 02139 TIM II...D-11194 12611 CAU1,LDRONS: AN ROSTRACTION FOR CONCURRENT PROBLEMS1/ RSOLVING REYISION(U) MASSACHUSETTS INST OF TECHCANIRIDGE ARTIFICIAL INTELLIGENCE...is described, accompanied by cxanmple of their application to various domains. ’lhis report describes research done at both the MIT Artificial

  8. A modified quasi-boundary value method for a class of abstract parabolic ill-posed problems

    Directory of Open Access Journals (Sweden)

    S. Djezzar

    2006-02-01

    Full Text Available We study a final value problem for first-order abstract differential equation with positive self-adjoint unbounded operator coefficient. This problem is ill-posed. Perturbing the final condition, we obtain an approximate nonlocal problem depending on a small parameter. We show that the approximate problems are well posed and that their solutions converge if and only if the original problem has a classical solution. We also obtain estimates of the solutions of the approximate problems and a convergence result of these solutions. Finally, we give explicit convergence rates.

  9. Full-Text Publication of Abstract-Presented Work in Physical Therapy: Do Therapists Publish What They Preach?

    Science.gov (United States)

    Smith, Heather D.; Bogenschutz, Elizabeth D.; Bayliss, Amy J.; Altenburger, Peter A.

    2011-01-01

    Background and Objective Professional meetings, such as the American Physical Therapy Association's (APTA's) Combined Sections Meeting (CSM), provide forums for sharing information relevant to physical therapy. An indicator of whether therapists fully disseminate their work is the number of full-text peer-reviewed publications that result. The purposes of this study were: (1) to determine the full-text publication rate of work presented in abstract form at CSM and (2) to investigate factors influencing this rate. Methods A systematic search was undertaken to locate full-text publications of work presented in abstract form within the Orthopaedic and Sports Physical Therapy sections at CSM between 2000 and 2004. Eligible publications were published within 5 years following abstract presentation. The influences of APTA section, year of abstract presentation, institution of origin, study design, sample size, study significance, reporting of a funding source, and presentation type on full-text publication rate were assessed. Characteristics of full-text publications were explored. Results Work presented in 1 out of 4 abstracts (25.4%) progressed to full-text publication. Odds of full-text publication increased if the abstract originated from a doctorate-granting or “other” institution, reported findings of an experimental study, reported a statistically significant finding, included a larger sample size, disclosed a funding source, or was presented as a platform presentation. More than one third (37.8%) of full-text publications were published in the Journal of Orthopaedic and Sports Physical Therapy or Physical Therapy, and 4 out of 10 full-text publications (39.2%) contained at least one major change from information presented in abstract form. Conclusions The full-text publication rate for information presented in abstract form within the Orthopaedic and Sports Physical Therapy sections at CSM is low relative to comparative disciplines. Caution should be

  10. Teaching with Concrete and Abstract Visual Representations: Effects on Students' Problem Solving, Problem Representations, and Learning Perceptions

    Science.gov (United States)

    Moreno, Roxana; Ozogul, Gamze; Reisslein, Martin

    2011-01-01

    In 3 experiments, we examined the effects of using concrete and/or abstract visual problem representations during instruction on students' problem-solving practice, near transfer, problem representations, and learning perceptions. In Experiments 1 and 2, novice students learned about electrical circuit analysis with an instructional program that…

  11. Teaching with Concrete and Abstract Visual Representations: Effects on Students' Problem Solving, Problem Representations, and Learning Perceptions

    Science.gov (United States)

    Moreno, Roxana; Ozogul, Gamze; Reisslein, Martin

    2011-01-01

    In 3 experiments, we examined the effects of using concrete and/or abstract visual problem representations during instruction on students' problem-solving practice, near transfer, problem representations, and learning perceptions. In Experiments 1 and 2, novice students learned about electrical circuit analysis with an instructional program that…

  12. Full-text publication of abstracts in emergency medicine in Denmark

    DEFF Research Database (Denmark)

    Ravn, Anne Katrine; Petersen, Dan Brun; Folkestad, Lars;

    2014-01-01

    presented at the Danish Emergency Medicine Conferences in 2009, 2010 and 2011. METHODS: Abstracts presented at the conferences were identified and authors contacted to obtain publication information. A further search was conducted using relevant databases. RESULTS: Publication rates for the 2009 and 2010....../or research courses provided by the Danish Society of Emergency Medicine....

  13. Trade-offs between grounded and abstract representations: evidence from algebra problem solving.

    Science.gov (United States)

    Koedinger, Kenneth R; Alibali, Martha W; Nathan, Mitchell J

    2008-03-01

    This article explores the complementary strengths and weaknesses of grounded and abstract representations in the domain of early algebra. Abstract representations, such as algebraic symbols, are concise and easy to manipulate but are distanced from any physical referents. Grounded representations, such as verbal descriptions of situations, are more concrete and familiar, and they are more similar to physical objects and everyday experience. The complementary computational characteristics of grounded and abstract representations lead to trade-offs in problem-solving performance. In prior research with high school students solving relatively simple problems, Koedinger and Nathan (2004) demonstrated performance benefits of grounded representations over abstract representations-students were better at solving simple story problems than the analogous equations. This article extends this prior work to examine both simple and more complex problems in two samples of college students. On complex problems with two references to the unknown, a "symbolic advantage" emerged, such that students were better at solving equations than analogous story problems. Furthermore, the previously observed "verbal advantage" on simple problems was replicated. We thus provide empirical support for a trade-off between grounded, verbal representations, which show advantages on simpler problems, and abstract, symbolic representations, which show advantages on more complex problems.

  14. An abstract approach to some spectral problems of direct sum differential operators

    Directory of Open Access Journals (Sweden)

    Maksim S. Sokolov

    2003-07-01

    Full Text Available In this paper, we study the common spectral properties of abstract self-adjoint direct sum operators, considered in a direct sum Hilbert space. Applications of such operators arise in the modelling of processes of multi-particle quantum mechanics, quantum field theory and, specifically, in multi-interval boundary problems of differential equations. We show that a direct sum operator does not depend in a straightforward manner on the separate operators involved. That is, on having a set of self-adjoint operators giving a direct sum operator, we show how the spectral representation for this operator depends on the spectral representations for the individual operators (the coordinate operators involved in forming this sum operator. In particular it is shown that this problem is not immediately solved by taking a direct sum of the spectral properties of the coordinate operators. Primarily, these results are to be applied to operators generated by a multi-interval quasi-differential system studied, in the earlier works of Ashurov, Everitt, Gesztezy, Kirsch, Markus and Zettl. The abstract approach in this paper indicates the need for further development of spectral theory for direct sum differential operators.

  15. A hybrid ACO algorithm for the full truckload transportation problem

    OpenAIRE

    Doerner, Karl; Hartl, Richard F.; Reimann, Marc

    2001-01-01

    In this paper we propose a hybrid ACO approach to solve a full truckload transportation problem. Hybridization is achieved through the use of a problem specific heuristic. This heuristic is utilized both, to initialize the pheromone information and to construct solutions in the ACO pro-cedure. The main idea is to use information about the required fleetsize, by initializing the system with a number of vehicles rather than opening vehicles one at a time as needed. Our results show the advantag...

  16. The inverse problem based on a full dispersive wave equation

    Institute of Scientific and Technical Information of China (English)

    Gegentana Bao; Naranmandula Bao

    2012-01-01

    The inverse problem for harmonic waves and wave packets was studied based on a full dispersive wave equation. First, a full dispersive wave equation which describes wave propagation in nondissipative microstructured linear solids is established based on the Mindlin theory, and the dispersion characteristics are discussed. Second, based on the full dispersive wave equation, an inverse problem for determining the four unknown coefficients of wave equa- tion is posed in terms of the frequencies and corresponding wave numbers of four different harmonic waves, and the inverse problem is demonstrated with rigorous mathematical theory. Research proves that the coefficients of wave equation related to material properties can be uniquely determined in cases of normal and anomalous dispersions by measuring the frequen- cies and corresponding wave numbers of four different harmonic waves which propagate in a nondissipative microstructured linear solids.

  17. Full journal publication of abstracts presented at the Nordic Congress of General Practice in 2009 and 2011

    DEFF Research Database (Denmark)

    Waldorff, Frans Boch; Siersma, Volkert; Andersen, John Sahl

    2017-01-01

    identified full journal publications within a 36-month follow-up from both congresses. In cases of doubt, the first author was contacted directly. MAIN OUTCOME MEASURES: Full journal publication within 36 months after the congress. RESULTS: A total of 200 abstracts were analyzed. Of these, 85 (42.5%) were...... as full text articles within 36 months. Key points Congress abstracts accepted for Nordic Congress of General Practice are not indexed in international search databases. Less than half of the abstracts accepted for oral or poster presentation at two consecutive Nordic Congresses of General Practice were...... published as full text articles within 36 months. Future congress committees could address this aspect in order to increase the visibility of and accessibility to research within the field of general practice...

  18. Commercial Database Design vs. Library Terminology Comprehension: Why Do Students Print Abstracts Instead of Full-Text Articles?

    Science.gov (United States)

    Imler, Bonnie; Eichelberger, Michelle

    2014-01-01

    When asked to print the full text of an article, many undergraduate college students print the abstract instead of the full text. This study seeks to determine the underlying cause(s) of this confusion. In this quantitative study, participants (n = 40) performed five usability tasks to assess ease of use and usefulness of five commercial library…

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

    OpenAIRE

    2008-01-01

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

  20. Full Abstraction for a Recursively Typed Lambda Calculus with Parallel Conditional

    CERN Document Server

    Müller, Fritz

    2008-01-01

    We define the syntax and reduction relation of a recursively typed lambda calculus with a parallel case-function (a parallel conditional). The reduction is shown to be confluent. We interpret the recursive types as information systems in a restricted form, which we call prime systems. A denotational semantics is defined with this interpretation. We define the syntactical normal form approximations of a term and prove the Approximation Theorem: The semantics of a term equals the limit of the semantics of its approximations. The proof uses inclusive predicates (logical relations). The semantics is adequate with respect to the observation of Boolean values. It is also fully abstract in the presence of the parallel case-function.

  1. Apheresis research-more abstracts should be published as full manuscripts to provide more evidence for clinical practice guidelines.

    Science.gov (United States)

    Pham, Huy P; Jiang, Ning; Pan, Zhi; Williams, Lance A; Marques, Marisa B

    2016-08-01

    High-quality evidence to support clinical practice is lacking in apheresis medicine compared to other therapeutic modalities. A potential source of evidence comes from the abstracts submitted to the Annual Meetings of the American Society for Apheresis (ASFA). Therefore, the goal of this study is to determine the proportion of abstracts from the 2005 to 2012 ASFA Annual Meetings that subsequently became PubMed-indexed publications. Furthermore, we sought to determine the factor(s) that were associated with the likelihood of abstracts to be published as full manuscripts. During the 8-year study period, 684 abstracts were available for analysis (median: 82/year, range: 64-118). Most abstracts (74%) were from US institutions, and 67% of first authors were affiliated with academic centers. There were more abstracts (64%) on therapeutic versus donor apheresis (20%) and cellular therapy (16%). Overall, 16% of the abstracts have been published in PubMed-indexed journals, with a median time of 17 months from the ASFA Annual Meeting (range: 1-96 months). Abstracts whose first authors were affiliated with academic institutions were 3.14 times more likely to have been published than abstracts with ones affiliated with an apheresis organization and/or a community hospital. However, neither the first author's location nor the type of apheresis procedure significantly affected the publication rate after adjusting for other covariates. In conclusion, the rate of publication is low and authors should be encouraged to follow their presentations at the meeting with peer-reviewed manuscripts. This change is essential to provide more published evidence for future apheresis practice guidelines. J. Clin. Apheresis 31:353-358, 2016. © 2015 Wiley Periodicals, Inc.

  2. Singularly perturbed Cauchy problem for abstract linear differential equations of second order in Hilbert spaces

    Directory of Open Access Journals (Sweden)

    Andrei Perjan

    2009-07-01

    Full Text Available We study the behavior of solutions to perturbed second order abstract evolution equations in Hilbert spaces, when the small parameter, multiplying the second order time derivative, converges to zero.

  3. Full journal publication of abstracts presented at the Nordic Congress of General Practice in 2009 and 2011

    DEFF Research Database (Denmark)

    Waldorff, Frans Boch; Petersen, Kristine; Vinther, Siri

    2017-01-01

    journal publications within a 36-month follow-up from both congresses. In cases of doubt, the first author was contacted directly. Main outcome measures: Full journal publication within 36 months after the congress. Results: A total of 200 abstracts were analyzed. Of these, 85 (42.5%) were identified...... articles within 36 months. Key points: Congress abstracts accepted for Nordic Congress of General Practice are not indexed in international search databases. Less than half of the abstracts accepted for oral or poster presentation at two consecutive Nordic Congresses of General Practice were published...... as full text articles within 36 months. Future congress committees could address this aspect in order to increase the visibility of and accessibility to research within the field of general practice....

  4. Learning of Abstract Concepts through Full-Body Interaction: A Systematic Review

    Science.gov (United States)

    Malinverni, Laura; Pares, Narcis

    2014-01-01

    Over the past ten years several learning environments based on novel interaction modalities have been developed. Within this field, Full-body Interaction Learning Environments open promising possibilities given their capacity to involve the users at different levels, such as sensorimotor experience, cognitive aspects and affective factors.…

  5. Automatization and Abstract Problem-Solving as Predictors of Academic Achievement.

    Science.gov (United States)

    Meltzer, Lynn J.; And Others

    The associations among cognitive automatization, abstract problem solving, and educational performance were studied using 127 fourth to ninth grade students. A number of measures of fast, automatic, and fluent performance (FAF measures) were used: writing the alphabet; reading from a word list; and mentally performing arithmetic operations. The…

  6. Inverse problems for abstract evolution equations with applications in electrodynamics and elasticity

    Science.gov (United States)

    Kirsch, Andreas; Rieder, Andreas

    2016-08-01

    It is common knowledge—mainly based on experience—that parameter identification problems in partial differential equations are ill-posed. Yet, a mathematical sound argumentation is missing, except for some special cases. We present a general theory for inverse problems related to abstract evolution equations which explains not only their local ill-posedness but also provides the Fréchet derivative and its adjoint of the corresponding parameter-to-solution map which are needed, e.g., in Newton-like solvers. Our abstract results are applied to inverse problems related to the following first order hyperbolic systems: Maxwell’s equation (electromagnetic scattering in conducting media) and elastic wave equation (seismic imaging).

  7. A full multigrid method for linear complementarity problems arising from elastic normal contact problems

    NARCIS (Netherlands)

    Zhao, J.; Vollebregt, E.A.H.; Oosterlee, C.W.

    2014-01-01

    This paper presents a full multigrid (FMG) technique, which combines a multigrid method, an active set algorithm and a nested iteration technique, to solve a linear complementarity problem (LCP) modeling elastic normal contact problems. The governing system in this LCP is derived from a Fredholm int

  8. A Local Search Modeling for Constrained Optimum Paths Problems (Extended Abstract

    Directory of Open Access Journals (Sweden)

    Quang Dung Pham

    2009-10-01

    Full Text Available Constrained Optimum Path (COP problems appear in many real-life applications, especially on communication networks. Some of these problems have been considered and solved by specific techniques which are usually difficult to extend. In this paper, we introduce a novel local search modeling for solving some COPs by local search. The modeling features the compositionality, modularity, reuse and strengthens the benefits of Constrained-Based Local Search. We also apply the modeling to the edge-disjoint paths problem (EDP. We show that side constraints can easily be added in the model. Computational results show the significance of the approach.

  9. Textual and language flaws: problems for Spanish doctors in producing abstracts in English

    Directory of Open Access Journals (Sweden)

    Lourdes Divasson Cilveti

    2006-04-01

    Full Text Available Scientific journals are the primary source of information for researchers. The number of articles currently indexed in databases is so large that it has become almost impossible to read every relevant article in a particular field. Thus, research paper abstracts (RPAs have acquired increasing importance. Several studies have shown that they are the skipping point, particularly among non-native English speakers. To our knowledge, little research has been carried out on RPA writing by Spanish doctors. It is thus the objective of this article to analyse the way abstracts are structured and linguistically realized by these professionals. We selected 30 RPAs written in English by Spanish speaking doctors from three leading Spanish journals on internal medicine. We recorded their textual level flaws by measuring the degree of informativeness with regard to three main variables: move patterning, ordering and structuring, and their language use flaws under two broad categories: ortho-typographic and grammatical. Length, use of hedges and keywords were also identified. 86.6% of the abstracts were informative, 13.3% uninformative while none of them could be classified as highly informative. With regard to the authors' use of language, over 70% presented some kind of flaws: 21.55% of these mistakes were ortho-typographic while 78.44% were grammatical. Our results support the need of designing specific units geared on the one hand towards explicit teaching of structured abstracts and on the other, towards the difficulties found by doctors because they lack language competence. They would also benefit from clearer guidelines from journal editors.

  10. Extended abstracts for an international conference on the development of the North and problems of recultivation

    Energy Technology Data Exchange (ETDEWEB)

    Everett, K.R. [ed.

    1994-12-31

    Ecological problems in many regions on Earth are the result of increasing technological pressure on the environment. These problems concern many of us and cause mankind to unite in order to search for means to protect the environment. Scientists, especially are responsible for the protection of the biosphere. The objective of this conference was to discuss the results of studies on the present condition of the environment in the Far North where the industrial pressure is increasing. The participants of this conference also offered and suggested various necessary measures for the protection of the region and restoration of its disturbed sites. The specific structural characteristics of the environment of the Far North, tundra and northern taiga, cause its fragility and vulnerability to anthropogenic impact. The destruction of the thin, weak layer of soil and vegetation cover changes the thermal balance and thus causes the development of erosion process, which in their turn increase the zone of the direct technogenous destruction. Self restoration processes in this harsh climate usually are slow. The preservation of the ecological integrity in the Far North is essential for the stability of the biosphere of the planet. The specifics of the natural conditions must be taken into account so that man will be able to develop the means of intensive agro-technology that can speed up the process of restoration of the biocenosis in the damaged areas. The extended abstracts of the conference reports that constitute this volume contain both theoretical discussions of problems of recultivation as well as accounts of experimental studies and applied explorations.

  11. The Use of a Cognitive Tutoring System in the Improvement of the Abstract Reasoning Component of Word Problem Solving.

    Science.gov (United States)

    Wheeler, J. L.; Regian, J. W.

    1999-01-01

    Describes a study of ninth-grade students that evaluated the ability of the Word Problem Solving Tutor, a cognitive tutoring system, to improve the abstract-reasoning component of word-problem solving. Compares combinations of traditional instruction, computer-assisted instruction, and the tutoring program and discusses implications for math…

  12. Discrepancies between Abstracts Presented at International Association for Dental Research Annual Sessions from 2004 to 2005 and Full-Text Publication

    Directory of Open Access Journals (Sweden)

    Soni Prasad

    2012-01-01

    Full Text Available Purpose. The purpose of this study was to evaluate the discrepancies between abstracts presented at the IADR meeting (2004-2005 and their full-text publication. Material and Methods. Abstracts from the Prosthodontic Section of IADR meeting were obtained. The following information was collected: abstract title, number of authors, study design, statistical analysis, outcome, and funding source. PubMed was used to identify the full-text publication of the abstracts. The discrepancies between the abstract and the full-text publication were examined, categorized as major and minor discrepancies, and quantified. The data were collected and analyzed using descriptive analysis. Frequency and percentage of major and minor discrepancies were calculated. Results. A total of 109 (95.6% articles showed changes from their abstracts. Seventy-four (65.0% and 105 (92.0% publications had at least one major and one minor discrepancies, respectively. Minor discrepancies were more prevalent (92.0% than major discrepancies (65.0%. The most common minor discrepancy was observed in the title (80.7%, and most common major discrepancies were seen in results (48.2%. Conclusion. Minor discrepancies were more prevalent than major discrepancies. The data presented in this study may be useful to establish a more comprehensive structured abstract requirement for future meetings.

  13. Rate and predictors of the conversion of abstracts presented at the Canadian Cardiovascular Congress scientific meetings to full peer-reviewed publications.

    Science.gov (United States)

    Abuzeid, Wael; Fosbøl, Emil L; Fosbøl, Philip L; Fosbøl, Marie; Zarinehbaf, Sanaz; Ross, Heather; Ko, Dennis T; Bennell, Maria C; Wijeysundera, Harindra C

    2013-11-01

    The rate of conversion of abstracts presented at scientific meetings into peer-reviewed published manuscripts is an important metric for medical societies, because it facilitates translation of scientific knowledge into practice. We determined the rate and predictors of conversion of scientific abstracts presented at the Canadian Cardiovascular Congress (CCC) from 2006 to 2010 into peer-reviewed article publications within 2 years of their initial presentation. Using a previously validated computer algorithm, we searched the International Statistical Institute Web of Science to identify peer-reviewed full manuscript publications of these abstracts. A multivariable logistic regression was used to identify independent factors associated with successful publication. From 2006 to 2010, 3565 abstracts were presented at the CCC. Overall 24.1% of presented abstracts were published within 2 years of the conference. Mean impact factor for publications was 5.2 (range, 0.4-53.2). The type of presentation (for poster vs oral; odds ratio, 0.71; 95% confidence interval, 0.60-0.83; P publication. Late breaking abstracts and those related to cancer and clinical sciences were more likely to be published, compared with prevention, vascular biology, and pediatrics. In conclusion, the publication rate at the CCC is only marginally lower than that reported for large international North American and European cardiology conferences (30.6%). Efforts should focus on several identified barriers to improve conversion of abstracts to full report publication. Copyright © 2013 Canadian Cardiovascular Society. Published by Elsevier Inc. All rights reserved.

  14. Workshop on Radioanalytical Chemistry for Radioecology and Waste Management: Report, evaluation, abstracts and full papers of presentations

    Energy Technology Data Exchange (ETDEWEB)

    Hou, X. (Technical Univ. of Denmark, Risoe National Lab. for Sustainable Energy. Radiation Research Div., Roskilde (Denmark))

    2010-03-15

    A NKS-B workshop on radioanalytical chemistry for radioecology and waste management was held at Risoe, Roskilde, Denmark in 16-20th November 2009. The workshop was organized as 3 days lectures and presentations and two days laboratory practice. 48 peoples participated the workshop, including 32 young participants from Denmark, Finland, Norway, Sweden, Lithuania and Ireland. This report gives a brief description of the workshop and an evaluation of the workshop by statistic analysis of questionnaires feed back from the participants. The book of abstracts and proceedings presented in the workshop is enclosed. (author)

  15. A comparison of the accuracy of clinical decisions based on full-text articles and on journal abstracts alone: a study among residents in a tertiary care hospital

    Science.gov (United States)

    Marcelo, Alvin; Gavino, Alex; Isip-Tan, Iris Thiele; Apostol-Nicodemus, Leilanie; Mesa-Gaerlan, Faith Joan; Firaza, Paul Nimrod; Faustorilla, John Francis; Callaghan, Fiona M; Fontelo, Paul

    2013-01-01

    Background Many clinicians depend solely on journal abstracts to guide clinical decisions. Objectives This study aims to determine if there are differences in the accuracy of responses to simulated cases between resident physicians provided with an abstract only and those with full-text articles. It also attempts to describe their information-seeking behaviour. Methods Seventy-seven resident physicians from four specialty departments of a tertiary care hospital completed a paper-based questionnaire with clinical simulation cases, then randomly assigned to two intervention groups—access to abstracts-only and access to both abstracts and full-text. While having access to medical literature, they completed an online version of the same questionnaire. Findings The average improvement across departments was not significantly different between the abstracts-only group and the full-text group (p=0.44), but when accounting for an interaction between intervention and department, the effect was significant (p=0.049) with improvement greater with full-text in the surgery department. Overall, the accuracy of responses was greater after the provision of either abstracts-only or full-text (p<0.0001). Although some residents indicated that ‘accumulated knowledge’ was sufficient to respond to the patient management questions, in most instances (83% of cases) they still sought medical literature. Conclusions Our findings support studies that doctors will use evidence when convenient and current evidence improved clinical decisions. The accuracy of decisions improved after the provision of evidence. Clinical decisions guided by full-text articles were more accurate than those guided by abstracts alone, but the results seem to be driven by a significant difference in one department. PMID:22782923

  16. Conversion rates of abstracts presented at the Urological Society of Australia and New Zealand (USANZ) Annual Scientific Meeting into full-text journal articles.

    Science.gov (United States)

    Yoon, Peter D; Chalasani, Venu; Woo, Henry H

    2012-08-01

    What's known on the subject? and What does the study add? It is well known that the transition of a presented abstract in a scientific meeting to a journal article improves the quality of the meeting and prevents an abstract being incorporated into meta-analyses or practice guidelines without proper appraisal. This is the first analysis of USANZ Annual Scientific Meeting abstracts' conversion to full publication. With relatively low publication rates compared to other international meetings, this review identifies the need for mechanisms to encourage USANZ researchers to convert their abstracts into published articles. The numbers and characteristics of the abstracts presented at the Annual Scientific Meetings (ASM) of the Urological Society of Australia and New Zealand (USANZ) that are converted to peer-reviewed publications have not previously been analysed and published. We undertook a review of all abstracts presented at the USANZ ASM from 2005 to 2009. A PubMed search was performed between 15 June and 15 July 2012, using a search algorithm to identify the full-text publications of the presented abstracts. Correlation between abstract characteristics and publication rate was then examined to distinguish the predictors for publications. Of 614 abstracts that were presented at USANZ ASM between 2005 and 2009, 183 papers were published, giving a publication rate of 29.80%. The papers were predominantly published in urological journals and were more likely to be published if they were presented by an international author or were retrospective studies or if basic science research. The mean (SD) time to publication was 14.46 (13.89) months and the mean Impact Factor of journals where papers were published was 2.90. The overall publication rate was relatively low compared with other urological meetings held in America and Europe. USANZ has a challenge of encouraging higher-quality research from the authors to further enhance its publication rate and consequently the

  17. Assessment of reporting quality of conference abstracts in sports injury prevention according to CONSORT and STROBE criteria and their subsequent publication rate as full papers

    Directory of Open Access Journals (Sweden)

    Yoon Uzung

    2012-04-01

    Full Text Available Abstract Background The preliminary results of a study are usually presented as an abstract in conference meetings. The reporting quality of those abstracts and the relationship between their study designs and full paper publication rate is unknown. We hypothesized that randomized controlled trials are more likely to be published as full papers than observational studies. Methods 154 oral abstracts presented at the World Congress of Sports Injury Prevention 2005 Oslo and the corresponding full paper publication were identified and analysed. The main outcome measures were frequency of publication, time to publication, impact factor, CONSORT (for Consolidated Standards of Reporting Trials score, STROBE (for Strengthening the Reporting of Observational Studies in Epidemiology score, and minor and major inconsistencies between the abstract and the full paper publication. Results Overall, 76 of the 154 (49% presented abstracts were published as full papers in a peer-reviewed journal with an impact factor of 1.946 ± 0.812. No significant difference existed between the impact factor for randomized controlled trials (2.122 ± 1.015 and observational studies (1.913 ± 0.765, p = 0.469. The full papers for the randomized controlled trials were published after an average (SD of 17 months (± 13 months; for observational studies, the average (SD was 12 months (± 14 months (p = 0.323. A trend was observed in this study that a higher percentage of randomized controlled trial abstracts were published as full papers (71% vs. 47%, p = 0.078 than observational trials. The reporting quality of abstracts, published as full papers, significantly increased compared to conference abstracts both in randomized control studies (CONSORT: 5.7 ± 0.7 to 7.2 ± 1.3; p = 0.018, CI -2.7 to -0.32 and in observational studies (STROBE: 8.2 ± 1.3 to 8.6 ± 1.4; p = 0.007, CI -0.63 to -0.10. All of the published abstracts had at least one minor inconsistency (title, authors

  18. For Example? A Philosophical Case Study of Some Problems When Abstract Educational Theory Ignores Concrete Practice

    Science.gov (United States)

    Golding, Clinton

    2017-01-01

    In Philosophy of Education we frequently argue for or against different educational theories. Yet, as I illustrate in this analysis of two articles, in order to maintain the abstract theoretical distinctions, we are liable to ignore the concrete details of practice, caricature the theories we reject and make false distinctions. The two articles…

  19. Assessment of reporting quality of conference abstracts in sports injury prevention according to CONSORT and STROBE criteria and their subsequent publication rate as full papers.

    Science.gov (United States)

    Yoon, Uzung; Knobloch, Karsten

    2012-04-11

    The preliminary results of a study are usually presented as an abstract in conference meetings. The reporting quality of those abstracts and the relationship between their study designs and full paper publication rate is unknown. We hypothesized that randomized controlled trials are more likely to be published as full papers than observational studies. 154 oral abstracts presented at the World Congress of Sports Injury Prevention 2005 Oslo and the corresponding full paper publication were identified and analysed. The main outcome measures were frequency of publication, time to publication, impact factor, CONSORT (for Consolidated Standards of Reporting Trials) score, STROBE (for Strengthening the Reporting of Observational Studies in Epidemiology) score, and minor and major inconsistencies between the abstract and the full paper publication. Overall, 76 of the 154 (49%) presented abstracts were published as full papers in a peer-reviewed journal with an impact factor of 1.946 ± 0.812. No significant difference existed between the impact factor for randomized controlled trials (2.122 ± 1.015) and observational studies (1.913 ± 0.765, p = 0.469). The full papers for the randomized controlled trials were published after an average (SD) of 17 months (± 13 months); for observational studies, the average (SD) was 12 months (± 14 months) (p = 0.323). A trend was observed in this study that a higher percentage of randomized controlled trial abstracts were published as full papers (71% vs. 47%, p = 0.078) than observational trials. The reporting quality of abstracts, published as full papers, significantly increased compared to conference abstracts both in randomized control studies ( 5.7 ± 0.7 to 7.2 ± 1.3; p = 0.018, CI -2.7 to -0.32) and in observational studies (STROBE: 8.2 ± 1.3 to 8.6 ± 1.4; p = 0.007, CI -0.63 to -0.10). All of the published abstracts had at least one minor inconsistency (title, authors, research center, outcome presentation, conclusion

  20. Abstract Applets a Method for Integrating Numerical Problem-Solving into the Undergraduate Physics Curriculum

    CERN Document Server

    Peskin, Michael E

    2003-01-01

    In upper-division undergraduate physics courses, it is desirable to give numerical problem-solving exercises integrated naturally into weekly problem sets. I explain a method for doing this that makes use of the built-in class structure of the Java programming language. I also supply a Java class library that can assist instructors in writing programs of this type.

  1. The Virtual Private Network Design Problem with Concave Costs (Oberwolfach abstract)

    CERN Document Server

    Fiorini, Samuel; Sanità, Laura; Theis, Dirk Oliver

    2008-01-01

    The symmetric Virtual Private Network Design (VPND) problem is concerned with buying capacity on links (edges) in a communication network such that certain traffic demands can be met. We investigate a natural generalization of VPND where the cost per unit of capacity may decrease if a larger amount of capacity is reserved (economies of scale principle). The growth of the cost of capacity is modelled by a non-decreasing concave function $f$. We call the problem the concave symmetric Virtual Private Network Design (cVPND) problem. After showing that a generalization of the so-called Pyramidal Routing problem and hence also the cVPND have the so-called tree routing property, we study approximation algorithms for cVPND. For general $f$, using known results on the so-called Single Source Buy at Bulk problem by Grandoni and Italiano, we give a randomized 24.92-approximation algorithm.

  2. Abstract Rationality and Its Problems%抽象性的理性及其问题

    Institute of Scientific and Technical Information of China (English)

    宋清华

    2012-01-01

    理性具有抽象性的特性,这种抽象性既能使理性深入经验现象内部,揭示其本质,但也易使理性脱离经验的基础,去追求经验之外的世界,并以一种抽象的普遍性规定来规范经验世界。特别是启蒙运动后,理性获得的无上权利更使其以一种普遍性的理想来审视整个现象世界,甚至介入到现实世界中,在人类政治生活、价值生活中充当最高的裁判,从而引出许多纷争。因此,有必要对理性本身予以清理,对其权界范围予以界定。%Rationality assumes the characteristics of abstractness. This abstractness will not only help rationality disclose the inner essence of the experience, but also prescribe the experience with abstract universality. After Enlightenment movement, rationality has attained a supreme right in examining the entire phenomenal world, and acting as the highest judge of human beings' political life and the life value, which leads to many disputes. Therefore, it is a wise choice to conduct a cleaningup of the rationality itself and redefine the scope of rational right.

  3. MAXIMAL SUBSPACES FOR SOLUTIONS OF THE SECOND ORDER ABSTRACT CAUCHY PROBLEM

    Institute of Scientific and Technical Information of China (English)

    2007-01-01

    For a continuous, increasing function ω: R+ → R+\\{0} of finite exponential type, this paper introduces the set Z(A, ω) of all x in a Banach space X for which the second order abstract differential equation (2) has a mild solution such that [ω(t)]-1u(t,x) is uniformly continues on R+, and show that Z(A, ω) is a maximal Banach subspace continuously embedded in X, where A ∈ B(X) is closed. Moreover, A|z(A,ω) generates an O(ω(t))strongly continuous cosine operator function family.

  4. Use of Representation Mapping to Capture Abstraction in Problem Solving in Different Courses in Chemistry

    Science.gov (United States)

    Sevian, H.; Bernholt, S.; Szteinberg, G. A.; Auguste, S.; Pérez, L. C.

    2015-01-01

    A perspective is presented on how the representation mapping framework by Hahn and Chater (1998) may be used to characterize reasoning during problem solving in chemistry. To provide examples for testing the framework, an exploratory study was conducted with students and professors from three different courses in the middle of the undergraduate…

  5. 10412 Summary and Abstracts Collection -- QSTRLib: A Benchmark Problem Repository for Qualitative Spatial and Temporal Reasoning

    OpenAIRE

    Wölfl, Stefan; Anthony G. Cohn; Renz, Jochen; Sutcliffe, Georg

    2011-01-01

    The Dagstuhl seminar "QSTRLib" was planned as a successor event of the previously mentioned AAAI Spring Symposium. The intention for organizing this seminar was to discuss requirements on a problem library in a small group of researchers with expertise in benchmarking, in formal approaches to qualitative reasoning, or in specific application areas of QSTR.

  6. Dependability of results in conference abstracts of randomized controlled trials in ophthalmology and author financial conflicts of interest as a factor associated with full publication.

    Science.gov (United States)

    Saldanha, Ian J; Scherer, Roberta W; Rodriguez-Barraquer, Isabel; Jampel, Henry D; Dickersin, Kay

    2016-04-26

    Discrepancies between information in conference abstracts and full publications describing the same randomized controlled trial have been reported. The association between author conflicts of interest and the publication of randomized controlled trials is unclear. The objective of this study was to use randomized controlled trials in ophthalmology to evaluate (1) the agreement in the reported main outcome results by comparing abstracts and corresponding publications and (2) the association between the author conflicts of interest and publication of the results presented in the abstracts. We considered abstracts describing results of randomized controlled trials presented at the 2001-2004 Association for Research in Vision and Ophthalmology conferences as eligible for our study. Through electronic searching and by emailing abstract authors, we identified the earliest publication (journal article) containing results of each abstract's main outcome through November 2013. We categorized the discordance between the main outcome results in the abstract and its paired publication as qualitative (a difference in the direction of the estimated effect) or as quantitative. We used the Association for Research in Vision and Ophthalmology categories for conflicts of interest: financial interest, employee of business with interest, consultant to business with interest, inventor/developer with patent, and receiving ≥ 1 gift from industry in the past year. We calculated the relative risks (RRs) of publication associated with the categories of conflicts of interest for abstracts with results that were statistically significant, not statistically significant, or not reported. We included 513 abstracts, 230 (44.8 %) of which reached publication. Among the 86 pairs with the same main outcome domain at the same time point, 47 pairs (54.7 %) had discordant results: qualitative discordance in 7 pairs and quantitative discordance in 40 pairs. Quantitative discordance was indicated

  7. Determining the source term in an abstract parabolic problem from a time integral of the solution

    Directory of Open Access Journals (Sweden)

    Davide Guidetti

    2011-12-01

    Full Text Available Consideriamo il problema della ricostruzione del termine di sorgente in un'equazione astratta di tipo parabolico. L'informazione supplementare, necessaria per la determinazione della soluzione del sistema e della parte incognita del termine di sorgente, è data dalla conoscenza di un integrale della soluzione rispetto alla variabile temporale e a una certa misura di Borel. Presento un teorema di esistenza e unicità di una soluzione, che è anche di regolarità massimale. Esamino alcuni casi particolari, assieme al fatto che talvolta il problema gode di una sorta di proprietà dell'alternativa di Fredholm.

  8. Constraints on Bounded Motion and Mutual Escape for the Full 3-Body Problem

    CERN Document Server

    Scheeres, D J

    2016-01-01

    When gravitational aggregates are spun to fission they can undergo complex dynamical evolution, including escape and reconfiguration. Previous work has shown that a simple analysis of the full 2-body problem provides physically relevant insights for whether a fissioned system can lead to escape of the components and the creation of asteroid pairs. In this paper we extend the analysis to the full 3-body problem, utilizing recent advances in the understanding of fission mechanics of these systems. Specifically, we find that the full 3-body problem can eject a body with as much as 0.31 of the total system mass, significantly larger than the 0.17 mass limit previously calculated for the full 2-body problem. This paper derives rigorous limits on a fissioned 3-body system with regards to whether fissioned system components can physically escape from each other and what other stable relative equilibria they could settle in. We explore this question with a narrow focus on the Spherical Full Three Body Problem studied...

  9. A Two-Mode Mean-Field Optimal Switching Problem for the Full Balance Sheet

    Directory of Open Access Journals (Sweden)

    Boualem Djehiche

    2014-01-01

    a two-mode optimal switching problem of mean-field type, which can be described by a system of Snell envelopes where the obstacles are interconnected and nonlinear. The main result of the paper is a proof of a continuous minimal solution to the system of Snell envelopes, as well as the full characterization of the optimal switching strategy.

  10. Kinetics study of the CN + CH4 hydrogen abstraction reaction based on a new ab initio analytical full-dimensional potential energy surface.

    Science.gov (United States)

    Espinosa-Garcia, Joaquin; Rangel, Cipriano; Suleimanov, Yury V

    2017-07-26

    We have developed an analytical full-dimensional potential energy surface, named PES-2017, for the gas-phase hydrogen abstraction reaction between the cyano radical and methane. This surface is fitted using high-level ab initio information as input. Using the PES-2017 surface, a kinetics study was performed via two theoretical approaches: variational transition-state theory with multidimensional tunnelling (VTST-MT) and ring polymer molecular dynamics (RPMD). The results are compared with the experimental data. In the whole temperature range analysed, 300-1500 K, both theories agree within a factor of kinetic isotope effects are important, reproducing the scarce experimental evidence. The good agreement with the ab initio information used in the fitting process (self-consistency test) and with the kinetic behaviour in a wide temperature range gives confidence and strength to the new surface.

  11. New Dilated LMI Characterization for the Multiobjective Full-Order Dynamic Output Feedback Synthesis Problem

    Directory of Open Access Journals (Sweden)

    Zrida Jalel

    2010-01-01

    Full Text Available This paper introduces new dilated LMI conditions for continuous-time linear systems which not only characterize stability and performance specifications, but also, performance specifications. These new conditions offer, in addition to new analysis tools, synthesis procedures that have the advantages of keeping the controller parameters independent of the Lyapunov matrix and offering supplementary degrees of freedom. The impact of such advantages is great on the multiobjective full-order dynamic output feedback control problem as the obtained dilated LMI conditions always encompass the standard ones. It follows that much less conservatism is possible in comparison to the currently used standard LMI based synthesis procedures. A numerical simulation, based on an empirically abridged search procedure, is presented and shows the advantage of the proposed synthesis methods.

  12. Improved Full-Newton-Step Infeasible Interior-Point Method for Linear Complementarity Problems

    Directory of Open Access Journals (Sweden)

    Goran Lešaja

    2016-04-01

    Full Text Available We present an Infeasible Interior-Point Method for monotone Linear Complementarity Problem (LCP which is an improved version of the algorithm given in [13]. In the earlier version, each iteration consisted of one feasibility step and few centering steps. The improved version guarantees that after one feasibility step, the new iterate is feasible and close enough to the central path thanks to the much tighter proximity estimate which is based on the new lemma introduced in [18]. Thus, the centering steps are eliminated. Another advantage of this method is the use of full-Newton-steps, that is, no calculation of the step size is required. The preliminary implementation and numerical results demonstrate the advantage of the improved version of the method in comparison with the old one.

  13. Abstracts to be Delivered at the 2014 Annual Conference of the Association of Medical Microbiology and Infectious Disease Canada, April 3 to 5, Victoria, British Columbia, Alphabetized According to the Surname of the First Author. Full-text Abstracts Can be Accessed at www.pulsus.com

    Directory of Open Access Journals (Sweden)

    2014-01-01

    Full Text Available This document presents the titles of the abstracts to be presented at the 2014 Annual Conference of the Association of Medical Microbiology and Infectious Disease Canada (April 3 to 5, Victoria, British Columbia. The full-text abstracts are available online.

  14. Emotional and Behavioral Problems of Preterm and Full-Term Children at School Entry

    NARCIS (Netherlands)

    Hornman, Jorijn; de Winter, Andrea F; Kerstjens, Jorien M; Bos, Arend F; Reijneveld, Sijmen A

    2016-01-01

    BACKGROUND AND OBJECTIVES: Preterm children, compared with term children, are at increased risk of emotional and behavioral problems (EB-problems). Prevalences of EB-problems seem to vary with degree of prematurity and age at assessment. We therefore assessed individual stability of EB-problems in p

  15. Rate and Predictors of the Conversion of Abstracts Presented at the Canadian Cardiovascular Congress Scientific Meetings to Full Peer-Reviewed Publications

    DEFF Research Database (Denmark)

    Abuzeid, Wael; Fosbøl, Emil Loldrup; Fosbøl, Philip Loldrup

    2013-01-01

    abstracts presented at the Canadian Cardiovascular Congress (CCC) from 2006 to 2010 into peer-reviewed article publications within 2 years of their initial presentation. Using a previously validated computer algorithm, we searched the International Statistical Institute Web of Science to identify peer......The rate of conversion of abstracts presented at scientific meetings into peer-reviewed published manuscripts is an important metric for medical societies, because it facilitates translation of scientific knowledge into practice. We determined the rate and predictors of conversion of scientific...

  16. Cartesian Mesh Linearized Euler Equations Solver for Aeroacoustic Problems around Full Aircraft

    Directory of Open Access Journals (Sweden)

    Yuma Fukushima

    2015-01-01

    Full Text Available The linearized Euler equations (LEEs solver for aeroacoustic problems has been developed on block-structured Cartesian mesh to address complex geometry. Taking advantage of the benefits of Cartesian mesh, we employ high-order schemes for spatial derivatives and for time integration. On the other hand, the difficulty of accommodating curved wall boundaries is addressed by the immersed boundary method. The resulting LEEs solver is robust to complex geometry and numerically efficient in a parallel environment. The accuracy and effectiveness of the present solver are validated by one-dimensional and three-dimensional test cases. Acoustic scattering around a sphere and noise propagation from the JT15D nacelle are computed. The results show good agreement with analytical, computational, and experimental results. Finally, noise propagation around fuselage-wing-nacelle configurations is computed as a practical example. The results show that the sound pressure level below the over-the-wing nacelle (OWN configuration is much lower than that of the conventional DLR-F6 aircraft configuration due to the shielding effect of the OWN configuration.

  17. Efficient formulations of the material identification problem using full-field measurements

    Science.gov (United States)

    Pérez Zerpa, Jorge M.; Canelas, Alfredo

    2016-08-01

    The material identification problem addressed consists of determining the constitutive parameters distribution of a linear elastic solid using displacement measurements. This problem has been considered in important applications such as the design of methodologies for breast cancer diagnosis. Since the resolution of real life problems involves high computational costs, there is great interest in the development of efficient methods. In this paper two new efficient formulations of the problem are presented. The first formulation leads to a second-order cone optimization problem, and the second one leads to a quadratic optimization problem, both allowing the resolution of the problem with high efficiency and precision. Numerical examples are solved using synthetic input data with error. A regularization technique is applied using the Morozov criterion along with an automatic selection strategy of the regularization parameter. The proposed formulations present great advantages in terms of efficiency, when compared to other formulations that require the application of general nonlinear optimization algorithms.

  18. The Effects of the Concrete-Representational-Abstract Integration Strategy on the Ability of Students with Learning Disabilities to Multiply Linear Expressions within Area Problems

    Science.gov (United States)

    Strickland, Tricia K.; Maccini, Paula

    2013-01-01

    We examined the effects of the Concrete-Representational-Abstract Integration strategy on the ability of secondary students with learning disabilities to multiply linear algebraic expressions embedded within contextualized area problems. A multiple-probe design across three participants was used. Results indicated that the integration of the…

  19. The Effects of the Concrete-Representational-Abstract Integration Strategy on the Ability of Students with Learning Disabilities to Multiply Linear Expressions within Area Problems

    Science.gov (United States)

    Strickland, Tricia K.; Maccini, Paula

    2013-01-01

    We examined the effects of the Concrete-Representational-Abstract Integration strategy on the ability of secondary students with learning disabilities to multiply linear algebraic expressions embedded within contextualized area problems. A multiple-probe design across three participants was used. Results indicated that the integration of the…

  20. Children born preterm and full term have similar rates of feeding problems at three years of age

    NARCIS (Netherlands)

    Nieuwenhuis, Tjitske; Verhagen, Elise A.; Bos, Arend F.; van Dijk, Marijn W. G.

    2016-01-01

    Aim: We determined the prevalence of feeding problems and their association with perinatal risk factors in three-year-old children born preterm and compared them with a full-term reference group. Methods: This pilot study assessed feeding problem scores in 35 preterm children, with a median

  1. Children born preterm and full term have similar rates of feeding problems at three years of age

    NARCIS (Netherlands)

    Nieuwenhuis, Tjitske; Verhagen, Elise A.; Bos, Arend F.; van Dijk, Marijn W. G.

    2016-01-01

    Aim: We determined the prevalence of feeding problems and their association with perinatal risk factors in three-year-old children born preterm and compared them with a full-term reference group. Methods: This pilot study assessed feeding problem scores in 35 preterm children, with a median gestatio

  2. From Abstract Art to Abstracted Artists

    Directory of Open Access Journals (Sweden)

    Romi Mikulinsky

    2016-11-01

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

  3. About CABI Full Text

    Institute of Scientific and Technical Information of China (English)

    2012-01-01

    <正>Centre for Agriculture and Bioscience International( CABI) is a not-for-profit international Agricultural Information Institute with headquarters in Britain. It aims to improve people’s lives by providing information and applying scientific expertise to solve problems in agriculture and the environment. CABI Full-text is one of the publishing products of CABI.CABI’s full text repository is growing rapidly and has now been integrated into all our databases including CAB Abstracts,Global Health,our Internet Resources and Abstract Journals. There are currently over 60,000 full text articles available to access. These documents,made possible by agreement with third

  4. Selected Abstracts

    Institute of Scientific and Technical Information of China (English)

    2012-01-01

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

  5. Abstract algebra

    CERN Document Server

    Garrett, Paul B

    2007-01-01

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

  6. MAIN ABSTRACTS

    Institute of Scientific and Technical Information of China (English)

    2011-01-01

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

  7. Inventory Abstraction

    Energy Technology Data Exchange (ETDEWEB)

    C. Leigh

    2000-11-03

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

  8. INVENTORY ABSTRACTION

    Energy Technology Data Exchange (ETDEWEB)

    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

  9. Metacognition and abstract reasoning.

    Science.gov (United States)

    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.

  10. Completeness of Lyapunov Abstraction

    Directory of Open Access Journals (Sweden)

    Rafael Wisniewski

    2013-08-01

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

  11. Selected Abstracts

    Institute of Scientific and Technical Information of China (English)

    2012-01-01

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

  12. MAIN ABSTRACTS

    Institute of Scientific and Technical Information of China (English)

    2012-01-01

    Critique of the "New Interpretation" of the Labor Theory of Value in the West Xue Yufeng Various controversies around the labor theory of value have lasted till today since the proposal of the "new interpretation" (NI) about it. We are now facing the problem of not only how to recognize and understand it, but at the same time how to develop and innovate Marx's labor theory properly. This paper points out that the definition and theoretical basis of "NI" are essentially different from those of Marx according to Marx's theory of monetary value and exchange value. The empirical methodology of "NI" with regard to the issue of price is not fundamentally different from the traditional methodology of western economics which completely denies the labor theory of value.

  13. MAIN ABSTRACTS

    Institute of Scientific and Technical Information of China (English)

    2011-01-01

    On the Relationship Between the Life Experience and Novel Creation --the Comparative Analysis of the Backgrounds of Yu Dafu's Novels and Xuan Zhenjian's Abstract:The themes of Yu Dafu's novels are mostly concerning the themes of "the depression of sex" or the sadness of life, which are due to the background of the Chinese overseas students as the citizens of powerless country,to a larger extend associated with Yu's life experi- ence and his special characters sensitive but affectionate, self-esteemed but aloof and proud. On the contrast, Xuan Zhenjian is born with superior status and gentleman's virtues,so he cherishes his traditional marriage life,concerns more about the social problems on fami- lies and jobs which are closely associated with people's livings,and especially discuses the sadness of life of the intellectual in that particular Korea.

  14. About CABI Full Text

    Institute of Scientific and Technical Information of China (English)

    2013-01-01

    <正>Centre for Agriculture and Bioscience International(CABI)is a not-for-profit international Agricultural Information Institute with headquarters in Britain.It aims to improve people’s lives by providing information and applying scientific expertise to solve problems in agriculture and the environment.CABI Full-text is one of the publishing products of CABI.CABI’s full text repository is growing rapidly and has now been integrated into all our databases including CAB Abstracts,Global Health

  15. About CABI Full Text

    Institute of Scientific and Technical Information of China (English)

    2013-01-01

    <正>Centre for Agriculture and Bioscience International(CABI)is a not-for-profit international Agricultural Information Institute with headquarters in Britain.It aims to improve people’s lives by providing information and applying scientific expertise to solve problems in agriculture and the environment.CABI Full-text is one of the publishing products of CABI.CABI’s full text repository is growing rapidly and has now been integrated into all our databases including CAB Abstracts,Global Health,our Internet Resources and Jour-

  16. Journal Abstracts

    Directory of Open Access Journals (Sweden)

    Osman Eren Karpuzoğlu

    2000-08-01

    Full Text Available OKSİJEN-OZON TEDAVİSİ SIRASINDA BEKLENMEDİK BİR ÖLÜM An Unexpected Death During Oxygen-Ozone Therapy Marchetti D, La Monaca G. Am J Forensic Med Pathol. 2000, Jun 21(2: 144-7. Psoriasis için otohemotransfüzyon ile oksijen-ozon (02-03 tedavisi sırasında meydana gelen gaz embolisi nedeniyle oluşan beklenmedik bir ölüm sunulmuştur. Bu beklenmedik komplikasyon tıbbi ozon uygulamasının yararlan ve yan etkilerinin araştırılması gerekliliğini göstermektedir. İMZALI CİNAYETLER: 1984 CRANBROOK, İNGİLİZ KOLOMBİYASI OLGULARI RAPORU Signature Murders: a Report of the 1984 Cranbrook, British Columbia Cases Keppel RD. Journal of Forensic Sciences 2000, 45(2; 500-3- Cranbrook, İngiliz Kolombiyasinda 1984 yılındaki iki ayrı olayda Denean Worms ve Brenda Hughes adlarındaki iki kadın üç ay ara ile öldürüldü. T. W. Bur- lingham iki cinayetten suçlu bulundu ve temyize başvurdu. Kanada Yüksek Mahkemesi Worms davası için yeniden yargılanmasına karar verdi, ama Burling- ham’ın itirafı ya da cinayet silahını delil kabul etmedi. Yüksek Konsey aynı kişi tarafından işlenip işlenmediğinin belirlenmesi için iki cinayetin değerlendirilmesini istedi. Analiz sonucu, katilin kişisel "imzası" ile cinayetlerin birbirine bağlantılı olduğu açığa çıktı. Burada anlatılan cinayet olguları kurbanı kontrol altına alma amaçlı bir imza gösteriyorlardı. Katil kontrol ve ölüm yöntemi olarak, 410 pompalı tüfek kullandı. Her iki kurbanın kafasına iki el ateş ederek öldürüp, alçaltıcı bir cinsel pozisyonda bıraktı. Diğer bir imza özelliği ise seri cinsel saldırı kurbanlarında bırakacağı tipik yaraların bulunmamasıydı. Bütün bu özellikler, biraraya getirildiğinde bu katili tanımlayıcı özelliklerdi. NEKROTİZAN FASİİT: YALANCI VE GERÇEK SAT .PİRİT AR SONUCU MEYDANA GELEN ÖLÜMCÜL ÜÇ OLGU RAPORU Necrotizing Fasciitis: Reports of Three Fatal Cases Simulating and

  17. The abstracts of the lecture on the topic «the sociological approach to public opinion research at the system of sciences» for the course «sociological problems of the public opinion researches»

    OpenAIRE

    Lebedeva-Nesevria N. A.

    2010-01-01

    This paper represents an abstract of the first lecture for the course «Sociological problems of public opinion researches» that is included in the state standard of professional education on the speciality 020300 «Sociology». Two main questions are discussed: the subject of public opinion sociology and the specific of sociological approach to public opinion research.

  18. Abstracts of Major Articles

    Institute of Scientific and Technical Information of China (English)

    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

  19. Today's problems with the evaluation methods of full lightning impulse parameters as described in IEC 60060-1

    OpenAIRE

    Berlijn, S.; Kvarngren, M.; Garnacho, F.; Simon, P; Gockenbach, E.; P. Werle; Hackemack, K.; Wong, K.C.P.; Watts, M.

    1999-01-01

    In this paper the present problems with the evaluation methods for lightning impulse parameters, as defined in IEC 60060-1, are described. Also the current practice of evaluation in many laboratories world-wide, that is obtained by a questionnaire, is presented. Some of the work performed up the present time and the initial conclusions are reported, then some recommendations are made for future work.

  20. Solving the AI Planning Plus Scheduling Problem Using Model Checking via Automatic Translation from the Abstract Plan Preparation Language (APPL) to the Symbolic Analysis Laboratory (SAL)

    Science.gov (United States)

    Butler, Ricky W.; Munoz, Cesar A.; Siminiceanu, Radu I.

    2007-01-01

    This paper describes a translator from a new planning language named the Abstract Plan Preparation Language (APPL) to the Symbolic Analysis Laboratory (SAL) model checker. This translator has been developed in support of the Spacecraft Autonomy for Vehicles and Habitats (SAVH) project sponsored by the Exploration Technology Development Program, which is seeking to mature autonomy technology for the vehicles and operations centers of Project Constellation.

  1. Psychosocial problems in pre-school children: Recognition and strategy applied by doctors and nurses in child health care objective. Abstract

    NARCIS (Netherlands)

    Reijneveld, SA; Brugman, E; Verhulst, FC; Verloove-Vanhorick, SP

    2005-01-01

    Psychosocial problems in pre-school children: recognition and strategy applied by doctors and nurses in child health care Objective. To assess the degree to which preventive child health professionals (CHPs) identify and manage psychosocial problems among pre-school children in the general

  2. A Modal-Logic Based Graph Abstraction

    NARCIS (Netherlands)

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

    2008-01-01

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

  3. Practice makes proficient: pigeons (Columba livia) learn efficient routes on full-circuit navigational traveling salesperson problems.

    Science.gov (United States)

    Baron, Danielle M; Ramirez, Alejandro J; Bulitko, Vadim; Madan, Christopher R; Greiner, Ariel; Hurd, Peter L; Spetch, Marcia L

    2015-01-01

    Visiting multiple locations and returning to the start via the shortest route, referred to as the traveling salesman (or salesperson) problem (TSP), is a valuable skill for both humans and non-humans. In the current study, pigeons were trained with increasing set sizes of up to six goals, with each set size presented in three distinct configurations, until consistency in route selection emerged. After training at each set size, the pigeons were tested with two novel configurations. All pigeons acquired routes that were significantly more efficient (i.e., shorter in length) than expected by chance selection of the goals. On average, the pigeons also selected routes that were more efficient than expected based on a local nearest-neighbor strategy and were as efficient as the average route generated by a crossing-avoidance strategy. Analysis of the routes taken indicated that they conformed to both a nearest-neighbor and a crossing-avoidance strategy significantly more often than expected by chance. Both the time taken to visit all goals and the actual distance traveled decreased from the first to the last trials of training in each set size. On the first trial with novel configurations, average efficiency was higher than chance, but was not higher than expected from a nearest-neighbor or crossing-avoidance strategy. These results indicate that pigeons can learn to select efficient routes on a TSP problem.

  4. Hedonism in Abstract Art: Minimalist digital abstract photography

    Directory of Open Access Journals (Sweden)

    Srdjan Jovanović

    2009-06-01

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

  5. Study on English abstract problem in science and technology paper%科技论文英文摘要问题探讨

    Institute of Scientific and Technical Information of China (English)

    王海科

    2013-01-01

    English is a important factor improving impact of science and technology paper,and plays a pivotal role in international academic exchanges. Some suggestions were proposed for writing better English abstracts through analyzing frequent asked questions of English abstracts of a lot of science and technology papers. It offers some references to write English for researchers.%  英文是科技论文的必要内容,对科技论文在国际上的学术交流起关键作用,已成为提升科技论文影响力的重要因素。阅读了大量科技论文英文,对其中的常见问题进行总结,提出了正确书写科技论文英文的建议,为英文的书写与编辑提供一定的参考作用。

  6. Abstracts of Main Essays

    Institute of Scientific and Technical Information of China (English)

    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.

  7. A Stieltjes type convolution for integrated semigroups of bounded strong variation and $L_p$-solutions to the abstract Cauchy problem

    OpenAIRE

    Thieme, Horst R.; Vosseler, Hauke

    2002-01-01

    A convolution of Stieltjes type is introduced for operator families of bounded strong variation and vector valued $L_1$-functions. Using this tool, perturbation theorems for integrated semigroups of bounded strong variation are derived, and improved results on $L_p$-solutions to the inhomogeneous Cauchy problem are obtained.

  8. Abstract Storage Devices

    CERN Document Server

    Koenig, Robert; Tessaro, Stefano

    2007-01-01

    A quantum storage device differs radically from a conventional physical storage device. Its state can be set to any value in a certain (infinite) state space, but in general every possible read operation yields only partial information about the stored state. The purpose of this paper is to initiate the study of a combinatorial abstraction, called abstract storage device (ASD), which models deterministic storage devices with the property that only partial information about the state can be read, but that there is a degree of freedom as to which partial information should be retrieved. This concept leads to a number of interesting problems which we address, like the reduction of one device to another device, the equivalence of devices, direct products of devices, as well as the factorization of a device into primitive devices. We prove that every ASD has an equivalent ASD with minimal number of states and of possible read operations. Also, we prove that the reducibility problem for ASD's is NP-complete, that t...

  9. 10081 Abstracts Collection -- Cognitive Robotics

    OpenAIRE

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

    2010-01-01

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

  10. Towards Composable Concurrency Abstractions

    Directory of Open Access Journals (Sweden)

    Janwillem Swalens

    2014-06-01

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

  11. IPR 2016. Abstracts

    Energy Technology Data Exchange (ETDEWEB)

    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.

  12. Logic and Abstraction in Engineering Education: A Necessary Relationship

    Directory of Open Access Journals (Sweden)

    Serna M. Edgar

    2014-04-01

    Full Text Available This article is about the logic and abstraction seen as a necessary relation in the formative process engineers. It describes the importance and the need for training in this area of knowledge and the relationship between professional exercise of the engineers and the development and/or potentiation of logical-interpretative and abstractive ability for problem solution. It is a research-review-reflection work about the importance of these two components, viewed structurally from the curriculum. It is the product of the first phase of the research "The capacity logical-interpretative and abstractive as a basic component for professional exercise of the engineers".

  13. PRISMA for Abstracts

    DEFF Research Database (Denmark)

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

    2013-01-01

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

  14. Technical abstracts: Mechanical engineering, 1990

    Energy Technology Data Exchange (ETDEWEB)

    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.

  15. Efficient Abstraction Selection in Reinforcement Learning

    NARCIS (Netherlands)

    van Seijen, H.; Whiteson, S.; Kester, L.; Frisch, A.M.; Gregory, P.

    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

  16. Efficient abstraction selection in reinforcement learning

    NARCIS (Netherlands)

    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

  17. Abstract Interpretation and Attribute Gramars

    DEFF Research Database (Denmark)

    Rosendahl, Mads

    The objective of this thesis is to explore the connections between abstract interpretation and attribute grammars as frameworks in program analysis. Abstract interpretation is a semantics-based program analysis method. A large class of data flow analysis problems can be expressed as non......-standard semantics where the ``meaning'' contains information about the runtime behaviour of programs. In an abstract interpretation the analysis is proved correct by relating it to the usual semantics for the language. Attribute grammars provide a method and notation to specify code generation and program analysis...... directly from the syntax of the programming language. They are especially used for describing compilation of programming languages and very efficient evaluators have been developed for subclasses of attribute grammars. By relating abstract interpretation and attribute grammars we obtain a closer connection...

  18. Abstract Level Parallelization of Finite Difference Methods

    Directory of Open Access Journals (Sweden)

    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.

  19. Introduction to abstract algebra

    CERN Document Server

    Nicholson, W Keith

    2012-01-01

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

  20. Abstraction and Consolidation

    Science.gov (United States)

    Monaghan, John; Ozmantar, Mehmet Fatih

    2006-01-01

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

  1. A Sound Abstraction of the Parsing Problem

    DEFF Research Database (Denmark)

    Mödersheim, Sebastian Alexander; Katsoris, Georgios

    2014-01-01

    -based formats. We define two reasonable properties for a set of formats used in a protocol suite. First, each format should be un-ambiguous: any string can be parsed in at most one way. Second, the formats should be pair wise disjoint: a string can be parsed as at most one of the formats. We show how to easily...

  2. DENOTATIVE ORIGINS OF ABSTRACT IMAGES IN LINGUISTIC EXPERIMENT

    Directory of Open Access Journals (Sweden)

    Elina, E.

    2017-03-01

    Full Text Available The article discusses the refusal from denotation (the subject, as the basic principle of abstract images, and semiotic problems arising in connection with this principle: how to solve the contradiction between the pointlessness and iconic nature of the image? Is it correct in the absence of denotation to recognize abstract representation of a single-level entity? The solution is proposed to decide these questions with the help of a psycholinguistic experiment in which the verbal interpretation of abstract images made by both experienced and “naive” audience-recipients demonstrates the objectivity of perception of denotative “traces” and the presence of denotative invariant in an abstract form.

  3. An Analysis of Dissertation Abstracts In Terms Of Translation Errors and Academic Discourse

    Directory of Open Access Journals (Sweden)

    Canan TERZI

    2014-12-01

    Full Text Available This study aimed at evaluating English abstracts of MA and PhD dissertations published in Turkish language and identifying translation errors and problems concerning academic style and discourse. In this study, a random selection of MA and PhD dissertation abstracts both from the dissertations of Turkish speaking researchers and English-speaking researchers were used. The corpus consists of 90 abstracts of MA and PhD dissertations. The abstracts of these dissertations were analyzed in terms of problems stemming from translation issues and academic discourse and style. The findings indicated that Turkish-speaking researchers rely on their translation skills while writing their abstracts in English. Contrary to initial expectations, the results of the analysis of rhetorical moves did not indicate great differences in terms of the move structures, from which we concluded that there might be some universally accepted and attended rhetorical structure in dissertation abstracts.

  4. Abstracts--Citations

    Science.gov (United States)

    Occupational Mental Health, 1972

    1972-01-01

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

  5. Computational Abstraction Steps

    DEFF Research Database (Denmark)

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

    2010-01-01

    and class instantiations. Our teaching experience shows that many novice programmers find it difficult to write programs with abstractions that materialise to concrete objects later in the development process. The contribution of this paper is the idea of initiating a programming process by creating......In this paper we discuss computational abstraction steps as a way to create class abstractions from concrete objects, and from examples. Computational abstraction steps are regarded as symmetric counterparts to computational concretisation steps, which are well-known in terms of function calls...

  6. 压疮全程监控管理的问题分析与研究%PROBLEM ANALYSIS AND RESEARCH OF PRESSURE ULCER FULL MONITORING AND MANAGEMENT

    Institute of Scientific and Technical Information of China (English)

    陕海丽; 武化云; 支楠; 王妮娜; 李娟; 乔书航

    2011-01-01

    目的 分析住院患者压疮及难免性压疮的全程监控管理中存在的问题并提出研究对策.方法 根据制定的压疮全程管理流程,检查并分析院外带入压疮300例及难免性压疮280例在压疮报告表、难免性压疮危险度评分表及护理记录单等三方面存在的问题.结果 压疮报告表、难免性压疮危险度评分表、护理记录单分别存在11、9、9项问题.在压疮报告表上占首位的是患者首次住院或离科时未及时上报占32.00%;在难免性压疮危险度评分表上占首位的是患者离科时未及时上报占23.57%;在护理记录单上占首位的是未记录是否告知患者或家属压疮的风险并落实签字占27.24%.结论 加强沟通告知、业务培训、责任心教育,加强法律意识及质量监控,压疮全程监控管理才能真正做到流程化、标准化.%Objective To study the problems in full monitoring and management of hospitalized patients with pressure ulcers and inevitable pressure ulcers and put forward solving strategy. Methods According to the pressure ulcers full management procedure, 300 cases of pressure ulcers occurred before admission and 280 cases of inevitable pressure ulcers were examined and the pressure sore reports', inevitable risk of pressure ulcer grading tables and nursing records were examined and analyzed. Results Pressure sore reports, inevitable risk of pressure ulcer grading tables and nursing records respectively had 11,9and 9 problems. The leading problem of pressure ulcer report was not timely reporting when patients were first hospitalized and leaved the department, accounting for 32. 00%. The leading problem of inevitable risk of pressure ulcer grading table was not timely reporting when patients leaved the department,accounting for 23. 57% . The leading problem of nursing reports was not recording whether the patients or family members were informed the risk of pressure ulcer and signed a signature, accounting for

  7. Problems

    Directory of Open Access Journals (Sweden)

    Yekini Shehu

    2010-01-01

    real Banach space which is also uniformly smooth using the properties of generalized f-projection operator. Using this result, we discuss strong convergence theorem concerning general H-monotone mappings and system of generalized mixed equilibrium problems in Banach spaces. Our results extend many known recent results in the literature.

  8. Truthful Monadic Abstractions

    DEFF Research Database (Denmark)

    Brock-Nannestad, Taus; Schürmann, Carsten

    2012-01-01

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

  9. Completeness of Lyapunov Abstraction

    DEFF Research Database (Denmark)

    Wisniewski, Rafal; Sloth, Christoffer

    2013-01-01

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

  10. Knowledge-Based Abstracting.

    Science.gov (United States)

    Black, William J.

    1990-01-01

    Discussion of automatic abstracting of technical papers focuses on a knowledge-based method that uses two sets of rules. Topics discussed include anaphora; text structure and discourse; abstracting techniques, including the keyword method and the indicator phrase method; and tools for text skimming. (27 references) (LRW)

  11. Designing for Mathematical Abstraction

    Science.gov (United States)

    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…

  12. Completeness of Lyapunov Abstraction

    DEFF Research Database (Denmark)

    Wisniewski, Rafal; Sloth, Christoffer

    2013-01-01

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

  13. Data Abstraction in GLISP.

    Science.gov (United States)

    Novak, Gordon S., Jr.

    GLISP is a high-level computer language (based on Lisp and including Lisp as a sublanguage) which is compiled into Lisp. GLISP programs are compiled relative to a knowledge base of object descriptions, a form of abstract datatypes. A primary goal of the use of abstract datatypes in GLISP is to allow program code to be written in terms of objects,…

  14. Judgement of abstract paintings

    Directory of Open Access Journals (Sweden)

    Dakulović Sandra

    2006-01-01

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

  15. Nuclear medicine. Abstracts; Nuklearmedizin 2000. Abstracts

    Energy Technology Data Exchange (ETDEWEB)

    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)

  16. Abstracts from Rambam Research Day

    Directory of Open Access Journals (Sweden)

    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.

  17. Report to Congress on the U.S. Department of Energy`s Environmental Management Science Program: Research funded and its linkages to environmental cleanup problems, and Environmental Management Science Program research award abstracts. Volume 2 of 3 -- Appendix B

    Energy Technology Data Exchange (ETDEWEB)

    NONE

    1998-04-01

    The Department of Energy`s Environmental Management Science Program (EMSP) serves as a catalyst for the application of scientific discoveries to the development and deployment of technologies that will lead to reduction of the costs and risks associated with cleaning up the nation`s nuclear complex. Appendix B provides details about each of the 202 research awards funded by the EMSP. This information may prove useful to researchers who are attempting to address the Department`s environmental management challenges in their work, program managers who are planning, integrating, and prioritizing Environmental Management projects, and stakeholders and regulators who are interested in the Department`s environmental challenges. The research award information is organized by the state and institution in which the lead principal investigator is located. In many cases, the lead principal investigator is one of several investigators at a number of different institutions. In these cases, the lead investigator (major collaborator) at each of the additional institutions is listed. Each research award abstract is followed by a list of high cost projects that can potentially be impacted by the research results. High cost projects are Environmental Management projects that have total costs greater than $50 million from the year 2007 and beyond, based on the March 1998 Accelerating Cleanup: Paths to Closure Draft data, and have costs or quantities of material associated with an Environmental Management problem area. High cost projects which must remain active in the year 2007 and beyond to manage high risk are also identified. Descriptions of these potentially related high cost Environmental Management projects can be found in Appendix C. Additional projects in the same problem area as a research award can be located using the Index of High Cost Environmental Management Projects by Problem Area, at the end of Appendices B and C.

  18. Full text

    African Journals Online (AJOL)

    IndexCopernicus Portal System

    Abstract; Limited information exists on maternal perspectives of prenatal sonogram in north-eastern ... Introduction ... some point in the pregnancy [2]. ... diagnostic tool in prenatal care becomes a necessity. This .... inexpensive compared to other routine tests performed .... available ultrasound facilities, if implemented, would.

  19. Abstracts of SIG Sessions.

    Science.gov (United States)

    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…

  20. Computational Abstraction Steps

    DEFF Research Database (Denmark)

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

    2010-01-01

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

  1. Mathematical games, abstract games

    CERN Document Server

    Neto, Joao Pedro

    2013-01-01

    User-friendly, visually appealing collection offers both new and classic strategic board games. Includes abstract games for two and three players and mathematical games such as Nim and games on graphs.

  2. Abstract sectional category

    CERN Document Server

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

    2011-01-01

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

  3. Abstracts of contributed papers

    Energy Technology Data Exchange (ETDEWEB)

    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.

  4. A Boundary Value Problem for Hermitian Monogenic Functions

    Directory of Open Access Journals (Sweden)

    Reyes JuanBory

    2008-01-01

    Full Text Available Abstract We study the problem of finding a Hermitian monogenic function with a given jump on a given hypersurface in . Necessary and sufficient conditions for the solvability of this problem are obtained.

  5. Semilinear elliptic problems on unbounded subsets of the Heisenberg group

    Directory of Open Access Journals (Sweden)

    K. Tintarev

    2001-03-01

    Full Text Available In this paper we discuss the applications of an abstract version of concentration compactness to minimax problems. In particular, we prove the existence of solutions to semilinear elliptic problems on unbounded subsets of the Heisenberg group.

  6. Engineering Abstractions in Model Checking and Testing

    DEFF Research Database (Denmark)

    Achenbach, Michael; Ostermann, Klaus

    2009-01-01

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

  7. Monadic abstract interpreters

    DEFF Research Database (Denmark)

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

    2013-01-01

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

  8. Monadic abstract interpreters

    DEFF Research Database (Denmark)

    Sergey, Ilya; Devriese, Dominique; Might, Matthew

    2013-01-01

    -bounding to be independent of any particular semantics. Monads become the unifying agent between these concepts and between semantics. For instance, by plugging the same “context-insensitivity monad” into a monadicallyparameterized semantics for Java or for the lambda calculus, it yields the expected context...... semantics to a monovariant, flow- and context-insensitive static analysis with a singly-threaded heap and weak updates. The monadic parameterization also suggests an abstraction over the ubiquitous monotone fixed-point computation found in static analysis. This abstraction makes it straightforward...... to instrument an analysis with high-level strategies for improving precision and performance, such as abstract garbage collection and widening. While the paper itself runs the development for continuationpassing style, our generic implementation replays it for direct-style lambda-calculus and Featherweight Java...

  9. ABSTRACTION FOCUSED SYSTEM FOR USER FRIENDLY INFORMATION HANDLING OVER WWW

    Directory of Open Access Journals (Sweden)

    Dr. Pushpa R. Suri

    2011-07-01

    Full Text Available The World Wide Web has become the medium of preference for the circulation of information by common man,teams, organizations, and social communities. Information computing is the fundamental mean by which web information is retrieved and distributed. Conventional information computing approaches continues to be the most common to search documents of potential relevance. But unfortunately these offer only an imperfect solution as many relevant documents may be missed in the crude search process. The search process is sharplyquery specific and the results blindly follow the terms entered. The proposed Abstraction Focused framework for improved information computing over web attempts to resolve this basic problem that stamps from the information needs of the diverse users from the web. It implements abstraction by defining different indicators for directing the user search interests. Results from experiments with Abstraction Focused System approve the success particularly in cases where different users have a defined boundary of the search over WWW.

  10. The Complexity of Abstract Machines

    Directory of Open Access Journals (Sweden)

    Beniamino Accattoli

    2017-01-01

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

  11. Ernst H. Gombrich on Abstract Painting

    Directory of Open Access Journals (Sweden)

    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.

  12. The deleuzian abstract machines

    DEFF Research Database (Denmark)

    Werner Petersen, Erik

    2005-01-01

    production. In Kafka: Toward a Minor Literature, Deleuze and Guatari gave the most comprehensive explanation to the abstract machine in the work of art. Like the war-machines of Virilio, the Kafka-machine operates in three gears or speeds. Furthermore, the machine is connected to spatial diagrams...

  13. ARM : abstract rewriting machine

    NARCIS (Netherlands)

    J.F.T. Kamperman; H.R. Walters (Pum)

    1993-01-01

    textabstractTerm rewriting is frequently used as implementation technique for algebraic specifications. In this paper we present the abstract term rewriting machine (ARM), which has an extremely compact instruction set and imposes no restrictions on the implemented TRSs. Apart from standard

  14. Abstraction and art.

    Science.gov (United States)

    Gortais, Bernard

    2003-01-01

    In a given social context, artistic creation comprises a set of processes, which relate to the activity of the artist and the activity of the spectator. Through these processes we see and understand that the world is vaster than it is said to be. Artistic processes are mediated experiences that open up the world. A successful work of art expresses a reality beyond actual reality: it suggests an unknown world using the means and the signs of the known world. Artistic practices incorporate the means of creation developed by science and technology and change forms as they change. Artists and the public follow different processes of abstraction at different levels, in the definition of the means of creation, of representation and of perception of a work of art. This paper examines how the processes of abstraction are used within the framework of the visual arts and abstract painting, which appeared during a period of growing importance for the processes of abstraction in science and technology, at the beginning of the twentieth century. The development of digital platforms and new man-machine interfaces allow multimedia creations. This is performed under the constraint of phases of multidisciplinary conceptualization using generic representation languages, which tend to abolish traditional frontiers between the arts: visual arts, drama, dance and music. PMID:12903659

  15. SPR 2015. Abstracts

    Energy Technology Data Exchange (ETDEWEB)

    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.

  16. The Abstraction Engine

    DEFF Research Database (Denmark)

    Fortescue, Michael David

    The main thesis of this book is that abstraction, far from being confined to higher forms of cognition, language and logical reasoning, has actually been a major driving force throughout the evolution of creatures with brains. It is manifest in emotive as well as rational thought. Wending its way...

  17. ABSTRACTS AND KEY WORDS

    Institute of Scientific and Technical Information of China (English)

    2011-01-01

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

  18. Parent Education: Abstract Bibliography.

    Science.gov (United States)

    Kremer, Barbara, Comp.

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

  19. ABSTRACTS AND KEY WORDS

    Institute of Scientific and Technical Information of China (English)

    2011-01-01

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

  20. Abstracts of SIG Sessions.

    Science.gov (United States)

    Proceedings of the ASIS Annual Meeting, 1995

    1995-01-01

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

  1. Abstraction through Game Play

    Science.gov (United States)

    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…

  2. Beyond the abstractions?

    DEFF Research Database (Denmark)

    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...

  3. Reasoning abstractly about resources

    Science.gov (United States)

    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.

  4. Incremental Bisimulation Abstraction Refinement

    DEFF Research Database (Denmark)

    Godskesen, Jens Christian; Song, Lei; Zhang, Lijun

    2013-01-01

    an abstraction refinement approach for the probabilistic computation tree logic (PCTL), which is based on incrementally computing a sequence of may- and must-quotient automata. These are induced by depth-bounded bisimulation equivalences of increasing depth. The approach is both sound and complete, since...

  5. Seismic Consequence Abstraction

    Energy Technology Data Exchange (ETDEWEB)

    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]).

  6. ABSTRACTS AND KEY WORDS

    Institute of Scientific and Technical Information of China (English)

    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.

  7. Metaphors in Abstract Thought

    NARCIS (Netherlands)

    I. Boot (Inge)

    2010-01-01

    textabstractThe aim of the dissertation was to investigate the Conceptual Metaphor Theory (CMT, Lakoff & Johnson, 1980, 1999).The CMT proposes that abstract concepts are partly structured by concrete concepts through the mechanism of metaphorical mapping. In Chapter 2 we wanted to investigate the

  8. 2002 NASPSA Conference Abstracts.

    Science.gov (United States)

    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…

  9. ESPR 2014. Abstracts

    Energy Technology Data Exchange (ETDEWEB)

    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.

  10. Cambridge Scientific Abstracts

    Institute of Scientific and Technical Information of China (English)

    2012-01-01

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

  11. Cambridge Scientific Abstracts

    Institute of Scientific and Technical Information of China (English)

    2012-01-01

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

  12. Impredicative concurrent abstract predicates

    DEFF Research Database (Denmark)

    Svendsen, Kasper; Birkedal, Lars

    2014-01-01

    We present impredicative concurrent abstract predicates { iCAP { a program logic for modular reasoning about concurrent, higher- order, reentrant, imperative code. Building on earlier work, iCAP uses protocols to reason about shared mutable state. A key novel feature of iCAP is the ability to dene...

  13. EBS Radionuclide Transport Abstraction

    Energy Technology Data Exchange (ETDEWEB)

    R. Schreiner

    2001-06-27

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

  14. Sentence retrieval for abstracts of randomized controlled trials

    Directory of Open Access Journals (Sweden)

    Chung Grace Y

    2009-02-01

    Full Text Available Abstract Background The practice of evidence-based medicine (EBM requires clinicians to integrate their expertise with the latest scientific research. But this is becoming increasingly difficult with the growing numbers of published articles. There is a clear need for better tools to improve clinician's ability to search the primary literature. Randomized clinical trials (RCTs are the most reliable source of evidence documenting the efficacy of treatment options. This paper describes the retrieval of key sentences from abstracts of RCTs as a step towards helping users find relevant facts about the experimental design of clinical studies. Method Using Conditional Random Fields (CRFs, a popular and successful method for natural language processing problems, sentences referring to Intervention, Participants and Outcome Measures are automatically categorized. This is done by extending a previous approach for labeling sentences in an abstract for general categories associated with scientific argumentation or rhetorical roles: Aim, Method, Results and Conclusion. Methods are tested on several corpora of RCT abstracts. First structured abstracts with headings specifically indicating Intervention, Participant and Outcome Measures are used. Also a manually annotated corpus of structured and unstructured abstracts is prepared for testing a classifier that identifies sentences belonging to each category. Results Using CRFs, sentences can be labeled for the four rhetorical roles with F-scores from 0.93–0.98. This outperforms the use of Support Vector Machines. Furthermore, sentences can be automatically labeled for Intervention, Participant and Outcome Measures, in unstructured and structured abstracts where the section headings do not specifically indicate these three topics. F-scores of up to 0.83 and 0.84 are obtained for Intervention and Outcome Measure sentences. Conclusion Results indicate that some of the methodological elements of RCTs are

  15. An optimized full-configuration-interaction nuclear orbital approach to a ``hard-core'' interaction problem: Application to (3He)N-Cl2(B) clusters (N<=4)

    Science.gov (United States)

    de Lara-Castells, M. P.; Villarreal, P.; Delgado-Barrio, G.; Mitrushchenkov, A. O.

    2009-11-01

    An efficient full-configuration-interaction nuclear orbital treatment has been recently developed as a benchmark quantum-chemistry-like method to calculate ground and excited "solvent" energies and wave functions in small doped ΔEest clusters (N ≤4) [M. P. de Lara-Castells, G. Delgado-Barrio, P. Villarreal, and A. O. Mitrushchenkov, J. Chem. Phys. 125, 221101 (2006)]. Additional methodological and computational details of the implementation, which uses an iterative Jacobi-Davidson diagonalization algorithm to properly address the inherent "hard-core" He-He interaction problem, are described here. The convergence of total energies, average pair He-He interaction energies, and relevant one- and two-body properties upon increasing the angular part of the one-particle basis set (expanded in spherical harmonics) has been analyzed, considering Cl2 as the dopant and a semiempirical model (T-shaped) He-Cl2(B) potential. Converged results are used to analyze global energetic and structural aspects as well as the configuration makeup of the wave functions, associated with the ground and low-lying "solvent" excited states. Our study reveals that besides the fermionic nature of H3e atoms, key roles in determining total binding energies and wave-function structures are played by the strong repulsive core of the He-He potential as well as its very weak attractive region, the most stable arrangement somehow departing from the one of N He atoms equally spaced on equatorial "ring" around the dopant. The present results for N =4 fermions indicates the structural "pairing" of two H3e atoms at opposite sides on a broad "belt" around the dopant, executing a sort of asymmetric umbrella motion. This pairing is a compromise between maximizing the H3e-H3e and the He-dopant attractions, and suppressing at the same time the "hard-core" repulsion. Although the He-He attractive interaction is rather weak, its contribution to the total energy is found to scale as a power of three and it thus

  16. Bounded Rationality of Generalized Abstract Fuzzy Economies

    Directory of Open Access Journals (Sweden)

    Lei Wang

    2014-01-01

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

  17. Injecting Abstract Interpretations into Linear Cost Models

    Directory of Open Access Journals (Sweden)

    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.

  18. Building Safe Concurrency Abstractions

    DEFF Research Database (Denmark)

    Madsen, Ole Lehrmann

    2014-01-01

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

  19. An Abstract Data Interface

    Science.gov (United States)

    Allan, D. J.

    The Abstract Data Interface (ADI) is a system within which both abstract data models and their mappings on to file formats can be defined. The data model system is object-oriented and closely follows the Common Lisp Object System (CLOS) object model. Programming interfaces in both C and \\fortran are supplied, and are designed to be simple enough for use by users with limited software skills. The prototype system supports access to those FITS formats most commonly used in the X-ray community, as well as the Starlink NDF data format. New interfaces can be rapidly added to the system---these may communicate directly with the file system, other ADI objects or elsewhere (e.g., a network connection).

  20. Introduction to abstract analysis

    CERN Document Server

    Goldstein, Marvin E

    2015-01-01

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

  1. DEGRO 2017. Abstracts

    Energy Technology Data Exchange (ETDEWEB)

    NONE

    2017-06-15

    The volume includes abstracts of the Annual DEGRO Meeting 2017 covering lectures and poster sessions with the following issues: lymphoma, biology, physics, radioimmunotherapy, sarcomas and rare tumors, prostate carcinoma, lung tumors, benign lesions and new media, mamma carcinoma, gastrointestinal tumors, quality of life, care science and quality assurance, high-technology methods and palliative situation, head-and-neck tumors, brain tumors, central nervous system metastases, guidelines, radiation sensitivity, radiotherapy, radioimmunotherapy.

  2. SPR 2014. Abstracts

    Energy Technology Data Exchange (ETDEWEB)

    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.

  3. Research Abstracts of 1982.

    Science.gov (United States)

    1982-12-01

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

  4. Generalized Abstract Symbolic Summaries

    Science.gov (United States)

    Person, Suzette; Dwyer, Matthew B.

    2009-01-01

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

  5. Global classical solutions to the 1-D vacuum free boundary problem for full compressible Navier-Stokes equations with large data

    Science.gov (United States)

    Ou, Yaobin

    2017-01-01

    The vacuum free boundary problem of one-dimensional non-isentropic compressible Navier-Stokes equations with large initial data is investigated in this paper. The fluid is initially assumed to occupy a finite interval and connect to the vacuum continuously at the free boundary, which is often considered in the gas-vacuum interface problem. Using the method of Lagrangian particle path, we derive some point-wise estimates and weighted spatial and time energy estimates for the classical solutions. Then the global existence and uniqueness of classical solutions are shown, and the expanding speed for the free boundary is proved to be finite. The main difficulty of this problem is the degeneracy of the system near the free boundary. Previous results are only for the solutions with low regularity (cf. [G. Q. Chen and M. Kratka, Commun. Partial Differ. Equations. 27 907-943 (2002)]).

  6. EBS Radionuclide Transport Abstraction

    Energy Technology Data Exchange (ETDEWEB)

    J. Prouty

    2006-07-14

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

  7. Abstracts of Selected Papers

    Institute of Scientific and Technical Information of China (English)

    2012-01-01

    The Research Management Methodology in National Survey Chen Chen On the cognition of the national conditions of China, the understanding of Marx doctrine and Chinese reality, both an academic problem, also be a practice problem. Investigation and study is the scientific world outlook and the scientific methodology. National survey is researching on the national conditions,

  8. Ammi Canada 2015 Annual Conference: Abstract Titles

    Directory of Open Access Journals (Sweden)

    2015-01-01

    Full Text Available Abstracts to be presented at the 2015 Annual Conference of the Association of Medical Microbiology and Infectious Disease Canada, April 16 to 18, Charlottetown, Prince Edward Island, alphabetized according to the surname of the first author.

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

    Directory of Open Access Journals (Sweden)

    Ana eSusac

    2014-09-01

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

  10. Towards Abstract Interpretation of Epistemic Logic

    DEFF Research Database (Denmark)

    Ajspur, Mai; Gallagher, John Patrick

    knowledge. The model-checker is developed as a function directly from the semantics of the logic, in a style that could be applied straight- forwardly to derive model-checkers for other logics. Secondly, we consider how to abstract the model-checker using abstract interpretation, yielding a procedure...... applicable to infinite models. The abstract model-checker allows model-checking with infinite-state models. When applied to the problem of whether M |= φ, it terminates and returns the set of states in M at which φ might hold. If the set is empty, then M definitely does not satisfy φ, while if the set is non...

  11. Abstracts of Main Essays

    Institute of Scientific and Technical Information of China (English)

    2012-01-01

    Discourse Revolutions of Marx's Philosophy and Discourse Crisis of Chinese Philosophy Based on the logical and methodological investigations into discourse revolutions of Marx's philosophy, this article makes a critical reflection on the relationships between "Chinese problem", especially "Chinese problem- consciousness", and discourse crisis of Chinese philosophy and its development path from a methodological perspective. of traditional The author thinks that under the guide of "Chinese problem-consciousness", to transcend shackles speculative philosophy, to break through fetters of "Western center creed" mode of thinking,

  12. ESPR 2015. Abstracts

    Energy Technology Data Exchange (ETDEWEB)

    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.

  13. ABSTRACTS AND KEY WORDS

    Institute of Scientific and Technical Information of China (English)

    2011-01-01

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

  14. SPR 2017. Abstracts

    Energy Technology Data Exchange (ETDEWEB)

    NONE

    2017-05-15

    The conference proceedings SPR 2017 include abstracts on the following issues: gastrointestinal radiography - inflammatory bowel diseases, cardiovascular CTA, general muscoskeletal radiology, muscoskeletal congenital development diseases, general pediatric radiology - chest, muscoskeletal imaging - marrow and infectious disorders, state-of-the-art body MR imaging, practical pediatric sonography, quality and professionalism, CT imaging in congenital heart diseases, radiographic courses, body MT techniques, contrast enhanced ultrasound, machine learning, forensic imaging, the radiation dos conundrum - reconciling imaging, imagining and managing, the practice of radiology, interventional radiology, neuroradiology, PET/MR.

  15. Elements of abstract algebra

    CERN Document Server

    Clark, Allan

    1984-01-01

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

  16. Building Safe Concurrency Abstractions

    DEFF Research Database (Denmark)

    Madsen, Ole Lehrmann

    2014-01-01

    into the notions of concurrent and alternating objects. Alternating objects may be used to start a cooperative thread for each possible blocking communication and is thus an alternative to asynchronous messages and guarded commands. Beta like SIMULA, the first OO language, was designed as a language for modeling...... as well as programming, and we describe how this has had an impact on the design of the language. Although Beta supports the definition of high-level concurrency abstractions, the use of these rely on the discipline of the programmer as is the case for Java and other mainstream OO languages. We introduce...

  17. EBS Radionuclide Transport Abstraction

    Energy Technology Data Exchange (ETDEWEB)

    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

  18. Minimalism in architecture: Abstract conceptualization of architecture

    Directory of Open Access Journals (Sweden)

    Vasilski Dragana

    2015-01-01

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

  19. An introduction to abstract algebra

    CERN Document Server

    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 ...

  20. Problems of interaction of a supersonic gas mixture with a wall solved by the projection method applied to the full Boltzmann equation

    CERN Document Server

    Raines, Alla

    2015-01-01

    Numerical solution of non-steady problems of supersonic inflow of a binary mixture of a rarefied gas on a normally posed wall with mirror and diffuse reflection laws is obtained on the basis of the kinetic Boltzmann equation for the model of hard sphere molecules. For calculation of collision integrals we apply the projection method, developed by Tcheremissine for a one-component gas and generalized by the author for a binary gas mixture in the case of cylindrical symmetry. We demonstrate a good qualitative agreement of our results with other authors for one-component gases.

  1. Writing a successful research abstract.

    Science.gov (United States)

    Bliss, Donna Z

    2012-01-01

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

  2. Abstracts of Main Essays

    Institute of Scientific and Technical Information of China (English)

    2012-01-01

    Ferments of Thought in the Reflection of Modernity: In View of Young Hegel Yu Wujin Hegel is the first philosopher for whom modernity has become a problem. He started his reflections on modernity from his youth time. In those manuscripts and works written during his youth time, he has deeply reflected on the problems such as the positivity of religion, the mechanical nature of labor, the principle of utility within enlightenment and the absoluteness of human will. All of these have provided important resources for the present researches on modernity.

  3. ABSTRACTS AND KEY WORDS

    Institute of Scientific and Technical Information of China (English)

    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

  4. A LARI Experience (Abstract)

    Science.gov (United States)

    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.

  5. ABSTRACTS AND KEY WORDS

    Institute of Scientific and Technical Information of China (English)

    2011-01-01

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

  6. Abstracts of Selected Papers

    Institute of Scientific and Technical Information of China (English)

    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

  7. Contents and Abstracts

    Institute of Scientific and Technical Information of China (English)

    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.

  8. Abstracts of Selected Papers

    Institute of Scientific and Technical Information of China (English)

    2012-01-01

    The study design in social science research;Information Asymmetry in Research and Role of Research Management: Problems and Suggestions;Research on Innovation of Social Science Research Institutions' Knowledge Management Systems under Network Environment;The National Social Science Foundation Project in Academy of Social Science System Statistical Analysis in recent 10 years;

  9. An abstract approximate controllability result and applications to elliptic and parabolic systems with dynamic boundary conditions

    Directory of Open Access Journals (Sweden)

    Ioan Bejenaru

    2001-07-01

    Full Text Available In this paper we prove an approximate controllability result for an abstract semilinear evolution equation in a Hilbert space and we obtain as consequences the approximate controllability for some classes of elliptic and parabolic problems subjected to nonlinear, possible non monotone, dynamic boundary conditions.

  10. Converting One Type-Based Abstract Domain to Another

    DEFF Research Database (Denmark)

    Gallagher, John Patrick; Puebla, German; Albert, Elvira

    2006-01-01

    The specific problem that motivates this paper is how to obtain abstract descriptions of the meanings of imported predicates (such as built-ins) that can be used when analysing a module of a logic program with respect to some abstract domain. We assume that abstract descriptions of the imported p...

  11. Abstract Operators and Higher-order Linear Partial Differential Equation

    Institute of Scientific and Technical Information of China (English)

    BI Guang-qing; BI Yue-kai

    2011-01-01

    We summarize several relevant principles for the application of abstract operators in partial differential equations,and combine abstract operators with the Laplace transform.Thus we have developed the theory of partial differential equations of abstract operators and obtained the explicit solutions of initial value problems for a class of higher-order linear partial differential equations.

  12. Abstracts of Main Essays

    Institute of Scientific and Technical Information of China (English)

    2012-01-01

    The Political, Philosophic and Ethic Problems in the Economic Relations of Capitalism Based on the manuscript of philosophic-political economy in MEGA 2, this article analyzed and discussed those three problems of the ontological prerequisite of property ownership, the principle of equal exchange, and the individual-universal relation that Marx has dealt with during the period of his political economic critic studies before Capital, from the points of politics, philosophy and ethics. It points out that the divergences between Marx and national economists do not come from understanding of the prerequisite and the principle themselves, but from the recognition of the distortion of the prerequisite and the principle in the actual capitalism, and in disclosing and proving this kind of distortion, Marx has formed the theoretical basement for his criticizing of capitalism.

  13. Contracts for Abstract Processes in Service Composition

    Directory of Open Access Journals (Sweden)

    Maria Grazia Buscemi

    2011-01-01

    Full Text Available Contracts are a well-established approach for describing and analyzing behavioral aspects of web service compositions. The theory of contracts comes equipped with a notion of compatibility between clients and servers that ensures that every possible interaction between compatible clients and servers will complete successfully. It is generally agreed that real applications often require the ability of exposing just partial descriptions of their behaviors, which are usually known as abstract processes. We propose a formal characterization of abstraction as an extension of the usual symbolic bisimulation and we recover the notion of abstraction in the context of contracts.

  14. Stellar Presentations (Abstract)

    Science.gov (United States)

    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.

  15. Exoplanets and Multiverses (Abstract)

    Science.gov (United States)

    Trimble, V.

    2016-12-01

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

  16. Automated Supernova Discovery (Abstract)

    Science.gov (United States)

    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.

  17. Synthesis of spiropyrans: H-abstractions in 3-cycloalkenyloxybenzopyrans

    Directory of Open Access Journals (Sweden)

    Berar Urmila

    2007-03-01

    Full Text Available Abstract A photochemical route for the synthesis of some benzopyronospiropyrans from 2-furyl-3-cycloalkenyloxybenzopyrones involving H-abstraction is reported. How a methyl group on the furyl ring affects the product formation is also investigated.

  18. Existing Problems and Advices in English Abstract of Academic Paper on Pesticides%农药类论文英文摘要存在的问题与建议

    Institute of Scientific and Technical Information of China (English)

    张宜民

    2011-01-01

    对英文摘要中的错误进行了归类,主要可归为词法错误,句法及语法错误,信息遗漏与赘述,标点符号错误等方面,并针对拼写、标点、选词和词序,时态,被动语态等提出了英文摘要撰写的相关建议.%The mistakes in English abstract were summarized, mainly including errors of lexical, syntactic, grammatical and punctuative, in- formation omission and tautology. The related advices for English abstract writing were put forward aiming at spelling, punctuation, word selection and order, tense and passive voice.

  19. Abstract wave equations with acoustic boundary conditions

    CERN Document Server

    Mugnolo, Delio

    2010-01-01

    We define an abstract setting to treat wave equations equipped with time-dependent acoustic boundary conditions on bounded domains of ${\\bf R}^n$. We prove a well-posedness result and develop a spectral theory which also allows to prove a conjecture proposed in (Gal-Goldstein-Goldstein, J. Evol. Equations 3 (2004), 623-636). Concrete problems are also discussed.

  20. Abstraction and Learning for Infinite-State Compositional Verification

    Directory of Open Access Journals (Sweden)

    Dimitra Giannakopoulou

    2013-09-01

    Full Text Available Despite many advances that enable the application of model checking techniques to the verification of large systems, the state-explosion problem remains the main challenge for scalability. Compositional verification addresses this challenge by decomposing the verification of a large system into the verification of its components. Recent techniques use learning-based approaches to automate compositional verification based on the assume-guarantee style reasoning. However, these techniques are only applicable to finite-state systems. In this work, we propose a new framework that interleaves abstraction and learning to perform automated compositional verification of infinite-state systems. We also discuss the role of learning and abstraction in the related context of interface generation for infinite-state components.

  1. Challenges in Quantitative Abstractions for Collective Adaptive Systems

    Directory of Open Access Journals (Sweden)

    Mirco Tribastone

    2016-07-01

    Full Text Available Like with most large-scale systems, the evaluation of quantitative properties of collective adaptive systems is an important issue that crosscuts all its development stages, from design (in the case of engineered systems to runtime monitoring and control. Unfortunately it is a difficult problem to tackle in general, due to the typically high computational cost involved in the analysis. This calls for the development of appropriate quantitative abstraction techniques that preserve most of the system's dynamical behaviour using a more compact representation. This paper focuses on models based on ordinary differential equations and reviews recent results where abstraction is achieved by aggregation of variables, reflecting on the shortcomings in the state of the art and setting out challenges for future research.

  2. Abstracts of Main Essays

    Institute of Scientific and Technical Information of China (English)

    2012-01-01

    Historical Materialism and Modern Conditions of Spiritual Life The problem of Spiritual life has become the focus in our present time. Historical materialism gives spiritual life the social and historical characters based on the practice view, and integrates spiritual life and its developments into the overall process of the development of society and history in the field of human liberation theory. It not only provides the true thinking framework for understanding the reification and individualization of modern spiritual life, but also points out the essential thinking direction to step out the predicament of modem spiritual life and promote the development of human spiritual life.

  3. ABSTRACTS OF MAJOR ARTICLES

    Institute of Scientific and Technical Information of China (English)

    2012-01-01

    With the continuous development of economy and society in China, urbanization process quickly advanced, it is a pity that some cities are gradually losing their affinities, one of the important functions as a city. Migrant - laborers no doubt are a force that is driving urbanization process. This paper is in case of Shanghai' s migrant -laborers on the empirical investigation. It is typical that urban affinity greatly matters experience of migrant - laborers. After analyzing lives of migrant - laborers from the theory of Maslow, we will find lots of shortage about urban affinity. At last, I will put forward some countermeasure. Therefore solving the problem of migrant - laborers will certainly update urban affinity.

  4. Abstraction of Drift Seepage

    Energy Technology Data Exchange (ETDEWEB)

    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

  5. Verification of Statecharts Using Data Abstraction

    Directory of Open Access Journals (Sweden)

    Steffen Helke

    2016-01-01

    Full Text Available We present an approach for verifying Statecharts including infinite data spaces. We devise a technique for checking that a formula of the universal fragment of CTL is satisfied by a specification written as a Statechart. The approach is based on a property-preserving abstraction technique that additionally preserves structure. It is prototypically implemented in a logic-based framework using a theorem prover and a model checker. This paper reports on the following results. (1 We present a proof infra-structure for Statecharts in the theorem prover Isabelle/HOL, which constitutes a basis for defining a mechanised data abstraction process. The formalisation is based on Hierar-chical Automata (HA which allow a structural decomposition of Statecharts into Sequential Automata. (2 Based on this theory we introduce a data abstraction technique, which can be used to abstract the data space of a HA for a given abstraction function. The technique is based on constructing over-approximations. It is structure-preserving and is designed in a compositional way. (3 For reasons of practicability, we finally present two tactics supporting the abstraction that we have implemented in Isabelle/HOL. To make proofs more efficient, these tactics use the model checker SMV checking abstract models automatically.

  6. Abstract spatial reasoning as an autistic strength.

    Directory of Open Access Journals (Sweden)

    Jennifer L Stevenson

    Full Text Available Autistic individuals typically excel on spatial tests that measure abstract reasoning, such as the Block Design subtest on intelligence test batteries and the Raven's Progressive Matrices nonverbal test of intelligence. Such well-replicated findings suggest that abstract spatial processing is a relative and perhaps absolute strength of autistic individuals. However, previous studies have not systematically varied reasoning level--concrete vs. abstract--and test domain--spatial vs. numerical vs. verbal, which the current study did. Autistic participants (N = 72 and non-autistic participants (N = 72 completed a battery of 12 tests that varied by reasoning level (concrete vs. abstract and domain (spatial vs. numerical vs. verbal. Autistic participants outperformed non-autistic participants on abstract spatial tests. Non-autistic participants did not outperform autistic participants on any of the three domains (spatial, numerical, and verbal or at either of the two reasoning levels (concrete and abstract, suggesting similarity in abilities between autistic and non-autistic individuals, with abstract spatial reasoning as an autistic strength.

  7. Abstracts of Major Articles

    Institute of Scientific and Technical Information of China (English)

    2012-01-01

    The Status Quo and Prospects of Entrepreneurship among Women in the Hometown of Overseas Chinese from Gender Prospective --Taking the Female Entrepreneurs in Quanzhou City as an Example LIU Yi-rong, ZHANG Xu (School of Public Administration, and Trade Union, Huaqiao University, Quanzhou 362021, China) Abstract:The paper analyses the current situation of entrepreneurship among women in the hometown of overseas Chinese, such as the female entrepreneurs' motivations to start a business, their business areas and management modes, as well as the relations between their career and family life. Based on the analy- sis, the authors thus point out some problems, such as the sexual discrimination those women may face during their business startups and their psychological misunderstandings. The paper also proposes that in order to promote women's entrepreneurial activities, people should develop advanced gender consciousness, bring into play Women's Federation and other social organizations, and further support female entrepreneurs. Key words:women, entrepreneurship, hometown of overseas Chinese, Quanzhou City

  8. Using abstract language signals power.

    Science.gov (United States)

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

    2014-07-01

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

  9. Object-oriented programming with gradual abstraction

    DEFF Research Database (Denmark)

    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...

  10. 带软时间窗的开放式满载车辆路径问题研究%Research on open vehicle routing problem with full load and soft-time windows

    Institute of Scientific and Technical Information of China (English)

    孙国华

    2011-01-01

    为满足某些生产制造企业的满载运输需求,针对运输任务对车辆具有独占性的特点,分析得到总运输费用的大小取决于车辆的空车行驶费用,在此基础上,将带软时间窗的开放式满载车辆路径问题转化为带软时间窗的多车场开放式车辆路径问题,在非对称图上建立了相应的数学模型,并设计了近邻粒子群算法对模型进行求解.设计算例对算法进行了验证,实验结果表明:该算法可以快速求得软时间窗的开放式满载车辆路径问题的满意解.%The full load transportation problem is researched to satisfy the demand of production enterprises. Based on the exclusive characteristic of this problem, it's concluded that the total transportation cost is determined by the empty-load transportation cost. Then the open vehicle routing problem with full load and soft-time windows is transferred to a multi-depot open vehicle routing problem with soft-time windows and a mixed-integer mathematical model is presented based on the transferred asymmetric graph. PSO algorithm with near neighbor interactions is given to solve the problem and is verified through an example. The experiment results prove the high efficiency of the algorithm to solve the open vehicle routing problem with full load and soft-time windows.

  11. Object-oriented programming with gradual abstraction

    DEFF Research Database (Denmark)

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

    2013-01-01

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

  12. A first graduate course in abstract algebra

    CERN Document Server

    Wickless, WJ

    2004-01-01

    Since abstract algebra is so important to the study of advanced mathematics, it is critical that students have a firm grasp of its principles and underlying theories before moving on to further study. To accomplish this, they require a concise, accessible, user-friendly textbook that is both challenging and stimulating. A First Graduate Course in Abstract Algebra is just such a textbook.Divided into two sections, this book covers both the standard topics (groups, modules, rings, and vector spaces) associated with abstract algebra and more advanced topics such as Galois fields, noncommutative rings, group extensions, and Abelian groups. The author includes review material where needed instead of in a single chapter, giving convenient access with minimal page turning. He also provides ample examples, exercises, and problem sets to reinforce the material. This book illustrates the theory of finitely generated modules over principal ideal domains, discusses tensor products, and demonstrates the development of det...

  13. Modal abstractions of concurrent behavior

    DEFF Research Database (Denmark)

    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 refutation of safety and liveness properties. However, the algorithmic construction of finite abstractions from potentially infinite concurrent processes is a missing link that prevents their more widespread usage for model checking of concurrent systems. Our algorithm is a worklist algorithm using concepts...

  14. Mechanical Engineering Department technical abstracts

    Energy Technology Data Exchange (ETDEWEB)

    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.

  15. Abstract: Spurious Landscape no. 11

    Directory of Open Access Journals (Sweden)

    Hastings-King, Stephen

    2008-12-01

    Full Text Available This paper is an extended argument for the migration of partial-determinist assumptions into the register of the form of analysis. It develops one sequence of possibilities which follow from this, which are linked to the thematic motif built around the play of the instituted and the instituting. From this follows a second-order problem: how to think the pivot term, the noun institution. Cutting across this are traces of a central preoccupation of mine, which centers on the relation of location to sound, which in a way doubles the relation of the instituted to the instituting, the past to the present, object to time.

  16. Thomas Leps Internship Abstract

    Science.gov (United States)

    Leps, Thomas

    2016-01-01

    issue. I have since narrowed the likely source of the error down to a Software Development Kit released by the camera supplier PixeLink. I have since developed a workaround in order to build star grids for calibration until the software bug can be isolated and fixed. I was also tasked with building a Hardware in the Loop test stand in order to test the full Op-Nav system. A 4k screen displays simulated Lunar and Terrestrial images from a possible Orion trajectory. These images are then projected through a collimator and then captured with an Op-Nav camera controlled by an Intel NUC computer running flight software. The flight software then analyzes the images to determine attitude and position, this data is then reconstructed into a trajectory and matched to the simulated trajectory in order to determine the accuracy of the attitude and position estimates. In order for the system to work it needs to be precisely and accurately aligned. I developed an alignment procedure that allows the screen, collimator and camera to be squared, centered and collinear with each other within a micron spatially and 5 arcseconds in rotation. I also designed a rigid mount for the screen that was machined on site in Building 10 by another intern. While I was working in the EOL we received a $500k Orion startracker for alignment procedure testing. Due to my prior experience in electronics development, as an ancillary duty, I was tasked with building the cables required to operate and power the startracker. If any errors are made building these cables the startracker would be destroyed, I was honored that the director of the lab entrusted such a critical component with me. This internship has cemented my view on public space exploration. I always preferred public sector to privatization because, as a scientist, the most interesting aspects of space for me are not necessarily the most profitable. I was concerned that the public sector was faltering however, and that in order to improve human

  17. About CABI Full Text

    Institute of Scientific and Technical Information of China (English)

    2014-01-01

    <正>Centre for Agriculture and Bioscience International(CABI)is a not-for-profit international Agricultural Information Institute with headquarters in Britain.It aims to improve people’s lives by providing information and applying scientific expertise to solve problems in agriculture and the environment.CABI Full-text is one of the publishing products of CABI.CABI’s full text repository is growing rapidly

  18. Abstract concepts in grounded cognition

    NARCIS (Netherlands)

    Lakens, D.

    2010-01-01

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

  19. Modal abstractions of concurrent behavior

    DEFF Research Database (Denmark)

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

    2011-01-01

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

  20. Vague Language in Conference Abstracts

    Science.gov (United States)

    Cutting, Joan

    2012-01-01

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

  1. Food Science and Technology Abstracts.

    Science.gov (United States)

    Cohen, Elinor; Federman, Joan

    1979-01-01

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

  2. Abstract models of transfinite reductions

    DEFF Research Database (Denmark)

    Bahr, Patrick

    2010-01-01

    We investigate transfinite reductions in abstract reduction systems. To this end, we study two abstract models for transfinite reductions: a metric model generalising the usual metric approach to infinitary term rewriting and a novel partial order model. For both models we distinguish between...

  3. Generalized Levitin-Polyak Well-Posedness of Vector Equilibrium Problems

    Directory of Open Access Journals (Sweden)

    Zhao Lai-Jun

    2009-01-01

    Full Text Available Abstract We study generalized Levitin-Polyak well-posedness of vector equilibrium problems with functional constraints as well as an abstract set constraint. We will introduce several types of generalized Levitin-Polyak well-posedness of vector equilibrium problems and give various criteria and characterizations for these types of generalized Levitin-Polyak well-posedness.

  4. ABSTRACT MODELS FOR SYSTEM VIRTUALIZATION

    Directory of Open Access Journals (Sweden)

    M. G. Koveshnikov

    2015-05-01

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

  5. Abstract algebra structure and application

    CERN Document Server

    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.

  6. About CABI Full Text

    Institute of Scientific and Technical Information of China (English)

    2013-01-01

    <正>Centre for Agriculture and Bioscience International( CABI) is a not-for-profit international Agricultural Information Institute with headquarters in Britain. It aims to improve people’s lives by providing information and applying scientific expertise to solve problems in agriculture and the environment. CABI Full-text is one of the publishing products of CABI.

  7. About CABI Full Text

    Institute of Scientific and Technical Information of China (English)

    2013-01-01

    <正>Centre for Agriculture and Bioscience International(CABI) is a not-for-profit international Agricultural Information Institute with headquarters in Britain. It aims to improve people’s lives by providing information and applying scientific expertise to solve problems in agriculture and the environment. CABI Full-text is one of the publishing products of CABI.

  8. About CABI Full Text

    Institute of Scientific and Technical Information of China (English)

    2011-01-01

    <正>Centre for Agriculture and Bioscience International(CABI)is a not-for-profit international Agricultural Information Institute with headquarters in Britain. It aims to improve people s lives by providing information and applying scientific expertise to solve problems in agriculture and the environment. CABI Full-text is one of the publishing products of CABI.

  9. Tools and Behavior Abstraction: A Future for Software Engineering

    Directory of Open Access Journals (Sweden)

    Wilson Solís

    2012-06-01

    Full Text Available Software engineers rely on and use tools to analyze automatically and detailed the code and design specifications. Although many are still used to find new defects in old code, is expected in the future have more application in software engineering and are available to developers at the time of editing their products. If were possible build them fast enough and easy to use, software engineers would apply it to improve design and product development. To solve any problem, traditional engineering use programming languages, however, the level of abstraction of the most popular is not much larger than C programs several decades ago. Moreover, this level is the same in all the code and do not leaves room for abstraction of behavior, in which the design is divided into phases and which gradually introduces more details. This article presents a study of the need for a larger set of analysis tools to create languages and development environments, which provide good support to archive this abstraction.

  10. An approach to the design of mathematical task sequences: Conceptual learning as abstraction

    Directory of Open Access Journals (Sweden)

    Martin A. Simon

    2016-06-01

    Full Text Available This paper describes an emerging approach to the design of task sequences and the theory that undergirds it. The approach aims at promoting particular mathematical concepts, understood as the result of reflective abstraction. Central to this approach is the identification of available student activities from which students can abstract the intended ideas. The approach differs from approaches in which learning to solve the problem posed is the intended learning. The paper illustrates the approach through data from a teaching experiment on division of fractions.

  11. ABSTRACTS

    Institute of Scientific and Technical Information of China (English)

    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

  12. ABSTRACTS

    Institute of Scientific and Technical Information of China (English)

    2011-01-01

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

  13. ABSTRACTS

    Institute of Scientific and Technical Information of China (English)

    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

  14. ABSTRACTS

    Institute of Scientific and Technical Information of China (English)

    2011-01-01

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

  15. ABSTRACT

    African Journals Online (AJOL)

    identification of the poor and their characteristics; they should be given a chance to ... established to help eradicate the poverty, which include the People Empowerment ... Welfare Service Scheme has programmes like: Special Education ...

  16. Abstracts

    National Research Council Canada - National Science Library

    2016-01-01

    ... , Abduljaleel Al Alwan 1,2 , Abeer Ibrahim 4 , Hadi Kuriry 3 , Ali Albenmousa 6 1 Department of Hepatobiliary Sciences, Division of Hepatology, King Abdulaziz Medical City, National Guard Health Affairs, 2...

  17. Abstract

    Institute of Scientific and Technical Information of China (English)

    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

  18. ABSTRACTS

    Institute of Scientific and Technical Information of China (English)

    2012-01-01

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

  19. ABSTRACTS

    Institute of Scientific and Technical Information of China (English)

    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,

  20. Abstract

    African Journals Online (AJOL)

    dell

    per week; processed in a team work, and finalized by a local work shop accommodating the ... biological, health sciences, social sciences ... the new education and training policy of Ethiopia ...... schools were budget, staff shortage, classrooms ...

  1. ABSTRACTS

    Institute of Scientific and Technical Information of China (English)

    2012-01-01

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

  2. ABSTRACTS

    Institute of Scientific and Technical Information of China (English)

    2011-01-01

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

  3. ABSTRACTS

    Institute of Scientific and Technical Information of China (English)

    2012-01-01

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

  4. ABSTRACTS

    Institute of Scientific and Technical Information of China (English)

    2011-01-01

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

  5. Abstracts

    Institute of Scientific and Technical Information of China (English)

    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

  6. Abstract

    Institute of Scientific and Technical Information of China (English)

    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.

  7. ABSTRACTS

    Institute of Scientific and Technical Information of China (English)

    2012-01-01

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

  8. Abstracts

    Institute of Scientific and Technical Information of China (English)

    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

  9. ABSTRACT

    Institute of Scientific and Technical Information of China (English)

    2012-01-01

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

  10. ABSTRACTS

    Institute of Scientific and Technical Information of China (English)

    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.

  11. Abstract

    African Journals Online (AJOL)

    The AIDS epidemic has infected more than 50 million and claimed the lives of more than .... or preventive vaccine trials, as well as of HIV-positive women presenting as ... The lack of public understanding of doctors' and/or of scientific methods'.

  12. ABSTRACTS

    Institute of Scientific and Technical Information of China (English)

    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.

  13. ABSTRACTS

    Institute of Scientific and Technical Information of China (English)

    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

  14. ABSTRACT

    African Journals Online (AJOL)

    Effect of rural-urban migration of youths on agricultural labour supply in. Umuahia north local .... range of 50-61 years above, only 15% were below 40 years. This means that ... Family labour. 45. 49 ... under severe pressure. CONCLUSION ...

  15. ABSTRACTS

    Institute of Scientific and Technical Information of China (English)

    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).

  16. ABSTRACTS

    Institute of Scientific and Technical Information of China (English)

    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.

  17. ABSTRACTS

    Institute of Scientific and Technical Information of China (English)

    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.

  18. ABSTRACT

    Institute of Scientific and Technical Information of China (English)

    2011-01-01

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

  19. ABSTRACTS

    Institute of Scientific and Technical Information of China (English)

    2013-01-01

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

  20. Abstract

    Institute of Scientific and Technical Information of China (English)

    2012-01-01

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

  1. ABSTRACT

    African Journals Online (AJOL)

    agricultural extension practitioners should intensify efforts in educating rural farmers ... disease caused by Human immuno-deficiency Virus (HIV), usually found in ... Health experts put Nigeria prevalence rate at 5.4% ranging from a low 1.9% to .... income may increase food and livelihood insecurity and severely undermine ...

  2. Abstracts

    Institute of Scientific and Technical Information of China (English)

    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

  3. Abstracts

    Institute of Scientific and Technical Information of China (English)

    2011-01-01

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

  4. ABSTRACTS

    Institute of Scientific and Technical Information of China (English)

    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.

  5. ABSTRACTS

    Institute of Scientific and Technical Information of China (English)

    2012-01-01

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

  6. ABSTRACTS

    Institute of Scientific and Technical Information of China (English)

    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.

  7. ABSTRACT

    African Journals Online (AJOL)

    administrative interference in staff work and a reasonable reduction in the work load of ... Traditional definition of attitude contains a slightly conception of its meaning. Definitions ..... Conditions for the Design and Management Of. Agricultural ...

  8. Abstracts

    Institute of Scientific and Technical Information of China (English)

    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.

  9. ABSTRACTS

    Institute of Scientific and Technical Information of China (English)

    2012-01-01

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

  10. ABSTRACT

    Institute of Scientific and Technical Information of China (English)

    2012-01-01

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

  11. ABSTRACTS

    Institute of Scientific and Technical Information of China (English)

    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.

  12. ABSTRACTS

    Institute of Scientific and Technical Information of China (English)

    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.

  13. Abstract

    DEFF Research Database (Denmark)

    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...

  14. ABSTRACTS

    Institute of Scientific and Technical Information of China (English)

    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;

  15. ABSTRACTS

    Institute of Scientific and Technical Information of China (English)

    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.

  16. ABSTRACTS

    Institute of Scientific and Technical Information of China (English)

    2012-01-01

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

  17. ABSTRACTS

    Institute of Scientific and Technical Information of China (English)

    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

  18. ABSTRACTS

    Institute of Scientific and Technical Information of China (English)

    2012-01-01

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

  19. ABSTRACTS

    Institute of Scientific and Technical Information of China (English)

    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.

  20. ABSTRACTS

    Institute of Scientific and Technical Information of China (English)

    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

  1. Abstract

    OpenAIRE

    Kucrová, Veronika

    2011-01-01

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

  2. ABSTRACTS

    Institute of Scientific and Technical Information of China (English)

    2011-01-01

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

  3. ABSTRACTS

    Institute of Scientific and Technical Information of China (English)

    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.

  4. Abstract

    Institute of Scientific and Technical Information of China (English)

    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.

  5. ABSTRACTS

    Institute of Scientific and Technical Information of China (English)

    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.

  6. ABSTRACTS

    Institute of Scientific and Technical Information of China (English)

    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

  7. ABSTRACTS

    Institute of Scientific and Technical Information of China (English)

    2012-01-01

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

  8. ABSTRACTS

    Institute of Scientific and Technical Information of China (English)

    2011-01-01

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

  9. ABSTRACTS

    Institute of Scientific and Technical Information of China (English)

    2011-01-01

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

  10. ABSTRACTS

    Institute of Scientific and Technical Information of China (English)

    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

  11. Abstracts

    Institute of Scientific and Technical Information of China (English)

    2011-01-01

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

  12. ABSTRACTS

    Institute of Scientific and Technical Information of China (English)

    2012-01-01

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

  13. ABSTRACTS

    Institute of Scientific and Technical Information of China (English)

    2011-01-01

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

  14. Abstract

    African Journals Online (AJOL)

    Dr Osondu

    2011-10-26

    Oct 26, 2011 ... Ethiopian Journal of Environmental Studies and Management Vol. 4 No.3 2011 ... networks, distribution systems, and other social facilities (Handler and ... water, healthcare, education, sanitation and security. However, the ...

  15. Abstract

    Institute of Scientific and Technical Information of China (English)

    2012-01-01

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

  16. ABSTRACT

    African Journals Online (AJOL)

    their job performance in Imo state agricultural development programme, Nigeria. ... The blocks are made up of many communities with the block extension .... detailed to rural areas to probably execute government policies and decisions. ... office for about 7 times during the past 12 months, listened to agrie radio talk for ...

  17. ABSTRACT

    African Journals Online (AJOL)

    showed that the per capita calorie intake of the people is 1990 kcal/day while the average household size and dependency ratio were found to be 9 persons and 0.77 .... staple food, and large number of female controlled households suggest.

  18. ABSTRACTS

    Institute of Scientific and Technical Information of China (English)

    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.

  19. ABSTRACTS

    Institute of Scientific and Technical Information of China (English)

    2011-01-01

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

  20. ABSTRACT

    African Journals Online (AJOL)

    livestock feeds and diet (RRIN, 1985b). So also is the ... growing on kernels impact their various colours to the seeds (Igeleke and Ekpebor, 1986). Biochemical ... Rotting and caking seed meal (Heating, and production of mycotoxins).Heating ...

  1. ABSTRACTS

    Institute of Scientific and Technical Information of China (English)

    2011-01-01

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

  2. Abstract

    African Journals Online (AJOL)

    ­E¢b

    entrepreneurial attitude (that is measured through achievement and innovation) and .... As such, indigenous entrepreneurial attitudes toward innovation will be restricted ..... http://www.vancouver.wsu.edu/amsrev/theory/lindsay. 05-2005.html.

  3. Abstracts

    Institute of Scientific and Technical Information of China (English)

    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.

  4. Abstract

    Institute of Scientific and Technical Information of China (English)

    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;

  5. ABSTRACT

    Institute of Scientific and Technical Information of China (English)

    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.

  6. Abstracts

    Institute of Scientific and Technical Information of China (English)

    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,

  7. Abstract

    Institute of Scientific and Technical Information of China (English)

    2011-01-01

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

  8. Abstract

    Institute of Scientific and Technical Information of China (English)

    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)

  9. Abstract

    Institute of Scientific and Technical Information of China (English)

    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;

  10. ABSTRACT

    OpenAIRE

    ÇELİK, Hilal

    2013-01-01

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

  11. Abstract

    Institute of Scientific and Technical Information of China (English)

    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.

  12. ABSTRACTS

    Institute of Scientific and Technical Information of China (English)

    2012-01-01

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

  13. ABSTRACTS

    Institute of Scientific and Technical Information of China (English)

    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

  14. ABSTRACTS

    Institute of Scientific and Technical Information of China (English)

    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;

  15. ABSTRACTS

    Institute of Scientific and Technical Information of China (English)

    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.

  16. Abstracts

    Institute of Scientific and Technical Information of China (English)

    2012-01-01

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

  17. ABSTRACTS

    Institute of Scientific and Technical Information of China (English)

    2011-01-01

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

  18. ABSTRACTS

    Institute of Scientific and Technical Information of China (English)

    2012-01-01

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

  19. ABSTRACTS

    Institute of Scientific and Technical Information of China (English)

    2015-01-01

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

  20. ABSTRACTS

    Institute of Scientific and Technical Information of China (English)

    2012-01-01

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

  1. ABSTRACTS

    Institute of Scientific and Technical Information of China (English)

    2012-01-01

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

  2. Abstracts

    National Research Council Canada - National Science Library

    2016-01-01

    ... المؤسسات إرشادات بشأن أفضل المُمارسات، يوضح هذا البحث مُمارسات الباحثين في إدارة البيانات، والنتائج الأولية لمشروع تم تنفيذه في جامعة جريفيث لتطبيق إطارًا مفاهيميًا...

  3. Abstracts

    National Research Council Canada - National Science Library

    2013-01-01

    ... والتي تتضمن إدارة النظم المكتبية والموارد الإلكترونية والمُعدات الرقمية والاستفادة من مواقع التواصل الاجتماعي في جذب المُستخدمين. دول الكومنولث: كيف شكلت نماذج...

  4. ABSTRACTS

    Institute of Scientific and Technical Information of China (English)

    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".

  5. ABSTRACTS

    Institute of Scientific and Technical Information of China (English)

    2012-01-01

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

  6. ABSTRACT

    Institute of Scientific and Technical Information of China (English)

    2011-01-01

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

  7. ABSTRACTS

    Institute of Scientific and Technical Information of China (English)

    2012-01-01

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

  8. ABSTRACTS

    Institute of Scientific and Technical Information of China (English)

    2014-01-01

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

  9. Abstract

    African Journals Online (AJOL)

    unique firstlady

    To capture impact of subsidy removal on domestic consumption of petroleum product ... curtains, detergents, records, plastic toys and toothpaste. Crude oil got from ... This implies uncondensable gases, methane, ethane, and ethylene, which ...

  10. ABSTRACTS

    Institute of Scientific and Technical Information of China (English)

    2011-01-01

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

  11. ABSTRACT

    Institute of Scientific and Technical Information of China (English)

    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

  12. Abstracts

    Institute of Scientific and Technical Information of China (English)

    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,

  13. ABSTRACTS

    Institute of Scientific and Technical Information of China (English)

    2014-01-01

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

  14. Abstract

    African Journals Online (AJOL)

    Francis

    1 Department of Biochemistry and Biotechnology, Avinashilingam University, ... traditional Indian medicinal systems which has a very important role in indicating ... obstructive disorders, diabetes, leprosy, respiratory disorders and certain skin ...

  15. ABSTRACT

    African Journals Online (AJOL)

    gathered through the use of interview schedule. Percentages and ... processing equipment that will reduce both the time on each operation and the tedious .... required for the processor to measure water into the cassava tuber container.

  16. Abstract

    African Journals Online (AJOL)

    PROF. O. E. OSUAGWU

    students of different disciplines as it will help them to learn their respective subjects with ease. Keywords: ... areas or those that faces difficulties with real ..... International Journals of English Studies, Monograph issue 2: New trends in computer ...

  17. Abstract

    African Journals Online (AJOL)

    published more than 80 peer-reviewed articles and book chapters on topics .... In reviewing the literature, we found no studies that addressed .... self based on HIV status, 5 items, alpha = 0.906; (iii) health care ..... Disclosure of HIV status:.

  18. ABSTRACT

    African Journals Online (AJOL)

    , formed and operated along democratic lines for the purpose of ... water, good roads, communication, electricity and hospital constitute a rural area. Finally, ..... Ijere M.O. (1988) The Role of Cooperatives in Agricultural Technology Transfer, In.

  19. ABSTRACTS

    Institute of Scientific and Technical Information of China (English)

    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.

  20. ABSTRACT

    African Journals Online (AJOL)

    Honeys with more than 19% have a tendency to ferment. As a general rule ... pollen contents, Agwu and Akanbi (1985) recommended alcohol or water dilution technique ... is also a product factor of the type of pollen collected by honey bees.

  1. ABSTRACT

    Institute of Scientific and Technical Information of China (English)

    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)

  2. ABSTRACTS

    Institute of Scientific and Technical Information of China (English)

    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

  3. ABSTRACTS

    Institute of Scientific and Technical Information of China (English)

    2011-01-01

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

  4. ABSTRACTS

    Institute of Scientific and Technical Information of China (English)

    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.

  5. ABSTRACTS

    Institute of Scientific and Technical Information of China (English)

    2012-01-01

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

  6. ABSTRACTS

    Institute of Scientific and Technical Information of China (English)

    2011-01-01

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

  7. ABSTRACTS

    Institute of Scientific and Technical Information of China (English)

    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

  8. ABSTRACT

    African Journals Online (AJOL)

    between gender, age, marital status, number of wives, education and constraints to ... identified as affecting feedback provision on forestry related ... Only farm size it- value = -3.31 ... contract with extension agent (t- value =3.84, p<0.05) has significant .... (occupation) and years of farming experience while section В consists.

  9. ABSTRACTS

    Institute of Scientific and Technical Information of China (English)

    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.

  10. Abstracts

    Institute of Scientific and Technical Information of China (English)

    2012-01-01

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

  11. ABSTRACTS

    Institute of Scientific and Technical Information of China (English)

    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,

  12. ABSTRACTS

    Institute of Scientific and Technical Information of China (English)

    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

  13. ABSTRACTS

    Institute of Scientific and Technical Information of China (English)

    2012-01-01

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

  14. Abstract

    DEFF Research Database (Denmark)

    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...

  15. ABSTRACTS

    Institute of Scientific and Technical Information of China (English)

    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,

  16. ABSTRACTS

    Institute of Scientific and Technical Information of China (English)

    2011-01-01

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

  17. ABSTRACTS

    Institute of Scientific and Technical Information of China (English)

    2011-01-01

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

  18. Abstracts

    Institute of Scientific and Technical Information of China (English)

    2011-01-01

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

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

    OpenAIRE

    Shakhmurov, Veli B.

    2016-01-01

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

  20. GOMA - A full-Newton finite element program for free and moving boundary problems with coupled fluid/solid momentum, energy, mass, and chemical species transport: User`s guide

    Energy Technology Data Exchange (ETDEWEB)

    Schunk, P.R.; Sackinger, P.A.; Rao, R.R. [and others

    1996-01-01

    GOMA is a two- and three-dimensional finite element program which excels in analyses of manufacturing processes, particularly those involving free or moving interfaces. Specifically, the full-Newton-coupled heat, mass, momentum, and pseudo-solid mesh motion algorithm makes GOMA ideally suited for simulating processes in which the bulk fluid transport is closely coupled to the interfacial physics. Examples include, but are not limited to, coating and polymer processing flows, soldering, crystal growth, and solid-network or solution film drying. The code is based on the premise that any boundary can be (1) moving or free, with an apriori unknown position dictated by the distinguishing physics, (2) fixed, according to a global analytical representation, or (3) moving in time and space under user-prescribed kinematics. The goal is to enable the user to predict boundary position or motion simultaneously with the physics of the problem being analyzed and to pursue geometrical design studies and fluid-structure interaction problems. The moving mesh algorithm treats the entire domain as a computational Lagrangian solid that deforms subject to the physical principles which dictate boundary position. As an added benefit, the same Lagrangian solid mechanics can be exploited to solve multi-field problems for which the solid motion and stresses interact with other transport phenomena, either within the same material phase (e.g. shrinking coating) or in neighboring material phases (e.g. flexible blade coating). Thus, analyses of many fluid-structure interaction problems and deformable porous media problems are accessible. This document serves as a user`s guide and reference for GOMA and provides a brief overview of GOMA`s capabilities, theoretical background, and classes of problems for which it is targeted.

  1. Geoscience indexing at petroleum abstracts

    Energy Technology Data Exchange (ETDEWEB)

    Finnegan, M.A.

    1985-01-01

    Geoscience literature received by Petroleum Abstracts Information System is indexed by Scientist with field experience. The indexing consists of relating concepts produced by the author to a controlled vocabulary used at Petroleum Abstracts. The primary emphasis of selection of the literature at Petroleum Abstracts is petroleum-related, but not petroleum restricted. Geoscience literature indexed at Petroleum Abstracts comprises the following subjects: Geology, Geochemistry, Geophysics, and Mineral Commodities. The depth of indexing attributed to each article does in fact depend on the amount of petroleum-related subject matter in the article. Once the indexing is completed, the abstract is then cut to approximately 150 words. The scientist who indexes at Petroleum Abstracts is not expected to know or remember every detail or concept ever published. But he or she is expected to be able to go to an atlas, dictionary, or any other reference material available and apply the concepts to a controlled vocabulary. This is somewhat of a restriction on scientists, but it is the only way to maintain any kind of consistency in the indexing. Successful searching of the Petroleum Abstracts Information System can be accomplished with an understanding of the indexing strategy and the importance and necessity of referencing the thesauri controlled vocabulary. It may be more time-consuming, but will certainly be more accurate in the retrieval of the information.

  2. Abstract Interpretation as a Programming Language

    Directory of Open Access Journals (Sweden)

    Mads Rosendahl

    2013-09-01

    Full Text Available In David Schmidt's PhD work he explored the use of denotational semantics as a programming language. It was part of an effort to not only treat formal semantics as specifications but also as interpreters and input to compiler generators. The semantics itself can be seen as a program and one may examine different programming styles and ways to represent states. Abstract interpretation is primarily a technique for derivation and specification of program analysis. As with denotational semantics we may also view abstract interpretations as programs and examine the implementation. The main focus in this paper is to show that results from higher-order strictness analysis may be used more generally as fixpoint operators for higher-order functions over lattices and thus provide a technique for immediate implementation of a large class of abstract interpretations. Furthermore, it may be seen as a programming paradigm and be used to write programs in a circular style.

  3. Newborn infants perceive abstract numbers.

    Science.gov (United States)

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

    2009-06-23

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

  4. A book of abstract algebra

    CERN Document Server

    Pinter, Charles C

    2009-01-01

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

  5. Concrete and Abstract Visualizations in History Learning Tasks

    Science.gov (United States)

    Prangsma, Maaike E.; van Boxtel, Carla A. M.; Kanselaar, Gellof; Kirschner, Paul A.

    2009-01-01

    Background: History learning requires that students understand historical phenomena, abstract concepts and the relations between them. Students have problems grasping, using and relating complex historical developments and structures. Aims: A study was conducted to determine the effects of tasks with abstract and/or concrete visualizations on the…

  6. Concrete and abstract visualizations in history learning tasks

    NARCIS (Netherlands)

    Prangsma, M.E.; van Boxtel, C.A.M.; Kanselaar, G.; Kirschner, P.A.

    2009-01-01

    Background: History learning requires that students understand historical phenomena, abstract concepts and the relations between them. Students have problems grasping, using and relating complex historical developments and structures. Aims: A study was conducted to determine the effects of tasks

  7. Introduction to indexing and abstracting

    CERN Document Server

    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.

  8. Biocards and Level of Abstraction

    DEFF Research Database (Denmark)

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

    2015-01-01

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

  9. A grounded theory of abstraction in artificial intelligence.

    Science.gov (United States)

    Zucker, Jean-Daniel

    2003-07-29

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

  10. Improved algorithms for approximate string matching (extended abstract

    Directory of Open Access Journals (Sweden)

    Papamichail Georgios

    2009-01-01

    Full Text Available Abstract Background The problem of approximate string matching is important in many different areas such as computational biology, text processing and pattern recognition. A great effort has been made to design efficient algorithms addressing several variants of the problem, including comparison of two strings, approximate pattern identification in a string or calculation of the longest common subsequence that two strings share. Results We designed an output sensitive algorithm solving the edit distance problem between two strings of lengths n and m respectively in time O((s - |n - m|·min(m, n, s + m + n and linear space, where s is the edit distance between the two strings. This worst-case time bound sets the quadratic factor of the algorithm independent of the longest string length and improves existing theoretical bounds for this problem. The implementation of our algorithm also excels in practice, especially in cases where the two strings compared differ significantly in length. Conclusion We have provided the design, analysis and implementation of a new algorithm for calculating the edit distance of two strings with both theoretical and practical implications. Source code of our algorithm is available online.

  11. Augmenting Tractable Fragments of Abstract Argumentation

    CERN Document Server

    Ordyniak, Sebastian

    2011-01-01

    We present a new and compelling approach to the efficient solution of important computational problems that arise in the context of abstract argumentation. Our approach makes known algorithms defined for restricted fragments generally applicable, at a computational cost that scales with the distance from the fragment. Thus, in a certain sense, we gradually augment tractable fragments. Surprisingly, it turns out that some tractable fragments admit such an augmentation and that others do not. More specifically, we show that the problems of credulous and skeptical acceptance are fixed-parameter tractable when parameterized by the distance from the fragment of acyclic argumentation frameworks. Other tractable fragments such as the fragments of symmetrical and bipartite frameworks seem to prohibit an augmentation: the acceptance problems are already intractable for frameworks at distance 1 from the fragments. For our study we use a broad setting and consider several different semantics. For the algorithmic results...

  12. 带时间窗的开放式满载车辆路径问题建模及其求解算法%Modeling and algorithm for open vehicle routing problem with full-truckloads and time windows

    Institute of Scientific and Technical Information of China (English)

    孙国华

    2012-01-01

    为满足某些企业的满载运输需求,针对运输任务对车辆具有独占性的特点,分析得到总运输费用的大小取决于车辆的空车运行费用,在此基础上,将带时间窗的开放式满载车辆路径问题转化为带时间窗的多车场开放式车辆路径问题,建立了相应的数学模型,并设计了改进的自适应遗传算法进行开环路径求解,并把算法应用于某木材厂的周运输计划的制定,算法在很短时间内求得了运输方案,比木材厂原运输方案减少了车辆数,并节省了运输费用.实验证明,算法是可行和有效的.%The full-truckloads transportation problem is researched to satisfy the demand of production enterprises. Based on the exclusive characteristic of this problem, it's concluded that the total transporta-tion cost is determined by the empty-load transpotation cost. Then the open vehicle routing problem with full-truckloads and time windows is transferred to a multi-depot open vehicle routing problem with time windows and a mixed-integer mathematical model is presented. An adaptive genetic algorithm is given to solve the problem. The method is used to make the week transportation plan of the wood processing factory. The plan maken by the method uses less vehicles and induces the transportation cost compared to the former transportation scheme. The simulative computational results demonstrate that the proposed algorithm is feasible and effective.

  13. Development of abstract thinking during childhood and adolescence: The role of rostrolateral prefrontal cortex

    Directory of Open Access Journals (Sweden)

    Iroise Dumontheil

    2014-10-01

    Full Text Available Rostral prefrontal cortex (RPFC has increased in size and changed in terms of its cellular organisation during primate evolution. In parallel emerged the ability to detach oneself from the immediate environment to process abstract thoughts and solve problems and to understand other individuals’ thoughts and intentions. Rostrolateral prefrontal cortex (RLPFC is thought to play an important role in supporting the integration of abstract, often self-generated, thoughts. Thoughts can be temporally abstract and relate to long term goals, or past or future events, or relationally abstract and focus on the relationships between representations rather than simple stimulus features. Behavioural studies have provided evidence of a prolonged development of the cognitive functions associated with RLPFC, in particular logical and relational reasoning, but also episodic memory retrieval and prospective memory. Functional and structural neuroimaging studies provide further support for a prolonged development of RLPFC during adolescence, with some evidence of increased specialisation of RLPFC activation for relational integration and aspects of episodic memory retrieval. Topics for future research will be discussed, such as the role of medial RPFC in processing abstract thoughts in the social domain, the possibility of training abstract thinking in the domain of reasoning, and links to education.

  14. Mechanical Engineering Department technical abstracts

    Energy Technology Data Exchange (ETDEWEB)

    1984-07-01

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

  15. Hemiequilibrium problems

    Directory of Open Access Journals (Sweden)

    Muhammad Aslam Noor

    2004-01-01

    Full Text Available We consider a new class of equilibrium problems, known as hemiequilibrium problems. Using the auxiliary principle technique, we suggest and analyze a class of iterative algorithms for solving hemiequilibrium problems, the convergence of which requires either pseudomonotonicity or partially relaxed strong monotonicity. As a special case, we obtain a new method for hemivariational inequalities. Since hemiequilibrium problems include hemivariational inequalities and equilibrium problems as special cases, the results proved in this paper still hold for these problems.

  16. Elements of abstract harmonic analysis

    CERN Document Server

    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

  17. Patent Abstract Digest. Volume I.

    Science.gov (United States)

    1979-04-30

    Abraham . Ketterig. both of Ohio Kuhn (𔃽[ Assignee The United States of America as [57] ABSTRACT represented by the Secretary of the Thermooxidatively and... Pelee . Nalibth het United States Gees..wa, an sy Pe... acting en behalf ef the United States Goernent~e satetes any liebility resulting Its. he se ef the...r Abraham Ci.. Dayton, Ohi,, 45414 Dun,,vyAn tw i -oehE uzRoc Kr 121 pp N U,78(57] ABSTRACT 1211AppiNo ~A graphic curve ditizer is disclosed

  18. A Game-Theoretic Approach to Branching Time Abstract-Check-Refine Process

    Science.gov (United States)

    Wang, Yi; Tamai, Tetsuo

    2009-01-01

    Since the complexity of software systems continues to grow, most engineers face two serious problems: the state space explosion problem and the problem of how to debug systems. In this paper, we propose a game-theoretic approach to full branching time model checking on three-valued semantics. The three-valued models and logics provide successful abstraction that overcomes the state space explosion problem. The game style model checking that generates counter-examples can guide refinement or identify validated formulas, which solves the system debugging problem. Furthermore, output of our game style method will give significant information to engineers in detecting where errors have occurred and what the causes of the errors are.

  19. Laboratory technology research: Abstracts of FY 1998 projects

    Energy Technology Data Exchange (ETDEWEB)

    NONE

    1998-11-01

    The Laboratory Technology Research (LTR) program supports high-risk, multidisciplinary research partnerships to investigate challenging scientific problems whose solutions have promising commercial potential. These partnerships capitalize on two great strengths of the country: the world-class basic research capability of the DOE Office of Science (SC) national laboratories and the unparalleled entrepreneurial spirit of American industry. Projects supported by the LTR program in FY 1998 explore the applications of basic research advances relevant to DOE`s mission over a full range of scientific disciplines. The program presently emphasizes three critical areas of mission-related research: advanced materials, intelligent processing and manufacturing research, and environmental and biomedical research. Abstracts for 85 projects are contained in this report.

  20. Exponentially Convergent Algorithms for Abstract Differential Equations

    CERN Document Server

    Gavrilyuk, Ivan; Vasylyk, Vitalii

    2011-01-01

    This book presents new accurate and efficient exponentially convergent methods for abstract differential equations with unbounded operator coefficients in Banach space. These methods are highly relevant for the practical scientific computing since the equations under consideration can be seen as the meta-models of systems of ordinary differential equations (ODE) as well as the partial differential equations (PDEs) describing various applied problems. The framework of functional analysis allows one to obtain very general but at the same time transparent algorithms and mathematical results which

  1. Does "Social Work Abstracts" Work?

    Science.gov (United States)

    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…

  2. Rolloff Roof Observatory Construction (Abstract)

    Science.gov (United States)

    Ulowetz, J. H.

    2015-12-01

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

  3. Abstract Interpretation of Mobile Ambients

    DEFF Research Database (Denmark)

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

    1999-01-01

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

  4. Does "Social Work Abstracts" Work?

    Science.gov (United States)

    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…

  5. Abstraction by Set-Membership

    DEFF Research Database (Denmark)

    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...

  6. Chemical Abstracts' Document Delivery Service.

    Science.gov (United States)

    Rollins, Stephen

    1984-01-01

    The Document Delivery Service offered by Chemical Abstracts is described in terms of the DIALORDER option on the Dialog information retrieval system, mail requests, and requests transmitted through OCLC's Interlibrary Loan system. Transmission costs, success rates, delivery rates, and other considerations in utilizing the service are included.…

  7. Handedness Shapes Children's Abstract Concepts

    Science.gov (United States)

    Casasanto, Daniel; Henetz, Tania

    2012-01-01

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

  8. International abstracting and indexing services

    African Journals Online (AJOL)

    CABI is a not-for-profit science-based development and information organization ... and abstracts the world's chemistry-related information, updating it daily and ... Through Africa-Wide Information, a database compiled by NISC SA and which ...

  9. Abstract Interpretation Using Attribute Grammar

    DEFF Research Database (Denmark)

    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...

  10. Dialogical surface text features in abstracts

    Directory of Open Access Journals (Sweden)

    Ingrid García-Østbye

    2008-04-01

    Full Text Available A sample driven description of Research Article-Comment-Reply (RA-C-R abstracts in terms of abstract sentence length, reference, possessive structures, modal verbs and word range was carried out to find out whether their surface text features showed some trace of a dialogical construction of knowledge within the psychology discourse community. The study served an exploratory purpose. A Boolean search was conducted in the PsycLIT database yielding a sample of 149 PsycLIT RA-C-R abstracts (13,978 words. Relative frequency percent distributions were calculated for all variables, including reported speech verbs. Specific comparisons with a Medline corpus were conducted and variations were accounted for in terms of scientific discourse characteristics, field, database policies, and dialogical nature; that is, in the framework provided by the strands of research of quantitative applied linguistics, social concerns in genre analysis and the model monopoly theory developed in the implementation in sociology of the systems theory. The results suggest: (i a word range affected by both psychology as a discipline and the dialogical content on which PsycLIT RA-C-R abstracts report; (ii a complementarity of reference and possessive structures characterised by features of scientific discourse, feedback genres and dialogical dimensions; (iii the presence of both deontic and epistemic modality in the modal verbs of our sample; (iv and also that abstract length, sentence length and number of sentences per paragraph in our sample may not vary greatly in general terms from those of the social sciences.

  11. Effects of Variation and Prior Knowledge on Abstract Concept Learning

    Science.gov (United States)

    Braithwaite, David W.; Goldstone, Robert L.

    2015-01-01

    Learning abstract concepts through concrete examples may promote learning at the cost of inhibiting transfer. The present study investigated one approach to solving this problem: systematically varying superficial features of the examples. Participants learned to solve problems involving a mathematical concept by studying either superficially…

  12. A Sound Abstraction of the Parsing Problem (Extended Version)

    DEFF Research Database (Denmark)

    Mödersheim, Sebastian Alexander; Katsoris, Georgios

    -based formats. We define two reasonable properties for a set of formats used in a protocol suite. First, each format should be un-ambiguous: any string can be parsed in at most one way. Second, the formats should be pairwise disjoint: a string can be parsed as at most one of the formats. We show how to easily...

  13. Parameters Identification for an Abstract Cauchy Problem by Quasilinearization

    Science.gov (United States)

    1989-10-01

    if in addition ’ is of bounded variation on (-r,01, then DF(q) satisfies (1111). -12- Proof: Let A = max lakI and IhI = max IhkI Then we obtain the...zero as q 4 q* and (H8) holds. If ’ is of bounded variation on I-r,0, then y and ; are of bounded variation on {-r,TI. By 115, Theorem 2.1.7(b)] this...4.5) satisfies (1110). Moreover, if in addition u is of bounded variation on [0,T], then DG(q) satisfies (H13). Proof: Using (4.5) in place of (4.4

  14. What's the problem? A response to "secular humanism and scientific psychiatry"

    Directory of Open Access Journals (Sweden)

    Bolton Derek

    2006-04-01

    Full Text Available Abstract Notwithstanding the interest and importance of Szasz's position, it neglects the phenomena, the real problems which take people to the clinic seeking treatment, and the conditionality of the notion of individual responsibility.

  15. Abstract Stobjs and Their Application to ISA Modeling

    Directory of Open Access Journals (Sweden)

    Shilpi Goel

    2013-04-01

    Full Text Available We introduce a new ACL2 feature, the abstract stobj, and show how to apply it to modeling the instruction set architecture of a microprocessor. Benefits of abstract stobjs over traditional ("concrete'' stobjs can include faster execution, support for symbolic simulation, more efficient reasoning, and resilience of proof developments under modeling optimization.

  16. Geothermal environmental projects publication list with abstracts 1975-1978

    Energy Technology Data Exchange (ETDEWEB)

    Ricker, Y.E.; Anspaugh, L.R.

    1979-05-15

    This report contains 119 abstracts of publication resulting from or closely related to geothermal environmental projects conducted by the Environmental Sciences Division at Lawrence Livermore Laboratory. Publications are listed chronologically from 1975 through 1978. The main entries are numbered sequentially, and include the full citation, an abstract, and selected keywords. This section is followed by an author index, and a keyword index.

  17. Geothermal environmental projects publication list with abstracts 1975-1978

    Energy Technology Data Exchange (ETDEWEB)

    Ricker, Y.E.; Anspaugh, L.R.

    1979-05-15

    This report contains 119 abstracts of publication resulting from or closely related to geothermal environmental projects conducted by the Environmental Sciences Division at Lawrence Livermore Laboratory. Publications are listed chronologically from 1975 through 1978. The main entries are numbered sequentially, and include the full citation, an abstract, and selected keywords. This section is followed by an author index, and a keyword index.

  18. Writing a research abstract: structure, style and content.

    Science.gov (United States)

    Brazier, H

    1997-08-20

    The communication of ideas is fundamental to the development of all professions. Producing an abstract is an essential part of this process and it requires careful planning if it is to fulfil its purpose correctly. This article explains how to compose and use the abstract of a research paper to its full potential.

  19. A Parameter Property of Classical Solutions of Cauchy Problems

    Directory of Open Access Journals (Sweden)

    Min He

    2014-01-01

    Full Text Available This work is concerned with the abstract Cauchy problems that depend on parameters. The goal is to study continuity in the parameters of the classical solutions of the Cauchy problems. The situation considered in this work is when the operator of the Cauchy problem is not densely defined. By applying integrated semigroup theory and the results on continuity in the parameters of C0-semigroup and integrated semigroup, we obtain the results on the existence and continuity in parameters of the classical solutions of the Cauchy problems. The application of the obtained abstract results in a parabolic partial differential equation is discussed in the last section of the paper.

  20. Abstraction of Dynamical Systems by Timed Automata

    Directory of Open Access Journals (Sweden)

    Rafael Wisniewski

    2011-04-01

    Full Text Available To enable formal verification of a dynamical system, given by a set of differential equations, it is abstracted by a finite state model. This allows for application of methods for model checking. Consequently, it opens the possibility of carrying out the verification of reachability and timing requirements, which by classical control methods is impossible. We put forward a method for abstracting dynamical systems, where level sets of Lyapunov functions are used to generate the partitioning of the state space. We propose to partition the state space using an entire family of functions. The properties of these functions ensure that the discrete model captures the behaviors of a dynamical system by generating appropriate equivalence classes of the states. These equivalence classes make up the partition of the state space.

  1. Learning abstract algebra with ISETL

    CERN Document Server

    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...

  2. South African Association of Veterinary Technologists : congress abstracts

    Directory of Open Access Journals (Sweden)

    Editorial Office

    2010-05-01

    Full Text Available The following are abstracts of papers and posters presented at the 'Back to Basics Congress' of the South African Association of Veterinary Technologists (SAAVT, 15-16 September 2009, Batter Boys, Pretoria, South Africa.

  3. STUDI TENTANG TRAVELLING SALESMAN DAN VEHICLE ROUTING PROBLEM DENGAN TIME WINDOWS

    Directory of Open Access Journals (Sweden)

    I Nyoman Sutapa

    2003-01-01

    Full Text Available The article shows the study of model development of travelling salesman problem. Three models are studied, i.e. travelling salesman problem with time windows, vehicle routing problem, and vehicle routing problem with time windows. Abstract in Bahasa Indonesia : Dalam artikel ini dipaparkan kajian mengenai pengembangan model travelling salesman problem. Ada tiga model yang dikaji yaitu travelling salesman problem dengan time windows, vehicle routing problem, serta vehicle routing problem dengan time windows. Kata-kunci: travelling salesman problem, vehicle routing problem, time windows.

  4. Research on Comprehensive Problems of Metro Transmission Network Full-ServiceLoad%移动本地传送网全业务承载的综合问题研究

    Institute of Scientific and Technical Information of China (English)

    张鹏; 李德; 晏琳; 刘炜

    2016-01-01

    With the rapid development of enterprise business and family business, the transmission networks now face bottlenecks like bandwidth ifxed and mobile coordination planning and network maintenance procedure dividing. The Hunan branch tried to ifnger out the method, clarify the problem, pin down the solution by pilot projects. Based on the present situation of enterprise and home broadband services of Shaoyang branch of CMCC, this article analyzed the problems, explored the solutions of different scenarios, and optimized the handling mechanism of network failures. The results veriifed that it can improve the quality of network and make customer satisifed. The planning and maintenance method of metro transmission network full-service load has been found.%伴随集客、家客等全业务的快速发展,移动本地传输网承载面临着传输带宽固移协同规划、网络维护流程分化等瓶颈。湖南移动公司通过试点来寻找解决问题的途径、理清问题、明确解决方案。基于中国移动通信集团湖南有限公司邵阳分公司集客、家客业务承载现状,通过理清集客、家客业务发展过程中存在的问题,探索不同场景的解决方案,优化网络故障处理机制,在提升网络质量的同时,提高了客户满意度。寻找到移动本地传送网全业务承载的规划和维护方法。

  5. ABSTRACTS WELDEL PIPE AND TUBE

    Institute of Scientific and Technical Information of China (English)

    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

  6. Extracting the abstraction pyramid from complex networks

    Directory of Open Access Journals (Sweden)

    Hu Yuh-Jyh

    2010-08-01

    Full Text Available Abstract Background At present, the organization of system modules is typically limited to either a multilevel hierarchy that describes the "vertical" relationships between modules at different levels (e.g., module A at level two is included in module B at level one, or a single-level graph that represents the "horizontal" relationships among modules (e.g., genetic interactions between module A and module B. Both types of organizations fail to provide a broader and deeper view of the complex systems that arise from an integration of vertical and horizontal relationships. Results We propose a complex network analysis tool, Pyramabs, which was developed to integrate vertical and horizontal relationships and extract information at various granularities to create a pyramid from a complex system of interacting objects. The pyramid depicts the nested structure implied in a complex system, and shows the vertical relationships between abstract networks at different levels. In addition, at each level the abstract network of modules, which are connected by weighted links, represents the modules' horizontal relationships. We first tested Pyramabs on hierarchical random networks to verify its ability to find the module organization pre-embedded in the networks. We later tested it on a protein-protein interaction (PPI network and a metabolic network. According to Gene Ontology (GO and the Kyoto Encyclopedia of Genes and Genomes (KEGG, the vertical relationships identified from the PPI and metabolic pathways correctly characterized the inclusion (i.e., part-of relationship, and the horizontal relationships provided a good indication of the functional closeness between modules. Our experiments with Pyramabs demonstrated its ability to perform knowledge mining in complex systems. Conclusions Networks are a flexible and convenient method of representing interactions in a complex system, and an increasing amount of information in real-world situations is

  7. An abstract partial functional integrodifferential equations

    Directory of Open Access Journals (Sweden)

    Khalil Ezzinbi

    2016-10-01

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

  8. Introduction to the theory of abstract algebras

    CERN Document Server

    Pierce, Richard S

    2014-01-01

    Intended for beginning graduate-level courses, this text introduces various aspects of the theory of abstract algebra. The book is also suitable as independent reading for interested students at that level as well as a primary source for a one-semester course that an instructor may supplement to expand to a full year. Author Richard S. Pierce, a Professor of Mathematics at Seattle's University of Washington, places considerable emphasis on applications of the theory and focuses particularly on lattice theory.After a preliminary review of set theory, the treatment presents the basic definitions

  9. An Abstract Model of Historical Processes

    Directory of Open Access Journals (Sweden)

    Michael Poulshock

    2017-06-01

    Full Text Available A theoretical model is presented which provides a way to simulate, at a very abstract level, power struggles in the social world. In the model, agents can benefit or harm each other, to varying degrees and with differing levels of influence. The agents interact over time, using the power they have to try to get more of it, while being constrained in their strategic choices by social inertia. The outcomes of the model are probabilistic. More research is needed to determine whether the model has any empirical validity.

  10. Effect of Groundwater Abstraction on Fen Ecosystems

    DEFF Research Database (Denmark)

    Johansen, Ole; Pedersen, Morten Lauge; Jensen, Jacob Birk

    2011-01-01

    hydrological conditions have been monitored intensively since March 2007. In the early spring 2009 two full scale pumping test were conducted in the regional high yield limestone aquifer. The evaluation focuses on three isolated fens covering an area of approximately 5000 m2 each and two natural springs all...... and spring habitats. Continuous water level data from deep and shallow wells in the fens reflect the hydrological conditions. Large differences in water level drawdown during dry summer periods have been observed in the monitored fens and it is hypothesised, that these differences are directly related...... of the monitored ecosystems and the response towards groundwater abstraction and forms a solid foundation for hydrological modelling....

  11. Abstract commensurators of braid groups

    OpenAIRE

    Leininger, Christopher J; Margalit, Dan

    2005-01-01

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

  12. Operating System Abstraction Layer (OSAL)

    Science.gov (United States)

    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.

  13. Problems and Countermeasures of Full-English Teaching for Public Administration%公共管理专业全英文教学的问题与建议

    Institute of Scientific and Technical Information of China (English)

    杨立华; 张腾

    2013-01-01

    Full-English teaching for public administration has a significant meaning. Based on data integration and interview, the article analyzed Full-English teaching for public administration and summarized the current situation and problems:(1) teaching practice had a slow development;(2) curriculum provision is not suitable;(3) teaching methods lack adaptability;(4) teaching effects needs to be improved;(5) lack of related researches. Accordingly, the article proposed countermeasures and suggestions:(1) increase teaching practice in a variety of forms;(2) optimize the curriculum provision;(3) enhance the adaptability of teaching methods;(4) emphasis on the improvement of students' English listening and speaking ability;(5) make more efforts on related researching.%  公共管理专业全英文教学意义重大,研究通过资料整合分析法和访谈法,对公共管理全英文教学进行了研究,对其现状与问题进行了总结:(1)教学实践发展缓慢;(2)课程设置不合理;(3)教学形式适应性不足;(4)教学效果有待提高;(5)相关研究缺乏等。相应地,研究提出了对策与建议:(1)增加多种形式的教学实践;(2)优化课程设置;(3)增强教学形式的适应性;(4)重视学生英语听说能力的提高;(5)加大研究力度等。

  14. Abstract Résumé

    African Journals Online (AJOL)

    2008-06-19

    Jun 19, 2008 ... the primary role of poverty and other socio-economic stressors in the progression of the ... relationship between the South African government's position and ..... social problems of crime, violence, unemployment, and a lack.

  15. FORMER SES ÉLÈVES À L’ABSTRACTION EN GÉOGRAPHIE

    Directory of Open Access Journals (Sweden)

    BERNADETTE MÉRENNE-SCHOUMAKER

    2015-12-01

    Full Text Available   Resumen: La importancia de la abstracción en el aprendizaje es cada vez más destacada y deseada en la enseñanza secundaria donde el desarrollo de la pedagogía por competencias implica la resolución por parte de los alumnos de tareas complejas y el desarrollo de su autonomía. Por tanto, parece útil preguntarse por el lugar de la abstracción en las clases de geografía y especialmente sobre las herramientas utilizadas, que son principalmente los conceptos espaciales. Palabras clave: Abstracción, conceptos, modelos, análisis del territorio. Abstract: The importance of abstract thought has gained momentum as secondary education keeps embracing reforms based on competency acquisition, a pedagogical approach which puts emphasis on problem-solving, complex tasks and autonomy development. It is therefore needed to question how abstract thought can be trained in geography classrooms, especially in relation to spatial concepts. Keywords: Abstract thought, concepts, models, analysis of territory. Resume: L’importance de l’abstraction dans les apprentissages est de plus en plus soulignée et souhaitée dans l’enseignement secondaire où le développement d’une pédagogie par compétences implique la résolution par les élèves de tâches complexes et le développement de leur autonomie. Il semblait donc utile de s’interroger sur la place de l’abstraction dans les cours de géographie et plus particulièrement sur les outils utilisés qui sont principalement des concepts spatiaux. Mots-cles: Abstraction, concepts, modèles, analyse des territoires. 

  16. System Software Abstraction Layer - much more than Operating System Abstraction Layer

    Directory of Open Access Journals (Sweden)

    Sunita Awasthi Singh

    2013-03-01

    Full Text Available Current and future aircraft systems require real-time embedded software with greater flexibility compared to what was previously available due to the continuous advancements in the technology leading to large and complex systems. Portability of software as one of the aspects of this flexibility is a major concern in application development for avionics domain for fast development and integration of systems. Abstractions of the hardware platform which have been already introduced by the operating system community allow the software modules to be reused on different hardware and with different physical resources. Now operating system community has come up with an abstraction layer called operating system abstraction layer (OSAL which along with the hardware abstraction unifies the OS architecture too. It provides a common set of primitives independent of the underlying operating system and its particular architecture. Factors such as reliability, scalability and determinism of any application largely depend on the design and architecture of the application. This is the most important and critical factor of real time systems such as mission computers of avionics systems, missile control system or control computers of space shuttle. It demands developer to perform feasibility of different software architecture to select the best alternative. Authors’ analysis shows that to make any real time application more secure, scalable, deterministic, and highly portable, OSAL has to be extended to more than just operating system abstraction. This new view of OSAL will be called as system software abstraction layer (SSAL. In this paper, authors attempt to highlight the efficiency of SSAL as well as detailed description of its main features and design considerations. Authors have implemented the SSAL on top of two well known OS (WinCE and Vxworks and performed extensive evaluations, which shows that it effectively reduces portability efforts while achieving

  17. Argonne Code Center: compilation of program abstracts

    Energy Technology Data Exchange (ETDEWEB)

    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)

  18. Efficient abstractions for visualization and interaction

    NARCIS (Netherlands)

    van der Ploeg, A.J.

    2015-01-01

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

  19. Argonne Code Center: compilation of program abstracts

    Energy Technology Data Exchange (ETDEWEB)

    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)

  20. download full text

    African Journals Online (AJOL)

    Abstract: Immunization remains one of the most important public health ... In line with the aforementioned, the report of World Health Organization and the earlier ... The study subjects were not required to write but just to tick the appropriate ...

  1. Transplantation as an abstract good

    DEFF Research Database (Denmark)

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

    2015-01-01

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

  2. Computing abstractions of nonlinear systems

    CERN Document Server

    Reißig, Gunther

    2009-01-01

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

  3. Construct Abstraction for Automatic Information Abstraction from Digital Images

    Science.gov (United States)

    2006-05-30

    Masanori Sugisaka, Ph.D., Professor Department of Electrical and Electronic Engineering Oita University 700 Oaza Dannoharu 870-1192 Oita, Japan...and Masanori Sugisaka2 1Department of Design and Innovation, The Open University, MK7 6AA, UK 2Department of Electrical and Electronic...illustrates another potential problem with linear features. In principle curves such as the sides of a guitar are relatively easy to find using

  4. A polynomial algorithm for abstract maximum flow

    Energy Technology Data Exchange (ETDEWEB)

    McCormick, S.T. [Univ. of British Columbia, Vancouver, British Columbia (Canada)

    1996-12-31

    Ford and Fulkerson`s original 1956 max flow/min cut paper formulated max flow in terms of flows on paths, rather than the more familiar flows on arcs. In 1974 Hoffman pointed out that Ford and Fulkerson`s original proof was quite abstract, and applied to a wide range of max flow-like problems. In this abstract model we have capacitated elements, and linearly ordered subsets of elements called paths. When two paths share an element ({open_quote}cross{close_quote}), then there must be a path that is a subset of the first path up to the cross, and a subset of the second path after the cross. (Hoffman`s generalization of) Ford and Fulkerson`s proof showed that the max flow/min cut theorem still holds under this weak assumption. However, this proof is non-constructive. To get an algorithm, we assume that we have an oracle whose input is an arbitrary subset of elements, and whose output is either a path contained in that subset, or the statement that no such path exists. We then use complementary slackness to show how to augment any feasible set of path flows to a set with a strictly larger total flow value using a polynomial number of calls to the oracle. Then standard scaling techniques yield an overall polynomial algorithm for finding both a max flow and a min cut. Hoffman`s paper actually considers a sort of supermodular objective on the path flows, which allows him to include transportation problems and thus rain-cost flow in his frame-work. We also discuss extending our algorithm to this more general case.

  5. Fuzzy private matching (extended abstract)

    NARCIS (Netherlands)

    Chmielewski, L.; Hoepman, J.H.

    2008-01-01

    In the private matching problem, a client and a server each hold a set of n input elements. The client wants to privately compute the intersection of these two sets: he learns which elements he has in common with the server (and nothing more), while the server gains no information at all. In certain

  6. Developing A Combined Strategy For Solving Quadratic Assignment Problem

    Directory of Open Access Journals (Sweden)

    Faiz Ahyaningsih

    2015-08-01

    Full Text Available Abstract The quadratic assigment problem QAP is one of the most interesting and most challenging combinatorial optimization problems in existence. In this paper we propose a random point strategy to get a starting point and then we use a combination methods to get optimal solution. As a computational experience weve solved QAP 30 x 30 adopted from Nugent and backboard wiring problem 42 amp61620 42 adopted from Skorin-Kapov.

  7. Conveying Communicative Intent: Moves and Metadiscourse in Abstract Writing

    Directory of Open Access Journals (Sweden)

    Chuah Ek Lon

    2012-11-01

    Full Text Available Abstracts form the first reading contact of extended discourse in pursuance of a meaningful engagement with a report. An abstract possesses distinct features drawn from a specific genre of academic writing that communicates its discourse intent to any academic or professional community. Among the discourse conventions is the use of a move pattern and metadiscourse elements which together, establishes logical connections with the reader. This paper investigates good communication practice in abstract writing, a significant preliminary that fronts a report. The effectiveness of an abstract specifically, can be tied to the realization of a peculiar move structure that is accompanied by a judicious choice of words and phrases that relates to and involves the reader both interactively and interactionally. A content analysis of the move structure and its underlying metadiscourse in 100 randomly selected abstracts gives petite indication of how students manage abstract writing in a technical report. The results will have a bearing on situating appropriate pedagogical approaches for the teaching of a salient feature in academic writing and will also inform students of related genre expectations towards abstract writing. It is a skill that they may not have sufficient contact with in their university writing experience, though, nonetheless, one that needs to be accomplished to fulfill communicative intent that serves both local and international purposes insofar as academic writing is concerned. Keywords: abstract, metadiscourse, rhetorical moves and genre

  8. Abstract methods in differential equations

    OpenAIRE

    Amann, H

    2003-01-01

    This is an expanded version, enriched by references, of my inaugural speech held on November 7, 2001 at the Real Academia de Ciencias Exactas, Físicas y Naturales in Madrid. It explains in a nontechnical way, accessible to a general scientific community, some of the motivation and basic ideas of my research of the last twenty years on a functional-analytical approach to nonlinear parabolic problems.

  9. Abstract Lie groups and locally compact topological groups

    Directory of Open Access Journals (Sweden)

    Jacek Lech

    2004-05-01

    Full Text Available We introduce a notion of abstract Lie group by means of the mapping which plays the role of the evolution operator. We show some basic properties of such groups very similar to the fundamentals of the infinite dimensional Lie theory. Next we give remarkable examples of abstract Lie groups which are not necessarily usual Lie groups. In particular, by making use of Yamabe theorem we prove that any locally compact topological group admits the structure of abstract Lie group and that the Lie algebra and the exponential mapping of it coincide with those determined by the Lie group structure.

  10. SLAS Library Telescope Program (Abstract)

    Science.gov (United States)

    Small, J. S.

    2016-12-01

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

  11. An abstract approach to music.

    Energy Technology Data Exchange (ETDEWEB)

    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.

  12. Sustainability – abstract ideals on concrete housing architecture

    DEFF Research Database (Denmark)

    Bech-Danielsen, Claus

    2013-01-01

    In this paper the sustainable development is discussed in the light of architecture. It is shown, that the sustainable development leads to a changed perspective on time and space. The paper starts by focusing on architecture in the early 20th century. The environmental problems that modernist ar...... architectural design. Architecture is a definite art form that is experienced by the senses. It is therefore not immediately obvious how specific architectural qualities can be related to the solution of contemporary abstract environmental problems....

  13. Terrestrial ecology in South Africa - project abstracts for 1980-1981

    CSIR Research Space (South Africa)

    Huntley, BJ

    1982-12-01

    Full Text Available Abstracts are provided for research projects conducted during 1980-1981 in South African terrestrial ecosystems. The abstracts are arranged alphabetically according to author name and a keyword index is provided....

  14. Automated Predicate Abstraction for Real-Time Models

    Directory of Open Access Journals (Sweden)

    Bahareh Badban

    2009-11-01

    Full Text Available We present a technique designed to automatically compute predicate abstractions for dense real-timed models represented as networks of timed automata. We use the CIPM algorithm in our previous work which computes new invariants for timed automata control locations and prunes the model, to compute a predicate abstraction of the model. We do so by taking information regarding control locations and their newly computed invariants into account.

  15. Sessions with Associated Abstracts by Day: Teaching Materials and Methods.

    Science.gov (United States)

    Physiologist, 1984

    1984-01-01

    Presented are abstracts of five papers on teaching materials/methods presented at the 35th annual meeting of the American Physiological Society. Topic areas include expert system used as a teacher/consultant in hemostasis problems, computer assisted testing, and excitation/conduction properties of membranes as illustrated by the compound action…

  16. Abstract fractional integro-differential equations involving nonlocal initial conditions in α-norm

    Directory of Open Access Journals (Sweden)

    Wang Rong-Nian

    2011-01-01

    Full Text Available Abstract In the present paper, we deal with the Cauchy problems of abstract fractional integro-differential equations involving nonlocal initial conditions in α-norm, where the operator A in the linear part is the generator of a compact analytic semigroup. New criterions, ensuring the existence of mild solutions, are established. The results are obtained by using the theory of operator families associated with the function of Wright type and the semigroup generated by A, Krasnoselkii's fixed point theorem and Schauder's fixed point theorem. An application to a fractional partial integro-differential equation with nonlocal initial condition is also considered. Mathematics subject classification (2000 26A33, 34G10, 34G20

  17. Core foundations of abstract geometry.

    Science.gov (United States)

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

    2013-08-27

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

  18. Abstract methods in partial differential equations

    CERN Document Server

    Carroll, Robert W

    2012-01-01

    Detailed, self-contained treatment examines modern abstract methods in partial differential equations, especially abstract evolution equations. Suitable for graduate students with some previous exposure to classical partial differential equations. 1969 edition.

  19. An algorithm for generating abstract syntax trees

    Science.gov (United States)

    Noonan, R. E.

    1985-01-01

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

  20. Abstraction Mechanisms in the BETA Programming Language

    DEFF Research Database (Denmark)

    Kristensen, Bent Bruun; Madsen, Ole Lehrmann; Møller-Pedersen, Birger

    1983-01-01

    . It is then necessary that the abstraction mechanisms are powerful in order to define more specialized constructs. BETA is an object oriented language like SIMULA 67 ([SIMULA]) and SMALLTALK ([SMALLTALK]). By this is meant that a construct like the SIMULA class/subclass mechanism is fundamental in BETA. In contrast...... to SMALLTALK, BETA is a language in the ALGOL 60 ([ALGOL]) family. SIMULA 67 is a system description and a programming language. The DELTA language ([DELTA]) is a system description language only, allowing description of full concurrency, continuous change and component interaction, developed from a SIMULA......The BETA programming language is developed as part of the BETA project. The purpose of this project is to develop concepts, constructs and tools in the field of programming and programming languages. BETA has been developed from 1975 on and the various stages of the language are documented in [BETA...