omniomni/omni-engineering huggingface dataset:
International Conference on Automated Planning and Scheduling. The International Conference on Automated Planning and Scheduling (ICAPS) is a leading international academic conference in automated planning and scheduling held annually for researchers and practitioners in planning and scheduling. ICAPS is supported by the National Science Foundation, the journal Artificial Intelligence, and other supporters.

The IPC and PDDL 

ICAPS conducts the International Planning Competition (IPC), a competition scheduled every few years that empirically evaluates state-of-the-art planning systems on a collection of benchmark problems. The Planning Domain Definition Language (PDDL) was developed mainly to make the 1998/2000 International Planning Competition possible, and then evolved with each competition. PDDL is an attempt to standardize Artificial Intelligence (AI) planning languages. PDDL was first developed by Drew McDermott and his colleagues in 1998, inspired by STRIPS, ADL, and other sources.

History 
The ICAPS conferences began in 2003 as a merge of two bi-annual conferences, the International Conference on Artificial Intelligence Planning and Scheduling (AIPS) and the European Conference on Planning (ECP).

List of Events

References

External links 
 International Planning Competition (IPC)
 Conference locations (ICAPS)
 Conference locations (DBLP)

Recurring events established in 1990
Recurring events established in 2003
Artificial intelligence conferences
Computer science conferences
Automated planning and scheduling
Heavy Electrical Complex. Heavy Electrical Complex (HEC) is a power transformer manufacturing facility located in Hattar Industrial Estate, Haripur, Pakistan. The facility has an annual production capacity of 3,000 MVA.

History

Privatisation
In late 2023, the privatization of HEC was completed with the handing over of share certificates to the buyer, IMS Engineering. The buyer paid Rs 1.4 billion for a 96.6 percent stake in HEC and also assumed additional liabilities of Rs 752 million to Bank of Khyber.

Land transfer
The government handed over the vacant HEC land to the Strategic Plans Division (SPD). The Ministry of Industries and Production had asked the Economic Coordination Committee (ECC) to review its earlier decision to transfer HEC land to SPD and authorize it to proceed in this regard.

See also
 Heavy Mechanical Complex

References

Electrical engineering companies of Pakistan
Manufacturing companies of Pakistan
Energy companies of Pakistan
Companies based in Khyber Pakhtunkhwa
Formerly government-owned companies of Pakistan
Corina Păsăreanu. Corina S. Păsăreanu is a Romanian-American computer scientist with affiliations at the NASA Ames Research Center, with the Carnegie Mellon University CyLab Security and Privacy Institute, and with KBR. Her research involves formal methods, including symbolic execution and the verification of systems of interacting components. She is the author of the book Symbolic Execution and Quantitative Reasoning: Applications to Software Safety and Security (Springer, 2022).

Education
Păsăreanu studied computer science at the Politehnica University of Bucharest, where she earned a bachelor's degree in 1994 and a master's degree in 1995. She earned her Ph.D. in 2001, at Kansas State University, with the dissertation Abstraction and Modular Reasoning for the Verification of Software supervised by Matthew B. Dwyer.

Recognition
In 2010, a paper coauthored by Păsăreanu in 1998 on extracting finite-state models from compiled computer code, suitable for use in model checking, won the Most Influential Paper Award from the International Conference on Software Engineering.

Păsăreanu was named as an ACM Fellow, in the 2023 class of fellows, for "contributions to the development and application of symbolic execution and compositional verification".

References

External links
page

Year of birth missing (living people)
Living people
Romanian expatriates in the United States
Romanian computer scientists
Romanian women computer scientists
American computer scientists
American women computer scientists
Formal methods people
Politehnica University of Bucharest alumni
Kansas State University alumni
2023 fellows of the Association for Computing Machinery
Arthur Baggeroer. Arthur Bernard Baggeroer (born June 9, 1942) is an American electrical engineer and emeritus ford professor of engineering in the Departments of Mechanical Engineering and Electrical Engineering & Computer Science at the Massachusetts Institute of Technology.

Baggeroer is known for his research advancements in signal processing and sonar, and is recognized as an international authority on underwater acoustics.

Education and employment 
Baggeroer received his B.S.E.E from Purdue University (1963) and both his S.M. (1965) and Sc.D. (1968) in electrical engineering from the Massachusetts Institute of Technology. His doctoral thesis State variables, the Fredholm theory and optimal communications was advised by Harry L. Van Trees. He joined the faculty at MIT in 1968, where he taught Signal Processing: Continuous and Discrete; Sonar, Radar, & Seismic Signal Processing; Array Processing; and Stochastic Processes, Detection, and Estimation.

While on sabbatical from MIT, Baggeroer served as a consultant to the Chief of Naval Research at the NATO SACLANT Center (1977) and as a Cecil and Ida Green Scholar at the Scripps Institution of Oceanography (1990). He was an advisor to the U.S. Navy on the Ocean Studies Board and Naval Studies Board, as well as the chief scientist on 15 oceanography cruises. He has been affiliated with MIT Lincoln Laboratory and the Woods Hole Oceanographic Institution for many years, including as the director of the MIT-Woods Hole Joint Program in Oceanography and Oceanographic Engineering from 1983-1988.

Awards and affiliations 
Baggeroer is a member of the National Academy of Engineering (1995). He is an IEEE fellow and AAAS fellow, as well as a fellow of the Acoustical Society of America, to which he was elected as a member of the Executive Council from 1994 to 1997. In 1998, he was awarded a Secretary of the Navy/Chief of Naval Operations Chair in Oceanographic Science. He is also a member of the engineering honor societies Tau Beta Pi, Eta Kappa Nu, and Sigma Xi.

Baggeroer has received numerous accolades for his research work and involvement with the oceanographic community including the IEEE Oceanic Engineering Society Distinguished Technical Achievement Award (1992), Rayleigh-Helmholtz Medal (2003), IEEE Underwater Acoustic Signal Processing Award (2009), Purdue Outstanding Electrical and Computer Engineering award (2006), and the NDIA VADM Charles B. Martell - David Bushnell Award (2008).

References

External links 
 Official Website
 State Variables and Communication Theory textbook

American electrical engineers
1942 births
Living people
AlphaGeometry. AlphaGeometry is an artificial intelligence (AI) program that can solve hard problems in Euclidean geometry. It was developed by DeepMind, a subsidiary of Google. The program solved 25 geometry problems out of 30 from the International Mathematical Olympiad (IMO) under competition time limits—a performance almost as good as the average human gold medallist. For comparison, the previous AI program, called Wu's method, managed to solve only 10 problems.

DeepMind published a paper about AlphaGeometry in the peer-reviewed journal Nature on 17 January 2024. AlphaGeometry was featured in MIT Technology Review on the same day.

Traditional geometry programs are symbolic engines that rely exclusively on human-coded rules to generate rigorous proofs, which makes them lack flexibility in unusual situations. AlphaGeometry combines such a symbolic engine with a specialized large language model trained on synthetic data of geometrical proofs. When the symbolic engine doesn't manage to find a formal and rigorous proof on its own, it solicits the large language model, which suggests a geometrical construct to move forward. However, it is unclear how applicable this method is to other domains of mathematics or reasoning, because symbolic engines rely on domain-specific rules and because of the need for synthetic data.

AlphaGeometry 2
AlphaGeometry 2 is an improved version of AlphaGeometry that solved Problem 4 of IMO 2024 in just 19 seconds.

References

AI software
Euclidean geometry
Google DeepMind
Bhoj Raj Seth. Bhoj Raj Seth (1907-1979) known with the initials, B R. Seth was an Indian professor of engineering and the father of Kiran Seth.  He was the first vice chancellor of Dibrugarh University in 1966 and had worked in Indian Institute of Technology, Kharagpur.

Life and career 
Seth was born in Bhura, Panjab, Delhi. In 1927, Seth had his bachelor's degree in mathematics from Hindu College. He continued his MA in the same course at University of Delhi, earning a degree in 1929. Seth was a lecturer of applied mathematics who taught in IIT Kharagpur and is considered to have made a notable impact to that field in the 20th century. He was the editor of Journal of Science and Engineering Research of the Indian Institute of Technology, Kharagpur. He died on 12 December 1979.

Fellowships 
In 1936, Seth became a fellow of the Indian Academy of Sciences, in the mathematical sciences section. He was also a fellow of the Indian National Science Academy.

Selected publications 
 
 Seth, B. R. (1963). Fifty Years of Science in India: Progress of Mathematics. India: Indian Science Congress Association.
 
 Seth, B. (1972). Creep Transition in Cylinders: Course Held at the Department for Mechanics of Deformable Bodies June – July 1972. Austria: Springer Vienna.
 Seth, B. R. (1975). Transition Problems of Aelotropic Yield and Creep Rupture: Course Held at the Department for Mechanics of Deformable Bodies, September - October 1970. Austria: Springer Vienna.

Awards and honors 
He was a recipient of the Leonard Euler Gold Medal of the Academy of Sciences of the Soviet Union (1958) and the Dr. B. C. Roy Award (1977).

See also 
 Order of Vice Chancellors of Dibrugarh University

References

Notes

Citations

Sources

Further reading 
 Altenbach, H. (2018). Kontinuumsmechanik: Einführung in die materialunabhängigen und materialabhängigen Gleichungen. Germany: Springer Berlin Heidelberg. 
 Chattopadhyay, A. (2002). Biographical Dictionary of Indian Scientists: From Ancient to Contemporary. India: Rupa & Company. 
 Numerical Methods For Scientific And Engineering Computation. (2003). India: New Age International (P) Limited.

External links 
 Profile of Bhoj Raj Seth on the old website of Indian National Science Academy
 Actes du congrès international des mathématiciens, 1970

1907 births
1979 deaths
Fellows of the Indian Academy of Sciences
20th-century English mathematicians
20th-century Indian mathematicians
Dr. B. C. Roy Award winners
527 (disambiguation). 527 may refer to:

 527 AD
 527 BC
 527 (number)
 527 organization, a type of U.S. tax-exempt organization
 CZ 527, a bolt-action smallbore rifle
 Fiat 527, a passenger car
 527 km, a rural locality in Kalarskoye Rural Settlement of Tashtagolsky District, Russia
 SCR-527, a medium-range radar used by the United States
 Avro 527, a two-seat fighter aircraft

See also
 Flight 527
 List of highways numbered 527
Huawei MateStation. Huawei MateStation is a family of flagship desktop computers of Thin client and primarily all-in-one PCs. The Personal computer line is part of Huawei's consumer and enterprise desktop offerings since its debut in China and global since September 2021. It is part of the MateBook series line that derives from its original branded high-end smartphone Mate series line that is associated with HarmonyOS, Huawei's "1+8+N" ecosystem integrated with Huawei PC Manager and Huawei Share connectivity.

Products

See also 

 Huawei MateBook series
 Huawei Mate series
 Huawei P series

References 

All-in-one computers
Computer-related introductions in 2021
Huawei products
Galactic 06. Galactic 06 was a crewed sub-orbital spaceflight of the SpaceShipTwo-class VSS Unity, which launched on 26 January 2024. It was the sixth commercial spaceflight and eleventh overall spaceflight for American aerospace company Virgin Galactic.

Crew
Galactic 06's crew included four private passengers and two Virgin Galactic employees. First mission without an astronaut instructor on board. Franz Haider became the second Austrian citizen in space after Franz Viehböck, while Lina Borozdina became the first Ukrainian woman in space.

References

See also
 List of spaceflight launches in January–June 2024

SpaceShipTwo
Aviation history of the United States
Suborbital human spaceflights
Private space missions
Space tourism
2024 in spaceflight
2024 in New Mexico
2024 in aviation
Mohammad Rafiqul Alam. Mohammad Rafiqul Alam is a Bangladeshi academic and former vice-chancellor of the Chittagong University of Engineering & Technology. He is the president of the Association of Universities of Bangladesh (Bangladesh Bishwabidyalaya Parishad).

Early life
Alam was born in 1958 in Mariam Nagar, Rangunia, Chittagong District, East Pakistan, Pakistan (now in Rangunia Upazila, Bangladesh). His father was Abdul Hossian and his mother was Khairunessa. He did his bachelor's degree in electrical and electronic engineering at the Chittagong Engineering College (now Chittagong University of Engineering & Technology) in 1979. He did his master's degree in engineering and his PhD.

Career
Alam joined the Chittagong Engineering College in 1982 as a lecturer. He was promoted to assistant professor in 1986.

Alam served as the dean of the Department of Electrical & Electronic Engineering. He is the president of the Chittagong University of Engineering & Technology Library Committee. Alam was promoted to associate professor in 2007.

In March 2013, Alam was appointed the pro-vice chancellor of the Chittagong University of Engineering & Technology. He was the first pro-vice chancellor of the university since it was founded in 2003.

