Programmability in fields

1977 ◽  
Vol 1 (1) ◽  
pp. 195-230
Author(s):  
Antoni Kreczmar
Keyword(s):  
Characteristic Zero ◽  
Numerical Algorithms ◽  
Complete Characterization ◽  
Complex Numbers ◽  
Ordered Fields ◽  
Equivalent Version

In the present paper we investigate algorithmic properties of fields. We prove that axioms of formally real fields for the field R of reals and axioms of fields of characteristic zero for the field C of complex numbers, give the complete characterization of algorithmic properties. By Kfoury’s theorem programs which define total functions over R or C are effectively equivalent to loop-free programs. Examples of programmable and nonprogrammable functions and relations over R and C are given. In the case of ordered reals the axioms of Archimedean ordered fields completely characterize algorithmic properties. We show how to use the equivalent version of Archimed’s axiom (the exhaustion rule) in order to prove formally the correctness of some iterative numerical algorithms.

scholarly journals Antinormal composition operators on $ \mbf{\ell^2}$

2008 ◽  
Vol 39 (4) ◽  
pp. 347-352 ◽  
Author(s):  
Gyan Prakash Tripathi ◽  
Nand Lal
Keyword(s):  
Hilbert Space ◽  
Linear Operator ◽  
Bounded Linear Operator ◽  
Composition Operators ◽  
Complete Characterization ◽  
Inner Product ◽  
Complex Numbers ◽  
Bounded Linear ◽  
Normal Operators

A bounded linear operator $ T $ on a Hilbert space $ H $ is called antinormal if the distance of $ T $ from the set of all normal operators is equal to norm of $ T $. In this paper, we give a complete characterization of antinormal composition operators on $ \ell^2 $, where $ \ell^2 $ is the Hilbert space of all square summable sequences of complex numbers under standard inner product on it.

An extension of Šarkovskiư's Theorem to the n-od

1991 ◽  
Vol 11 (2) ◽  
pp. 249-271 ◽  
Author(s):  
Stewart Baldwin
Keyword(s):  
Positive Integer ◽  
Real Number ◽  
Continuous Functions ◽  
Complete Characterization ◽  
Unit Interval ◽  
Central Point ◽  
Complex Numbers

AbstractThe n-od is defined to be the set of all complex numbers z such that zn is a real number in the interval [0,1], i.e., a central point with n copies of the unit interval attached at their endpoints. Given a space X and a function f:X → X, Per (f) is defined to be the set {k: f has for a point of (least) period k, k a positive integer}. The main result of this paper is to give, for each n, a complete characterization of all possible sets Per (f), where f ranges over all continuous functions on the n-od.

Experimental Characterization of Mechanical Behavior of Cord-Rubber Composites

1982 ◽  
Vol 10 (1) ◽  
pp. 37-54 ◽  
Author(s):  
M. Kumar ◽  
C. W. Bert
Keyword(s):  
Response Characteristic ◽  
Cord Compression ◽  
Complete Characterization ◽  
Strain Response ◽  
Strain Gages ◽  
Experimental Characterization ◽  
Rubber Composites ◽  
Stress Strain ◽  
Strain Data

Abstract Unidirectional cord-rubber specimens in the form of tensile coupons and sandwich beams were used. Using specimens with the cords oriented at 0°, 45°, and 90° to the loading direction and appropriate data reduction, we were able to obtain complete characterization for the in-plane stress-strain response of single-ply, unidirectional cord-rubber composites. All strains were measured by means of liquid mercury strain gages, for which the nonlinear strain response characteristic was obtained by calibration. Stress-strain data were obtained for the cases of both cord tension and cord compression. Materials investigated were aramid-rubber, polyester-rubber, and steel-rubber.

Characterization of CMOS Structures (0.6 µm process) Submitted to HBM and COM ESD Stress Tests

1997 ◽  
Author(s):  
G. Meneghesso ◽  
E. Zanoni ◽  
P. Colombo ◽  
M. Brambilla ◽  
R. Annunziata ◽  
...  
Keyword(s):  
Electron Microscopy ◽  
Electrostatic Discharge ◽  
Stress Test ◽  
Complete Characterization ◽  
Stress Tests ◽  
Test Procedures ◽  
Emission Microscopy ◽  
Fast Rise ◽  
Scanning Electron

Abstract In this work, we present new results concerning electrostatic discharge (ESD) robustness of 0.6 μm CMOS structures. Devices have been tested according to both HBM and socketed CDM (sCDM) ESD test procedures. Test structures have been submitted to a complete characterization consisting in: 1) measurement of the tum-on time of the protection structures submitted to pulses with very fast rise times; 2) ESD stress test with the HBM and sCDM models; 3) failure analysis based on emission microscopy (EMMI) and Scanning Electron Microscopy (SEM).

scholarly journals Complete characterization of spin chains with two Ising symmetries

2019 ◽  
Vol 125 (1) ◽  
pp. 10008 ◽  
Author(s):  
Bat-el Friedman ◽  
Atanu Rajak ◽  
Emanuele G. Dalla Torre
Keyword(s):  
Complete Characterization ◽  
Spin Chains

scholarly journals On the star forest polytope for trees and cycles

2019 ◽  
Vol 53 (5) ◽  
pp. 1763-1773
Author(s):  
Meziane Aider ◽  
Lamia Aoudia ◽  
Mourad Baïou ◽  
A. Ridha Mahjoub ◽  
Viet Hung Nguyen
Keyword(s):  
Undirected Graph ◽  
Dominating Set ◽  
Discrete Math ◽  
Complete Characterization ◽  
Facial Structure ◽  
Maximum Weight ◽  
Single Node ◽  
End Node ◽  
Vertex Disjoint

