1,390 research outputs found
“Once again text & parenthesis – sound synthesis with Foo”
No full textFoo is a sound synthesis tool based on the Scheme language, a clean and powerful Lisp dialect. Foo is used for high-quality non-realtime sound synthesis and-processing. By scripting Foo like a shell it is also a neat tool for implementing common tasks like soundfile conversion, resampling, multichannel extraction etc. Note: According to the talk at the Linux Audio Conference, this text will mainly cover the Foo kernel layer. This is because the main author of this text, Martin Rumori, is mostly involved with porting and developing the Foo kernel. Quotation from [5]: Whereas the Foo kernel layer implements the generic sound synthesis and processing modules as well as a patch description and execution language, the Foo control layer offers a symbolic interface to the kernel and implements musically salient control abstractions. Find out more about the Foo control layer in [4] and [5] and the Foo control layer’s source code at [1].
December 31, 1911 Page four Creditors mourn Charles Foo Clerk's office pays expense Clallam people industrious Matrimonial market dull Troy's gubernatorial boom
No full textFoo, Charles; Troy, David S.
Dance with Minutae : The Paintings of Dulcie Foo Fat
No full textThe poetic vision in Foo Fat's "groundscapes", still-lifes and figurative work is contrasted to the politicized approach, cynicism and aggression the author identifies in much of American New Realist Art. Biographical notes. 7 bibl. ref
sj-docx-1-sgr-10.1177_10464964221082516 – Supplemental material for Public Negative Labeling Effects on Team Interaction and Performance
No full textSupplemental material, sj-docx-1-sgr-10.1177_10464964221082516 for Public Negative Labeling Effects on Team Interaction and Performance by Jessica F. Kirk, David R. Hekman, Elsa T. Chan and Maw-Der Foo in Small Group Research</p
Utilization of Occupational Therapy by Older Healthy Adults at Risk for Falls Is Low
No full textAbstract
Date Presented 3/31/2017
A retrospective content analysis on physicians’ dictations for 50 healthy older adults visiting an ambulatory orthopedic spine clinic revealed that physicians may not be screening for executive functioning impairment or referring to occupational therapy for fall prevention.
Primary Author and Speaker: Stephanie Foo
Additional Authors and Speakers: M. J. Mulcahey, Catherine Piersol</jats:p
Bibliometric cartography of information retrieval research by using co-word analysis
No full textThe aim of this study is to map the intellectual structure of the field of Information Retrieval (IR) during the period of 1987-1997. Co-word analysis was employed to reveal patterns and trends in the IR field by measuring the association strengths of terms representative of relevant publications or other texts produced in IR field. Data were collected from Science Citation Index (SCI) and Social Science Citation Index (SSCI) for the period of 1987-1997. In addition to the keywords added by the SCI and SSCI databases, other important keywords were extracted from titles and abstracts manually. These keywords were further standardized using vocabulary control tools. In order to trace the dynamic changes of the IR field, the whole 11-year period was further separated into two consecutive periods: 1987-1991 and 1992-1997. The results show that the IR field has some established research themes and it also changes rapidly to embrace new themes
Author Co-Citation Analysis (ACA): a powerful tool for representing implicit knowledge of scholar knowledge workers
No full textIn the last decade, knowledge has emerged as one of the most important and valuable organizational assets. Gradually this importance caused to emergence of new discipline entitled ―knowledge management‖. However one of the major challenges of knowledge management is conversion implicit or tacit knowledge to explicit knowledge. Thus Making knowledge visible so that it can be better accessed, discussed, valued or generally managed is a long-standing objective in knowledge management. Accordingly in this paper author co- citation analysis (ACA) will be proposed as an efficient technique of knowledge visualization in academia (Scholar knowledge workers)
Linnés skrifter rörande dietetik - mat, hälsa och levnadskonst
No full textBibliography of Carl Linnaeus's works in dietetics, health and foo
Hypermedia Interoperability: Navigating the Information Continuum
No full textOpen Hypermedia Systems are designed to allow links to be authored and followed on top of any media format. The link structures are held separately from the documents in a software component called a Link Server. As hypermedia has matured as a research topic attention has turned to standardising the way in which components talk to Link Servers in order to provide interoperability. The Open Hypermedia Systems Working Group took up this challenge and proposed an Open Hypermedia Protocol (OHP). However, the scope of this proposal proved to be too large and the protocol was divided into domain specific parts (Navigational, Spatial and Taxonomic Hypermedia), tackling each domain differently, but consistently. It is questionable whether this step was the correct one, as the domains share many similar features. In this thesis I present a detailed examination of the information spaces that the OHP was attempting to model (from all these considered hypertext domains), which incorporates notions of both behaviour and context. This examination looks at what it means to navigate around the many dimensions of information, across these domains, and reveals a cohesive and continuous structure that I call the Information Continuum. The Fundamental Open Hypermedia Model (FOHM) is presented, which is capable of representing the structures of this continuum in a consistent and meaningful way. FOHM is coupled with an agent infrastructure to produce an implementation that demonstrates the model being used for cross-domain interoperability
Leveraging Cryptographic Simulator Synthesis for Formally Verifying the FOO E-Voting Protocol
No full textInternational audienceCryptographic proofs proceed in large part by reductions to cryptographic assumptions expressed as games. These reductions rely on simulators which are often tedious to write and involve a significant amount of trivial code. Thus, simulators are only sketched in pen-and-paper proofs, which is error-prone. Mechanized cryptographic proofs remove the risk of errors, but requiring users to explicitly write simulators is an unreasonable burden.In this paper, we consider the problem of simulator synthesis in Squirrel, where cryptographic simulation is expressed as bi-deduction. Although the seminal work on bi-deduction provides a proof system and a simple proof-search procedure for it, we show that it suffers from systematic failures when working with games such as IND-CCA2. We provide a significantly improved procedure, that can re-use oracle calls across recursive iterations, and generates precise invariants to justify it. We implement this procedure in Squirrel and validate it in a proof of ballot privacy for the FOO e-voting protocol, which is the first computational mechanized proof for FOO, and the most complex Squirrel proof to date
- …
