omniomni/omni-engineering huggingface dataset:
Soufflé (programming language). Soufflé is an open source parallel logic programming language, influenced by Datalog. Soufflé includes both an interpreter and a compiler that targets parallel C++. Soufflé has been used to build static analyzers, disassemblers, and tools for binary reverse engineering. Soufflé is considered by academic researchers to be high-performance and "state of the art," and is often used in benchmarks in academic papers.

Programming examples 
Given a set of edges in a graph, the following program computes the set of (directed) paths between any two nodes. This is also known as the transitive closure of the edge relation.

.decl edge(x:number, y:number)
.input edge

.decl path(x:number, y:number)
.output path

path(x, y) :- edge(x, y).
path(x, y) :- path(x, z), edge(z, y).

Features 
 An interpreter and a compiler that targets parallel C++ (C++ that uses OpenMP). Both the interpreter and compiler use semi-naïve evaluation.
 Stratified negation
 Aggregation
 Automatic index selection
 Specialized parallel data structures, including disjoint-sets,  B-trees, and tries.
 Static typing
 Records and algebraic data types
 A foreign function interface

Related tools 
In addition to a compiler and an interpreter, the Soufflé project also publishes:

 a profiler,
 a "provenance"-based debugger,
 an "auto-scheduler" (also called a "join optimizer") that chooses efficient query plans based on a profile, as in profile-guided optimization.

Applications 

Soufflé has been used to build static analyzers, including:

 A pointer analysis for Java
 A control-flow analysis for Scheme 
 Various analyses for smart contract languages 

It has also been used to build tools for binary analysis, including reverse engineering, and disassemblers.

References

Sources

External links 
 Project homepage
 

Logic programming languages
High-level programming languages
Funiculaire Moléson-sur-Gruyères – Plan-Francey. Funiculaire Moléson-sur-Gruyères – Plan-Francey is a funicular railway in the Canton of Fribourg, Switzerland. The line leads from Moléson-sur-Gruyères at 1111 m to Plan-Francey at 1520 m. From there, an aerial cableway continues to the summit of Moléson (2002 m). The line of the funicular has a length of about 1350 m and a difference of elevation of 409 m. The funicular with two cars has a single track with a passing loop.

Built in 1998, it replaced an aerial cableway from the 1960s. Already in the 1900s projects of funiculars, rack-railways and a train line to the top of Moléson were made, some receiving concessions, but ultimately not realized.

The funicular is owned and operated by the company Centre Touristique Gruyères-Moléson-Vudalla S.A. (abbreviated TTM or "GMV SA").

Notes

References 

Moleson
Transport in the canton of Fribourg
Gruyères
1200 mm gauge railways in Switzerland
Railway lines opened in 1998

fr:Le Moléson#Funiculaire
Buxton Road Bridge. Buxton Road Bridge is a railway bridge over the A5004 road in Whaley Bridge, in the High Peak district, in the county of Derbyshire,  England. It carries the Buxton line.

History 
The bridge was built in 1863. The structure became a Grade II listed building on 19 June 1998.

In 2002, Railtrack became aware of a crack in one of the outer iron spans of the bridge. Restrictions on rail traffic passing over the bridge were put in place, including a  speed restriction for freight trains and a ban on two freight trains passing each other on the bridge. In 2010, Network Rail applied for a Listed Building Consent to replace the bridge with a modern structure. The request was turned down the following year and a subsequent appeal was dismissed.

In November 2022, Network Rail applied again for permission to rebuild and modify the bridge.

Work to rebuild the bridge began in January 2023.

References 

Bridges completed in 1863
Railway bridges in Derbyshire
1863 establishments in England
Grade II listed buildings in Derbyshire
Whaley Bridge
Path explosion. In computer science, path explosion is a fundamental problem that limits the scalability and/or completeness of certain kinds of program analyses, including fuzzing, symbolic execution, and path-sensitive static analysis. Path explosion refers to the fact that the number of control-flow paths in a program grows exponentially ("explodes") with an increase in program size and can even be infinite in the case of programs with unbounded loop iterations. Therefore, any program analysis that attempts to explore control-flow paths through a program will either have exponential runtime in the length of the program (or potentially even failure to terminate on certain inputs), or will have to choose to analyze only a subset of all possible paths. When an analysis only explores a subset of all paths, the decision of which paths to analyze is often made heuristically.

References 

Program analysis
Uxua López. Uxua López Flamarique (Tafalla, 1983) is a Spanish telecommunications engineer and environmental activist, expert in renewable energy, and a member of an international network of women leaders aiming to build a global collaboration of 10,000 women with backgrounds in STEMM by 2036, an initiative of Homeward Bound.

Biography
López has a degree in Telecommunications Engineering from the Public University of Navarre (UPNA).

She works for Acciona as a telecommunications engineer, in the center which controls approximately 400 renewable energy stations. Having graduated from a program in cyber security, her specialty is managing industrial control systems.

In 2018, López participated in Homeward Bound's Antarctic expedition, an initiative focused on the leadership and empowerment of women in the scientific field, being one of its first Spanish representatives, along with Ana Payo Payo, Alicia Pérez-Porro, and Alexandra Dubini.

Awards and honours
In 2018, she was awarded the  (Gold Medal of the Spanish Red Cross) for her participation in the Homeward Bound expedition, and with the  (Cross of Carlos III the Noble of Navarra) for her contribution to the promotion and development of solutions to the effects of global warming from scientific research and with a gender perspective.

References

1983 births
Living people
Telecommunications engineers
Spanish environmentalists
Public University of Navarre alumni
People from Tafalla (comarca)
Spanish women engineers
Spanish women activists
Samuel Kelly Clark. Samuel Kelly Clark (3 November 1924– 26 October 2006) was a professor in the Department of Engineering Mechanics at the University of Michigan who was known for contributions to the science of tires. His 1971 monograph Mechanics of Pneumatic Tires was considered by many in the tire industry to be its most important engineering text.

Education

Clark was born and raised in Ypsilanti, Michigan, where he graduated from Roosevelt High School, which was associated with Michigan Normal College. In 1942, he joined the U.S. Navy's V-12 Program. He was commissioned as a Lieutenant. After World War II he joined Douglas Aircraft Company as an engineer and later the Ford Motor Company in Dearborn. He completed his doctoral degree in engineering from the University of Michigan in 1952.

Career

Clark's first academic appointment was as an assistant professor of mechanical engineering at Case Western Reserve University. However, in 1955, he returned to the University of Michigan in the Department of Engineering Mechanics.  He continued here until his retirement in 1994 at the rank of tenured professor.

He founded the Precision Measurement Company in 1966.  Precision Measurement developed sensor technology that was used in tire testing.

Awards

 1985 – Fellow of the Society of Automotive Engineers 
 2009 (post-humous) – Tire Society Distinguished Achievement Award

References

1924 births
2006 deaths
Tire industry people
Bernadette Charron-Bost. Bernadette Charron-Bost is a French computer scientist specializing in distributed computing. She is a director of research for the French National Centre for Scientific Research (CNRS). Formerly affiliated with the École polytechnique, she recently moved to the École normale supérieure (Paris).

Charron-Bost was the 2019 winner of the  of the French Academy of Sciences.

Selected publications

References

External links
Home page

Year of birth missing (living people)
Living people
French computer scientists
French women computer scientists
Researchers in distributed computing
Research directors of the French National Centre for Scientific Research
Artery Gear: Fusion. Artery Gear: Fusion (, ) is a turn-based mobile gacha game developed by Access and published by bilibili on Android and iOS platforms. The game was released in China in May 2021, in Japan on November 18, 2021, and globally on June 14, 2022. It would end service worldwide on November 12, 2024.

