142,858 research outputs found

    Searching on a Tape

    Get PDF
    Coordinated Science Laboratory was formerly known as Control Systems LaboratoryNational Science Foundation / ECS-84-10902 and CCR-87-14565Amoco Foundatio

    The Computer as a Tool for Legal Research

    Get PDF

    Passively Mobile Communicating Logarithmic Space Machines

    Full text link
    We propose a new theoretical model for passively mobile Wireless Sensor Networks. We call it the PALOMA model, standing for PAssively mobile LOgarithmic space MAchines. The main modification w.r.t. the Population Protocol model is that agents now, instead of being automata, are Turing Machines whose memory is logarithmic in the population size n. Note that the new model is still easily implementable with current technology. We focus on complete communication graphs. We define the complexity class PLM, consisting of all symmetric predicates on input assignments that are stably computable by the PALOMA model. We assume that the agents are initially identical. Surprisingly, it turns out that the PALOMA model can assign unique consecutive ids to the agents and inform them of the population size! This allows us to give a direct simulation of a Deterministic Turing Machine of O(nlogn) space, thus, establishing that any symmetric predicate in SPACE(nlogn) also belongs to PLM. We next prove that the PALOMA model can simulate the Community Protocol model, thus, improving the previous lower bound to all symmetric predicates in NSPACE(nlogn). Going one step further, we generalize the simulation of the deterministic TM to prove that the PALOMA model can simulate a Nondeterministic TM of O(nlogn) space. Although providing the same lower bound, the important remark here is that the bound is now obtained in a direct manner, in the sense that it does not depend on the simulation of a TM by a Pointer Machine. Finally, by showing that a Nondeterministic TM of O(nlogn) space decides any language stably computable by the PALOMA model, we end up with an exact characterization for PLM: it is precisely the class of all symmetric predicates in NSPACE(nlogn).Comment: 22 page

    Where are all the coral trout?

    Get PDF
    Marine scientists have been looking at methods for counting fishes underwater for some decades and the Marine Park Authority held a number of workshops in the late seventies and early eighties to develop techniques for counting coral trout. They also found that after training using wooden trout models a diver could make a good estimate of the length of any coral trout seen. We used a method that involved two divers searching for trout along 50 metre long by 20 metre wide survey transects so we could get an estimate of the number of coral trout living in a 1000 square metre area of reef. To cover as big a depth range as possible we ran the 50 metre fiberglass surveyors tape that defined each transect down the reef slope from the edge of the reef flat. On most reefs the transect ended in about 15 metres of water but on some shallow reefs the end of the tape was only at 8 or 10 metres depth and on the steep slopes of some outer reefs we reached depths between 20 and 30 metres

    LLTI Highlights

    Get PDF

    Jurimetrics: The Methodology of Legal Inquiry

    Get PDF
    • …
    corecore