Search

Runtime verification (RV) refers to methods for formal reasoning about all aspects of the dynamic execution of systems, including hardware, software, and cyber-physical systems. RV includes techniques to assess and enforce correctness of a system against systemic bugs or extrinsic uncertainties. These methods are typically considered lightweight as they may not involve exhaustive verification or proofs, but they provide a higher level of rigor and versatility compared to conventional testing methods. This article introduces the extended versions of selected papers from the peer-reviewed proceedings of the 20th International Conference on Runtime Verification (RV 2020). RV 2020 was supposed to be held in Los Angeles, California, USA in July 2020, but was instead held virtually due to the global Covid-19 pandemic. [ABSTRACT FROM AUTHOR]

Runtime verification (RV) refers to methods for formal reasoning about all aspects of the dynamic execution of systems, including hardware, software, and cyber-physical systems. RV includes techniques to assess and enforce correctness of a system against systemic bugs or extrinsic uncertainties. These methods are typically considered lightweight as they may not involve exhaustive verification or proofs, but they provide a higher level of rigor and versatility compared to conventional testing methods. This article introduces the extended versions of selected papers from the peer-reviewed proceedings of the 21st International Conference on Runtime Verification (RV 2021). RV 2021 was supposed to be held in Los Angeles, California, USA in November 2021, but was instead held virtually due to the global Covid-19 pandemic. [ABSTRACT FROM AUTHOR]

The Editors of the Journal "Auditing: A Journal of Practice & Theory" invited Professor Gary L. Holstrum and Professor Theodore J. Mock to submit this synopsis of the University of Southern California Audit Judgment Symposium in the belief that many audit researchers and professionals who were not able to attend the conference would benefit from the report. A significant area of audit judgment is the evaluation of audit evidence. This synopsis of audit judgment and evidence evaluation research is based upon papers and presentations made at the 1985. The evaluation of audit evidence may be based on one of several models of inference. Audit evidence could be evaluated according to a Bayesian inference model, a non-Bayesian statistical model, a hierarchical or cascaded inference model, a causal reasoning model, or some other form of inference model. Strengths and weaknesses of various inference models were discussed at the Symposium. The Symposium began with presentations of some current behavioral science research on inference models that are expected to be relevant to audit evidence evaluation.

Highlights the 2004 Leadership Conference of Paper Industry Management Association which was held in New Orleans, California. Resource speakers; Attendees; Topics discussed; Programs and activities.

Talks about topics discussed during the PIMA Leadership Conference for the pulp and paper industry, which was held on June 2004 in New Orleans, Los Angeles. Theme of the conference; Challenges faced by the industry; Ways on how companies can successfully win difficult markets.

Focuses on the agenda for the 1999 International Conference of Software Engineering in Los Angeles, California. Enhancement of the industrial presentation programs; List of participating research papers; Topics and writers for the research papers.

Announces the publication of papers of the plenary and concurrent sessions at the International Council of Nurses' 17th quadrennial congress in Los Angeles, California.

Highlights the 2004 PIMA Joint Leadership Conference held on June 27-30, 2004 in New Orleans, California. Resource speakers; Topics discussed; Programs and activities.

The papers appearing in this special issue of the "IEEE Transactions on Software Engineering" periodical are based on papers that originally appeared in the proceedings of the First International Conference on Data Engineering which was held in Los Angeles, California, on April 25-27, 1984. The paper by Braegger, Dudler, Rebsamen and Zehnder was selected as the best paper at the conference by the awards committee, and concerns a database tool called Gambit. This design tool is based on an extended relational/entity relationship model and assists the designer with a wide variety of subtools. The paper by Farmer, King, and Myers is also about a design tool which is called the Semantic Database Constructor (Sedaco). It is based on a semantic data model which buffers the designer from most low level data structuring issues.

The Third International Conference on Data Engineering was held in Los Angeles, California on February 2 to 6, 1987. The conference was designed as an international forum for bringing together researchers, developers, managers, strategic planners and other users with an interest in the research, design and development of data engineering methodologies, strategies and systems. Its scope includes computer science, artificial intelligence, electrical engineering, and computer engineering. It featured papers from all major areas of data engineering, including database design and modeling, performance evaluation, algorithms, integrity, security, fault tolerance, query language, artificial intelligence approaches, knowledge bases, database machines, distributed databases and data engineering applications.

Reports on the conference and exhibition of the Special Interest Group on Computer Graphics and Interactive Techniques (SIGGRAPH) of the Association for Computing Machinery held in Los Angeles, California on August 8-13, 1999. Attendance; Number of exhibitors; Papers presented in the conference which are expected to affect graphics and interactive techniques.

Focuses on the Educators Program for SIGGRAPH 2001, the 28th International Conference on Computer Graphics and Interactive Techniques held in Los Angeles, California in August 2001. Papers from the Educators Program which illustrated creative uses of computer graphics and innovative virtual collaborative learning environments.

Sorry, there is no abstract available. Read the first few lines of the text instead!The Tenth Annual Karger Workshop was held in conjunction with the regular meeting of the J.B. Johnston Club in Los Angeles, Calif. (November 7, 1998). The theme of the workshop, ‘Steroid Action on Brain and Behavior’ was intended to provide a general and comparative overview of steroid action on brain and behavior from an evolutionary perspective. To this end, the order of talks was gauged towards a better understanding of the underlying mechanisms that mediate steroid action on brain and behavior. The first three talks considered how steroids organize, activate, and modify the structure and function of neural systems in mammals (Marc Breedlove), birds (Greg Ball; Juli Wade) and reptiles (Juli Wade). The next two talks focused on the cellular and molecular mechanisms that mediate brain-steroid interactions in vertebrates (Frank Moore and Harold Zakon). The last talk (Janis Weeks) consolidated many of the above ideas by addressing how steroids interact at molecular and cellular levels to reorganize neural circuits and behavior during insect metamorphosis. In the spirit of the J.B. Johnston Club, the workshop generated lively discussions on new and established theories on steroid action on brain and behavior from comparative and evolutionary perspectives. The articles contained within this issue expand on these issues by providing new ideas and fresh insights into how steroids act in the brain to bring about changes in behavior. [ABSTRACT FROM AUTHOR]

Deals with the Conference on Ethics and Social Responsibility in Engineering and Technology that was held by Gonzaga University in Los Angeles, California on June 9-10, 2005. Goal of the university for holding the conference; Topics covered by the papers presented at the event; People who supported the event.

Based on an address given at the April 1995 INFORMS meeting in Los Angeles, this paper's purpose is to suggest the opportunities that the Pacific Rim will bring to OR/MS and INFORMS. It first looks at the two important needs in the profession: to improve the scope of its communications with the public and to expand the context in which OR/MS work is done. After describing some of the radically unfamiliar and different conditions affecting enterprises on the Pacific Rim and suggesting their important challenges, the paper describes some influences acting to inhibit the free growth of the profession and its contributions to society. It closes by suggesting how meeting the challenges of the Pacific Rim cannot only help solve the problems this new context poses, but also help prepare the profession for its larger international future. [ABSTRACT FROM AUTHOR]

This paper was an introduction to the mini-conference, "The Conference as Ritual" The Sacred Journey of the Art Educator," organized by Harold Pearse, Cynthia Taylor and myself for the NAEA Convention in Los Angeles, April 1988. Art Educators from Canada and the United States along with Dr. Michael Owen Jones, author and director of the Folklore and Mythology Center at UCLA (our non-participant observer) looked at our annual spring pilgrimage to various hotels in the United States from historical, psychological, philosophic, structural and ethnographic perspectives. As the introduction to the mini-conference, my paper specifically recounts the ways that I, an individual presenter, have tried to break out of the ritual forms of presentation through the years. [ABSTRACT FROM AUTHOR]

Information about a paper on Student Personnel Problems read at the meeting of the Western Conference of the Deans of Women, at the University of California, at Los Angeles, on April 14-17, 1926 is presented. The paper was written by academician Shepherd Ivory Franz of the University of California at Los Angeles.

The 26th international Visible Evidence documentary conference was convened in Los Angeles in late-July 2019, marking a decade since the conference was last held in the city. For the first time in the conference's history, there were entire panels dedicated specifically to virtual reality (VR) as a medium for documentary. The panel "New Directions and Challenges for Virtual Reality Documentary" mapped the growing field of VR documentary and elaborated on avenues of inquiry that beg more sustained analysis. [Extracted from the article]

Reports on the 13th Annual Communicating Nursing Research Conference held at the Ambassador Hotel in Los Angeles, California from April 30 to May 2, 1980. Approximate number of attendees; Presentation of special certificate of appreciation; Organization of conference papers.

The article highlights the session on art criticism during the annual conference of the Art Libraries Society of North America held on February 14, 1985 in Los Angeles, California. Seymour Howard of the University of California at Davis presented his paper. An argument on art language was addressed by Joanna Frueh of the University of Arizona. Observations on contemporary art criticism was offered by Richard Martin of the Fashion Institute of Technology.

Reflexive considerations on the historiography of artists' films can be usefully augmented by consideration of the nature of the institutions that organize and fund fi lm retrospectives and conferences. This essay considers two such events that took place in Los Angeles in fall 2010: 'Counter Culture/Counter Cinema', a celebration of the heritage of the New York Film-Makers' Cooperative, sponsored by the museum-real estate complex; and 'Alternative Projections: Experimental Film in Los Angeles, 1945-1980', Los Angeles's celebration of its own history, sponsored by the museum-academic complex. [ABSTRACT FROM AUTHOR]

Presents the highlights of the 2004 National Oral Health Conference in Los Angeles, California on May 1-3, 2004. Rob Reiner's receipt of the American Association of Public Health Dentistry Public Service Award from Bill Maas; Meetings of sister organizations; Participation of Jonathan Fielding, director of public health of Los Angeles County; Activities involving Lynn Mouden, president of the Association of State and Territorial Dental Directors.

Reports on the symposium on atmospheric general circulation modeling held at the University of California, Los Angeles. Guest of honor; Participants; Papers presented.

Information on several papers discussed at the Mediterranean Ecosystems (MEDECOS) XII conference on fire as an evolutionary pressure shaping plant traits held in Los Angeles, California on September 2011 is presented. Topics include ecological science, role of fire in biome distribution, and micro-evolutionary approach to show the natural selection driven by fire. The conference features several presenters including William Bond, Susana Gómez-González, and Juli G. Pausas.

The article deals with a workshop concerning art information management with a microcomputer held at the Art Libraries Society of North America conference in Los Angeles, California on February 8, 1985. The organizers enlisted the aid of people familiar with the topic to assist the participants. The session has three purpose, one of which is to create a nontraditional art information database and discover some of its inherent capabilities and problems.

The article presents information on the Art Libraries Society of North America conference in Los Angeles, California in February 1985. She presents an overview of the topics that will be discussed in the conference. She also cites the awards that will be given. Other highlights of the event were also presented.

This section offers news briefs on music-related matters as of June 1999. The 2000 Annual General Meeting (AGM) of the Canadian Society for Traditional Music will take place in Toronto, Ontario from November 3 to 5, 2000. The Performing Ecstacies: Music, Dance and Ritual in the Mediterranean symposium will take place in Los Angeles, California from October 11 to 15, 2000, and is calling for papers regarding the symposium's theme. The Canmore Folk Festival changed its address and contact information, both of which are provided.

The International Society for the Scholarship of Teaching and Learning (ISSOTL) annual conference presents an exciting opportunity to meet with international colleagues from diverse backgrounds and situations to commune on our common interest in the Scholarship of Teaching and Learning (SoTL). As with every ISSOTL conference, the enthusiasm for SoTL was palpable in Los Angeles in 2016. Rich discussions took place, networks were formed, and promises to keep in touch were made. Unfortunately, previous conference experiences have taught us that these good intentions often fall short once the conference bubble has burst and the reality of daily life sets in once more. In an attempt to circumvent this phenomenon, we--seven colleagues from three different countries--embarked on a research project that enabled us to maintain the relationships and fruitful discussions we had initiated at ISSOTL16. We established Small, Significant Online Network Group, or SSONG, inspired by a conference workshop on small significant networks. As a group, we met regularly online using Adobe Connect© and engaged in significant conversations around SoTL that were private, trustful, and intellectually intriguing. This article reflects our experiences in establishing and maintaining the group. We discuss how the group was formed; its alignment with the concept of small, significant networks; and the benefits and challenges we encountered. Four key principles of the group that have emerged will also be discussed in detail, enabling readers to consider how they could adapt the concept for their own purposes. [ABSTRACT FROM AUTHOR]

In February, SID's Los Angeles Chapter held its annual day‐long focused technical and business conference. Ken Werner, the conference's program chair and one of its speakers, highlights key points from the event. [ABSTRACT FROM AUTHOR]

Reports on the Siggraph convention which was held at the Los Angeles Convention Center in California on August 8-12, 2004. Increase in the number of attendees in 2004 compared to the 2003 convention; Products introduced by chip manufacturers ATI, NVIDIA and 3Dlabs; Information on the 3ds max 7 software from Discreet; Highlights of the computer animation festival.

Focuses on the conference on Pure Land Buddhism in Dialogue with Christian Theology, held at the Loyola Marymount University in Los Angeles, California from September 9-14, 2001. Roots of the conference; Focus of the conference; Christianity's response to the modern world; Subjects of the papers presented at the conference; Significance of interreligious dialogue.

The article deals with the business meeting of the Visual Resources Special Interest Group (SIG) at the Art Libraries Society of North America conference on February 10, 1985 in Los Angeles, California. During the meting, comments were raised by members who needed detailed information on the content of the group's workshop. The election of officers for the 1985-86 period was also held.

The article focuses on the Publications Committee meeting on February 10, 1985 during the Art Libraries Society of North America (ARLIS/NA) conference in Los Angeles, California. The meeting was opened by Carol Terry with a presentation of the new official ARLIS/NA Publications Committee Guidelines. Individual evaluations and investigations of conference sessions in Los Angeles were reported by committee members.

The article deals with a workshop concerning rare books for art librarians held at the Art Libraries Society of North America conference on February 8, 1985 in Los Angeles, California. The morning session of the workshop was focused on rare books as sources for art historical research. Other topics discussed include the unpopularity of catalog collecting and private collection catalogs.

This article highlights the 1982 MLA convention in Los Angeles, California and the Milton Society Dinner in San Marino, California. A Miltonist would find no less than 18 papers regarding John Milton read over during the convention. Some of the topics are: 1) Milton and Reformation Theology; 2) Milton and the Arts; 3) Promethean Art, and; 4) The Chariot of Paternal Deitie. For this year, the traditional cocktail hour remained the same but was followed by changes in the regular proceedings at the annual meeting. Winners of the James Holly Hanford Awards were announced by Joseph Summers, with Al Labriola getting recognition for the best article.

The article reports on the meeting of the National Educational Association held in Los Angeles, California, in 1899. During the course of the meeting, educational papers like the "Public Education in Our New Possessions," "Moral and Religious Instruction in the Public Schools," and "Educational Progress and Outlook" were presented. Further, reports from the department meeting and from the Committee on the Relation of Public Libraries to Public Schools were also discussed.

The article examines whether the music industry has seen the effects of the Long Tail theory which was proposed by Chris Anderson at his 2007 presentation at the Music and Entertainment Industry Educators Association (MEIEA) conference in Los Angeles, California. The theory suggests that the growing online music market is shifting demand from popular hits at the head towards a larger group of less popular music.

What follows is a presentation made at the annual meeting of the International Association of the Psychology of the Self in October, 2007, Los Angeles. It was delivered at a Meet the Author session that featured Robert D, Stolorow's (2007) recently published book, Trauma and Human Existence: Autobiographical, Psychoanalytic, and Philosophical Reflections, and concerns that publication. [ABSTRACT FROM AUTHOR]

This article highlights the Artists' Book Conference that took place from May 21-24, 2006 in Los Angeles, California. During the conference, participants emphasized the need for developing descriptive and critical standards to help in the evaluation of the expanding repertoire of artists' books and their credibility as objects for serious study. Factors contributing to the increasing popularity of the artist's book are described. Other issues addressed during the conference are highlighted.

Reports on the meeting of American Society of Microbiology in Los Angeles, California on bacterial biocatalyst containing a chimeric gene as of July 18, 2000. Presentation of the genetic information by Enchira Biotechnology; Control of biocatalytic reaction in biodesulfurization of diesel fuel through the gene.

Presents the report of the Recreation, Tourism and Sport (RTS) Specialty Group meetings of the Association of American Geographers (AAG). RTS-sponsored sessions during the March 19-23, 2002 AAG annual conference in Los Angeles, California; Replacement of Rob Bristow by Robert Pfister as the editor of the RTS Newsletter; Acceptance of the Roy Wolfe Contributions to RTS Award by Keith Debbage.

The article invites readers to send news items related to cataloging and classification and also offers information on meetings and conferences on the same topic. Information is given about the conference titled "Moving Beyond the Catalog: Bibliographic Access in a Web World," held at College of the Holy Cross, Worcester, Massachusetts, on December 11, 2001, in which issues related to cataloging and information architecture were discussed. The article further discusses the meeting minutes of the Association of Library Collections and Technical Services (ALCTS) Technical Services Directors of Large Research Libraries Discussion Group held during the Midwinter American Library Association Meeting, in New Orleans, Louisiana, on January 18, 2002.

Presents a report on the conference on heritage language research held in Los Angeles, California on September 21 to 23, 2000. Issues discussed in the conference; Purpose of the conference; Categories of the heritage language research questions addressed at the conference.

Highlights the American Psychological Association (APA) Council meeting in Los Angeles, California. Debate on the inclusion of smoking and liquor advertisement on APA magazine; Law on ethnic and minority representation; Amendment on duration of council service.

Highlights the 8th International Histocompatibility Workshop and Conference in Bonaventure Hotel in Los Angeles, California held on February 7-9, 1980. Topics to be discussed in the conference; Selection of the highest-scoring abstracts; Deadline for submission of the abstracts.

The article presents the issues discussed and acted upon by the executive board of the Art Libraries Society of North America during its annual conference held in February 1985 in Los Angeles, California. Among these are: change of name of the Fundraising Committee, assigning of a responsibility to the Development Committee and approval of the establishment of an Ad Hoc Oral History Committee.

The article presents the text of an informal presentation of the author at the membership meeting during the annual conference of the Art Libraries Society of North America held in Los Angeles, California on February 12, 1985. He proposes the significance of forming a task force. The author acknowledges the efforts of society members. He stresses the importance of professional development.