omniomni/omni-engineering huggingface dataset:
Proof of secure erasure. In computer security, proof of secure erasure (PoSE) or proof of erasure is a remote attestation protocol, by which an embedded device proves to a verifying party, that it has just erased (overwritten) all its writable memory. The purpose is to make sure that no malware remains in the device. After that typically a new software is installed into the device.

Overview 
The verifying party may be called the verifier, the device being erased the prover.
The verifier must know the device's writable memory size from a trusted source and the device must not be allowed to communicate with other parties during execution of the protocol, which proceeds as follows. The verifier constructs a computational problem, which cannot be solved (in reasonable time or at all) using less than the specified amount of memory, and sends it to the device. The device responds with the solution and the verifier checks its correctness.

Protocol constructions

Naive approach 
In the simplest implementation the verifier sends a random message as large as the device's memory to the device, which is expected to store it. After the device has received the complete message, it is required to send it back. Security of this approach is obvious, but it includes transfer of a huge amount of data (twice the size of the device's memory).

This can be halved if the device responds with just a hash of the message. To prevent the device from computing it on the fly without actually storing the message, the hash function is parametrized by a random value sent to the device after the message.

Communication-efficient constructions 
Avoiding the huge data transfer requires a suitable (as stated in Overview) computational problem, whose description is short. Dziembowski et al. achieve this by constructing what they call an (m − δ, ε)-uncomputable hash function, which can be computed in quadratic time using memory of size m, but with memory of size m − δ it can be computed with at most a negligible probability ε.

Communication- and time-efficient constructions 
Karvelas and Kiayias claim to have designed the first PoSE with quasilinear time and sublinear communication complexity.

Relation to proof of space 
Proof of space is a protocol similar to proof of secure erasure in that both require the prover to dedicate a specific amount of memory to convince the verifier. Nevertheless, there are important differences in their design considerations.

Because the purpose of proof of space is similar to proof of work, the verifier's time complexity must be very small. While such property may be useful for proof of secure erasure as well, it is not fundamental to its usefulness.

Proof of secure erasure on the other hand requires the prover to be unable to convince the verifier using less than the specified amount of memory. Even this may be useful for the other protocol, however proof of space is not harmed if the prover may succeed even with significantly less space.

References 

Data erasure
Computer security procedures
Cryptographic protocols
Communications protocols
Anna-Karin Tornberg. Anna-Karin Tornberg is a Swedish mathematician currently at Royal Institute of Technology who was awarded the Göran Gustafsson Prize and Leslie Fox Prize for Numerical Analysis and elected to the Royal Swedish Academy of Engineering Sciences. Her research concerns computational mathematics.

As a faculty member at New York University in 2006, Tornberg won a Sloan Research Fellowship. She was an invited speaker on numerical analysis and scientific computing at the 2018 International Congress of Mathematicians. She is an alumnus of the Global Young Academy

References

External links

Year of birth missing (living people)
Living people
New York University faculty
Academic staff of the KTH Royal Institute of Technology
21st-century Swedish mathematicians
Swedish women mathematicians
Sloan Research Fellows
KTH Royal Institute of Technology alumni
ARDC-13. The ARDC-13 was a 2800-ton auxiliary floating drydock used for testing during the Able and Baker nuclear weapon tests of Operation Crossroads in the Bikini Atoll. It was used to determine the effects of the atomic bomb phenomena on land-based concrete structures. The final report on ARDC-13 was part of a final supplementary report to the Commander Joint Task Force One. The ARDC-13 was built by the Haddock Company of Pasadena, California, in March 1946 under contract Noy-11999. It was 84 feet by 389 feet with a depth of 14 feet. Two wingwalls, both 26 feet high and 306 feet long, were mounted on top of the ARDC-13. Steel frames were built within the wingwalls for extra support. The wingwalls consisted of transverse frames and both water and non-watertight bulkheads. The ARDC-13 was important for confirming that water-front structures needed to be designed to withstand severe waves and flooding as ports are considered a good target for bombs.

