Holst carsten (24 Ergebnisse)

Zustand: As New. Unread book in perfect condition.

Zustand: As New. Unread book in perfect condition.

Paperback. Zustand: New.

Zustand: New.

Zustand: New. In English.

Zustand: New. pp. 376.

Paperback. Zustand: Brand New. 296 pages. 9.61x6.69x0.67 inches. In Stock.

Paperback. Zustand: Brand New. reprint edition. 376 pages. 9.50x6.60x0.85 inches. In Stock.

Zustand: New.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - The Glasgow functional programming group has held a workshop each summer since 1988. The entire group, accompanied by a selection of colleagues from other institutions, retreats to a pleasant Scottish location for a few days. Everyone speaks briefly, enhancing coherence, cross fertilisation, and camaraderie in our work. The proceedings of the first workshop were published as a technical report. Demand for this was large enough to encourage wider publication, and subsequent proceedings have been published in the Springer-Verlag Workshops in Computing series. These are the proceedings of the-meeting held 12-14 August 1991, in Portree on the Isle of Skye. A preliminary proceedings was prepared in advance of the meeting. Most presentations were limited to a brief fifteen minutes, outlining the essentials of their subject, and referring the audience to the pre-print proceedings for details. Papers were then refereed and rewritten, and you hold the final results in your hands. A number of themes emerged at this year's workshop, including relational algebra and its application to hardware design, partial evaluation and program transformation, implementation techniques, and strictness analysis. We were especially pleased to see applications of functional programming emerge as a theme. One of the sessions was devoted to a lively discussion of applications, and was greatly enhanced by our industrial participants. The workshop was organised by Kei Davis, Cordelia Hall, Rogardt Heldal, Carsten Kehler Holst, John Hughes, John O'Donnell, and Satnam Singh all from the University of Glasgow.…

Zustand: New. Lifetime Analysis.- Compiling Laziness by Partial Evaluation.- Strictness Analysis in 4D.- An Algorithmic and Semantic Approach to Debugging.- Abstract Interpretation of Term Graph Rewriting Systems.- Compile-Time Garbage Collection by Necessity Analysis.- .

PF. Zustand: New.

Taschenbuch. Zustand: Neu. Neuware - The Third Glasgow Workshop on Functional Programming was held in Ullapool, Scotland, 13-15th August 1990. Members of the functional programming groups at Glasgow and Stirling University attended the workshop together with a small number of invited participants from other universities and industry. The workshop was organised by Kei Davis, Jak Deschner, Kevin Hammond, Carsten Kehler Holst, John Hughes, Graham Hutton, and John Launchbury, all from Glasgow University. We are very grateful for the support of our industrial sponsors: British Telecom, Hewlett Packard, ICL and Software AG. Their financial help made the workshop possible. Thanks to Samson Abramsky, Tony Field, and Paul Kelly, all from Imperial College, for their help in refereeing many of the papers. Glasgow University The Programme Committee: December 1990 Simon Peyton Jones (chairman) Chris Hankin Carsten Kehler Holst John Hughes Graham Hutton Philip Wadler Contents Lifetime Analysis Guy Argo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Compiling Laziness by Partial Evaluation Anders Bondorf . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9 Strictness Analysis in 4D Kei Davis and Philip Wadler . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23 An Algorithmic and Semantic Approach to Debugging Cordelia Hall, Kevin Hammond and John O'Donnell . . . . . . . . . . . . . . . . . . . . 44 Abstract Interpretation of Term Graph Rewriting Systems Chris Hankin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 54 Compile-Time Garbage Collection by Necessity Analysis Geoff W Hamilton and Simon B. Jones. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 66 Improving Full Laziness Carsten Kehler Holst . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 71 Towards Binding-Time Improvement for Free Carsen Kehler Holst and John Hughes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 83 Towards Relating Forwards and Backwards Analyses John Hughes and John Launchbury . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 101 PERs Generalise Projections for Strictness Analysis Sebastian Hunt . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 114 Functional Programming with Relations Graham Hutton . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .…

