Search

The article describes the publication of a new stela of the Chief Treasurer Maya from the time of Tutankhamun-Horemheb, with a long hymn to the rising sun. The stela, which was in the possession of Linant de Bellefonds, is only known through a handwritten copy by Auguste Mariette. There is no doubt that it comes from Maya's tomb in Saqqara. The stela shows Maya standing before the deities Atum and Re-Horakhty. The lower part of the stela consists of 20 lines of hieroglyphic text, with the last 3 lines almost completely destroyed. The text consists of two parts: lines 1-8, a hymn to the rising sun, and lines 8 and following, a concluding prayer with a list of blessings that the speaker, Maya, hopes to receive from the sun god. The hymn is an original composition or variation, while the prayer is based on the composer's personal oral improvisation. There are parallels to other inscriptions from the time of Amenhotep III to the end of the dynasty, but the arrangement is unique. The exact meaning of some passages remains uncertain. The Linant stela dates from the New Kingdom and is the only known source from this period. It is the counterpart to a limestone stela that was originally placed on the south side of the west wall of the portico in the outer courtyard of Maya's tomb in Saqqara. The stela was discovered together with three statues and a block in the Leiden National Museum of Antiquities. It is believed that the stela was found before the Lepsius expedition, which explored the tomb in the 1840s. The stela contains hymns to the sun god Re-Horakhty and the night sun god Osiris. The given list includes a number of books and articles on various topics related to ancient Egypt. The mentioned works deal with topics such as Egyptian religion, hieroglyphs, tombs, and texts from the New Kingdom. Various authors and their works are also listed. The list does not provide cohesive information or a main focus, but serves as a reference for further research in the field of Egyptology. The text describes various scientific publications and research in the field of Egyptian archaeology. Various topics are covered, including excavations in Saqqara, the representation of the afterlife in ancient Egypt, and the significance of inscriptions and reliefs. Specific artifacts and tombs are also mentioned, such as the stela of Maya and the tomb of Kheruef. The publications come from different years and were written by different authors. [Extracted from the article]

I contratti di livello non sono lo strumento per trasformare liberi coltivatori in una nuova classe di coloni dipendenti, ma rispecchiano una pluralità di condizioni sociali dei contraenti, dai proprietari, che rimangono tali, ai nullatenenti. Questa nuova lettura suggerisce una più puntuale interpretazione anche degli inventari e polittici dei secoli IX e X, nei quali i libellarii sono poco rappresentati e sono assimilati agli uomini liberi, mentre la maggioranza dei contadini dipendenti è legata a rapporti di lavoro più gravosi e spesso è di condizione servile.

Pierre Vidal-Naquet — que dire d’un homme qui n’est plus, et tant de fois aura su être un peu plus qu’un homme, demi-héros des temps grisâtres pendant lesquels on torturait de l’autre côté de l’Humanité ? Ou bien, encore, face à ces faux-monnayeurs de l’Histoire que l’histoire, elle, ne retiendra pas ; ces falsificateurs peu fameux, sans visage et sans talent, qui osaient se nommer « révisionnistes », comme s’il s’agissait d’un « travail » historique ...

In order to guarantee the safety of the gas production plants, Air Liquide conducts NDT inspections regularly closely following the assets’ maintenance plans. One high criticality asset is the Pressure Swing Adsorber (PSA), found in the last stages of the hydrogen production process, where product purification takes place. These adsorbers are pressure vessels and need to be inspected for hydrogen enhanced fatigue cracks. Conventional inspection would require stopping site operation, building scaffolding for the totality of the height, which depending on design can be up to 15 meters tall and 6 meters in diameter, grinding of the inspection surface to remove the paint, conducting the inspection manually by 2 operators, and repainting once inspections are concluded. Commonly, inspection plans for these high-criticality assets outline a high inspection frequency, resulting in elevated costs associated with logistics, personnel and time and monetary resources required to plan and execute each inspection. This necessity is what drove Air Liquide R&D and INTACT to create a partnership and develop an automated crawler that can be deployed on in-service ferromagnetic assets for Phased Array Ultrasonic Testing (PAUT) inspection, using Total Focusing Method (TFM) with INTACT proprietary imaging and software. The robot, named IBEX Crawler, is deployed at the lowest part of the vessel and controlled safely at the ground level by a single operator. It is able to change directions to accommodate the inspection of longitudinal and circular welds. It includes an encoding system that enables operators to exactly locate any indications present. The crawler’s payload includes an electronic 128 elements PAUT board controlled by fiber optics, laser tracking and machine vision camera. The inspection results are analyzed by 3D reconstruction and managed by mechanical integrity assessments proprietary technology, calculating the stability of the found indications and using fracture mechanics and Fitness-For-Service (FFS) to estimate the residual lifetime of the indications and in consequence, the interval between inspections to develop a more accurate maintenance plan. Today INTACT’s IBEX crawlers travel worldwide between Air Liquide sites to ensure the integrity of the assets.

This paper gives an overview of the common approach to quantification and generalised quantification in formal linguistics and philosophy of language. We point out how this usual general framework represents a departure from empirical linguistic data. We briefly sketch a different idea for proof theory which is closer to the language itself than standard approaches in many aspects. We stress the importance of Hilbert’s operators—the epsilon-operator for existential and tau-operator for universal quantifications. Indeed, these operators are helpful in the construction of a semantic representation which is close to natural language in particular with quantified noun phrases as individual terms. We also define guidelines for the design of proof rules corresponding to generalized quantifiers.