Test A (Test Able) 
Test Able (or test A)was performed on July 1, 1946, as a part of Operation Crossroads. The test caused cracking and derangement of interior furnishing within the ARDC-13 at eight-hundred and forty yards away from the blast. However, the dock retained its structural shape. There was charring of the port side fenders and the outboard face of the port wall was lightly charred as well. All walkways and other timber on the dock was heavily charred or destroyed. The dock was cleared radiologically on July 4, 1946, and repaired to prepare for test B. The dock was re-positioned on July 13, 1946, using four twenty-four thousand pound anchors and readied for Test Baker.

Williams Day Rehearsal of Test Baker 
The Williams Day Rehearsal of Test Baker was conducted using four M-46 flash bombs mounted on top of the starboard wing wall.

Test B (Test Baker) 
Test B (or Test Baker) was conducted on July 24, 1946, as part of Operation Crossroads and the test resulted in no considerable damage to the concrete vessels, however, it was noted that the test worsened previous cracking from test A. The ARDC-13 showed radiation levels seventy times that of the allowed tolerance eight days after the test at twelve-hundred and fifty yards from the blast. The radiology contamination only allowed the personnel between sixteen and thirty minutes per day aboard the dry dock.

The ARDC-13 capsized to port on August 4, 1946, due to excessive flooding. The Director of Ship Material recommended that the dry dock be sunk. The ARDC-13 was sunk using demolition charges at 1735 on August 6, 1946.

References 

American nuclear weapons testing
1946 in the United States
Nuclear testing at Bikini Atoll
Nuclear weapons of the United States
Drydocks
Floating drydocks of the United States Navy
Kitty Hawk Corporation. Kitty Hawk Corporation was an American aircraft manufacturer producing electric ultralight aircraft.

History
The company was founded as Zee.Aero in 2010. It was supported by Google's co-founder Larry Page. In September 2022, it was announced that the company was winding down, though their joint venture with Boeing, Wisk Aero would continue.

Products

Kitty Hawk Flyer

The Flyer was an ultralight aircraft which was kept aloft by eight battery-powered propellers. The engineering was led by Cameron Robertson and Todd Reichert. The production Flyer was introduced on 6 June 2018. A license was not required to pilot the Flyer, as it was  built under US FAR Part 103 ultralight regulations. After 25,000 unmanned or crewed flights combined, using 111 aircraft, Kitty Hawk ended the programme on 3 June 2020; CEO Sebastian Thrun stated that, with Flyer, the company "could not find a path to a viable business".

Cora PAV

Since March 2018, Kitty Hawk Corporation had been testing an autonomous, electric air taxi prototype in New Zealand called Cora and code-named Zee.Aero.

In 2019, the Kitty Hawk Cora autonomous personal air vehicle prototype was split off into a joint venture between Wisk Aero LLC and Boeing, becoming the Wisk Cora. In December 2019, the Cora team was rebranded and spun off as a separate company called Wisk Aero.

Kitty Hawk Heaviside
In 2019, Kitty Hawk introduced a new aircraft called the Heaviside. It is designed to be quieter than normal aircraft.

Kitty Hawk H2 (Heaviside 2)
In 2022, Kitty Hawk introduced the 2nd iteration of its Heaviside, named H2.

References

External links
 

Urban air mobility
Red Ball Garage. The Red Ball Garage, also known as the Ed Neil Garage, is a historic building located in Swedesburg, Iowa, United States.  The building is located along what was known as the Military Road.  Because of the marshy land in the area, wagons and buggies had to be pulled out of the mud.  In 1913 the road became a part of the Red Ball Route, a highway that linked the Minneapolis/St. Paul area with St. Louis.  It received its name from the highway signs used to mark the route.  The highway was paved from 1929 to 1930, and later became U.S. Route 218 until it was moved to the east as a four lane-highway in the 1990s.

This property has been the location of vehicle-oriented businesses since 1870 when a blacksmith shop opened here.  It was followed by a blacksmith and wagon-making business.  As automobiles started to replace wagons the blacksmith shop was replaced by a garage.  This single-story, brick building was built in 1929, replacing the original wood garage.  It was remodeled in 1944 to include a Studebaker dealership.  The dealership was closed in 1966 when Ed Neil bought the business.  It continued to house a garage and small motor repair shop until 1998.  The Swedish Heritage Museum acquired the building that year, and it was listed on the National Register of Historic Places in 1999.

References

Commercial buildings completed in 1929
Swedesburg, Iowa
Buildings and structures in Henry County, Iowa
National Register of Historic Places in Henry County, Iowa
Transportation buildings and structures on the National Register of Historic Places in Iowa
Pierre Wiltzius. Pierre Wiltzius ( Luxembourg - ) is a physicist, the Executive Dean of the College of Letters and Science and Susan & Bruce Worster Dean of Science at the University of California, Santa Barbara and an Elected Fellow of the American Physical Society and of the American Association for the Advancement of Science (Engineering, 1999).

His research has varied from photonic crystals and new fabrication techniques such as multi-beam interference lithography and colloidal self-assembly, complex fluids and soft condensed matter, resulting in high citations of 1310, 771 and 537, two of them consistently published by Nature.

Education
Wiltzius attended the ETH Zurich (Swiss Federal Institute of Technology) in Zurich, Switzerland.  There he earned Bachelor of Science in Physics  ("Diplomphysiker") as of 1976 and Doctor of Natural Science (DSc.N.) in 1981. His doctoral thesis An investigation of the fibrinogen to fibrin transition by means of light scattering was interdisciplinary, examining blood coagulation from viewpoints of both physics and medicine.

He was a postdoctoral fellow in the Physics Department at UC Santa Barbara from 1982 to 1984.

Career
Wiltzius worked at AT&T Bell Laboratories (later Lucent Technologies) from 1984 to 2001, rising to the position of director of semiconductor physics research.

As of 2001, Wiltzius became Director of the Beckman Institute for Advanced Science and Technology and Professor of Materials Science and Engineering and of Physics at the University of Illinois at Urbana–Champaign, succeeding Jiri Jonas. He served as Director from 2001 to 2008.

As of 2008, Pierre Wiltzius joined the University of California, Santa Barbara, as Executive Dean of the College of Letters and Science, the Susan & Bruce Worster Dean of Science, and Professor of Physics.

Research
His research interests include soft condensed matter and complex fluids including polymers, colloids, and liquid crystals. He has investigated the development of new fabrication techniques for photonic crystals including colloidal self-assembly and multi-beam interference lithography. He was also involved in developing plastic transistors on flexible substrates for various applications, including electronic paper.

Honors
 2001, Senior member of the Institute of Electrical and Electronics Engineers (IEEE)
 2001,  R&D100 Innovation Award from R&D Magazine for printed plastic display circuits, given to the Bell/Lucent Research Group, including Zhenan Bao, John A. Rogers, Pierre Wiltzius, and others.
 1999, Fellow of the American Association for the Advancement of Science 
 1993, Fellow of the American Physical Society, "For pioneering experiments using light and neutron scattering to study dynamics of non-equilibrium macromolecular systems and binary fluids in porous media."

References

1952 births
Living people
Fellows of the American Association for the Advancement of Science
University of California, Santa Barbara faculty
21st-century American engineers
Fellows of the American Physical Society
ETH Zurich alumni
Optomechatronics. In engineering, optomechatronics  is a field that investigates the integration of optical components and technology into mechatronic systems. The optical components in these systems are used as sensors to measure mechanical quantities such as surface structure and orientation. Optical sensors are used in a feedback loop as part of control systems for mechatronic devices. Optomechatronics has applications in areas such as adaptive optics, vehicular automation, optofluidics, optical tweezers and thin-film technology.

References

External links
 International Society for Optomechatronics
 International Journal of Optomechatronics

Electromechanical engineering
Optical metrology
InspectIT. inspectIT is an open-source application performance management (APM) tool, which enables the diagnosis, analysis and monitoring of Java applications. inspectIT is developed by NovaTec Consulting GmbH, an IT consulting company from Stuttgart (Germany), but it has been made open-source in August 2015.

Functionality 
inspectIT follows a "user-transaction-centered” approach, whereby the focus is on the analysis of concrete user requests. For each request against a system which is supervised by inspectIT, a detailed call tree, named invocation sequence, is constructed. The invocation sequences contain the exact execution times of all invocations of instrumented methods. Using this information, user requests can be analyzed and root causes of potential problems can be discovered. Also included in the invocation sequences are all requests against databases which can be used to detect and solve problems in the database access layer or certain queries.

