omniomni/omni-engineering huggingface dataset:
Civil Aviation Museum of Azerbaijan. Civil Aviation Museum of Azerbaijan (Azerbaijani: Azərbaycan Mülki Aviasiya Muzeyi) is a civil aviation museum that has been operating under the auspices of the National Aviation Academy of the Republic of Azerbaijan since April 2005.

History 
The National Academy of Aviation was established in 1992 as the "National Aviation Center". In 1994, the center was renamed the National Aviation Academy.

In April 2005, the management of CJSC “Azerbaijan Airlines” decided to create a museum of civil aviation of Azerbaijan.

Legislative framework 
The Civil Aviation Museum is guided by the Law of the Republic of Azerbaijan “On Museums", "Instructions for the registration and protection of museum valuables and museum collections of the Republic of Azerbaijan" of the Ministry of Culture and Tourism of Azerbaijan and other state documents.

Structure 
The museum consists of funds and exposition departments, a complex of 5 educational and laboratory buildings, a pilot training center, the Heydar Aliyev Museum and the Museum of Aviation History, a library, etc.

Department of funds 
The Department of funds of the museum performs the functions of collecting, protecting museum objects, conducting accounting and registration work. The museum's collection includes visual aids, newspaper materials, manuscripts, copies of state documents, samples of fine art, etc. Their total number is more than 10 thousand. These materials were obtained from the National Archive Department of Azerbaijan, the Archive of political documents, the State Archive of Film and Photo Documents, the National Museum of the History of Azerbaijan, the Institute of History of the National Academy of Sciences of Azerbaijan (ANAS), the Azerbaijan State Television and Radio Broadcasting CJSC, the National Library named Mirza Fatali Akhundov, the Embassy of Azerbaijan in Belarus and other sources. In addition, the museum's fund stores documents and personal belongings of family members of pilots.