Zustand: New. In English.

Taschenbuch. Zustand: Neu. Automated Flank Wear Segmentation and Measurement with Deep Learning Image Processing | Carsten Holst | Taschenbuch | Englisch | 2025 | Apprimus Verlag | EAN 9783985552610 | Verantwortliche Person für die EU: preigu GmbH & Co. KG, Lengericher Landstr. 19, 49078 Osnabrück, mail[at]preigu[dot]de | Anbieter: preigu. …

Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The aim of this thesis was to develop and optimize deep learning models specifically designed for the identification of tool wear on microscopic images of cutting tools and cutting tool edges. Cutting tool wear has an impact on dimensional accuracy and surface quality of parts, ultimately affecting the costs associated with meeting part quality criteria.To accomplish this objective, the creation of a tool wear model based on empirical tool life trials was conducted. An outcome of the trials was the generation of a dataset of images, which were then utilized to develop a deep learning model capable of segmenting cutting tool flank wear. To ensure the effectiveness of the deep learning model, a screening analysis was conducted to investigate various dataset properties and model hyperparameters that could influence the quality of predictions. The screening analysis helped identify the key factors that significantly impacted the performance of the model. Building upon the insights gained from the screening analysis, the thesis proceeded with an in-depth investigation of the most influential factors. This investigation led to the development of a decision model that could guide the selection of dataset-specific hyperparameters for optimal performance. To validate the effectiveness of the model optimization strategy, a machine tool integrated measurement setup was employed, utilizing a microscope as well as a camera. These use cases provided a practical assessment of the developed deep learning model and its ability to identify and assess tool wear in a real-world manufacturing scenario.By developing and refining deep learning models for tool wear identification on microscopic images, this thesis contributes to enhancing the understanding and management of tool wear in the manufacturing industry. The optimized models have the potential to facilitate timely maintenance interventions, minimize production errors, and reduce costs associated with part quality deviations. Moreover, the decision model for dataset-specific hyperparameter selection provides a valuable framework for researchers and practitioners working on similar image-based classification problems. 182 pp. Englisch.…

Taschenbuch. Zustand: Neu. nach der Bestellung gedruckt Neuware - Printed after ordering - The aim of this thesis was to develop and optimize deep learning models specifically designed for the identification of tool wear on microscopic images of cutting tools and cutting tool edges. Cutting tool wear has an impact on dimensional accuracy and surface quality of parts, ultimately affecting the costs associated with meeting part quality criteria.To accomplish this objective, the creation of a tool wear model based on empirical tool life trials was conducted. An outcome of the trials was the generation of a dataset of images, which were then utilized to develop a deep learning model capable of segmenting cutting tool flank wear. To ensure the effectiveness of the deep learning model, a screening analysis was conducted to investigate various dataset properties and model hyperparameters that could influence the quality of predictions. The screening analysis helped identify the key factors that significantly impacted the performance of the model. Building upon the insights gained from the screening analysis, the thesis proceeded with an in-depth investigation of the most influential factors. This investigation led to the development of a decision model that could guide the selection of dataset-specific hyperparameters for optimal performance. To validate the effectiveness of the model optimization strategy, a machine tool integrated measurement setup was employed, utilizing a microscope as well as a camera. These use cases provided a practical assessment of the developed deep learning model and its ability to identify and assess tool wear in a real-world manufacturing scenario.By developing and refining deep learning models for tool wear identification on microscopic images, this thesis contributes to enhancing the understanding and management of tool wear in the manufacturing industry. The optimized models have the potential to facilitate timely maintenance interventions, minimize production errors, and reduce costs associated with part quality deviations. Moreover, the decision model for dataset-specific hyperparameter selection provides a valuable framework for researchers and practitioners working on similar image-based classification problems.; Dissertationsschrift.…

Zustand: New. Print on Demand pp. 376 67:B&W 6.69 x 9.61 in or 244 x 170 mm (Pinched Crown) Perfect Bound on White w/Gloss Lam.

