Filters
Results 1 - 10 of 37536
Results 1 - 10 of 37536.
Search took: 0.064 seconds
Sort by: date | relevance |
Vertesh, P.
Collection of reports on computer programs and methods of physical computations of fast reactors. CMEA1975
Collection of reports on computer programs and methods of physical computations of fast reactors. CMEA1975
AbstractAbstract
[en] To obtain the library of group constants derived from the estimated nuclear data the programs system FEDGROUP was developed. This system is flexible enough to obtain any group constants library derived from any source of estimated data. The FEDGROUP system is open one which means that it can be connected to any system of constants maintenance and any algorithm of group constants calculation can be added. Teh system is written on FORTRAN and intended for BESM-6 and CDC-3300 computers. (I.T.)
Original Title
Sistema programm FEDGROUP dlya rascheta gruppovykh konstant iz otsenennykh dannykh
Primary Subject
Source
Sovet Ehkonomicheskoj Vzaimopomoshchi, Moscow (USSR). Postoyanniya Komissiya po Ispol'zovaniyu Atomnoj Ehnergii v Mirnykh Tselyakh; p. 535-539; 1975; Meeting of specialists on methods and computer programs for physical calculations of fast reastors; Dimitrovgrad, USSR; 1 Jul 1974
Record Type
Report
Literature Type
Conference
Report Number
Country of publication
Reference NumberReference Number
INIS VolumeINIS Volume
INIS IssueINIS Issue
AbstractAbstract
[en] With computers becoming more frequently used in theoretical and experimental physics, physicists can no longer afford to be ignorant of the basic techniques and results of computer science. Computing principles belong in a physicist's tool box, along with experimental methods and applied mathematics, and the easiest way to educate physicists in computing is to provide, as part of the undergraduate curriculum, a computing course designed specifically for physicists. As well, the working physicist should interact with computer scientists, giving them challenging problems in return for their expertise. (orig.)
Primary Subject
Source
European Organization for Nuclear Research, Geneva (Switzerland); 266 p; 23 Nov 1982; p. 13-18; Workshop on software in high-energy physics; Geneva (Switzerland); 4 - 6 Oct 1982
Record Type
Report
Literature Type
Conference
Report Number
Country of publication
Reference NumberReference Number
INIS VolumeINIS Volume
INIS IssueINIS Issue
Grabezhnoj, V.A.; Zhukov, A.V.; Korobejnikov, V.V.; Markelov, I.P.; Nikolaev, M.N.; Savos'kin, M.M.; Usikov, D.A.
Collection of reports on computer programs and methods of physical computations of fast reactors. CMEA1975
Collection of reports on computer programs and methods of physical computations of fast reactors. CMEA1975
AbstractAbstract
[en] The system used in the institute is described and intended for providing reactor computations with multigroup macroconstants on the basis of catalogs of 26- group microconstants having subgroup presentation of resonance cross sections structure and presentation by the means of self-shielding factors. The system includes complexes of computer programs for homogenization of constants by means of averaging of cross sections of heterogeneous lattice cell in different approximations. This method and combination of the constants bloc with programs for two and one-dimensional reactors computation gives possibility of correct computation of heterogeneous fast critical assemblies which in turn is necessary for utilisation of experimental results obtained for checking and correction the constants system used. (author)
Original Title
Kompleks programmy dlya rascheta geterogennykh kritsborok
Primary Subject
Source
Sovet Ehkonomicheskoj Vzaimopomoshchi, Moscow (USSR). Postoyanniya Komissiya po Ispol'zovaniyu Atomnoj Ehnergii v Mirnykh Tselyakh; p. 308-320; 1975; Meeting of specialists on methods and computer programs for physical calculations of fast reactors; Dimitrovgrad, USSR; 1 Jul 1974
Record Type
Report
Literature Type
Conference
Report Number
Country of publication
Reference NumberReference Number
INIS VolumeINIS Volume
INIS IssueINIS Issue
AbstractAbstract
[en] The inner integral over final particle energy or collision cosine of the multigroup transfer matrix is evaluated analytically for the general nonrelativistic two-body interaction. Under the condition that the center-of-mass angular distribution is piecewise linear, the solution is exact. Refs
Primary Subject
Record Type
Journal Article
Journal
Nuclear Science and Engineering; ISSN 0029-5639;
; v. 80(4); p. 579-585

Country of publication
Reference NumberReference Number
INIS VolumeINIS Volume
INIS IssueINIS Issue
AbstractAbstract
No abstract available
Original Title
Integration von virtualisierten Rechnerknoten in Batch Systemen
Primary Subject
Source
2009 DPG Spring meeting with the divisions of gravitation and theory of relativity, radiation- and medicine physics, particle physics, theoretical and mathematical foundations and the working group philosophy of physics; DPG Fruehjahrstagung 2009 der Fachverbaende Gravitation und Relativitaetstheorie, Strahlen- und Medizinphysik, Teilchenphysik, Theoretische und Mathematische Grundlagen der Physik und der Arbeitsgruppe Philosophie der Physik; Muenchen (Germany); 9-13 Mar 2009; Available from http://www.dpg-verhandlungen.de; Session: T 69.6 Di 18:00; Also available as printed version: Verhandlungen der Deutschen Physikalischen Gesellschaft v. 44(2)
Record Type
Journal Article
Literature Type
Conference
Journal
Verhandlungen der Deutschen Physikalischen Gesellschaft; ISSN 0420-0195;
; CODEN VDPEAZ; (Muenchen 2009 issue); [1 p.]