Exposition Department 
The opening ceremony of the exposition department was held on February 29, 2008. Among the events held in this department, there are lectures, excursions, exhibitions ("Pilots of Azerbaijan in the Great Patriotic War”," Pilots who participated in the Karabakh war”, "The history of our republic in political persons”, "March Days", etc.).

For its special contributions, in 2016, the Civil Aviation Museum was awarded an Honorary Diploma of the Interstate Civil Aviation Committee.

References

External links 
Official website 

National museums of Azerbaijan
2005 establishments in Azerbaijan
Terry R. Payne. Terry R. Payne is a computer scientist and artificial intelligence researcher at the University of Liverpool. He works on the use of ontologies by Software Agents within decentralised environments.  He is best known for his work on Semantic Web Services and in particular for his work on OWL-S.

Education 

Dr Payne received his Undergraduate Degree (BSc) in Computer Systems Engineering from University of Kent in 1990, an MSc in Applied Artificial Intelligence from University of Aberdeen in 1994, followed by his PhD from the same institution for his work "Dimensionality Reduction and Representation for Nearest Neighbour Learning".

Between 1998-2002, he worked with Katia Sycara as a Project Scientist at the Robotics Institute of Carnegie Mellon University, before moving to the University of Southampton, and later joining the University of Liverpool in 2008.

Research 

He has been conducting research into the Semantic Web since 2000, and was one of the founder members of the OWL-S coalition, jointly responsible for developing the OWL-S ontology within the OWL-based framework of the Semantic Web, that supported the description of Semantic Web Services.
The OWL-S ontology facilitates the discovery, invocation, composition and monitoring of Web resources the offer services.  It was built on top of Web Ontology Language (OWL) by the DARPA DAML program.
  He has also worked on various uses of decentralised knowledge negotiation in autonomous agent communities.

References

External links
 OWL-S: Semantic Markup for Web Services W3C Member Submission (2004) 

Living people
British computer programmers
Artificial intelligence researchers
Semantic Web people
Academics of the University of Liverpool
Year of birth missing (living people)
Alumni of the University of Aberdeen
Hisayo Momose. Hisayo Sasaki Momose () is a Japanese electrical engineer specializing in semiconductor devices, including MOSFETs and CMOS image sensors. She is a researcher at the Toshiba Center for Semiconductor Research and Development in Kawasaki.

Education and career
Momose is originally from Gifu. She earned a master's degree in chemistry from Ochanomizu University in 1984, and began working for Toshiba in the same year. In 2006 she earned a Ph.D. in electrical engineering from the Tokyo Institute of Technology.

Recognition
Momose was named a Fellow of the IEEE in 2005, "for contributions to ultra-thin gate oxide metal oxide semiconductor field effect transistors". She was named a Fellow of the Japan Society of Advanced Physics in 2009, for her "study on high performance Si CMOS devices".

She was one of a group of Toshiba scientists who won the 2007 Yamazaki-Teiichi Prize, and earned a commendation in 2009 from the Minister of Education, Culture, Sports, Science and Technology, for their work on MOSFET devices.

References

Year of birth missing (living people)
Living people
Japanese electronics engineers
Japanese women engineers
Ochanomizu University alumni
Tokyo Institute of Technology alumni
Fellows of the IEEE
Walthère Victor Spring. Walthère Victor Spring (6 March 1848 – 17 July 1911) was a Belgian experimental chemist and a professor at the University of Liège who contributed to ideas on carbon dioxide in the atmosphere and the Greenhouse Effect. As a physical chemist he demonstrated the formation of certain compounds such as metal sulphides under high pressure conditions. He also took an interest in the study of the Tyndall effect and examined the cause of the colour of the sky and water.

Spring was born in Liège to physician and professor of medicine, Antoine Spring (1814–1872) who was of Bavarian ancestry. He experimented in physics and chemistry but studied classical languages and humanities at the Athenaeum. He failed the examination to enter university but took an interest in practical work. He worked for a while with an arms manufacturer in Liège but was encouraged by the chemist Jean-Servais Stas (1813–1891) to study and he joined the Mining School from where he received a diploma in 1871. He then went to Bonn to study under Friedrich August Kékulé (1829–1896) and Rudolf Clausius (1822–1888). He joined the University of Liège in 1876 as a lecturer in mathematical physics but taught organic chemistry soon after. He was a corresponding member of the Belgian Royal Academy of Sciences from 1877 and became its president in 1899.

In 1886 he gave a presentation at the academy on variability of carbon dioxide content in the atmosphere and noted that the city of Liège had a higher concentration than the surrounding countryside, possibly due to the use of coal for heating homes and the slow burning of grisou in the Saint-Jacques district which produced methane. Along with Leon Roland he examined weather measurements and noted that the air cooled less slowly due to the water vapour and carbon dioxide. Cape Walthère Spring in the Antarctic was named after him by the de Gerlache expedition.

References 

1848 births
1911 deaths
Belgian chemists
University of Liège alumni
Session type. In type theory, session types are used to ensure correctness in concurrent programs. They guarantee that messages sent and received between concurrent programs are in the expected order and of the expected type. Session type systems have been adapted for both channel and actor systems.

Session types are used to ensure desirable properties in concurrent and distributed systems, i.e. absence of communication errors or deadlocks, and protocol conformance.

Binary versus multiparty session types 
Interaction between two processes can be checked using binary session types, while interactions between more than two processes can be checked using multiparty session types. In multiparty session types interactions between all participants are described using a global type, which is then projected into local types that describe communication from the local view of each participant. Importantly, the global type encodes the sequencing information of the communication, which would be lost if we were to use binary session types to encode the same communication.

Formal definition of binary session types 
Binary session types can be described using send operations (), receive operations (), branches (), selections (), recursion () and termination ().

For example,  represents a session type  which first sends a boolean (), then receives an integer () before finally terminating ().

Implementations
Session types have been adapted for several existing programming languages, including: 
 lchannels (Scala)
 Effpi (Scala)
 STMonitor (Scala)
 EnsembleS
 Session-types (Rust) 
 sesh (Rust) 
 Session Actors (Python) 
 Monitored Session Erlang (Erlang) 
 FuSe (OCaml) 
 session-ocaml (OCaml)
 Priority Sesh (Haskell)
 Java Typestate Checker (Java)
 Swift Sessions (Swift)

References 

Concurrency (computer science)
Type theory
Type systems
Pettibone (company). Pettibone, founded as Pettibone Mulliken, is a manufacturer of material handling equipment based in Baraga, Michigan. The company started doing business in 1881, and manufactures various cranes and other material handling vehicles, many designed specifically for railroad use.

History 
Pettibone Mulliken was founded in 1881 in Chicago, Illinois with Alfred H. Mulliken as president. Initially, the company's biggest product was railroad track and switch equipment.

By 1929, the company's manufacturing facilities in Chicago occupied 32 acres.

While primarily a manufacturer of cranes and other material handling equipment, the company received a $3,817,844 contract for artillery material from the United States Department of War in 1940, on the eve of U.S. entry into World War II. During the war, the company continued to manufacture artillery for the United States Armed Forces.

Pettibone today 

Today, the company is known simply as Pettibone. It primarily manufactures cranes and other material handling equipment, some of which is still sold specifically for the rail industry.

Pettibone is most known for its cranes, manufactured under the Speed Swing line. Pettibone cranes are used by railroads for a variety of applications, including lifting rails and moving ties.

References 

Manufacturing companies established in 1881
Manufacturing companies based in Michigan
D.S. Adegbenro ICT Polytechnic. The D.S. Adegbenro ICT Polytechnic is a state government higher education institution located in Ewekoro, Ogun State, Nigeria..

History 
The D.S. Adegbenro ICT Polytechnic was established in 2006. It was formerly known as Gateway ICT Polytechnic.

Courses 
The institution offers the following courses;

 Statistics
 Electrical/Electronic Engineering Technology
 Computer Science
 Business Administration and Management
 Office Technology And Management
 Agricultural Technology
 Science Laboratory Technology
 Computer Engineering
 Marketing
 Public Administration
 Accountancy
 Mass Communication

References 

Universities and colleges in Nigeria
2006 establishments in Nigeria
Aoife Ahern. Aoife Ahern is the first woman to be dean of engineering at University College, Dublin.

Biography

Ahern completed her degree in engineering in Trinity College Dublin in 1998 before going to London to the university, where she did a PhD. Ahern returned to Dublin, to lecture in Trinity from 2000 before joining University College Dublin in 2003. In 2016 Ahern became head of the school of Civil Engineering and then went on to become dean of engineering in UCD in 2019. In 2020 she was invited to become a Fellow of Engineers Ireland.

Sources

Year of birth missing (living people)
Alumni of Trinity College Dublin
Alumni of University College London
People associated with University College Dublin
Living people
Bis(dimethylamino)methane. Bis(dimethylamino)methane is the organic compound with the formula [(CH3)2N]2CH2.  It is classified as an aminal as well as a ditertiary amine, in fact the simplest.  It is a colorless liquid that is widely available.  It is prepared by the reaction of dimethylamine and formaldehyde:
 2 (CH3)2NH  +  CH2O →   [(CH3)2N]2CH2  +  H2O

It is used for the dimethylaminomethylation reactions, the reaction being initiated by the addition of a strong, anhydrous acid:
 [(CH3)2N]2CH2  +  H+  →   (CH3)2NCH2+  +  (CH3)2NH

Bis(dimethylamino)methane, being a Lewis base, functions as a bidentate ligand.

Related reagents
N,N,N′,N′-Tetramethylformamidinium chloride
Eschenmoser's salt is used for similar applications.

References

Tertiary amines
Dimethylamino compounds
Mai-Idris Alooma Polytechnic. The Mai Idris Alooma Polytechnic is a state government higher education institution located in Geidam, Yobe State, Nigeria. The current rector is Dr Wakil Gana Kafiya PhD.

History 
The Mai Idris Alooma Polytechnic was established in 2003.

Courses 
The institution offers the following courses;

 Science Laboratory Technology
 Computer Science
 Statistics
 Architectural Technology
 Electrical/Electronic Engineering Technology
 Accountancy
 Business Administration And Management

References 

Universities and colleges in Nigeria
1993 establishments in Nigeria
Janet Petro. Janet E. Petro is an American engineer and civil servant currently serving as the acting Administrator of the National Aeronautics and Space Administration and the 11th director of NASA's John F. Kennedy Space Center. She was appointed as acting NASA Administrator by President Donald Trump on January 20, 2025, and as director of the John F. Kennedy Space Center by NASA Administrator Bill Nelson on June 30, 2021, making her the first woman to serve in each of these positions. Petro previously served as deputy director at the John F. Kennedy Space Center.

Education and early life
Born in Michigan, Janet Petro's father moved the family to the Florida space coast when he received a job from NASA to work on the Kennedy Space Center's Mercury and Gemini Programs. She grew up in Satellite Beach and attended Surfside Elementary, DeLaura Middle and Satellite High School. Janet Petro graduated in 1981 from the United States Military Academy at West Point, with a Bachelor of Science in engineering and was in the second class of graduates at West Point to include women. She also has a Master of Science in business administration from Boston University.

Early career 
Janet Petro began her career as a commissioned officer in the U.S. Army, upon graduation from the US Military Academy.  While serving in the Army, she was assigned to the U.S Army's Aviation Branch, where she piloted helicopters and lead troop assignments in Germany. she went on to work for Science Applications International Corporation in various management positions and McDonnell Douglas Aerospace Corporation, where she worked as a mechanical engineer and payload specialist before starting at NASA.

Deputy director 
As Deputy Director of the John F. Kennedy Space Center, Janet Petro led in the transition of the center into a multi-user spaceport. For 12-months, she served an appointment at NASA's headquarters in Washington, D.C., as the deputy associate administrator and acting director for the Office of Evaluation. She was also the first woman to hold the position as deputy director.

NASA director 
As director of NASA, she eliminated the Diversity and Inclusion office, in compliance with an executive order by Donald Trump. She requested that employees report their colleagues for changing contract descriptions and threatened "adverse consequences" for employees who did not "report" violations.

Awards 
In 2018, Janet Petro was selected by the Florida Governor to be inducted into the Florida Women's Hall of Fame. In 2019 she was awarded the Samuel J. Heyman Service to America Sammies Management Excellence Medal. She is also the recipient of the President's Distinguished executive award, and the Silver Snoopy Award.

References

American women engineers
United States Army officers
21st-century American women
1960 births
Living people
Florida Women's Hall of Fame Inductees
The Federal Polytechnic Damaturu. The Federal Polytechnic Damaturu is a federal government higher education institution located in Damaturu, Yobe State, Nigeria. The current acting Rector is Usman M. Kallamu.

History 
The Federal Polytechnic Damaturu was established in 1992.

Courses 
The institution offers the following courses;
 Marketing
 Electrical/Electronic Engineering
 Statistics
 Urban and Regional Planning
 Office Technology and Management
 Science Laboratory Technology
 Electrical/Electronic Engineering Technology
 Surveying and Geo-Informatics
 Statistics
 Computer Science
 Public Administration
 Mechanical Engineering Technology
 Computer Engineering
 Estate Management and Valuation

References 

Federal polytechnics in Nigeria
1992 establishments in Nigeria
Yobe State
Ciaron Pilbeam. Ciaron Pilbeam is a British Formula One engineer. He is currently the chief race engineer at the Alpine Formula One team.

Career
Pilbeam first started at British American Racing working in Vehicle Dynamics. A year later, he worked closely with Jock Clear
as Assistant Race Engineer to 1997 Formula 1 world champion Jacques Villeneuve. Pilbeam continued working with BAR
as Race Engineer to Takuma Sato before moving to Red Bull Racing in 2006 with Christian Klien. In 2007, Pilbeam took on the role as Mark Webber's Race Engineer, keeping that position for six years. He assisted nine race wins for the Australian and contributed to three constructor world championship titles. He then joined Lotus F1 Team as Chief Race Engineer in 2013 and then joined McLaren the following year in an identical role. By 2017, Pilbeam returned to Enstone as Chief Race Engineer, working closely with Sporting Director Alan Permane and the engineering team.

References

Living people
British motorsport people
Formula One engineers
Year of birth missing (living people)
Nikolai Pavlovich Petrov. Nikolai Pavlovich Petrov (13 May 1836 – 15 January 1920) was a Russian army professor of mechanics and engineering who is considered one of the founders of tribology or the study of friction and lubrication. He is best known for what is known as Petrov's Law of friction.

Petrov was born in an aristocratic family in Novgorod. He was educated at the Constantine Artillery Academy and the Nicholas Engineering Academy then became an instructor in mathematics. He studied mechanics under M. V. Ostrogradsky and then joined as a professor of applied mechanics at the Nicholas Engineering Academy in 1867. His main work was on the examination of railway vehicles, examining steam engines, and his main work was on the lubrication of bearings for the wheels. He examined journal bearings used in the axles of the wheels of railway coaches and identified a relationship on friction in rotating components, the viscosity of lubricants and frictional torque which goes by the name of Petrov's Law (or Petroff's Law).

References 

1836 births
1920 deaths
Tribologists
Engineers from the Russian Empire
Jigawa State Polytechnic, Dutse. The Jigawa State Polytechnic, Dutse is a state government higher education institution located in Dutse, Jigawa State, Nigeria. The current Rector is Aliyu Abdu Ibrahim.

History 
The Jigawa State Polytechnic, Dutse was established in 2007 after the takeover of Hussaini Adamu Polytechnic by the Federal Government of Nigeria and renamed to Hussaini Adamu Federal Polytechnic.

Courses 
The institution offers the following courses;

 Environmental Health
 Public Administration
 Electrical and Electronics
 Computer Science
 Microbiology
 Business Administration
 Statistics
 Quantity Surveying
 Building Technology
 Urban and Regional Planning
 Biochemistry
 Civil Engineering
 Accountancy
 Science Laboratory Technology
 Architecture
 Welding and Fabrication
 Mechanical Engineering
 Physics Electronics
 Estate Management

References 

Universities and colleges in Nigeria
2007 establishments in Nigeria
Beneteau Oceanis 35.1. The Beneteau Oceanis 35.1 is a French sailboat that was designed by Group Finot/Conq, with an interior by Nauta Design, as a cruiser and first built in 2017.

The Beneteau Oceanis 35.1 is a development of the Beneteau Oceanis 35.