Zustand: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Published in collaboration with the British Computer SocietyThe Glasgow functional programming group has held a workshop each summer since 1988. The entire group, accompanied by a selection of colleagues from other institutions, retreats to a pleasant S.…

Zustand: New. PRINT ON DEMAND pp. 376.

Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The Glasgow functional programming group has held a workshop each summer since 1988. The entire group, accompanied by a selection of colleagues from other institutions, retreats to a pleasant Scottish location for a few days. Everyone speaks briefly, enhancing coherence, cross fertilisation, and camaraderie in our work. The proceedings of the first workshop were published as a technical report. Demand for this was large enough to encourage wider publication, and subsequent proceedings have been published in the Springer-Verlag Workshops in Computing series. These are the proceedings of the-meeting held 12-14 August 1991, in Portree on the Isle of Skye. A preliminary proceedings was prepared in advance of the meeting. Most presentations were limited to a brief fifteen minutes, outlining the essentials of their subject, and referring the audience to the pre-print proceedings for details. Papers were then refereed and rewritten, and you hold the final results in your hands. A number of themes emerged at this year's workshop, including relational algebra and its application to hardware design, partial evaluation and program transformation, implementation techniques, and strictness analysis. We were especially pleased to see applications of functional programming emerge as a theme. One of the sessions was devoted to a lively discussion of applications, and was greatly enhanced by our industrial participants. The workshop was organised by Kei Davis, Cordelia Hall, Rogardt Heldal, Carsten Kehler Holst, John Hughes, John O'Donnell, and Satnam Singh all from the University of Glasgow. 376 pp. Englisch.…

Taschenbuch. Zustand: Neu. This item is printed on demand - Print on Demand Titel. Neuware -This thesis optimizes AI models for identifying tool wear on microscopic images of cutting tools. It creates a tool wear model from empirical trials to generate a dataset and conducts screening analysis to find key factors affecting AI performance. A decision model for dataset-specific hyperparameters is developed. The model is validated with practical use cases. The work enhances tool wear management in manufacturing, enabling timely maintenance, reducing scrap, and lowering costs.Books on Demand GmbH, Überseering 33, 22297 Hamburg 182 pp. Englisch.…

Taschenbuch. Zustand: Neu. This item is printed on demand - Print on Demand Titel. Neuware -The Glasgow functional programming group has held a workshop each summer since 1988. The entire group, accompanied by a selection of colleagues from other institutions, retreats to a pleasant Scottish location for a few days. Everyone speaks briefly, enhancing coherence, cross fertilisation, and camaraderie in our work. The proceedings of the first workshop were published as a technical report. Demand for this was large enough to encourage wider publication, and subsequent proceedings have been published in the Springer-Verlag Workshops in Computing series. These are the proceedings of the-meeting held 12-14 August 1991, in Portree on the Isle of Skye. A preliminary proceedings was prepared in advance of the meeting. Most presentations were limited to a brief fifteen minutes, outlining the essentials of their subject, and referring the audience to the pre-print proceedings for details. Papers were then refereed and rewritten, and you hold the final results in your hands. A number of themes emerged at this year's workshop, including relational algebra and its application to hardware design, partial evaluation and program transformation, implementation techniques, and strictness analysis. We were especially pleased to see applications of functional programming emerge as a theme. One of the sessions was devoted to a lively discussion of applications, and was greatly enhanced by our industrial participants. The workshop was organised by Kei Davis, Cordelia Hall, Rogardt Heldal, Carsten Kehler Holst, John Hughes, John O'Donnell, and Satnam Singh all from the University of Glasgow.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 376 pp. Englisch.…

Taschenbuch. Zustand: Neu. Functional Programming, Glasgow 1991 | Proceedings of the 1991 Glasgow Workshop on Functional Programming, Portree, Isle of Skye, 12-14 August 1991 | Rogardt Heldal (u. a.) | Taschenbuch | VIII | Englisch | 1992 | Springer | EAN 9783540197607 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu Print on Demand.…