Text classification is an important task of assigning objects from a universe to two or more classes, especially classification is to classify the topic or the theme of a document. In this research, we have analyzed t...
详细信息
We present a new strategy for representing syntax in a mechanised logic. We define an underlying type of de Bruijn terms, define an operation of named lambda-abstraction, and hence inductively define a set of conventi...
详细信息
The spider structure in the photoelectron momentum distributions(PMDs)of ionized electrons from the hydrogen atom is simulated by solving the time-dependent Schrodinger equation(TDSE).We find that the spider structure...
详细信息
The spider structure in the photoelectron momentum distributions(PMDs)of ionized electrons from the hydrogen atom is simulated by solving the time-dependent Schrodinger equation(TDSE).We find that the spider structure exhibits sensitive dependence on carrier envelope phase(CEP)of the few-cycle *** elucidate the striking CEP dependence of the spider structure,we select three physical parameters IL,IR,and IR/IL to quantitatively characterize the variations of the spider structure induced by altering the *** is the sum of the left half panel of the transverse cut curves(i.e.,the sum of all the negative momenta along the laser polarization direction),IR is the sum of the right half panel of the transverse cut curves(i.e.,the sum of all the positive momenta along the laser polarization direction),and IR/IL is the ratio between the two *** parameters are shown to have monotonic relation with the CEP value,which is exploited to extract the *** anticipate that our method will be useful for obtaining CEPs encoded in the spider structure of PMDs.
A datatype-generic function is a family of functions indexed by (the structure of) a type. Examples include equality tests, maps and pretty printers. Property based testing tools like QuickCheck and Gast support the d...
详细信息
This paper contains the formal development of a correct algorithm from an implicit definition of the task to be performed. Each step of the development can be accompanied by a proof of its correctness. As well as ensu...
Developing adaptable mobile application software is very difficult. An adaptability in multilingual mobile software becomes inevitable numerous changes. This paper presents not only perimeter reusability, but also mak...
详细信息
ISBN:
(纸本)9781510812277
Developing adaptable mobile application software is very difficult. An adaptability in multilingual mobile software becomes inevitable numerous changes. This paper presents not only perimeter reusability, but also makes modification invasive changes to meet new requirements for the mobile software design of multilingual mobile application software. The multilingual mobile software has to reengineer, in order to meet the new language requirements. A misunderstanding that an object-oriented approach generally endorses adaptability, as none of these problems is routinely imposed. Software designers and developers have to specifically considered software making adaptability stress-free. We present a mobile application framework which is a better supporting adaptability. In the framework, functional components and nonfunctional components are relatively separated. This technique makes multilingual mobile software developing much better adaptability. A framework enables manageable reusability and adaptability for building of multilingual mobile software. Our research focuses on a decomposition of an interaction in a multilingual mobile software development and our goal is to demonstrate a better model of multilingual mobile software design and development.
Current interface descriptions are poor in describing components, because they only provide an external view on a component and they do not lay down how components interact with each other. Suggestions to improve comp...
详细信息
This paper presents the recent design and development aspects considered within a current project running at the department of computer architecture and system programming. The project "Safety WLAN architectures ...
详细信息
ISBN:
(纸本)9784883254194
This paper presents the recent design and development aspects considered within a current project running at the department of computer architecture and system programming. The project "Safety WLAN architectures for safety critical applications related to diagnostic and predictive maintenance possibilities" includes the aspects of diagnostic and predictive maintenance strategies as well as safety related hardware, reliable software design and reliable wireless communication. This paper considers design strategies for the development of reliable, safe sensor systems for process control.
暂无评论