نتایج جستجو برای: while nc89k394

تعداد نتایج: 1065594  

2004
Elizabeth Sklar Amy Eguchi

This paper outlines a mentoring experience in which undergraduate students majoring in Computer Science spent their summer teaching robotics to high school students in Harlem. We describe two programs in which we worked with undergraduates to develop and implement robotics curriculum. Then we report on a valuable and often overlooked piece of the project — the learning experience of the undergr...

Journal: :International journal of adolescent medicine and health 2015
Joav Merrick Stephanie Stockburger Hatim A Omar

2016
Andreana C. Kenrick Stacey Sinclair Jennifer Richeson Sara C. Verosky Janetta Lun

Four experiments examined whether intergroup attitudes shape the speed with which Blacks are thought to be moving. When participants rated the speed of Black and White faces that appeared to be moving toward them, greater intergroup anxiety was associated with judging Black targets as moving more slowly relative to White targets (Experiments 1a and 1b). Experiment 2 demonstrated that this effec...

Journal: :Journal of palliative medicine 2010
Elizabeth S Menkin

Being in the hospice business does not give one a getout-of-mourning-free card. Death that is personal is so very different from death I encounter in my professional role. My father, Peter Serrell, died in November after a 10-day elective fast, 7 weeks before his 94th birthday. He had been in the hospital for a couple of days with a poorly defined problem in his gut, where ischemic colitis was ...

2007
Miller Puckette

The field of computer music can be thought of as having two fundamental branches, one concerned with the manipulation of musical sounds, and the other concerned with symbolic representations of music. The two are iconized by Max Mathews’s MUSIC program and Lejaren Hiller’s ILIAC Suite, both of 1957, although both have important antecedents. The two branches might provisionally be given the name...

2009
Yi Luo Ladislau Bölöni

In the convoy formation problem, two embodied agents are negotiating the synchronization of their movement for a portion of their respective paths from source to destinations. In this paper, we consider a setting in which the negotiation happens in physical time, thus the agents have the opportunity to perform actions, such as movement, while negotiating. In these settings, the agent’s behavior...

Journal: :Archive of Formal Proofs 2017
Andreas Lochbihler

This AFP entry defines a probabilistic while operator based on subprobability mass functions and formalises zero-one laws and variant rules for probabilistic loop termination. As applications, we implement probabilistic algorithms for the Bernoulli, geometric and arbitrary uniform distributions that only use fair coin flips, and prove them correct and terminating with probability 1.

Journal: :CoRR 2016
Cláudio Vasconcelos António Ravara

This article consists on the presentation of the While language, a simple imperative programming language based on the language with the same name presented in [3]. The objective is to study and develop ”hands-on” a formal specification of a programming language, namely its syntax, operational semantics and type system. This is an initial step to help us understand the fundamentals of imperativ...

2000
Kurt Englmeier

The paper presents an approach to automatically construct hypertext structures out of large document samples for a context-oriented retrieval. It contributes to the design of future infrastructure for large-scale information retrieval systems. As its crucial trait, profiles of usage will furnish the process of semantically mapping. This will be based on automatic text analysis that extract the ...

Journal: :The Journal of Cell Biology 2004
William A. Wells

ntercalation—the slotting of cells in between one another—is an established method for converting short and fat into long and slim. This is all very well in slippery, adhesion-sparse mesenchymal tissues. But many such extension events occur in epithelial tissues, where cells are glued together by adhesion complexes. Claire Bertet, Lawrence Sulak, and Thomas Lecuit (IBDM, Marseille, France) now ...

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید