DOCSLIB.ORG

Impact: Research at Brown

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Impact: Research at Brown 2020 IMPACTRESEARCH AT BROWN The Data-Driven Rise of Economics Page 18 Enterprising Student Minds Page 28 The Search for Dark Matter Page 36 Composing New Classics BATTLING Page 43 ALZHEIMER’S PAGE 22 STARTING OFF TABLE OF CONTENTS In September 2019, Brown beautiful new building last year, and the dynamic space is en- received its largest-ever federal abling development of ideas to improve people’s lives. Brown grant, $53.4 million from the students and recent alumni are winning many competitions, in- Research National Institutes of Health. cluding two of the three top awards from the highly visible 18 Brown’s School of Public Health MassChallenge startup accelerator. Briefs is leading a national effort to Our donor-funded Brown Biomedical Innovations to Impact 2 Studying Race Data improve health care and qual- (BBII) is another powerful example of how philanthropy and re- Through Film ity of life for people living with search can combine to fuel translational research. In 2019, BBII 4 Medical Innovation Driven Alzheimer’s disease and care- gave five awards of $100,000 to cutting-edge faculty biomedical 5 Secrets of Cravings Brown’s economics givers. Partnering with Hebrew projects with the potential to produce new drugs and treatments. 6 Chemical Sleuth department has moved Senior Life, our researchers Research also connects with Brown’s Open Curriculum, 6 Alumni: Rebecca into the top tier, spurred are guiding colleagues at more than 30 large universities and which this year marks its 50th anniversary. I believe that our unique Ballhaus by the addition of hospitals around the country, and their projects will show us approach to the student-faculty partnership in education has 7 Brown’s Astronaut strong faculty who are how to scale breakthroughs in treatment from laboratory to the played an important role in Brown’s research for societal benefit. 8 Research Honors focusing on sophisticated real world. I invite you to read about Jessica Meir ’99, who at this writing 8 Alumni: Myechia data analysis. True to Brown’s breadth and its strength in collaborations, you’ll is an astronaut on the International Space Station. She speaks Minter-Jordan find in our cover story that the University’s work on Alzheimer’s about how her research at Brown, and the influence of two 9 The President’s Oath BY NOEL RUBINTON ’77 involves considerably more than this new grant. Through the particular professors, boosted her goal of space exploration. In 10 Short Takes Warren Alpert Medical School and its affiliate, Butler Hospital, another story, Katie Wu ’19, an engineering concentrator fascinat- 11 Open Curriculum researchers are running numerous clinical trials of potential de- ed with Japanese language and culture, credits the Open Cur- 12 Greenhouse Gas mentia drugs, and neuroscientists at the Carney Institute for Brain riculum for the flexibility and advising that brought her many op- 12 Priority Privacy Science are unlocking the genetic puzzle of Alzheimer’s. portunities, including a Fulbright in Japan. 13 Managing Obesity This issue of Impact showcases the many ways Brown is I hope you enjoy our stories this year, and that you share in 14 Shooting for the making a difference in the world, through both fundamental and my excitement about Brown’s investments in research to sup- Moon 22 translational research. port our commitment to solving the urgent problems of society. 15 Alumni: Christopher Battling One of this year’s other stories focuses on the exciting entre- Jill Pipher Sharpe preneurial work of our undergraduate students, and what Brown Vice President for Research 15 Credit Where It’s Due is doing to inspire this activity. Established in 2016 through the Elisha Benjamin Andrews Professor of Mathematics 16 Making Up Lost Time Alzheimer’s philanthropic generosity of an alumnus, the Nelson Center for 17 Climate Change Brown researchers are leading Entrepreneurship has grown as an incubator for students creat- a national effort to better understand ing new products and companies. The center moved into a dementia and provide improved treatment. Focus BY MAURA SULLIVAN HILL Connect 36 Hunt for Dark Matter 38 Gun Violence Vice President for Research AGRONOMICS CLOUD 40 Plants as History IMPACTRESEARCH AT BROWN [email protected] 41 For Better Health 401-863-7408 43 Making Music 28 Brown University, Box 1937 44 To Fight Infections EDITOR 350 Eddy Street Enterprising Noel Rubinton Providence, R.I. 02912 NICK DENTAMARO/BROWN UNIVERSITY DENTAMARO/BROWN NICK DESIGNER Office of Industry Engagement and Student Min O. Design Commercial Venturing [email protected] Brown Minds Impact: Research at Brown is published annually Office of Research Development Undergraduates are by the Office of the Vice President for Research and the [email protected] Research creating successful new Office of University Communications Office of Foundation Relations products and companies, [email protected] Index aiming to solve On the Cover: Human neurons are being studied for 46 Books consequential problems. insights into how Alzheimer’s disease can be detected and For ongoing news about Brown research, 50 Selected Faculty treated. (Lab of Professor Eric Morrow) follow us on Twitter @BrownUResearch. MINDY OSWALD; VALDEZ LAB; COURTESY MARTY LAROCQUE/ Honors BY SARAH C. BALDWIN ’87 IMPACT 2020 2020 IMPACT 1 RESEARCHA COMPENDIUM OFBRIEFS RECENT HIGHLIGHTS OF BROWN RESEARCH “Hale County This Morning, This Evening” was filmed in Alabama and Quincy Bryant (below) is one of the Finding the main characters. FrameA visual art professor earns an Oscar nomination for his film study of “blackness.” “Research is a frame of mind,” said RaMell Ross, an assistant pro- fessor of visual art at Brown, and his research earned him a 2019 Acad- emy Award nomination for Best Documentary Feature. As his faculty career began at Brown, Ross wrote, directed, filmed, and edited Hale County This Morning, This Evening. “A lot of my research is based on human interaction,” he said. “I was researching the history of ‘blackness,’ what that means to me, how it has changed, and the role it plays in interpretation. So it was a good time to be in Hale County, be- cause it is a predominantly black community.” Ross had moved in 2009 to Greensboro, Alabama, where he still lives for part of the year, and worked as a photography teacher and basket- ball coach. He took photographs there and began filming people he met. His introduction to Providence came when he pursued his MFA at RISD and started teaching at Brown, first as inaugural professor of the prac- tice for the Brown Arts Initiative, then as a Mellon Gateway Fellow, and now in the visual art department. Ross’s film is an impressionistic rather than a formal narrative, con- fronting the legacies of racism in a pic- torial, often dreamlike way. “The orga- nization of the film is my understanding of looking at the community,” Ross said. “You don’t have to follow a trail of histor- RaMell Ross ical threads to do research. History is this actual moment. The archive is now.” Hale County was included on many critics’ best-of-year lists. It won many film festival awards, including a special jury prize from the Sundance Film Festival, before receiving the Oscar nomination. Film critics have praised it for its poetry and the qual- ity of its photography. Glenn Kenny of the New York Times wrote: “The particularity and power of the larger cinematic image he has created through a multiplicity of moments are impossible to adequately describe in critical prose.” —Noel Rubinton ’77 MARK OSTOW; COPYRIGHT IDIOM FILM, COURTESY RAMELL ROSS & CINEMA GUILD 2 IMPACT 2020 2020 IMPACT 3 RESEARCH BRIEFS From Innovation to Impact A new fund fosters faculty entrepreneurship and brings medical products to the market. As part of efforts to translate and speed promising biomedical an external advisory committee of industry leaders, including discoveries into commercial product opportunities, Brown Bio- pharmaceutical business developers and venture capitalists. medical Innovations to Impact (BBII) awarded five Brown faculty research projects up to $100,000 each in 2019. PROJECT AWARDEES ARE: “BBII helps to bridge the gap between academic biomedical Brian Alverson, professor of pediatrics and medical discoveries and new products by providing much-needed •science, and Ravi D’Cruz, teaching fellow in the Warren funding,” said director Karen Bulock. The goal of BBII, launched Alpert Medical School department of pediatrics, to develop by the University’s Division of Biology and Medicine in collabo- a positioning device for infants less than 60 days old who ration with the Office of Industry Engagement and Commercial must undergo a lumbar puncture to test for meningitis; Venturing, is to make aid available when federal funding for research ends and before private investors are willing to invest. Stephen Helfand, professor of molecular biology, cell Bulock said the aim is to benefit both patients and the econ- •biology, and biochemistry, for work to discover new drugs omy by launching new products such as therapeutics, diagnos- treating metabolic disorders such as Type 2 diabetes; Chun Geun Lee, •professor of molecular microbiology and immunology, Professor Karla Kaun uses to optimize a new drug to fruit flies to learn about treat pulmonary fibrosis; addiction. Pink areas are fly memory centers and green dots Jeffrey Morgan, professor are where molecular pathways •of molecular pharmacology, have been activated physiology, and biotechnology by alcohol. and engineering, and Blanche Ip, assistant professor of molecular pharmacology, physiology, The Secrets of Cravings and biotechnology, to advance lab-grown, human-derived A neuroscientist looks at how alcohol hijacks a memory tissue to repair the heart; pathway in the brain. Carl Saab, associate Just a few drinks can change how memories are formed. how to help people suffering from alcohol and substance use •professor of neurosurgery That’s the conclusion of a recent study from Karla Kaun, disorder by decreasing how long the craving memories last, or and neuroscience, to develop assistant professor of neuroscience at Brown, and her lab team how intense they are.
Load more

