Development of a mechanised plantain slicer
نویسندگان
چکیده
منابع مشابه
Group-Slicer: A collaborative extension of 3D-Slicer
In this paper, we describe a first step towards a collaborative extension of the well-known 3D-Slicer; this platform is nowadays used as a standalone tool for both surgical planning and medical intervention. We show how this tool can be easily modified to make it collaborative so that it may constitute an integrated environment for expertise exchange as well as a useful tool for academic purposes.
متن کاملiranian efl learners’ pragmatic development: a study of proficiency and textbook effect
در تحقیق حاضراین پرسش که آیا دانش کاربرد شناسی زبان آموزان ایرانی همگام با پیشرفت بسندگی زبانی آنها افزایش می یابد مورد مطالعه قرار گرفته و هم چنین به این پرسش که آیا زبان آموزان تعلیم دیده از طریق کتاب های تاپ ناچ و اینترچینج تفاوت معناداری از لحاظ سطح دانش کاربرد شناسی دلرند ، پاسخ داده شده است. در این تحقیق55 فراگیر زبان انگلیسی به عنوان زبان دوم ازطریق نمونه گیری در دسترس مورد مطالعه قرار گ...
A Trusted Mechanised JavaScript Specification
JavaScript is the most widely used web language for client-side applications. Whilst the development of JavaScript was initially just led by implementation, there is now increasing momentum behind the ECMA standardisation process. The time is ripe for a formal, mechanised specification of JavaScript, to clarify ambiguities in the ECMA standards, to serve as a trusted reference for high-level la...
متن کاملConSIT: A Conditioned Program Slicer
Conditioned slicing is a powerful generalisation of static and dynamic slicing which has applications to many problems in software maintenance and evolution, including re-use, reengineering and program comprehension. However, there has been relatively little work on the implementation of conditioned slicing. Algorithms for implementing conditioned slicing necessarily involve reasoning about the...
متن کاملAn Integration of Mechanised Reasoning
Mechanised reasoning systems and computer algebra systems have apparently di erent objectives. Their integration is, however, highly desirable, since in many formal proofs both of the two di erent tasks, proving and calculating, have to be performed. Even more importantly, proof and computation are often interwoven and not easily separable. In the context of producing reliable proofs, the quest...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Science and Technology (Ghana)
سال: 2005
ISSN: 0855-0395
DOI: 10.4314/just.v24i2.32925