Open Net


Book Description

George Plimpton takes to the ice with the Boston Bruins in this memorable portrait of the rough-and-tumble world of professional hockey, repackaged and featuring a foreword from Denis Leary and never-before-seen content from the Plimpton Archives. In Open Net, George Plimpton takes to the ice as goalie for his beloved Boston Bruins. After signing a release holding the Bruins blameless if he should meet with injury or death, he survives a harrowing, seemingly eternal five minutes in an exhibition game against the always-tough Philadelphia Flyers. With reflections on such hockey greats as Wayne Gretzky, Bobby Orr, and Eddie Shore, Open Net is at once a celebration of the thrills and grace of the greatest sport on ice and a probing meditation into the hopes and fears of every man.




Access Denied


Book Description

A study of Internet blocking and filtering around the world: analyses by leading researchers and survey results that document filtering practices in dozens of countries. Many countries around the world block or filter Internet content, denying access to information that they deem too sensitive for ordinary citizens—most often about politics, but sometimes relating to sexuality, culture, or religion. Access Denied documents and analyzes Internet filtering practices in more than three dozen countries, offering the first rigorously conducted study of an accelerating trend. Internet filtering takes place in more than three dozen states worldwide, including many countries in Asia, the Middle East, and North Africa. Related Internet content-control mechanisms are also in place in Canada, the United States and a cluster of countries in Europe. Drawing on a just-completed survey of global Internet filtering undertaken by the OpenNet Initiative (a collaboration of the Berkman Center for Internet and Society at Harvard Law School, the Citizen Lab at the University of Toronto, the Oxford Internet Institute at Oxford University, and the University of Cambridge) and relying on work by regional experts and an extensive network of researchers, Access Denied examines the political, legal, social, and cultural contexts of Internet filtering in these states from a variety of perspectives. Chapters discuss the mechanisms and politics of Internet filtering, the strengths and limitations of the technology that powers it, the relevance of international law, ethical considerations for corporations that supply states with the tools for blocking and filtering, and the implications of Internet filtering for activist communities that increasingly rely on Internet technologies for communicating their missions. Reports on Internet content regulation in forty different countries follow, with each two-page country profile outlining the types of content blocked by category and documenting key findings. Contributors Ross Anderson, Malcolm Birdling, Ronald Deibert, Robert Faris, Vesselina Haralampieva [as per Rob Faris], Steven Murdoch, Helmi Noman, John Palfrey, Rafal Rohozinski, Mary Rundle, Nart Villeneuve, Stephanie Wang, Jonathan Zittrain




Fall Prevention and Protection


Book Description

This book covers a wealth of knowledge from experts and informed stakeholders on the best ways to understand, prevent, and control fall-related risk exposures. Featured are subjects on: (1) a public health view of fall problems and strategic goals; (2) the sciences behind human falls and injury risk; (3) research on slips, trips and falls; (4) practical applications of prevention and protection tools and methods in industrial sectors and home/communities; (5) fall incident investigation and reconstruction; and (6) knowledge gaps, emerging issues, and recommendations for fall protection research and fall mitigation.




Transactions on Petri Nets and Other Models of Concurrency II


Book Description

Transactions on Petri Nets and Other Models of Concurrency (ToPNoC) II These Transactions publish archival papers in the broad area of Petri nets and other models of concurrency, ranging from theoretical work to tool support and industrial applications. ToPNoC issues are published as LNCS volumes, and hence are widely distributed and indexed. This Journal has its own Editorial Board which selects papers based on a rigorous two-stage refereeing process. ToPNoC contains: - Revised versions of a selection of the best papers from workshops and tutorials at the annual Petri net conferences - Special sections/issues within particular subareas (similar to those published in the Advances in Petri Nets series) - Other papers invited for publication in ToPNoC - Papers submitted directly to ToPNoC by their authors The second volume of ToPNoC focuses on Concurrency in Process-Aware Information Systems. Although the topic of business process management using information technology has been addressed by consultants and software developers in depth, more fundamental approaches towards such Process-Aware Information Systems (PAISs) have been rather uncommon. It wasn't until the 1990s that researchers started to work on the foundations of PAISs. Clearly, concurrency theory is an essential ingredient in these foundations as business processes are highly concurrent involving all types of routing logic and resource allocation mechanisms. The 16 papers in this special issue of ToPNoC cover topics ranging from the formal (mostly Petri-net based) foundations of PAISs to more applied topics such as flexibility and process mining. Thus, this volume gives a good overview of the state of the art in PAIS research.




