Download or read book Language and tool support for 3D crochet patterns written by Klara Seitz and published by Universitätsverlag Potsdam. This book was released on 2021-09-09 with total page 108 pages. Available in PDF, EPUB and Kindle. Book excerpt: Crochet is a popular handcraft all over the world. While other techniques such as knitting or weaving have received technical support over the years through machines, crochet is still a purely manual craft. Not just the act of crochet itself is manual but also the process of creating instructions for new crochet patterns, which is barely supported by domain specific digital solutions. This leads to unstructured and often also ambiguous and erroneous pattern instructions. In this report, we propose a concept to digitally represent crochet patterns. This format incorporates crochet techniques which allows domain specific support for crochet pattern designers during the pattern creation and instruction writing process. As contributions, we present a thorough domain analysis, the concept of a graph structure used as domain specific language to specify crochet patterns and a prototype of a projectional editor using the graph as representation format of patterns and a diagramming system to visualize them in 2D and 3D. By analyzing the domain, we learned about crochet techniques and pain points of designers in their pattern creation workflow. These insights are the basis on which we defined the pattern representation. In order to evaluate our concept, we built a prototype by which the feasibility of the concept is shown and we tested the software with professional crochet designers who approved of the concept.

Download or read book Tool support for collaborative creation of interactive storytelling media written by Paula Klinke and published by Universitätsverlag Potsdam. This book was released on 2022-09-21 with total page 178 pages. Available in PDF, EPUB and Kindle. Book excerpt: Scrollytellings are an innovative form of web content. Combining the benefits of books, images, movies, and video games, they are a tool to tell compelling stories and provide excellent learning opportunities. Due to their multi-modality, creating high-quality scrollytellings is not an easy task. Different professions, such as content designers, graphics designers, and developers, need to collaborate to get the best out of the possibilities the scrollytelling format provides. Collaboration unlocks great potential. However, content designers cannot create scrollytellings directly and always need to consult with developers to implement their vision. This can result in misunderstandings. Often, the resulting scrollytelling will not match the designer’s vision sufficiently, causing unnecessary iterations. Our project partner Typeshift specializes in the creation of individualized scrollytellings for their clients. Examined existing solutions for authoring interactive content are not optimally suited for creating highly customized scrollytellings while still being able to manipulate all their elements programmatically. Based on their experience and expertise, we developed an editor to author scrollytellings in the lively.next live-programming environment. In this environment, a graphical user interface for content design is combined with powerful possibilities for programming behavior with the morphic system. The editor allows content designers to take on large parts of the creation process of scrollytellings on their own, such as creating the visible elements, animating content, and fine-tuning the scrollytelling. Hence, developers can focus on interactive elements such as simulations and games. Together with Typeshift, we evaluated the tool by recreating an existing scrollytelling and identified possible future enhancements. Our editor streamlines the creation process of scrollytellings. Content designers and developers can now both work on the same scrollytelling. Due to the editor inside of the lively.next environment, they can both work with a set of tools familiar to them and their traits. Thus, we mitigate unnecessary iterations and misunderstandings by enabling content designers to realize large parts of their vision of a scrollytelling on their own. Developers can add advanced and individual behavior. Thus, developers and content designers benefit from a clearer distribution of tasks while keeping the benefits of collaboration.

Download or read book Operating systems II student projects written by Andreas Grapentin and published by Universitätsverlag Potsdam. This book was released on 2023-11-29 with total page 130 pages. Available in PDF, EPUB and Kindle. Book excerpt: EN This technical report presents the results of student projects which were prepared during the lecture “Operating Systems II” offered by the “Operating Systems and Middleware” group at HPI in the Summer term of 2020. The lecture covered ad- vanced aspects of operating system implementation and architecture on topics such as Virtualization, File Systems and Input/Output Systems. In addition to attending the lecture, the participating students were encouraged to gather practical experience by completing a project on a closely related topic over the course of the semester. The results of 10 selected exceptional projects are covered in this report. The students have completed hands-on projects on the topics of Operating System Design Concepts and Implementation, Hardware/Software Co-Design, Reverse Engineering, Quantum Computing, Static Source-Code Analysis, Operating Systems History, Application Binary Formats and more. It should be recognized that over the course of the semester all of these projects have achieved outstanding results which went far beyond the scope and the expec- tations of the lecture, and we would like to thank all participating students for their commitment and their effort in completing their respective projects, as well as their work on compiling this report. DE Dieser technische Bericht beschriebt die Ergebnisse der Projekte, welche im Rahmen der Lehrveranstaltung "Betriebssysteme II" on teilnehmenden Studierenden durchgeführt wurden. Die Lehrveranstaltung wurde von der "Betriebssysteme und Middleware" am HPI im Sommersemester 2020 durchgeführt und behandele fortgeschrittene Aspekte der Betriebssystemarchitektur und -Implementierung am Beispiel der Virtualisierung, der Dateisysteme und der Eingabe/Ausgabe (I/O) Systeme. Zusätzlich zu den Vorlesungen wurden die Studierenden angeleitet, durch die Durchführung eines begleitenden Projekts praktische Erfahrungen im Umgang mit den behandelten Themen zu sammeln. Die Ergebnisse von 10 ausgewählten, herausragenden Projekten werden in diesem Report vorgestellt. Die Studierenden haben unter anderem Projekte zu den Themen Betriebssystemdesign und -Implementierung, Hardware/Software Co-Design, Reverse Engineering, Quanten-Computing, Statische Quellcodeanalyse, Betriebssystemgeschichte, dem Binärformat von ausführbaren Dateien durchgeführt. Es ist anzuerkennen, dass alle teilnehmenden Studierenden im Verlauf des Semesters herausragende Ergebnisse erzielt haben, die weit über die Anforderungen der Lehrveranstaltung hinausgingen. Wir möchten uns bei allen teilnehmenden Studierenden für Ihren Einsatz bei der Durchführung der Projekte, sowie bei der Erstellung dieses Reports bedanken.