Country of publication
Reference NumberReference Number
INIS VolumeINIS Volume
INIS IssueINIS Issue
External URLExternal URL
Borisevich, M.
Collection of reports on computer programs and methods of physical computations of fast reactors. CMEA1975
Collection of reports on computer programs and methods of physical computations of fast reactors. CMEA1975
AbstractAbstract
[en] The listing of computer programs available in Swierk is given. There are brief descriptions of potentialities of these programs. The plan of works for creation of the algorithms of heightened accuracy for transport equations solution is given. The problem of the finite elements methods application for solution of this equation is investigated in more details. (auth.)
Original Title
Metod konechnykh ehlementov pri raschete raspredeleniya nejtronov v reaktornykh sistemakh
Primary Subject
Source
Sovet Ehkonomicheskoj Vzaimopomoshchi, Moscow (USSR). Postoyanniya Komissiya po Ispol'zovaniyu Atomnoj Ehnergii v Mirnykh Tselyakh; p. 195-200; 1975; Meeting of specialists on methods and computer programs for physical calculations of fast reactors; Dimitrovgrad, USSR; 1 Jul 1974
Record Type
Report
Literature Type
Conference
Report Number
Country of publication
Reference NumberReference Number
INIS VolumeINIS Volume
INIS IssueINIS Issue
Fouad, H.Y.; Dimitri, F.H.
Atomic Energy Establishment, Inshas (UAR)1970
Atomic Energy Establishment, Inshas (UAR)1970
AbstractAbstract
No abstract available
Primary Subject
Source
1970; 22 p
Record Type
Report
Report Number
Country of publication
Reference NumberReference Number
INIS VolumeINIS Volume
INIS IssueINIS Issue
Drouffe, J.M.
CEA Centre d'Etudes Nucleaires de Saclay, 91 - Gif-sur-Yvette (France)1985
CEA Centre d'Etudes Nucleaires de Saclay, 91 - Gif-sur-Yvette (France)1985
AbstractAbstract
[en] The progress of computer algebra observed during these last years has had certainly an impact in physics. I want to precise the role of these new techniques in this application domain and to analyze their present limitations. In Section 1, I describe briefly the use of algebraic manipulation programs at the elementary level. The numerical and symbolic solutions of problems are compared in Section 2. Section 3 is devoted to a prospective about the use of computer algebra at the highest level, as an ''intelligent'' system. I recall in Section 4 what is required from a system to be used in physics
Primary Subject
Source
Apr 1985; 11 p; European conference on computer algebra; Linz (Austria); 1-3 Apr 1985
Record Type
Report
Literature Type
Conference
Report Number
Country of publication
Reference NumberReference Number
INIS VolumeINIS Volume
INIS IssueINIS Issue
AbstractAbstract
No abstract available
Original Title
Erweiterte Nutzungsszenarien virtueller Workernodes an der TU Dortmund
Primary Subject
Source
2009 DPG Spring meeting with the divisions of gravitation and theory of relativity, radiation- and medicine physics, particle physics, theoretical and mathematical foundations and the working group philosophy of physics; DPG Fruehjahrstagung 2009 der Fachverbaende Gravitation und Relativitaetstheorie, Strahlen- und Medizinphysik, Teilchenphysik, Theoretische und Mathematische Grundlagen der Physik und der Arbeitsgruppe Philosophie der Physik; Muenchen (Germany); 9-13 Mar 2009; Available from http://www.dpg-verhandlungen.de; Session: T 69.7 Di 18:15; Also available as printed version: Verhandlungen der Deutschen Physikalischen Gesellschaft v. 44(2)
Record Type
Journal Article
Literature Type
Conference
Journal
Verhandlungen der Deutschen Physikalischen Gesellschaft; ISSN 0420-0195;
; CODEN VDPEAZ; (Muenchen 2009 issue); [1 p.]

Country of publication
Reference NumberReference Number
INIS VolumeINIS Volume
INIS IssueINIS Issue
External URLExternal URL
AbstractAbstract
[en] We provide a direct method for proving Craig interpolation for a range of modal and intuitionistic logics, including those containing a “converse” modality. We demonstrate this method for classical tense logic, its extensions with path axioms, and for bi-intuitionistic logic. These logics do not have straightforward formalisations in the traditional Gentzen-style sequent calculus, but have all been shown to have cut-free nested sequent calculi. The proof of the interpolation theorem uses these calculi and is purely syntactic, without resorting to embeddings, semantic arguments, or interpreted connectives external to the underlying logical language. A novel feature of our proof includes an orthogonality condition for defining duality between interpolants.
Primary Subject
Source
618 p; 2020; p. 455-470; CSL 2020: 28. EACSL Annual Conference on Computer Science Logic; Barcelona (Spain); 13-16 Jun 2020; Available online: https://drops.dagstuhl.de/opus/volltexte/lipics-complete/lipics-vol152-csl2020-complete.pdf
Record Type
Book
Literature Type
Conference
Country of publication
Reference NumberReference Number
Related RecordRelated Record
INIS VolumeINIS Volume
INIS IssueINIS Issue
External URLExternal URL
1 | 2 | 3 | Next |