Lecture Notes in Computer Science / Programming

This book constitutes the revised selected papers of the 9th International Symposium on Formal Aspects of Component Software, FACS 2012, held in Mountain View, CA, USA in September 2012. The 16 full p

This book constitutes the thoroughly refereed post-proceedings of the 5th International Conference on Software Language Engineering, SLE 2012, held in Dresden, Germany, in September 2012. The 17 paper

This tutorial volume includes revised and extended lecture notes of six long tutorials, five short tutorials, and one peer-reviewed participant contribution held at the 4th International Summer School

Formal methods have been applied successfully to the verification of medium-sized programs in protocol and hardware design for some time. However, their application to the development of large systems

Although the self-adaptability of systems has been studied in a wide range of disciplines, from biology to robotics, only recently has the software engineering community recognized its key role in ena

This book constitutes the refereed proceedings of the ACM/IFIP/USENIX 13th International Middleware Conference, held in Montreal, Canada, in December 2012. The 24 revised full papers presented were ca

This book constitutes the refereed proceedings of the 10th Asian Symposium on Programming Languages and Systems, APLAS 2012, held in Kyoto, Japan, in December 2012. The 24 revised full papers presente

This book constitutes the thoroughly refereed post-conference proceedings of the 18th International Conference on Principles and Practice of Constraint Programming (CP 2012), held in Quebec, Canada, i

This book constitutes the refereed proceedings of the 2nd International Conference on Model and Data Engineering, MEDI 2012, held in Poitiers, France, in October 2012.The 12 revised full papers presen

This book constitutes the refereed proceedings of the 10th International Conference on Software Engineering and Formal Methods, SEFM 2012, held in Thessaloniki, Greece, in October 2012. The 19 revised

This book constitutes the refereed proceedings of the 15th International Conference on Model Driven Engineering Languages and Systems, MODELS 2012, held in Innsbruck, Austria, in September/October 201

This book constitutes the refereed proceedings of the 19th European MPI Users' Group Meeting, EuroMPI 2012, Vienna, Austria, September 23-26, 2012. The 29 revised papers presented together with 4 invi

This book constitutes the proceedings of the 16th Brazililan Symposium on Programming Languages, SBLP 2012, held in Natal, Brazil, in September 2012. The 10 full and 2 short papers were carefully revi

This book constitutes the refereed proceedings of the Fourth International Symposium on Search-Based Software Engineering, SSBSE 2012, held in Riva del Garda, Italy in collocation with the 28th IEEE I

This book constitutes the refereed proceedings of the 14th International Conference on Coordination Models and Languages, COORDINATION 2012, held in Stockholm, Sweden, in June 2012, as one of the DisC

This book constitutes the refereed proceedings of the 50th International Conference on Objects, Models, Components, Patterns, TOOLS Europe 2012, held in Prague, Czech Republic, during May 29-31,2012.

This book constitutes the refereed proceedings of the 5th International Conference, ICMT 2012, held in Prague, Czech Republic, in May 2012, co-located with TOOLS 2012 Federated Conferences. The 18 ful

This book constitutes the refereed proceedings of the 6th International Conference on Test and Proofs, TAP 2012, held in Prague, Czech Republic, in May/June 2012, as part of the TOOLS 2012 Federated C

The book constitutes the refereed proceedings of the 11th International Conference on Software Composition, SC 2012, held in Prague, Czech Republic, in May/June 2012, co-located with TOOLS 2012 Federa

This book constitutes the thoroughly refereed post-conference proceedings of the Fourth International Conference on Fundamentals of Software Engineering, FSEN 2011, held in Tehran, Iran, in April 2011

This volume constitutes the thoroughly refereed post-conference proceedings of the 7th International Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, MEMICS 2011, held in

This book constitutes the thoroughly refereed post-conference proceedings of the 6th International Haifa Verification Conference, HVC 2010, held in Haifa, Israel in October 2010.The 10 revised full pa

This book constitutes the refereed proceedings of the 4th International Conference, ICMT 2011, held in Zurich, Switzerland in June 2011.The 14 revised full papers were carefully revised and selected f

The book constitutes the refereed proceedings of the 10th International Conference on Software Composition, SC 2011, held in Zurich, Switzerland, in June/July 2011, co-located with TOOLS 2011 Federate

