搜索结果: 1-11 共查到“理学 Discovering”相关记录11条 . 查询时间(0.048 秒)
The recent observation of gravitational waves and light produced by colliding neutron stars didn't just provide scientists with a transformative look at a rare cosmic event -- it provided an important...
Michigan State University researchers, for the first time, have identified how plants’ largest cell factory moves to maintain vital functions, which could lead to advances in improving plant cells’ cr...
Discovering and Orienting the Edges Connected to a Target Variable in a DAG via a Sequential Local Learning Approach
Causal network Directed acyclic graph Discover causes and effects
2016/1/20
Given a target variable and observational data, we propose a sequential learning approach for discovering direct cause and effect variables of the target under the causal network frame-work. In the ap...
In the summer of 1954, I accepted a position as an oceanographer at the Marine Science Institute in Djakarta, Indonesia. When I arrived in November 1954, I found out that all the Dutch scientists had ...
Discovering the missing 2.2combining optical variability and optical/near-IR colors
Discovering missing quasars combining variability optical/near-IR colors
2011/9/27
The identifications of quasars in the redshift range 2.2very inefficient as their optical colors are indistinguishable from those of stars. Recent studies have proposed to use opt...
Discovering the constrained NMSSM with tau leptons at the LHC
constrained NMSSM tau leptons
2011/1/5
The constrained Next-to-Minimal Supersymmetric Standard Model (cNMSSM) with mSugra-like boundary conditions at the GUT scale implies a singlino-like LSP with a mass just a few GeV below a stau NLSP. H...
Discovering the links between plants and medical treatments
the links plants and medical treatments
2009/12/18
The link between understanding how plants work and the development of new medical treatments will be explored in a public lecture at the University of York.Professor Sir David Baulcombe will use his l...
The role of the central limit theorem in discovering sharp rates of convergence to equilibrium for the solution of the Kac equation
Berry–Esseen inequalities central limit theorem
2010/12/8
In Dolera, Gabetta and Regazzini [Ann. Appl. Probab. 19 (2009)186–201] it is proved that the total variation distance between the solution f(·, t) of Kac’s equation and the Gaussian density (0,2) has...
A Deductive Database Approach to Automated Geometry Theorem Proving and Discovering
deductive database automated geometry theorem proving and discovering search strategies redundant deduction Skolemization structured database
2013/9/9
We report our effort to build a geometry deductive database, which can be used to find thefixpointfor a geometric configuration. The system can find all the properties of the configuration that can be...