omniomni/omni-engineering huggingface dataset:
High Technology Theft Apprehension and Prosecution Program. The High Technology Theft Apprehension and Prosecution Program (HTTAP Program) is a program within the California Emergency Management Agency (CalEMA) concerned with high technology crime including white-collar crime, cracking, computerized money laundering, theft of services, copyright infringement of software, remarking and counterfeiting of computer hardware and
software, and industrial espionage.

High Technology Crime Advisory Committee 

The High Technology Crime Advisory Committee was "established for the purpose of formulating a comprehensive written strategy for addressing high technology crime throughout the state" and is composed of the following individuals appointed by the CalEMA Secretary:

 a designee of the California District Attorneys Association
 a designee of the California State Sheriffs Association
 a designee of the California Police Chiefs Association
 a designee of the California Attorney General
 a designee of the California Highway Patrol
 a designee of the High Technology Crime Investigation Association
 a designee of the California Emergency Management Agency
 a designee of the American Electronics Association to represent California computer system manufacturers
 a designee of the American Electronics Association to represent California computer software producers
 a designee of CTIA - The Wireless Association
 a representative of the California Internet industry
 a designee of the Semiconductor Equipment and Materials International
 a designee of the California Cable & Telecommunications Association
 a designee of the Motion Picture Association of America
 a designee of the California Communications Associations (CalCom)
 a representative of the California banking industry
 a representative of the California Office of Information Security and Privacy Protection
 a representative of the California Department of Finance
 a representative of the California State Chief Information Officer
 a representative of the Recording Industry Association of America
 a representative of the Consumers Union

Task Forces 

The program is implemented by funding and supporting independent regional task forces:

 the Computer and Technology Crime High-Tech Response Team (CATCH) of the San Diego County District Attorney's Office
 the Northern California Computer Crimes Task Force (NC3TF) of the Marin County District Attorney's Office
 the Rapid Enforcement Allied Computer Team (REACT) of the Santa Clara County District Attorney's Office
 the Southern California High Tech Task Force (SCHTTF) of the Los Angeles County Sheriff's Department
 the Sacramento Valley Hi-Tech Crimes Task Force (SVHTCTF) of the Sacramento County Sheriff's Department

References

External links 
 Rapid Enforcement Allied Computer Team (REACT) task force
 Sacramento Valley Hi-Tech Crimes Task Force (SVHTCTF)

State law enforcement agencies of California
Year of establishment missing
Saint Petersburg State University of Telecommunications. The Bonch-Bruevich Saint Petersburg State University of Telecommunications (Russian: Санкт-Петербургский государственный университет телекоммуникаций им. проф. М. А. Бонч-Бруевича; Russian: СПбГУТ, SPbSUT) is a communications university.

History 

The Saint Petersburg State University of Telecommunications was established in 1930 under the name Leningrad Institute of Communication Engineers. It offers training programs in various courses like: communications and telecommunications, information technologies, computer science, economics, management, advertising and public relations. 

The Leningrad Institute of Communication Engineers was renamed as the Leningrad Electro-Technical Institute of Communications (LEIC), after Bonch-Bruevich.

In 1993, SPbSUT was reconstituted, and gained its new status as the Bonch-Bruevich Saint Petersburg State University of Telecommunications, by order of the Ministry of Communication of Russian Federation.

In 2017, SPbSUT took 1st place among 28 technical and technological universities in St. Petersburg in the “Best University of Russia” ranking and 4th place based on the results of grant activity of universities in St. Petersburg; entered the TOP 100 best industry universities in the annual National University Ranking; became a two-time winner of the St. Petersburg Government Prize in the categories “In the field of educational work with students, development of their professional skills” and “In the field of integration of education, science and industry."

In 2018, according to the results of the 2017/2018 academic year SPbSUT entered the TOP 10 best industrial universities of the IX annual National University Rating of the International Information Group "Interfax" and the international rating of higher education institutions ARES-2018 as a university demonstrating reliable quality of teaching, scientific activity and demand for graduates by employers. (Source)

Structure 

As of September 2014, the university has 8 faculties, 1 institute and 6 research centers.

Branches 

Saint Petersburg College of Telecommunications

Arkhangelsk College of Telecommunications

Smolensk College of Telecommunications

Notable alumni 
 Boris Gryzlov
 Viktor Ivanov
 Leonid Reiman

References

External links 
 Homepage of Saint Petersburg State University of Telecommunications named after Bonch-Bruevich (in English)
 The website for Scientific and Research Activities of SPbSUT (in Russian)

Universities in Saint Petersburg
1930 establishments in the Soviet Union
Telecommunications organizations
Telecommunication education
KEPCO E&C. KEPCO E&C (full name: KEPCO Engineering & Construction Company, INC., formerly: KOPEC) is a power plant design and engineering company in South Korea.  It was established in 1975 as a public enterprise. KEPCO E&C engages in designing, engineering, and constructing nuclear and fossil power plants. The company operates as a subsidiary of Korea Electric Power Corporation (KEPCO).

KEPCO E&C is providing total integrated Engineering, procurement and construction (EPC) services. It has designed and built a total of 14 nuclear power plants using their own technology, including the development of APR-1400 next-generation nuclear power plant. The company has also designed and built over 40 coal power plants and combined cycle & cogeneration plants. In 2006, KEPCO E&C won the 'Be award', Plant:Multidiscipline Engineering, for the Shin-Kori Nuclear Power Plant in Korea.

KEPCO E&C became the world's first business to develop the low-temperature DeNOx catalyst.

In January 2024, KEPCO signed a MOU with Lloyd’s Register, Zodiac Maritime, and KSOE to design and build nuclear powered bulk carriers and container ships.

See also 
 Korea Electric Power Corporation (KEPCO)
 Korea Hydro & Nuclear Power (KHNP)

References

External links 
 

Nuclear technology companies of South Korea
Electrical engineering companies of South Korea
Construction and civil engineering companies established in 1975
South Korean companies established in 1975
Companies in the KOSPI 200
Elzer Berg. The Elzer Berg is a hill in Hesse, Germany. The Autobahn A3 crosses the hill. Its downhill slope facing Limburg is known for 
its speed limit that is rigorously enforced with cameras mounted in the sign gantries.

A tunnel of the high speed train track from Cologne to Frankfurt runs under the hill as well.

Hills of Hesse
Mountains and hills of the Westerwald
Macroscopic traffic flow model. A macroscopic traffic flow model is a mathematical traffic model that formulates the relationships among traffic flow characteristics like density, flow, mean speed of a traffic stream, etc. Such models are conventionally arrived at by integrating microscopic traffic flow models and converting the single-entity level characteristics to comparable system level characteristics. An example is the two-fluid model.

The method of modeling traffic flow at macroscopic level originated under an assumption that traffic streams as a whole are comparable to fluid streams. The first major step in macroscopic modeling of traffic was taken by Lighthill and Whitham in 1955, when they indexed the comparability of ‘traffic flow on long crowded roads’ with ‘flood movements in long rivers’. A year later, Richards (1956) complemented the idea with the introduction of ‘shock-waves on the highway’, completing the so-called LWR model. Macroscopic modeling may be primarily classified according to the type of traffic as homogeneous and heterogeneous, and further with respect to the order of the mathematical model.

References 

 M.J. Lighthill, G.B.Whitham, On kinematic waves II: A theory of traffic flow on long, crowded roads. Proceedings of the Royal Society of London Series A 229, 317–345, 1955
 P.I. Richards, Shock waves on the highway, Operations Research 4, 42–51., 1956
 M. Papageorgiou, Some remarks on macroscopic traffic flow modeling, Elsevier Science Ltd., Vol. 32, No. 5, pp. 323 to 329, 1998
 C.F. Daganzo, Fundamentals of transportation and traffic operations, Elsevier Science Ltd., 1997
 M. Di Francesco, M.D.Rosini, Rigorous Derivation of Nonlinear Scalar Conservation Laws from Follow-the-Leader Type Models via Many Particle Limit, Archive for Rational Mechanics and Analysis, 2015

