Results 11 to 20 of about 16,212,430 (313)
Exploring the role of conceptual scaffolding in solving synthesis problems
It is well documented that when solving problems experts first search for underlying concepts while students tend to look for equations and previously worked examples.
Lin Ding1,* +3 more
doaj +3 more sources
The ability to solve physics problems that require multiple concepts from across the physics curriculum—“synthesis” problems—is often a goal of physics instruction.
Ryan Badeau +4 more
doaj +2 more sources
Exact and approximate methods for proving unrealizability of syntax-guided synthesis problems [PDF]
We consider the problem of automatically establishing that a given syntax-guided-synthesis (SyGuS) problem is unrealizable (i.e., has no solution). We formulate the problem of proving that a SyGuS problem is unrealizable over a finite set of examples as ...
Qinheping Hu +3 more
semanticscholar +1 more source
StackGAN: Text to Photo-Realistic Image Synthesis with Stacked Generative Adversarial Networks [PDF]
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
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
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
Silver nanoparticles: Synthesis, medical applications and biosafety
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
Abstractions and sensor design in partial-information, reactive controller synthesis [PDF]
Automated synthesis of reactive control protocols from temporal logic specifications has recently attracted considerable attention in various applications in, for example, robotic motion planning, network management, and hardware design.
Dimitrova, Rayna, Fu, Jie, Topcu, Ufuk
core +2 more sources
Novel membranes based on cellulose for gas separation and green method for their preparing
A «green» method of obtaining gas separation composite membranes from cellulose solutions and its mixtures with chitosan in orthophosphoric acid is proposed for industrial use, and differs from the viscose method of producing cellophane and other known ...
Valeryia B. Filistovich +6 more
doaj +1 more source
Using molecular dynamics, a comparative study was performed of two pairs of glassy polymers, low permeability polyetherimides (PEIs) and highly permeable Si-containing polytricyclononenes.
Mikhail Mazo +4 more
doaj +1 more source

