Results 161 to 170 of about 3,379,264 (310)

Synthesising Programs with Non-trivial Constants. [PDF]

J Autom Reason, 2023
Abate A, Barbosa H, Barrett C, David C, Kesseli P, Kroening D, Polgreen E, Reynolds A, Tinelli C.   +8 more
europepmc   +1 more source

Advancing Research on Biomaterials and Biological Materials with Scanning Electron Microscopy under Environmental and Low Vacuum Conditions

Advanced Engineering Materials, EarlyView.
Herein, environmental scanning electron microscopy (ESEM) is discussed as a powerful extension of conventional SEM for life sciences. By combining high‐resolution imaging with variable pressure and humidity, ESEM allows the analysis of untreated biological materials, supports in situ monitoring of hydration‐driven changes, and advances the functional ...
Jendrian Riedel, Lea Dierker, Antoine Eyram Kwame, Kim Nora Wagner, Jonas J. Unterholzner, Jan‐Henning Dirks, Dorothea Brüggemann   +6 more
wiley   +1 more source

Producing Proofs of Unsatisfiability with Distributed Clause-Sharing SAT Solvers. [PDF]

J Autom Reason
Michaelson D, Schreiber D, Heule MJH, Kiesl-Reiter B, Whalen MW.   +4 more
europepmc   +1 more source

Interpretable decision trees through MaxSAT. [PDF]

Artif Intell Rev, 2022
Alòs J, Ansótegui C, Torres E.
europepmc   +1 more source

Post Mortem Analysis of SAT Solver Proofs

POS@SAT, 2014
Laurent Simon
semanticscholar   +1 more source

Multimodal Mechanical Testing of Additively Manufactured Ti6Al4V Lattice Structures: Compression, Bending, and Fatigue

Advanced Engineering Materials, EarlyView.
In this experimental study, the mechanical properties of additively manufactured Ti‐6Al‐4V lattice structures of different geometries are characterized using compression, four point bending and fatigue testing. While TPMS designs show superior fatigue resistance, SplitP and Honeycomb lattice structures combine high stiffness and strength. The resulting
Klaus Burkart, Jonas Schmidt, Anastasiya Toenjes, Johanna Eisenträger   +3 more
wiley   +1 more source

Privacy-hardened and hallucination-resistant synthetic data generation with logic-solvers. [PDF]

Bioinformatics
Burgess MA, Hosking B, Reguant R, Kaphle A, O'Brien MJ, Sng LMF, Jain Y, Bauer DC.   +7 more
europepmc   +1 more source

Can Ti‐Based MXenes Serve as Solid Lubricants for Brake Applications? A Tribological Study

Advanced Engineering Materials, EarlyView.
This study explores the first implementation of Ti‐based MXenes materials in brake pad friction composite material. The resulting composite material exhibits a 48% reduction in the wear rate; alongside significant improvements are observed for thermal and mechanical properties.
Eslam Mahmoud, Jakob Gruber, Hakan Göçerler, Pierluigi Bilotto, Christian Gierl‐Mayer, Elham Loni, Michael Naguib, Carsten Gachot   +7 more
wiley   +1 more source

A Diagnostic Procedure for Identifying Isotherm Models in Liquid Chromatography. [PDF]

Ind Eng Chem Res
Katsoulas K, Galvanin F, Mazzei L, Sorensen E.   +3 more
europepmc   +1 more source

Microstructural Evolution and Vacancy Defect Formation in Mn–Mo–Ni RPV Steel Under Low Cycle Fatigue: Insights From EBSD and PALS

Advanced Engineering Materials, EarlyView.
Low‐cycle fatigue damage in Mn–Mo–Ni reactor pressure vessel steel is examined using a combined electron backscatter diffraction and positron annihilation lifetime spectroscopy approach. The study correlates texture evolution, dislocation substructure development, and vacancy‐type defect formation across uniform, necked, and fracture regions, providing
Apu Sarkar, Dhanadeep Dutta, G. Bharat Reddy   +2 more
wiley   +1 more source