Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Masaki NAGANUMA

Verification of Uranium 238 Quantity Calculated Using Waste Assay Systems

RADIOISOTOPES
2014English

Related publications

Recovery and Purification of Uranium-234 From Aged Plutonium-238.

1978English

Verification of Interlocking Systems Using Statistical Model Checking

2017English

Plutonium-238 Alpha-Decay Damage Study of the Ceramic Waste Form.

2006English

Extraction of Uranium From Artificial Liquid Waste Using Continuous Flow Emulsion Liquid Membrane Technique

E3S Web of Conferences
EarthEnergyPlanetary SciencesEnvironmental Science
2018English

Benchmarking of Uranium-238 Evaluations Against Spherical Transmission and (N,xn)-Reaction Experimental Data

AIP Conference Proceedings
AstronomyPhysics
2005English

Quantity Takeoffs and Detailed Buildings Cost Estimation Using Geographic Information Systems

International Journal of Information Technology Project Management
Information SystemsOrganizational BehaviorCommunicationManagement Information SystemsStrategyManagementInnovationManagement of TechnologyHuman Resource Management
2013English

Formal Verification of Mixed Synchronous Asynchronous Systems Using Industrial Tools

2018English

Assessing Waste Management Systems Using Reginalt Software

1988English

Automated Verification of Resource Requirements in Multi-Agent Systems Using Abstraction

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy