نتایج جستجو برای: james lantolf
تعداد نتایج: 22668 فیلتر نتایج به سال:
Dot-types, as proposed by Pustejovsky and studied by many others, are special data types useful in formal semantics to describe interesting linguistic phenomena such as copredication. In this paper, we present an implementation of dot-types in the proof assistant Plastic base on their formalization in modern type theories.
The second European evidence-based Consensus on the diagnosis and management of Crohn's disease: Special situations Gert Van Assche ⁎, Axel Dignass ⁎, Walter Reinisch, C. Janneke van der Woude, Andreas Sturm, Martine De Vos, Mario Guslandi, Bas Oldenburg, Iris Dotan, Philippe Marteau, Alessandro Ardizzone, Daniel C. Baumgart, Geert D'Haens, Paolo Gionchetti, Francisco Portela, Boris Vucelic, Jo...
Prime brokers and hedge funds form relationships in a matching market. What are the determinants of these matches? How did they change after the financial crisis? I estimate a matching model in which part of the profits of prime brokers and hedge funds depends on variables that are defined at the level of the entire portfolio of clients that a prime broker serves. I show that prime brokers and ...
he exhibit opened in November, featuring speCially commissioned color portraits by photographer Louis Fabian Bachrach III that reveal the human faces behind the inventions of the computer age from the mouse and the microprocessor to applications software and the Internet. Underwritten by Goldman, Sachs & Company, Wizards and Their Wonders: Portraits in Computing introduces these visionaries in ...
This paper describes the experience from several ooerings of a Software Requirements course based on the Object Modeling Technique by Rumbaugh & al. The paper describes the organization of the course, which includes a semester project carried out by groups of 3-4 students. Descriptions of 20 such projects are given, most of which were based on ideas from the student teams.
In the second edition of his Essay on the Principle of Population, Malthus included twelve chapters that offer a remarkable description of population dynamics from all corners of the world. His discussion of (sub-Saharan) Africa was almost entirely based on the travel accounts of James Bruce and Mungo Park, two late eighteenth century British explorers. In this essay, I introduce these sources ...
He married, in 1870, Miss S. D. Jones, and took a farm near ?Kingsteignton, Devonshire. He entered at the Bristol Medical School when he was over thirty vears of age. He then went to Edinburgh and got Qualified in 1884. Besides his work as a general practitioner, he was Public Vaccinator for the Clifton District, and he attended gratuitously, for more than twenty-five years, the inmates of St. ...
Testing is an obligatory step in developing multi-agent systems. For testing multi-agent systems in virtual, dynamic environments, simulation systems are required that support a modular, declarative construction of experimental frames, that facilitate the embeddence of a variety of agent architectures, and that allow an efficient parallel, distributed execution. We introduce the system James (A...
I thank Drs. King and Cleary for their comments on my paper. They correctly point out the possibility of scattering in the forward direction from small irregularities (close to the size of a wavelength) near the crust. They then suggest that this mechanism can explain all precursors o f P 'P ' except for the P'650P' reflection, and that the reflection scattering hypothesis in Whitcomb (1973a) i...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید