Items of some interest:

These are my recent Pin​board​.in links:

  • Cin­derella Doc­u­men­ta­tion : The­o­ret­i­cal Background

    “At first sight it is not clear whether this require­ment is sat­is­fi­able in gen­eral. Turn on your favorite sys­tem for doing inter­ac­tive geom­e­try or para­met­ric CAD and make the fol­low­ing exper­i­ment: Draw a hor­i­zon­tal line and con­struct two cir­cles of equal radius whose cen­ters are con­strained to slide along the line. Move the cir­cles to a posi­tion in which they inter­sect, and con­struct the upper point of inter­sec­tion of the two cir­cles. Now move one cir­cle so that its cen­ter passes through the cen­ter of the other cir­cle. Most prob­a­bly you will see that the point of inter­sec­tion sud­denly jumps from the upper inter­sec­tion to the lower one. This is what has hap­pened in all the sys­tems we have tried so far. Such behav­ior runs counter to our require­ment of con­ti­nu­ity: You make a small move, and a depen­dent point sud­denly jumps.”

    sim­u­la­tion geom­e­try algo­rithms rep­re­sen­ta­tion nudge-​​targets
  • Reli­gion and the City | New​geog​ra​phy​.com

    “He talks about items rang­ing from mul­ti­cul­tural sen­si­tiv­i­ties to tak­ing the arts seri­ous to “being famous for help­ing the poor.” The lat­ter was an item that jumped out at me because, as I’ve noted before, too many urban­ist argu­ments are basi­cally argu­ments for what I call “Star­bucks urban­ism.” If called on this, peo­ple will say, “But of course tran­sit will ben­e­fit the poor too.” But that’s not how it’s sold. Urban­ists ought to be famous for the way they design, imple­ment, and talk about their poli­cies as instru­ments for help­ing the poor and facil­i­tat­ing upward eco­nomic and social mobil­ity. There’s a lot of other good stuff in the video that’s rel­e­vant to urban­ism. For those who pre­fer read­ing, Keller also wrote a paper called “Our New Global Cul­ture: Min­istry in Cities, which says of itself: “This paper sur­veys the rise of global cities, the cul­ture and dom­i­nant world­views within these cities, and a frame­work for min­is­ter­ing in them.”?

    city-​​planning orga­ni­za­tion mar­ket­ing Workan­tile Coscience out­reach diver­sity man­age­ment
  • Study Hacks » Blog Archive » What You Know Mat­ters More Than What You Do

    “Accord­ing to my col­leagues, this star researcher tends to begin with tech­niques, not prob­lems. He first mas­ters a tech­nique that seems promis­ing (and when I say “mas­ter,” I mean it — he really goes deep in build­ing his under­stand­ing). He then uses this new tech­nique to seek out prob­lems that were once hard but now yield eas­ily. He’s rest­less in this quest, often mas­ter­ing sev­eral new tech­niques each year.”

    heuris­tics work­life inno­va­tion pro­duc­tiv­ity problem-​​seeing problem-​​solving
  • Jour­natic worker takes ‘This Amer­i­can Life’ inside out­sourced jour­nal­ism | Poynter.

    “If you’ve never heard of Jour­natic, that’s kind of the idea. The com­pany, which was founded in 2006, has a web­site that doesn’t appear on at least the first five pages of Google search results. Job open­ings, often posted on Craigslist or Jour​nal​is​mJobs​.com, once men­tioned the company’s name, but no longer. Jour­natic cur­rently works with “dozens” of media com­pa­nies, Tim­pone said, though he declined to name them. He’s spo­ken before of the real estate sec­tion Jour­natic pro­duces for the San Fran­cisco Chron­i­cle. He said more are sign­ing up all the time.”

    disintermediation-​​in-​​action jour­nal­ism work­life out­sourc­ing exposé
  • A Step-​​by-​​Step Guide to Tribal Lead­er­ship: Part 1: The Five Stages of Tribal Cul­ture « emer­gent by design

    “Tribal Lead­ers are the peo­ple who focus their efforts on upgrad­ing the tribal cul­ture. (upgrad­ing the words we use to describe our real­ity and the behav­iors we prac­tice that shape the direc­tion of our lives) They set the stan­dard of per­for­mance in their indus­tries, from pro­duc­tiv­ity and prof­itabil­ity to employee reten­tion, and attract tal­ent. Most of all, they help bring groups to unity by rec­og­niz­ing their ‘trib­al­ness’ – get­ting peo­ple to talk about the things they really care about, com­ing together around these com­mon causes, and form­ing mis­sions to make some­thing great hap­pen, and to live in great­ness. The goal of Tribal Lead­er­ship is to learn how to get peo­ple ‘unstuck’ – from unhelp­ful lan­guage and behav­iors, so we can level up and tran­si­tion into higher-​​performance, less stress­ful, and more fun states of Being.”

    i-​​hate-​​the-​​word-​​tribes col­lab­o­ra­tion lead­er­ship cultural-​​dynamics advice
  • [1206.6532] Esti­mat­ing Nui­sance Para­me­ters in Inverse Problems

    “Many inverse prob­lems include nui­sance para­me­ters which, while not of direct inter­est, are required to recover pri­mary para­me­ters. Struc­ture present in these prob­lems allows effi­cient opti­miza­tion strate­gies — a well known exam­ple is vari­able pro­jec­tion, where non­lin­ear least squares prob­lems which are lin­ear in some para­me­ters can be very effi­ciently opti­mized. In this paper, we extend the idea of pro­ject­ing out a sub­set over the vari­ables to a broad class of max­i­mum like­li­hood (ML) and max­i­mum a pos­te­ri­ori like­li­hood (MAP) prob­lems with nui­sance para­me­ters, such as vari­ance or degrees of free­dom. As a result, we are able to incor­po­rate nui­sance para­me­ter esti­ma­tion into large-​​scale con­strained and uncon­strained inverse prob­lem for­mu­la­tions. We apply the approach to a vari­ety of prob­lems, includ­ing esti­ma­tion of unknown vari­ance para­me­ters in the Gauss­ian model, degree of free­dom (d.o.f.) para­me­ter esti­ma­tion in the con­text of robust inverse prob­lems, auto­matic cal­i­bra­tion, and opti­mal exper­i­men­tal design. Using numer­i­cal exam­ples, we demon­strate improve­ment in recov­ery of pri­mary para­me­ters for sev­eral large– scale inverse prob­lems. The pro­posed approach is com­pat­i­ble with a wide vari­ety of algo­rithms and for­mu­la­tions, and its imple­men­ta­tion requires only minor mod­i­fi­ca­tions to exist­ing algorithms.”

    reinventing-​​the-​​wheel feature-​​extraction opti­miza­tion modeling-​​is-​​not-​​mathematics nudge-​​targets
  • [1206.4608] A Hybrid Algo­rithm for Con­vex Semi­def­i­nite Optimization

    “We present a hybrid algo­rithm for opti­miz­ing a con­vex, smooth func­tion over the cone of pos­i­tive semi­def­i­nite matri­ces. Our algo­rithm con­verges to the global opti­mal solu­tion and can be used to solve gen­eral large-​​scale semi­def­i­nite pro­grams and hence can be read­ily applied to a vari­ety of machine learn­ing prob­lems. We show exper­i­men­tal results on three machine learn­ing prob­lems (matrix com­ple­tion, met­ric learn­ing, and sparse PCA) . Our approach out­per­forms state-​​of-​​the-​​art algorithms.”

    algo­rithms opti­miza­tion computational-​​complexity spe­cial­iza­tion nudge-​​targets
  • [1206.6690] Gen­er­a­tion and Prop­er­ties of Snarks

    “For many of the unsolved prob­lems con­cern­ing cycles and match­ings in graphs it is known that it is suf­fi­cient to prove them for emph{snarks}, the class of non­triv­ial 3-​​regular graphs which can­not be 3-​​edge coloured. In the first part of this paper we present a new algo­rithm for gen­er­at­ing all non-​​isomorphic snarks of a given order. Our imple­men­ta­tion of the new algo­rithm is 14 times faster than pre­vi­ous pro­grams for gen­er­at­ing snarks, and 29 times faster for gen­er­at­ing weak snarks. Using this pro­gram we have gen­er­ated all non-​​isomorphic snarks on $nleq 36$ ver­tices. Pre­vi­ously lists up to $n=28$ ver­tices have been pub­lished. In the sec­ond part of the paper we ana­lyze the sets of gen­er­ated snarks with respect to a num­ber of prop­er­ties and con­jec­tures. We find that some of the strongest ver­sions of the cycle dou­ble cover con­jec­ture hold for all snarks of these orders, as does Jaeger’s Petersen colour­ing con­jec­ture, which in turn implies that Fulkerson’s con­jec­ture has no small coun­terex­am­ples. In con­trast to these pos­i­tive results we also find coun­terex­am­ples to eight pre­vi­ously pub­lished con­jec­tures con­cern­ing cycle cov­er­ings and the gen­eral cycle struc­ture of cubic graphs.”

    graph-​​theory com­bi­na­torics algo­rithms nudge-​​targets
  • [1206.6238] Entrain­abil­ity enhance­ment by period mis­match in biloop genetic oscillators

    “Effects of the period mis­match on entrain­ment prop­er­ties in two cou­pled genetic oscil­la­tors are stud­ied. The entrain­ment is cal­cu­lated with a phase reduc­tion approach and a Flo­quet mul­ti­plier analy­sis, and their depen­den­cies on cou­pling strength and the period ratio are inves­ti­gated in two genetic oscil­la­tor mod­els (smooth and relax­ation oscil­la­tors). We find that the exis­tence of the period mis­match induces an enhance­ment of entrain­ment in both smooth and relax­ation oscil­la­tors. By cal­cu­lat­ing Flo­quet mul­ti­pli­ers, we show that the enhance­ment mech­a­nism is based on the cou­pled oscil­la­tors which are in the vicin­ity of bifur­ca­tion on limit cycle.”

    biological-​​engineering emergent-​​design reaction-​​networks oscil­la­tors control-​​theory
  • [1206.4672] Effi­cient Active Algo­rithms for Hier­ar­chi­cal Clustering

    “Advances in sens­ing tech­nolo­gies and the growth of the inter­net have resulted in an explo­sion in the size of mod­ern datasets, while stor­age and pro­cess­ing power con­tinue to lag behind. This moti­vates the need for algo­rithms that are effi­cient, both in terms of the num­ber of mea­sure­ments needed and run­ning time. To com­bat the chal­lenges asso­ci­ated with large datasets, we pro­pose a gen­eral frame­work for active hier­ar­chi­cal clus­ter­ing that repeat­edly runs an off-​​the-​​shelf clus­ter­ing algo­rithm on small sub­sets of the data and comes with guar­an­tees on per­for­mance, mea­sure­ment com­plex­ity and run­time com­plex­ity. We instan­ti­ate this frame­work with a sim­ple spec­tral clus­ter­ing algo­rithm and pro­vide con­crete results on its per­for­mance, show­ing that, under some assump­tions, this algo­rithm recov­ers all clus­ters of size ?(log n) using O(n log^2 n) sim­i­lar­i­ties and runs in O(n log^3 n) time for a dataset of n objects. Through exten­sive exper­i­men­ta­tion we also demon­strate that this frame­work is prac­ti­cally alluring.”

    clus­ter­ing algo­rithms nudge-​​targets practically-​​alluring
  • Most Bla­tant Pro-​​ACTA Cam­paign So Far Is A Copy­right Monop­oly Vio­la­tion — Falkvinge on Infopolicy

    “This episode shows clearer than ever that the copy­right and patent monop­o­lies are not intended to be pro­tec­tive of inno­va­tion or pro­tec­tive of the econ­omy. They’re obvi­ously too com­plex even for their strongest sup­port­ers and lob­by­ists to under­stand and adhere to. Rather, they are intended as legal clubs to be used by the now-​​rich incum­bents against resource-​​strapped upstarts. The copy­right and patent monop­o­lies are only pro­tec­tive of the past, pro­tec­tive against the present and future of inno­va­tion, cre­ativ­ity, and economy.”

    copy­right intellectual-​​property cor­po­ratism public-​​policy
  • [1112.5218] Pat­terns of neu­tral diver­sity under gen­eral mod­els of selec­tive sweeps

    “Two major sources of sto­chas­tic­ity in the dynam­ics of neu­tral alle­les result from resam­pling of finite pop­u­la­tions (genetic drift) and the ran­dom genetic back­ground of nearby selected alle­les on which the neu­tral alle­les are found (linked selec­tion). There is now good evi­dence that linked selec­tion plays an impor­tant role in shap­ing poly­mor­phism lev­els in a num­ber of species. One of the best inves­ti­gated mod­els of linked selec­tion is the recur­rent full sweep model, in which newly arisen selected alle­les fix rapidly. How­ever, the bulk of selected alle­les that sweep into the pop­u­la­tion may not be des­tined for rapid fix­a­tion. Here we develop a gen­eral model of recur­rent selec­tive sweeps in a coa­les­cent frame­work, one that gen­er­al­izes the recur­rent full sweep model to the case where selected alle­les do not sweep to fix­a­tion. We show that in a large pop­u­la­tion, only the ini­tial rapid increase of a selected allele affects the geneal­ogy at par­tially linked sites, which under fairly gen­eral assump­tions are unaf­fected by the sub­se­quent fate of the selected allele. We also apply the the­ory to a sim­ple model to inves­ti­gate the impact of recur­rent par­tial sweeps on lev­els of neu­tral diver­sity, and find that for a given reduc­tion in diver­sity, the impact of recur­rent par­tial sweeps on the fre­quency spec­trum at neu­tral sites is deter­mined pri­mar­ily by the fre­quen­cies achieved by the selected alle­les. Con­se­quently, recur­rent sweeps of selected alle­les to low fre­quen­cies can have a pro­found effect on lev­els of diver­sity but can leave the fre­quency spec­trum rel­a­tively unper­turbed. In fact, the lim­it­ing coa­les­cent model under a high rate of sweeps to low fre­quency is iden­ti­cal to the stan­dard neu­tral model. The gen­eral model of selec­tive sweeps we describe goes some way towards pro­vid­ing a more flex­i­ble frame­work to describe genomic pat­terns of diver­sity than is cur­rently available.”

    neutral-​​networks evolutionary-​​dynamics fitness-​​landscapes diver­sity theoretical-​​biology
  • [1206.3520] Recov­er­ing the tree-​​like trend of evo­lu­tion despite exten­sive lat­eral genetic trans­fer: A prob­a­bilis­tic analysis

    “In the pres­ence of high­ways, deal­ing with more gen­eral net­work set­tings would be desir­able. Also our def­i­n­i­tion of high­ways as con­nect­ing two edges is some­what restric­tive. In gen­eral, one is also inter­ested in pref­er­en­tial genetic trans­fers between clades.”

    algo­rithms lateral-​​gene-​​transfer cladis­tics phy­lo­ge­net­ics inverse-​​problems ontol­ogy modeling-​​is-​​not-​​mathematics nudge-​​targets
  • [1206.3279] The Phy­lo­ge­netic Indian Buf­fet Process: A Non-​​Exchangeable Non­para­met­ric Prior for Latent Features

    “Non­para­met­ric Bayesian mod­els are often based on the assump­tion that the objects being mod­eled are exchange­able. While appro­pri­ate in some appli­ca­tions (e.g., bag-​​of-​​words mod­els for doc­u­ments), exchange­abil­ity is some­times assumed sim­ply for com­pu­ta­tional rea­sons; non-​​exchangeable mod­els might be a bet­ter choice for appli­ca­tions based on sub­ject mat­ter. Draw­ing on ideas from graph­i­cal mod­els and phy­lo­ge­net­ics, we describe a non-​​exchangeable prior for a class of non­para­met­ric latent fea­ture mod­els that is nearly as effi­cient com­pu­ta­tion­ally as its exchange­able coun­ter­part. Our model is applic­a­ble to the gen­eral set­ting in which the depen­den­cies between objects can be expressed using a tree, where edge lengths indi­cate the strength of rela­tion­ships. We demon­strate an appli­ca­tion to mod­el­ing prob­a­bilis­tic choice.”

    sta­tis­tics algo­rithms ontol­ogy col­li­ga­tion feature-​​extraction philosophy-​​of-​​science nudge-​​targets
  • “The Eurozone’s Strat­egy is a Dis­as­ter” « naked capitalism

    “Why should Ger­man and other tax­pay­ers, mostly from the north, pay for the oth­ers, mostly from the south? Because their gov­ern­ments are respon­si­ble for the dis­as­trous sit­u­a­tion we are in.”

    financial-​​crisis public-​​policy eco­nom­ics cultural-​​dynamics fair-​​weather-​​bosses
  • [1206.6504] An Abstract Approach to Strat­i­fi­ca­tion in Lin­ear Logic

    “We study the notion of strat­i­fi­ca­tion, as used in sub­sys­tems of lin­ear logic with low com­plex­ity bounds on the cut-​​elimination pro­ce­dure (the so-​​called light log­ics), from an abstract point of view, intro­duc­ing a log­i­cal sys­tem in which strat­i­fi­ca­tion is han­dled by a sep­a­rate modal­ity. This modal­ity, which is a gen­er­al­iza­tion of the para­graph modal­ity of Girard’s light lin­ear logic, arises from a gen­eral cat­e­gor­i­cal con­struc­tion applic­a­ble to all mod­els of lin­ear logic. We thus learn that strat­i­fi­ca­tion may be for­mu­lated inde­pen­dently of expo­nen­tial modal­i­ties; when it is forced to be con­nected to expo­nen­tial modal­i­ties, it yields inter­est­ing com­plex­ity prop­er­ties. In par­tic­u­lar, from our analy­sis stem three alter­na­tive refor­mu­la­tions of Bail­lot and Mazza’s lin­ear logic by lev­els: one geo­met­ric, one inter­ac­tive, and one semantic.”

    linear-​​logic logic-​​programming for­mal­iza­tion nudge-​​targets rep­re­sen­ta­tion
  • [1205.0802] Win-​​stay-​​lose-​​learn pro­motes coop­er­a­tion in the spa­tial prisoner’s dilemma game

    “Hold­ing on to one’s strat­egy is nat­ural and com­mon if the later war­rants suc­cess and sat­is­fac­tion. This goes against wide­spread sim­u­la­tion prac­tices of evo­lu­tion­ary games, where play­ers fre­quently con­sider chang­ing their strat­egy even though their pay­offs may be mar­gin­ally dif­fer­ent than those of the other play­ers. Inspired by this obser­va­tion, we intro­duce an aspiration-​​based win-​​stay-​​lose-​​learn strat­egy updat­ing rule into the spa­tial prisoner’s dilemma game. The rule is sim­ple and intu­itive, fore­see­ing strat­egy changes only by dis­sat­is­fied play­ers, who then attempt to adopt the strat­egy of one of their near­est neigh­bors, while the strate­gies of sat­is­fied play­ers are not sub­ject to change. We find that the pro­posed win-​​stay-​​lose-​​learn rule pro­motes the evo­lu­tion of coop­er­a­tion, and it does so very robustly and inde­pen­dently of the ini­tial con­di­tions. In fact, we show that even a minute ini­tial frac­tion of coop­er­a­tors may be suf­fi­cient to even­tu­ally secure a highly coop­er­a­tive final state. In addi­tion to exten­sive sim­u­la­tion results that sup­port our con­clu­sions, we also present results obtained by means of the pair approx­i­ma­tion of the stud­ied game. Our find­ings con­tinue the suc­cess story of related win-​​stay strat­egy updat­ing rules, and by doing so reveal new ways of resolv­ing the prisoner’s dilemma.”

    game-​​theory agent-​​based com­plex­ol­ogy
  • The Rude Pundit

    “And there’s every­thing you need to know about the Repub­li­can Party. “Shit hap­pened, but so what? Peo­ple were vic­tim­ized, but why should we care? That was nearly forty years ago.” The demen­tia in refus­ing to look back­ward, refus­ing to make up for the mis­takes of the past, whether it’s the Bush tax cuts or the lies that got us into war or the lies that got us into this finan­cial cri­sis, makes us damned to repeat. ”

    sum­mary pol­i­tics Repub­li­cans

