Showing posts with label Microsoft Research. Show all posts
Showing posts with label Microsoft Research. Show all posts

The Intervening State

The increasing interest in the genetic causes of mental disorders may exacerbate existing stigma if negative beliefs about a genetic illness are generally accepted. China’s history of policy-level eugenics and genetic discrimination in the workplace suggests that Chinese communities will view genetic mental illness less favorably than mental illness with non-genetic causes. The aim of this study is to identify differences between Chinese Americans and European Americans in eugenic beliefs and stigma toward people with genetic mental illness.

https://www.ncbi.nlm.nih.gov/pmc/articles/PMC3141094/ 

Please read the Royal Society of the Arts Journal 

Issue 3 2021

https://www.thersa.org/rsa-journal/2021/issue-3/foreword/rsa-journal-issue-3-2021

After I was hospitalized in 2021 a few local hospital executives were fired by RSA. Because I claimed domestic security in my home.

After further research eugenics is bad science according to Princeton University.

X-Matches is a better way to go.

LEO-II and Satallax on the Sledgehammer test bench

 Sledgehammer is a tool that harnesses external first-order automatic theorem provers (ATPs) to discharge interactive proof obligations arising in Isabelle/HOL. We extended it with LEO-II and Satallax, the two most prominent higher-order ATPs, improving its performance on higher-order problems. To explore their usefulness, these ATPs are measured against first-order ATPs and built-in Isabelle tactics on a variety of benchmarks from Isabelle and the TPTP library. Sledgehammer provides an ideal test bench for individual features of LEO-II and Satallax, revealing areas for improvements.

https://www.sciencedirect.com/science/article/pii/S1570868312000766 

LEO II Download https://page.mi.fu-berlin.de/cbenzmueller/leo/download.html

 

Formalization, Mechanization and Automation of Gödel's Proof of God's Existence

" Gödel's ontological proof has been analysed for the first-time with an unprecedent degree of detail and formality with the help of higher-order theorem provers. The following has been done (and in this order): A detailed natural deduction proof. A formalization of the axioms, definitions and theorems in the TPTP THF syntax. Automatic verification of the consistency of the axioms and definitions with Nitpick. Automatic demonstration of the theorems with the provers LEO-II and Satallax. A step-by-step formalization using the Coq proof assistant. A formalization using the Isabelle proof assistant, where the theorems (and some additional lemmata) have been automated with Sledgehammer and Metis"

https://arxiv.org/abs/1308.4526 

The VAD tree: A process-eye view of physical memory

Abstract

This paper describes the use of the Virtual Address Descriptor (VAD) tree structure in Windows memory dumps to help guide forensic analysis of Windows memory. We describe how to locate and parse the structure, and show its value in breaking up physical memory into more manageable and semantically meaningful units than can be obtained by simply walking the page directory for the process. Several tools to display information about the VAD tree and dump the memory regions it describes will also be presented

Stabilizing the Higgs potential with a Z′

 Abstract

Current data point toward metastability of the electroweak vacuum within the Standard Model. We study the possibility of stabilizing the Higgs potential in U(1) extensions thereof. A generic Z′ boson improves stability of the scalar potential in two ways: it increases the Higgs self-coupling, due to a positive contribution to the beta-function of the latter, and it decreases the top quark Yukawa coupling, which again has a stabilizing effect. We determine the range of U(1) charges which leads to a stable electroweak vacuum. In certain classes of models, such stabilization is possible even if the Z′ does not couple to the Higgs and is due entirely to the reduction of the top Yukawa coupling. We also study the effect of the kinetic mixing between the extra U(1) and hypercharge gauge fields.

Monogamy and Human Evolution

 “Monogamy is a problem,” said Dieter Lukas of the University of Cambridge in a telephone news conference last week. As Dr. Lukas explained to reporters, he and other biologists consider monogamy an evolutionary puzzle.

In 9 percent of all mammal species, males and females will share a common territory for more than one breeding season, and in some cases bond for life. This is a problem — a scientific one — because male mammals could theoretically have more offspring by giving up on monogamy and mating with lots of females.

In a new study, Dr. Lukas and his colleague Tim Clutton-Brock suggest that monogamy evolves when females spread out, making it hard for a male to travel around and fend off competing males.