On 27 April 2016, Alam was appointed the vice-chancellor of the Chittagong University of Engineering & Technology. He was reappointed vice-chancellor of the Chittagong University of Engineering & Technology in August 2020. He is the president of the Association of Universities of Bangladesh (Bangladesh Bishwabidyalaya Parishad), a grouping of vice-chancellors of vice-chancellors of public universities in Bangladesh.

Alam voiced support for the re-election of Prime Minister Sheikh Hasina at an event of the Bangladesh Chhatra League at the Chittagong University of Engineering & Technology in October 2023. He said Islam was the "perfect way of life" at an event marking the birth of the Islamic prophet Mohammad at the Chittagong University of Engineering & Technology.

References

Living people
1958 births
People from Chittagong District
Bangladeshi academic administrators
Bangladeshi academics
Bangladeshi engineers
Qumrul Ahsan. Qumrul Ahsan is a Bangladeshi academic and vice-chancellor of the University of Asia Pacific. He is a former professor of the Universiti Teknikal Malaysia Melaka.

Early life
Ahsan completed his bachelor's and master's in Metallurgical Engineering at the Bangladesh University of Engineering and Technology. He did his PhD in Metallurgy and Materials at the University of Birmingham.

Career
From April 1998 to June 1991, Ahsan was an engineer of the Bangladesh Atomic Energy Commission. He joined Bangladesh University of Engineering and Technology after leaving the commission. He edited Engineering and Technological Education for the 21st Century, Proceedings of the National Symposium on Engineering and Technological Education, in 2007 with Md. Mazharul Hoque and Tahmeed M. Al-Hussaini.

Ahsan had taught at the Ahsanullah University of Science and Technology, Universiti Teknikal Malaysia Melaka, and the Bangladesh University of Engineering and Technology. He contributed to Natural Polymers, Biopolymers, Biomaterials, and Their Composites, Blends, and IPNs published in 2012 by Apple Academic Press. Ahsan contributed to Sustainable Energy and Development, Advanced Materials book published in 2014.

Ahsan was appointed the vice-chancellor of the University of Asia Pacific in February 2022. Under him, the University of Asia Pacific was able to get its permanent certificate from the Ministry of Education in June 2022. In October 2023, he spoke at seminar on smart grid organized by the Dhaka Power Distribution Company Limited.

References

Living people
Bangladesh University of Engineering and Technology alumni
Alumni of the University of Birmingham
Bangladeshi academic administrators
Year of birth missing (living people)
Konstantina Stankovic. Konstantina Marka Stankovic is an otolaryngologist and physician-scientist working as the Bertarelli Foundation Professor and Chair of Nanotechnology–Head and Neck Surgery at Stanford University School of Medicine since 2022.

Life 
Konstantina Marka Stanković was born to Marko and Danica Trboić. She has two brothers. She first moved to the United States as a high school exchange student. She earned a B.S. in biology and physics from Massachusetts Institute of Technology (MIT) in 1992. Earle L. Lomon and Felix Villars were her undergraduate physics advisors.

She completed a Ph.D. (1998) in speech and hearing bioscience and technology and M.D. (1999) from the Harvard–MIT Program in Health Sciences and Technology. Her dissertation was titled, Efferent Effects on Auditory-nerve Responses to Tones: Substantial Inhibition Even at High Sound Levels and Tail Frequencies. She completed a otorhinolaryngological residency at Harvard Medical School. She conducted a research fellowship in molecular neuroscience at the Howard Hughes Medical Institute and Boston Children's Hospital. She was a neurotological clinical fellow at the Harvard Medical School. She was an associate professor of otolaryngology at Harvard Medical School and director of the division otology and neurotology at Massachusetts Eye and Ear. She was president of the American Auditory Society in 2014. 

In 2015, she was elected a member American Otological Society. In 2018, she was elected a member of the Collegium Oto-Rhino-Laryngologicum Amicitiae Sacrum. She became an honorary corresponding member of the Germany Society of Otorhinolaryngology Head and Neck Surgery in 2021. She is a Fellow of the American Neurotology Society and the American College of Surgeons. In 2022, she joined Stanford Health Care as the chair of the department of otolaryngology-head and neck surgery, succeeding Robert K. Jackler. Stankovic is the Bertarelli Foundation Professor and Chair of Otolaryngology–Head and Neck Surgery.

References 

Living people
Year of birth missing (living people)
Place of birth missing (living people)
Massachusetts Institute of Technology alumni
Harvard Medical School alumni
Harvard Medical School faculty
American otolaryngologists
Physician-scientists
American women surgeons
21st-century American women physicians
21st-century American physicians
American medical researchers
American women medical researchers
Stanford University School of Medicine faculty
Fellows of the American College of Surgeons
Women otolaryngologists
Expatriate academics in the United States
21st-century surgeons
Al Nelson (sound engineer). Al Nelson is an American sound engineer. He won an Academy Award in the category Best Sound for the film Top Gun: Maverick.

Selected filmography 
Top Gun: Maverick (2022; co-won with Mark Weingarten, James Mather, Chris Burdon and Mark Taylor)

References

External links 

Living people
Place of birth missing (living people)
Year of birth missing (living people)
American audio engineers
20th-century American engineers
21st-century American engineers
Best Sound Mixing Academy Award winners
Mohammad Mahfuzul Islam. Mohammad Mahfuzul Islam is a Bangladeshi academic and vice-chancellor of Banglqdesh Digital University. He is the former vice-chancellor of the Canadian University of Bangladesh. He is a former President of the Bangladesh Computer Society. He is a Computer Science and Engineering professor at Bangladesh University of Engineering and Technology.

Early life
Islam was born in 1973 in Jamalpur District, Bangladesh. He did his bachelor's and masters degrees in Computational Science and Engineering at the Bangladesh University of Engineering and Technology. He did his PhD at Monash University in Information Technology.

Career
Islam taught at the Department of Computer Science and Engineering at Bangladesh University of Engineering and Technology. He was the Provost of Shahid Smriti Hall. He served as the President of Bangladesh Computer Society. He was a director of Dhaka Electric Supply Company Limited.

In December 2017, Islam was appointed vice-chancellor of the Canadian University of Bangladesh. Dr Nazrul Islam joined as pro-vice-chancellor of the Canadian University of Bangladesh under Mohammad Mahfuzul Islam.

Islam was appointed vice-chancellor of Bangabandhu Sheikh Mujibur Rahman Digital University on 20 November 2022. He paid tribute to former President Sheikh Mujibur Rahman at his former residence in Dhanmondi, Bangabandhu Memorial Museum.

References

Living people
Bangladesh University of Engineering and Technology alumni
Monash University alumni
1973 births
People from Jamalpur District
Cascadia Region Earthquake Science Center. The Cascadia Region Earthquake Science Center (CRESCENT) is a research and educational collaboration between public and private universities, government agencies, and non-profits. The stated mission of the center is to (i) carry out basic and applied science research on earthquake hazards at the Cascadia Subduction Zone, (ii) promote access to careers in the geosciences, especially amongst minoritized individuals, and (iii) form partnerships between researchers and organizations in charge of response and planning for earthquake hazards.

Overview 
The center was established with US$15M in funding from the National Science Foundation as part of the Centers for Innovation and Community Engagement in Solid Earth Geohazards program which funds other important research centers such as the Statewide California Earthquake Center (SCEC).

Partner institutions 
CRESCENT directly funds researchers and educators from 14 institutions, they are:

 California State Polytechnic University, Humboldt
 Central Washington University
 EarthScope Consortium
 Oregon State University
 Portland State University
 Purdue University
 Smith College
 Stanford University
 University of California San Diego
 University of North Carolina Wilmington
 University of Oregon (headquarters)
 University of Washington
 Virginia Polytechnic Institute and State University
 Washington State University
In addition CRESCENT counts amongst its senior personnel many scientist from the U.S. Geological Survey.

Headquarters 
CRESCENT is part of the Department of Earth Sciences and is on the campus of the University of Oregon located in the city of Eugene.

References 

Organizations based in Eugene, Oregon
2023 establishments in Oregon
Earthquake engineering organizations
University of Oregon campus
Aeronautics at the 1936 Summer Olympics. An Olympic gold medal for aeronautics was awarded in conjunction with the 1936 Summer Olympics for the greatest aeronautic achievement in the preceding four years.

The winner was Swiss pilot Hermann Schreiber, who won for becoming the first person to fly over the Alps in a glider. Most sources report his flight taking place in 1935, though Thomas Lippert of the Journal of Sports Philately stated it was on August 4, 1933. Schreiber received his medal at the 1936 Summer Olympics closing ceremony.

A prize for aeronautics had been considered by the International Olympic Committee as early as the 1920s, though it remained unused until 1936. The aeronautics prize was not awarded again and was officially discontinued in 1946, along with the prize for alpinism.

References

Discontinued sports at the Summer Olympics