Download or read book Invariant Analysis for Multi Agent Graph Transformation Systems using k Induction written by Sven Schneider and published by Universitätsverlag Potsdam. This book was released on 2022-11-17 with total page 44 pages. Available in PDF, EPUB and Kindle. Book excerpt: The analysis of behavioral models such as Graph Transformation Systems (GTSs) is of central importance in model-driven engineering. However, GTSs often result in intractably large or even infinite state spaces and may be equipped with multiple or even infinitely many start graphs. To mitigate these problems, static analysis techniques based on finite symbolic representations of sets of states or paths thereof have been devised. We focus on the technique of k-induction for establishing invariants specified using graph conditions. To this end, k-induction generates symbolic paths backwards from a symbolic state representing a violation of a candidate invariant to gather information on how that violation could have been reached possibly obtaining contradictions to assumed invariants. However, GTSs where multiple agents regularly perform actions independently from each other cannot be analyzed using this technique as of now as the independence among backward steps may prevent the gathering of relevant knowledge altogether. In this paper, we extend k-induction to GTSs with multiple agents thereby supporting a wide range of additional GTSs. As a running example, we consider an unbounded number of shuttles driving on a large-scale track topology, which adjust their velocity to speed limits to avoid derailing. As central contribution, we develop pruning techniques based on causality and independence among backward steps and verify that k-induction remains sound under this adaptation as well as terminates in cases where it did not terminate before.

Download or read book Proceedings of the HPI Research School on Service oriented Systems Engineering 2020 Fall Retreat written by Christoph Meinel and published by Universitätsverlag Potsdam. This book was released on 2023-06-07 with total page 160 pages. Available in PDF, EPUB and Kindle. Book excerpt: Design and Implementation of service-oriented architectures imposes a huge number of research questions from the fields of software engineering, system analysis and modeling, adaptability, and application integration. Component orientation and web services are two approaches for design and realization of complex web-based system. Both approaches allow for dynamic application adaptation as well as integration of enterprise application. Service-Oriented Systems Engineering represents a symbiosis of best practices in object-orientation, component-based development, distributed computing, and business process management. It provides integration of business and IT concerns. The annual Ph.D. Retreat of the Research School provides each member the opportunity to present his/her current state of their research and to give an outline of a prospective Ph.D. thesis. Due to the interdisciplinary structure of the research school, this technical report covers a wide range of topics. These include but are not limited to: Human Computer Interaction and Computer Vision as Service; Service-oriented Geovisualization Systems; Algorithm Engineering for Service-oriented Systems; Modeling and Verification of Self-adaptive Service-oriented Systems; Tools and Methods for Software Engineering in Service-oriented Systems; Security Engineering of Service-based IT Systems; Service-oriented Information Systems; Evolutionary Transition of Enterprise Applications to Service Orientation; Operating System Abstractions for Service-oriented Computing; and Services Specification, Composition, and Enactment.

Download or read book Deep learning for computer vision in the art domain written by Christian Bartz and published by Universitätsverlag Potsdam. This book was released on 2021-11-15 with total page 94 pages. Available in PDF, EPUB and Kindle. Book excerpt: In recent years, computer vision algorithms based on machine learning have seen rapid development. In the past, research mostly focused on solving computer vision problems such as image classification or object detection on images displaying natural scenes. Nowadays other fields such as the field of cultural heritage, where an abundance of data is available, also get into the focus of research. In the line of current research endeavours, we collaborated with the Getty Research Institute which provided us with a challenging dataset, containing images of paintings and drawings. In this technical report, we present the results of the seminar "Deep Learning for Computer Vision". In this seminar, students of the Hasso Plattner Institute evaluated state-of-the-art approaches for image classification, object detection and image recognition on the dataset of the Getty Research Institute. The main challenge when applying modern computer vision methods to the available data is the availability of annotated training data, as the dataset provided by the Getty Research Institute does not contain a sufficient amount of annotated samples for the training of deep neural networks. However, throughout the report we show that it is possible to achieve satisfying to very good results, when using further publicly available datasets, such as the WikiArt dataset, for the training of machine learning models.