This book constitutes the refereed proceedings of the 12th International Conference on Software Reuse, ICSR 2011, held in Pohang, South Korea, in June 2011. The 16 revised full papers were carefully r

This book constitutes the refereed proceedings of the Third International Workshop on Software Engineering for Resilient Systems, SERENE 2011, held in Geneva, Switzerland, in September 2011. The 13 re

Service-oriented computing is a paradigm for developing software addressing key contemporary IT challenges. The result of the SENSORIA project, this book presents a novel and comprehensive approach to

This book constitutes the refereed proceedings of the 17th International Symposium on Formal Methods, FM 2011, held in Limerick, Ireland, in June 2011. The 29 revised full papers presented together wi

This book constitutes the refereed proceedings of the 18th International Conference on Analytical and Stochastic Modeling Techniques and Applications, ASMTA 2011, held in Venice, Italyin June 2011.The

All modern industries rely on large and complex software systems. In order toconstruct such large systems in a systematic manner, the focus of the developmentmethodologies has switched in the last two

Human Machine Interaction, or more commonly Human Computer Interaction, is the study of interaction between people and computers. It is an interdisciplinary field, connecting computer science with man

This book constitutes the refereed proceedings of the 2nd International Symposium on End User Development, IS-EUD 2009, held in Siegen, Germany in March 2009.The 12 revised full papers presented toget

「餐桌上的僞科學」最新系列#6，頂尖期刊評審查證上百篇醫學論文，破除健康謠言、辨別真偽科學＊全系列版稅捐贈幫助台灣弱勢兒童及青少年，請搜尋：林慶順教授獎學金◆有效？磁力貼、鍺鈦項圈、能量手環、瘦瘦筆⋯⋯◆有害？手機、電磁波、LED藍光、防蚊液⋯⋯◆有益？薑黃保健品、紅麴膠囊、褪黑激素、維他命補充劑⋯⋯◆有毒？蘇丹紅、保鮮膜、不沾鍋、三鹵甲烷⋯⋯全肉飲食、純素飲食、順勢療法、抗老化醫學、維他命狂熱⋯⋯針對生活中無所不在的偽科學，國際知名醫學期刊評審以科學證據查核健康謠言，澄清錯誤資訊，破解誇大不實的智商稅產品專業推薦：吳教恩（新北市立土城醫院腫瘤科主任）、林基興（陽明交通大學兼任助理教授）、黃偉家（YouTuber面白牙醫、良品牙醫診所美學主任）研究指出、專家表示、最新科技、知名網紅、社群瘋傳⋯⋯99%都是騙局！層出不窮的神奇能量產品、熱門減肥生髮安眠藥物、保健食品與膳食補充劑、流行飲食法與新興療法，到底哪些是可以相信的真科學，哪些又是讓人白花冤枉錢的智商稅產品？許多「名人」和「專家」假借科學概念，發表極端言論及恐怖行銷，其中不乏作家、藥師、營養師、醫生或教授。針對廣泛流傳於媒體與網路的聳動虛假訊息，擔任超過六十家國際頂尖醫學期刊評審（含世界排名第一的《新英格蘭醫學期刊》的加州大學舊金山分校醫學院的林慶順教授，八年來持續寫文查證，邀請讀者一起培養判斷謠言的能力。偽科學在生活中無所不在，閱讀《餐桌上的偽科學》系列，避免權威偏見，學習如何辨別真偽科學。專業推薦（依照筆畫排列）：吳教恩（新北市立土城醫院腫瘤科主任）網路和媒體充斥著偽科學，影響民眾健康與金錢。林教授透過這本書，揭露這些謊言，分享真實科學知識。林基興（陽明交通大學兼任助理教授）林慶順教授仁心仁術，退休後熱心指點醫學迷津，出書收入全捐公益，實為可佩典範。黃偉家（YouTuber面白牙醫、良品牙醫診所美學主任）：現代消費文化盛行，許多非必需品在行銷下成為欲望之物。林慶順教授為我們整理保健食品資料，此書實為現代人必備。精彩內容：1. 磁力貼讓人不再肩頸「頂叩叩」？2. 鈦項圈「戴」來健康？3. 能量手環提升活力、安定神經？4. 蘇丹紅是超級致癌物？5. 紅麴有效降膽固醇調節血糖？6. 頂尖運動員都吃素？7. 牙線也有毒，怎麼辦？8. 手機會導致腦瘤和癌症？9. 想減肥就用「瘦瘦筆」？10. 維他命B3補充劑是抗老神藥