On the same day, Kit Opie of University College London and his colleagues published a similar study on primates, which are especially monogamous — males and females bond in over a quarter of primate species. The London scientists came to a different conclusion: that the threat of infanticide leads males to stick with only one female, protecting her from other males.

Even with the scientific problem far from resolved, research like this inevitably turns us into narcissists. It’s all well and good to understand why the gray-handed night monkey became monogamous. But we want to know: What does this say about men and women?

As with all things concerning the human heart, it’s complicated.

“The human mating system is extremely flexible,” Bernard Chapais of the University of Montreal wrote in a recent review in Evolutionary Anthropology. Only 17 percent of human cultures are strictly monogamous. The vast majority of human societies embrace a mix of marriage types, with some people practicing monogamy and others polygamy. (Most people in these cultures are in monogamous marriages, though.)

There are even some societies where a woman may marry several men. And some men and women have secret relationships that last for years while they’re married to other people, a kind of dual monogamy. Same-sex marriages acknowledge commitments that in many cases existed long before they won legal recognition.

Each species faces its own special challenges — the climate where it lives, or the food it depends on, or the predators that stalk it — and certain conditions may favor monogamy despite its drawbacks. One source of clues to the origin of human mating lies in our closest relatives, chimpanzees and bonobos. They live in large groups where the females mate with lots of males when they’re ovulating. Male chimpanzees will fight with each other for the chance to mate, and they’ve evolved to produce extra sperm to increase their chances that they get to father a female’s young.

"Our own ancestors split off from the ancestors of chimpanzees about seven million years ago. Fossils may offer us some clues to how our mating systems evolved after that parting of ways. The hormone levels that course through monogamous primates are different from those of other species, possibly because the males aren’t in constant battle for females.

That difference in hormones influences how primates grow in some remarkable ways. For example, the ratio of their finger lengths is different.

In 2011, Emma Nelson of the University of Liverpool and her colleagues looked at the finger bones of ancient hominid fossils. From what they found, they concluded that hominids 4.4 million years ago mated with many females. By about 3.5 million years ago, however, the finger-length ratio indicated that hominids had shifted more toward monogamy.

Our lineage never evolved to be strictly monogamous. But even in polygamous relationships, individual men and women formed long-term bonds — a far cry from the arrangement in chimpanzees.

While the two new studies published last week disagree about the force driving the evolution of monogamy, they do agree on something important. “Once monogamy has evolved, then male care is far more likely,” Dr. Opie said.

Once a monogamous primate father starts to stick around, he has the opportunity to raise the odds that his offspring will survive. He can carry them, groom their fur and protect them from attacks.

In our own lineage, however, fathers went further. They had evolved the ability to hunt and scavenge meat, and they were supplying some of that food to their children. “They may have gone beyond what is normal for monogamous primates,” said Dr. Opie.

The extra supply of protein and calories that human children started to receive is widely considered a watershed moment in our evolution. It could explain why we have brains far bigger than other mammals.

Brains are hungry organs, demanding 20 times more calories than a similar piece of muscle. Only with a steady supply of energy-rich meat, Dr. Opie suggests, were we able to evolve big brains — and all the mental capacities that come with it.

Because of monogamy, Dr. Opie said, “This could be how humans were able to push through a ceiling in terms of brain size.”

Copyright 2013 The New York Times Company. Reprinted with permission.

Developmental venous anomalies: appearance on whole-brain CT digital subtraction angiography and CT perfusion

 

Abstract

Introduction

Developmental venous anomalies (DVA) consist of dilated intramedullary veins that converge into a large collecting vein. The appearance of these anomalies was evaluated on whole-brain computed tomography (CT) digital subtraction angiography (DSA) and CT perfusion (CTP) studies.

Falling in love is associated with immune system gene regulation

 Although falling in love is one of the most important and psychologically potent events in human life, the somatic implications of new romantic love remain poorly understood. Psychological, immunological, and reproductive perspectives offer competing predictions of the specific transcriptional regulatory shifts that might accompany the experience of falling in love. To characterize the impact of romantic love on human genome function, we conducted genome-wide transcriptome profiling of 115 circulating immune cell samples collected from 47 young women over the course of a 2-year longitudinal study. Analyses revealed a selective alteration in immune cell gene regulation characterized by up-regulation of Type I interferon response genes associated with CD1C+/BDCA-1+ dendritic cells (DCs) and CLEC4C+/BDCA-2+ DCs, and a reciprocal down-regulation of α-defensin-related transcripts associated with neutrophil granulocytes. These effects emerged above and beyond the effects of changes in illness, perceived social isolation, and sexual contact. These findings are consistent with a selective up-regulation of innate immune responses to viral infections (e.g., Type I interferons and DC) and with DC facilitation of sexual reproduction, and provide insight into the immunoregulatory correlates of one of the keystone experiences in human life.

Consciousness in the universe A review of the ‘Orch OR ’theory

Abstract

The nature of consciousness, the mechanism by which it occurs in the brain, and its ultimate place in the universe are unknown. We proposed in the mid 1990's that consciousness depends on biologically ‘orchestrated’ coherent quantum processes in collections of microtubules within brain neurons, that these quantum processes correlate with, and regulate, neuronal synaptic and membrane activity, and that the continuous Schrödinger evolution of each such process terminates in accordance with the specific Diósi–Penrose (DP) scheme of ‘objective reduction’ (‘OR’) of the quantum state. This orchestrated OR activity (‘Orch OR’) is taken to result in moments of conscious awareness and/or choice. The DP form of OR is related to the fundamentals of quantum mechanics and space–time geometry, so Orch OR suggests that there is a connection between the brain's biomolecular processes and the basic structure of the universe. Here we review Orch OR in light of criticisms and developments in quantum biology, neuroscience, physics and cosmology. We also introduce a novel suggestion of ‘beat frequencies’ of faster microtubule vibrations as a possible source of the observed electro-encephalographic (‘EEG’) correlates of consciousness. We conclude that consciousness plays an intrinsic role in the universe.

Formalization, Mechanization and Automation of G¨odel’s Proof of God’s Existence

"Gödel's ontological proof has been analysed for the first-time with an unprecedent degree of detail and formality with the help of higher-order theorem provers. The following has been done (and in this order): A detailed natural deduction proof. A formalization of the axioms, definitions and theorems in the TPTP THF syntax. Automatic verification of the consistency of the axioms and definitions with Nitpick. Automatic demonstration of the theorems with the provers LEO-II and Satallax. A step-by-step formalization using the Coq proof assistant. A formalization using the Isabelle proof assistant, where the theorems (and some additional lemmata) have been automated with Sledgehammer and Metis"

Exponential complexity and ontological theories of quantum mechanics

 "Ontological theories of quantum mechanics describe a single system by means of well-defined classical variables and attribute the quantum uncertainties to our ignorance about the underlying reality represented by these variables. We consider the general class of ontological theories describing a quantum system by a set of variables with Markovian (either deterministic or stochastic) evolution. We provide proof that the number of continuous variables cannot be smaller than 2N2, N being the Hilbert-space dimension. Thus, any ontological Markovian theory of quantum mechanics requires a number of variables which grows exponentially with the physical size. This result is relevant also in the framework of quantum Monte Carlo methods."

Calculating Infinity: The Paradox Of Moore's Law

" Moore’s law – the observation that the number of transistors in a dense integrated circuit doubles approximately every 18 to 24 months – is a projection and not a physical or natural law. Nonetheless, it has proved accurate for several decades, and has been used in the semiconductor industry to guide long-term planning and to set targets for research and development.

Many advances in digital electronics are strongly linked to Moore’s law: examples are quality-adjusted microprocessor prices, memory capacity, sensors and even the number and size of pixels in digital cameras.

But can this continue indefinitely? Intel stated in 2015 that the pace of advancement has slowed, starting at the 22nm feature width around 2012, and continuing at 14nm. However, in April 2016, Intel CEO Brian Krzanich stated that “In my 34 years in the semiconductor industry, I have witnessed the advertised death of Moore’s Law no less than four times. As we progress from 14nm technology to 10nm and plan for 7nm and 5nm and even beyond, our plans are proof that Moore’s Law is alive and well”.

Physical limits

