Filters








367 Hits in 10.3 sec

Report of the Workshop on Program Synthesis for Scientific Computing [article]

Hal Finkel, Ignacio Laguna
2021 arXiv   pre-print
This report reviews the relevant areas of program synthesis work for scientific computing, discusses successes to date, and outlines opportunities for future work.  ...  Program synthesis is an active research field in academia, national labs, and industry.  ...  The Sparse Polyhedral Framework [95] provides a possible foundation for composing data and schedule transformations with compile-time and runtime components in the context of program synthesis. • Stability  ... 
arXiv:2102.01687v1 fatcat:vaq33ohgq5aczmiq5rci5hbpdi

Logic Synthesis [chapter]

2017 Electronic Design Automation for IC Implementation, Circuit Design, and Process Technology  
., and Cong, J., Improving high-level synthesis optimization opportunity through polyhedral transformations, in ACM/SIGDA International Symposium on Field-Programmable Gate Arrays, 2013, pp. 9-18. 48.  ...  Wolf, High Level VLSI Synthesis, Kluwer Academic Publishers, Boston, MA, 1991. 22. D. Gajski and L. Ramachandran, Introduction to high-level synthesis, IEEE Des. Test Comput., 11, 44-54, 1994. 23. R.  ... 
doi:10.1201/9781315215112-13 fatcat:me52zpnxyfcczh3choo2p4zulm

High Throughput Methods in the Synthesis, Characterization, and Optimization of Porous Materials

Ivan G Clayson, Daniel Hewitt, Martin Hutereau, Tom Pope, Ben Slater
2020 Advanced Materials  
Whilst high throughput approaches have been used for more than 30 years in the porous material fields, routine integration of experimental and computational processes is only now becoming more established  ...  Synthesis, characterization, and pre- and post-synthetic computer simulations are mostly carried out in a piecemeal and ad hoc manner.  ...  Acknowledgements B.S. would like to thank EPSRC for funding the programme grant EP/ N004884/1 and a CASE studentship and a doctoral training centre studentship (with Johnson Matthey) which have helped  ... 
doi:10.1002/adma.202002780 pmid:32954550 fatcat:43qjqaflprfrtlz6y3z5lmkh74

Synthesis, Crystal Structure and Properties of a Perovskite-Related Bismuth Phase, (NH4)3Bi2I9 [article]

Shijing Sun, Satoshi Tominaka, Jung-Hoon Lee, Fei Xie, Paul D. Bristowe, Anthony K. Cheetham
2015 arXiv   pre-print
However, due to the environmental and stability concerns of the heavy metal, lead, in these perovskite based solar cells, research in the non-lead perovskite structures have been attracting increasing  ...  The results from DFT calculations showed the significant lone pair effect of the bismuth ion and the band gap was measured as around 2.04 eV, which is lower than the band gap of CH3NH3PbBr3.  ...  Acknowledgements This work was supported by Cambridge Overseas Trust, Winton Programme for the Physics of Sustainability at the University of Cambridge, Advanced Investigator Award to AKC from the European  ... 
arXiv:1509.08126v1 fatcat:ngz5wof3jrchpaax4hsisolkmq

Polyoxometalates: Synthesis and Structure – From Building Blocks to Emergent Materials [chapter]

M. Hutin, M.H. Rosnes, D.-L. Long, L. Cronin
2013 Comprehensive Inorganic Chemistry II  
Therefore, a good level of prediction of their shape via computational methods and fundamental research will have to be achieved.  ...  Figure 23 shows some of these architectures, emphasizing the crucial roles of counter-ions and solvent molecules in their isolation.  ... 
doi:10.1016/b978-0-08-097774-4.00210-2 fatcat:xs6ysar4njf2fdac4dul42nclu

Synthesis, Characterisation and Luminescent Properties of Lanthanide-Organic Polymers with Picolinic and Glutaric Acids

