On May 21st, Christie’s will host its Design sale in Paris, featuring nearly 220 lots with a total estimated value between €8 and €11 million.
Abstract: Refinement types can be the vector that brings formal verification into mainstream software development. This happy outcome hinges upon the design and implementation of refinement type ...
Abstract: An adaptive h-refinement algorithm is investigated for the electric field integral equation applied to a conducting missile target. The process incorporates the advancing front Delaunay ...
For more details about installation, please refer to installation guide. If you use DARA in your research, please consider citing the following paper: @article{doi:10 ...
Python 3.6.9, TensorFlow 1.11.1 Follow Tensorflow installation procedure. Compile the customized TF operators by sh complile_op.sh. Follow the information from here to compile the TF operators. Train ...
This work describes the synthesis and characterization of BiFeO3 obtained by the Pechini route using bismuth nitrate and iron nitrate as precursors. The powders were annealed at 800 °C in air for 2 h.
Some results have been hidden because they may be inaccessible to you
Show inaccessible results