Silicon-based technologies have nearly reached the physical limits of the number and size of transistors that can be crammed into one chip, while alternative technologies are still far from mass implementation. Down-scaling transistor size is more than an engineering challenge, as there is fundamental physics to consider.

Moore’s law would come to an end because transistors are as small as atoms and cannot be shrunk any further. To address this, fundamentally new concepts for electronics would be needed to produce commercially viable alternatives which meet demands for ever-growing computing power. Moore’s Law may become exhausted eventually unless new technologies come along that will lend it leash.

“The whole semiconductor industry wants to keep Moore’s Law going. We need better performing transistors as we continue down-scaling, and transistors based on silicon won’t give us improvements anymore,” said Heinz Schmid, a researcher with IBM Research GmbH at Zurich Research Laboratory in Switzerland.

Compound semiconductor materials

Schmid’s Zurich-based team with support from colleagues in Yorktown Heights, New York has developed a relatively simple, robust and versatile process for growing crystals made from compound semiconductor materials that will allow them be integrated onto silicon wafers – an important step toward making future computer chips that will allow integrated circuits to continue shrinking in size and cost even as they increase in performance.

The IBM team has fabricated single crystal nanostructures, such as nanowires, nanostructures containing constrictions, and cross junctions, as well as 3-D stacked nanowires, made with so-called III–V materials. Made from alloys of indium, gallium and arsenide, III-V semiconductors are seen as a possible future material for computer chips, but only if they can be successfully integrated onto silicon. So far efforts at integration have not been very successful.

The new crystals were grown using an approach called template-assisted selective epitaxy (TASE) using metal organic chemical vapour deposition, which basically starts from a small area and evolves into a much larger, defect-free crystal. This approach allowed them to lithographically define oxide templates and fill them via epitaxy, in the end making nanowires, cross junctions, nanostructures containing constrictions and 3-D stacked nanowires using the already established scaled processes of Si technology.

“What sets this work apart from other methods is that the compound semiconductor does not contain detrimental defects, and that the process is fully compatible with current chip fabrication technology,” said Schmid. “Importantly the method is also economically viable.”

Spin not charge

One promising approach to developing new technologies is to exploit the electron’s tiny magnetic moment, or ‘spin’. Electrons have two properties – charge and spin – and although current technologies use charge, it is thought that spin-based technologies have the potential to outperform the “charge-based” technology of semiconductors for the storage and process of information.

Scientists from University College London (UCL) have discovered a new method to efficiently generate and control currents based on the magnetic nature of electrons in semi-conducting materials, offering a radical way to develop a new generation of electronic devices.

In order to utilise electron spins for electronics, or ‘spintronics’, the method of electrically generating and detecting spins needs to be efficient so the devices can process the spin information with low-power consumption. One way to achieve this is by the spin-Hall effect, which is being researched by scientists who are keen to understand the mechanisms of the effect, but also which materials optimise its efficiency. If research into this effect is successful, it will open the door to new technologies.

The spin-Hall effect helps generate ‘spin currents’ which enable spin information transfer without the flow of electric charge currents. Unlike other concepts that harness electrons, spin current can transfer information without causing heat from the electric charge, which – as mentioned above – is a serious problem for current semiconductor devices. Effective use of spins generated by the spin-Hall effect can also revolutionise spin-based memory applications.

The scientists have reported a 40-times-larger effect than previously achieved in semiconductor materials, with the largest value measured comparable to a record high value of the spin-Hall effect observed in heavy metals such as platinum. This demonstrates that future spintronics might not need to rely on expensive, rare, heavy metals for efficiency, but relatively cheap materials can be used to process spin information with low-power consumption.

Touch and Go
Overall, perpetuating Moore’s Law in the foreseeable future will require the development of disruptive technologies which take the electronics industry beyond its silicon comfort zone. Whether these can be developed in time for Moore’s Law to be maintained in the immediate future is touch and go, but even if not, there is no reason why it could not resume in the future"

My Knowledge Work


From 2000-2021 I did a lot of knowledge work for my self and Microsoft I was even followed by MSFT Research before the invasion of the urkaine.A war over viking land if you will. I did knowledge work and built various Microsoft software including Windows. I am Windows Internals Certified for Windows 7 in 2011.

My Knowledge Work

How knowledge workers use the web