The present paper is concerned with the development and application of an effective automatic algorithm of image analysis in order to detect grain boundaries on microscope images of Redziny dolostone and Wisniowka qua...
详细信息
The present paper is concerned with the development and application of an effective automatic algorithm of image analysis in order to detect grain boundaries on microscope images of Redziny dolostone and Wisniowka quartzite. The algorithm utilises sets of 6 colour images for each measurement field on thin sections, which are recorded using an optical polarizing microscope in different polarization set-ups. The proposed method is based on an image pre-processing procedure that is focused on colour system transformation, followed by rock grain boundaries segmentation using the image analysis methods for each colour image. For the image pre-processing procedure, several colour system transformations were selected and compared. By using the alternative colour systems that concentrate on colour information we are able to minimise the effects of internal micro-structures in the grain boundaries segmentation procedure. The grain boundary maps obtained confirm that the use of an approximately perceptually uniform colour system as an image pre-processing procedure can significantly improve the rock grain segmentation. This newly-developed method may facilitate petrographical and stereological studies of rock structures.
Simple grammar reduction is an important component in the implementation of Concatenation State Machines (a hardware version of stateless push-down automata designed for wire-speed network packet classification). We p...
详细信息
Simple grammar reduction is an important component in the implementation of Concatenation State Machines (a hardware version of stateless push-down automata designed for wire-speed network packet classification). We present a comparison and experimental analysis of the best-known algorithms for grammar reduction. There are two approaches to this problem: one processing compressed strings without decompression and another one which processes strings explicitly. It turns out that the second approach is more efficient in the considered practical scenario despite having worst-case exponential time complexity (while the first one is polynomial). The study has been conducted in the context of network packet classification, where simple grammars are used for representing the classification policies.
Admixture mapping is a rapidly developing method to map susceptibility alleles in complex genetic disease associated with continental ancestry. Theoretically, when admixture between continental populations has occurre...
详细信息
Admixture mapping is a rapidly developing method to map susceptibility alleles in complex genetic disease associated with continental ancestry. Theoretically, when admixture between continental populations has occurred relatively recently, the chromosomal segments derived from the parental populations can be deduced from the differences in genotype allele frequencies. Progress in computational algorithms, in identification of ancestry informative single nucleotide polymorphisms, and in recent studies applying these tools suggests that this approach will complement other strategies for identifying the variation that underlies many complex diseases.
Mobile computers have the potential to provide a new array of location-based services to drivers as they travel around. The predestination algorithm predicts a driver's destination based on both general trends, su...
详细信息
Mobile computers have the potential to provide a new array of location-based services to drivers as they travel around. The predestination algorithm predicts a driver's destination based on both general trends, such as the likelihood that people will choose various types of destinations, and personalized data such as a list of previously visited locations. We designed the algorithm to run on a vehicle's navigation system and learn a driver's habits based on logged GPS measurements. Predictions about destination can be an important component of ubiquitous computing, and we hope that such predictions might one day enhance the provision of information and services to people as they move through the world
Existing languages provide good support for typeful programming of stand-alone programs. In a distributed system, however, there may be interaction between multiple instances of many distinct programs, sharing some (b...
详细信息
Existing languages provide good support for typeful programming of stand-alone programs. In a distributed system, however, there may be interaction between multiple instances of many distinct programs, sharing some (but not necessarily all) of their module structure, and with some instances rebuilt with new versions of certain modules as time goes on. In this paper, we discuss programming-language support for such systems, focussing on their typing and naming issues. We describe an experimental language, Acute, which extends an ML core to support distributed development, deployment, and execution, allowing type-safe interaction between separately built programs. The main features are (1) type-safe marshalling of arbitrary values;(2) type names that are generated (freshly and by hashing) to ensure that type equality tests suffice to protect the invariants of abstract types, across the entire distributed system;(3) expression-level names generated to ensure that name equality tests suffice for type safety of associated values, for example, values carried on named channels;(4) controlled dynamic rebinding of marshalled values to local resources;and (5) thunkification of threads and mutexes to support computation mobility. These features are a large part of what is needed for typeful distributed programming. They are a relatively lightweight extension of ML, should be efficiently implementable, and are expressive enough to enable a wide variety of distributed infrastructure layers to be written as simple library code above the byte-string network and persistent store APIs. This disentangles the language run-time from communication intricacies. This paper highlights the main design choices in Acute. It is supported by a full language definition (of typing, compilation, and operational semantics), by a prototype implementation, and by example distribution libraries.
The demand for ever smaller features in integrated circuit manufacturing continues to put more stringent requirements on photomask fabrication, particularly with respect to critical dimension (CD) control. A high reso...
详细信息
ISBN:
(纸本)9780819467454
The demand for ever smaller features in integrated circuit manufacturing continues to put more stringent requirements on photomask fabrication, particularly with respect to critical dimension (CD) control. A high resolution process for making attenuated-phase-shift masks (attPSM) for the 45nm node with a negative-tone chemically amplified resist (nCAR), utilizing a new precision bake system, was evaluated. This process showed a significant performance improvement in critical dimension uniformity (CDU), respective to an established process based on an APB5500 system. A CD-uniformity improvement from 2.1nm CD 3 sigma to 1.3nm CD 3 sigma (40%) was achieved on a demanding layout. The new precision bake system utilizes an improved multi-zone hotplate design and control algorithm, which enables highly precise temperature controllability, facilitating a superior temperature ramp-up performance, as well as significantly improved temperature setpoint stability, as has been measured with a 25-point sensor mask for a 95 degrees C bake process. The new precision bake system shall now be introduced to the market within the HamaTech MaskTrack series.
Word sense disambiguation (WSD),the tagging of words in context with labelsindicating the sense in which the words are used,has become an increasingly popular area ofcomputational linguistics research. This is particu...
详细信息
Word sense disambiguation (WSD),the tagging of words in context with labelsindicating the sense in which the words are used,has become an increasingly popular area ofcomputational linguistics research. This is particularly due to the SENSEVAL evaluation exerciseswhich created standard data sets for the task. This book gives a thorough overview of current WSDtechniques and performance of systems on these data sets,as well as a brief history of the field andsome truly insightful discussions on potential developments for the future.
The author reflects on the ability of a proteomic algorithm to classify patients with non-small-cell lung cancer (NSCLC) who are eligible to undergo epidermal growth factor (EGFR) tyrosine kinase inhibitor (TKI) thera...
详细信息
The author reflects on the ability of a proteomic algorithm to classify patients with non-small-cell lung cancer (NSCLC) who are eligible to undergo epidermal growth factor (EGFR) tyrosine kinase inhibitor (TKI) therapy. He claims that the developers of the algorithm are confident that it can assist in the pretreatment selection of appropriate subgroups of NSCLC patients. The said algorithm contributes to the proteomic analysis in NSCLC.
An essay is presented discussing how technology and improvisation relate to knowledge and meaning. The author suggests improvisation is an essential component of everyday life. The use of computers in music had led to...
详细信息
An essay is presented discussing how technology and improvisation relate to knowledge and meaning. The author suggests improvisation is an essential component of everyday life. The use of computers in music had led to a rise in improvisation and interactive composition. The Live algorithms for Music (LAM) research group has studied the collaboration of creative machines and musicians through algorithms.
暂无评论