cometadata/datacite-rtg-text-other-reclassification-records huggingface dataset:
Combining Graphics and a Layout Language in a Single Interactive System
Creators: name: Trimberger, Stephen
Publisher: name: California Institute of Technology
Year: 1981

description: Layout languages provide users with the capability to
algorithmically define cells. But the specification
language is so non-intuitive that it is impossible to debug
a design in that language, one must plot it. Interactive
graphics systems, on the other hand, allow the user to
debug in the form in which he sees the design, but
severely restrict the language he may use to express the
graphics. For example, he cannot express loops or
conditionals. What is really needed is a single interactive
system that combines layout language and graphic
modifications to the data. This paper describes just such
a system.
Bibasis mahintha
Creators: name: Irungbam, Jatishwor Singh
name: Meitei, Laishram Ricky
name: Huidrom, Harmenn
name: Soibam, Baleshwor Singh
name: Ngangom, Aomao
name: Ngangom, Bendang
name: Meitei, Ronald
name: Fric, Zdenek Faltynek
Publisher: name: Zenodo
Year: 2020
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Insecta
Lepidoptera
Hesperiidae
Bibasis
Bibasis mahintha

description: 605. Bibasis mahintha (Moore, 1875) *
Published records: Tytler, 1915b: 155; Evans, 1949: 52; Chiba, 2009: 15–16; Van Gasse, 2013; Varshney & Smetacek, 2015:23.
Sighting locality: 1, 2, 4, 26, 32, 68.
description: Published as part of Irungbam, Jatishwor Singh, Meitei, Laishram Ricky, Huidrom, Harmenn, Soibam, Baleshwor Singh, Ngangom, Aomao, Ngangom, Bendang, Meitei, Ronald & Fric, Zdenek Faltynek, 2020, An Inventory Of The Butterflies Of Manipur, India (Insecta: Lepidoptera), pp. 1-91 in Zootaxa 4882 (1) on page 74, DOI: 10.11646/zootaxa.4882.1.1, http://zenodo.org/record/4296011
Schneiders, Werner: Die wahre Aufklärung. Zum Selbstverständnis der deutschen Aufklärung
Creators: name: Revermann, P.
Publisher: name: Ordenskorrespondenz
Year: 1970

description: Ordenskorrespondenz, Bd. 16 (1975): Ordenskorrespondenz: Zeitschrift für Fragen des Ordenslebens, Band 16
Weber, Christoph: Aufklärung und Orthodoxie am Mittelrhein 1829-1850
Creators: name: Revermann, P.
Publisher: name: Ordenskorrespondenz
Year: 1970

description: Ordenskorrespondenz, Bd. 16 (1975): Ordenskorrespondenz: Zeitschrift für Fragen des Ordenslebens, Band 16
Diplocladus nigrinus Gerstmeier & Weiss, n. sp.
Creators: name: Gerstmeier, Roland
name: Weiss, Ingmar
Publisher: name: Zenodo
Year: 2009
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Insecta
Coleoptera
Cleridae
Diplocladus
Diplocladus nigrinus

description: Diplocladus nigrinus Gerstmeier & Weiss, n. sp.
(Figs. 9, 47)
Specimens examined:
Holotype Ƥ. NKolbisson, UNREADABLE-III-66, Museum Paris, de Miré leg (MNHN).
Length: 19.5mm (1 specimen).
Head: Black; wrinkled.
Antennae: Black; not reaching base of pronotum when laid alongside. Pronotum: Black; slightly dilated anteriorly, constricted towards base; middle of apex finely transversely wrinkled, surface anterior to transverse depression finely punctate and wrinkled, disc with a transverse line of white hairs; length:width ratio 1.6:1.
Scutellum: Black.
Elytra: Black; each elytron with a yellow transverse fascia beyond middle spanning from lateral to sutural margins; diameter of punctures larger than interstices, punctures within fasciae small and sparsely distributed, irregularly punctate behind fascia (punctures mostly elongate); length:width ratio 2.6:1. Legs: Black.
Lower surface: Black-brown to black.
Vestiture: Head, pronotal margins, elytral lateral margins, legs and lower surface with white hairs, pronotal and elytral disc with reddish hairs.
Distribution: Cameroon.
Etymology: D. nigrinus n. sp. is the only entirely black species of Diplocladus (aside from the elytral faciae).
description: Published as part of Gerstmeier, Roland & Weiss, Ingmar, 2009, Revision of the Genera Diplocladus Fairmaire and Strotocera Schenkling (Coleoptera: Cleridae, Tillinae), pp. 1-54 in Zootaxa 2242 on pages 16-18, DOI: 10.5281/zenodo.190604
Burara jaina subsp. jaina jaina (Moore 1866
Creators: name: Irungbam, Jatishwor Singh
name: Meitei, Laishram Ricky
name: Huidrom, Harmenn
name: Soibam, Baleshwor Singh
name: Ngangom, Aomao
name: Ngangom, Bendang
name: Meitei, Ronald
name: Fric, Zdenek Faltynek
Publisher: name: Zenodo
Year: 2020
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Insecta
Lepidoptera
Hesperiidae
Burara
Burara jaina
Burara jaina jaina (moore, [1866])

description: 610. Burara jaina jaina (Moore, [1866]) *
Published records: Chiba, 2009: 9; Singh et al., 2011; Varshney & Smetacek, 2015: 24.
Sighting locality: 1, 2, 4, 17, 21, 22, 32, 68.
description: Published as part of Irungbam, Jatishwor Singh, Meitei, Laishram Ricky, Huidrom, Harmenn, Soibam, Baleshwor Singh, Ngangom, Aomao, Ngangom, Bendang, Meitei, Ronald & Fric, Zdenek Faltynek, 2020, An Inventory Of The Butterflies Of Manipur, India (Insecta: Lepidoptera), pp. 1-91 in Zootaxa 4882 (1) on page 74, DOI: 10.11646/zootaxa.4882.1.1, http://zenodo.org/record/4296011
From Geometry to Logic
Creators: name: Lin, Tzu-Mu
Publisher: name: California Institute of Technology
Year: 1981

description: Transformation between five different intermediate forms used in VLSI design are discussed.  The intermediate forms are: the D language, Akers' Diagrams, transistor listings, the sticks standard, and CIF language.  They represent architecture, logic, transistor, topology and geometric levels respectively. To understand more about the relationships between these levels, a series of transformations from the CIF to the sticks standard, from the sticks standard to the transistor listing, and from the transistor listing to the Akers' Diagram are presented. By doing this, description gap between the logical world and the physical world is bridged.

CAD developers often complain about the lack of a model that can be applied uniformly throughout the entire design process. Akers' diagrams seem to meet this demand. This work highlights this point.

As an example, a shift register implemented in NMOS technology will appear many times in this thesis.
REST: A Leaf Cell Design System
Creators: name: Mosteller, R. C.
Publisher: name: California Institute of Technology
Year: 1981

description: This thesis describes a leaf cell design system, REST, Richard's Editor for Sticks. REST is intended to be used for the preparation of the lowest
level cells in an integrated circuit design. A stick notation is used in the
editing process. Given a structured design methodology any design task
can be separated into two parts: 1) leaf cell design and 2) composition cell
design. This tool addresses the first of these tasks, although it may also
be used for general manipulation of stick diagrams. A table driven
compaction algorithm is presented. This graph based algorithm uses a
weighted affinity factor to reduce total polysilicon and diffusion wire
length. A suite of utilities provide functions such as file interface,
physical mapping, annotation, etc. consistent with a set of design rules.
The system has been implemented in Simula on a DEC 20 computer, and
works in conjunction with a limited functional diagramming system.
The design rules, models and stick interpretation are table driven and can
be changed for various technologies. Currently REST is being used for
NMOS technology. A community of users have used the REST system to
prepare a number of designs resulting in a substantial reduction of design
time. In addition, the system is currently being used at a major computer
manufacturer in conjunction with a VLSI design course.
Burara harisa subsp. harisa harisa (Moore 1866
Creators: name: Irungbam, Jatishwor Singh
name: Meitei, Laishram Ricky
name: Huidrom, Harmenn
name: Soibam, Baleshwor Singh
name: Ngangom, Aomao
name: Ngangom, Bendang
name: Meitei, Ronald
name: Fric, Zdenek Faltynek
Publisher: name: Zenodo
Year: 2020
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Insecta
Lepidoptera
Hesperiidae
Burara
Burara harisa
Burara harisa harisa (moore, [1866])

description: 609. Burara harisa harisa (Moore, [1866])
Published records: Tytler, 1915b: 155; Varshney & Smetacek, 2015: 24.
Remarks: Not recorded during the study.
description: Published as part of Irungbam, Jatishwor Singh, Meitei, Laishram Ricky, Huidrom, Harmenn, Soibam, Baleshwor Singh, Ngangom, Aomao, Ngangom, Bendang, Meitei, Ronald & Fric, Zdenek Faltynek, 2020, An Inventory Of The Butterflies Of Manipur, India (Insecta: Lepidoptera), pp. 1-91 in Zootaxa 4882 (1) on page 74, DOI: 10.11646/zootaxa.4882.1.1, http://zenodo.org/record/4296011
Paracoccus hakeae
Creators: name: Ellenrieder, Natalia Von
name: Watson, Gillian W.
name: Kinnee, Scott A.
name: Franco, José C.
name: Mazzeo, Gaetana
Publisher: name: Zenodo
Year: 2016
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Insecta
Hemiptera
Pseudococcidae
Paracoccus
Paracoccus hakeae

description: Genetic distances and generic placement of Ph. hakeae
Molecular analysis showed the COI sequences of 610 base pairs of the Australian and Californian specimens to be identical. The sequenced COI portion of Phenacoccus hakeae differs by 11–15 % from similar sequences of other Phenacoccus species (Ph. aceris (Signoret), Ph. avenae Borchsenius, Ph. baccharidis Williams, Ph. madeirensis Green, Ph. parvus Morrison, Ph. peruvianus Granara de Willink in: Granara de Willink & Szumik, Ph. solani Ferris, Ph. solenopsis Tinsley) and by 9–14 % from those of Paracoccus species (Pa. burnerae (Brain), Pa. ferrisi Ezzat & McConnell or nr., Pa. gillianae von Ellenrieder & Stocks, Pa. marginatus Williams & Granara de Willink) available on GenBank and in the CSCA dataset.
The TaxonID tree-based identification tool in BOLD (Ratnasigham & Hebert 2013) shows Ph. hakeae grouping with Crisicoccus matsumotoi (Siraiwa) (8.5–10 % difference) known from South-East Asia and the Oriental region, and Vryburgia transvaalensis (Brain) (9.9–10 % difference) from southern Africa.
Our Neighbor-Joining analysis performed using available sequences in the CSCA database and some selected sequences from GenBank shows Ph. hakeae grouping with members of the subfamily Pseudococcinae with good support, and in a subgroup including Balanococcus takahashii McKenzie and Crisicoccus matsumotoi with low support. It also shows the genus Phenacoccus forming a separate grouping (Fig. 1), as is expected because Phenacoccus belongs to the subfamily Phenacoccinae (Hardy et al. 2008).
description: Published as part of Ellenrieder, Natalia Von, Watson, Gillian W., Kinnee, Scott A., Franco, José C. & Mazzeo, Gaetana, 2016, Paracoccus leucadendri Mazzeo & Franco in Mazzeo, Franco & Russo, 2009, a junior synonym of Paracoccus hakeae (Williams, 1985) comb. nov. (Coccomorpha: Pseudococcidae), pp. 552-558 in Zootaxa 4093 (4) on page 556, DOI: 10.11646/zootaxa.4093.4.6, http://zenodo.org/record/258657
A Pascal Machine Architecture Implemented in Bristle Blocks, a Prototype Silicon Computer
Creators: name: Seiler, Larry Dean
Publisher: name: California Institute of Technology
Year: 1979

description: This thesis presents the multi-chip design of an architecture which directly implements the
language Pascal. The design uses custom VLSl rather than standard chips in order to
increase speed and reduce the number of chips needed.
The integrated circuits comprising the architecture are designed using Bristle Blocks, a chip
design tool developed at Caltech by Dave Johannsen (6).  Bristle Blocks is called a silicon
compiler because it will put together an entire integrated circuit from a high level description
of its function. Bristle Blocks can be used to design datapath processor chips, where
external microcode is used to control operations on data busses inside the chip.

The Pascal machine architecture presented here is based on the EM-1 instruction set
designed by Andrew Tannenbaum (11,13). The EM-1 instruction set is intended to allow
efficient compilation of stack-based, high level languages. Tannenbaum supplies static
frequency data which is used heavily in making design decisions in the Pascal machine
architecture.

VLSl design has several important differences from design using standard components. A
large amount of function can be placed on a single chip, e.g., approximately 30,000
transistors on the Intel 8086, but only a small number of pins are available for off-chip
communication (typically 64 or less). This requires designs to be highly modular. In the
NMOS technology used at Caltech, driving signals off-chip takes up to ten times the time and
energy of on-chip communication. This requires inter-chip communication to be limited as
much as possible. Finally, the large amount of computing power available in VLSl
encourages the use of concurrency to gain execution speed.

This thesis is structured as follows. The thesis begins with a section defining the principles
to be followed in designing the Pascal system architecture. Following that are sections
describing Bristle Blocks and the EM-1 architecture. Next, the overall architecture of the
Pascal machine is described, followed by sections detailing the system data busses, the
common elements in the processors which make up the system, and the processors
themselves. A conclusion section summarizes the work, provides a brief critique of Bristle
Blocks, and includes recommendations for further work. Finally, the appendices document
the Bristle Blocks datapath elements and the EM-1 instruction set.
description: © 1980 California Institute of Technology.
Comitas silicicola Darragh 2017
Creators: name: Darragh, Thomas A.
Publisher: name: Zenodo
Year: 2024
Subjects: Biodiversity
Taxonomy
Animalia
Mollusca
Gastropoda
Neogastropoda
Pseudomelatomidae
Comitas
Comitas silicicola

description: Comitas silicicola Darragh, 2017
Comitas silicicola Darragh, 2017: 92, Figs 9.12–14.
Distribution. Eucla Basin: Pallinup Formation (type). Age: late Eocene.
description: Published as part of Darragh, Thomas A., 2024, A checklist of Australian marine Cenozoic Mollusca, pp. 37-206 in Memoirs of Museum Victoria 83 on page 128, DOI: 10.24199/j.mmv.2024.83.02, http://zenodo.org/record/14704472
Schneider, Ambrosius Hrsg.: Die Cistercienser. Geschichte — Geist — Kunst
Creators: name: Siepen, K.
Publisher: name: Ordenskorrespondenz
Year: 1970

description: Ordenskorrespondenz, Bd. 16 (1975): Ordenskorrespondenz: Zeitschrift für Fragen des Ordenslebens, Band 16
MAKTABGACHA  YOSHDAGI  BOLALARNI  MAKTABGA PSIXOLOGIK TAYYORLASHDA OTA – ONANING  VAZIFALARI
Creators: name: Andijon davlat pedagogika instituti Pedagogika va psixalogiya kafedrasi o'qituvchisi SHukurova Ilminur Bahtiyorjon qizi Musiqiy ta'lim yo'nalishi  1-kurs talabasi Xatamova Zulayxo Baxtiyor Qizi
Publisher: name: Zenodo
Year: 2025

description: Ushbu maqola bolalarni maktab ta’limga, maktabgacha ta’lim tashkilotlarida tayyorlash va bunda ota-onaning o’rni xaqida so’z boradi.   Maktabgacha ta’lim yoshdagi bolalarni maktabga tayyorlash davri, bu davrda bolalarning krizis davri bo’lib, bu davrda ota–onalar ularni qo’llab-quvvatlashi kerakligi xaqida fikr yuritiladi.       

          Kalit so’zlar: Ta’lim tarbiya, shaxs, ota-ona, bola tarbiyasi, ruxiyat, maktabgacha ta’lim, oilaviy muxit, oila, xayot, davr, kuch, ishonch, bola, davlat, sog’lom, maqsad, e’tibor, qarori, omil
Burara gomata subsp. gomata gomata (Moore 1866
Creators: name: Irungbam, Jatishwor Singh
name: Meitei, Laishram Ricky
name: Huidrom, Harmenn
name: Soibam, Baleshwor Singh
name: Ngangom, Aomao
name: Ngangom, Bendang
name: Meitei, Ronald
name: Fric, Zdenek Faltynek
Publisher: name: Zenodo
Year: 2020
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Insecta
Lepidoptera
Hesperiidae
Burara
Burara gomata
Burara gomata gomata (moore, [1866])

description: 608. Burara gomata gomata (Moore, [1866]) *
Published records: Varshney & Smetacek, 2015: 23.
Sighting locality: 1, 2, 4, 19, 20, 26, 27, 32, 71, 68.
description: Published as part of Irungbam, Jatishwor Singh, Meitei, Laishram Ricky, Huidrom, Harmenn, Soibam, Baleshwor Singh, Ngangom, Aomao, Ngangom, Bendang, Meitei, Ronald & Fric, Zdenek Faltynek, 2020, An Inventory Of The Butterflies Of Manipur, India (Insecta: Lepidoptera), pp. 1-91 in Zootaxa 4882 (1) on page 74, DOI: 10.11646/zootaxa.4882.1.1, http://zenodo.org/record/4296011
Handbuch der Kirchengeschichte. Bd. II/i: Die Reichskirche nach Konstantin dem Großen, Bd. VI: Die Kirche in der Gegenwart
Creators: name: Revermann, P.
Publisher: name: Ordenskorrespondenz
Year: 1970

description: Ordenskorrespondenz, Bd. 16 (1975): Ordenskorrespondenz: Zeitschrift für Fragen des Ordenslebens, Band 16
Manifold nº 18 (Chine nº 4) (p. 41)
Creators: name: Péraire, Lucien
name: CNRS
Publisher: name: NAKALA - https://nakala.fr (Huma-Num - CNRS)
publisherIdentifier: https://ror.org/04ces3204
publisherIdentifierScheme: ROR
Year: 2023

description: Mission catholique Dom-Bosco
Comitas cudmorei Long 1981
Creators: name: Darragh, Thomas A.
Publisher: name: Zenodo
Year: 2024
Subjects: Biodiversity
Taxonomy
Animalia
Mollusca
Gastropoda
Neogastropoda
Pseudomelatomidae
Comitas
Comitas cudmorei

description: Comitas cudmorei Long, 1981
Comitas wynyardensis cudmorei Long, 1981: 22, pl. 4, figs 4, 5.
Distribution. Otway Basin. Glen Aire Clay (type). Age: early Oligocene.
description: Published as part of Darragh, Thomas A., 2024, A checklist of Australian marine Cenozoic Mollusca, pp. 37-206 in Memoirs of Museum Victoria 83 on page 128, DOI: 10.24199/j.mmv.2024.83.02, http://zenodo.org/record/14704472
Comitas torquayensis Powell. 1944
Creators: name: Darragh, Thomas A.
Publisher: name: Zenodo
Year: 2024
Subjects: Biodiversity
Taxonomy
Animalia
Mollusca
Gastropoda
Neogastropoda
Pseudomelatomidae
Comitas
Comitas torquayensis

description: Comitas torquayensis Powell. 1944
Comitas torquayensis Powell. 1944: 17, pl. 3, fig. 9.
Distribution. Port Phillip Basin: Jan Juc Formation (type). Age: late Oligocene.
description: Published as part of Darragh, Thomas A., 2024, A checklist of Australian marine Cenozoic Mollusca, pp. 37-206 in Memoirs of Museum Victoria 83 on page 128, DOI: 10.24199/j.mmv.2024.83.02, http://zenodo.org/record/14704472
Diplocladus pulcher Schenkling 1906
Creators: name: Gerstmeier, Roland
name: Weiss, Ingmar
Publisher: name: Zenodo
Year: 2009
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Insecta
Coleoptera
Cleridae
Diplocladus
Diplocladus pulcher

description: Diplocladus pulcher (Schenkling, 1906)
(Figs. 11, 50–51)
Diplophorus pulcher Schenkling, 1906: 109 (Diplophorus).
Length: 15.7mm (1 specimen).
Head: Dark reddish brown to black; finely and diffusely punctate, and wrinkled. Antennae: Light reddish brown; not reaching base of pronotum when laid alongside; A3 curved triangular. Pronotum: Dark reddish brown to black; conspicuously dilated anteriorly, conspicuously constricted towards base, coarsely wrinkled; anterior margin bent upwards in middle; length:width ratio 1.55:1. Scutellum: Brown.
Elytra: Dark brown; each elytron with a yellow transverse fasciae beyond middle spanning from lateral to sutural margins; diameter of punctures of the first three rows smaller or more or less larger than interstices, punctures within fasciae small and sparsely distributed, punctures faint and partly elongate behind fascia; length:width ratio 2.08:1.
Legs: Dark reddish brown to black-brown.
Lower surface: Dark brown to black-brown.
Vestiture: With whitish to reddish hairs.
Distribution: Chad.
description: Published as part of Gerstmeier, Roland & Weiss, Ingmar, 2009, Revision of the Genera Diplocladus Fairmaire and Strotocera Schenkling (Coleoptera: Cleridae, Tillinae), pp. 1-54 in Zootaxa 2242 on page 20, DOI: 10.5281/zenodo.190604
A Pascal Machine Architecture Implemented in Bristle Blocks, a Prototype Silicon Computer
Creators: name: Seiler, Larry Dean
Publisher: name: California Institute of Technology
Year: 1979

description: This thesis presents the multi-chip design of an architecture which directly implements the
language Pascal. The design uses custom VLSl rather than standard chips in order to
increase speed and reduce the number of chips needed.
The integrated circuits comprising the architecture are designed using Bristle Blocks, a chip
design tool developed at Caltech by Dave Johannsen (6).  Bristle Blocks is called a silicon
compiler because it will put together an entire integrated circuit from a high level description
of its function. Bristle Blocks can be used to design datapath processor chips, where
external microcode is used to control operations on data busses inside the chip.

The Pascal machine architecture presented here is based on the EM-1 instruction set
designed by Andrew Tannenbaum (11,13). The EM-1 instruction set is intended to allow
efficient compilation of stack-based, high level languages. Tannenbaum supplies static
frequency data which is used heavily in making design decisions in the Pascal machine
architecture.

VLSl design has several important differences from design using standard components. A
large amount of function can be placed on a single chip, e.g., approximately 30,000
transistors on the Intel 8086, but only a small number of pins are available for off-chip
communication (typically 64 or less). This requires designs to be highly modular. In the
NMOS technology used at Caltech, driving signals off-chip takes up to ten times the time and
energy of on-chip communication. This requires inter-chip communication to be limited as
much as possible. Finally, the large amount of computing power available in VLSl
encourages the use of concurrency to gain execution speed.

This thesis is structured as follows. The thesis begins with a section defining the principles
to be followed in designing the Pascal system architecture. Following that are sections
describing Bristle Blocks and the EM-1 architecture. Next, the overall architecture of the
Pascal machine is described, followed by sections detailing the system data busses, the
common elements in the processors which make up the system, and the processors
themselves. A conclusion section summarizes the work, provides a brief critique of Bristle
Blocks, and includes recommendations for further work. Finally, the appendices document
the Bristle Blocks datapath elements and the EM-1 instruction set.
description: © 1980 California Institute of Technology.
description: Submitted - TR_2883.pdf
Communicative Databases
Creators: name: Yu, Kwang-I
Publisher: name: California Institute of Technology
Year: 1981

description: A hierarchical organization stores its information in a la rge number of databases. These databases are interrelated , forming a closely-coupled
database system. Traditional information systems and current database
management systems do not have a means of expressing these
relationships.

This thesis describes a model of the information structure of the
hierarchical organization that identifies the nature of database relationships. It also describes the design and implementation of the Communicative Database Management System (CDMS).
ВЛИЯНИЕ ОБРАЗОВАНИЕ И ВЛАДЕНИЯ АНГЛИЙСКОМ НА РАЗВИТИЕ КАРЬЕРЫ МАРКЕТИНГА
Creators: name: Тухтамишхожи-зода Мухамммад Иброхим   студент ТГЭУ и УрГЭУ Дувлаева Нозигул Холмухаммат қизи Старший преподаватель кафедры  «Общественных и точных наук», Ташкентский государственный экономический университет
Publisher: name: Zenodo
Year: 2025

description: В данной работе исследуется взаимосвязь между уровнем образования, владением английским языком и карьерным развитием специалистов в области маркетинга. Анализируются современные требования рынка труда к маркетологам, роль языковых компетенций в профессиональном росте и влияние образовательного бэкграунда на карьерные возможности. Особое внимание уделяется специфике работы маркетологов в международных компаниях, где английский язык является корпоративным стандартом. Исследование демонстрирует, что сочетание профильного образования и уверенного владения английским языком существенно расширяет карьерные перспективы, обеспечивает доступ к передовым маркетинговым практикам и повышает конкурентоспособность специалиста на рынке труда. Рассматриваются статистические данные о корреляции между уровнем владения английским языком и уровнем заработной платы маркетологов, а также анализируются возможности профессионального развития в глобальной маркетинговой среде.

Ключевые слова: маркетинг, английский язык, профессиональное образование, языковые компетенции.
Hasora anura subsp. anura de Niceville 1889
Creators: name: Irungbam, Jatishwor Singh
name: Meitei, Laishram Ricky
name: Huidrom, Harmenn
name: Soibam, Baleshwor Singh
name: Ngangom, Aomao
name: Ngangom, Bendang
name: Meitei, Ronald
name: Fric, Zdenek Faltynek
Publisher: name: Zenodo
Year: 2020
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Insecta
Lepidoptera
Hesperiidae
Hasora
Hasora anura
Hasora anura anura de niceville, 1889

description: 612. Hasora anura anura de Niceville, 1889 *
Published records: Tytler, 1915b: 155; Evans, 1949: 58; Chiba, 2009: 22; Van Gasse, 2013; Varshney & Smetacek, 2015: 24.
Sighting locality: 1, 2, 4, 17, 20, 73, 77, 78, 79.
description: Published as part of Irungbam, Jatishwor Singh, Meitei, Laishram Ricky, Huidrom, Harmenn, Soibam, Baleshwor Singh, Ngangom, Aomao, Ngangom, Bendang, Meitei, Ronald & Fric, Zdenek Faltynek, 2020, An Inventory Of The Butterflies Of Manipur, India (Insecta: Lepidoptera), pp. 1-91 in Zootaxa 4882 (1) on page 75, DOI: 10.11646/zootaxa.4882.1.1, http://zenodo.org/record/4296011
Comitas pseudoclarae Powell. 1944
Creators: name: Darragh, Thomas A.
Publisher: name: Zenodo
Year: 2024
Subjects: Biodiversity
Taxonomy
Animalia
Mollusca
Gastropoda
Neogastropoda
Pseudomelatomidae
Comitas
Comitas pseudoclarae

description: Comitas pseudoclarae Powell. 1944
Comitas pseudoclarae Powell. 1944: 18, pl. 1, fig. 6.
Distribution. Port Phillip Basin: Jan Juc Formation (type). Age: late Oligocene.
description: Published as part of Darragh, Thomas A., 2024, A checklist of Australian marine Cenozoic Mollusca, pp. 37-206 in Memoirs of Museum Victoria 83 on page 128, DOI: 10.24199/j.mmv.2024.83.02, http://zenodo.org/record/14704472
Burara oedipodea subsp. belesis
Creators: name: Irungbam, Jatishwor Singh
name: Meitei, Laishram Ricky
name: Huidrom, Harmenn
name: Soibam, Baleshwor Singh
name: Ngangom, Aomao
name: Ngangom, Bendang
name: Meitei, Ronald
name: Fric, Zdenek Faltynek
Publisher: name: Zenodo
Year: 2020
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Insecta
Lepidoptera
Hesperiidae
Burara
Burara oedipodea
Burara oedipodea belesis (mabille, 1876)

description: 611. Burara oedipodea belesis (Mabille, 1876) *
Published records: Varshney & Smetacek, 2015: 24.
Sighting locality: 1, 2, 4, 5, 19, 20, 21, 22, 30, 32, 60, 71.
description: Published as part of Irungbam, Jatishwor Singh, Meitei, Laishram Ricky, Huidrom, Harmenn, Soibam, Baleshwor Singh, Ngangom, Aomao, Ngangom, Bendang, Meitei, Ronald & Fric, Zdenek Faltynek, 2020, An Inventory Of The Butterflies Of Manipur, India (Insecta: Lepidoptera), pp. 1-91 in Zootaxa 4882 (1) on page 74, DOI: 10.11646/zootaxa.4882.1.1, http://zenodo.org/record/4296011
Diplocladus rufobasalis Gerstmeier & Weiss, n. sp.
Creators: name: Gerstmeier, Roland
name: Weiss, Ingmar
Publisher: name: Zenodo
Year: 2009
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Insecta
Coleoptera
Cleridae
Diplocladus
Diplocladus rufobasalis

description: Diplocladus rufobasalis Gerstmeier & Weiss, n. sp.
(Figs. 12, 52)
Specimens examined:
Holotype: Ƥ. South Africa, Natal, Ndumu Game Reserve, 26.54S 32.15E, 21–22.i. 1981, M.W. Mansell (SANC).
Paratypes: South Africa, C.P, Grahamstown, 33.19S 26.32E, 29.xi.1983, R. Oberprieler (1 Ƥ, CRG); Südafrika 30.i.–3.ii.1995, KwaZulu-Natal: N’dumu Game Res. 26°55S’/ 32°19’E, leg. F. Koch (1 Ƥ, ZMB).
Length: 16mm – 16.7mm (3 specimens).
Head: Dark red to reddish brown; conspicuously wrinkled.
Antennae: Black; almost reaching base of pronotum when laid alongside. Pronotum: Dark red to reddish brown; anterior half subparallel, conspicuously constricted towards base; coarsely wrinkled (mostly longitudinal); behind anterior transverse depression with six gibbosities on disc and two gibbosities at base; length:width ratio 1.51:1.
Scutellum: Dark red-brown or black.
Elytra: Basal third to first half red to reddish brown, remainder black with yellow transverse fasciae beyond middle spanning from lateral to sutural margins; diameter of punctures larger than interstices, punctures within fasciae small and sparsely distributed, posterior of fascia very finely and diffusely punctate; length:width ratio 2.57:1.
Legs: Black.
Lower surface: Head and thorax red-brown, abdomen black.
Vestiture: With whitish to yellowish and red hairs.
Distribution: South Africa.
Etymology: Named after the reddish brown colour of the anterior part of the elytra.
description: Published as part of Gerstmeier, Roland & Weiss, Ingmar, 2009, Revision of the Genera Diplocladus Fairmaire and Strotocera Schenkling (Coleoptera: Cleridae, Tillinae), pp. 1-54 in Zootaxa 2242 on page 21, DOI: 10.5281/zenodo.190604
Feneberg, Wolfgang: Der Markusprolog. Reihe: Studien zum Alten und Neuen Testament
Creators: name: Giesen, H.
Publisher: name: Ordenskorrespondenz
Year: 1970

description: Ordenskorrespondenz, Bd. 16 (1975): Ordenskorrespondenz: Zeitschrift für Fragen des Ordenslebens, Band 16
Ernst, Josef: Regensburger Neues Testament. Die Briefe an die Philipper, an Philemon, an die Kolosser, an die Epheser
Creators: name: Giesen, H.
Publisher: name: Ordenskorrespondenz
Year: 1970

description: Ordenskorrespondenz, Bd. 16 (1975): Ordenskorrespondenz: Zeitschrift für Fragen des Ordenslebens, Band 16
Additional file 1 of Machine learning-based prediction models affecting the recovery of postoperative bowel function for patients undergoing colorectal surgeries
Creators: name: Yang, Shuguang
name: Zhao, Huiying
name: An, Youzhong
name: Guo, Fuzheng
name: Zhang, Hua
name: Gao, Zhidong
name: Ye, Yingjiang
Publisher: name: figshare
Year: 2024
Subjects: Space Science
Medicine
Mathematical Sciences not elsewhere classified
Mental Health

description: Supplementary Material 1.
Comitas crenularoides
Creators: name: Darragh, Thomas A.
Publisher: name: Zenodo
Year: 2024
Subjects: Biodiversity
Taxonomy
Animalia
Mollusca
Gastropoda
Neogastropoda
Pseudomelatomidae
Comitas
Comitas crenularoides

description: Comitas crenularoides (Pritchard, 1896)
Drillia crenularoides Pritchard, 1896: 110, pl. 3, figs 6, 7.
Comitas crenularoides (Pritchard, 1896).— Powell, 1944: 17.
Distribution. Bass Basin: Freestone Cove Sandstone (type). Age: early Miocene.
description: Published as part of Darragh, Thomas A., 2024, A checklist of Australian marine Cenozoic Mollusca, pp. 37-206 in Memoirs of Museum Victoria 83 on page 128, DOI: 10.24199/j.mmv.2024.83.02, http://zenodo.org/record/14704472
title: Rapport de voyage, Ile de France (1926) : Ligne de New York, 1939, voyage n°21
Creators: name: Dupuy, Jean
name: Frontin, Jacques
name: Payen de la Garanderie, Etienne
name: Raulin, Roger A.
Publisher: name: NAKALA - https://nakala.fr (Huma-Num - CNRS)
publisherIdentifier: https://ror.org/04ces3204
publisherIdentifierScheme: ROR
Year: 2023
Subjects: subject: Transports maritimes - Histoire
subject: Marine marchande
subject: Journaux de bord
subject: Compagnie Générale Transatlantique

description: Chapitrage : Rapport du commandant - Rapport du commissaire - Rapport du second - Rapport de l'officier de sécurité - Rapport du médecin - Rapport contentieux - Rapport d'inspecteur
description: Source: French Lines & Compagnies, 1997 004 5068-21
description: Coverage: 1939-05-30/1939-06-12
Andrena (Graecandrena) andina Warncke 1974, stat. nov.
Creators: name: Wood, Thomas James
Publisher: name: Zenodo
Year: 2023
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Insecta
Hymenoptera
Andrenidae
Andrena
Andrena andina

description: Andrena (Graecandrena) andina Warncke, 1974 stat. nov.
Andrena (Graecandrena) montarca andina Warncke, 1974: 45, ♂ (Morocco: OÖLM).
Material examined
Holotype
MOROCCO • ♂; Tamlalet el Djedid [Tamallalt], Marakesh; 7 Apr. 1923; A. Schulthess leg.; OÖLM.
Other material
MOROCCO • 1 ♀; Casablanca-Settat, Machraa Ben Abbou env.; 200 m a.s.l.; 1 Apr. 2019; D. Benda leg.; NMPC • 1 ♂; Ain Leuh; 1394 m a.s.l.; 31 Mar. 2020; Y. Bencharki and I. Ouayach leg.; IRCR • 4 ♀♀; Oueled Sghir; 4 Apr. 2018; A. Sentil and I. El Abdouni leg.; IRCR • 1 ♀; Oueled Sghir; 8–9 Apr. 2019; A. Sentil leg.; IRCR.
Remarks
Warncke described Andrena montarca andina in 1974 (Warncke 1974), and Andrena montarca itself in 1975 (Warncke 1975). This was due to publication delays, and resulted in a number of subspecies being described before their nominal parent taxon (e.g., see Wood et al. 2020; Wood 2023). Though this is the case for the taxa associated with A. montarca, this problem of priority has not been addressed until now (e.g., Gusenleitner & Schwarz 2002). Since A. montarca parva is a junior synonym of A. nitidilabris, the only issue concerns the status of the Spanish (A. montarca) and Moroccan (A. montarca andina) taxa. There are slight but consistent differences in the males, most clearly in the shape of the clypeus (strongly domed in A. montarca, weakly domed in A. montarca andina) as well as in the colouration of the antennae and the strength of the tergal hairbands (weaker in A. montarca andina). Given available evidence that both taxa are likely to represent distinct species, both are treated here as valid, which has the advantage of solving the precedence issue. Additional collections including genetic analysis will provide further clarity. Moreover, the phylogenetic position of A. montarca and A. andina is also unclear; they could realistically belong to any one of the subgenera Aciandrena, Graecandrena, or Micrandrena; genetic work is needed to decisively settle the issue.
description: Published as part of Wood, Thomas James, 2023, Revisions to the Andrena fauna of north-western Africa with a focus on Morocco (Hymenoptera: Andrenidae), pp. 1-85 in European Journal of Taxonomy 916 (1) on pages 65-66, DOI: 10.5852/ejt.2023.916.2381, http://zenodo.org/record/10453460
A Hierarchical Design Rule Checker
Creators: name: Whitney, Telle
Publisher: name: California Institute of Technology
Year: 1981

description: This thesis describes a new approach to the problem of Geometrical Design Rule
Checking (DRC). Previous DRC implementations have dealt with fully instantiated
geometrical artwork. As the complexity of VLSI increases, it becomes infeasible to
analyze the vast amounts of information present in a fully instantiated design. The
DRC algorithm presented here introduces an approach that exploits the structural
hierarchy of a design in order to reduce the computational complexity of the
geometrical tests that need to be made. The technique described is also app1icable to
other types of design checking such as circuit extraction, functional verification
and electrical rule verification.

A new DRC algorithm has been developed that, by making use of the structure
inherent in a hierarchical design, eliminates many redundant design rule checks.
In this approach there are two places where possible design rule violations may
occur. The first is within a symbol definition. The second is the area where two
symbols interact. The algorithm checks a given definition only once, and then
examines how interactions within each new environment where the definition is
placed modify the original definition. A note is made after each interaction has
been scrutinized, so that a duplicate situation will not be rechecked.

An implementation of the hierarchical DRC algorithm has been written at Caltech.
This implementation extracts a minimal number of pairwise geometrical
comparisons needed to check the entire design. The program accepts as input a
design description in the Caltech Intermediate Form (CIF). The output of the
program is currently a fully instantiated version of those portions of the gcwrnctry
that need to be checked in order to check the entire design.

A means of expressing the designer's intent through the design description is
required. Current DRCs deal with geometrical artwork exclusively. Most of the
difficult design rules are involved in the checking of devices. Rather than
restricting the designer to the use of geometry, the idea of a primitive element is
introduced. A primitive element is defined to be anything that cannut he broken
down into sub-elements. A design defined using primitive elements conveys more
of the functional structure than a purely geometric definition.
Modeling and Verification in Structured Integrated Circuit Design
Creators: name: Buchanan, Irene
Publisher: name: California Institute of Technology
Year: 1980

description: Traditional design tools based on geometric
representations do not  provide  an  adequate base  from  which
to  construct  and  verify  silicon  implementations  of complex
systems. More comprehensive structural, physical and behavioural descriptions must be developed from appropriate
representations.  This thesis proposes models which may be used to construct unified and consistent descriptions of the
structural, physical and behavoural attributes of a design.  It also discusses a method of capturing these descriptions using a textual representation embedded in an object oriented programming language.  A range of subsytems have been implemented within a design environment tailored to the proposed models of the design activitiy.  In addition to the typical graphical feedback and mask making oriented output a comprehensibe list of verificaiton procedures has been integrated into the system.  These include dimensional design rule checking, electrical calculations, connectivity verification and simulation at a number of levels of abstraction.
description: Submitted - TR_3642.pdf
Diplocladus rufus Pic 1953
Creators: name: Gerstmeier, Roland
name: Weiss, Ingmar
Publisher: name: Zenodo
Year: 2009
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Insecta
Coleoptera
Cleridae
Diplocladus
Diplocladus rufus

description: Diplocladus rufus (Pic, 1953)
(Figs. 13, 53–54)
Diplocladus rufus Pic, 1953: 113.
Specimens examined:
Holotype: Dolo, Amino, 13 ottobre 1937, desiré, Diplocladus rufus n. sp., TYPUS, Diplocladus rufus Pic, Atti XIX, (MCST).
Others: S-Afrika, Natal, St. Lucia Creek, 12/1986 leg.Werner (3 3, CRG).
Length: 12.9mm – 14.4mm (4 specimens).
Head: Reddish brown; finely and diffusely punctate.
Antennae: Reddish brown to dark brown; not reaching base of pronotum when laid alongside. Pronotum: Reddish brown; parallel, very slightly constricted apically, conspicuously constricted behind middle;
wrinkled; length:width ratio 1.48:1.
Scutellum: Reddish brown.
Elytra: Long, reddish brown; diameter of punctures mostly larger than interstices, punctures becoming smaller towards apex; length:width ratio 2.99:1.
Legs: Femora reddish brown, tibiae and tarsi dark brown. Lower surface: Reddish brown.
Vestiture: With light reddish to gold-coloured hairs.
Distribution: Somalia, South Africa.
description: Published as part of Gerstmeier, Roland & Weiss, Ingmar, 2009, Revision of the Genera Diplocladus Fairmaire and Strotocera Schenkling (Coleoptera: Cleridae, Tillinae), pp. 1-54 in Zootaxa 2242 on page 22, DOI: 10.5281/zenodo.190604
title: Lettre de l'IHTP n° 23, février-mars 2014
Creators: name: Institut D'histoire Du Temps Présent -IHTP- UPR 301 (CNRS)
Publisher: name: NAKALA - https://nakala.fr (Huma-Num - CNRS)
publisherIdentifier: https://ror.org/04ces3204
publisherIdentifierScheme: ROR
Year: 2024
Subjects: subject: Communication dans les organisations
subject: Laboratoires

description: Lettre bimestrielle de l'IHTP unité propre de service UPR 301 du CNRS.
description: Lettre bimestrielle n°23 de l'IHTP unité propre de service UPR 301 du CNRS.
Hasora schoenherr subsp. gaspa Evans 1949
Creators: name: Irungbam, Jatishwor Singh
name: Meitei, Laishram Ricky
name: Huidrom, Harmenn
name: Soibam, Baleshwor Singh
name: Ngangom, Aomao
name: Ngangom, Bendang
name: Meitei, Ronald
name: Fric, Zdenek Faltynek
Publisher: name: Zenodo
Year: 2020
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Insecta
Lepidoptera
Hesperiidae
Hasora
Hasora schoenherr
Hasora schoenherr gaspa evans, 1949

description: 616. Hasora schoenherr gaspa Evans, 1949
Published records: Tytler, 1915b: 155; Chiba, 2009: 27; Van Gasse, 2013; Varshney & Smetacek, 2015:25.
Remarks: Not recorded during the study.
description: Published as part of Irungbam, Jatishwor Singh, Meitei, Laishram Ricky, Huidrom, Harmenn, Soibam, Baleshwor Singh, Ngangom, Aomao, Ngangom, Bendang, Meitei, Ronald & Fric, Zdenek Faltynek, 2020, An Inventory Of The Butterflies Of Manipur, India (Insecta: Lepidoptera), pp. 1-91 in Zootaxa 4882 (1) on page 75, DOI: 10.11646/zootaxa.4882.1.1, http://zenodo.org/record/4296011
Zeilinger, Franz: Der Erstgeborene der Schöpfung. Untersuchungen zur Formalstruktur und Theologie des Kolosserbriefes
Creators: name: Giesen, H.
Publisher: name: Ordenskorrespondenz
Year: 1970

description: Ordenskorrespondenz, Bd. 16 (1975): Ordenskorrespondenz: Zeitschrift für Fragen des Ordenslebens, Band 16
Inquisitor detritus Ludbrook 1941
Creators: name: Darragh, Thomas A.
Publisher: name: Zenodo
Year: 2024
Subjects: Biodiversity
Taxonomy
Animalia
Mollusca
Gastropoda
Neogastropoda
Pseudomelatomidae
Inquisitor
Inquisitor detritus

description: Inquisitor detritus Ludbrook, 1941
Inquisitor detritus Ludbrook, 1941: 98, pl. 5, fig. 18.—Powell, 1941: 27; Ludbrook, 1958: 87.
Distribution. St Vincent Basin: Dry Creek Sands (type). Age: middle Miocene.
description: Published as part of Darragh, Thomas A., 2024, A checklist of Australian marine Cenozoic Mollusca, pp. 37-206 in Memoirs of Museum Victoria 83 on page 129, DOI: 10.24199/j.mmv.2024.83.02, http://zenodo.org/record/14704472
Investigating the use of actor-network theory in healthcare: a protocol for a systematic review
Creators: name: Ryan, Tadhg
name: Hynes, Briga
name: RYAN, NUALA
name: Finucane, Aisling
Publisher: name: University of Limerick
Year: 2024
Subjects: classificationCode: 460901
subject: Business process management
classificationCode: 42
subject: Health sciences
subject: FOS: Health sciences

description: Healthcare systems are confronted with constant challenges and new crisis waves necessitating a transformation of current approaches to healthcare delivery. Transformation calls for integration, partnerships, interprofessional teamwork and collaboration between all healthcare stakeholders to create improved access and more personalised healthcare outcomes for patients. However, healthcare organisations are complex systems, comprising multiple stakeholders, and the existence of professional silos and functions which have varying degrees of interaction hampering the delivery of effective integrated healthcare. Research investigating the underpinning operations of how the various healthcare stakeholders integrate is lacking. To address this gap, the use of actor-network theory (ANT) can provide insight into underlying dynamics, interactions, interdependencies, governance processes and power dynamics of stakeholders in healthcare. ANT represents a suitable theoretical lens as it helps to appreciate the dynamics and underpinning behaviours of complex organisations and explains how networks are developed and how actors join networks and form associations. Our systematic review will identify and evaluate available evidence to understand the interplay between stakeholders and all associated entities that impact collaboration and integration in healthcare delivery. Methods and analysis Using the Population-Intervention?Comparison-Outcome framework, the databases MEDLINE, CINAHL Complete, SCOPUS, PubMed, APA PsycINFO, Business Source Complete and Academic Search Complete will be searched using Boolean terms to identify peer-reviewed literature concerning ANT in healthcare. All relevant articles published between January 2013 and September 2023 will be eligible for inclusion. A thematic approach will be employed to appraise and analyse the extracted data to assess the various definitions of ANT and the use of ANT in healthcare settings, interactions and collaboration. Ethics and dissemination Given that no primary data will be captured, ethical approval will not be required for this study. Findings will be shared and ultimately published through open access peer-reviewed journals and reports
title: Animierte Raumwelten
Creators: name: Bergström, Anna Felicia Aurora
Publisher: name: Filmuniversität Babelsberg Konrad Wolf
Year: 2024

description: Dies ist eine Masterarbeit mit dem Thema Animierte Raumwelten. Die Arbeit gibt einen kurzen Überblick über die Geschichte der Videokunst und vertieft sich dann in einige Künstler und ihre immersiven und animierten Videoinstallationen. Die Arbeit befasst sich mit Themen wie Projection Mapping, immersive animierte Videoinstallationen, Expanded Cinema, Time Based Art - zeitbasierte Kunst, Videoprojektionen als Szenografie und dem Unterschied zwischen Kunst und Spektakel. Unter den Künstlern, deren Werke und Arbeitsprozesse in dem Werk beschrieben werden, sind Nathalie Djurberg och Hans Berg, William Kentridge, Ayako Tabata - Tabaimo, Nam June Paik, Studio Azzurro, Tony Oursler, Lis Rhodes, Omer Fast, Ed Atkin, László Moholy-Nagy, Josef Svoboda, Suzan Pitt, Pipilotti Rist und Refik Anadol.
Hasora danda Evans 1949
Creators: name: Irungbam, Jatishwor Singh
name: Meitei, Laishram Ricky
name: Huidrom, Harmenn
name: Soibam, Baleshwor Singh
name: Ngangom, Aomao
name: Ngangom, Bendang
name: Meitei, Ronald
name: Fric, Zdenek Faltynek
Publisher: name: Zenodo
Year: 2020
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Insecta
Lepidoptera
Hesperiidae
Hasora
Hasora danda

description: 615. Hasora danda Evans, 1949
Published records: Evans, 1949: 58; Van Gasse, 2013; Varshney & Smetacek, 2015: 25.
Remarks: Not recorded during the study.
description: Published as part of Irungbam, Jatishwor Singh, Meitei, Laishram Ricky, Huidrom, Harmenn, Soibam, Baleshwor Singh, Ngangom, Aomao, Ngangom, Bendang, Meitei, Ronald & Fric, Zdenek Faltynek, 2020, An Inventory Of The Butterflies Of Manipur, India (Insecta: Lepidoptera), pp. 1-91 in Zootaxa 4882 (1) on page 75, DOI: 10.11646/zootaxa.4882.1.1, http://zenodo.org/record/4296011
Lambda Logic
Creators: name: Rudin, Leonid
Publisher: name: California Institute of Technology
Year: 1981

description: The main aim of this paper is to formulate "natural" logical foundations for type-free lambda-calculus.  The importance of such foundations for analyzing arbitrary order computational properties of programs is emphasized.

Lamda logic is a deductive system based on combinatory lambda-terms. Its language is conceived by extending the set of lambda-terms through the addition of new terms which are logical connectives.  The model for lamda-logic is Dana Scott's D infinity, which can be represented as a pseudo-Boolean algebra.

We present detailed proof that D infinity can be constructed as a Heyting algebra, thus being a model for some Heyting intuitionistic logical system.
Our result, briefly described above, poses new problems.  In particular, the relation between algebraic models of computer languages and the algebraic model theory is of great interest if one wants to establish a logical framework for the verification of programs written in these languages.