Recommended publications
  • ANNUAL REPORT Academic Year 2019-2020
    ANNUAL REPORT Academic Year 2019-2020 International Space University The International Space University, founded in 1987 in Massachusetts, US, and now headquartered in Stras- bourg, France, is the world’s premier international space education institution. It is supported by major space agencies and aerospace organizations from around the world. The graduate level programs offered by ISU are dedicated to promoting international, interdisciplinary and intercultural cooperation in space activities. ISU offers the Master of Science in Space Studies program at its Central Campus in Strasbourg. Since the summer of 1988, ISU conducts the two-month Space Studies Program at different host institutions in locations spanning the globe; more recently the Southern Hemisphere Space Studies Program; and the online Interactive Space Program. ISU programs are delivered by over 100 ISU faculty members in concert with invited industry and agency experts from institutions around the world. Since its founding, more than 5000 students from 110 countries graduated from ISU. Contact Info: 1 rue Jean-Dominique Cassini Parc d’Innovation 67400 Illkirch-Graffenstaden, France [email protected] Phone: +33-3-88-65-54-30 Fax: +33-3-88-65-54-47 Table of Contents INTRODUCTION Page 1 1. Summary and Key Figures Page 3 2. Master of Space Studies - MSS20 Page 4 3. Interactive Space Program - ISP20 in lieu of SSP20 Page 9 4. Southern Hemisphere Space Studies Program - SHSSP20 Page 12 5. Commercial Space Course - CSP20 Page 15 6. Short Courses Page 17 7. Research and Publications Page 19 8. Space start-up Incubator Page 23 9. Alumni Affairs Page 24 10. Faculty and Executive Appointments Page 27 11.
    [Show full text]
  • FOL Spring/Summer2009.Qxd
    Among THE NEWSLETTER OF THEFriends FRIENDS OF THE LIBRARY OF BROWN UNIVERSITY VOLUME 22 NUMBER 1 • SPRING/SUMMER 2009 Supporting Digital Scholarship ½ The Digital Collections at Brown ½ Brown History Goes Live ½ The Bopp Seminar Room Opens Jeffrey Schreck ’73 Chair From the University Librarian’s Office Linda Aro ’81, MA ’83 Vice-Chair Harriette Hemmasi Joukowsky Family University Librarian Honorary Directors Maurice Glicksman ScD ’97, P ’78 Redefining Libraries Martha S. Joukowsky ’58, P ’87 Chair Emerita and Learning Fraser Lang ’67, P ’04 Chair Emeritus cademic libraries are in a remain responsive to the changing John F. Mastroianni, Jr. ’71 state of transition –– needs of the campus’s teaching, Barbara Mosbacher ’45 A a transition that reflects learning, and research environment. Henry D. Sharpe, Jr. ’45, LLD ’70 Hon., changes in higher education and With the recent incorporation P ’77, P ’88, P ’MAT ’86 society at large. The primary catalyst of Brown’s Scholarly Technology Chair Emeritus for these changes is technology. Group and the Women Writer’s President Ruth Simmons Advances in technology have altered Project into the Library, our ability the face and ultimately the to support and explore new forms of Directors Board Board of Directors fundamentals of teaching, learning, scholarship has grown exponentially. Prof. Thomas Banchoff, P ’91 and research. How scholarship is Integral to the University’s academic Phoebe Simpson Bean ’94 generated, communicated, collected, mission, the Library has both the Alice H. R. H. Beckwith ’69 preserved, disseminated, interpreted, opportunity and responsibility to John Berylson ’75 manipulated and re-used are critical promote new scholarship and new Sophie Blistein ’41 concerns for both the academy and literacies without discarding the most Thomas Bryson ’72 the library.
    [Show full text]
  • PBS and Time Inc. Announce BEYOND a YEAR in SPACE
    PBS and Time Inc. Announce BEYOND A YEAR IN SPACE Part Two of the A YEAR IN SPACE Specials Premieres November 2017 PASADENA, CA; January 15, 2017 – PBS President and CEO Paula A. Kerger announced today at the Television Critics Association Winter Press Tour that BEYOND A YEAR IN SPACE, a follow-up documentary to 2016’s A YEAR IN SPACE special, is scheduled to premiere on PBS in November 2017 (watch a clip). The two specials, adapted from TIME’s original digital video series about astronaut Scott Kelly’s 12-month stay on the International Space Station (ISS), explore the human limitations for space travel and what a mission to Mars will require. BEYOND A YEAR IN SPACE picks up where the first film Top image: Astronaut Scott Kelly. left off: Scott Kelly’s last day in space and return to Earth. The final Credit: Andrey Alistratov. Middle installment also introduces viewers to the next generation of astronauts image: Mars. Credit: Space City Films. training to leave Earth’s orbit and travel into deep space. Bottom image: Astronauts Jessica Meir and Victor Glover. Credit: Lauren Harnett. BEYOND A YEAR IN SPACE tracks Scott Kelly’s homecoming after a historic year in space – the longest space mission in American history. In addition to seeing Scott’s long-awaited reunion with his family and friends at home in Texas, the film follows Scott and his identical twin brother, and fellow astronaut, Mark Kelly, as they undergo testing for NASA’s twin study. The twin study hopes to identify precisely what changes Scott underwent after 12 months aboard the ISS by comparing him to Mark, who spent the year on Earth.
    [Show full text]
  • The Oregon Chapter of the American Meteorological Society 28Th Annual
    The Oregon Chapter of the American Meteorological Society 28th annual “Winter Weather Forecast Conference" Since the last meeting… 2020 NASA Astronauts Make History with 1st All-Woman Spacewalk October 2019 Astronauts Christina Koch and Jessica Meir complete the first spacewalk with an all-women team. Mercury Transit November 11, 2019 NASA's Solar Dynamics Observatory (SDO) NASA Starliner Dec 20 – 22, 2019 2020 is Leap Year A tropical year, also known as a solar year, an astronomical year, or an equinoctial year, is, on average, approximately 365 days, 5 hours, 48 minutes and 45 seconds long (365.24219 days). Although a common year has 365 days in today's Gregorian calendar, we add a leap day nearly every four years to stay in sync with the tropical year. Satellites show devastating toll of Australian wildfires on wildlife and human populations January 2020 The Wolf Moon penumbral lunar eclipse Jan 10, 2020 Credit: Ali Balikci NASA astronaut Christina Koch returns to Earth after record-breaking spaceflight Feb 6, 2020 NASA astronaut Christina Koch lands back on Earth after 328 days in space, breaking the record for the longest-ever single spaceflight by a woman. Katherine Johnson, pioneering NASA mathematician of 'Hidden Figures' fame, dies at 101 Feb 24, 2020 Coronavirus Oregon Gov. Kate Brown’s executive order March, 2020 Self-Isolation Tips From Scott Kelly, the NASA Astronaut Who Lived a Year in Space March 2020 ✓ Follow a schedule ✓ Pace yourself ✓ Go outside ✓ Get a hobby ✓ Keep a journal ✓ Take time to connect ✓ Listen to experts
    [Show full text]
  • Roundup Fall 2015
    National Aeronautics and Space Administration Roundup LYNDON B. JOHNSON SPACE CENTER Fall | 2015 Global (and cosmic) expansion Expansión global (y cósmica) In this edition… Guest Column 3 ISS Science Corner 4 Veteran explorers slated for future commercial crew flights 5 All aboard the education I’M WRITING THIS COLUMN having only been on the job for about two station! weeks, so I’m still learning the duties of a deputy director. While I have 6 White House lands at the been to the ninth floor of Building 1 many times, it is interesting how I house of human spaceflight have begun to see the center differently as I take on this new role. to praise our Commitment to I was the Orion Program manager for nearly eight years. During that Action for Hispanic education time, I experienced many transitions in NASA leadership and policy. 8 ‘Leaf’ it to NASA to grow Some of these were difficult for the team to weather, but they met the lettuce on space station challenge. I believe these experiences taught me how to anticipate, adapt and lead a team through change. It is my hope that these 9 It’s complicated: New Pluto experiences will provide me the insight to help Ellen lead the center images from NASA’s New into NASA’s next chapters of human spaceflight. Horizons offer many surprises I know that the other programs and directorates at JSC are faced 10 Meet Delene Sedillo, with their own specific, dynamic environments. In the coming weeks, NASA/PHOTO Associate Director, Office of I’ll be taking some time to get an understanding of the strategies and Mark Geyer Procurement challenges involving all of the organizations here at JSC.
    [Show full text]
  • The Brown Dailyvol
    THE BROWN dailyvol. cxxii, no. 98 heraldMONDAY, NOVEMBER 5, 2012 since 1891 INSIDE Poll: Majority plan to vote liberal in home states Page 2 By SONA MKRTTCHIAN during his first term. Do you plan on voting in the upcoming election? Meet the author SENIOR STAFF WRITER Michael Tesler, an assistant pro- No, I do not plan on voting Check out The Herald’s Q& A fessor of political science who is 5.5% with author Lois Lowry A Herald poll conducted in October teaching POLS 1120: “Campaigns I am unsure if I am found that 65.6 percent of respon- and Elections” this semester, said voting dents said they planned to vote for this support for Obama matched 6.1% President Obama this Tuesday, while up with his prediction that students 16 percent of students reported that would support Obama over Romney they did not plan to vote, and only 7.1 by a margin of at least four to one. percent said they planned to support “Brown would support whoever the Page 5 Republican candidate Mitt Romney. Democrat is in a very strong fashion,” No, I am not A majority of students — 62.6 per- he said. eligible to vote Yes, and I am registered in Yale shutout cent — said they plan to vote and are “Brown attracts a more liberal 15.1% another state The Bears shut out Yale for registered in their home states. Only student body,” Tesler said, adding 62.8% the first time since 1949 10.6 percent of students reported that young adults hold political be- Yes, and I am planning to vote in Rhode Island.
    [Show full text]
  • Cultural Convergence Insights Into the Behavior of Misinformation Networks on Twitter
    Cultural Convergence Insights into the behavior of misinformation networks on Twitter Liz McQuillan, Erin McAweeney, Alicia Bargar, Alex Ruch Graphika, Inc. {[email protected]} Abstract Crocco et al., 2002) – from tearing down 5G infrastructure based on a conspiracy theory (Chan How can the birth and evolution of ideas and et al., 2020) to ingesting harmful substances communities in a network be studied over misrepresented as “miracle cures” (O’Laughlin, time? We use a multimodal pipeline, 2020). Continuous downplaying of the virus by consisting of network mapping, topic influential people likely contributed to the modeling, bridging centrality, and divergence climbing US mortality and morbidity rate early in to analyze Twitter data surrounding the the year (Bursztyn et al., 2020). COVID-19 pandemic. We use network Disinformation researchers have noted this mapping to detect accounts creating content surrounding COVID-19, then Latent unprecedented ‘infodemic’ (Smith et al., 2020) Dirichlet Allocation to extract topics, and and confluence of narratives. Understanding how bridging centrality to identify topical and actors shape information through networks, non-topical bridges, before examining the particularly during crises like COVID-19, may distribution of each topic and bridge over enable health experts to provide updates and fact- time and applying Jensen-Shannon checking resources more effectively. Common divergence of topic distributions to show approaches to this, like tracking the volume of communities that are converging in their indicators like hashtags, fail to assess deeper topical narratives. ideologies shared between communities or how those ideologies spread to culturally distant 1 Introduction communities. In contrast, our multimodal analysis combines network science and natural language The COVID-19 pandemic fostered an processing to analyze the evolution of semantic, information ecosystem rife with health mis- and user-generated, content about COVID-19 over disinformation.
    [Show full text]
  • Ellen L. Weintraub
    2/5/2020 FEC | Commissioner Ellen L. Weintraub Home › About the FEC › Leadership and Structure › All Commissioners › Ellen L. Weintraub Ellen L. Weintraub Democrat Currently serving CONTACT Email [email protected] Twitter @EllenLWeintraub Biography Ellen L. Weintraub (@EllenLWeintraub) has served as a commissioner on the U.S. Federal Election Commission since 2002 and chaired it for the third time in 2019. During her tenure, Weintraub has served as a consistent voice for meaningful campaign-finance law enforcement and robust disclosure. She believes that strong and fair regulation of money in politics is important to prevent corruption and maintain the faith of the American people in their democracy. https://www.fec.gov/about/leadership-and-structure/ellen-l-weintraub/ 1/23 2/5/2020 FEC | Commissioner Ellen L. Weintraub Weintraub sounded the alarm early–and continues to do so–regarding the potential for corporate and “dark-money” spending to become a vehicle for foreign influence in our elections. Weintraub is a native New Yorker with degrees from Yale College and Harvard Law School. Prior to her appointment to the FEC, Weintraub was Of Counsel to the Political Law Group of Perkins Coie LLP and Counsel to the House Ethics Committee. Top items The State of the Federal Election Commission, 2019 End of Year Report, December 20, 2019 The Law of Internet Communication Disclaimers, December 18, 2019 "Don’t abolish political ads on social media. Stop microtargeting." Washington Post, November 1, 2019 The State of the Federal Election
    [Show full text]
  • In This Issue
    FALL 2019 IN THIS ISSUE JONATHAN BISS CELEBRATING BEETHOVEN: PART I November 5 DANISH STRING QUARTET November 7 PILOBOLUS COME TO YOUR SENSES November 14–16 GABRIEL KAHANE November 23 MFA IN Fall 2019 | Volume 16, No. 2 ARTS LEADERSHIP FEATURE In This Issue Feature 3 ‘Indecent,’ or What it Means to Create Queer Jewish Theatre in Seattle Dialogue 9 Meet the Host of Tiny Tots Concert Series 13 We’re Celebrating 50 Years Empowering a new wave of Arts, Culture and Community of socially responsible Intermission Brain arts professionals Transmission 12 Test yourself with our Online and in-person trivia quiz! information sessions Upcoming Events seattleu.edu/artsleaderhip/graduate 15 Fall 2019 PAUL HEPPNER President Encore Stages is an Encore arts MIKE HATHAWAY Senior Vice President program that features stories Encore Ad 8-27-19.indd 1 8/27/19 1:42 PM KAJSA PUCKETT Vice President, about our local arts community Sales & Marketing alongside information about GENAY GENEREUX Accounting & performances. Encore Stages is Office Manager a publication of Encore Media Production Group. We also publish specialty SUSAN PETERSON Vice President, Production publications, including the SIFF JENNIFER SUGDEN Assistant Production Guide and Catalog, Official Seattle Manager ANA ALVIRA, STEVIE VANBRONKHORST Pride Guide, and the Seafair Production Artists and Graphic Designers Commemorative Magazine. Learn more at encorespotlight.com. Sales MARILYN KALLINS, TERRI REED Encore Stages features the San Francisco/Bay Area Account Executives BRIEANNA HANSEN, AMELIA HEPPNER, following organizations: ANN MANNING Seattle Area Account Executives CAROL YIP Sales Coordinator Marketing SHAUN SWICK Senior Designer & Digital Lead CIARA CAYA Marketing Coordinator Encore Media Group 425 North 85th Street • Seattle, WA 98103 800.308.2898 • 206.443.0445 [email protected] encoremediagroup.com Encore Arts Programs and Encore Stages are published monthly by Encore Media Group to serve musical and theatrical events in the Puget Sound and San Francisco Bay Areas.
    [Show full text]
  • Automated and Modular Refinement Reasoning for Concurrent Programs
    Automated and modular refinement reasoning for concurrent programs Chris Hawblitzel Erez Petrank Shaz Qadeer Serdar Tasiran Microsoft Technion Microsoft Ko¸cUniversity Abstract notable successes using the refinement approach in- clude the work of Abrial et al. [2] and the proof of full We present civl, a language and verifier for concur- functional correctness of the seL4 microkernel [37]. rent programs based on automated and modular re- This paper presents the first general and automated finement reasoning. civl supports reasoning about proof system for refinement verification of shared- a concurrent program at many levels of abstraction. memory multithreaded software. Atomic actions in a high-level description are refined We present our verification approach in the context to fine-grain and optimized lower-level implementa- of civl, an idealized concurrent programming lan- tions. A novel combination of automata theoretic guage. In civl, a program is described as a collection and logic-based checks is used to verify refinement. of procedures whose implementation can use the stan- Modular specifications and proof annotations, such dard features such as assignment, conditionals, loops, as location invariants and procedure pre- and post- procedure calls, and thread creation. Each procedure conditions, are specified separately, independently at accesses shared global variables only through invoca- each level in terms of the variables visible at that tions of atomic actions. A subset of the atomic ac- level. We have implemented as an extension to civl tions may be refined by new procedures and a new the language and verifier. We have used boogie civl program is obtained by replacing the invocation of an to refine a realistic concurrent garbage collection al- atomic action by a call to the corresponding proce- gorithm from a simple high-level specification down dure refining the action.
    [Show full text]
  • November 1, 2019
    Defense Advisory Committee on Women in the Services Articles of Interest 1 November 2019 RECRUITMENT & RETENTION 1. Army chief: New talent management will start with officers, then go to enlisted (15 Oct) Army Times, By Kyle Rempfer The Army is starting to roll out new talent management initiatives, like an assessment for battalion commanders, but the focus on officers is not the final stop, Army Chief of Staff Gen. James McConville said Tuesday. 2. Eight-second attention span? The Army of the future needs you. (15 Oct) Army Times, By Todd South Army recruiters are looking to the gaming world and trying to reach the emerging, “Generation Z” population that’s on the heels of millennials as they build a force to fight in 2035. 3. Army will stop treating troops as ‘interchangeable parts’: Gen. McConville (15 Oct) Breaking Defense, By Sydney J. Freedberg Jr. “I know it’s almost blasphemous to think the Army would actually consider someone’s preferences,” the new Army chief of staff said this afternoon. “But if we know where they want to go and what they want to do, we believe we’ll get the right person, in the right job at the right time, and we will have a better Army and more committed soldiers and families.” 4. Video: Army leaderships talk recruiting through gaming (15 Oct) Defense News Video Army leaders, including the Vice Chief of Staff, see gaming as a way to connect with potential recruits. 5. Army ROTC must find more officers than it has in years, and here’s how it’s happening (16 Oct) Army Times, By Todd South The demand for Army officers is higher than it has been in years and most of those officers will come not from West Point or other military schools but instead from the swath of colleges and universities across the country through the Reserve Officer Training Corps.
    [Show full text]
  • Proceedings, the 57Th Annual Meeting, 1981
    PROCEEDINGS THE FIFTY-SEVENTH ANNUAL MEETING National Association of Schools of Music NUMBER 70 APRIL 1982 NATIONAL ASSOCIATION OF SCHOOLS OF MUSIC PROCEEDINGS OF THE 57th ANNUAL MEETING Dallas, Texas I98I COPYRIGHT © 1982 ISSN 0190-6615 NATIONAL ASSOCIATION OF SCHOOLS OF MUSIC 11250 ROGER BACON DRIVE, NO. 5, RESTON, VA. 22090 All rights reserved including the right to reproduce this book or parts thereof in any form. CONTENTS Speeches Presented Music, Education, and Music Education Samuel Lipman 1 The Preparation of Professional Musicians—Articulation between Elementary/Secondary and Postsecondary Training: The Role of Competitions Robert Freeman 11 Issues in the Articulation between Elementary/Secondary and Postsecondary Training Kenneth Wendrich 19 Trends and Projections in Music Teacher Placement Charles Lutton 23 Mechanisms for Assisting Young Professionals to Organize Their Approach to the Job Market: What Techniques Should Be Imparted to Graduating Students? Brandon Mehrle 27 The Academy and the Marketplace: Cooperation or Conflict? Joseph W.Polisi 30 "Apples and Oranges:" Office Applications of the Micro Computer." Lowell M. Creitz 34 Microcomputers and Music Learning: The Development of the Illinois State University - Fine Arts Instruction Center, 1977-1981. David L. Shrader and David B. Williams 40 Reaganomics and Arts Legislation Donald Harris 48 Reaganomics and Art Education: Realities, Implications, and Strategies for Survival Frank Tirro 52 Creative Use of Institutional Resources: Summer Programs, Interim Programs, Preparatory Divisions, Radio and Television Programs, and Recordings Ray Robinson 56 Performance Competitions: Relationships to Professional Training and Career Entry Eileen T. Cline 63 Teaching Aesthetics of Music Through Performance Group Experiences David M.Smith 78 An Array of Course Topics for Music in General Education Robert R.
    [Show full text]