omniomni/omni-engineering huggingface dataset:
Sentential decision diagram. In artificial intelligence, a sentential decision diagram (SDD) is a type of knowledge representation used in knowledge compilation to represent Boolean functions. SDDs can be viewed as a generalization of the influential ordered binary decision diagram (OBDD) representation, by allowing decisions on multiple variables at once. Like OBDDs, SDDs allow for tractable Boolean operations, while being exponentially more succinct.  For this reason, they have become an important representation in knowledge compilation.

Properties 

SDDs are defined with respect to a generalization of variable ordering known as a variable tree (vtree).

Provided that they satisfy additional properties known as compression and trimming (which are analogous to ROBDDs), SDDs are a canonical representation of Boolean functions; that is, they are unique given a vtree.

Like OBDDs, they allow for operations such as conjunction, disjunction and negation to be computed directly on the representation in polynomial time, while being potentially more compact. They also allow for polynomial-time model counting.

SDDs are known to be exponentially more succinct than OBDDs.

Applications 

SDDs are used as a compilation target for probabilistic logic programs by the ProbLog 2 system since they support tractable (weighted) model counting as well as tractable negation, conjunction and disjunction while being more succinct than BDDs.   SDDs have also been extended to model probability distributions, in which context they are known as probabilistic sentential decision diagrams (PSDD).

References 

Graph data structures
Knowledge compilation
Relational transducer. Relational transducers are a theoretical model for studying computer systems through the lens of database relations. This model extends the transducer model in formal language theory. They were first introduced in 1998 by Abiteboul et al for the study of electronic commerce applications. The computation model treats the input and output as sequences of relations. The state of the transducer is a state of a database and transitions through the state machine can be thought of as updates to the database state. The model was inspired by the design of active databases and motivated by a desire to be able to express business applications declaratively via logical formulas.

Applications 
The relational transducer model has been applied to the study of computer network management, e-commerce platforms, and coordination-free distributed systems.

Formal specification 

A relational transducer has a schema made up of five components: In, State, Out, DB, and Log. In and Out represent the inputs to the system from users and the outputs back to the users respectively. DB represents the contents of the database and State represents the information that the system remembers. The Log contains the important subset of the inputs and outputs.

The relational schemas of each component are disjoint except for Log which is a subset of In ∪ Out.

A relational transducer over a relational transducer schema is made up of three parts:
 The schema
 A state transition function σ
 An output function ω

Related models 
Models of computation extending on relational transducers have been developed including the Distributed Shared Relations model for synchronous distributed systems and the Abstract State Machine Transducer model for verification of transaction protocols.

References 

Database theory
Caesium selenate. Caesium selanate is an inorganic compound, with the chemical formula of Cs2SeO4. It can form colourless crystals of the orthorhombic crystal system.

Preparation 

caesium selenate can be obtained from the reaction of caesium carbonate and selenic acid solution:

 

caesium selenate can also be prepared by the neutralization reaction of selenic acid and caesium hydroxide:

Properties 
caesium selenate can precipitate compounds such as CsLiSeO4·H2O and Cs4LiH3(SeO4)4 in Cs2SeO4-Li2SeO4-H2O and its acidification system. It can also form double salts with other metals, such as Cs2Mg(SeO4)2·6H2O, Cs2Co(SeO4)2·6H2O, etc.

References 

Caesium compounds
Selenates
Amnesiac flooding. In distributed computing amnesic flooding is a stateless distributed flooding algorithm that can be implemented as a broadcast protocol in synchronous distributed networks without the need to store messages or flags between communication rounds. The algorithm is simple: 

When a node receives a message, it forwards it to all of its neighbours it did not receive the message from. To initiate a broadcast on a network, a node simply sends the message to all of its neighbours. 

The algorithm has been shown to terminate when the message begins at any subset of the network nodes  or any sequence thereof. 

For  a subset of the nodes of a graph , then  the time until an amnesiac flood terminates when started from  is known to obey the following bounds:  if  is -bipartite and  if it is not, where  is the eccentricity of  and  is the diameter. A graph is -bipartite, if the quotient graph of  with  contracted to a single node is bipartite. This termination time is optimal for -bipartite graphs and is asymptotically optimal for single node initialisation on non-bipartite graphs.