Web Services and Formal Methods


Book Description

This book constitutes the thoroughly refereed post-workshop proceedings of the 5th International Workshop on Web Services and Formal Methods, WS-FM 2008, held in Milan, Italy, in September 2008 in conjunction with the 6th International Conference on Business Process Management, BPM 2008. The 13 revised full papers presented together with one invited paper were carefully reviewed and selected from 39 submissions. The papers feature topics such as analysis, test, and verification; choreographies and process calculi; transactions and interoperability; workflows and petri nets.




Web Services and Formal Methods


Book Description

This book constitutes the thoroughly refereed post-workshop proceedings of the 9th International Workshop on Web Services and Formal Methods, WS-FM 2012, held in Tallinn, Estonia, in September 2012. The 9 papers presented were carefully reviewed and selected from 19 submissions. They cover aspects such as the modeling and analysis of web services, service discovery, and service coordination with formal methods like BPEL, CSP, Maude, and Petri nets.




Applications and Theory of Petri Nets


Book Description

This book constitutes the refereed proceedings of the 31st International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, PETRI NETS 2010, held in Braga, Portugal, in June 2010. The 16 revised papers classified as theory papers (10), application papers (2), and tool papers (4) were carefully reviewed and selected from 50 submissions. All current issues on research and development in the area of Petri nets and related models of concurrent systems are addressed, novel tools as well as substantial enhancements to existing tools are presented.




Computerworld


Book Description

For more than 40 years, Computerworld has been the leading source of technology news and information for IT influencers worldwide. Computerworld's award-winning Web site (Computerworld.com), twice-monthly publication, focused conference series and custom research form the hub of the world's largest global IT media network.




Programming Languages with Applications to Biology and Security


Book Description

This Festschrift volume is published in honor of Pierpaolo Degano on the occasion of his 65th birthday and is the outcome of a colloquium held in Pisa, Italy, in June 2015. Pierpaolo Degano has worked on a large variety of topics including formal program semantics, concurrency theory, systems biology and security. The volume contains 22 refereed papers and one extended abstract, including personal memoirs and regular research papers by close collaborators and friends and a laudatio illustrating his distinguished career and his main scientific contributions. The papers deal with the main research topics explored by Pierpaolo Degano and those still under his investigation.




Radically Open Dialectical Behavior Therapy


Book Description

Based on over twenty years of research, radically open dialectical behavior therapy (RO DBT) is a breakthrough, transdiagnostic approach for helping people suffering from extremely difficult-to-treat emotional overcontrol (OC) disorders, such as anorexia nervosa, obsessive-compulsive disorder (OCD), and treatment-resistant depression. Written by the founder of RO DBT, Thomas Lynch, this comprehensive volume outlines the core theories of RO DBT, and provides a framework for implementing RO DBT in individual therapy. While traditional dialectical behavioral therapy (DBT) has shown tremendous success in treating people with emotion dysregulation, there have been few resources available for treating those with overcontrol disorders. OC has been linked to social isolation, aloof and distant relationships, cognitive rigidity, risk aversion, a strong need for structure, inhibited emotional expression, and hyper-perfectionism. And yet—perhaps due to the high value our society places on the capacity to delay gratification and inhibit public displays of destructive emotions and impulses—problems linked with OC have received little attention or been misunderstood. Indeed, people with OC are often considered highly successful by others, even as they suffer silently and alone. RO DBT is based on the premise that psychological well-being involves the confluence of three factors: receptivity, flexibility, and social-connectedness. RO DBT addresses each of these important factors, and is the first treatment in the world to prioritize social-signaling as the primary mechanism of change based on a transdiagnostic, neuroregulatory model linking the communicative function of human emotions to the establishment of social connectedness and well-being. As such, RO DBT is an invaluable resource for treating an array of disorders that center around overcontrol and a lack of social connectedness—such as anorexia nervosa, chronic depression, postpartum depression, treatment-resistant anxiety disorders, autism spectrum disorders, as well as personality disorders such as avoidant, dependent, obsessive-compulsive, and paranoid personality disorder. Written for mental health professionals, professors, or simply those interested in behavioral health, this seminal book—along with its companion, The Skills Training Manual for Radically Open Dialectical Behavior Therapy (available separately)—provides everything you need to understand and implement this exciting new treatment in individual therapy—including theory, history, research, ongoing studies, clinical examples, and future directions.