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

Glookbib search for: zz0524

%T Int. Coll. on Theoretical Aspects of Computing
%K ICTAC, ICTAC17,2020, ICTAC18,2021, ICTAC19,2022, ICTAC20,2023, ICTAC21,s024,
   CFP,conf,TCS,theory,www,HREF,http, zz0524,zz0624, zz0525
%X 21st [25-29 Nov 2024] Bangkok,deadline 14 June 2024
   20th [4-8 Dec 2023], Lima, deadline 16 June 2023
   19th [27-29 Sept 2022], Georgia, deadline 21 May 2022
   ...

%T Int. Symp. on Logic-based Program Synthesis and Transformation
%K LOPSTR, LOPSTR31,2021, LOPSTR32,2022, LOPSTR24,2024,
   CFP,conf,LP,www,HREF,http, zz0424,zz0524, zz0526
%X [9-11 Sept 2024] Milan, deadline 6 May 2024
   [23-24 Oct 2023] Lisbon, deadline 19 May 2023
   [21-23 Sept 2022] Georgia, deadline 16 May 2022
   ...

%T Int. Symp. Principles and Practice of Declarative Programming
%K PPDP,        PPDP24,2024, PPDP23,2023, PPDP22,2022, PPDP21,2021, PPDP22,2020,
   PPDP21,2019, PPDP20,2018, PPDP19,2017, PPDP18,2016, PPDP17,2015, PPDP16,2014,
   CFP,conf,FP,LP,sigplan, zz0524, zz0525
%X [9-11 Sept 2024] Milan, deadline 13 May 2024 
   [22-23 Oct 2023] Lisbon, deadline 15 May 2023
   [20-22 Sept 2022] Georgia, deadline 15 May 2022
   ...

%T Peter Higgs obituary: physicist who predicted boson that explains why
   particles have mass
%J Nature
%V 628
%M APR
%D 2024
%K Higgs, Peter, obit, biog, c2024, c202x, c20xx, zz0524, quantum, physics,
   gravity, mass, boson, Nobel prize
%X Peter Ware Higgs, 19 May 1929 - 8 April 2014
   -- [doi:10.1038/d41586-024-01103-7]['24].
   Also see PH@[wikip]['24].

%A G. Orwell
%T Politics and the English Language
%D 1946
%K book, essay, c1946, c194x, c19xx, zz0524, Orwell, Blair, English, language,
   newspeak, brevity, brief, good writing, style, meaning, Shooting an Elephant
%X "... 1. Never use a metaphor, simile, or other figure of speech which ...
   2. Never use a long word where a short one will do.  3. If it is possible to
   cut a word out, always cut it out.  4. Never use the passive where you can
   use the active. Never use a foreign phrase, a scientific word, or a jargon
   word if you can think of an everyday English equivalent.  6. Break any of
   these rules sooner than say anything outright barbarous. ..."
   -- PEL@[wikip]['24].
     (Also 'Politics and the English language' in Writers on Writing,
     R. Neale (ed) OUP pp.173-183, 1992, orig: Shooting an Elephant and
     other Essays, 1950 written about 1945 A G.O. essay in a collection.
     G.O. pen name of Eric Blair 1903-1950.)
   [Also search for: Orwell] and [also search for: newspeak].

%A R. V. Book
%T Thue systems as rewriting systems
%J J. Symbolic Comp
%V 3
%N 1-2
%P 39-68
%M FEB-APR
%D 1987
%K jrnl, c1987, c198x, c19xx, zz0524, Thue systems, system, semi, semiThue,
   Post, strings, nondeterministic, rewriting, unconventional, SRS
%X "... survey of recent results on Thue systems, where the systems are viewed
   as rewriting systems on strings over a finite alphabet. The emphasis is on
   Thue systems with the Church-Rosser property, where the notion of red'n is
   based on length-decreasing rewriting rules. The main effort is expended in
   outlining the properties of such systems, paying close attention to the issue
   of the possible decidability of properties & to the issue of the comp'al
   complexity of decidable properties. Since Thue systems may also be considered
   as presentations of monoids, the language of monoids (& groups) is used to
   describe some of these properties."
   -- [doi:10.1016/S0747-7171(87)80021-4],
   at [c're]['24].
   Also see
   STS@[wikip]['24] and
   TPL@[wikip]['24].
   [Also search for: Thue rewriting system].

%A S. Neyens
%A et al
%T Probing single electrons across 300-mm spin qubit wafers
%J Nature
%V 629
%P 80-95
%M MAY
%D 2024
%K jrnl, c2024, c202x, c20xx, zz0524, quantum computing, computer, qubit,
   qubits, spin
%X "... we present a testing process using a cryogenic 300-mm wafer prober to
   collect high-volume data on the performance of hundreds of
   industry-manufactured spin qubit devices at 1.6 K. ..."
   -- [doi:10.1038/s41586-024-07275-6]['24].
   [Also search for: quantum computer].

%A M. Felleisen
%T Functional objects
%J Object-Oriented Programming (ECOOP)
%I Springer
%S LNCS
%V 3086
%D 2004
%K conf, ECOOP, c2004, c200x, c20xx, zz0524, OOP, FP, function, functions,
   object, class
%X Sadly just a 1/2 page abstract at the doi:-(
   "At first glance, OOP has little or nothing in common with FP. One grew out of
   the procedural tradition ... computing proceeds via method calls. The other
   is a radical departure from conventional programming.  It emphasizes an
   (almost) purely math. approach. ... Still, nobody can overlook the
   similarities of the two approaches considering the development of design
   patterns & notions of effective object-oriented programming practices.  In my
   talk, I will compare and contrast the two ideas of programming & PL-design.
   I will present & defend the thesis that good OOP heavily 'borrows' from FP
   & that the future of OOP is to study FP & language design even more." :-(
   -- [doi:10.1007/978-3-540-24851-4_12]['24].
   Although there are lecture slides at
   [www]['24], hmmm?

%A M. Vuorre
%A A. K. Przybylski
%T Global well-being and mental health in the internet age
%I OSF
%D 2022
%O Clinical Psych, Sci, Nov 2023, doi:10.1177/21677026231207791
%K TR, c2022, c202x, c20xx, zz0524, www, HREF, http, web, internet,
   social media, twitter, Xtwitter, facebook, psychology, happiness
%X "... We show that the past two decades have seen only small & inconsistent
   changes in global well-being & mental health that are not suggestive of the
   idea that the adoption of internet & mobile broadband is consistently linked
   to -ve psychological outcomes. Further investigation of this topic requires
   transparent study of online behaviours where they occur, namely on online
   platforms. We call for increased collaborative efforts between independent
   scientists & the internet technology sector."
     "... for the avg country, life satisfaction had remained relatively stable,
     whereas both -ve & +ve experiences had increased ... although prev. reports
     have suggested increasing mental-health problems specific to young females
     we did not find support for such changes for the avg country ..."
   -- [doi:10.31234/osf.io/9tbjy]['22].
   [Also search for: internet well being].
   (Also see the [bbc][13/5/2024].)