Road traffic management
Mathematical modeling
Traffic flow
A. Leo Stevens Parachute Medal. The A. Leo Stevens Parachute Medal is named after the ballooning and parachute pioneer, Albert Leo Stevens. It was first awarded to Joe Crane of Mineola, New York, by Augustus Post, at the Early Birds of Aviation banquet, held in the Hotel Carter in Cleveland, Ohio, on September 4, 1948, during the National Air Race.

Winners
1948 Joe Crane 
1949 E. Verne Stewart
1950 Arthur J. Lapham
1951 William R. Lovelace
1952 Harold R. Harris
1953 Amos R. Little
1954 John Stapp
1954 Thomas E. Willson (Special) 
1955 George F. Smith (parachuter)
1956 Helmut G. Heinrich
1957 Robert F. Oakley
1958 Jacques-André Istel
1959 Joseph Kittinger

See also
 List of aviation awards

References

Parachutist badges
Aviation awards
Awards established in 1948
Health informatics tools. To provide the safe and effective delivery of medical care, virtually all clinical staff use a number of front-line health informatics tools in their day-to-day operations. The need for standardization and refined development of these tools is underscored by the HITECH Act and other efforts to develop electronic medical records. Often, the development of these electronic processes is hampered by the conversion process from older paper processes, which were developed before the stricter development guidelines required in an electronic environment.

To successfully implement each of these tools, hospitals generally must define who is responsible for, and a prescribed manner of building, testing, approving, coding, publishing, implementing/educating, and tracking the tool.

Tools 
Front-line health informatics tools (sometimes informally called the "clinical informatics toolbelt") generally include one of the following:

 Policies and procedures – Tools used to define organizational standards and how to achieve them.
 Procedures – Documents to help learn how to achieve a goal
 Clinical protocols – Tools used to standardize and automate care in a common clinical scenario.
 Orders – Tools used to record and transmit detailed instructions to perform a procedure or deliver care
 Order sets – Tools used to standardize and expedite the ordering process for a common clinical scenario
 Clinical pathways – Groupings of order sets, used to standardize the rounding process for a common clinical diagnosis
 Guidelines – Documents used to educate general care objectives for a common clinical scenario
 Clinical documentation (includes Notes, Forms, and Flowsheets) – Documents used to record and transmit a patients' history, condition, responses, therapies, activities, and/or plans
 Clinical user profiles – Tools used to personalize and/or gather information about clinical users
 Clinical templates – Documents used to standardize and expedite the development of a clinical document
 Clinical staff education modules – Documents used to educate a staff member about a common clinical subject
 Clinical patient education modules – Documents used to educate a patient about a common clinical subject
 Clinical staff schedules – documents used to determine who is responsible for care at a particular date and time
 Clinical committee charters – Documents used to assign responsibility to a clinical committee to perform a particular task
 Clinical committee minutes – documents used to record the decisions and activities of a clinical committee
 Telephone number lists – Documents used to help contact a clinical staffmember
 Wikis – Electronic documents used to collect information and web links for a common clinical group
 Clinic Management Solutions – Tools used to record full clinical history of patients.
 Emails, posters, and staff meetings – Tools used to make announcements and deliver short messages

Clinical informaticists create clinical changes by properly constructing and implementing these tools.

References

Health informatics
Project method. The project method is a medium of instruction which was introduced during the 18th century into the schools of architecture and engineering in Europe when graduating students had to apply the skills and knowledge they had learned in the course of their studies to problems they had to solve as practicians of their trade, for example, designing a monument, building a steam engine. In the early 20th Century, William Heard Kilpatrick expanded the project method into a philosophy of education. His device is child-centered and based in progressive education. Both approaches are used by teachers worldwide to this day. Unlike traditional education, proponents of the project method attempt to allow the student to solve problems with as little teacher direction as possible. The teacher is seen more as a facilitator than a deliver of knowledge and information.

Students in a project method environment should be allowed to explore and experience their environment through their senses and, in a sense, direct their own learning by their individual interests. Very little is taught from textbooks and the emphasis is on experiential learning, rather than rote and memorization. A project method classroom focuses on democracy and collaboration to solve "purposeful" problems.

Kilpatrick devised four classes of projects for his method: construction (such as writing a play), enjoyment (such as experiencing a concert), problem (for instance, discussing a complex social problem like poverty), and specific learning (learning of skills such as swimming).

