Induction using term orders

1996 ◽  
Vol 16 (1-2) ◽  
pp. 3-37 ◽  
Author(s):  
Francois Bronsard ◽  
Uday S. Reddy ◽  
Robert W. Hasker
Keyword(s):  
Term Orders

scholarly journals Standard Paths in Another Composition Poset

10.37236/1829 ◽  
2004 ◽  
Vol 11 (1) ◽  
Author(s):  
Jan Snellman
Keyword(s):  
Generating Functions ◽  
Hasse Diagram ◽  
Term Orders ◽  
The Right

Bergeron, Bousquet-Mélou and Dulucq [Ann. Sci. Math. Québec 19 (1995), 139–151] enumerated paths in the Hasse diagram of the following poset: the underlying set is that of all compositions, and a composition $\mu$ covers another composition $\lambda$ if $\mu$ can be obtained from $\lambda$ by adding $1$ to one of the parts of $\lambda$, or by inserting a part of size $1$ into $\lambda$. We employ the methods they developed in order to study the same problem for the following poset, which is of interest because of its relation to non-commutative term orders : the underlying set is the same, but $\mu$ covers $\lambda$ if $\mu$ can be obtained from $\lambda$ by adding $1$ to one of the parts of $\lambda$, or by inserting a part of size $1$ at the left or at the right of $\lambda$. We calculate generating functions for standard paths of fixed width and for standard paths of height $\le 2$.

scholarly journals A new class of term orders for elimination

2007 ◽  
Vol 42 (5) ◽  
pp. 533-548 ◽  
Author(s):  
Quoc-Nam Tran
Keyword(s):  
New Class ◽  
Term Orders

scholarly journals Updown Numbers and the Initial Monomials of the Slope Variety

10.37236/171 ◽  
2009 ◽  
Vol 16 (1) ◽  
Author(s):  
Jeremy L. Martin ◽  
Jennifer D. Wagner
Keyword(s):  
Pattern Avoidance ◽  
Euler Numbers ◽  
Initial Ideal ◽  
Number Of Generators ◽  
Avoidance Condition ◽  
Term Orders ◽  
The Ideal

Let $I_n$ be the ideal of all algebraic relations on the slopes of the ${n\choose2}$ lines formed by placing $n$ points in a plane and connecting each pair of points with a line. Under each of two natural term orders, the ideal of $I_n$ is generated by monomials corresponding to permutations satisfying a certain pattern-avoidance condition. We show bijectively that these permutations are enumerated by the updown (or Euler) numbers, thereby obtaining a formula for the number of generators of the initial ideal of $I_n$ in each degree.

On the number of term orders

1991 ◽  
Vol 2 (1) ◽  
pp. 55-79
Author(s):  
Gunter Ritter ◽  
Volker Weispfenning
Keyword(s):  
Term Orders

The Environmental Effect of Radioactive Particles in the Contaminated Sites with Resuspended Plutonium Aerosols

2013 ◽  
Vol 800 ◽  
pp. 35-39
Author(s):  
Wen Jie Liu ◽  
Peng Lai Wang ◽  
Zhi Qiang Xiao
Keyword(s):  
Environmental Effect ◽  
Intrinsic Factor ◽  
Nuclear Test ◽  
Nuclear Accident ◽  
Contaminated Sites ◽  
Short Term ◽  
The Public ◽  
Allowable Level ◽  
Term Orders ◽  
Soil Cleanup

The plutonium material within the nuclear devices would be aerosolized and cause intense respirable hazards in the scenes of nuclear test and nuclear accident. The assessment of plutonium aerosol resuspension according to the typical radioactive contaminated sites would provide instructional data for the resuspended aerosol fluctuation study and edaphic cleanup, which can remedy the uselessness of aerosol diffusion model in the study of plutonium contaminated regions. The empirical model of plutonium aerosol resuspension is based on the aerophysics, the geognosy and the radiochemistry. This method was applied to analyze the representative plutonium contaminated regions. The results indicate that soil erosion is the intrinsic factor of resuspension process. The resuspended concentrations of plutonium aerosols in nuclear test sites are much less severe than those in the “non-nuclear” test sites (safety shots and simulated nuclear accident tests). Short-term, orders-of-magnitude fluctuations of the airborne concentrations are observed due to the natural and man-made disturbances. After systematic soil cleanup the resuspended plutonium aerosol concentration could fall down to the public allowable level.

Induction Using Term Orders

1996 ◽  
pp. 3-37
Author(s):  
Francois Bronsard ◽  
Uday S. Reddy ◽  
Robert W. Hasker
Keyword(s):  
Term Orders

scholarly journals A Poset Classifying Non-Commutative Term Orders

2001 ◽  
Vol DMTCS Proceedings vol. AA,... (Proceedings) ◽  
Author(s):  
Jan Snellman
Keyword(s):  
Free Monoid ◽  
International Audience ◽  
Standard Term ◽  
Term Orders

International audience We study a poset $\Re$ on the free monoid (X*) on a countable alphabet X.This poset is determined by the fact that its total extensions are precisely the standard term orders on X*. We also investigate the poset classifying degree-compatible standard term orders, and the poset classifying sorted term orders. For the latter poset, we give a Galois coconnection with the Young lattice.

scholarly journals University science. Internal possibilities of stimulating scientific activity in Russian universities

2019 ◽  
Vol 5 (2) ◽  
pp. 129-142 ◽  
Author(s):  
A. P. Sukhodolov ◽  
I. V. Anokhov ◽  
Е. О. Mihalyova
Keyword(s):  
Scientific Activity ◽  
Gradual Transition ◽  
System Support ◽  
State Budget ◽  
Research Activities ◽  
Term Orders ◽  
The University ◽  
University Science ◽  
Russian Universities

The statistics of research funding are reviewed, the experience of organizing research activities in Russian universities is summarized, and a model of its system support is proposed by the university itself. It is stated that in university science there is a “customer crisis”: the demand of the business sector does not provide the necessary volume of large and long-term orders for scientific research and studies rely mainly on the state budget. Organizational measures are proposed for a gradual transition from teaching to research with step-by-step confirmation of productivity: the creation of a new university subject – a “scientific unit” consisting of two or more employees, regardless of their academic title, with administrative rights and corresponding responsibility.

Sign in / Sign up

Export Citation Format

Share Document