This termination is robust with respect to the loss of edges and nodes, however it fails with delays on edges or the addition of new edges.

Variants of Amnesiac Flooding 
Since its introduction, several variants of and related problems to amnesiac flooding have been studied. For example, a modified variant requiring the initial set to retain their knowledge of this membership and the message for a single round, but always requiring  rounds has been proposed. 

A dynamic version of amnesiac flooding has been introduced  considering the case where there are multiple different messages in the system and where each node can only send one message per round. This has been shown to terminate in the partial send case ( sends an arbitrary message to its neighbours that didn't send it any message last round) and the ranked-full send case ( sends the highest ranked message  to all of its neighbours that did not send it  last round). However, the unranked-full send ( sends an arbitrary message  to all of its neighbours that did not send it  last round) does not necessarily terminate without additional stored information (such as the diameter of the graph ).

References 

Flooding algorithms
Distributed algorithms
Israeli bombing of Cairo. The Israeli Air Force bombarded a residential neighborhood near Qasr al-Qubba in Cairo on July 15, 1948, during the international phase of the 1948 Palestine war. The attack was carried out during the breaking of the fast of Ramadan and killed 30 civilians and destroyed many homes. It led to an angry march on the Jewish quarter.

Background 
Before the establishment of the State of Israel, the Haganah had ordered three Boeing B-17 Flying Fortress planes from the United States through US Mahal operative Al Schwimmer. The heavy bomber planes were prepared for combat by Mahal recruit Ray Kurtz. They were acquired during the truce and smuggled from Czechoslovakia in violation of an arms embargo.

Attacks on Egyptian targets 
The 69 Squadron of the Israeli Air Force was flying the planes, which were ordered to strike Egyptian targets on the way from Czechoslovakia. The air operation attempted to bomb King Farouq's Abdeen Palace. One plane went to Cairo but failed to hit the palace. The bombing struck a residential neighborhood during Iftar, killing 30 Egyptians and striking a rail line. According to Al-Ahram the following day, the bombardment happened at 7:55 pm.

The two other planes were supposed to strike el-ʻArīsh but bombed Rafah instead.

Results 
The bombardment killed 30 Egyptians, struck a rail line, and led to an angry march on a Jewish quarter in Cairo. 

The bombardment raised morale in Tel Aviv.

References 

1948 in Egypt
Airstrikes conducted by Israel
Airstrikes in Egypt
Battles and operations of the 1948 Arab–Israeli War
Egypt–Israel military relations
Military history of Cairo
1940s in Cairo
Explosions in Cairo
Building bombings in Egypt
Attacks on railway systems
Mass murder in 1948
Mass murder in Cairo
20th-century mass murder in Egypt
Israeli war crimes
Attacks on buildings and structures in the 1940s
Cross-border operations of Israel
Egypt in the Arab–Israeli conflict
Geoffrey Gordon (computer scientist). Geoffrey Gordon was the creator of the popular GPSS simulation system language.

Career 
In the early 1950s, Gordon began using analog computers for simulation in England. A few years later he began working with digital computers.

He moved to the United States in 1955 where he continued working with digital simulation at Westinghouse Electric Corporation. At the end of following year (1956) he began working at Bell Labs, writing simulation software for message switching systems.

In 1959, he started work on a project to digitally simulate what was seen across flow-chart style simulation sequence diagrams, instead of writing new software for each one. These diagrams used nodes to communicate the flow and operations of a simulation. The project, called the "Sequence Diagram Simulator" was completed at the end of that year.

In 1960, Gordon became manager of the Advanced Systems Development Division at IBM which experimented with new technology to design more efficient systems, especially in teleprocessing problems. Since the use of simulation was important in creating accurate models, Gordon suggested that a block diagram language be created similar to the Sequence Diagram Simulator. The new program and corresponding language, unofficially called the "Gordon Simulator", was developed in the IBM 704 symbolic assembly language. It became known throughout the company as a useful tool and became officially documented for internal use in the company on October 25, 1960. The use of the program outside of the company was soon recognized by the Cross Industry Marketing Group of IBM. On October 6, 1961, the program became available publicly outside of IBM as "GPSS I" after a complete rewrite. It was initially available for the IBM 704, 709, and 7090.

Gordon retired from IBM as a Consulting Systems Engineer and an IBM Fellow. He then became a professor at Kean University. 

On December 19, 1989, he died in Washington, New Jersey.

References

1924 births
1989 deaths

Computer scientists
Min Dong (electrical engineer). Min Dong (born 1976) is a Chinese-Canadian electrical engineer whose research involves signal processing, including resource balancing in cloud computing and smart grids, and pilot symbol assisted wireless communications in which a special "pilot" symbol is periodically transmitted to recalibrate communications channels. She is a professor in the Department of Electrical, Computer and Software Engineering at Ontario Tech University.

Education and career
Dong was born in Beijing in 1976, and writes that she "grew up on the campus of Tsinghua University". She graduated from Tsinghua University with a bachelor's degree in automation and electrical engineering in 1998. She completed a Ph.D. in electrical and computer engineering at Cornell University in 2004, after earning a master's degree there in 2003. Her dissertation, Efficient Information Retrieval and Processing in Wireless Communication Systems and Sensor Networks, was supervised by Lang Tong.

She worked for Qualcomm, in San Diego, California, from 2004 to 2008, before joining Ontario Tech University. She also holds a courtesy appointment in the Department of Electrical & Computer Engineering at the University of Toronto.

Recognition
Dong was named an IEEE Fellow, in the 2024 class of fellows, "for contributions to transmission design and resource optimization for wireless
communications".

References

External links
Home page

1976 births
Living people
Chinese electrical engineers
Chinese women engineers
Canadian electrical engineers
Canadian women engineers
Women electrical engineers
Tsinghua University alumni
Cornell University alumni
Ontario Tech University
Fellows of the IEEE
Michael James Stowell. Michael James Stowell FRS (10 July 193527 February 2022) was a British materials and metallurgy scientist known for developing the first commercial superplastic aluminium alloy known as Supral.

Mike Stowell was raised in Newport, and moved to Bristol University for his undergraduate degree in physics. At Bristol, he was drawn to electron microscopy, a technique he would apply to the study of thin films, and to his other metallurgy research fields including the aforementioned superplastic aluminium alloys. This research had industrial applications, which he explored during his time with the Tube Investments Group Research Laboratory, in Essex, where he was active from the 1960s until its closure in 1988. He would remain in industry at the Aluminium Company of Canada (Alcan) for the remainder of his career.

The development of Supral and the establishment of the company Superform Metals, led Mike to being awarded the Queen's Award for Industry in 1981. He was a fellow of the Institute of Physics, the Institution of Metallurgists, and the Royal Society.

References

1935 births
2022 deaths
British metallurgists
Alumni of the University of Bristol
People from Newport, Wales
Alkali Mahmud Modibbo. Alkali Mahmud Modibbo is a Nigerian aeronautical engineer and pilot. He was the rector of the Nigerian College of Aviation Technology from March 2021 to December 2023.

Career 
Alkali holds the airline transport pilot licenses of from Federal Aviation Administration, and the Nigerian Civil Aviation Authority. He had also worked as fleet captain at Dornier Aviation Nigeria and Max Air before his appointment by former president Muhammadu Buhari in March 2021. He replaced Capt. Abdulsami Mohammed after the end of the latter's 4-year tenure.

He was removed from office by president Bola Ahmed Tinubu in December 2023.

References 

Living people
Nigerian engineers
Year of birth missing (living people)
Akin Olateru. Akinola Olateru is a Nigerian engineer. He was the commissioner of the Accident Investigation Bureau, Nigeria from 2017 to 2023.

Education and career 
Olateru grew up in Ogbomoso, Osun State. He started his career as a maintenance engineer with Pan African Airlines and the Nigerian Police Air Wing. He has worked with British Midland Airways, KLM, and Martinair.

He got his M.Sc. in Air Transport Management from City University of London in 2003.

In January 2017, he was appointed by former president Muhammadu Buhari as the head of the Accident Investigation Bureau (AIB-Nigeria). He was reappointed in March 2021. He was removed by president Bola Ahmed Tinubu in December 2023.

He is a Fellow of the Nigerian Society of Engineers, Royal Aeronautical Society, and Chartered Institute of Logistics and Transport in the UK.

Awards 

 Aviation Man of the Year - Air Transport Industry Awards 2019
 Outstanding Leadership Award, Nigerian Aviation (NIGAV) Awards, 2019.
 Aviation CEO of The Year Award - The Travellers, 2021.
 Aviation Innovation Leadership Achievement Award - Nigerian Aviation Awards, 2022.

References 

Living people
Alumni of City, University of London
Fellows of the Royal Aeronautical Society
Year of birth missing (living people)
Edith Clarke (disambiguation). Edith Clarke (1883 – 1959) was an American electrical engineer.

Edith Clarke may also refer to:

Edith Clarke (anthropologist) (1896-1979), Jamaican anthropologist, legislator, and rights advocate 
Edith Clarke (cookery teacher) (1844 – 1926), British cookery teacher and writer

See also
Edith Clark, French aviator and parachutist
Edith Clark Cowles, American suffragist
Enith Clarke, Australian pianist
Stephen W. Dunwell. Stephen W. Dunwell (April 3, 1913 – March 21, 1994) was an American computer engineer, known best for his role leading the team developing the IBM 7030 Stretch supercomputer at IBM. He was honored with an IBM Fellow in 1966, a Computer Pioneer Award in 1992, and was named an ACM Fellow in 1994. He died of cancer.

References 

1913 births
1994 deaths
IBM Fellows
1994 fellows of the Association for Computing Machinery
People from Kalamazoo, Michigan
Luis Ceze. Luis Ceze is a Brazilian-born American computer scientist, businessman, and academic. Ceze was the CEO and co-founder of OctoAI, a machine learning-focused startup acquired by Nvidia. Following its acquisition, he became a vice president of AI systems software at Nvidia.  

Ceze is a professor of computer science at the Paul G. Allen School of Computer Science & Engineering at the University of Washington.  He is known for his work on Apache TVM and bioinspired systems for data storage.

Education 
Ceze attended the University of São Paulo, where he received his B. Eng. degree in 2000 and his M. Eng. degree in 2001. from the University of São Paulo. 

After this, he pursued a doctoral degree in computer science from the University of Illinois Urbana-Champaign, advised by Josep Torrellas. He received his Ph.D in 2007 with a thesis titled Bulk Operation and Data Coloring for Multiprocessor Programmability.

Career

OctoAI 
In 2019, Ceze founded OctoML, a startup aimed at optimizing machine learning deployments. OctoML launched OctoAI, a generative AI product, in June 2023. The company itself changed its name to OctoAI by January 2024, with Ceze explaining that it was renamed to "eliminate potential confusion between our product and corporate name".

He stated that OctoAI had thousands of users in a January 2024 statement. In June 2024, OctoAI launched OctoStack, a product designed to help customers customize AI models. In September 2024, The Information reported that Nvidia has considered an acquisition of OctoAI for $165 million. Nvidia went on to acquire OctoAI on September 25.  Following OctoAI's acquisition, Ceze became a vice president of AI systems software at Nvidia, and remained in his position at the University of Washington.

Other ventures 
In 2008, Ceze cofounded Corensic after spinning it off from the University of Washington. The startup was acquired by F5 Networks in 2012. In 2018, he joined Madrona Venture Group as a venture partner.

Awards 

 NSF Career Award (2009)
 Sloan Research Fellowship (2010)
 IEEE TCCA Young Computer Architect Award (2013)
 Maurice Wilkes Award (2020)
 ACM Fellow (2022)

References 

Living people
People from São Paulo
University of São Paulo alumni
University of Illinois Urbana-Champaign alumni
University of Washington Paul G. Allen School of Computer Science & Engineering faculty
2022 fellows of the Association for Computing Machinery
Sloan Research Fellows
Year of birth missing (living people)
Maurice Wilkes Award winners
Brazilian emigrants to the United States
Brazilian engineers
Engineered Garments. Engineered Garments is a clothing, footwear and accessories brand founded by Japanese-American Daiki Suzuki. It was founded in 1999.

The brand has collaborated with Uniqlo, Gola, Paraboot, K-Swiss, Hoka One One, Converse, Reebok, and others.

See also
Visvim
United Arrows
Beams
Kapital

References

External links

Nepenthes NY
Twill of the people: the workwear staple that never gets old Financial Times, Mark O’Flaherty, April 26, 2023

Luxury brands
Clothing brands of the United States
JPL and the Space Age. JPL and the Space Age is an American television series that is created by NASA's Jet Propulsion Laboratory. Its episodes characterize the history of spacecraft, and crewed missions.

History
JPL and the Space Age was created in 2022 to inform users about JPLs contributions and missions.

JPL and the Space Age started airing on NASA TV and JPLs website. The first episode released for the franchise was The American Rocketeer, releasing in January of 2022. The series later migrated to NASA+ in November 2023.

Episodes
As of December 2023, JPL has created 16 documentary's for the franchise.

Episode list
 Episode 1: The American Rocketeer
 Episode 2: Explorer 1
 Episode 3: Destination Moon
 Episode 4: The Changing Face of Mars
 Episode 5: The Stuff of Dreams
 Episode 6: The Footsteps of Voyager
 Episode 7: To the Rescue
 Episode 8: The Pathfinders
 Episode 9: The Breaking Point
 Episode 10: Saving Galileo
 Episode 11: Mission to Mars
 Episode 12: Landing on Mars
 Episode 13: Triumph at Saturn (Part I)
 Episode 14: Triumph at Saturn (Part II)
 Episode 15: Sky High
 Episode 16: The Hunt for Space Rocks.

References

Television series about space programs
2023 American television series debuts
Richard DiPrima. Richard Clyde DiPrima (1927 to 1984) was a professor of applied mechanics at Rensselaer Polytechnic Institute, specializing in hydrodynamic stability and lubrication theory.

DiPrima studied at Carnegie Mellon University attaining B.A. M.S. and Ph.D. there. He wrote his thesis under George H. Handelman.

He continued his studies, first at MIT with C. C. Lin, and then for two years at Harvard with Bernard Budiansky and George Carrier.  In Boston he married Maureen. DiPrima was employed at Hughes Aircraft for a year in their laboratory.

Rensselaer Polytechnic Institute acquired his services in 1957; he was promoted to associate professor in 1959. He was made a full professor in 1962. From 1972 to 1981 he served as chair of the department of mathematical sciences. He joined William E. Boyce to write Elementary Differential Equations and Boundary Value Problems, a textbook that is now in its eleventh edition.

DiPrima was a fellow of the American Society of Mechanical Engineers, the American Academy of Mechanics, and of the American Physical Society. He was a member of the American Mathematical Society, the Mathematical Association of America, and of the Society for Industrial and Applied Mathematics.

In administrative service, he served as president of SIAM, and as chair of the executive committee of the Applied Mechanics Division of ASME.

DiPrima was a Fulbright fellow in 1964 and 1983, and had a Guggenheim Fellowship in 1982. He received the W.H. Wiley distinguished faculty award in 1980 from Rensselaer. In 1988 SIAM began awarding the Richard C. DiPrima Prize every two years.

DiPrima died on September 10, 1984. One year later a conference dedicated to the memory of DiPrima was held at Rensselaer, and the Proceedings published.

Selected works

 1966: (with R. Soni) "The convergence of the Galerkin method for the Taylor–Dean stability problem", Quarterly of Applied Mathematics 23(4): 183.
 1969 (with G. J. Hobitler) "A completeness theorem for non-self-adjoint eigenvalue problems in hydrodynamic stability", Archive for Rational Mechanics and Analysis
 1970: (with S. Kogelman) "Stability of spatially periodic supercritical flows in hydrodynamics", Physics of Fluids 13: 1–11
 1978: (with J. Trevor Stuart) "The Eckhaus and Benjamin-Feir Resonance Mechanisms", Proceedings of the Royal Society A 362: 27, issue 1708,   
 2006: (with P.M.Eagles & Trevor Stuart) "The effects of eccentricity on torque and load in Taylor-vortex flow", Journal of Fluid Mechanics 87(2): 209

References

 

1927 births
1984 deaths
American fluid dynamicists
American textbook writers
Carnegie Mellon University alumni
Rensselaer Polytechnic Institute faculty
Fellows of the American Society of Mechanical Engineers
Fellows of the American Physical Society