In metallurgy the quality of the liquid metal has the biggest influence on the quality of the final products. The amount of metallic and non-metallic impurities has great impact on the consecutive stages of technological processes such as: casting, plastic working, heat treatment, etc. That is why the refining process is considered to be one of the most important parts of the basic technologica...

There are several methods introduced to refining the accuracy of Photonic structures. No one has as yet studied the effect of Neural Networks in refining the accuracy of the photonic structure of the Photonic Crystal Fibers. In this paper we use The simulation that will be conducted using artificial neural networks to refining the accuracy of the photonic crystal fibers &.Artificial neural netw...

Ni-Hard4 white cast iron is excellent wear resistant material and has been widely used in wearaffected equipment operated under extreme conditions, such as in mineral processing, cement, copper and iron manufacturing. In this study the effect of titanium addition (1.2, 0.7 and 0.2 wt.%) to the Ni-hard 4 cast iron with the nominal composition of Si= 1.5%, Mn=0.5%, C=3%, P=0.05%, S= 0.05%, Mo= 0....

Northern Chile is home to the world’s largest copper ore deposits, which have been exploited for thousands of years by different groups, at varying scales and purposes. In this context, it important develop new protocols characterise mineralogical variability archaeological ores. A comprehensive representative methodology in analysis minerals, application non-destructive analytical techniques, ...

In the present study, lap joints of dissimilar 5052 aluminum alloy and pure copper were fabricated by friction stir spot welding process. The work was aimed to find simultaneous effect parameters such as tool rotary speed (1000, 1500, 2000 rpm) dwell time (5, 10, 15 s) on shear force (LSF), hardness, microstructure evolution. Also, statistical models quality characteristics developed understand...

The study of protein subcellular localization is important to elucidate protein function. Even in well-studied organisms such as yeast, experimental methods have not been able to provide a full coverage of localization. The development of bioinformatic predictors of localization can bridge this gap. We have created a Bayesian network predictor called PSLT2 that considers diverse protein charact...

Abstract interpretation techniques prove properties of programs by computing abstract fixpoints. All such analyses suffer from the possibility of false errors. We present three techniques to automatically refine such abstract interpretations to reduce false errors: (1) a new operator called interpolated widen, which automatically recovers precision lost due to widen, (2) a new way to handle dis...

Several conceptual points are made concerning communication in games of asymmetric information. Equilibrium refinements of Sender-Receiver cheap-talk games that are based on the concept of a putative equilibrium, and which rely on the presence of a rich language with literal meanings, are discussed. Three nested criteria are proposed: strong announcement-proofness, announcement-proofness, and w...

Principal component analysis (PCA) is a well-established tool for making sense of high dimensional data by reducing it to a smaller dimension. Its extension to sparse principal component analysisprincipal component analysis!sparce, which provides a sparse low-dimensional representation of the data, has attracted alot of interest in recent years (see, e.g., [1, 2, 3, 5, 6, 7, 8, 9]). In many app...

Reasoning about concurrent programs can be very difficult due to the possibility of interference. The fundamental insight of Rely-Guarantee thinking is that developing concurrent designs can only be made compositional if the development method offers ways to record and reason about the interference that is inherent in concurrency. The original presentation of rely-guarantee rules used keywords ...