Literature
 Knoll, Michael (1996): Faking a dissertation: Ellsworth Collings, William H. Kilpatrick and the "project curriculum". Journal of Curriculum Studies 28, no. 2, pp. 193–222.
 Knoll, Michael (1997): The Project Method: Its Vocational Education Origin and International Development. Journal of Industrial Teacher Education 34, 59-80. 
 Knoll, Michael (2010): "A Marriage on the Rocks": An Unknown Letter by William H. Kilpatrick About His Project Method. Eric-online document 511129.
 Knoll, Michael (2012): “I Had Made a Mistake”: William H. Kilpatrick and the Project Method. Teachers College Record 114, issue 2, 45 pages.
 Knoll, Michael (2014) Project Method. In D. C. Phillips (ed) Encyclopedia of Educational Theory and Philosophy, Vol. 2 (London: Sage), 665-669.

References

Philosophy of education
Extended static checking. Extended static checking (ESC) is a collective name in computer science for a range of techniques for statically checking the correctness of various program constraints. ESC can be thought of as an extended form of type checking. As with type checking, ESC is performed automatically at compile time (i.e. without human intervention). This distinguishes it from more general approaches to the formal verification of software, which typically rely on human-generated proofs. Furthermore, it promotes practicality over soundness, in that it aims to dramatically reduce the number of false positives (overestimated errors that are not real errors, that is, ESC over strictness) at the cost of introducing some false negatives (real ESC underestimation error, but that need no programmer's attention, or are not targeted by ESC). ESC can identify a range of errors that are currently outside the scope of a type checker, including division by zero, array out of bounds, integer overflow and null dereferences.

The techniques used in extended static checking come from various fields of computer science, including static program analysis, symbolic simulation, model checking, abstract interpretation, SAT solving and automated theorem proving and type checking. Extended static checking is generally performed only at an intraprocedural, rather than interprocedural, level in order to scale to large programs. Furthermore, extended static checking aims to report errors by exploiting user-supplied specifications, in the form of pre- and post-conditions, loop invariants and class invariants.

Extended static checkers typically operate by propagating strongest postconditions (respectively weakest preconditions) intraprocedurally through a method starting from the precondition (respectively postcondition). At each point during this process an intermediate condition is generated that captures what is known at that program point. This is combined with the necessary conditions of the program statement at that point to form a verification condition. An example of this is a statement involving a division, whose necessary condition is that the divisor be non-zero. The verification condition arising from this effectively states: given the intermediate condition at this point, it must follow that the divisor is non-zero. All verification conditions must be shown to be false (hence correct by means of excluded third) in order for a method to pass extended static checking (or "unable to find more errors"). Typically, some form of automated theorem prover is used to discharge verification conditions.

Extended static checking was pioneered in ESC/Modula-3 and, later, ESC/Java. Its roots originate from more simplistic static checking techniques, such as static debugging or lint and FindBugs. A number of other languages have adopted ESC, including Spec# and SPARKada and VHDL VSPEC. However, there is currently no widely used software programming language that provides extended static checking in its base development environment.

See also 
Java Modeling Language (JML)

References

Further reading

Static program analysis tools
Formal methods
Hillcroft Avenue. Hillcroft Avenue is an arterial road in western Houston, Texas, United States. The street spans  and is between Beltway 8 and Westheimer Road. To the south Hillcroft has a wide boulevard, and many single family homes surround Hillcroft; some subdivisions use fences and shrubs as a barrier between Hillcroft and the houses. To the north Hillcroft is surrounded by strip centers and multifamily developments. Hillcroft runs through Brays Oaks (Fondren Southwest), Gulfton, and the Mahatma Gandhi District.

Bob Stein, the dean of the School of Social Sciences of Rice University, said "Hillcroft is disorganized but not necessarily unorganized development. It is what Houston is all about. When you go from one end of Hillcroft to the other end, you cross every ethnic and racial group in our city. As a result, I want to say it is a microcosm." Tara Dooley of the Houston Chronicle described Hillcroft as "pure Houston, created with dedication to the automobile and an aversion to zoning."

History
In the 2000s the India Culture Center and several South Asian merchants originally wanted to rename a stretch of Hillcroft Avenue to Mahatma Gandhi Avenue; however that required signatures of 75% of commercial property owners of the given part of the street. Manisha Gandhi Mehta, a spokesperson for the opening event that was held on January 16, 2010, said that the organizers of the district found difficulty in getting non-South Asian merchants to agree to the renaming of the street. In 2009 the head members of the India Culture Center and several South Asian merchants agreed to pay $10,000 for the street signage that designates the area as the Mahatma Gandhi District.

The first section of Hillcroft Avenue, between Bellaire Boulevard and what is now Bissonnet Street, was built in the mid-1950s as part of the Sharpstown development. It initially featured a ditch in the median which was covered in the late 1970s.

Throughout 2010, Hillcroft Avenue was fully reconstructed between Bellaire Boulevard and the Southwest Freeway (US 59). This section was widened from six lanes to eight lanes and was completed in October. The road's exceptionally wide right-of-way ( allowed for this widening while maintaining a landscaped median.

References

Roads in Houston
Fadel Mohammed Ali. Major General Engineer Fadel Mohammed Ali (; 2010–1945) was the Director of Royal Maintenance Corps of the Jordanian Armed Forces responsible for supporting continuous operations for the military, until the year 2001.

Early life 
Fadel was born in Ramla in 1945. He finished his GCSE from Ramala in 1965 ranking 4th among all his peers that graduated in 1964 in Jordan.

Education
Fadel pursued his bachelor's degree in Electrical Engineering at Alexandria University, Egypt, and graduated in 1970 ranking one of the top 10 graduates. After joining the Army, he was sent in a scholarship to Dallas, Texas, United States, where he finished his master's degree from Southern Methodist University in 1978 with an honors ranking. During his military career, he passed many training courses in the US, UK & France.

Scientific Research Papers

 Computer Applications in Modern Military Equipment and Army Maintenance Approach
Prepared for the University of Jordan, Faculty of Engineering and Technology

 Calibration Policy and Requirements
Paper prepared when The Arab Organization for Standardization and Metrology (ASMO) organized a Symposium on Metrology for the Development of Arab Countries in cooperation with the University of Jordan.

 Laboratory Electronic Equipment Maintenance
This paper had been prepared when the University of Jordan, Faculty of Engineering and Technology, organized a Regional Symposium on Laboratory Equipment Maintenance in cooperation with the UNESCO Regional Office for science and Technology in the Arab countries (ROSTAS).

 National Information Bank for Electronic Instruments
Prepared for the General Headquarters of the Jordanian Armed Forces (JAF) according to Prince AL-HASSAN instructions during his meeting with the JAF Engineers

 National Computer Software Center, Jordan
Prepared for the National Resources Development Company, Amman – Jordan

 Laser and Night Vision Equipment
-	Infra - Red Thermal Imagining Systems 
-	Image Intensifier Tube Night Vision Systems 
-	LASER Tank Fire Control Systems, LTFCS 
-	Wire Guided Missiles 
-	LASER Simulating Systems, LSS 
-	LASER (Characteristics, Types, Elements, Civilian & Military Applications)

Positions held
 1972–1980	Chief of the Armored Vehicles, Guided Weapons and Electronic Sections
 1980–1984	Chief of the Technical Research and Development Branch at DRMC
 1984–1990	Commander of the Electronic Equipment Workshops
 1990–1992	Head of the Technical Division (Directorate of the Royal Maintenance Corps, DRMC)
 1992–2000	Commander of the Electronic Equipment Workshops
 2000–2001	Director of ‘The Royal Maintenance Corps’ – Jordan Armed Forces
 2001–2003	King Abdullah II Design & Development Bureau (KADDB) Technical Consultant. CLS-Jordan Associate Director / KADDB
 2003–2005 	Prince Faisal IT Center (PFITC) Director General / KADDB
 2005–2008	Technical Consultant for both Jordanian ESARSV and an American company, VSE
 2008–2010	Owner Representative / Chief of Engineering Department at Tala Bay

References

External links 
 Royal Jordanian Maintenance Corps
 Jordanian Armed Forces

1945 births
2010 deaths
Alexandria University alumni
Southern Methodist University alumni