Since version 1.8.1, inspectIT offers functionality for real user monitoring that records user interaction with, for example, a website or web-based application.

Architecture 
The architecture of inspectIT consists of three main components:
 inspectIT Agent — it is integrated into the system which should be supervised, collects diagnostic information of the integrated measuring points and sends the gathered data to the central inspectIT Server. The agent is designed to introduce as little as possible overhead into the target system, in terms of CPU and memory usage.
 inspectIT Server (also called centralized measurement repository (CMR)) — it receives, processes and stores the diagnostic information sent by the inspectIT agents and provides it to the inspectIT user interface.
 inspectIT User Interface - it is an Eclipse RPC based application and enables the analysis of the diagnostic information provided by the inspectIT Server.

Functioning 
During the Java class loading process of the JVM, a Java-based agent is integrated into the class loading process, which is able to intercept and modify the Java bytecode of loaded classes. Contrary to profilers, inspectIT injects measurement points only at specific locations to keep the overhead of the measurements at a minimum. Using this approach, it allows the user to transparently inject measurement points into an application without adapting its source code.

History and naming 
The development of inspectIT started in the year 2005 under the name NovaSpy as closed source software. It was renamed into inspectIT in 2008 and the first major release (version 1.0) has been released in March 2010. Since then, new versions have been released on a regular basis.

Open source 
On August 14, 2015, inspectIT has been made available as open-source software under the Apache License, Version 2.0 (ALv2).

References

External links 

 Official website
 Documentation
 Website of founding developer

System software
Software testing
Quality management
Software performance management
Mehmet Nazif Günal. Mehmet Nazif Günal (born 1948) is a Turkish billionaire property developer who is the founder and sole owner of conglomerate Mapa Group, which he controls through a wholly owned holding company.

Biography

Günal was born in 1948. He worked as a construction worker from 1962 to 1965, and as a subcontractor in construction until 1971. In 1971 he graduated from the Middle East Technical University in Ankara, with a master's degree in civil engineering.

Günal founded the Mapa Group in 1976 (originally Gunal Construction Trade and Industry Co. Inc.), and has been managing it ever since. The group is active in construction, tourism and transport, and includes MNG Airlines and had its own TV station, TV8. In the 1980s, the company grew from a medium-sized construction company focused on housing, by Günal quickly diversifying the company. The MNG Group is now active in Southeast Europe, the Caucasus, the Middle East, North Africa, the Ivory Coast and Cameroon. With his group he is active in Algeria, the Ivory Coast, in Georgia, Cameroon, Libya, Romania, Saudi Arabia and in the United Arab Emirates. Günal owns ten 5-star hotels, the WoW (World of Wonders) Kremlin Palace and the WoW Topkapi Palace, in Antalya, are "architecturally exact replicas" of the Kremlin and Topkapi palaces. He is a member of the Atlantic Council's board of directors.

Günal is a former executive of the Fenerbahçe S.K. football club. In July 2015, he bought the majority shares in Swiss football club FC Wil. On 8 February 2017, it was announced that Turkish investors had suddenly pulled out of financing FC Wil. In November it was announced at the club's general meeting that Günal and the investors had invested over 20 million Swiss francs in the club in the one and a half years since buying the majority shares, with a loss of CHF 11 million.

Controversies

Günal is a controversial figure due to his perceived closeness with Turkish president Recep Tayyip Erdoğan, who he once describes as a "second Ataturk". The newspaper Taraf reported inconsistencies in Günal's income in 2015, as he did not appear on the government's list of largest taxpayers.

Personal life

Günal is married, with three children, and lives in Istanbul, Turkey. His son Murathan Doruk Günal is also an engineer and is Vice President of the MNG Group, and served as president of FC Wils. Günal's daughter Merve is an engineer who also works for the MNG group.

References

1948 births
Living people
Turkish billionaires
20th-century Turkish businesspeople
21st-century Turkish businesspeople
Middle East Technical University alumni
Gary T. DiCamillo. Gary T. DiCamillo (born c. 1952) is an American businessman. He is the former chairman and chief executive officer of the Polaroid Corporation.

