Otsing - TalTech teadusportaal

kuva

reasta

376

artikkel kogumikus

Optimal location of an additional support for rigid-plastic cylindrical shellsHannus, S.Tenth Nordic Seminar on Computational Mechanics, Tallinn Technical University, October 24-25, 19971997 / p. 126-129

artikkel kogumikus

377

artikkel kogumikus

Optimization of plastic shallow shells with different yield stresses in tension and compressionHein, H.Tenth Nordic Seminar on Computational Mechanics, Tallinn Technical University, October 24-25, 19971997 / p. 130-133: ill

artikkel kogumikus

378

artikkel kogumikus

Optimization of stepped rigid-plastic spherical shellsLellep, Jaan; Tungel, ErnstTenth Nordic Seminar on Computational Mechanics, Tallinn Technical University, October 24-25, 19971997 / p. 138-141: ill

artikkel kogumikus

379

artikkel ajakirjas EST / artikkel ajakirjas ENG

Oxygen influence on Estonian kukersite oil shale devolatilization and char combustionLoo, Lauri; Maaten, Birgit; Nešumajev, Dmitri; Konist, AlarOil shale2017 / p. 219-231 : ill https://doi.org/10.3176/oil.2017.3.02 http://www.ester.ee/record=b1072685*est https://artiklid.elnet.ee/record=b2824314*est Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

artikkel ajakirjas EST / artikkel ajakirjas ENG

380

artikkel kogumikus

Parallel fault backtracing for calculation of fault coverageUbar, Raimund-Johannes; Devadze, Sergei; Raik, Jaan; Jutman, Artur43rd International Conference on Microelectronics, Devices and Materials and the Workshop on Electronic Testing : September 12. - September 14.2007, Bled, Slovenia : MIDEM conference 2007 proceedings2007 / p. 165-170 : ill https://www.researchgate.net/publication/221153650_Parallel_fault_backtracing_for_calculation_of_fault_coverage

artikkel kogumikus

381

artikkel kogumikus EST / artikkel kogumikus ENG

Partiality and container monadsUustalu, Tarmo; Veltri, NiccoloProgramming Languages and Systems : 15th Asian Symposium, APLAS 2017,Suzhou, China, November 27–29, 2017 : proceedings2017 / p. 406-425 : ill https://doi.org/10.1007/978-3-319-71237-6_20 Conference proceedings at Scopus Article at Scopus Article at WOS

artikkel kogumikus EST / artikkel kogumikus ENG

382

artikkel kogumikus EST / artikkel kogumikus ENG

Partiality and container monadsUustalu, Tarmo; Veltri, Niccolo23rd International Conference on Types for Proofs and Programs, TYPES 2017, Budapest, Hungary, 29 May - 1 June 2017 : abstracts2017 / p. 99-100 https://types2017.elte.hu/proc.pdf#page=107 Conference proceedings at Scopus Article at Scopus Article at WOS

artikkel kogumikus EST / artikkel kogumikus ENG

383

artikkel ajakirjas EST / artikkel ajakirjas ENG

Performance of the explicit Euler and predictor-corrector-based coupling schemes in Monte Carlo burnup calculations of fast reactorsMickus, Ignas; Dufek, Jan; Tuttelberg, KaurNuclear technology2015 / p. 193-198 : ill https://doi.org/10.13182/NT14-48 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

artikkel ajakirjas EST / artikkel ajakirjas ENG

384

artikkel kogumikus

Phase noise in oscillators - numerical calculations by SPICEIrscheid, Omar; Blum, AlfonsBEC'96 : the 5th Biennial Baltic Electronics Conference, October 7-11, 1996, Tallinn, Estonia : proceedings1996 / p. 319-322: ill

artikkel kogumikus

385

dissertatsioon

Pika ringsilindrilise raudbetoonkooriku põikjõu-piirolukorra eksperimentaalne uurimineOtsmaa, Vello1963 http://www.ester.ee/record=b2143863*est

dissertatsioon

386

artikkel kogumikus

Pingete ja deformatsioonide arvestusOllik, KonstantinMasinaehitaja käsiraamat. 1. kd1968 / lk. 407-464 https://www.ester.ee/record=b1298495*est

artikkel kogumikus

387

artikkel ajakirjas

pKa calculation for monoprotonated bipiperidine, bimorpholine and their derivates in H2O and MeCNUudsemaa, Merle; Kanger, Tõnis; Lopp, Margus; Tamm, ToomasChemical physics letters2010 / p. 83-86 https://www.sciencedirect.com/science/article/pii/S000926140901519X

artikkel ajakirjas

388

artikkel ajakirjas

Practical method of flexural strenght calculation of reinforced and prestressed concrete membersOtsmaa, Vello; Pedak, TiitTechnological and economic development of economy2007 / 4, p. 314-322 https://journals.vilniustech.lt/index.php/TEDE/article/view/7750

artikkel ajakirjas

389

artikkel ajakirjas

