omniomni/omni-engineering huggingface dataset:
David Park (computer scientist). David Michael Ritchie Park (1935 – 29 September 1990) was a British computer scientist. He worked on the first implementation of the programming language Lisp.
He became an authority on the topics of fairness, program schemas and bisimulation in concurrent computing. At the University of Warwick, he was one of the earliest members of the computer science department, and served as chairperson.

Notes

External links

1935 births
1990 deaths
British computer scientists
Massachusetts Institute of Technology alumni
David Luckham. David Luckham is an emeritus professor of electrical engineering at Stanford University. As a graduate student at the Massachusetts Institute of Technology (MIT), he was one of the implementers of the first systems for the programming language Lisp.

He is best known as the originator of complex event processing (CEP) as proposed in his 2002 book The Power of Events. CEP consists of a set of concepts and techniques for processing real-time events and extracting information from event streams as they arrive. CEP has since become an enabling technology in many systems that are used to take immediate action in response to incoming streams of events. Applications are described in this book that may now be found in many sectors of business including stock market trading systems, mobile devices, internet operations, fraud detection, the transport industry, and government intelligence gathering. The book also describes advanced event processing techniques such as event abstraction and event hierarchies that are not yet in general practice. Luckham's latest book is Event Processing for Business: Organizing the Real-Time Enterprise.

Luckham has held faculty and invited faculty positions in both mathematics and computer science at eight major universities in Europe and the United States. He was a cofounder of Rational Software, Inc., in 1981. He supplied the compiler for the language Ada, from which the company's first products were developed, and served as a member of the initial software development team. An acknowledged leader in high-level programming languages for multiprocessing, annotation languages, and event-based simulation systems for both hardware and software architectures, Luckham has published more than 100 technical articles, two of them winning Best Paper Awards from the Association for Computing Machinery (ACM) and the Institute of Electrical and Electronics Engineers (IEEE).

He was born in Kingston in the British Colony of Jamaica, and raised in London during The Blitz of World War II. He holds the degrees Master of Science (M.Sc.) from London, and Doctor of Philosophy (Ph.D.) from the Massachusetts Institute of Technology (MIT) in mathematics and computer science.

References

External links
, Stanford
Brief biography at Complexevents.com
David Luckham at the Mathematics Genealogy Project

American computer scientists
Stanford University School of Engineering faculty
Massachusetts Institute of Technology alumni
Lisp (programming language) people
Programming language designers
Ada (programming language)
Living people
Year of birth missing (living people)
Phyllis Fox. Phyllis Ann Fox (March 13, 1923 – May 23, 2017) was an American mathematician, electrical engineer and computer scientist.

Early life and education 
Fox was born on March 13, 1923, and raised in Colorado. She did her undergraduate studies at Wellesley College, earning a B.A. in mathematics in 1944.

From 1944 until 1946 she worked for General Electric as an operator for their differential analyser project. She earned a second baccalaureate, a B.S. in electrical engineering, from the University of Colorado in 1948. She then moved on to graduate studies at the Massachusetts Institute of Technology, earning an M.S. in 1949 in electrical engineering, and a doctorate (Sc.D.) in mathematics in 1954 under the supervision of Chia-Chiao Lin. During this time, she also worked as an assistant on the Whirlwind project at MIT, under Jay Forrester.

Later career
From 1954 to 1958, Fox worked on the numerical solution of partial differential equations on the Univac, for the Computing Center of the United States Atomic Energy Commission at the Courant Institute of Mathematical Sciences of New York University. In 1958, following her husband, she returned to Jay Forrester's system dynamics research group at MIT, where she became part of the team that wrote the DYNAMO programming language.  She then became a collaborator on the first LISP interpreter, and the principal author of the first LISP manual.

In 1963, she moved from MIT to the Newark College of Engineering, where she became a full professor in 1972. During this time, she also consulted for Bell Labs, where she moved in 1973 to work on a highly portable numerics library (PORT). She retired from Bell Labs in 1984.

Personal life and death
Fox married George Sternlieb. They moved to Short Hills, New Jersey in 1949. Fox died on May 23, 2017, at the age of 94.

Recognition
Fox was named a Fellow of the American Association for the Advancement of Science in 1986.

References 

1923 births
2017 deaths
American computer scientists
American artificial intelligence researchers
Massachusetts Institute of Technology School of Science alumni
Lisp (programming language) people
Programming language designers
Wellesley College alumni
University of Colorado alumni
New Jersey Institute of Technology faculty
Numerical analysts
American women computer scientists
American women mathematicians
Scientists at Bell Labs
MIT School of Engineering alumni
Fellows of the American Association for the Advancement of Science
American women academics
21st-century American women
Scientists from Denver
Willy Stevens. Dr Willy Stevens  studied commercial engineering at the Katholieke Universiteit Leuven, political sciences at the UCL (Université catholique de Louvain) and international relations and geopolitics at the Fletcher School of Law and Diplomacy (USA). He is a Doctor in Applied Economics (KUL) and received a Doctorate Honoris Causa in Economics at the Universidad del Rosario (Colombia).

After having collaborated as Industrial Development Officer at UNIDO (Vienna) he joined the Belgian Diplomatic Corps and was successively assigned to the Belgian embassies in Algeria and Paris, to the Belgian Permanent Representation to the UN in New York and to the cabinet of the Belgian Minister of Foreign Affairs Leo Tindemans. Later Stevens served as Belgian ambassador to Colombia, Consul General in Milan (Italy), regional ambassador to Central America, director of the American Hemisphere at the Belgian Ministry of Foreign Affairs and his country's Representative to the EU Committee for Latin America (COLAT) of which he became president. He ended his diplomatic career as Belgian ambassador to Mexico and Belize.

His publications include books on development problems (Capital Absorptive Capacity) and Latin America (Uitdagingen voor Latijns-America and Desafios para America Latina). Well-known international reviews have published numerous articles by him reflecting his interests on Latin America, durable national reconciliation in former military dictatorships, the EU, geopolitics and the interaction between art and politics.

Stevens regularly has taken part in EU election observation missions in Latin America. In 2012 he visited 30 countries in Latin America and the Caribbean as special envoy to defend the candidature of Liège for the International Exhibition of 2017.

He is frequently invited by universities and diplomatic academies of Europe, Latin America, the United States and Canada to deliver conferences on Latin America, the EU and geopolitics. Stevens is currently honorary president of VIRA (Flemish-Dutch Association of International Relations), president of the Academic Board and professor at CERIS in Brussels (Centre Européen de Recherches Internationales et Stratégiques), president of the Documentation Centre of the Flemish Art Heritage, chief executive of Artemis Art Gallery in Brussels and co-founder and member of the Board of the Foundation Andres Bello in Brussels.

References

1939 births
Belgian diplomats
20th-century Belgian engineers
Living people
The Fletcher School at Tufts University alumni
Ambassadors of Belgium to Mexico
Ambassadors of Belgium to Colombia
Ambassadors of Belgium to Belize
Space Technology 6. Space Technology 6 (ST-6) is part of the NASA New Millennium Program. ST-6 is a subsystem technology demonstration that consisted of 2 separate projects, the Autonomous Sciencecraft Experiment on board the Earth Observing 1 satellite and the Inertial Stellar Compass (ISC) experiment aboard TacSat-2.

Overview
The Autonomous Sciencecraft Experiment (ASE) is a software experiment that has been operating on board the Earth Observing-1 mission since 2003. The ASE software uses onboard continuous planning, robust task and goal-based execution, and onboard machine learning and pattern recognition to radically increase science return by enabling intelligent downlink selection and autonomous retargeting. This software demonstrates the potential for space missions to use onboard decision-making to detect, analyze, and respond to science events, and to downlink only the highest value science data. 

The Inertial Stellar Compass (ISC) enables a spacecraft to continuously determine its attitude or the direction in which it is pointing. It also enables a spacecraft to recover its orientation (direction and pointing) after a temporary malfunction or power loss. This is done by combining a miniaturized star camera and a gyro system. Although this is not a new concept, the small size and low power consumption are revolutionary and an important feature for the new, smaller spacecraft and satellites of the future. It was flown aboard the TacSat-2 spacecraft in 2006.

References

External links
 Space Technology 6 home page

2003 in spaceflight
2004 in spaceflight
New Millennium Program
CompCert. CompCert is a formally verified optimizing compiler for a large subset of the C99 programming language (known as Clight) which currently targets PowerPC, ARM, RISC-V, x86 and x86-64 architectures. This project, led by Xavier Leroy, started officially in 2005, funded by the French institutes ANR and INRIA. The compiler is specified, programmed and proven in Coq. It aims to be used for programming embedded systems requiring reliability. The performance of its generated code is often close to that of GCC (version 3) at optimization level -O1, and always better than that of GCC without optimizations.

Since 2015, AbsInt offers commercial licenses, provides support and maintenance, and contributes to the advancement of the tool. CompCert is released under a noncommercial license, and is therefore not free software, although some of its source files are dual-licensed with the GNU Lesser General Public License version 2.1 or later or are available under the terms of other licenses.

For the development of CompCert, the first practically useful optimizing compiler targeting multiple commercial architectures that has a complete, mechanically checked proof of its correctness, Xavier Leroy and the development team of CompCert received the 2021 ACM Software System Award.

References

External links
 
 
 Formal verification of a realistic compiler
 Software System Award — ACM Awards

