Results 131 to 140 of about 2,328,269 (347)

Synthesis from Knowledge-Based Specifications

, 2013
In program synthesis, we transform a specification into a program that is guaranteed to satisfy the specification. In synthesis of reactive systems, the environment in which the program operates may behave nondeterministically, e.g., by generating different sequences of inputs in different runs of the system.
van der Meyden, Ron, Vardi, Moshe Y.
openaire   +2 more sources

The BMDV Network of Experts – ‘Knowledge – Ability – Action‘ : Synthesis Report on the 2020-2022 Research Period

, 2023

openalex   +1 more source

Additive Manufacturing of Continuous Fibre Reinforced Composites: Process, Characterisation, Modelling, and Sustainability

Advanced Engineering Materials, EarlyView.
Additive manufacturing provides precise control over the placement of continuous fibres within polymer matrices, enabling customised mechanical performance in composite components. This article explores processing strategies, mechanical testing, and modelling approaches for additive manufactured continuous fibre‐reinforced composites.
Cherian Thomas, Amir Hosein Sakhaei
wiley   +1 more source

Developing a Theory of Change for a Digital Youth Mental Health Service (Moderated Online Social Therapy): Mixed Methods Knowledge Synthesis Study. [PDF]

JMIR Form Res, 2023
Cross S, Nicholas J, Mangelsdorf S, Valentine L, Baker S, McGorry P, Gleeson J, Alvarez-Jimenez M.   +7 more
europepmc   +1 more source

XV. Biology and the Rise of the Social Sciences

, 1958
Modern science, it has been said, has undergone three revolutions: the Copernican, the Newtonian, and the Darwinian. This oversimplification is valid if our standard of judgment is social impact.
Bloom, Robert L., Crapster, Basil L., Dunkelberger, Harold L., Glatfelter, Charles H., Mara, Richard T., Richardson, Norman E., Schubart, W. Richard   +6 more
core  

Multimodal Data‐Driven Microstructure Characterization

Advanced Engineering Materials, EarlyView.
A self‐consistent autonomous workflow for EBSP‐based microstructure segmentation by integrating PCA, GMM clustering, and cNMF with information‐theoretic parameter selection, requiring no user input. An optimal ROI size related to characteristic grain size is identified.
Qi Zhang, Santiago Benito, Özge Özgün, Sebastian Weber, Markus Stricker   +4 more
wiley   +1 more source

Synthesizing evidence and identifying knowledge gaps in the role of swine in Japanese encephalitis virus transmission: a rapid systematic review of the literature

Frontiers in Sustainable Food Systems
The United States is considered a susceptible region with great potential for the introduction of the Japanese encephalitis virus (JEV) given the presence of competent mosquito vector species, susceptible maintenance avian hosts, large populations of ...
V. Horton, C. J. Hanthorn, A. L. Dixon, S. E. Edache, A. Thackrah, D. Mitzel, L. Noronha, L. W. Cohnstaedt, V. R. Brown, C. Mire, N. Cernicchiaro   +10 more
doaj   +1 more source

Machine learning on small size samples: A synthetic knowledge synthesis. [PDF]

Sci Prog, 2022
Kokol P, Kokol M, Zagoranski S.
europepmc   +1 more source

A Topology Optimization Framework for the Inverse Design of Nonlinear Mechanical Metamaterials

Advanced Engineering Materials, EarlyView.
This work uses topology optimization to design unit cells for mechanical metamaterials with a prescribed nonlinear stress–strain response. The framework adds contact and postbuckling modeling to synthesize microstructures for three highly nonlinear responses, including pseudoductile behavior, monostable with snap‐through buckling, and bistable ...
Charlie Aveline, Matthew Santer, Robert Hewson   +2 more
wiley   +1 more source

Literature Reviews: Key Considerations and Tips From Knowledge Synthesis Librarians. [PDF]

J Grad Med Educ, 2022
Parker R, Sikora L.
europepmc   +1 more source