Plot 
In a futuristic world, a horde of zombie-like machines known as Puppets have overrun Earth and laid waste to countless cities across the world. Faced with the threat of total annihilation, the two remaining forces of Earth, the Frontier and the orbital colony of Autoluna, join to form The Union to strike back against the invaders. The Commander of The Union is responsible for coordinating a team of Artery Gears, cyborgs equipped with the most advanced technology of Earth, to battle against the Puppets.

Release 
The Japanese release was announced in August 2021, with closed beta and pre-registrations beginning later that month. The Japanese version reached 500,000 pre-registrations ahead of release. Closed beta and pre-registrations for the global release began in May 2022, and launched globally in June 2022.

The first season of the Chinese version ended in August 2021, the Japanese version ended in January 2022, and the global version in September 2022, with ten episodes. The second season began releasing in November 2021 for the Chinese version, April 2022 for the Japanese version, and the global version in October 2022. The second season ran for four episodes until December 2022 for the Chinese version, and May 2023 for both Japanese and global versions. The third season began releasing March 2023 in the Chinese version, and June 2023 for the other versions. In March 2024, Access announced that the Korean server would no longer receive content updates after the April 11 event. In July 2024, Access announced that the remaining servers would receive their final updates, on July 16 for the Chinese server, and July 18 for the remaining servers, including the fourth and final closing chapter of the third season. The game was delisted from the App Store and Google Play on August 13, and ended worldwide service on November 12, 2024.

Reception 
Pocket Gamer highlighted the Quality-of-Life features and generous gacha system, but notes that there were translation issues. BunnyGaming.com echoes the translation issues and criticized the poor gacha pity system, but praises the game's visuals and auto-play features. Hardcore iOS remarks that "resource grinding and farming is one of the spots where improvements can be made," but otherwise considers Artery Gear: Fusion as "a decent timesink."

References

External links 
 Official website (Chinese)
 Official website (Japanese)
 Official website

2021 video games
Products and services discontinued in 2024
Role-playing video games
Android (operating system) games
Delisted digital-only games
Inactive online games
Gacha games
IOS games
Video games developed in China
Arthur Kill Terminal. Arthur Kill Terminal is a proposed purpose-built offshore wind port on the Arthur Kill on the west shore of Staten Island, New York. It is intended to be a wind turbine assembly and staging area for various offshore wind farms in the New York Bight. It is planned to be located on  just south of the Outerbridge Crossing. The site, which would allow for  the docking of heavy-lift ships, is not hindered by air draft restrictions since there is no bridge downstream of the facility.

Funding and development
The Arthur Kill Terminal is being developed by a partnership with Empire State Development Corporation (ESD). In October 2022 the project received a $48 million grant from the United States Maritime Administration (part of the US Department of Transportation) for dredging the kill adjacent to the upland site. At that time, construction was expected to begin in late 2023 and projected to begin operating in late 2025.

See also
Offshore wind power in the United States
List of offshore wind farms in the United States
Wind power in New York
Empire Wind
New Bedford Marine Commerce Terminal
New Jersey Wind Port

References

External links 

Arthur Kill Terminal Overview

Transportation buildings and structures in Staten Island
Ports and harbors of New York (state)
Port of New York and New Jersey
New England Wind. New England Wind, formerly called Park City Wind and Commonwealth Wind, is a proposed offshore wind farm to be located about  off the coast of Martha's Vineyard (MA) on Outer Continental Shelf in U.S. territorial waters of the East Coast of the United States. Avangrid is the developer.

The project takes its original name from the nickname of Bridgeport, Connecticut, where a offshore wind port is being developed to support the project at Bridgeport Harbor. Electric transmission cables from the project would make an underground landfall at Craigville Beach in Barnstable, Massachusetts. 

As of 2022 a draft environmental impact statement (DEIS) and a construction and operations plan (COP) had been submitted to BOEM. It was projected to be commissioned in 2027.

In October 2023, Avangrid canceled its contract with Connecticut due to higher development costs. It intends to rebid the project for a higher price.

BOEM issued approval of the project's construction and operations plan in July 2024.

Avangrid has divided the project into two sections for bidding in the joint Connecticut–Rhode Island–Massachusetts offshore wind procurement, one with 791 MW (formerly Park City Wind) and one with 1,080 MW (formerly Commonwealth Wind). The project was awarded a contract with Massachsetts for 791 MW in September 2024. This section is expected to begin construction in 2025 with commercial operation by 2030.

See also
Wind power in Connecticut
Wind power in Massachusetts
List of offshore wind farms in the United States

References

External links 
Park City Wind
New England Wind 1 and 2 – BOEM

Wind power in Connecticut
Wind power in Massachusetts
Proposed wind farms in the United States
Offshore wind farms in the United States
Pro Optica Anubis. The Anubis is a Romanian remote controlled weapon station (RCWS) designed and manufactured by the Pro Optica company. It can use either a 7.62×51mm or a 12.7×99mm machine gun, and can also mount 40 mm grenade launchers. Optionally, the turret can be equipped with level 2 STANAG 4569 ballistic protection.

The Anubis is gyrostabilized on two axes, and is equipped with a thermal imager, a CCD camera, an automatic fire control system, as well as an easy-safe laser range finder. Detection ranges during night can go up to 6 km for a vehicle and 3 km for a human being, these distances are reduced to one-third for identification. The turret is electrically controlled, but can also be controlled manually as a backup.

In use
The Anubis RCWS was first seen at the National Military Parade in 2014, where it was mounted on a Dacia Duster military model. In 2018, it was presented at the  exposition.

A first contract was signed in 2017 when it was announced that the Romanian Navy purchased 4 turrets equipped with 12.7 mm machine guns. The systems were to be added on the frigates, in order to provide anti-piracy capabilities. In 2021, at the Egypt Defence Expo, it was announced that Egypt acquired a new lot of Anubis systems. Pro Optica previously delivered a number of Anubis turrets equipped with 12.7 mm machine guns to the Egyptian Army. The systems are used by the Egyptian 4x4 light armored vehicles.

In 2023, several BMC Kirpi MRAPs with Anubis RCWS systems were spotted in Ukraine. These vehicles were part of a delivery of over 40 Kirpi MRAPS in support of Ukraine in the Russo-Ukrainian War.

References

External links
PRO OPTICA - ANUBIS Presentation video on YouTube

Vehicle-mounted weapons
Remote weapon stations
Weapons of Romania
RCE - Remote Code Execution. RCE - Remote Code Execution is a dystopian science fiction novel by the German-Swiss author Sibylle Berg, published in April 2022 by Kiepenheuer & Witsch. It follows her work GRM. Brainfuck, and features some of the same characters, but stands alone and is not a direct sequel to it.

Plot 
The novel is set in a dystopian future, in which large parts of the world have become uninhabitable and governments have privatised infrastructure, health care and police. Most people live in a surveillance state, while the rich can afford to repair their bodies by nanobots. While most have resigned themselves to this state, a group of five hackers in Ticino, Switzerland, plan a digital revolution by spreading information about the exploitative system via Remote code execution (hence the title of the book).

Reception 
In literaturkritik.de, Werner Jung praises Berg's mastery of changing tone, from brash and post-punk to laconic, realistic narration, and compares the novel to the works of Dave Eggers. Rainer Moritz of Deutschlandfunk Kultur also sees parallels to Eggers, Raphaela Edelbauer, and Hanya Yanagihara, but complains of the characters becoming simple mouthpieces of the author at times. However, he describes it as "an exhausting, funny, annoying, redundant, humane book that omits no cliché, yet corresponds amazingly well to our apocalyptic present." Juliane Bergmann of NDR notes that the book has the typical Sybille-Berg sound; it envelops the reader in darkness and is hardly bearable and, hence, brilliant. However, she complains that the book loses itself in technical details, so the characters and dialogue, Berg's strengths, fail to reach their full potential. of the Frankfurter Rundschau notes that Berg uses her literary skill to address all the topical themes of the day and asks whether a revolution that removes everything that damages the bulk of humanity is possible without brute force.