Compilers
Formal methods
Logic in computer science
Software using the GNU Lesser General Public License
SECAT S-5. The SECAT S-5 was a light, high-wing, two-seat touring monoplane aircraft, designed and built by the Société d'Etudes et de Construction d'Avions de Tourisme in France shortly after the end of World War II. Only one example of the type was ever built, and it flew for a variety of private owners for several decades.

Development
Société d'Etudes et de Construction d'Avions de Tourisme (SECAT) had been established in the late 1930s, and in 1938 had built the two-seat, high-wing S-4 Mouette, the development of which was interrupted by the hostilities.

Design

Design work on light aircraft was resumed by SECAT in 1946, resulting in the SECAT S-5, the prototype of which was first flown in that year. The S-5 was based on the design of the S-4, and was of all-wooden construction and had side-by-side seating for two persons. The cantilever, elliptical high-set wing comprised a wooden box-spar, chordwise ribs and a stressed plywood skin. The trailing edge carried ailerons and flaps. The fuselage was a wooden semi-monocoque and dual controls were fitted. The windscreen was split. A large access door was provided on each side of the fuselage, and all fuel was carried in a  tank installed in the wing. After the prototype, no further examples of the type were completed.

Operational history
The sole example of the SECAT S-5, registered F-PIIC, was initially operated from Toussus-le-Noble Airport, near Paris. By 1964, it was owned by M. Rene Dupuis, and it was hangared at Arras Roclincourt Airport. The aircraft was still extant in 1967; however, it was struck off the French civil aircraft register during the 1970s.

Specifications

See also

References

1940s French civil utility aircraft
S-5
High-wing aircraft
Single-engined tractor aircraft
Aircraft first flown in 1946
Thomas Egleston. Thomas Egleston (December 9, 1832 – January 15, 1900) was an American engineer who helped found Columbia University's School of Mines, now the Fu Foundation School of Engineering and Applied Science. Throughout his lifetime, Egleston published numerous lectures and books on metallurgy. Many of his books are preserved today at the archive in the Library of Congress.

Background and education
A native New Yorker, Egleston was the great-grandson of John Paterson, a major general in the Continental Army during the American Revolution.  A graduate of Yale University under the counsel of Dr. Dudley in 1854, he continued his graduate study at Yale and further training in École nationale supérieure des mines de Paris in 1860, after which he was employed by the Smithsonian Museums in Washington D.C. In Paris, Egleston pursued his interest in geology and chemistry, attending lectures at the Jardin des Plantes of Paris. He spent time in collections and laboratories while listening to lectures by renowned Professor de Senarmont and Elie de Beaumont. After leaving Paris, Egleston traveled extensively in France and Germany to study geological collections.

Founding of School of Mines
In 1863 Egleston drafted a plan for the establishment of a school of mines, today's Columbia School of Engineering and Applied Science connected with Columbia College. He was joined with Charles F. Chandler and Francis L. Vinton who jointly supervised the plan. Egleston became the first professor of mineralogy and metallurgy in 1864, and held that position until his death.

He died at his home in New York City on January 15, 1900.

Works
In 1866, Egleston was commissioned to make geological survey of the then developing Union Pacific Railroad and examine fortifications in 1868. Egleston frequently consulted on metallurgical subject and was a regular advisor for the government on topics of furnace construction and the treatment of ores. In 1874, Egleston received an honorary degree of Ph.D. from Princeton and LL.D. from Trinity. Egleston was a member of the National Academy of Sciences and vice-president of the New York Academy of Sciences. He also served as president of the American Institute of Mining Engineers. Egleston was also owner of numerous metallurgical patents.

Publications
The following is a list of Thomas Egleston's selected publications:

"Tables for the Determinations of Minerals" (New York, 1867)
"Metallurgical Tables on Copper, Lead, Silver, Gold, and other Metals " (1868)
"Tables of Weights, Measures, and Coins of the United States and France" (1868)
"Metallurgical Tables on Fuels, Iron, and Steel" (1869)
"Lectures on Mineralogy" (1871)
"The Metallurgy of Gold, Silver, and Mercury in the United States" (1887)

References

External links

 Science Magazine
 Founders & Patriots

1832 births
1900 deaths
American engineers
Yale University alumni
Columbia University faculty
Columbia School of Engineering and Applied Science faculty
Columbia School of Engineering and Applied Science alumni
Members of the United States National Academy of Sciences
Curtiss YP-37. The Curtiss P-37 was an American fighter aircraft made by Curtiss-Wright in 1937 for the US Army Air Corps. A development of the Curtiss P-36 Hawk to use an inline engine instead of the radial engine of the P-36 the fuselage was lengthened and the cockpit moved back. A small number of YP-37 aircraft was built for Air Corps evaluation. The expected top speed was not achieved and the project terminated in favor of the Curtiss P-40.

