Injective modules have been heavily studied, and a variety of additional notions are defined in terms of them: Injective cogenerators are injective modules that faithfully represent the entire category of modules.

Injective resolutions measure how far from injective a module is in terms of the injective dimension and represent modules in the derived category.

Injective modules include divisible groups and are generalized by the notion of injective objects in category theory.

Injective metric spaces were introduced and studied first by, prior to the study of Met as a category ; they may also be defined intrinsically in terms of a Helly property of their metric balls, and because of this alternative definition Aronszajn and Panitchpakdi named these spaces hyperconvex spaces.

Injective hulls were first described in, and are described in detail in the textbook.

Injective hulls are maximal essential extensions, and turn out to be minimal injective extensions.

* A. Connes, Classification of Injective Factors The Annals of Mathematics 2nd Ser., Vol.

Following the trend of avoiding absolute addresses, the PEEK and POKE commands were replaced with INVOKE and PERFORM statements that loaded and executed separately-assembled code modules.

Then, if these " digital modules " were able to build a self-sustaining business, the company would be free to use them to develop a complete computer in their Phase II.

They were then connected together using banana plug patch cords inserted at the front of the modules.

The same circuits were then packaged as the first " R " ( red ) series " Flip-Chip " modules.

The modules were designed to survive a range of hypothetical accidents: launch vehicle explosion or fire, re-entry into the atmosphere followed by land or water impact, and post-impact situations.

They argued that existing neural models had failed to produce intelligent behaviour because they were too small, and that in order to create " artificial brains " it was necessary to manually assemble tens of thousands of evolved neural modules together, with the billion neuron " CAM-Brain " requiring around 10 million modules ; this idea was rejected by Igor Aleksander, who said " The point is that these puzzles are not puzzles because our neural models are not large enough.

The MVS core was almost entirely written in Assembler XF, although a few modules were written in PL / S, but not the performance-sensitive ones, in particular not the Input / Output Supervisor ( IOS ).

* The X-shaped RNA nanoparticles capable of carrying four functional modules were created by researchers in the University of Kentucky.

The last two modules ( SF-5 and SF-6 ) were written by authors from TSR's UK division, and are distinctly different from the others in the series in tone and production style.

Basic animation and timing modules were integrated into Scalable Vector Graphics ( SVG ) and the SMIL modules formed a basis for Timed-Text.

Groups of interceptors were to be housed in orbital modules.

In addition, more traditional role-playing modules were also released.

Two modules detailing countries were released in 1982, Warrior Lords of Darok and Forest Lords of Dihad.

This land was to be detailed over the course of several modules, but only this and The Forest Lords of Dihad were released before Metagaming's untimely demise.

In the works were two more province modules for Muipoco and Soukor, along with two and probably more city modules, detailing the provincial capitals.

As noted below, the city modules for the capitals of Darok and Dihad were redesigned and released under other names by Game Lords, Ltd.

Major inspirations for C ++ templates were the parametrized modules provided by CLU and the generics provided by Ada.

) The main enhancements with this release were support for hard partitions, gigabit ethernet, NFS over TCP / IP, loadable kernel modules, dynamic kernel tunable parameters, kernel event Notifications, and protected stacks.

The isomorphism theorems were formulated in some generality for homomorphisms of modules by Emmy Noether in her paper Abstrakter Aufbau der Idealtheorie in algebraischen Zahl-und Funktionenkörpern which was published in 1927 in Mathematische Annalen.

In 1986 and 1987, only three Greyhawk modules were released, A1-4 Scourge of the Slave Lords, S1-4 Realms of Horror and GDQ1-7 Queen of the Spiders, all being collections of previously published modules rather than new material.

Two World of Greyhawk Swords modules, WGS1 Five Shall Be One by Carl Sargent and WGS2 Howl from the North by Dale Henson, were released in 1991.

Even while the PDP-9 was being introduced, its replacement was being designed, and was introduced as 1969's PDP-15, which re-implemented the PDP-9 using integrated circuits in place of modules.

On 22 March 1965, DEC introduced the PDP-8, which replaced the PDP-5's modules with the new R-series modules using Flip Chips.

The five modules TSR published for Gamma World's 3rd edition introduced the setting's first multi-module metaplot, which involved rebuilding an ancient ' sky chariot ':

A 5ESS-2000 version, introduced in the 1990s, increased the capacity of the switching module ( SM ), with more peripheral modules and more optical links per SM to the communications module ( CM ; see below ).

* 50xx-series ; The initial models introduced in 1983 were the 5070 ( interior vestibule ) and 5080 ( Through The Wall or TTW ) introduced a number of features which have become standard among ATM's-chiefly the individual functions of the ATM are divided among discrete modules which can be easily removed and replaced for repair or replenishment.

Also in 2004, DO Labs DoX Optics Pro ( France ) computer software modules were introduced, loaded with information on specific cameras and lenses, that could correct distortion, vignetting, blur and lateral chromatic aberration of images in post-production.

The A * grade was introduced in 2010 for students who achieve 80 % and above in the overall A-level qualification and achieve 90 % and over in all A2 modules.

There was perhaps a more direct route available: the abelian category concept had been introduced by Grothendieck in his foundational work on homological algebra, to unify categories of sheaves of abelian groups, and of modules.

The Combinator device, introduced in Reason 3. 0, allows users to combine multiple modules into one.

Projective modules were first introduced in 1956 in the influential book Homological Algebra by Henri Cartan and Samuel Eilenberg.

In recent years, ECDL Foundation has introduced six additional ECDL / ICDL modules.

When the Leclerc was introduced in the early nineties this was still considered adequate, due to the larger thickness of its modules compared to the armour of other modern western tanks, made possible — for a given weight limit — by the compact design of the tank as a whole.

programs have only recently been introduced and they tend to follow the UK model of initial research modules followed by longer research papers and thesis.

Clarion Professional Developer also introduced Language Extension Modules ( LEMs ), that could extend the Clarion language using modules compiled in other languages that were built to the LEM format.

Laumon introduced a sheaf-theoretic Fourier transform for quasi-coherent modules over 1-motives that specializes to many of these equivalences.

The combined campaign then culminates with the GDQ series, incorporating modules G1-G3 Against the Giants ; D1-D3, which introduced D & D fans to drow elves for the first time ; and finally Q1, Queen of the Demonweb Pits, in which the heroes fight against the spider demon Lolth herself.

Initially V. 32 modems were very expensive, but Rockwell introduced modules and eventually chipsets that brought the prices down.

The concept of a dungeon that spanned a planet was first introduced by Gary Gygax in his D-series of game modules and at the end of the G-series.

The module system of Eve Community was introduced with the announcement that many modules would be made available ; UBB. x was one of the initial modules.

ACT-R 5. 0 introduced the concept of modules, specialized sets of procedural and declarative representations that could be mapped to known brain systems.