A precise gravimetric geoid model in a mountainous area with scarce gravity data : a case study in central TurkeyAbbak, Ramazan Alpay; Sjöberg, Lars E.; Ellmann, Artu; Ustun, AydinStudia geophysica et geodaetica2012 / p. 909-927 : ill https://link.springer.com/article/10.1007/s11200-011-9001-0

artikkel ajakirjas

390

artikkel kogumikus

Prediction of semiconductor losses in a high-power high-voltage DC/DC converterJalakas, Tanel; Vinnikov, Dmitri4th International Symposium Topical Problems of Education in the Field of Electrical and Power Engineering. Doctoral School of Energy and Geotechnology : Kuressaare, Estonia, January 15-20, 20072007 / p. 114-117 : ill

artikkel kogumikus

391

artikkel ajakirjas

Profunctor optics : a categorical updateClarke, Bryce James; Elkins, Derek; Gibbons, Jeremy; Loregian, Fosco; Milewski, Bartosz; Pillmore, Emily; Roman Garcia, MarioarXiv.org2022 / 45 p https://doi.org/10.48550/arXiv.2001.07488

artikkel ajakirjas

Seotud publikatsioonid 1

Monoidal context theory = Monoidiliste kontekstide teooria

392

artikkel ajakirjas EST / artikkel ajakirjas ENG

Profunctor optics: a categorical updateClarke, Bryce James; Elkins, Derek; Gibbons, Jeremy; Loregian, Fosco; Milewski, Bartosz; Pillmore, Emily; Roman Garcia, MarioCompositionality2024 / 39 p. : ill https://doi.org/10.32408/compositionality-6-1 Journal metrics at Scopus Article at Scopus

artikkel ajakirjas EST / artikkel ajakirjas ENG

393

artikkel kogumikus

Programmeeritavate kalkulaatorite kasutamisest õppetöösRisthein, EndelArvutite ja tehniliste vahendite kasutamine õppetöös : TPI 50. aastapäevale pühendatud teaduslik-metoodilise konverentsi, 26.-27. märtsil : ettekannete teesid1986 / lk. 66-69 https://www.ester.ee/record=b1206593*est

artikkel kogumikus

394

artikkel kogumikus

Projekteerimise alused. Koormused ja mõjud. Osa 1, Projekteerimise alused : Eesti projekteerimisnormid, EPN-ENV 1.1 : (eelnõu) : välja antud mai 1994Loorits, KaljuET-kartoteek : Eesti ehitusteave. ET-1 0113-00501994 / 13 lk

artikkel kogumikus

395

artikkel kogumikus

Projekteerimise alused. Koormused ja mõjud. Osa 2, Kasuskoormused : Eesti projekteerimisnormid, EPN-ENV 1.2.4 : (eelnõu) : välja antud mai 1994Loorits, KaljuET-kartoteek : Eesti ehitusteave. ET-1 0113-00511994 / 4 lk

artikkel kogumikus

396

artikkel kogumikus

Projekteerimise alused. Koormused. Osa 2.5, Lumekoormus : Eesti projekteerimisnormid, EPN-ENV 1.2.5 : (eelnõu) : välja antud oktoober 1995ET-kartoteek : Eesti ehitusteave. ET-11995 / ET-1 0113-0097, 5 lk.: ill

artikkel kogumikus

397

artikkel kogumikus EST / artikkel kogumikus ENG

Proof theory of skew non-commutative MILLUustalu, Tarmo; Veltri, Niccolo; Wan, Cheng-SyuanProceedings of 10th International Conference on Non-Classical Logics. Theory and Applications, NCL 2022, 14. March, 20222022 / p. 118-135 https://doi.org/10.4204/EPTCS.358.9 Conference Proceedings at Scopus Article at Scopus Article at WOS

artikkel kogumikus EST / artikkel kogumikus ENG

Seotud publikatsioonid 1

Proof theory of semi-substructural logics = Pool-allstruktuursete loogikate tõestusteooria

398

artikkel kogumikus

Prospects of wind generated electricity in Estonia calculated with Markal modelLiik, Olev; Esop, Markko-RaulProceedings of the International Energy Agency's Energy Technology Systems Analysis Programme : annex VII 5th Workshop2001 / p. 8

artikkel kogumikus

399

artikkel kogumikus

Protection by fire rated claddings in the Component Additive MethodMäger, Katrin Nele; Just, Alar; Frangi, Andrea; Brandon, DanielInternational Network on Timber Engineering Research : INTER : Meeting 50, 28-31 August 2017, Kyoto, Japan : proceedings2017 / p. 439-451 : ill

artikkel kogumikus

400

raamat

Puit- ja puidupõhised konstruktsioonid : õpik kõrgkoolideleJust, Elmar-Jaan; Õiger, Karl; Just, Alar2018 https://www.ester.ee/record=b5159583*est

raamat

arvutusmeetodid (märksõna)

teaviku laadid

märksõna 1