Results 21 to 30 of about 554,382 (316)
Journal of Manufacturing and Materials Processing, 2021 In this paper, we introduce an advanced numerical tool aimed to optimise the infill design of 3D printed parts by reducing printing time. In 3D printing, the term infill refers to the internal structure of a part.
Sashi Kiran Madugula +3 more
doaj +1 more source
Relational Concurrent Refinement Part III: Traces, partial relations and automata [PDF]
, 2014 Data refinement in a state-based language such as Z is defined using a relational model in terms of the behaviour of abstract programs. Downward and upward simulation conditions form a sound and jointly complete methodology to verify relational data ...
Derrick, John, Boiten, Eerke Albert
core +1 more source
Impact of Refinements to Handling and Restraint Methods in Mice
Animals, 2022 There is increasing evidence that, compared to non-aversive handling methods (i.e., tunnel and cupping), tail handling has a negative impact on mouse welfare.
Jennifer R. Davies +3 more
doaj +1 more source
Refinement of Intentions [PDF]
, 2016 According to Bratman, future-directed intentions are high-level plans. We view such plans as high-level actions that can typically not be executed directly: they have to be progressively refined until executable basic actions are obtained. Higher- and lower-level actions are linked by the means-end relation, alias instrumentality relation.
Herzig, Andreas +3 more
openaire +3 more sources
Frontiers in Neuroscience, 2023 Experimental craniotomies are a common surgical procedure in neuroscience. Because inadequate analgesia appears to be a problem in animal-based research, we conducted this review and collected information on management of craniotomy-associated pain in ...
Hannah King +14 more
doaj +1 more source
Grain refinement efficiency of a new oxide-containing master alloy for aluminium casting alloys [PDF]
, 2014 In this study, grain refinement efficiency of a new oxide master alloy based on MgAl2O4 was demonstrated on an A357 alloy. The grain size of the reference alloy was reduced by 50-60% with the addition of the master alloy and introduction of ultrasonic ...
Dmitry G. Eskin +7 more
core +1 more source
Chemical vapor deposition of poly-p-xylylene in narrow tubes
AIP Advances, 2017 Depositing a film via chemical vapor deposition results in superior conformity compared with other deposition techniques, primarily due to the unique chemical interactions between the surface and the reactive compounds.
Sara Felicitas Bröskamp +4 more
doaj +1 more source
Abstraction Refinement Guided by a Learnt Probabilistic Model [PDF]
, 2015 The core challenge in designing an effective static program analysis is to find a good program abstraction -- one that retains only details relevant to a given query. In this paper, we present a new approach for automatically finding such an abstraction.
Grigore, R +6 more
core +1 more source
, 2016 "Big data" has become a major area of research and associated funding, as well as a focus of utopian thinking. In the still growing research community, one of the favourite optimistic analogies for data processing is that of the oil refinery, extracting ...
Eerke A. Boiten, Boiten, Eerke Albert
core +1 more source
A Case Study in Partial Specification: Consistency and Refinement for Object-Z [PDF]
, 2000 The 'viewpoint' approach, in which a system is described by several partial specifications, has been proposed as a way of making complex computing systems more understandable.
Derrick, J., Taylor, C., Boiten, E.
core +1 more source