Production
The design was built by Beneteau in France, starting in 2017, but by 2021 it was out of production.

Design

The Oceanis 35.1 is a recreational keelboat, built predominantly of fiberglass and available in daysailer or cruising configurations. It has a fractional sloop rig, a plumb stem, a plum transom with an optional fold down tailgate, dual internally mounted spade-type rudders controlled by a wheel and a shallow or deep draft fixed fin keel or a stub keel with a centerboard. In cruiser configuration it displaces  and carries  of ballast, with the deep draft keel.

The shallow keel-equipped version of the boat has a draft of , the deep keel-equipped version of the boat has a draft of , while the stub keel and centerboard-equipped version has a draft of  with the centerboard extended and  with it retracted, allowing operation in shallow water.

The boat is fitted with an inboard diesel engine of  for docking and maneuvering. The fuel tank holds  and the fresh water tank has a capacity of , with  optional.

The design has sleeping accommodation for four to six people, depending on the interior design. All arrangements have a double "V"-berth in the bow cabin, combined with either one or two double-berth cabins aft. The galley may be located on either the port or starboard side and is equipped with a two-burner stove and a sink. In all arrangements the head is located just forward of the companionway ladder on the starboard side.

For downwind sailing the design may be equipped with an asymmetrical spinnaker of .

The design has a hull speed of .

Operational history
In a review Boat Test wrote that the "Beneteau Oceanis 35.1 offers two-cabin and three-cabin arrangements, and a new L-shaped galley that will make cooking easier and safer underway. Her large cockpit proves equally useful for daysailing, cruising, club racing, or entertaining on the hook. An optional fold-out transom makes for easy boarding from the dock, a convenient step into a dinghy for a night ashore, or an ideal snorkeling platform. Twin rudders and wheels are handy in a boat that carries her wide beam well aft."

See also
List of sailing boat types

References

External links

Keelboats
2010s sailboat type designs
Sailing yachts
Sailboat types built in France
Sailboat type designs by Groupe Finot
Beneteau