「餐桌上的僞科學」最新系列#5，頂尖期刊評審分析上百篇醫學論文，破解各式健康謠言＊全系列版稅捐贈幫助台灣弱勢兒童及青少年，請搜尋：林慶順教授獎學金全書關鍵詞：#清冠一號、新冠口服藥、橄欖油、西芹汁、mRNA疫苗、伊維素菌、隔夜菜、無麩質飲食、素食、保健食品、氫水、油漱、巴西蘑菇、阿拉伯糖、咖啡、低鈉鹽、魚油、花青素、自由基、抗氧化劑、抗性澱粉、膳食纖維專業推薦：林煜軒（國家衛生研究院/台大醫院精神部主治醫師）、陳信聰（公視「有話好說」主持人）、邱品齊（美之道皮膚科診所院長）、林氏璧（前台大醫院感染科主治醫師）、潘建志（台北市萬芳醫學中心精神科醫師）科學寫作的經典範例，讀一本勝過買百本錯誤的健康書籍層出不窮的健康謠言，不止出現在長輩的Line群組、電視名醫的聳動言論，藥師和營養師背書的健康產品、內容農場的「健康新知」，甚至連暢銷健康書籍中，都充滿了各種自相矛盾和危言聳聽，讓讀者往往無所適從。還好，擔任超過世界60家頂尖醫學期刊的論文評審的林慶順教授（包含世界排名第一的《新英格蘭醫學期刊》），從2016年開始寫文章幫讀者查詢最新期刊，歸納分析並詳實解答。其個人網站「科學的養生保健」已經追查超過一千篇健康謠言，並集結成《餐桌上的僞科學》系列書籍，本書就是最新的問答集結。看完本系列書籍，不只可以解答大眾心中多年來的各種醫學謠言，並且可以學習何為真正的科學寫作法。專業推薦（依照筆畫排列）：林氏璧（前台大醫院感染科主治醫師）新冠疫情以來，我常常拜讀林教授的科普闢謠，非常即時，用心且專業，獲益甚多！在假消息滿天飛的疫情時代，十分推薦大家閱讀！林煜軒（國家衛生研究院/台大醫院精神部主治醫師）：現在的醫藥科學新聞，普遍有傳達科學數據，卻沒有為民眾從實用、全面的角度解讀的問題。林教授的每本好書，不僅傳達正確的知識，也是科普寫作的典範！邱品齊（美之道皮膚科診所院長）：在這偽科學、假新聞以及斷章取義、誇大不實、錯誤虛假訊息充斥的年代，想保有求真求實、客觀思辨的能力真的是越來越困難。人們看似渴求真相，卻又常常只沉溺於自己認為的真相。在這資訊爆炸的「後真相」時代，大家唯有藉由不斷的學習、思考、批判、辯證與內省，才有辦法發現事實接近真相。很樂意推薦這本書給想要破除迷思與謠言的各位朋友們。陳信聰（公視「有話好說」主持人）：假訊息不斷進化，現代的謠言迷信，往往披著偽科學外衣，才能大量散播。對待食品醫

口碑與暢銷兼具的「餐桌上的僞科學」系列最新作品！「科學的養生保健」站長、加州醫學大學舊金山分校醫學系教授，是網路上僞科學破解最認真、最專業的醫學院教授兼國際期刊評審，只要讀者提出疑問，他就會遍搜論文和實驗，用醫學專業+鍵盤柯南的角度破解各式各樣的健康謠言。「餐桌上的僞科學」最新系列，頂尖期刊評審分析上百篇醫學論文，破解各式健康謠言精準分析上百篇論文，一次解答：瘦肉精、電子菸、太空人維他命、精油、泡

維他命D、維他命B、癌症、保健食品、偽科學＊ 作者擔任超過60間國際期刊評審（含世界排名第一的新英格蘭醫學期刊），發表近200篇醫學論文＊ 個人網站「科學的養生保健」發表超過600篇基於醫學論文的謠言破解文章，十數家媒體爭相轉載＊《餐桌上的偽科學》系列不斷再刷，全書系版稅將捐出贊助台灣兒童及弱勢團體＊ 吃維他命D補充劑可以抗癌治百病？大型醫學實驗告訴你殘酷的真相＊ 一日一D不會讓我們更健康，膳食補

