Results 11 to 20 of about 16,156,613 (303)
Liberal Arts and Science University and the Global Challenges of the 21st Century
Вестник Волгоградского государственного университета. Серия 4. История, регионоведение, международные отношения, 2020 Introduction. Over the last 30 years, the educational model based on liberal arts and sciences has spread beyond its traditional United States to other parts of the world.
Darya B. Pushkina
doaj +1 more source
Specification Format for Reactive Synthesis Problems [PDF]
Electronic Proceedings in Theoretical Computer Science, 2016 Automatic synthesis from a given specification automatically constructs correct implementation. This frees the user from the mundane implementation work, but still requires the specification. But is specifying easier than implementing?
Ayrat Khalimov
doaj +1 more source
StackGAN: Text to Photo-Realistic Image Synthesis with Stacked Generative Adversarial Networks [PDF]
IEEE International Conference on Computer Vision, 2016 Synthesizing high-quality images from text descriptions is a challenging problem in computer vision and has many practical applications. Samples generated by existing textto- image approaches can roughly reflect the meaning of the given descriptions, but
Han Zhang +6 more
semanticscholar +1 more source
Graphene synthesis, characterization and its applications: A review
Results in Chemistry, 2021 Since 2004, graphene has attracted a lot of attention among scientists and engineers. In recent years, graphene, a two dimensional monolayer planar sheet of sp2-bonded carbon atom has witnessed a revolution in its applications because of its exemplary ...
V. B. Mbayachi +5 more
semanticscholar +1 more source
Current Situation and Progress of Evidence Synthesis Methodology
Xiehe Yixue Zazhi, 2023 Evidence synthesis is the synthesis of existing research using a systematic and appropriate method. Various types of evidence synthesis are currently in use.
SU Renfeng +11 more
doaj +1 more source
Journal of Nanobiotechnology, 2021 The agricultural sector is currently facing many global challenges, such as climate change, and environmental problems such as the release of pesticides and fertilizers, which will be exacerbated in the face of population growth and food shortages ...
Howra Bahrulolum +6 more
semanticscholar +1 more source
DreamCoder: bootstrapping inductive program synthesis with wake-sleep library learning
ACM-SIGPLAN Symposium on Programming Language Design and Implementation, 2021 We present a system for inductive program synthesis called DreamCoder, which inputs a corpus of synthesis problems each specified by one or a few examples, and automatically derives a library of program components and a neural search policy that can be ...
Kevin Ellis +8 more
semanticscholar +1 more source
Theoretical problems of component-based structural synthesis
Lietuvos Matematikos Rinkinys, 2005 The Structural Synthesis of Programs (SSP) method is based on the idea that programs can be constructed taking into account only their structural properties.
Vaidas Giedrimas, Audronė Lupeikienė
doaj +3 more sources
Jisuanji kexue yu tansuo, 2021 Face synthesis is one of the hot topics in the field of computer vision because of its application and technical value. In recent years, the breakthrough of deep learning has attracted much attention in this field. This paper divides the research in this
FEI Jianwei1, XIA Zhihua2+, YU Peipeng1, DAI Yunshu1
doaj +1 more source
Silver nanoparticles: Synthesis, medical applications and biosafety
Theranostics, 2020 Silver nanoparticles (AgNPs) have been one of the most attractive nanomaterials in biomedicine due to their unique physicochemical properties. In this paper, we review the state-of-the-art advances of AgNPs in the synthesis methods, medical applications ...
Li Xu +5 more
semanticscholar +1 more source