Penka I. Girginova, Filipe A. Almeida Paz, Paula C. R. Soares-Santos, R. A. Sá Ferreira, Luís D. Carlos, Vítor S. Amaral, Jacek Klinowski, Helena I. S. Nogueira, Tito Trindade
2007 European Journal of Inorganic Chemistry  
The crystal structure of the complex [Sm(glu)(pic)-(H 2 O) 2 ] (where Hpic and H 2 glu stand for picolinic and glutaric acid, respectively) was determined by single-crystal Xray diffraction.  ...  Three new lanthanide(III) complexes (Ln = Sm, Tb and Eu) of picolinic and glutaric acid were prepared and characterised.  ...  Acknowledgments We are grateful to Fundação para a Ciência e Tecnologia (FCT) for their general financial support (POCI/QUI/58377/2004), for support by FEDER and for the PhD and post-doctoral research  ... 
doi:10.1002/ejic.200601213 fatcat:4ksnjxwxxjc7pobttat3aqn2ku

Nanomaterials: A review of synthesis, properties, recent progress, and challenges

Nadeem Baig, Irshad Kammakakam, W.S. Falath
2021 Materials Advances  
Nanomaterials have emerged as an amazing class of materials that consists of a broad spectrum of materials with at least one dimension in the range of 1 to 100 nm....  ...  Acknowledgements The authors would like to acknowledge support provided by the King Fahd University of Petroleum and Minerals.  ...  Several state-of-theart reviews are present in the literature that focus explicitly on the synthesis, properties, advances, and applications of nanoporous materials. 85, [287] [288] [289] Based on the  ... 
doi:10.1039/d0ma00807a fatcat:lxro7mviqjfnbjhdue46mgrvei

Representations and Techniques for 3D Object Recognition and Scene Interpretation

Derek Hoiem, Silvio Savarese
2011 Synthesis Lectures on Artificial Intelligence and Machine Learning  
This work was supported in part by the Office of Naval Research under N00014-01-1-0890 as part of the MURI program and Beckman Fellowship for Derek Hoiem.  ...  We thank Bill Freeman for useful suggestions about the inference, Navneet Dalal for providing code and data, Moshe Mahler for his illustration in Figure 2 , Takeo Kanade for his car-road illustrative  ...  system as a sequential process, producing increasingly high-level descriptions of the scene: from a low-level primal sketch to a 2 1 2 D sketch of surfaces to a full 3D model of the scene [156] .  ... 
doi:10.2200/s00370ed1v01y201107aim015 fatcat:762pgoqa5jhwlji7w4laoiu3ym

On the formation of gold nanoparticles from [AuIIICl4]− and a non-classical reduced polyoxomolybdate as an electron source: a quantum mechanical modelling and experimental study

