76 – 90 of 16610
- show: 15
- |
- sort: year (new to old)
Close
Embed this list
<iframe src=" "
width=" "
height=" "
allowtransparency="true"
frameborder="0">
</iframe>
- 2024
-
Mark
Pseudo-Boolean Reasoning About States and Transitions to Certify Dynamic Programming and Decision Diagram Algorithms
2024) 30th International Conference on Principles and Practice of Constraint Programming, CP 2024 In Leibniz International Proceedings in Informatics (LIPIcs) 307.(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Impact of final design on daylight provision
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
The effect of workpiece grain size on surface integrity in orthogonal cutting of Inconel 718
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
The Transformative Potential of the Craft Imaginary - A Study on Craft Brewing
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Analyzing Building Permit Processes Across Europe
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
On the surface integrity of machined aero-engine grade Ni-based superalloy billets produced by the field-assisted sintering technology (FAST) route
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Drivers and Barriers for “Circular” Consumer Electronics in the European Union
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Flow characterization of the Mach 5 hypersonic nozzle of VKI-H3 wind tunnel
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
VNN: Verification-Friendly Neural Networks with Hard Robustness Guarantees
2024) 41st International Conference on Machine Learning, ICML 2024 In Proceedings of Machine Learning Research 235. p.2846-2856(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Realization of MIMO-SLSs from Markov Parameters via Forward/Backward Corrections
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
MIMO-SLS Identification from Input-Output Data
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Large-Eddy Simulations of Thermal Ribbed Duct Flows
2024)(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Developing ultrasound optical tomography for deep tissue imaging of the breast
2024) 17th International Workshop on Breast Imaging, IWBI 2024 In Proceedings of SPIE - The International Society for Optical Engineering 13174.(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Breast cancer diagnosis using extended-wavelength diffuse reflectance spectroscopy : comparing tumor subgroups
2024) 17th International Workshop on Breast Imaging, IWBI 2024 In Proceedings of SPIE - The International Society for Optical Engineering 13174.(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Fast Parallelizable Misuse-Resistant Authenticated Encryption : Low Latency (Decryption-Fast) SIV
2024) Selected Areas in Cryptography 2024(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding