Most compounds considered toxic to mammals should also be considered toxic to birds. Table 37.1 offers a guide for treatment of intoxication from some common household products. Based on their size and physiology, birds are more prone than mammals to intoxication by some compounds, such as volatile chemicals and fumes. Psittaciformes have a propensity to chew on almost anything. All avian clien...

Huge amounts of human knowledge are available on the Internet, but most of it is in the form of unstructured text and isn’t directly accessible to automated systems. Core natural language processing tasks focus on adding structure to this text to expose that information. For example, a syntactic parser can identify verbs and their arguments, which tell us about events and their participants. We...

There exists a model in a countable language having a unique element which is not definable in Lω1,ω. We answer problem 10.12 from the updated version of Arnie Miller’s problem list, [3]. Definition For a structure M and a ∈ M, we say that a is definable over Lω1,ω if there is a formul ψ ∈ Lω1,ω such that for all b ∈ M a = b ⇔ M |= ψ(b). Theorem 0.1 There is a countable language L and a model M...

My long term research goal is to develop algorithms that allow robots to autonomously learn to act appropriately in typical human environments, executing daily manual tasks alongside humans, and in places where it is dangerous for humans to work. Thus I seek to create robots that accomplish tasks ranging from cleaning and maintaining one’s house, to search and rescue and elder care. The current...

There are various opinions about how the phenomenon of sentential genericity (Carlson and Pelletier, 1995) is related to other classes of expressions of natural language. The notion of 'genericity' is most commonly viewed as having close ties to tense, mood and aspect (cf. Dahl, 1985; Comrie, 1985). For instance, philosophers and occasionally linguists (e.g. Dahl, 1975, 1985, and 1995) make use...

For this project, we will discuss a popular game among basketball fans, Fantasy NBA Basketball, and analyze various statistical related strategies applicable to the game. The strategies will involve different stages of the game play, such as drafting players, selection of free agents, as well as trading players. We will use a more efficient drafting strategies based on a model that we refer to ...

Predicates and Mutable ADTs in Hoare Type Theory Aleksandar Nanevski Amal Ahmed Greg Morrisett Lars Birkedal Harvard University IT University of Copenhagen {aleks,amal,greg}@eecs.harvard.edu [email protected]

Mytreasuredfriendandcolleagueformanyyears,GregCurt,died of lungcanceron July31stof2016,anabruptendtoa lifedevoted to curing cancer. His impact on our field deserves our admiration and respect, and will be recounted below. His friendship and loyalty to his many colleagues in industry, government, and academia remind us of the strong personal ties that grow as we worktogethertowardthiscommongoal....