Results 91 to 100 of about 1,438,260 (332)
Advanced Engineering Materials, EarlyView.Developing process parameters for the laser‐based Powder Bed Fusion of metals can be a tedious task. Based on melt pool depth, the process parameters are transferable to different laser scan speeds. For this, understanding the melt pool scaling behavior is essential, particularly for materials with high thermal diffusivity, as a change in scaling ...
Markus Döring +2 more
wiley +1 more source
Logical foundations and implementation of an extension of temporal logic
Journal of Computer Science and Technology, 2000 The need of counting with the appropiate management of situations involving time an the motion of change, has been reconized as an important aspect in many Computer Science areas.
María Laura Cobo, Juan Carlos Augusto
doaj
Analysing the Complexity of Functional Programs: Higher-Order Meets First-Order (Long Version) [PDF]
arXiv, 2015 We show how the complexity of higher-order functional programs can be analysed automatically by applying program transformations to a defunctionalized versions of them, and feeding the result to existing tools for the complexity analysis of first-order term rewrite systems.
arxiv
Constructive Provability Logic [PDF]
, 2011 We present constructive provability logic, an intuitionstic modal logic that validates the L\"ob rule of G\"odel and L\"ob's provability logic by permitting logical reflection over provability.
Simmons, Robert J., Toninho, Bernardo
core +4 more sources
Linguistic Reflection in Java [PDF]
, 1998 Reflective systems allow their own structures to be altered from within. Here we are concerned with a style of reflection, called linguistic reflection, which is the ability of a running program to generate new program fragments and to integrate these ...
Kirby, G. N. C. +2 more
core +4 more sources
Nonlinearity and Domain Switching in a 3D‐Printed Architected Ferroelectric
Advanced Engineering Materials, EarlyView.By combining functional properties measurement with in situ 2D X‐ray microdiffraction experiments, it is shown that nonlinear polarization and strain responses of a 3D‐printed architected ferroelectric are driven by localized progression of domain switching, which depends on nonuniform electric‐field distribution as well as evolving stress fields.
Abhijit Pramanick +7 more
wiley +1 more source
Advanced Engineering Materials, EarlyView.This article provides a comprehensive overview of fundamentals and recent advances of transparent thin‐film surface acoustic wave technologies on glass substrates for monitoring and prevention/elimination of fog, ice, and frost. Fogging, icing, or frosting on optical lenses, optics/photonics, windshields, vehicle/airplane windows, and solar panel ...
Hui Ling Ong +11 more
wiley +1 more source
Turning engineers into reflective university teachers [PDF]
, 2006 Increasing attention to quality and innovation in Higher Education (HE) is enhancing the pedagogic knowledge of faculty members and thereby encouraging the academic success of their students.
Huet, I., Tavares, J., Weir, G.R.S.
core
Advanced Engineering Materials, EarlyView.This study explores the energy conversion in powder bed fusion of polymers using laser beam for polyamide 12 and polypropylene powders. It combines material and process data, using dimensionless parameters and numerical models, to enable the prediction of suitable printing parameters.
Christian Schlör +9 more
wiley +1 more source
Automated Feedback for 'Fill in the Gap' Programming Exercises [PDF]
, 2005 Timely feedback is a vital component in the learning process. It is especially important for beginner students in Information Technology since many have not yet formed an effective internal model of a computer that they can use to construct viable ...
Bancroft, Peter, Roe, Paul, Truong, Dinh
core +1 more source