04155nam 2200469Ka 450 991013664610332120240912104858.8(CKB)3710000000892219(BIP)054409780(ODN)ODN0002102286(EXLCZ)99371000000089221920150806d2015 uy 0engurcn|---|||||txtrdacontentcrdamediacrrdacarrierReclaiming conversation The power of talk in a digital age. /Sherry Turkle20151 online resource0-14-310979-0 1-101-61739-X “In a time in which the ways we communicate and connect are constantly changing, and not always for the better, Sherry Turkle provides a much needed voice of caution and reason to help explain what the f*** is going on.” — Aziz Ansari, author of Modern Romance Renowned media scholar Sherry Turkle investigates how a flight from conversation undermines our relationships, creativity, and productivity — and why reclaiming face-to-face conversation can help us regain lost ground. We live in a technological universe in which we are always communicating. And yet we have sacrificed conversation for mere connection. Preeminent author and researcher Sherry Turkle has been studying digital culture for over thirty years. Long an enthusiast for its possibilities, here she investigates a troubling consequence: at work, at home, in politics, and in love, we find ways around conversation, tempted by the possibilities of a text or an email in which we don’t have to look, listen, or reveal ourselves. We develop a taste for what mere connection offers. The dinner table falls silent as children compete with phones for their parents’ attention. Friends learn strategies to keep conversations going when only a few people are looking up from their phones. At work, we retreat to our screens although it is conversation at the water cooler that increases not only productivity but commitment to work. Online, we only want to share opinions that our followers will agree with – a politics that shies away from the real conflicts and solutions of the public square. The case for conversation begins with the necessary conversations of solitude and self-reflection. They are endangered: these days, always connected, we see loneliness as a problem that technology should solve. Afraid of being alone, we rely on other people to give us a sense of ourselves, and our capacity for empathy and relationship suffers. We see the costs of the flight from conversation everywhere: conversation is the cornerstone for democracy and in business it is good for the bottom line. In the private sphere, it builds empathy, friendship, love, learning, and productivity. But there is good news: we are resilient. Conversation cures. Based on five years of research and interviews in homes, schools, and the workplace, Turkle argues that we have come to a better understanding of where our technology can and cannot take us and that the time is right to reclaim conversation. The most human—and humanizing—thing that we do. The virtues of person-to-person conversation are timeless, and our most basic technology, talk, responds to our modern challenges. We have everything we need to start, we have each other. Turkle's latest book, The Empathy Diaries (3/2/21) is available now.NonfictionOverDriveBusinessOverDriveFamily & RelationshipsOverDriveSociologyOverDriveConversationDigital communicationsLanguage arts & disciplinesTechnology & engineeringNonfiction.Business.Family & Relationships.Sociology.302.23/1BUS041000FAM034000SOC052000bisacshTurkle Sherry144320BOOK9910136646103321Reclaiming conversation1474968UNINA06509nam 22007695 450 991014420440332120200702122052.01-280-30726-997866103072653-540-24756-410.1007/b96106(CKB)1000000000212336(DE-He213)978-3-540-24756-2(SSID)ssj0000180270(PQKBManifestationID)11179435(PQKBTitleCode)TC0000180270(PQKBWorkID)10148695(PQKB)10387039(MiAaPQ)EBC3087795(PPN)155232975(EXLCZ)99100000000021233620121227d2004 u| 0engurnn|008mamaatxtrdacontentcrdamediacrrdacarrierIntegrated Formal Methods 4th International Conference, IFM 2004, Canterbury, UK, April 4-7, 2004, Proceedings /edited by Eerke Boiten, John Derrick, Graeme Smith1st ed. 2004.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2004.1 online resource (XII, 548 p.) Lecture Notes in Computer Science,0302-9743 ;2999Bibliographic Level Mode of Issuance: Monograph3-540-21377-5 Includes bibliographical references at the end of each chapters and index.Invited Talks -- SLAM and Static Driver Verifier: Technology Transfer of Formal Methods inside Microsoft -- Design Verification for Control Engineering -- Integrating Model Checking and Theorem Proving in a Reflective Functional Language -- Tutorial -- A Tutorial Introduction to Designs in Unifying Theories of Programming -- Contributed Papers -- An Integration of Program Analysis and Automated Theorem Proving -- Verifying Controlled Components -- Efficient CSP Z Data Abstraction -- State/Event-Based Software Model Checking -- Formalising Behaviour Trees with CSP -- Generating MSCs from an Integrated Formal Specification Language -- UML to B: Formal Verification of Object-Oriented Models -- Software Verification with Integrated Data Type Refinement for Integer Arithmetic -- Constituent Elements of a Correctness-Preserving UML Design Approach -- Relating Data Independent Trace Checks in CSP with UNITY Reachability under a Normality Assumption -- Linking CSP-OZ with UML and Java: A Case Study -- Object-Oriented Modelling with High-Level Modular Petri Nets -- Specification and Verification of Synchronizing Concurrent Objects -- Understanding Object-Z Operations as Generalised Substitutions -- Embeddings of Hybrid Automata in Process Algebra -- An Optimal Approach to Hardware/Software Partitioning for Synchronous Model -- A Many-Valued Logic with Imperative Semantics for Incremental Specification of Timed Models -- Integrating Temporal Logics -- Integration of Specification Languages Using Viewpoints -- Integrating Formal Methods by Unifying Abstractions -- Formally Justifying User-Centred Design Rules: A Case Study on Post-completion Errors -- Using UML Sequence Diagrams as the Basis for a Formal Test Description Language -- Viewpoint-Based Testing of Concurrent Components -- A Method for Compiling and Executing Expressive Assertions.The fourth conference in the series of international meetings on Integrated F- mal Methods, IFM, was held in Canterbury, UK, 4–7 April 2004. The conference was organized by the Computing Laboratory at the University of Kent, whose main campus is just outside the ancient town of Canterbury, part of the county of Kent. Kent is situated in the southeast of England, and the university sits on a hill overlooking the city of Canterbury and its world-renowned cathedral. The UniversityofKentwasgranteditsRoyalCharterin1965.Todaytherearealmost 10,000 full-time and part-time students, with over 110 nationalities represented. The IFM meetings have proven to be particularly successful. The ?rst m- ting was held in York in 1999, and subsequently we held events in Germany in 2000, and then Finland in 2002. The conferences are held every 18 months or so, and attract a wide range of participants from Europe, the Americas, Asia and Australia. The conference is now ?rmly part of the formal methods conference calendar. The conference has also evolved in terms of themes and subjects - presented, and this year, in line with the subject as a whole, we saw more work on veri?cation as some of the challenges in this subject are being met. The work reported at IFM conferences can be seen as part of the attempt to manage complexity by combining paradigms of speci?cation and design, so that the most appropriate design tools are used at di?erent points in the life-cycle.Lecture Notes in Computer Science,0302-9743 ;2999ComputersComputer logicComputer programmingSoftware engineeringProgramming languages (Electronic computers)Theory of Computationhttps://scigraph.springernature.com/ontologies/product-market-codes/I16005Logics and Meanings of Programshttps://scigraph.springernature.com/ontologies/product-market-codes/I1603XProgramming Techniqueshttps://scigraph.springernature.com/ontologies/product-market-codes/I14010Software Engineeringhttps://scigraph.springernature.com/ontologies/product-market-codes/I14029Programming Languages, Compilers, Interpretershttps://scigraph.springernature.com/ontologies/product-market-codes/I14037Computers.Computer logic.Computer programming.Software engineering.Programming languages (Electronic computers)Theory of Computation.Logics and Meanings of Programs.Programming Techniques.Software Engineering.Programming Languages, Compilers, Interpreters.005.1015113Boiten Eerkeedthttp://id.loc.gov/vocabulary/relators/edtDerrick Johnedthttp://id.loc.gov/vocabulary/relators/edtSmith Graemeedthttp://id.loc.gov/vocabulary/relators/edtInternational Conference on Integrated Formal MethodsBOOK9910144204403321Integrated Formal Methods2860239UNINA