Download or read book Probabilistic metric temporal graph logic written by Sven Schneider and published by Universitätsverlag Potsdam. This book was released on 2023-01-30 with total page 44 pages. Available in PDF, EPUB and Kindle. Book excerpt: Cyber-physical systems often encompass complex concurrent behavior with timing constraints and probabilistic failures on demand. The analysis whether such systems with probabilistic timed behavior adhere to a given specification is essential. When the states of the system can be represented by graphs, the rule-based formalism of Probabilistic Timed Graph Transformation Systems (PTGTSs) can be used to suitably capture structure dynamics as well as probabilistic and timed behavior of the system. The model checking support for PTGTSs w.r.t. properties specified using Probabilistic Timed Computation Tree Logic (PTCTL) has been already presented. Moreover, for timed graph-based runtime monitoring, Metric Temporal Graph Logic (MTGL) has been developed for stating metric temporal properties on identified subgraphs and their structural changes over time. In this paper, we (a) extend MTGL to the Probabilistic Metric Temporal Graph Logic (PMTGL) by allowing for the specification of probabilistic properties, (b) adapt our MTGL satisfaction checking approach to PTGTSs, and (c) combine the approaches for PTCTL model checking and MTGL satisfaction checking to obtain a Bounded Model Checking (BMC) approach for PMTGL. In our evaluation, we apply an implementation of our BMC approach in AutoGraph to a running example.

Download or read book 3D Granny Squares written by Caitie Moore and published by David and Charles. This book was released on 2019-11-28 with total page 610 pages. Available in PDF, EPUB and Kindle. Book excerpt: A creative new take on an old favorite—including delightful patterns for special occasions and gifts. The humble granny square gets a fresh new look in this collection of 3D granny square crochet patterns. Choose your favorite from one hundred different designs including flowers, animals, food and drink, and motifs, whether it’s a fragrant rose, a cherry pie, or a jellyfish. Each motif features a 3D element that is integral to the granny square design. There are also ten bright and beautiful projects showing you how to use the squares to make special gifts for friends and family including an animal themed baby blanket, a fruity cushion, and a decorative garland, and patterns designed for Christmas, birthdays, and other occasions.

Download or read book A to Z of Crochet written by Sue Gardner and published by . This book was released on 2010-05-10 with total page 0 pages. Available in PDF, EPUB and Kindle. Book excerpt: This must-have resource walks crocheters step by step from basic to advanced methods and contains more than 1,000 full-color photos featuring real hands holding real yarn.