Early life
Gary T. DiCamillo was born circa 1952. He graduated from the Rensselaer Polytechnic Institute, where he earned a bachelor of science in chemical engineering in 1973. He earned a master in business administration from the Harvard Business School in 1975.

Career
DiCamillo began his career at Procter & Gamble. He later worked for McKinsey & Company, followed by Black & Decker. He served as the chairman and chief executive officer of the Polaroid Corporation from 1995 to 2001.

DiCamillo is a partner at Eaglepoint Advisors. He is also an adjunct lecturer at Babson College. He serves on the boards of directors of the Whirlpool Corporation and Pella.

References

Living people
1950s births
Rensselaer Polytechnic Institute alumni
Harvard Business School alumni
American chief executives
American chairpersons of corporations
Babson College faculty
Polaroid Corporation
Whirlpool Corporation people
Flight 670. Flight 670 may refer to two aircraft crashes:

 Aerolineas Argentinas Flight 670 (1957, Argentina) — a DC-4 was flown into extreme weather
 Loganair Flight 670A (2001, Scotland) - ditching of a Short 360 in Firth of Forth
 Atlantic Airways Flight 670 (2006, Norway) — spoilers on a BAe 146 failed
 

0670
Bréguet 25. The Bréguet 25 or XXV was a French two seat fighter (military category C.2) from 1925. It was heavily armed, carrying seven machine guns.

Development

The Bréguet 25 was a single bay sesquiplane with a lower wing area only 28% that of the upper. The dominant upper wing was straight-edged and swept, its chord increasing outboard because the long, wide ailerons broadened towards angled tips. The sweep was 5.25° and dihedral about 1°. The lower wing had the same sweep but no dihedral. Its wings were braced together by a single, strongly outward-leaning, faired interplane strut on each side. A short cabane held the upper wing closely above the fuselage. The wing spars and ribs were metal but the wings were fabric covered.

The engine mountings of the Breguet 25 could accommodate a Lorraine 12E Courlis W12, a Renault V12, a Hispano-Suiza 12G W12 or a Hispano-Suiza 12H V12, all with power in the range . A photo and drawing of the aircraft in June 1925 show it with a V12, rather than a W12 engine and with its retractable radiator mounted below the engine. Behind the engine the fuselage had a structure of steel tubes held together by moulded connections. The engine mounting and forward fuselage, including the cockpit area, were covered in light metal. The pilot's open cockpit was under the trailing edge of the upper wing, which had a large cutout to allow him to see upwards; his forward view was between the wing and the fuselage. He controlled four fixed machine guns, a pair of Vickers guns firing through the propeller and a pair of Darnes on the wings. The gunner's post had three machine guns, with a pair of Lewis guns on a flexible mount and a third firing downwards and rearwards.

The rear part of the fuselage had an ovoid cross section, formed around the steel tube structure with stringers and fabric covered. The Type 25 used the same tail unit as the Breguet 19, with a triangular fin and straight-edged rudder. A triangular tailplane was mounted on top of the fuselage and carried balanced elevators.

The landing gear was conventional and fixed. On each side a tapered metal leg,  narrow near the ground and broadening upwards, angled slightly outwards. It was attached to the engine mounting and carried each end of a single axle. The shock absorbers were contained within the wheels. At the tail the free end of a short strut, hinged to the fuselage, was fixed to a vertical shock absorber within the rudder post, with the tailskid rubber mounted from it.

There are no reports of the first flight of the Breguet 25 in the French press, nor of further developments.

Specifications

References

1920s French fighter aircraft
 0025
Sesquiplanes
Aircraft with fixed conventional landing gear
Single-engined piston aircraft
Anthony M. Dean. Anthony M. Dean is an American engineer and currently at Colorado School of Mines, formerly holding the W. K. Coors Distinguished Professorship.  He graduated from Harvard University and Spring Hill College.

References

Year of birth missing (living people)
Living people
Colorado School of Mines faculty
21st-century American engineers
Harvard College alumni
Harvard Graduate School of Arts and Sciences alumni
Spring Hill College alumni
Place of birth missing (living people)