3,406 Result(s)
-
Chapter and Conference Paper
A new method to handle the left-recursions for top-down parsing in compiler design
A new method for handling the left-recursions for top-down parsing is presented. This method preserves the structure of the parse tree specified by the given grammar. Besides, the parsers written based on this...
-
Chapter and Conference Paper
A Method of Solving Stress Intensity Factors of the Bent Crack in Three Points Bend Specimens
The unilateral straight crack in three points bend (TPB) specimens is in complex stress state when it is in the unsymmetrical position. It can propagate to become a bent crack when an alternating load is appli...
-
Chapter and Conference Paper
Interactive Display of 3D Medical Objects
Interactive display of internal human organs has recently received much attention because of its potential applications. Capabilities for visualization, manipulation and quantitation are the common requirement...
-
Chapter and Conference Paper
Performance analysis for a join processor
An architecture which not only elliminates cross referencing but also maintains ordering reservation (suitable for non-equijoin operation) is proposed. The techniques such as parallel processing and pipelining...
-
Chapter and Conference Paper
Reactions in the Presence of Cyclodextrins
The bromination of toluene and the oxidation of α-pinene were studied in presence of cyclodextrins. The bromination reaction has been carried out in acetic acid of different concentrations at different tempera...
-
Chapter and Conference Paper
Mehrfach-Literalfehler in Logischen Schaltungen
With the increase of the complexity of logic circuits it becomes necessary, according to the functional describing of the complex logic circuits, to determine their testsets. In this paper an algorithm is pres...
-
Chapter and Conference Paper
Radiation Theory for Two-Photon Processes
In radiation theory, we study the interaction of one or more atoms (or molecules) with and via the electromagnetic field. The theory began over 60 years ago with two papers by P.A.M. Dirac1, in which he used time...
-
Chapter and Conference Paper
Infrared Knots Around SS433 — Results of Jets
SS433 is a famous exotic object in the center of radio source W50. It has been widely observed at various wavelengths and has attracted more and more attention since 1978. The most unusual feature of SS433 is ...
-
Chapter and Conference Paper
On the operational interpretation of complex types
Recursive and structured metaprogramming facilities are necessary for large proof development in a generic proof manipulation environment. We show how to define a set of mutually inductive types, abstract theo...
-
Chapter and Conference Paper
Measurement of Neutron Multiplications in Beryllium Assemblies
The measurements of 14 MeV neutron multiplication in beryllium have been carried out using the total absorption method. A pure water sphere and a polyethylene sphere were used as the neutron moderators and tot...
-
Chapter and Conference Paper
A Transmission-Mode Ultrasound Computerised Tomographic System for Gas/Liquid Two-Phase Flow Visualization
The authors have developed a ultrasound transmission-mode tomography system for monitoring the gas/liquid two-phase flow developed by the authors. A fast and effective simple back-projection algorithm based on...
-
Chapter and Conference Paper
Surgical Reconstruction for Metastatic Malignancies of the Spine
Patients with spinal metastasis usually have severe back pain, motor weakness, or even paraplegia due to the direct compression by the tumor mass or to spinal instability subsequent to bony destruction. Some p...
-
Chapter and Conference Paper
A solution of the credit assignment problem in the case of learning rectangles
-
Chapter and Conference Paper
An interleaving model for real-time systems
In this paper, we present a timed calculus, Timed CCS, which is an extension of Milner's CCS with time. We allow time to be discrete, such as the integers or the natural numbers, or dense, such as the rationals o...
-
Chapter and Conference Paper
A model for real-time process algebras (extended abstract)
-
Chapter and Conference Paper
Applications of modal logic for the specification of real-time systems
We propose a real-time modal logic with recursion for the specification of real-time systems. All modalities of Timed Computational Tree Logic (TCTL) are definable in it. We also present a model checker, a tab...
-
Chapter and Conference Paper
The Sea Level Change of The Tropical Pacific and the Rotation of the Earth
About 30-year time series of the length of day (LOD) and the Pacific sea level are analysed in the paper. The close correlation between Earth rotation and sea level is discussed. Dynamical analysis of the angu...
-
Chapter and Conference Paper
Axiomatising real-timed processes
In this paper, we present a relativised compositional proof system for real-timed processes. The proof system allows us to derive statements of the form A ⊢ E = F, where processes E, F may contain free time varia...
-
Chapter and Conference Paper
Single-Chain Single Crystal
A new method that makes use of monomolecular patches on a liquid surface has been developed for the crystallization of single chain, and single-chain single crystals of poly(ethylene-oxide) and isotactic polys...
-
Chapter and Conference Paper
Unifying themes for network selection
In this paper we present efficient deterministic and randomized algorithms for selection on any interconnection network when the number of input keys (n) is ≥ the number of processors (p).