Zhongling Lang, Isabel Maicas Gabas, Xavier López, Anna Clotet, Jesús M. de la Fuente, Scott G. Mitchell, Josep M. Poblet
2016 New Journal of Chemistry  
DFT calculations and experimental data prove that the [Na{(MoV2O4)3(μ2-O)3(μ2-SO3)3(μ6-SO3)}2]15− POM is capable of completely reducing Au(iii) to Au(0).  ...  Dr Alfonso Ibarra (LMA-UNIZAR) provided invaluable advice and assistance with the electron microscopy data. Notes and references  ...  Acknowledgements The authors are grateful to COST Action CM1203 ''Polyoxometalate Chemistry for Molecular Nanoscience (PoCheMoN)'' for supporting this work, and also to the Spanish Government (Grant no  ... 
doi:10.1039/c5nj02773j fatcat:tjvkld72rrffbdvpe2djcd47wy

Progressive Raising in Multi-level IR

Lorenzo Chelini, Andi Drebes, Oleksandr Zinenko, Albert Cohen, Nicolas Vasilache, Tobias Grosser, Henk Corporaal
2021 2021 IEEE/ACM International Symposium on Code Generation and Optimization (CGO)  
domain-specific and high-level abstractions directly in the IR.  ...  But, while such frameworks support the progressive lowering of high-level representations to low-level IR, they do not raise in the opposite direction.  ...  The research of Tobias Grosser is partially supported through the Swiss National Science Foundation under the Ambizione programme (grant PZ00P2168016) and ARM Ltd. and Xilinx Inc., in the context of Polly  ... 
doi:10.1109/cgo51591.2021.9370332 fatcat:vwomis2givhjvdbeidzt5pz45y

Copper nanoclusters: designed synthesis, structural diversity, and multiplatform applications

Ani Baghdasaryan, Thomas Bürgi
2021 Nanoscale  
The molecular-like properties that originate from the quantized electronic states provide...  ...  Atomically precise metal nanoclusters (MNCs) have gained a tremendous research interest in recent years due to their extraordinary properties.  ...  Acknowledgements Financial support from the Swiss National Science Foundation (Grant 200020_172511) and the University of Geneva is kindly acknowledged.  ... 
doi:10.1039/d0nr08489a pmid:33885518 fatcat:4nfk4zbl2ndh5gd3jtxpjetoza

Physical Models of Plant Development

Olivier Ali, Vincent Mirabet, Christophe Godin, Jan Traas
2014 Annual Review of Cell and Developmental Biology  
The definition of shape in multicellular organisms is a major issue of developmental biology. It is well established that morphogenesis relies on genetic regulation.  ...  Besides experiments, theoretical models and numerical simulations of growing tissues are powerful tools to investigate the link between genetic regulation and mechanics.  ...  ACKNOWLEDGMENTS Olivier Ali and Jan Traas are funded by an ERC fellowship ("Morphodynamics"), and Christophe Godin and Jan Traas are supported by an INRIA grant ("Morphogenetics").  ... 
doi:10.1146/annurev-cellbio-101512-122410 pmid:25000996 fatcat:4b5dpzesubhihjv2gefnupukqa

Adult Stem Cell Therapies for Wound Healing: Biomaterials and Computational Models

Daniele Tartarini, Elisa Mele
2016 Frontiers in Bioengineering and Biotechnology  
In this scenario, mathematical frameworks for the simulation of cell population growth can provide support for the design of bioconstructs, reducing the need of expensive, time-consuming, and ethically  ...  Therapies based on stem cells (SCs) have been proposed for the treatment of these wounds, thanks to the ability of SCs to self-renew and specifically differentiate in response to the target bimolecular  ...  The collagen-PLGA scaffolds were implanted in vivo and MSCs promoted collagen synthesis and reepithelialization of the insulted skin.  ... 
doi:10.3389/fbioe.2015.00206 pmid:26793702 pmcid:PMC4707872 fatcat:ya7owlofbrffdoznrdve7qjs5a

Worst-case throughput analysis of real-time dynamic streaming applications

Firew Siyoum, Marc Geilen, Orlando Moreira, Henk Corporaal
2012 Proceedings of the eighth IEEE/ACM/IFIP international conference on Hardware/software codesign and system synthesis - CODES+ISSS '12  
an analysis framework that takes a high-level DDN specification of a dataflow application as an input and then 1) automatically constructs an FSM-based SADF dataflow model, 2) verifies basic properties  ...  These applications change their graph structure, data rates and computation loads, depending on their operating modes.  ...  The above discussed contributions form an analysis framework that takes a high-level DDN specification of a streaming application as an input.  ... 
doi:10.1145/2380445.2380517 dblp:conf/codes/SiyoumGMC12 fatcat:2vxjwmsjfvaf3dnfsm4k4dmwra

Al/Ga-doped Li7La3Zr2O12 (LLZO) Garnets as Li-ion Solid-State Battery Electrolytes: Atomistic Insights into Local Coordination Environments and their Influence on 17O, 27Al and 71Ga NMR Spectra

Bora Karasulu, Steffen P. Emge, Matthias F. Groh, Clare P. Grey, Andrew J. Morris
2020 Journal of the American Chemical Society  
Specifically, the two characteristic features observed in both 27Al and 71Ga NMR spectra result from both the deviations in the polyhedral coordination/site-symmetry within the 4-fold coordinated Li1/24d  ...  A correlation between the size of the 27Al/71Ga quadrupolar coupling and the distortion of the doping sites (viz.  ...  This work has been performed partly using resources provided by the "Cambridge Service for Data Driven Discovery" (CSD3, http:// csd3.cam.ac.uk) system operated by the University of Cambridge Research  ... 
doi:10.1021/jacs.9b12685 pmid:31951131 pmcid:PMC7146863 fatcat:l3sks4xdwvhbjkvelc2anchmoe
« Previous Showing results 1 — 15 out of 367 results