Download or read book Around the Corner Crochet Borders written by Edie Eckman and published by Storey Publishing. This book was released on 2010-01-01 with total page 323 pages. Available in PDF, EPUB and Kindle. Book excerpt: A beautiful border adds the perfect finishing touch to your hand-stitched pieces. A knitted scarf, a crocheted baby blanket, even a store-bought tank top --- they're all elevated by the texture and color of crocheted edgings. Complete with detailed instructions for executing the 90-degree corner turns, Edie Eckman's 150 border designs add pop and whimsy to everything they embellish. "An irresistible book of cute crocheted borders...expands the options for adding a little flair to knit, crocheted, and even sewn projects."---Debbie Stoller author of the Stitch `n Bitch books

Download or read book Modern Crochet written by DeBrosse and published by National Geographic Books. This book was released on 2019-11-19 with total page 0 pages. Available in PDF, EPUB and Kindle. Book excerpt: A comprehensive guide for beginning and experienced crocheters alike, Modern Crochet elevates the craft for a new generation of makers. Learn how to choose proper tools, understand all things yarn, proficiently read a pattern, and autonomously complete any crochet project. This definitive resource for contemporary crochet includes: 16 ORIGINAL PATTERNS Basket - Coaster - Wall Hanging - Infinity Scarf - Bobble Pillow - Faux Fur Cowl - Velvet Scrunchie - Oversized Throws - and more! ($80 value alone) EXTENSIVE TEACHING & SUPPORT 150+ Step-by-Step Photos - 25+ Video Tutorials - Corresponding Online Resource Library with Materials and Support REFERENCE CHARTS Complete Crochet Abbreviation Legend - US Hook Sizes 15+ STITCHES & TECHNIQUES Magic Ring - Short Rows - Standing Stitch - Joined Turned Rounds - Continuous Rounds - Joined Rounds - Chain - Slip Knot - Whip Stitch - Slip Stitch - Single Crochet - Double Crochet - Half Double Crochet - Herringbone Half Double Crochet - Treble Crochet - Bobble Stitch

Download or read book The Big Book of Granny Squares written by Tracey Lord and published by Penguin. This book was released on 2014-11-14 with total page 954 pages. Available in PDF, EPUB and Kindle. Book excerpt: The biggest collection of crochet motifs. Period. Crocheters can never get enough of granny squares--the cheerful, colorful motifs that are the basis of countless afghans, pillows, and baby blankets. The Big Book of Granny Squares is just that--the most comprehensive collection to date. Readers will enjoy 365 unique squares with swatches and step-by-step written instructions for each granny square pattern. A lay-flat binding makes it easy for readers to check the crochet pattern while they work. Easy to use and inspirational, this is a go-to reference that crocheters will reach for again and again. Crocheters love granny squares and are sure to adore this--the biggest and best compendium of granny square patterns ever.

Download or read book The Tunisian Crochet Handbook written by Toni Lipsey and published by Abrams. This book was released on 2021-12-07 with total page 180 pages. Available in PDF, EPUB and Kindle. Book excerpt: From fiber artist Toni Lipsey of TL Yarn Craft, an introduction to the craft of Tunisian crochet—a unique crochet style that looks more like knitting—with 20 projects for beginners. There are hundreds of books that explore traditional crochet, but there are few that reference the concept of Tunisian crochet or present it in a modern, approachable way. The Tunisian Crochet Handbook introduces this fascinating and rewarding technique with a wide array of stitches and design possibilities. The goal of this book is to guide crocheters step-by-step through Tunisian crochet, starting with tools and yarns, transitioning into how-to’s and stitches, and finishing with easy but engaging patterns. Every shawl, garment, and accessory featured takes makers beyond the basics, introducing new stitches to expand their skill sets. In this way, author Toni Lipsey is reintroducing crochet and encouraging makers to explore the craft further with each new design. Crochet continues to grow in popularity, and this guidebook offers a new take on the timeless classic, one that readers won’t be able to find anywhere else. Includes instructional sections and patterns, complete with the necessary schematics and styled, chic photographs.

Download or read book Crochet Handbook and Stitch Guide written by Ruth Patrick and published by Chartwell. This book was released on 2009-09 with total page 193 pages. Available in PDF, EPUB and Kindle. Book excerpt: Crochet is one of the easiest crafts to begin: all you need is a ball of yarn, a hook, and this pocket-sized, spiral-bound reference book.

Download or read book Crochet for Beginners written by Publications International Ltd. and published by . This book was released on 2021-07-16 with total page 128 pages. Available in PDF, EPUB and Kindle. Book excerpt: Get hooked on crochet with this complete guide for beginners! First, discover all the tools and materials you'll need to start crocheting, including hook sizes and yarn weight guidelines. Next, learn basic crochet techniques and stitches with easy step-by-step instructions and accompanying photographs. You'll also learn how to crochet rounds, add new yarn, fasten off, and join pieces together. Then, learn how to read a crochet pattern, including abbreviations and symbols. Finally, follow the patterns to complete 27 simple crochet projects, from amigurumi creatures and baby gifts to accessories and home goods. Several patterns include step-by-step tutorials on special stitches or techniques used. The spiral binding allows the book to lie flat while in use. 128 pages

Download or read book Corner to Corner Crochet written by Jess Coppom and published by David & Charles. This book was released on 2018-08-22 with total page 296 pages. Available in PDF, EPUB and Kindle. Book excerpt: Stylish projects using this fast, easy technique! Corner to corner crochet—also known as C2C crochet—is the perfect way to create colorful, graphic designs without having to learn complex colorwork techniques. Using basic crochet stitches, you can create stunning, contemporary designs for home decor items and accessories. C2C projects also stitch up super-fast, so if you’ve been putting off tackling a crochet blanket because it would take too long, this is the technique for you! Author Jess Coppom has brought a fresh take to this style of crochet with a collection of fifteen modern projects, all made using the C2C technique. Choose from patterns for six different afghans or blankets, including a monochrome chunky throw and a beautiful Mexican-style blanket. Other projects include pillows, a bathroom rug, and some stunning items to wear, such as a poncho, shawl, and cowl.

Download or read book Melissa Leapman s Indispensable Stitch Collection for Crocheters written by Melissa Leapman and published by Creative Publishing International. This book was released on 2016-08 with total page 179 pages. Available in PDF, EPUB and Kindle. Book excerpt: Packed with 200 of crochet master Melissa Leapman's favorite patterns, this easy-to-read book will keep your hooks working for years! For all skill levels, from beginner to expert.