In this paper we exploit the structural properties of standard and non-standard models of set theory to produce models of set theory admitting automorphisms that are well-behaved along an initial segment of their ordinals. $\mathrm{NFU}$ is Ronald Je...
Contents of Part 1: 1. Status of the Standard Model(P.H. Frampton), 2. Cosmological Constraints from MBA and Polarization (A. Melchiorri), 3. AdS/CFT Correspondence and Unification at About 4 TeV (P.H. Frampton), 4. New Solutions in String Field Th...
flash memory standard compliant to the Sony and SanDisk-created ExpressCard standard. According to Sandisk and Sony, the cards have transfer rates of 800
This study presents a new method for measuring the propagation constant of transmission lines using a single line standard and without prior calibration of a two-port vector network analyzer (VNA). The method provides accurate results by emulating mu...
We combine results from CDF and D0 on direct searches for the standard model (SM) Higgs boson H in ppbar collisions at the Fermilab Tevatron at sqrt(s)=1.96 TeV. Compared to the previous Tevatron Higgs search combination more data have been added, ad...
We integrate out the Higgs boson in the electroweak standard model at one loop and construct a low-energy effective Lagrangian assuming that the Higgs mass is much larger than the gauge-boson masses. Instead of applying diagrammatical techniques, w...
We parameterize countable locally standard measure algebras by pairs of a Steinitz number and a real number greater or equal to 1. This is an analog of the theorems of J.Dixmier and A.A.Baranov....
Points: 740 | Comments: 355 | Author: _quhg
We was is not standard English, it is used in some regional dialects: The verb 'to be' has two simple past forms in Standard English - I/he/she/it was and you/we/they were. Apart from the special case of you, …
Easy-to-use licensing library for .NET Framework, Mono, .NET Core, and MAUI / Xamarin products (⭐ 651)
Standards And Recommended Practices (SARPs) are technical specifications adopted by the Council of the International Civil Aviation Organization (ICAO)
We was is not standard English, it is used in some regional dialects: The verb 'to be' has two simple past forms in Standard English - I/he/she/it was and you/we/they were. Apart from the special case of you, …
This set of lectures introduces at an elementary level the supersymmetric Standard Model and discusses some of its phenomenological properties. (Lectures given by J. Louis at the summer school ``Grundlagen und neue Methoden der theoretischen Phys...
limit CO2 emissions) AIR Index (a motor vehicle emissions ranking system) Air quality and EU legislation Biofuels Directive Vehicle emission standards
Tags: c++, multithreading, c++11, language-lawyer, memory-model | Score: 2232
Tags: java, android, security, rsa, bouncycastle | Score: 35
In modern embedded systems, the trust in comprehensive security standards all along the product life cycle has become an increasingly important access-to-market requirement. However, these security standards rely on mandatory immunity assumptions suc...
Tags: javascript, mysql, date, datetime | Score: 0
:trophy: Automate versioning and CHANGELOG generation, with semver.org and conventionalcommits.org (⭐ 7960)
The RIM-161 Standard Missile 3 (SM-3) is a ship-based surface-to-air missile used by the United States Navy to intercept ballistic missiles as a part of