Search engine run on: http://users.monash.edu.au/


Glookbib search for: zz0220

%A A. M. Garsia
%A M. L. Wachs
%T A new algorithm for minimum cost binary trees
%J SIAM J. Comput.
%V 6
%N 4
%P 622-642
%D 1977
%K jrnl, c1977, c197x, c19xx, zz0220, minimum cost binary tree, optimum,
   search trees, Huffman code, linearithmic, Garsia Wachs, algorithm, Hu-Tucker
%X "A new alg. for constructing minimum cost binary trees in O(n log n) time is
   presented. [It] is similar to the well-known Hu-Tucker alg.. Our proof of
   validity is based on finite variational methods & is therefore quite
   different & somewhat simpler than the proof for the H.-T. alg. Our proof
   also yields some additional information about the structure of min. cost b.
   trees. This permits a linear time implementation ... in a special case."
   -- [doi:10.1137/0206045]['20].
   Also see GW@[wikip]['20].
   ("An alg. is said to run in quasilinear time (aka log-linear time) if
   T(n)=O(n log^k(n)) for some +ve const. k; linearithmic is the case k=1."
   TC@[wikip]['20].)
   (Also see R.S.Bird JFP [doi:10.1017/S0956796819000194][21/1/'20].)
   [Also search for: binary code tree].

%A J. Calvo-Zaragoza
%A J. Oncina
%A C. De la Higuera
%T Computing the expected edit distance from a string to a PFA
%J 21st Int. Conf. Implementation and Application of Automata
%P 39-50
%D 2016
%K conf, c2016, c201x, c20xx, zz0220, string, strings, FSA, FSM, PFSA, PFSM,
   PFA, median, expected, mean, average, distribution, edit distance
%X "... compare  a  witness  string with a distribution. One possibility is to
   compute the prob. of the string for that distn. [or] giving a more global
   view, is to compute the expected edit dist. from a string randomly drawn to
   the witness string. This # is often used to measure the performance of a
   prediction, the goal then being to return the median string, or the string
   with smallest exp. dist.. To be able to measure this, computing the dist.
   between a hypothesis & that distn is necessary. This paper proposes two
   solns for computing this value, when the distn is defined with a
   probabilistic finite state automaton. The 1st is exact but [cost] can be
   exponential in the length of the input string, ... the 2nd is a F_{pras}."
   -- [www]['20].

%A T. Bingmann
%A P. Sanders
%A M. Schimek
%T Communication-efficient string sorting
%J arXiv
%M JAN
%D 2020
%K TR, c2020, c202x, c20xx, zz0220, sort, sorting, string, strings, algorithm,
   parallel, distributed, bandwidth, multiway merge, merging
%X "There has been surprisingly little work on algs. for sorting strings on
   distributed-memory parallel machines. We develop efficient algs. for this
   problem based on the multi-way merging principle. These algs. inspect only
   chars. that are needed to determine the sorting order. [&] communication
   volume is reduced by also communicating (roughly) only those chars. & by
   communicating repetitions of the same prefixes only once. Experiments on up
   to 1280 cores reveal that these algs. are often more than five times faster
   than prev. algs."
   -- 2001.08516@[arXiv]['20].

%A Duc Hung Pham
%A K. V. Palem
%A M. V. Panduranga Rao
%T A polynomial time parallel algorithm for graph isomorphism using a
   quasipolynomial number of processors
%J arXiv
%M FEB
%D 2020
%K TR, c2020, c202x, c20xx, zz0220, graph, graphs, isomorphism, maths, parallel,
   algorithm, color refinement, WL, quasipolynomial, processor, Babai
%X "... Babai made a breakthrough in 2015 ... Based on Babai's alg., we prove
   that GI can further be solved by a parallel alg. that runs in polynomial time
   using a quasipolynomial # of processors. We achieve that result by
   identifying the bottlenecks in B's algs. & parallelizing them. In particular,
   we prove that color refinement can be computed in parallel logarithmic time
   using a polynomial # of proc., & the k-dimensional WL refinement can be
   computed in parallel polynomial time using a quasipolynomial # of ps.. Our
   work suggests that Graph Isomorphism & GI-complete problems can be computed
   efficiently in a parallel computer, & provides insights on speeding up
   parallel GI programs in practice."
   -- 2002.04638@[arXiv]['20].
   [Also search for: maths graph isomorphism].

%A K. Gregor
%A F. Besse
%A D. Jimenez Rezende
%A I. Danihelka
%A D. Wierstra
%T Towards conceptual compression
%J NIPS
%D 2016
%K conf, NIPS, NIPS29, NN, ANN, c2016, c201x, c20xx, zz0220, image, images,
   representation, concept, abstraction, compress, compression
%X "We introduce convolutional DRAW, a homogeneous deep generative model
   [for] latent variable image modeling. The alg. naturally stratifies info.
   into higher & lower level details, creating abstract features & as such
   addressing one of the fundamentally desired properties of representation
   learning. [&] the hierarchical ordering of its latents creates the
   opportunity to selectively store global info. about an image, yielding a high
   quality 'conceptual compression' framework."
   -- [www]['20],
      1604.08772@[arXiv]['20].

%A A. Aszodi
%A W. R. Taylor
%T Estimating polypeptide alpha-carbon distances from
   multiple sequence alignments
%J J. Math. Chem
%V 17
%N 2
%P 167-184
%M JUN
%D 1995
%K jrnl, MolBio, c1995, c199x, c19xx, zz0220, protein structure, prediction,
   MSA, alignment, CA, carbona, Amino Acid, distance
%X "The hydrophobic amino acids that make up the core of a protein can be
   expected to be closer together than the rest of the residues in the molecule
   & are likely to remain conserved during evolution due to their important
   role. ... a general theoretical framework is provided for estimating
   interresidue distances from residue hydrophobicity & conservation deduced
   from multiple alignments. While the accurate prediction of individual
   distances by statistical procedures is theoretically impossible, the method
   is able to match the distn of pred. dists. to a prescribed distn with good
   accuracy."
   -- [doi:10.1007/BF01164846]['20].

%A K. T. Simons
%A C. Kooperberg
%A E. Huang
%A D. Baker
%T Assembly of protein tertiary structures from fragments with similar
   local sequences using simulated annealing and Bayesian scoring functions
%J J. Molec. Biol.
%V 268
%N 1
%P 209-225
%M APR
%D 1997
%K jrnl, JMB, MolBio, c1997, c199x, c19xx, zz0220, protein structure prediction,
   fragment library
%X "...  simple simulated annealing procedure to assemble native-like structures
   from fragments of unrelated protein structures with similar local seqs. using
   Bayesian scoring fns. ... investigate the effects of multiple seq. info. &
   different types of conformational constraints on the overall performance of
   the method, & the ability of a variety of recently developed scoring fns to
   recognize the native-like conformations in the ensembles of simulated
   structures."
   -- [doi:10.1006/jmbi.1997.0959]['20].
   [Also search for: MolBio protein structure library] (and/or Rosetta).

%A R. L. Tatusov
%A M. Y. Galperin
%A D. A. Natale
%A E. V. Koonina
%T The COG database: a tool for genome-scale analysis of protein functions and
   evolution
%J NAR
%V 28
%N 1
%P 33-36
%M JAN
%D 2000
%K jrnl, NAR, MolBio, c2000, c200x, c20xx, zz0220, COG, database, protein,
   evolution, Orthologous, COGs, KOGs, POGs
%X "... The database of Clusters of Orthologous Groups of proteins (COGs) is an
   attempt on a phylogenetic classn of the proteins encoded in 21 complete
   genomes of bacteria, archaea & eukaryotes (www.ncbi.nlm.nih.gov/COG). The
   COGs were constructed by applying the criterion of consistency of
   genome-specific best hits to the results of an exhaustive comparison of all
   protein sequences from these genomes. The DB comprises 2091 COGs that include
   56-83% of the gene products from each of the complete bacterial & archaeal
   genomes and ~35% of those from the yeast Saccharomyces cerevisiae genome. The
   COG DB is accompanied by the COGNITOR program that is used to fit new
   proteins into the COGs  ..."
   -- [doi:10.1093/nar/28.1.33]['20].
   Also see [COG][2O2O].

%A S. J. Wheelan
%A A. Marchler-Bauer
%A S. H. Bryant
%T Domain size distributions can predict domain boundaries
%J Bioinformatics
%V 16
%N 7
%P 613-618
%M JUL
%D 2000
%K jrnl, MolBio, c2000, c200x, c20xx, zz0220, protein, domain, domains, size,
   chain, length, boundary
%X " The sizes of protein domains observed in the 3D-structure database follow a
   surprisingly narrow distn. Structural domains are furthermore formed from a
   single-chain continuous segment in over 80% of instances. These observations
   imply that some choices of domain boundaries on an otherwise uncharacterized
   sequence are more likely than others, based solely on the size & segment
   number of predicted domains. ... We find that domain boundary predictions are
   surprisingly successful for sequences up to 400 residues long & that guessing
   domain boundaries in this way can improve the sensitivity of threading
   analysis."
   -- [doi:10.1093/bioinformatics/16.7.613]['20].

%A M. Remmert
%A A. Biegert
%A A. Hauser
%A J. Soding
%T HHblits: lightning-fast iterative protein sequence searching by
   HMM-HMM alignment
%J Nature Methods
%V 9
%P 173-175
%D 2012
%K jrnl, MolBio, HHblits, HH blits, c2012, c201x, c20xx, zz0220, protein,
   profile HMM, amino acid, multiple sequence alignment, MSA, hhblitz, blitz,
   HHsearch, HHsuite, MSA, PSIBLAST
%X "... We present an open-source, general-purpose tool that represents both
   query & database seqs. by profile hidden Markov models (HMMs): 'HMM-HMM-based
   lightning-fast iterative seq. search' (HHblits). Compared to the seq.-search
   tool PSI-BLAST, HHblits is faster owing to its discretized-profile prefilter,
   has 50-100% higher sensitivity & generates more accurate alignments."
   -- [doi:10.1038/nmeth.1818]['20],
    & HH@[g'thub]['22],
      HH@[wikip]['22],
      hhblits@[lmu.de]['20] dead?
   [Also search for: MolBio protein alignment].

%A J. G. Greener
%A S. M. Kandathil
%A D. T. Jones
%T Deep learning extends de novo protein modelling coverage of genomes using
   iteratively predicted structural constraints
%J NatureComms
%V 10
%N #3977
%M SEP
%D 2019
%K jrnl, MolBio, c2019, c201x, c20xx, zz0220, protein structure prediction, NN,
   ANN, DMPfold, CASP, CASP12
%X "The inapplicability of AA covariation methods to small protein families ...
   Recently, deep learning has shown promise in allowing accurate
   residue-residue contact prediction even for shallow sequence alignments. ...
   introduce DMPfold ... predict inter-atomic distance bounds, the main chain
   hydrogen bond n/wk, & torsion angles ... Applied to all Pfam domains without
   known structures, confident models for 25% of these so-called dark families
   were produced in under a week on a small 200 core cluster. DMPfold provides
   models for 16% of human proteome UniProt entries without structures,
   generates accurate models with fewer than 100 seqs. in some cases, & is
   freely available."
   -- [doi:10.1038/s41467-019-11994-0]['20],
      1811.12355@[arXiv]['20].
   [Also search for: MolBio protein deep learning].

%A A. W. Senior
%A et al ...
%A D. Hassabis
%T Improved protein structure prediction using potentials from deep learning
%J Nature
%V 577
%P 706-710
%M JAN
%D 2020
%K jrnl, MolBio, c2020, c202x, c20xx, zz0220, protein structure prediction,
   AlphaFold, google, deep, ANN, NN, CNN, CASP, CASP13, free modelling, FM,
   contacts, HHblits, details
%X "... we show that we can train a neural network to make accurate predictions
   of the distances between pairs of residues, which convey more info. about the
   struct. than contact predictions. Using this info., we construct a potential
   of mean force that can accurately describe the shape of a protein. We find
   that the resulting potential can be optimized by a simple gradient descent
   alg. to generate structs. without complex sampling procedures. The resulting
   system, named AlphaFold, achieves high accuracy, even for seqs. with fewer
   homologous seqs.. In the recent Critical Assessment of Protein Structure
   Prediction (CASP13) - a blind assessment of the state of the field -
   AlphaFold created high-accuracy structs. (with template modelling (TM)
   scores of 0.7 or higher) for 24 out of 43 free modelling domains, whereas
   the next best method, which used sampling & contact info., achieved such
   accuracy for only 14 out of 43 domains. ..."
      "... a CNN trained on PDB structures ... predicts a discrete prob. distn
      P(dij|S, MSA(S)) for every ij pair in any 64x64 region of the LxL
      distance matrix ..."
   -- [doi:/10.1038/s41586-019-1923-7]['20],
   &  preprint@[UCL]['22].
   [Also search for: CASP MolBio] and see AF@[wikip]['22].

%A H. Imachi
%A et al ...
%A K. Takai
%T Isolation of an archaeon at the prokaryote-eukaryote interface
%J Nature
%V 577
%P 519-525
%M JAN
%D 2020
%K jrnl, MolBio, c2020, c202x, c20xx, zz0220, evolution, origins, tree of life,
   E3, phylogenetic, prokaryote, eukaryote, archae, Asgard loki, Lokiarchaeota,
   Candidatus Prometheoarchaeum syntrophicum, organelle, coccus
%X "... Current data suggest that eukaryotes may have emerged from an archaeal
   lineage known as 'Asgard' archaea. Despite the eukaryote-like genomic
   features that are found in these a., the evolutionary transition from archaea
   to e. remains unclear ... Here we report the decade-long isolation of an
   Asgard archaeon related to Lokiarchaeota from deep marine sediment. The
   archaeon - 'Candidatus Prometheoarchaeum syntrophicum' strain MK-D1 - is an
   anaerobic, extremely slow-growing, small coccus (around 550nm dia.) that
   degrades amino acids through syntrophy. Although eukaryote-like intracellular
   complexes have been proposed for A.archaea, the isolate has no visible
   organelle-like structure. Instead, Ca. P. syntrophicum is morphologically
   complex & has unique protrusions that are long & often branching. On the
   basis of the available data obtained from cultivation & genomics, & reasoned
   interpretations of the existing literature, we propose a hypothetical model
   for eukaryogenesis, termed the entangle-engulf-endogenize (also known as E3)
   model."
   -- [doi:10.1038/s41586-019-1916-6]['20].
   (Also see Lokiarchaeota@[wikip]['20].)
   [Also search for: MolBio tree life].

%A A. B. Barron
%A B. Hare
%T Prosociality and a sociosexual hypothesis for the evolution of same-sex
   attraction in humans
%J Frontiers in Psychol.
%V 10
%N 2955
%M JAN
%D 2019
%K jrnl, c2020, c202x, c20xx, zz0220, human, evolution, same, sex, SSSA,
   attraction, sexuality, society, behaviour
%X "... develop a novel argument for the evolution of SSSA that focuses on the
   likely adaptive social consequences of SSSA. We argue that SSAT evolved as
   just one of a suite of traits responding to strong seln for ease of social
   integration or prosocial behavior. A strong driver of recent human behavioral
   evolution has been seln for reduced reactive aggression, increased social
   affiliation, social communication, & ease of social integration. In many
   prosocial mammals sex has adopted new social fns in contexts of social
   bonding, social reinforcement, appeasement, & play. We argue that for humans
   the social fns & benefits of sex apply to same-sex sexual behavior as well as
   heterosexual behavior. [so] we propose a degree of SSSA, was selected for in
   recent human evolution for its non-conceptive social benefits. ..."
    -- [doi:10.3389/fpsyg.2019.02955]['20].

%A A. K. Wesselink
%A et al ...
%A K. J. Rothman
%T Seasonal patterns in fecundability in North America and Denmark: a
   preconception cohort study
%J Hum. Reprod.
%M JAN
%D 2020
%K jrnl, c2020, c202x, c20xx, zz0220, human, reproduction, birth, conception,
   pregnancy, fecund, fecundity, baby, babies, stats, periodic, season,
   seasonal, cyclic, model, USA, Denmark
%X "... Initiation of pregnancy attempts peaked in September, with stronger
   seasonality in N.America than in Denmark (48 vs. 16% higher prob. initiating
   attempts in Sept. compared with March). After accounting for seasonal
   variation in initiation of pregnancy attempts, we observed modest seasonal
   variation in fecundability, with a peak in the late fall & early winter in
   both cohorts, but stronger peak/low ratios in N.A. (1.16; 95% [CI]: 1.05,
   1.28) than in D. (1.08; 95% CI: 1.00, 1.16). When we stratified the NA data
   by latitude, we observed the strongest seasonal variation in the southern USA
   (peak/low ratio of 1.45 [95% CI: 1.14, 1.84]), with peak fecundability in
   late November. ..."
   -- [doi:10.1093/humrep/dez265]['20].
   (auth1@[bu]['20].)

%A R. Wu
%A et al
%T A new coronavirus associated with human respiratory disease in China
%J Nature
%V 579
%P 265-269
%M FEB
%D 2020
%K jrnl, MN908947.3, c2020, c202x, c20xx, zz0220, 2019-nCoV, 2019nCoV, covid 19,
   covid19, WH-Human-1, SARS2, SARS-CoV-2, SARSCoV2, genome, WHHuman1, MolBio,
   coronavirus, corona virus, Wuhan, China, RNA, virus, viral, Coronaviridae,
   Betacoronavirus, Sarbecovirus, zoonotic disease, infection, bat, bats
%X "... a novel RNA virus from the family Coronaviridae, designed here as
   WH-Human-1 coronavirus. Phylogenetic analysis of the complete viral genome
   (29,903 nucleotides) revealed that the virus was most closely related
   (89.1% nucleotide similarity) to a group of SARS-like coronaviruses (genus
   Betacoronavirus, subgenus Sarbecovirus) previously sampled from bats in
   China. This outbreak highlights the ongoing capacity of viral spill-over from
   animals to cause severe disease in humans."
   -- [doi:10.1038/s41586-020-2008-3][2/2020]  (online Feb 2020)..
   "GenBank: MN908947.3 ...
   Wuhan seafood market pneumonia virus isolate Wuhan-Hu-1, complete genome.
   Severe acute respiratory syndrome coronavirus 2 (SARS-CoV-2) ..." (~30Kb)
   -- [ncbi][12/2/2020].
   (Also see [wikip]['20].)
   [Also search for: MolBio SARS].

%A R. S. Bird
%T An optimal, purely functional implementation of the Garsia-Wachs algorithm
%J JFP
%V 30
%N e3
%M JAN
%D 2020
%K JFP, FP, c2020, c202x, c20xx, zz0220, Garsia Wachs algorithm,
   minimum cost binary tree, code, search trees, optimum
%X "The Garsia-Wachs alg. ... for building a binary leaf tree whose cost is as
   small as possible. ... described in more detail below, but the task is
   essentially the same as that of building a Huffman coding tree with the added
   constraint that the fringe of the tree has to be exactly the given list of
   inputs (in H.coding, the fringe of the tree can be any permutation of the
   input) ..."
   -- [doi:10.1017/S0956796819000194]['20].
   [Also search for: Garsia Wachs algorithm].

%A M. Allen
%T Liability for climate change
%J Nature
%V 421
%N 6926
%P 891-892
%M FEB
%D 2003
%K news views, c2003, c200x, c20xx, zz0220, climate change, global warming, CO2,
   world, extreme weather, attribution, cause, causation, causality, storms,
   flooding, flood, floods, temperature, drought
%X -- [doi:10.1038/421891a]['20].
   [Also search for: extreme weather attribution].

%A R. Garnaut
%T The Garnaut Review 2011: Australia in the Global Response to Climate
%I CUP
%P 244
%M JUL
%D 2011
%K book, text, CUP, c2011, c201x, c20xx, zz0220, Australia, climate change,
   global warming, greenhouse gas, gases, CO2, coal, oil, fossil fuel,
   economics, GFC, sustainability, environment, wind, solar, politics, enquiry
%X 1st edn 2011; pb us$43; uk us isbn:1107691680; uk us isbn13:978-1107691681.
   "In this update to the 2008 Garnaut Climate Change Review, Ross Garnaut
   re-examines the case for action in the aftermath of the global financial
   crisis and recent developments by major countries to reduce emissions and
   prepare for a low-carbon future. He guides the reader through the climate
   change debate, and explains why Australia's contribution is vital to the
   national interest and matters to the global effort. He outlines a set of
   policies through which Australia can contribute its fair share without
   damaging Australian prosperity. The Garnaut Review 2011: Australia in the
   Global Response to Climate Change extends the analysis to contemporary
   economic, political and environmental conditions in a way that is clear and
   easy to understand. It is an essential resource for all who care about the
   future of our economy and environment."
   [Also search for: climate change].

%A A. van de Rijt
%A S. Moon Kang
%A M. Restivo
%A A. Patil
%T Field experiments of success-breeds-success dynamics
%J PNAS
%V 111
%N 19
%P 6934-6939
%M SEP
%D 2014
%K jrnl, PNAS, c2014, c201x, c20xx, zz0220, deRijt, success, luck, social,
   feedback, Matthew effect, principle, preferential attachment,
   rich get richer, human behaviour, experiment, grants, kickstarter, Hindex
%X "... Some scholars have suggested such inequality merely reflects
   hard-to-observe personal differences in ability. Others have proposed that
   one fortunate success may trigger another, thus producing arbitrary
   differentiation. We conducted randomized experiments through intervention in
   live social systems to test for success-breeds-success dynamics. Results show
   that different kinds of success (money, quality ratings, awards, and
   endorsements) when bestowed upon arbitrarily selected recipients all produced
   significant improvements in subsequent rates of success as compared with the
   control group of nonrecipients. However, greater amounts of initial success
   failed to produce much greater subsequent success, suggesting limits ..."
   -- [doi:10.1073/pnas.1316836111][20].
   (Also see Sci Show, ABC radio[www][8/2/20].)
   [Also search for: success luck].

%A P. A. Stott
%A N. Christidis
%A F. E. Otto
%A et al ...
%A F. W. Zwiers
%T Attribution of extreme weather and climate-related events
%J Wiley Interdisciplinary Reviews: Climate Change
%V 7
%P 1
%P 23-41
%D 2016
%K c2016, c201x, c20xx, zz0220, extreme, world, weather attribution, WWA,
   climate change, global warming, CO2, human activity, cause, causality, stats
%X "... Event attribution studies seek to determine to what extent anthropogenic
   climate change has altered the probability or magnitude of particular
   events. ..."
   -- [doi:10.1002/wcc.380]['20].
   [Also search for: extreme weather attribution].

%A M. J. Lerchenmueller
%A O. Sorenson
%A A. B. Jena
%T Gender differences in how scientists present the importance of their
   research: observational study
%J BMJ
%V 367
%P l6573
%D 2019
%K BMJ, c2020, c202x, c20xx, zz0220, scientific research, publications, papers,
   title, titles, citations, gender, publish, perish, gender, women, STEM
%X "... this study was to analyze whether men and women differ in how positively
   they frame their research findings and to analyze whether the positive
   framing of research is associated with higher downstream citations. ..."
   -- [doi:10.1136/bmj.l6573]['20].
      "... Clinical articles involving a male first or last author were
      more likely to present research findings positively in titles and
      abstracts compared with articles in which both the first and last
      author were women, particularly in the highest impact journals.
      Positive presentation of research findings was associated with
      higher downstream citations. ..."
   [Also search for: publish perish].

%A E. Worthington
%T Murdoch University drops financial claim against whistleblower academic
   after backlash
%I ABC
%M JAN
%D 2020
%K news, c2020, c202x, c20xx, zz0220, Australia, Murdoch University, WA,
   student, students, welfare, overseas, international, Schroder-Turk,
   whistleblower, academic, scandal, administration, NTEU
%X "... A West Australian university is withdrawing a multi-million-dollar
   financial damages claim filed against a whistleblower academic who spoke on
   the ABC's Four Corners last year. Associate Professor Gerd Schroder-Turk
   was one of three Murdoch University academics who appeared on the program
   raising concerns about the welfare of international students.  He took
   legal action in the Federal Court seeking an injunction to stop the
   university from removing him from his position on the university's senate
   after the broadcast.  In response, Murdoch University counter-sued Dr
   Schroder-Turk for costs and damages.  Murdoch claimed that since
   Dr Schroder-Turk's comments the U.'s reputation had been damaged ..."
   --[abc][13/1/2020].

%A N. Phillips
%A B. Nogrady
%T The race to decipher how climate change influenced Australia's record fires
%J Nature
%V 577
%P 610-612
%M JAN
%D 2020
%K news, views, c2020, c202x, c20xx, zz0220, world, Australia, Victoria, NSW,
   risk, risks, climate change, extreme weather attribution, WWA, bush fires,
   bushfire, drought, cause, causality, CO2, greenhouse gas, gases,
   human activity, Sophie Lewis, Perkins-Kirkpatrick
%X "On 1 January, the air in Canberra was the worst of any city in the world.
   With unprecedented bush fires raging nearby, a thick blanket of smoke
   smothered Australia's capital for weeks, ..."
   -- [doi:10.1038/d41586-020-00173-7]['20].
   [Also search for: extreme weather attribution].

%A R. Van Noorden
%T Highly cited researcher banned from journal board for citation abuse
%J Nature
%V 578
%P 200-201
%M FEB
%D 2020
%K news, views, VanNorden, c2020, c202x, c20xx, zz0220, publish, perish,
   research, coerce, coercive, citations, papers, gIndex, Hindex, KPI, KPIs,
   impact, university management, JTB, journals, Kuo-Chen Chou, KCChou,
   KuoChenChou, academic misconduct, peer review, research, refereeing, scam,
   abuse, misuse, ethics
%X "A US-based biophysicist [Kuo-Chen Chou] who is one of the world's most
   highly cited researchers has been removed from the editorial board of one
   journal and barred as a reviewer for another, after repeatedly manipulating
   the peer-review process to amass citations to his own work. ... asked authors
   of dozens of papers he was editing to cite a long list of his publications -
   sometimes more than 50 ..."
   -- [doi:10.1038/d41586-020-00335-7]['20].
   [Also search for: peer review]  and  [also search for: KuoChenChou].

%A A. Cayley
%T Desiderata and suggestions: No.2. The theory of groups: Graphical
   representation
%J Amr. J. Maths.
%V 1
%N 2
%P 174-176
%D 1878
%K jrnl, maths, c1878, c187x, c18xx, zz0220, group, graph, diagram, permutation,
   generators, representation theory, theorem
%X -- [doi:10.2307/2369306]['20],
      2369306@[Jstore]['20].
   Also see CayleyG@[wikip]['20].
   [Also search for: permutation group].

%A F. Harary
%A G. E. Uhlenbeck
%T On the number of Husimi trees, I
%J PNAS
%V 39
%N 4
%P 315-322
%M APR
%D 1955
%K jrnl, PNAS, c1953, c195x, c19xx, zz0220, Husimi tree, cactus graph, cacti,
   block, cycles, maths, count, counting
%X "... A H.tree is a connected graph s.t. no line [edge] lies on more
   than one cycle. ..."
   --  [doi:10.1073/pnas.39.4.315]['20].
   Also see, "Meanwhile, ... H.tree commonly came to refer to gs. in which every
   block is a complete g. ... This usage had little to do with the work of H.,
   & the more pertinent term block g. is now used for this family; however,
   because of this ambiguity this phrase has become less frequently used to
   refer to cactus graphs."
   -- CactusGraph@[wikip]['20].

%T SymPy
%D ? 2009+ on ?
%K TR, c201x, c20xx, zz0220, Python, symbolic maths, mathematics, SymPy, mpmath,
   galgebra, computer algebra, library
%X "SymPy is a Python library for symbolic mathematics. It aims to become a
   full-featured computer algebra system (CAS) while keeping the code as simple
   as possible in order to be comprehensible and easily extensible. SymPy is
   written entirely in Python."
   -- [www]['20],  (via njh).

%A Zhengfeng Ji
%A A. Natarajan
%A T. Vidick
%A J. Wright
%A H. Yuen
%T MIP* = RE
%J arXiv
%M JAN
%D 2020
%K TR, c2020, c202x, c20xx, zz0220, MIP, RE, spooky, quantum prover, computing,
   physics, entanglement, game, Halting Problem, entangled value,
   undecidability, Tsirelson, commuting, correlation, Connes, embedding,
   conjecture
%X "We show that the class MIP* of languages that can be decided by a classical
   verifier interacting with multiple all-powerful quantum provers sharing
   entanglement is equal to the class RE of rec. enum. langs.. ... builds upon
   the q. low-degree test of (Natarajan & Vidick, FOCS 2018) by integrating
   recent developments from (Natarajan & Wright, FOCS 2019) & combining them
   with the recursive compression framework of (Fitzsimons et al., STOC 2019).
   An immediate byproduct of our result is that there is an efficient reduction
   from the Halting Problem to the problem of deciding whether a two-player
   nonlocal game has entangled value 1 or at most 1/2. Using a known connection,
   undecidability of the entangled value implies a -ve answer to Tsirelson's
   problem: we show, by providing an explicit e.g., that the closure C_{qa} of
   the set of q.tensor product correlations is strictly included in the set
   C_{qc} of q.commuting correlns. Following work of (Fritz, Rev. Math. Phys.
   2012) & (Junge et al., J. Math. Phys. 2011) our results provide a refutation
   of Connes' embedding conjecture from the theory of von Neumann algebras."
   -- 2001.04383@[arXiv]['20].
   (I'm glad that's clear.)  Not yet peer reviewed.
   (Also see discussion at [doi:10.1038/d41586-020-00120-6]['20].)

%A B. Greene
%T Until the End of Time: Mind, Matter, and Our Search for Meaning in an
   Evolving Universe
%I Knopf
%P 448
%M FEB
%D 2020
%K book, text, c2020, c202x, c20xx, zz0220, time, entropy, meaning, human,
   science, physics, cosmology, free will
%X "... explores how life and mind emerged from the initial chaos, and how our
   minds, in coming to understand their own impermanence, seek in different ways
   to give meaning to experience: in narrative, myth, religion, creative
   expression, science, the quest for truth ..."
   1st ed 2020; hb us$21; uk us isbn:1524731676; uk us isbn13:978-1524731670.
   [Also search for: consciousness]  and  [also search for: arrow time].

%T Stan Modelling Language, ver.3.9.0
%D DEC
%D 2015
%K Stan, c2015, c201x, c20xx, zz0220, probabilistic programming language, PLD,
   stats, probability, model
%X "Stan is a state-of-the-art platform for statistical modeling and
   high-performance statistical computation. Thousands of users rely on Stan
   for statistical modeling, data analysis, and prediction in the social,
   biological, and physical sciences, engineering, and business. ..."
   -- Stan@[www]['20] home.
   "Stan is a probabilistic programming language for statistical inference
   written in C++. ..."
   -- Stan@[wikip]['20]  (via njh).

%A E. Dijkstra
%D ?
%T Quote
%K Dijkstra, Edsger, EWD, c19xx, zz0220, quote, quotable, SE, SWE, SWEng,
   computer programming, proof, verification, logic, formal,
   Software Engineering, crisis
%X "The required techniques of effective reasoning are pretty formal, but
   as long as programming is done by people that don't master them, the
   software crisis will remain with us and will be considered an incurable
   disease. And you know what incurable diseases do: they invite the quacks
   and charlatans in, who in this case take the form of Software Engineering
   gurus."
   -- [www]['20]  (via AK).

%A K. B. Korb
%A E. P. Nyberg
%A L. Hope
%T A new causal power theory
%B Causality in the Sciences
%I OUP
%D 2011
%K chapter, c2011, c201x, c20xx, zz0220, cause, causality, causal power, KBKorb,
   Bnet, Bayesian network, mutual, information, intervention, stats
%X (In, uk us isbn:0199574138; uk us isbn13:978-0199574131.)
   "The causal power of C over E is (roughly) the degree to which changes in C
   cause changes in E. A formal measure of causal power would be v.useful, as an
   aid to understanding & modelling complex stochastic systems. Previous
   attempts to measure causal power, such as those of Good (1961), Cheng (1997),
   & Glymour (2001), while useful, suffer from one fundamental flaw: they only
   give sensible results when applied to v.restricted types of causal system,
   all of which exhibit causal transitivity. Causal Bayesian networks, however,
   are not in general transitive. The chapter develops an information-theoretic
   alternative, causal information, which applies to any kind of causal B. n/w.
   Causal information is based upon three ideas. First ... that the system can
   be rep. causally as a B.n/wk. Second ... uses hypothetical interventions to
   select the causal from the non-causal paths connecting C to E. Third ... a
   variation on the information-theoretic measure mutual information to
   summarize the total causal influence of C on E. ... gives sensible results
   for a much wider variety of complex stochastic systems than prev. attempts &
   promises to simplify the interpretation & application of B.networks."
   -- [doi:10.1093/acprof:oso/9780199574131.003.0030]['20].
   [Also search for: Bnet information].

%A J. Cockx
%A A. Abel
%T Elaborating dependent (co)pattern matching: No pattern left behind
%J JFP
%V 30
%P #e2
%M JAN
%D 2020
%K jrnl, JFP, c2020, c202x, c20xx, zz0220, FP, programing languages, types,
   dependent, typed, type, check, checking, co pattern, copattern, Agda
%X "... dependently typed language, we can guarantee correctness of our
   programmes by providing formal proofs. To check them, the typechecker
   elaborates these programs and proofs into a low-level core language. However,
   this core language is by nature hard to understand by mere humans, so how can
   we know we proved the right thing? ...  A definition by copattern matching
   consists of a list of clauses that are elaborated to a case tree ...  present
   an algorithm elaborating definitions by dependent copattern matching to a
   core language with inductive data types, coinductive record types, an
   identity type, and constants defined by well-typed case trees. ...
   reimplement the alg. used by Agda to check left-hand sides of defns by
   pattern matching. ...  Thus, we take another step towards the formally
   verified implementation of a practical dependently typed language.
   -- [doi:10.1017/S0956796819000182]['20].

%A S. Cipolla
%A F. Durastante
%A F. Tudisco
%T Nonlocal pagerank
%J arXiv
%M JAN
%D 2020
%K TR, c2020, c202x, c20xx, zz0220, PageRank, non local, page rank, importance,
   ranking, ranks
%X "... introduce & study a nonlocal version of the PageRank. ... the random
   walker explores the graph using longer excursions than just moving between
   neighboring nodes. [So] the corr. ranking of the nodes, which takes into
   account a long-range interaction between them, does not exhibit concentration
   phenomena typical for spectral rankings taking into account just local
   interactions. We show that the predictive value of the rankings obtained
   using our proposals is considerably improved on different real world
   problems."
   -- 2001.10421@[arXiv]['20].
   [Also search for: pagerank].


Search string: