ℹ️
🇬🇧
Search
Search for publications relevant for "refinement"
refinement
Publication
Class
Person
Publication
Programmes
publication
SMT-based automatic proof of ASM model refinement
2016 |
Faculty of Mathematics and Physics
publication
AsmRefProver - Asmeta Refinement correctness Prover
Publication without faculty affiliation
publication
Formalization of Invariant Patterns for the Invariant Refinement Method
2015 |
Faculty of Mathematics and Physics
publication
Multistage Mixed-precision Iterative Refinement
2022 |
Faculty of Mathematics and Physics
publication
Paired refinement: Impact of reintegration and rescaling
2018 |
Faculty of Science
publication
“Immortality is the lure”. The poets and the fantasies of refinement by genetic engineering
2010 |
Faculty of Arts
publication
Multistage mixed precision iterative refinement
2022 |
Faculty of Mathematics and Physics
publication
Mixed Precision GMRES-based Iterative Refinement with Recycling
+1
2022 |
Faculty of Mathematics and Physics
publication
Mixed precision GMRES-based iterative refinement with recycling
2022 |
Faculty of Mathematics and Physics
publication
Dynamical Refinement of 3D ED data: Comparison of CCD and HPD data
2022 |
Central Library of Charles University
publication
Conformation-based refinement of 18-mer DNA structures
2023 |
Central Library of Charles University
publication
Boosting Inductive Logic Programming via Decomposition, Merging, and Refinement
2011 |
Faculty of Mathematics and Physics
publication
Synthesis and Rietveld refinement of skutterudite-related phase CoSn_1.5 Te_1.5
2008 |
Faculty of Science
publication
Refining bimodal microstructure of materials with MSTRUCT
2014 |
Faculty of Mathematics and Physics
publication
Design of ensemble-based component systems by invariant refinement
2013 |
Faculty of Mathematics and Physics
publication
Effect of Grain Refinement on Electrochemical Characteristics in AE42 Magnesium Alloy
2011 |
Faculty of Mathematics and Physics
publication
The microstructure changes in the grain refined Al-Si-Mg alloy with the electro hydro pulse treatment
2012 |
Faculty of Mathematics and Physics
publication
Developmental refinement of vesicle cycling at Schaffer collateral synapses
2013 |
Faculty of Medicine in Pilsen
publication
Effect of grain refinement on corrosion resistance of different magnesium alloys
2012 |
Faculty of Mathematics and Physics
publication
MIXED PRECISION ITERATIVE REFINEMENT WITH SPARSE APPROXIMATE INVERSE PRECONDITIONING
2023 |
Faculty of Mathematics and Physics
publication
THREE-PRECISION GMRES-BASED ITERATIVE REFINEMENT FOR LEAST SQUARES PROBLEMS
2020 |
Faculty of Mathematics and Physics
publication
Grain Refinement after Various Thermo-Mechanical Treatments in AZ80 and ZK60 Magnesium Alloys
2012 |
Faculty of Mathematics and Physics
publication
Constructing Domain-Specific Component Frameworks through Architecture Refinement
2009 |
Faculty of Mathematics and Physics
publication
Grain Refinement in Al-Mn-Fe-Si Alloys by Severe Plastic Deformation
2015 |
Faculty of Mathematics and Physics
publication
Mechanical twinning and microstructure refinement in metastable titanium alloys
2016 |
Faculty of Mathematics and Physics
publication
Grain refinement in aluminium alloy AlMgSi1 during ECAP at room temperature
2009 |
Faculty of Mathematics and Physics
publication
Electron Diffraction Tomography and Dynamical Refinement for Crystal-Structure Characterization of Nanocrystalline Materials
2015 |
Faculty of Mathematics and Physics
publication
Diffraction anisotropy and paired refinement: crystal structure of H33, a protein binder to interleukin 10
2023 |
Central Library of Charles University
publication
Nickel isotope fractionation during laterite Ni ore smelting and refining: Implications for tracing the sources of Ni in smelter-affected soils
2016 |
Faculty of Science