673 research outputs found

    Ontology of tomorrow

    No full text
    In this conversation between futurist Martin Kruse and philosopher SørenRiis, the two tackle some the big questions; What is the future, and how does itrelate to trends and our being in general? Søren Riis is a philosopher, associateprofessor at Roskilde University and a serial entrepreneur. Martin Kruse isa futurist and senior advisor at the Copenhagen Institute for Futures Studies.In this conversation between futurist Martin Kruse and philosopher SørenRiis, the two tackle some the big questions; What is the future, and how does itrelate to trends and our being in general? Søren Riis is a philosopher, associateprofessor at Roskilde University and a serial entrepreneur. Martin Kruse isa futurist and senior advisor at the Copenhagen Institute for Futures Studies

    The Jacob A. Riis-Theodore Roosevelt Digital Archive

    No full text
    The Jacob A. Riis-Theodore Roosevelt Digital Archive is a digital archive focused on the Progressive Era in US history, which lasted from the late 19th century to the early 20th century. During the Progressive Era, reformers from the American middle class made significant strides in addressing social issues in urban areas and among the working and lower classes. These social issues included tenement housing, prostitution, and other forms of corruption. Some well-known reformers include Jacob Riis, the photographer and author of How The Other Half Lives, Upton Sinclair, author of The Jungle, and Jane Addams, founder of Hull House. The digital archive is specifically focused on Riis and former US president Theodore Roosevelt, the latter of whom was the founding member of the Progressive Party. This approach presents two different ways that Progressive Reform was brought about in late 19th century America: the reformer (Riis) directly worked with people afflicted by societal issues on a daily basis and knew exactly what they were going through, whereas the politician (Roosevelt) used political power and influence to encourage his colleagues and the masses to realize America\u27s social injustices and to help quell them. The scope of the digital archive focuses solely on the New York City area, which was one of the prime locations that experienced Progressive Reform in the United States. As such, the contents of the archive were derived from the New York Public Library and other academic digital collections. The Jacob A. Riis-Theodore Roosevelt Digital Archive will make contributions to the discipline of history by making learning about a certain period of the past more interactive and resourceful for the average, tech-savvy 21st century student. In addition, visitors to the Digital Archive will get a better sense of how a digital archive operates by exploring its layout, which includes a section for collections and a section for exhibits

    American Geographical Society of New York Records, 1723-2010, bulk 1854-2000

    No full text
    Correspondence, clippings, and planning documents for the Riis Expedition to commemorate the 100th anniversary of Darwin's voyage in the HMS 'Beagle.

    sj-docx-1-sjp-10.1177_14034948231201690 – Supplemental material for Physical activity levels before and after the COVID-19 restrictions among Danish adolescents: a retrospective cohort study

    No full text
    Supplemental material, sj-docx-1-sjp-10.1177_14034948231201690 for Physical activity levels before and after the COVID-19 restrictions among Danish adolescents: a retrospective cohort study by Martin Eilertsen, Allan Riis, Anne Nielsen and Henrik Riel in Scandinavian Journal of Public Health</p

    sj-pdf-2-imr-10.1177_03000605221112046 - Supplemental material for Difference in postural stability between STarT Back Tool subgroups of patients with low back pain under conditions of sensory deprivation and cognitive load

    No full text
    Supplemental material, sj-pdf-2-imr-10.1177_03000605221112046 for Difference in postural stability between STarT Back Tool subgroups of patients with low back pain under conditions of sensory deprivation and cognitive load by Stian Ingemann-Molden, Rogerio Pessoto Hirata, Martin Bach Jensen, Thomas Graven-Nielsen and Allan Riis in Journal of International Medical Research</p

    sj-pdf-1-imr-10.1177_03000605221112046 - Supplemental material for Difference in postural stability between STarT Back Tool subgroups of patients with low back pain under conditions of sensory deprivation and cognitive load

    No full text
    Supplemental material, sj-pdf-1-imr-10.1177_03000605221112046 for Difference in postural stability between STarT Back Tool subgroups of patients with low back pain under conditions of sensory deprivation and cognitive load by Stian Ingemann-Molden, Rogerio Pessoto Hirata, Martin Bach Jensen, Thomas Graven-Nielsen and Allan Riis in Journal of International Medical Research</p

    The Riis Complexity Gap for QBF Resolution

    No full text
    We give an analogue of the Riis Complexity Gap Theorem in Resolution for Quantified Boolean Formulas (QBFs). Every first-order sentence ϕ without finite models gives rise to a sequence of QBFs whose minimal refutations in tree-like QBF Resolution systems are either of polynomial size (if ϕ has no models) or at least exponential in size (if ϕ has some infinite model). However, we show that this gap theorem is sensitive to the translation and different translations are needed for different QBF resolution systems. For tree-like Q-Resolution, the translation to QBF must be given additional structure in order for the polynomial upper bound to hold. This extra structure is not needed in the system tree-like ∀Exp+Res, where we see the complexity gap on a natural translation to QBF

    08161 Abstracts Collection – Scalable Program Analysis

    No full text
    From April 13 to April 18, 2008, the Dagstuhl Seminar 08161 ``Scalable Program Analysis'' was held in the International Conference and Research Center (IBFI), Schloss Dagstuhl. During the seminar, several participants presented their current research, and ongoing work and open problems were discussed. Abstracts of the presentations given during the seminar as well as abstracts of seminar results and ideas are put together in this paper. The first section describes the seminar topics and goals in general. Links to extended abstracts or full papers are provided, if available
    corecore