|
|
|
题名
|
作者
|
年代
|
出处
|
被引量
|
| 1 | Preparation of C u (In, Ga )Se~ thin film solar cells by two- stage selenization processes using N2 gas显示文摘 | Gremenok V F Zaretskaya E P Zalesski V B | 2005 | Solar Energy Materials and Solar Cells2005，89，23： | 1 |
| 2 | Preparation of Cu (In, Ga)Se2 thin film solar cells by two -stage selenization processes using N2 gas显示文摘 | Gremenok V F Zaretskaya E P Zalesski V B Bente K Schmitz W Martin? R W Moiler H | 2005 | Solar Energy Materials & Solar Cells2005，89，23： | 1 |
| 3 | Real eonjugacy classes in al- gebraic groups and finite groups of Lie type显示文摘 | TIEP P H ZALESSKI A E | 2005 | Journal of Group Theory2005，8，3： | 1 |
| 4 | Molecular medicine:proteomic diagnostic technology and methods of molecular therapy in arrhythmology显示文摘 | Zalesski VN Dynnik OB | | 0，，1： | 1 |
| 5 | Inverse Computation and the Universal Resolving Algorithm显示文摘We survey fundamental concepts for inverse programming and then present the Universal Resolving Algorithm, an algorithm for inverse computation in a first order, functional programming language. We discuss the key concepts of the algorithm, including a three step approach based on the notion of a perfect process tree, and demonstrate our implementation with several examples of inverse computation. | Sergei Abramov 1, Robert Glück 2 1 Program Systems Institute Russian Academy of Sciences, RU 152140 Pereslavl Zalessky, Russia 2 PRESTO,JST & Institute for Software Production Technology, Waseda University, Tokyo 169 8555, Japan | 2001 | Wuhan University Journal of Natural Sciences2001，6，Z1： | 0 |
| 6 | Supercompiler Scp4:Use of Quasi-Distributive Laws in Program Transformation显示文摘The author constructed a transformer Scp4 of functional programs. The transformer uses the technology known as Turchin’s supercompilation. Scp4 was implemented in a functional language Refal 5. The input language for Scp4 is also Refal 5. In the present paper we give an outline of the supercompiler and consider a number of tools of the transformer in details. The tools can be formally thought of as quasi distributive laws. | Andrei P. Nemytykh Program Systems Institute RAS Pereslavl Zalessky,Yaroslavl Region 152140,Russia | 2001 | Wuhan University Journal of Natural Sciences2001，6，Z1： | 0 |
您所在的机构暂未开通此部分的功能，请联系管理员