偽科學、養生、癌症、營養學、醫學＊作者擔任超過知名60間期刊評審（含世界排名第一的新英格蘭醫學期刊），發表近200篇醫學論文＊任職加州大學舊金山分校醫學院教授，從事醫學研究40年＊個人網站「科學的養生保健」發表超過600篇基於醫學論文的謠言破解文章，十數家媒體爭相轉載＊以輕鬆幽默的語法，為你解讀最新權威醫學期刊和論文＊《餐桌上的偽科學》出版後不斷再刷，售出簡體＆韓文版權，版稅將捐出贊助台灣兒童及弱

*內容簡介 ＊醫學院教授化身鍵盤柯南，為網友解開各種醫學迷思＊各種食材致癌傳言、健康假新聞一一破解＊揭發維他命補充劑、酵素、益生菌、膠原蛋白等等營養補充品的世紀真相＊以輕鬆幽默的語法，為你解讀最新權威醫學期刊和論文＊更新你的營養資訊，補充醫學常識，培養網路保健謠言的終身抵抗力用最新科學論文終止長輩Line群組的各式謠言我們每天接收各種食物和養生保健的訊息多如牛毛，從長輩Line群組的危言

＊食安經典5書：1《餐桌上的偽科學》+2《餐桌上的偽科學2》+3《維他命D真相》+4《偽科學檢驗站》+5《健康謠言與它們的產地》＊作者擔任超過知名60間期刊評審（含世界排名第一的新英格蘭醫學期刊），發表近200篇醫學論文＊任職加州大學舊金山分校醫學院教授，從事醫學研究40年＊個人網站「科學的養生保健」發表上千篇基於醫學論文的謠言破解文章，十數家媒體爭相轉載＊出版後不斷再刷，售出簡體＆韓文版權，全書系版稅捐出贊助台灣兒童及弱勢團體＊博客來年度健康書籍暢銷榜、Readmoo電子書年度總榜No.11✦《餐桌上的偽科學》✦　用最新科學論文終止長輩Line群組的各式謠言擁有40年醫學研究經驗，在加州大學舊金山分校任教，並擔任超過60間醫學期刊評審的林慶順教授，感於太多保健資訊被誤傳或是引用了過於陳舊的資料來源，所以在退休之後，運用多年審查醫學論文的專業，以鍵盤柯南的精神在自己的網站上寫文章，為來信的讀者破解各式養生和健康的謠言。他用心調查各式謠言的出處和可疑之處，並引用最新最正確的權威醫學期刊來為讀者解惑。破解主題包含：各種食材致癌疑雲、超級食物的好處是否誇大、營養補充品是否必須、暢銷健康作家的主張爭議、流行減肥法理論基礎等等，題材涵蓋椰子油、茶葉、維他命補充劑、酵素、咖啡、益生菌、牛奶、雞蛋等等常見食材的爭議，也包含失智症、癌症、高血壓和心臟病等等醫學迷思，更有微波爐、鋁鍋、含鉛玻璃杯等等食安疑慮。✦《餐桌上的偽科學2》✦ 醫學版的謠言終結者繼第一本暢銷書《餐桌上的偽科學》後，本書精選整理其中最多人關心的50個迷思，範圍由各種常見食材的好壞分析（如黑糖、棕櫚油、果糖、酒、起司、太白粉、增筋劑等等），除了民眾、連醫師和營養師也誤解的物質（亞硝酸鹽、反式脂肪、鳳梨酵素、咖啡因⋯⋯），到各種誇大昂貴的保健食品（藻類、氫水、葉黃素⋯⋯），再到出版界各種流行的特殊療法（生酮、無麩質、冰人呼吸、維他命C和D、法國悖論等等），還有各種日常用品（電蚊香、保溫杯、補牙銀粉、牙膏、鐵鍋）等等材質疑慮，都做了最新最專業的分析。✦《餐桌上的僞科學系列：維他命D真相》✦ 如果你相信維他命藥丸對身體有益，請一定要閱讀本書在過去十年裡，由於大眾對於維他命D萬靈丹的瘋迷，導致維他命D檢測和口服補充劑增加了近一百倍。但是，維他命D補充劑，真的如某些「專家」所說，是可以防癌抗癌、預防骨質疏鬆、對抗心血管疾病等