Items of some interest:

These are my recent Pin​board​.in links:

  • Jonathan Lethem’s ‘Neote­nous Aes­thetic” — Mis­ter Bit — Wired​.it

    ‘Dur­ing the brief, but very inter­est­ing Q&A ses­sion, Lethem argued that inter­net cul­ture brought the “closet into the open”, that is, it gave ephemera, triv­i­al­i­ties, and every­day activ­i­ties “A new kind of vis­i­bil­ity”. “Peo­ple have always been pro­duc­ing weird stuff and have always been engag­ing in arcane activ­i­ties,” Lethem remarked. “What is really new is the fact the now we can see it. We can see it all. We can quan­tify what we do — or not do — online.” Lethem men­tioned the uncanny abil­ity to track, in real time, “how many books I am not sell­ing on Ama­zon”. “Real­ity has acquired a new level of mea­sur­a­bil­ity”. “The activ­i­ties we per­form in our dig­i­tal age are not nec­es­sar­ily new. What is new is that. We. Can. See. Them. All.”.’

    one-​​measures-​​a-​​circle inter­per­me­ation access local­ism
  • Sex, Oil, and Video­tape | Mother Jones

    “Loom­ing over Saylor’s con­fronta­tion with Bolen­baugh was the EPA’s Sep­tem­ber 27 cleanup dead­line, and it appears that Enbridge and its con­trac­tors were feel­ing the pres­sure as it drew near. In early Sep­tem­ber, after the Michi­gan Mes­sen­ger pub­lished its exposé on the use of undoc­u­mented work­ers by Hall­mark Indus­trial, another group of work­ers employed by a dif­fer­ent Enbridge con­trac­tor came for­ward with detailed sto­ries of how they had been instructed to con­ceal oil at the same site. Work­ers would land on an island, they said, remove all veg­e­ta­tion, and then lay out absorbent pom-​​poms, all per EPA reg­u­la­tions. But once the top layer of oil was absorbed, they were instructed to rake dirt over the area to make it appear as though it had been dug out. One worker described his super­vi­sor show­ing him the process step-​​by-​​step, con­clud­ing with sprin­kling a thin layer of dirt on top. “He said, ‘There, now they can’t see it. It is clean,’” the worker told the Mes­sen­ger. Another worker described being told to cover pock­ets of oil with leaves and sticks. As a last step, such areas were cor­doned off with cau­tion tape.”

    oil­spill Kala­ma­zoo local whistle­blower
  • [1204.4200] Dis­crete Dynam­i­cal Genetic Pro­gram­ming in XCS

    “A num­ber of rep­re­sen­ta­tion schemes have been pre­sented for use within Learn­ing Clas­si­fier Sys­tems, rang­ing from binary encod­ings to neural net­works. This paper presents results from an inves­ti­ga­tion into using a dis­crete dynam­i­cal sys­tem rep­re­sen­ta­tion within the XCS Learn­ing Clas­si­fier Sys­tem. In par­tic­u­lar, asyn­chro­nous ran­dom Boolean net­works are used to rep­re­sent the tra­di­tional condition-​​action pro­duc­tion sys­tem rules. It is shown pos­si­ble to use self-​​adaptive, open-​​ended evo­lu­tion to design an ensem­ble of such dis­crete dynam­i­cal sys­tems within XCS to solve a num­ber of well-​​known test problems.”

    genetic-​​programming learning-​​classifier-​​systems representation-​​theory design-​​patterns boolean-​​networks nudge-​​targets nice
  • Why Is Darwin’s Tan­gled Bank Tan­gled? : 13.7: Cos­mos And Cul­ture : NPR

    Sad to hear him still phras­ing this sim­ple truth so obscurely: Not “Because, on the scale of mol­e­c­u­lar bind­ing site recog­ni­tion, say a few tens of angstroms in length, height and width and sev­eral other fea­tures such as polar­ity, van-​​der-​​Waal forces, and so on, there are far fewer effec­tively dif­fer­ent mol­e­c­u­lar shapes than there are kinds of mol­e­cules.“ … but “Because there are fewer sto­ries than there are facts.”

    oh-​​stu pragmatism-it-ain’t philosophy-​​of-​​science
  • Math Notes | Futil­ity Closet

    So for finite sequences of dig­its, which sequences are such that the most right-​​truncated sub­strings are prime? Which are such that the most right-​​repeating exten­sions are prime?

    nudge-​​targets number-​​theory indirect-​​link
  • Home — Scal­able and Mod­u­lar Archi­tec­ture for CSS

    “I’ve been ana­lyz­ing my process (and the process of those around me) and fig­ur­ing out how best to struc­ture code for projects on a larger scale. What I’ve found is a process that works equally well for sites small and large. Learn how to struc­ture your CSS to allow for flex­i­bil­ity and main­tain­abil­ity as your project and your team grows.”

    css tuto­r­ial best-​​practices graphic-​​design via-​​trek
  • [1204.3678] Crowd Mem­ory: Learn­ing in the Collective

    “Crowd algo­rithms often assume work­ers are inex­pe­ri­enced and thus fail to adapt as work­ers in the crowd learn a task. These assump­tions fun­da­men­tally limit the types of tasks that sys­tems based on such algo­rithms can han­dle. This paper explores how the crowd learns and remem­bers over time in the con­text of human com­pu­ta­tion, and how more real­is­tic assump­tions of worker expe­ri­ence may be used when design­ing new sys­tems. We first demon­strate that the crowd can recall infor­ma­tion over time and dis­cuss pos­si­ble impli­ca­tions of crowd mem­ory in the design of crowd algo­rithms. We then explore crowd learn­ing dur­ing a con­tin­u­ous con­trol task. Recent sys­tems are able to dis­guise dynamic groups of work­ers as crowd agents to sup­port con­tin­u­ous tasks, but have not yet con­sid­ered how such agents are able to learn over time. We show, using a real-​​time gam­ing set­ting, that crowd agents can learn over time, and ‘remem­ber’ by pass­ing strate­gies from one gen­er­a­tion of work­ers to the next, despite high turnover rates in the work­ers com­pris­ing them. We con­clude with a dis­cus­sion of future research direc­tions for crowd mem­ory and learning.”

    crowd­sourc­ing learn­ing agent-​​based collective-​​intelligence mem­ory nudge-​​targets
  • [0911.1582] Manip­u­lat­ing Tour­na­ments in Cup and Round Robin Competitions

    “In sports com­pe­ti­tions, teams can manip­u­late the result by, for instance, throw­ing games. We show that we can decide how to manip­u­late round robin and cup com­pe­ti­tions, two of the most pop­u­lar types of sport­ing com­pe­ti­tions in poly­no­mial time. In addi­tion, we show that find­ing the min­i­mal num­ber of games that need to be thrown to manip­u­late the result can also be deter­mined in poly­no­mial time. Finally, we show that there are sev­eral dif­fer­ent vari­a­tions of stan­dard cup com­pe­ti­tions where manip­u­la­tion remains polynomial.”

    algo­rithms eco­nom­ics game-​​theory nudge-​​targets
  • Intro­duc­ing the Jour­nal of Dig­i­tal Human­i­ties — ProfHacker — The Chron­i­cle of Higher Education

    “If the con­tents of the inau­gural issue—which range from an essay argu­ing that human­ists need to under­stand and inter­pret quan­ti­ta­tive data to a review of the Word­Seer text analy­sis tool—fall out­side your usual schol­arly domain, then cer­tainly the journal’s edi­to­r­ial and pub­lish­ing appa­ra­tus will piqué your interest. As Dan Cohen explained in a sep­a­rate blog post, the jour­nal oper­ates under the model of catch­ing the good—of find­ing sub­stan­tive and valu­able dig­i­tal human­i­ties work “in what­ever for­mat, and wher­ever, it exists.” Blogs, pod­casts, Twit­ter con­ver­sa­tions, slideshows, and so on, these are all venues in which sig­nif­i­cant and, though I hate to use such an ungainly word, impact­ful work is being done. The reg­u­lar and guest edi­tors “catch” this work, and then pro­vide lay­ers of eval­u­a­tion and review before it appears in JDH.”

    digital-​​humanities jour­nal to-​​read two-​​cultures-​​only-​​one-​​of-​​which-​​can-​​write
  • [1005.4159] The Com­plex­ity of Manip­u­lat­ing $k$-Approval Elections

    “An impor­tant prob­lem in com­pu­ta­tional social choice the­ory is the com­plex­ity of unde­sir­able behav­ior among agents, such as con­trol, manip­u­la­tion, and bribery in elec­tion sys­tems. These kinds of vot­ing strate­gies are often tempt­ing at the indi­vid­ual level but dis­as­trous for the agents as a whole. Cre­at­ing elec­tion sys­tems where the deter­mi­na­tion of such strate­gies is dif­fi­cult is thus an impor­tant goal. …”

    vot­ing game-​​theory design-​​patterns mechanism-​​design nudge-​​targets
  • [0903.1147] Tetravex is NP-​​complete

    “Tetravex is a widely played one per­son com­puter game in which you are given $n^2$ unit tiles, each edge of which is labelled with a num­ber. The objec­tive is to place each tile within a $n$ by $n$ square such that all neigh­bour­ing edges are labelled with an iden­ti­cal num­ber. Unfor­tu­nately, play­ing Tetravex is com­pu­ta­tion­ally hard. More pre­cisely, we prove that decid­ing if there is a tiling of the Tetravex board is NP-​​complete. Decid­ing where to place the tiles is there­fore NP-​​hard. This may help to explain why Tetravex is a good puz­zle. This result com­pli­ments a num­ber of sim­i­lar results for one per­son games involv­ing tiling. For exam­ple, NP-​​completeness results have been shown for: the offline ver­sion of Tetris, KPlumber (which involves rotat­ing tiles con­tain­ing draw­ings of pipes to make a con­nected net­work), and short­est slid­ing puz­zle prob­lems. It raises a num­ber of open ques­tions. For exam­ple, is the infi­nite ver­sion Turing-​​complete? How do we gen­er­ate Tetravex prob­lems which are truly puz­zling as ran­dom NP-​​complete prob­lems are often sur­pris­ing easy to solve? Can we observe phase tran­si­tion behav­iour? What about the com­plex­ity of the prob­lem when it is guar­an­teed to have an unique solu­tion? How do we gen­er­ate puz­zles with unique solutions?”

    mathematical-​​recreations computational-​​complexity algo­rithms nudge-​​targets
  • [1204.4286] Fair Allo­ca­tion With­out Trade

    “We con­sider the age-​​old prob­lem of allo­cat­ing items among dif­fer­ent agents in a way that is effi­cient and fair. Two papers, by Dolev et al. and Ghodsi et al., have recently stud­ied this prob­lem in the con­text of com­puter sys­tems. Both papers had sim­i­lar mod­els for agent pref­er­ences, but advo­cated dif­fer­ent notions of fair­ness. We for­mal­ize both fair­ness notions in eco­nomic terms, extend­ing them to apply to a larger fam­ily of util­i­ties. Not­ing that in set­tings with such util­i­ties effi­ciency is eas­ily achieved in mul­ti­ple ways, we study notions of fair­ness as cri­te­ria for choos­ing between dif­fer­ent effi­cient allo­ca­tions. Our tech­ni­cal results are algo­rithms for find­ing fair allo­ca­tions cor­re­spond­ing to two fair­ness notions: Regard­ing the notion sug­gested by Ghodsi et al., we present a polynomial-​​time algo­rithm that com­putes an allo­ca­tion for a gen­eral class of fair­ness notions, in which their notion is included. For the other, sug­gested by Dolev et al., we show that a com­pet­i­tive mar­ket equi­lib­rium achieves the desired notion of fair­ness, thereby obtain­ing a polynomial-​​time algo­rithm that com­putes such a fair allo­ca­tion and solv­ing the main open prob­lem raised by Dolev et al.”

    eco­nom­ics game-​​theory fair­ness algo­rithms phi­los­o­phy design-​​patterns
  • Why is Esti­mat­ing so Hard? | 8th Light

    “It turns out that we don’t know the pro­ce­dure. We haven’t got any clue to just how dif­fi­cult the pro­ce­dure is. We aren’t com­put­ers. We don’t fol­low pro­ce­dures. And so com­par­ing the com­plex­ity of the man­ual task, to the com­plex­ity of the pro­ce­dure is invalid. This is one of the rea­sons that esti­mates are so hard, and why we get them wrong so often. We look at a task that seems easy and esti­mate it on that basis, only to find that writ­ing down the pro­ce­dure is actu­ally quite intri­cate. We blow the esti­mate because we esti­mate the wrong thing.”

    esti­ma­tion agile-​​practices philosophy-​​of-​​engineering man­age­ment self-​​definition plan­ning
  • [1204.4374] Higher Order City Voronoi Diagrams

    “We inves­ti­gate higher-​​order Voronoi dia­grams in the city met­ric. This met­ric is induced by quick­est paths in the L1 met­ric in the pres­ence of an accel­er­at­ing trans­porta­tion net­work of axis-​​parallel line segments. …”

    computational-​​geometry algo­rithms voronoi-​​diagrams diver­sity network-​​theory nudge-​​targets
  • Topic mod­el­ing made just sim­ple enough. | The Stone and the Shell

    “Com­puter sci­en­tists make LDA seem com­pli­cated because they care about prov­ing that their algo­rithms work. And the proof is indeed brain-​​squashingly hard. But the prac­tice of topic mod­el­ing makes good sense on its own, with­out proof, and does not require you to spend even a sec­ond think­ing about “Dirich­let dis­tri­b­u­tions.” When the math is approached in a prac­ti­cal way, I think human­ists will find it easy, intu­itive, and empow­er­ing. This post focuses on LDA as short­hand for a broader fam­ily of “prob­a­bilis­tic” tech­niques. I’m going to ask how they work, what they’re for, and what their lim­its are.”

    text-​​processing clas­si­fi­ca­tion algo­rithms lovely two-​​cultures-​​only-​​one-​​of-​​which-​​can-​​write
  • Math­e­mati­cians are Giraffe Hunters by Barry Mazur | berfrois

    “No won­der life (i.e., the thing that my once 10-​​year old niece referred to as “the thing that isn’t fair”) comes to us as a fil­i­gree of ash sto­ries. Walk­ing down the street past a cou­ple in con­ver­sa­tion, an over­heard mor­pheme, a mere glance at a wrongly but­toned rain­coat, sparks a nar­ra­tive in our imag­i­na­tion. Ask any ques­tion begin­ning with “why?” and the answer will surely be a story, or it will be embed­ded in a story. Or, at the very least, it will offer a tempt­ing thread for some story that you your­self will hold onto, embell­ish even, as you try to absorb the answer. We inter­po­late between such frag­ments. This is, for many of us, sim­ply the way we think. What about the “why ques­tions” in sci­ence, in logic, in math­e­mat­ics? We should acknowl­edge how they are often “what ques­tions” or “how ques­tions” in dis­guise. Or how they slide down into such ques­tions, as the ever-​​elusive, ever-​​illusory quest for an X that actu­ally causes a Y dis­solves. Some of the more sat­is­fy­ing answers to sci­en­tific “why” ques­tions involves deft rephras­ing. “Why is the sky blue?” is replaced by the ques­tion “what is the func­tion that describes scat­ter­ing ampli­tude as depen­dent on wave-​​length”?”

    math­e­mat­ics philosophy-​​of-​​mathematics sto­ry­telling prag­ma­tism theory-​​and-​​practice-​​sitting-​​in-​​a-​​tree what-​​is-​​it-​​good-​​for-​​hunh

Items of some interest:

These are my recent Pin​board​.in links:

  • Edge Per­spec­tives with John Hagel: Finite and Infi­nite Games — Which Game Shall We Play in the New Year?

    Far bet­ter, if pos­si­ble, to avoid direct con­fronta­tion and find ways to pur­sue infi­nite game play on the mar­gins or edges of finite game insti­tu­tions or in the white spaces not yet occu­pied by finite game insti­tu­tions.  By draw­ing atten­tion to hori­zons that have not yet been explored and demon­strat­ing the abil­ity to make progress in draw­ing out more poten­tial and pos­si­bil­ity, infi­nite game play­ers have a greater chance of shift­ing the game and attract­ing other play­ers. By build­ing par­al­lel insti­tu­tions and prac­tices that pull oth­ers into their game, infi­nite game play­ers can attract enough crit­i­cal mass so that they can pur­sue their quests with lower risk of inter­ven­tion from the finite game play­ers who view such actions as deeply sub­ver­sive.  At our research cen­ter, JSB and I are now explor­ing these kinds of approaches as a way of achiev­ing orga­ni­za­tional change within large institutions.

    what-​​I-​​do
  • [1107.0056] Fixed para­me­ter algo­rithms for restricted col­or­ing problems

    In this paper, we obtain poly­no­mial time algo­rithms to deter­mine the acyclic chro­matic num­ber, the star chro­matic num­ber, the Thue chro­matic num­ber, the har­mo­nious chro­matic num­ber and the clique chro­matic num­ber of $P_4$-tidy graphs and $(q,q-4)$-graphs, for every fixed $q$. These classes include cographs, $P_4$-sparse and $P_4$-lite graphs. All these col­or­ing prob­lems are known to be NP-​​hard for gen­eral graphs. These algo­rithms are fixed para­me­ter tractable on the para­me­ter $q(G)$, which is the min­i­mum $q$ such that $G$ is a $(q,q-4)$-graph. We also prove that every con­nected $(q,q-4)$-graph with at least $q$ ver­tices is 2-​​clique-​​colorable and that every acyclic col­or­ing of a cograph is also nonrepetitive.

    algo­rithms graph-​​theory discrete-​​mathematics nudge-​​targets
  • [1112.6045] Com­par­ing inter­mit­tency and net­work mea­sure­ments of words and their depen­dency on authorship

    Many fea­tures from texts and lan­guages can now be inferred from sta­tis­ti­cal analy­ses using con­cepts from com­plex net­works and dynam­i­cal sys­tems. In this paper we quan­tify how topo­log­i­cal prop­er­ties of word co-​​occurrence net­works and inter­mit­tency (or bursti­ness) in word dis­tri­b­u­tion depend on the style of authors. Our data­base con­tains 40 books from 8 authors who lived in the 19th and 20th cen­turies, for which the fol­low­ing net­work mea­sure­ments were obtained: clus­ter­ing coef­fi­cient, aver­age short­est path lengths, and between­ness. We found that the two fac­tors with stronger depen­dency on the authors were the skew­ness in the dis­tri­b­u­tion of word inter­mit­tency and the aver­age short­est paths. Other fac­tors such as the betwee­ness and the Zipf’s law expo­nent show only weak depen­dency on author­ship. Also assessed was the con­tri­bu­tion from each mea­sure­ment to author­ship recog­ni­tion using three machine learn­ing meth­ods. The best per­for­mance was a ca. 65 % accu­racy upon com­bin­ing com­plex net­work and inter­mit­tency fea­tures with the near­est neigh­bor algo­rithm. From a detailed analy­sis of the inter­de­pen­dence of the var­i­ous met­rics it is con­cluded that the meth­ods used here are com­ple­men­tary for pro­vid­ing short– and long-​​scale per­spec­tives of texts, which are use­ful for appli­ca­tions such as iden­ti­fi­ca­tion of top­i­cal words and infor­ma­tion retrieval.

    natural-​​language-​​processing document-​​clustering clus­ter­ing feature-​​selection algo­rithms nudge-​​targets
  • [1108.1170] Con­vex Opti­miza­tion with­out Pro­jec­tion Steps

    For the gen­eral prob­lem of min­i­miz­ing a con­vex func­tion over a com­pact con­vex domain, we will inves­ti­gate a sim­ple iter­a­tive approx­i­ma­tion algo­rithm based on the method by Frank & Wolfe 1956, that does not need pro­jec­tion steps in order to stay inside the opti­miza­tion domain. Instead of a pro­jec­tion step, the lin­earized prob­lem defined by a cur­rent sub­gra­di­ent is solved, which gives a step direc­tion that will nat­u­rally stay in the domain. Our frame­work gen­er­al­izes the sparse greedy algo­rithm of Frank & Wolfe and its primal-​​dual analy­sis by Clark­son 2010 (and the low-​​rank SDP approach by Hazan 2008) to arbi­trary con­vex domains. We give a con­ver­gence proof guar­an­tee­ing {epsilon}-small dual­ity gap after O(1/{epsilon}) iter­a­tions. The method allows us to under­stand the spar­sity of approx­i­mate solu­tions for any l1-​​regularized con­vex opti­miza­tion prob­lem (and for opti­miza­tion over the sim­plex), expressed as a func­tion of the approx­i­ma­tion qual­ity. We obtain match­ing upper and lower bounds of {Theta}(1/{epsilon}) for the spar­sity for l1-​​problems. The same bounds apply to low-​​rank semi­def­i­nite opti­miza­tion with bounded trace, show­ing that rank O(1/{epsilon}) is best pos­si­ble here as well. As another appli­ca­tion, we obtain sparse matri­ces of O(1/{epsilon}) non-​​zero entries as {epsilon}-approximate solu­tions when opti­miz­ing any con­vex func­tion over a class of diag­o­nally dom­i­nant sym­met­ric matri­ces. We show that our pro­posed first-​​order method also applies to nuclear norm and max-​​norm matrix opti­miza­tion prob­lems. For nuclear norm reg­u­lar­ized opti­miza­tion, such as matrix com­ple­tion and low-​​rank recov­ery, we demon­strate the prac­ti­cal effi­ciency and scal­a­bil­ity of our algo­rithm for large matrix prob­lems, as e.g. the Net­flix dataset. For gen­eral con­vex opti­miza­tion over bounded matrix max-​​norm, our algo­rithm is the first with a con­ver­gence guar­an­tee, to the best of our knowledge.

    operations-​​research opti­miza­tion algo­rithms nudge-​​targets
  • [1112.6235] Detect­ing a Vec­tor Based on Lin­ear Measurements

    We con­sider a sit­u­a­tion where the state of a sys­tem is rep­re­sented by a real-​​valued vec­tor. Under nor­mal cir­cum­stances, the vec­tor is zero, while an event man­i­fests as non-​​zero entries in this vec­tor, pos­si­bly few. Our inter­est is in the design of algo­rithms that can reli­ably detect events (i.e., test whether the vec­tor is zero or not) with the least amount of infor­ma­tion. We place our­selves in a sit­u­a­tion, now com­mon in the sig­nal pro­cess­ing lit­er­a­ture, where infor­ma­tion about the vec­tor comes in the form of noisy lin­ear mea­sure­ments. We derive infor­ma­tion bounds in an active learn­ing setup and exhibit some sim­ple near-​​optimal algo­rithms. In par­tic­u­lar, our results show that the task of detec­tion within this set­ting is at once much eas­ier, sim­pler and dif­fer­ent than the tasks of esti­ma­tion and sup­port recovery.

    signal-​​processing sta­tis­tics algo­rithms nudge-​​targets
  • [1109.2215] Find­ing miss­ing edges and com­mu­ni­ties in incom­plete networks

    Many algo­rithms have been pro­posed for pre­dict­ing miss­ing edges in net­works, but they do not usu­ally take account of which edges are miss­ing. We focus on net­works which have miss­ing edges of the form that is likely to occur in real net­works, and com­pare algo­rithms that find these miss­ing edges. We also inves­ti­gate the effect of this kind of miss­ing data on com­mu­nity detec­tion algorithms.

    network-​​theory algo­rithms infer­ence sta­tis­tics nudge-​​targets
  • [1010.4735] Explor­ing the Energy Land­scapes of Pro­tein Fold­ing Sim­u­la­tions with Bayesian Computation

    Nested sam­pling is a Bayesian sam­pling tech­nique devel­oped to explore prob­a­bil­ity dis­tri­b­u­tions lo– calised in an expo­nen­tially small area of the para­me­ter space. The algo­rithm pro­vides both pos­te­rior sam­ples and an esti­mate of the evi­dence (mar­ginal like­li­hood) of the model. The nested sam­pling algo– rithm also pro­vides an effi­cient way to cal­cu­late free ener­gies and the expec­ta­tion value of ther­mo­dy­namic observ­ables at any tem­per­a­ture, through a sim­ple post-​​processing of the out­put. Pre­vi­ous appli­ca­tions of the algo­rithm have yielded large effi­ciency gains over other sam­pling tech­niques, includ­ing par­al­lel tem­per­ing (replica exchange). In this paper we describe a par­al­lel imple­men­ta­tion of the nested sam­pling algo­rithm and its appli­ca­tion to the prob­lem of pro­tein fold­ing in a Go-​​type force field of empir­i­cal poten­tials that were designed to sta­bi­lize sec­ondary struc­ture ele­ments in room-​​temperature sim­u­la­tions. We demon­strate the method by con­duct­ing fold­ing sim­u­la­tions on a num­ber of small pro­teins which are com­monly used for test­ing pro­tein fold­ing pro­ce­dures: pro­tein G, the SH3 domain of Src tyro­sine kinase and chy­motrypsin inhibitor 2. A topo­log­i­cal analy­sis of the pos­te­rior sam­ples is per­formed to pro­duce energy land­scape charts, which give a high level descrip­tion of the poten­tial energy sur­face for the pro­tein fold­ing sim­u­la­tions. These charts pro­vide qual­i­ta­tive insights into both the fold­ing process and the nature of the model and force field used.

    structural-​​biology bio­chem­istry mod­el­ing algo­rithms sta­tis­tics meta­mod­el­ing
  • [1109.2618] Fast and Accu­rate Mod­el­ing of Mol­e­c­u­lar Atom­iza­tion Ener­gies with Machine Learning

    We intro­duce a machine learn­ing model to pre­dict atom­iza­tion ener­gies of a diverse set of organic mol­e­cules, based on nuclear charges and atomic posi­tions only. The prob­lem of solv­ing the mol­e­c­u­lar Schr“odinger equa­tion is mapped onto a non-​​linear sta­tis­ti­cal regres­sion prob­lem of reduced com­plex­ity. Regres­sion mod­els are trained on and com­pared to atom­iza­tion ener­gies com­puted with hybrid density-​​functional the­ory. Cross-​​validation over more than seven thou­sand small organic mol­e­cules yields a mean absolute error of ~10 kcal/​mol. Applic­a­bil­ity is demon­strated for the pre­dic­tion of mol­e­c­u­lar atom­iza­tion poten­tial energy curves.

    machine-​​learning learning-​​from-​​data bio­chem­istry computational-​​science nudge-​​targets
  • [1101.2135] Bounded con­fi­dence model: addressed infor­ma­tion main­tain diver­sity of opinions

    A com­mu­nity of agents is sub­ject to a stream of mes­sages, which are rep­re­sented as points on a plane of issues. Mes­sages are sent by media and by agents them­selves. Mes­sages from media shape the pub­lic opin­ion. They are unbi­ased, i.e. pos­i­tive and neg­a­tive opin­ions on a given issue appear with equal fre­quen­cies. In our pre­vi­ous work, the only cri­te­rion to receive a mes­sage by an agent is if the dis­tance between this mes­sage and the ones received ear­lier does not exceed the given value of the tol­er­ance para­me­ter. Here we intro­duce a pos­si­bil­ity to address a mes­sage to a given neigh­bour. We show that this option reduces the una­nim­ity effect, what improves the col­lec­tive performance.

    agent-​​based com­mu­ni­ca­tion network-​​theory machine-​​learning diver­sity

Items of some interest…

These are my recent Pin​board​.in links: