UNTYPED LAMBDA-CALCULUS NORMALIZATION BY TRAVERSALS
DOI:10.17213/0321-2653-2017-4-5-12
AbstractIssue: #4, December 2017
INFORMATICS, COMPUTER ENGINEERING AND CONTROL |
---|
UNTYPED LAMBDA-CALCULUS NORMALIZATION BY TRAVERSALS DOI:10.17213/0321-2653-2017-4-5-12 Abstract |
ABOUT MATHEMATICAL MODEL OF EDDY CURRENT IN THIN SHELL WITH A CUTS DOI:10.17213/0321-2653-2017-4-13-21 Abstract |
MODELING OF CHAOTIC VIBRATIONAL MOTION OF THE PARTICLES OF FERROMAGNETIC MATERIAL IN ALTERNATING MAGNETIC FIELD DOI:10.17213/0321-2653-2017-4-22-26 Abstract |
POWER ENGINEERING |
---|
METHODOLOGY OF EVALUATION OF INFORMATION SIGNS CHARACTERIZING THE OPERATING REGIMES OF ELECTRIC NETWORKS BY THE CRITERIA OF RECOGNITION OF RELAY PROTECTION DOI:10.17213/0321-2653-2017-4-27-33 Abstract |
RADIATION-CONVECTIVE HEATING OF MULTILAYERED BODIES WITH IDEAL AND NONIDEAL THERMAL CONTACTS DOI:10.17213/0321-2653-2017-4-34-37 Abstract |
PROBLEMS OF RELIABILITY OF POWER SUPPLY OF CONSUMERS OF SOUTHERN FEDERAL DISTRICT OF THE RUSSIAN FEDERATION DOI:10.17213/0321-2653-2017-4-38-43 Abstract |
ANALYSIS OF SIGNALS SINE-COSINE ROTOR POSITION SENSORS OF THE SYNCHRONOUS MOTORS WITH PERMANENT MAGNETS DOI:10.17213/0321-2653-2017-4-44-47 Abstract |
THE USE OF BRANCHES COMMON SPECIES IN THE CALCULATION OF ELECTRICAL CIRCUITS CONSISTING OF NONLINEAR RESISTORS WITH PASSIVE CURRENT-VOLTAGE CHARACTERISTICS DOI:10.17213/0321-2653-2017-4-48-52 Abstract |
ELECTRIC DRIVE OF THE STEERING MECHANISM DOI:10.17213/0321-2653-2017-4-53-56 Abstract |
THE FAST ANALYSIS METHOD OF ELECTRICAL CIRCUIT AFTER A STRUCTURE CHANGE DOI:10.17213/0321-2653-2017-4-57-63 Abstract |
GROUND FAULT CURRENT CALCULATION AND ANALYSIS PROGRAMME DOI:10.17213/0321-2653-2017-4-64-70 Abstract |
TO THE PROBLEM OF GEOTHERMAL WATERS STABILITY AND PROTECTION OF EQUIPMENT FROM SOLID DEPOSITS IN DISPOSAL OF ASSOCIATED COMBUSTIBLE GASES DOI:10.17213/0321-2653-2017-4-71-76 Abstract |
MAСHINE BUILDING AND THEORETICAL ENGINEERING |
---|
EVALUATION OF THE SEALING CAPACITY OF THE SEALING UNIT OF THE TURBOCHARGER TKR-11 DOI:10.17213/0321-2653-2017-4-77-80 Abstract |
CALCULATION OF TECHNOLOGICAL AND CONSTRUCTION PARAMETERS OF PNEUMO CLASSIFIER BULK MATERIALS DOI:10.17213/0321-2653-2017-4-81-85 Abstract |
CIVIL ENGINEERING BUILDING AND ARCHITECTURE |
---|
DEFINITION OF CAMBER LONG-SPAN REINFORCED CONCRETE GIRDERS IN PRE-STRESSED REINFORCEMENT FINITE ELEMENT DOI:10.17213/0321-2653-2017-4-86-91 Abstract |
THE METHOD FOR CALCULATING THE JET ARRAY FENCING STRENGTH OF A TRENCH BASED ON THE THEORY OF PLASTICITY DOI:10.17213/0321-2653-2017-4-92-95 Abstract |
CHEMICAL ENGINEERING |
---|
SYNTHESIS OF 2,5-FURANDICARBOXYLIC ACID BY SELECTIVE OXIDATION OF 5-HYDROXYMETHYLFURFURAL-RAW PREPARED FROM PLANT BIOMASS DOI:10.17213/0321-2653-2017-4-96-101 Abstract |
ELECTROCHEMICAL SYNTHESIS OF NANOSIZED TIN, COPPER POWDERS AND TIN-COPPER ALLOY POWDER DOI:10.17213/0321-2653-2017-4-102-106 Abstract |
TECHNOLOGICAL PECULIARITIES OF LAYER LIQUID PULVERIZATION DEVICES DESIGH DOI:10.17213/0321-2653-2017-4-107-111 Abstract |
PROBLEMS OF REMOVING FLUORIDES FROM LOW-CONCENTRATED MODEL SOLUTIONS IMITATING THE STRUCTURE OF NATURAL WATERS DOI:10.17213/0321-2653-2017-4-112-117 Abstract |
TECHNOLOGICAL OPTIONS OF MANUFACTURING OF VACUUM-TIGHT CERAMIC DOI:10.17213/0321-2653-2017-4-118-122 Abstract |
SPECIAL CHARACTERISTICS OF PREPARING ARTISIAN WATER FOR CHPP TECHNICAL WATER SUPPLY PURPOSES DOI:10.17213/0321-2653-2017-4-123-128 Abstract |
REPORTS |
---|
FACTORS AFFECTING THE FORMATION OF INTER-PARTICLE CROSSING IN ELECTROCONTACT SEAL DOI:10.17213/0321-2653-2017-4-129-132 Abstract |