22,756 research outputs found
Solving a Family Of Multivariate Optimization and Decision Problems on Classes of Bounded Expansion
No full textFor some time, it has been known that the model checking problem for first-order formulas is fixed-parameter tractable on nowhere dense graph classes, so we shall ask in which direction there is space for improvements. One of the possible directions is to go beyond first-order formulas: Augmenting first-order logic with general counting quantifiers increases the expressiveness by far, but makes the model checking problem hard even on graphs of bounded tree-depth. The picture is different if we allow only "simple" - but arbitrarily nested - counting terms of the form #y φ(x^- ,y) > N. Even then, only approximate model checking is possible on graph classes of bounded expansion. Here, the largest known logic fragment, on which exact model checking is still fpt, consists of formulas of the form ∃x_1 … ∃x_k #y φ(x^- ,y) > N, where φ(x^- ,y) is a first-order formula without counting terms. An example of a problem that can be expressed in this way is partial dominating set: Are there k vertices that dominate at least a given number of vertices in the graph? The complexity of the same problem is open if you replace at least with exactly. Likewise, the complexity of "are there k vertices that dominate at least half of the blue and half of the red vertices?" is also open. We answer both questions by providing an fpt algorithm that solves the model checking problem for formulas of the more general form ψ ≡ ∃x_1 … ∃x_k P(#y φ_1(x^- ,y), …, #y φ_ℓ(x^- ,y)), where P is an arbitrary polynomially computable predicate on numbers. The running time is f(|ψ|)n^{+1} polylog(n) on graph classes of bounded expansion. Under SETH, this running time is tight up to almost linear factor
Promoting Active Living for Scott County
No full textReports and presentations completed by Galen Ryan and Daniel Mock who were enrolled in PA 8991: Independent Research, taught by Dr. Yingling Fan in Spring 2019.This project was completed as part of a year-long partnership between Scott County and the University of Minnesota’s Resilient Communities Project (http://www.rcp.umn.edu). The goal of this project was to promote active living in Scott County. Scott County project lead Nathan Moe collaborated with students, Galen Ryan and Daniel Mock, and their professor, Dr. Yingling Fan, as part of an independent study in the Humphrey School of Public Affairs. Galen Ryan focused his research on active transportation in Scott County while Daniel Mock researched barriers to parks access in the county. Full reports and PowerPoint presentations slides from the project as well as a research poster on active transportation are available.This project was supported by the Resilient Communities Project (RCP), a program at the University of Minnesota whose mission is to connect communities in Minnesota with U of MN faculty and students to advance community resilience through collaborative, course-based projects. RCP is a program of the Center for Urban and Regional Affairs (CURA). More information at http://www.rcp.umn.edu.Ryan, Galen; Mock, Daniel. (2019). Promoting Active Living for Scott County. Retrieved from the University Digital Conservancy, https://hdl.handle.net/11299/206506
Georgia Law team finishes as semifinalists in William Daniel Mock Trial competition
No full textGeorgia Law team finishes as semifinalists in William Daniel Mock Trial competition Monday, November 23, 2015
Congratulations to second-year students Joseph Patrick J.P. Hackney and Hannah S. Sells, and third-year students Meredith A. Gardial and Benjamin P. Ben Ralston, who finished as semifinalists in the 2015 William Daniel Mock Trial competition
Report on Meteorological Research March 1, 1935 (m-1)
No full textThe object of the report was to elucidate in detail the various features of the research program in meteorology being carried on at the Daniel Guggenheim Airship Institute in Akron, Ohio. Mr. L. J. Fangman, of the U.S. Weather Bureau, was collaborating with the author in carrying out work such as a study of autographic records of the various meteorological elements during frontal passages with a view to the possible prediction of the intensity of the accompanying disturbance as it may affect the operation of aircraft and a study of atmospheric gustiness with a view to finding the dependence between frequency end amplitude of velocity fluctuations and the vertical temperature and velocity gradients
(Fourth) Report on Meteorological Activities at the DGAI (8-1-36)(Weather Bureau Copy)
No full textThis report is on the investigations of frontal phenomena at the Daniel Guggenheim Airship Institute in Akron, Ohio from January 1, 1935 through August 1, 1936. The investigation was carried out with the cooperation of the U.S. Bureau of Aeronautics, the U.S. Weather Bureau, the California Institute of Technology, and the Guggenheim Airship Institute. Mr. R.C. Robinson of the Weather Bureau cooperated with the author in carrying out the investigation. The object of the investigation was to determine the intensity of the atmospheric disturbances (i.e. rapidity of wind shift and gustiness) accompanying the passage of cold fronts, along with a study of the characteristics of the air masses involved and other features which might affect the intensity of the disturbance. The report treated thirty cold fronts which passed the station during 1935 to 1936
Archives and Images as Repositories of Time, Language, and Forms from the Past: A Conversation with Daniel Eisenberg
No full textAdvocacy team wins William Daniel Mock Trial Tournament
No full textCongratulations to third-year students Austin Albertson, Peyton Clark, Audrey Cunningham, Varad Dabke and Richmond Wrinkle, and second-year student Brianna Yates for winning the William Daniel Mock Trial Tournament. The tournament was a state championship event and the UGA team was the only undefeated team, winning against teams from the law schools at Emory, Georgia State and Mercer universities. The team was coached by Jeremy Dailey (J.D.’14)
Advocacy team wins William Daniel Mock Trial Tournament
No full textCongratulations to third-year students Austin Albertson, Peyton Clark, Audrey Cunningham, Varad Dabke and Richmond Wrinkle, and second-year student Brianna Yates for winning the William Daniel Mock Trial Tournament. The tournament was a state championship event and the UGA team was the only undefeated team, winning against teams from the law schools at Emory, Georgia State and Mercer universities. The team was coached by Jeremy Dailey (J.D.’14)
Evaluating Restricted First-Order Counting Properties on Nowhere Dense Classes and Beyond
No full textIt is known that first-order logic with some counting extensions can be efficiently evaluated on graph classes with bounded expansion, where depth-r minors have constant density. More precisely, the formulas are ∃ x₁… x_k#y φ(x_1,…,x_k, y) > N, where φ is an FO-formula. If φ is quantifier-free, we can extend this result to nowhere dense graph classes with an almost linear FPT run time. Lifting this result further to slightly more general graph classes, namely almost nowhere dense classes, where the size of depth-r clique minors is subpolynomial, is impossible unless FPT = W[1]. On the other hand, in almost nowhere dense classes we can approximate such counting formulas with a small additive error. Note those counting formulas are contained in FOC({>}) but not FOC₁().
In particular, it follows that partial covering problems, such as partial dominating set, have fixed parameter algorithms on nowhere dense graph classes with almost linear running time
Daniel Akech
No full textabstract: Daniel was a little boy when the war came to his village. He witnessed people being shot and running for shelter. There was no food or water so he drank urine and ate tree leaves.
“Lost Boys Found” is an ongoing, interdisciplinary project that is collecting, recording and archiving the oral histories of the Lost Boys/Girls of Sudan. The collection is a work-in-progress, seeking to record the oral history of as many Lost Boys/Girls as are willing, and will be used in a future book.Age: 24Region: Upper NileThis picture and bio was donated to the "Lost Boys Found" oral history project from The Arizona Lost Boys Cente
- …