Let G = (V, E) be an undirected graph where the edges in E have non-negative weights. A star in G is either a single node of G or a subgraph of G where all the edges share one common end-node. A star forest is a collection of vertex-disjoint stars in G. The weight of a star forest is the sum of the weights of its edges. This paper deals with the problem of finding a Maximum Weight Spanning Star Forest (MWSFP) in G. This problem is NP-hard but can be solved in polynomial time when G is a cactus [Nguyen, Discrete Math. Algorithms App. 7 (2015) 1550018]. In this paper, we present a polyhedral investigation of the MWSFP. More precisely, we study the facial structure of the star forest polytope, denoted by SFP(G), which is the convex hull of the incidence vectors of the star forests of G. First, we prove several basic properties of SFP(G) and propose an integer programming formulation for MWSFP. Then, we give a class of facet-defining inequalities, called M-tree inequalities, for SFP(G). We show that for the case when G is a tree, the M-tree and the nonnegativity inequalities give a complete characterization of SFP(G). Finally, based on the description of the dominating set polytope on cycles given by Bouchakour et al. [Eur. J. Combin. 29 (2008) 652–661], we give a complete linear description of SFP(G) when G is a cycle.

scholarly journals Protein complex formation in methionine chain-elongation and leucine biosynthesis

2021 ◽  
Vol 11 (1) ◽  
Author(s):  
Li-Qun Chen ◽  
Shweta Chhajed ◽  
Tong Zhang ◽  
Joseph M. Collins ◽  
Qiuying Pang ◽  
...  
Keyword(s):  
Protein Complexes ◽  
Complete Characterization ◽  
Bimolecular Fluorescence Complementation ◽  
Chain Elongation ◽  
Substrate Channeling ◽  
Leucine Biosynthesis ◽  
Protein Complex Formation ◽  
Genes Encoding ◽  
Isopropylmalate Dehydrogenase

AbstractDuring the past two decades, glucosinolate (GLS) metabolic pathways have been under extensive studies because of the importance of the specialized metabolites in plant defense against herbivores and pathogens. The studies have led to a nearly complete characterization of biosynthetic genes in the reference plant Arabidopsis thaliana. Before methionine incorporation into the core structure of aliphatic GLS, it undergoes chain-elongation through an iterative three-step process recruited from leucine biosynthesis. Although enzymes catalyzing each step of the reaction have been characterized, the regulatory mode is largely unknown. In this study, using three independent approaches, yeast two-hybrid (Y2H), coimmunoprecipitation (Co-IP) and bimolecular fluorescence complementation (BiFC), we uncovered the presence of protein complexes consisting of isopropylmalate isomerase (IPMI) and isopropylmalate dehydrogenase (IPMDH). In addition, simultaneous decreases in both IPMI and IPMDH activities in a leuc:ipmdh1 double mutants resulted in aggregated changes of GLS profiles compared to either leuc or ipmdh1 single mutants. Although the biological importance of the formation of IPMI and IPMDH protein complexes has not been documented in any organisms, these complexes may represent a new regulatory mechanism of substrate channeling in GLS and/or leucine biosynthesis. Since genes encoding the two enzymes are widely distributed in eukaryotic and prokaryotic genomes, such complexes may have universal significance in the regulation of leucine biosynthesis.

scholarly journals Topological Approach to Mathematical Programs with Switching Constraints

2021 ◽  
Author(s):  
Vladimir Shikhman
Keyword(s):  
Stationary Point ◽  
Mountain Pass Theorem ◽  
Strong Stability ◽  
Complete Characterization ◽  
Stationary Points ◽  
Mathematical Programs ◽  
Linear Independence Constraint Qualification ◽  
Point Set ◽  
Stationary Level

AbstractWe study mathematical programs with switching constraints (for short, MPSC) from the topological perspective. Two basic theorems from Morse theory are proved. Outside the W-stationary point set, continuous deformation of lower level sets can be performed. However, when passing a W-stationary level, the topology of the lower level set changes via the attachment of a w-dimensional cell. The dimension w equals the W-index of the nondegenerate W-stationary point. The W-index depends on both the number of negative eigenvalues of the restricted Lagrangian’s Hessian and the number of bi-active switching constraints. As a consequence, we show the mountain pass theorem for MPSC. Additionally, we address the question if the assumption on the nondegeneracy of W-stationary points is too restrictive in the context of MPSC. It turns out that all W-stationary points are generically nondegenerate. Besides, we examine the gap between nondegeneracy and strong stability of W-stationary points. A complete characterization of strong stability for W-stationary points by means of first and second order information of the MPSC defining functions under linear independence constraint qualification is provided. In particular, no bi-active Lagrange multipliers of a strongly stable W-stationary point can vanish.

Complete characterization of laser wakefield acceleration

2011 ◽  
Author(s):  
Laszlo Veisz ◽  
Alexander Buck ◽  
Maria Nicolai ◽  
Karl Schmid ◽  
Chris M. S. Sears ◽  
...  
Keyword(s):  
Complete Characterization ◽  
Laser Wakefield Acceleration ◽  
Wakefield Acceleration ◽  
Laser Wakefield
Sign in / Sign up

Export Citation Format

Share Document