Design and development 
In early 1937, after realizing the P-36 Hawk was inferior to more modern European designs, the USAAC ordered Curtiss to adapt one P-36 to the new liquid-cooled turbo-supercharged Allison V-1710. The prototype Hawk was fitted with a turbo-supercharged  Allison V-1710-11 as the XP-37 (company designation Model 75I). The cockpit was moved back towards the tail to make room for the massive turbo-superchargers, and the engine was cooled by two radiators on either side of the nose. Armament was one  M1919 Browning machine gun and one  M2 Browning heavy machine gun mounted in the nose.

Although the turbo-supercharger was extremely unreliable and visibility from the cockpit on takeoff and landing was virtually nonexistent, the USAAC was sufficiently intrigued by the promised performance to order 13 service test YP-37s and spares at a contract cost of $531,305.12 in 1938.  These aircraft were powered by an improved V-1710-21 with a more reliable supercharger mounted in a lengthened nose. However, reliability problems and poor visibility continued to plague the YP-37, and the project was canceled in favor of a parallel development, the P-40 Warhawk.

Variants 

XP-37One aircraft built with a V-1710-11 engine.
YP-37 13 aircraft built with a V-1710-21 engines and extended fuselage

Specifications (YP-37)

See also

References

P-37
Curtiss P-37
Single-engined tractor aircraft
Low-wing aircraft
Aircraft first flown in 1937
Aircraft with retractable conventional landing gear
Single-engined piston aircraft
Kolb Firefly. The Kolb Firefly is an American open cockpit, single seat, high wing, pusher configuration, conventional landing gear-equipped ultralight aircraft that is produced in kit form by New Kolb Aircraft of London, Kentucky and intended for amateur construction. The aircraft was designed in 1995.

The Firefly is a development of the Kolb Firestar and was designed to comply with the American FAR 103 ultralight regulations, including that category's maximum  empty weight.

Design and development
The Firefly was intended to be a FAR 103 legal ultralight that was powered by the heavier  Rotax 447 engine. The  Rotax 277 engine was also an option when the aircraft was first offered.

The design features a forward fuselage of welded 4130 steel tubing, mated to an aluminum tailboom. The horizontal stabilizer, tail fin and wings are also constructed of riveted aluminum tubing with all flying surfaces covered in doped aircraft fabric. The wings are quick-folding for storage and ground transport.

The factory kit options include a complete cockpit enclosure, brakes, quick build option, Ballistic Recovery Systems parachute and steel tube powder coating.

Specifications (Firefly)

See also

References

External links

Firefly
1990s United States ultralight aircraft
Single-engined piston aircraft
High-wing aircraft
Aircraft with fixed conventional landing gear
Six factor formula. The six-factor formula is used in nuclear engineering to determine the multiplication of a nuclear chain reaction in a non-infinite medium.

The symbols are defined as:
,  and  are the average number of neutrons produced per fission in the medium (2.43 for uranium-235).
 and  are the microscopic fission and absorption cross sections for fuel, respectively.
 and  are the macroscopic absorption cross sections in fuel and in total, respectively.
 is the macroscopic fission cross-section.
 is the number density of atoms of a specific nuclide.
 is the resonance integral for absorption of a specific nuclide.

 is the average lethargy gain per scattering event.
Lethargy is defined as decrease in neutron energy.
 (fast utilization) is the probability that a fast neutron is absorbed in fuel.
 is the probability that a fast neutron absorption in fuel causes fission.
 is the probability that a thermal neutron absorption in fuel causes fission.
 is the geometric buckling.
 is the diffusion length of thermal neutrons.

 is the age to thermal.

 is the evaluation of  where  is the energy of the neutron at birth.

Multiplication
The multiplication factor, , is defined as (see nuclear chain reaction): 

 If  is greater than 1, the chain reaction is supercritical, and the neutron population will grow exponentially. 
 If  is less than 1, the chain reaction is subcritical, and the neutron population will exponentially decay. 
 If , the chain reaction is critical and the neutron population will remain constant.

See also
 Critical mass
 Nuclear chain reaction
 Nuclear reactor
 Four factor formula

References

Nuclear technology
Radioactivity
Wet infrastructure. Wet infrastructure is the spectrum of water-related projects relating to water supply, treatment and storage, water resource management, flood management, coastal restoration, hydropower and renewable energy facilities.  Common examples of wet infrastructure include new construction as well as renovations and maintenance of locks, weirs, storm-surge barriers, guiding structures, pumping plants, culverts, bridges, controlling systems, operating systems, and tunnel installations.

References

External links
 New Trends in Water and Environmental Engineering for Safety and Life, p. 104
 The Scarcity of Water: Emerging Legal and Policy Responses, p. 17
 Governance and Complexity in Water Management, p. 100

Water management
Water conservation
Water and the environment
Stormwater management
Water treatment