The book made the Spiegel best-seller list shortly after its publication, entering at position 14.

References 

2022 science fiction novels
Dystopian novels
German-language literature
Swiss science fiction novels
David Lederman. David M. Lederman was an American aerospace engineer, entrepreneur, author, and humanitarian. He is noted for founding Abiomed, the company that developed AbioCor, the first fully implantable artificial heart.

Biography 
Lederman was born in Bogota, Colombia to Israel Joseph Lederman and Rifka Lederman on May 26, 1944. His parents were immigrants who escaped the Nazis in Poland. He went to Colegio Americano and Universidad de Los Andes before his family moved to the United States in 1964. He completed his bachelor’s degree in engineering at Cornell University, where he also obtained his Master’s degree in Aerospace Engineering and Doctoral degree in Laser Physics and Aerospace Engineering.

Career 
After graduation, Lederman went back to Colombia to work as an associate professor and director of the Universidad de Los Andes’ biomedical research department. In 1974, he relocated to the U.S. and worked for Avco Everett Research Laboratory. In this company, he was a senior research scientist working on cardiac assist technology. In 1979, he was appointed the chair of the company’s Medical Research Committee.

Lederman led a team that worked on biotechnology that extended the lives of patients awaiting heart transplants. This produced a ventricular assist device (VAD) described as a sac-type assist machine called the AVCO LVAD. This would later become the ABIOMED BVS 5000. In 1981, he founded Applied Biomedical Corp. with the aim of developing the first artificial heart. The company went public in 1987. Lederman headed it as CEO until 2004, when he was replaced by Michael Minogue.

During the early 2000s, Lederman headed the research team that developed AbioCor, a completely implantable pump. Although pulsatile, the device had no air compressor and was capable of recharging itself wirelessly and sending messages through the skin. Prior to this development, its predecessor - the Jarvik-7 - was only partially implantable and required connections to external devices. The US Food and Drug Administration approved the use of AbioCor in 2009. Outside of medical experiments, this was the first time regulators allowed the mechanical replacement of hearts for human patients.

In 2005, after 24 years as CEO of Abiomed, Lederman retired as president and chairman of the board. He published his research and gave lectures around the world. He was also known for his humanitarian activities. He funded, for instance, an initiative that supported Israeli children from Sderot while the town sustained a missile attack coming from the Gaza Strip. 

On August 15, 2012, he died of pancreatic cancer at his home in Marblehead, Massachusetts. His death is said to have played a role in AbioMed’s decision to abandon the production and further development of AbioCor.

References 

1944 births
2012 deaths
American inventors
Cornell University alumni
Robert Dahlander. Robert Dahlander (9 June 1870 – 18 October 1935) was a Swedish engineer and public agency administrator. He was also highly active and commissioner in several technological associations in the fields of gas and electricity.

Born in Gothenburg Sweden, he is internationally best known for the co-innovation of the Dahlander connection while employed at ASEA, that through a slightly altered pole connection allows a single-winded induction motor to run at two different speeds depending on which connectors are used.

References

 
 Robert Dahlander, Riksarkivet.
  Robert Dahlander, Nordisk familjebok.

1870 births
1935 deaths
Swedish engineers
19th-century Swedish businesspeople
Strontium stearate. Strontium stearate is a metal-organic compound, a salt of strontium and stearic acid with the chemical formula . The compound is classified as a metallic soap, i.e. a metal derivative of a fatty acid.

Synthesis
A reaction of strontium hydroxide with stearic acid.

Physical properties
The compound forms white powder. Insoluble in alcohol, soluble (forms gel) in aliphatic and aromatic hydrocarbons.

Uses
Strontium stearate is used in grease and wax compounding.

It is also used as a lubricant to improve the flow characteristics of polyolefin resins.

References

Stearates
Strontium  compounds