omniomni/omni-engineering huggingface dataset:
Jamovi. jamovi (stylised in all lower-case) is a free and open-source computer program for data analysis and performing statistical tests. The core developers of jamovi are Jonathon Love, Damian Dropmann, and Ravi Selker, who were developers for the JASP project.

Software 
jamovi is an open source graphical user interface for the R programming language. It is used in statistical research, especially as a tool for ANOVA (analysis of variance) and to understand statistical inference. It also can be used for linear regression, mixed models and Bayesian models.

Data is entered into a spreadsheet interface that can be imported into jamovi. If data are changed, all calculations and analyses affected by the change are automatically updated. The software includes a multinomial test to determine whether observed data differs from researchers' predictions.

Extendibility 
jamovi comes with a basic library of statistical and graphical procedures. In addition, users can install modules from a library of community created open source add-on modules to extend the package's capabilities.  These modules are written in the R programming language and make use of the jmv and jmvtools libraries to create the interface and display code. Numerous modules exist and can be accessed in the curated library within jamovi. Over 40 modules have been created by the jamovi community and extend the functionality of the program. These additional analyses include agreement and reliability analyses mediation models, meta-analysis, power analysis, psychometrics, structural equation models, survival analysis, and  likelihood/evidential analyses.

Documentation 
A detailed user manual is available for jamovi. Third party learning resources are also available including free books and video tutorials in multiple languages including Chinese, Hindi, Spanish, Korean, and Malayalam

See also 

 Free statistical software
 Comparison of statistical packages

External links 
 Official website
 jamovi modules library

References 

Free statistical software
Free R (programming language) software
Free software programmed in C++
Free software programmed in JavaScript
Free software programmed in Python
Software using the GNU Affero General Public License
Software using the GNU General Public License
Giorgio Kaniadakis. Giorgio Kaniadakis (; born on 5 June 1957 in Chania-Crete, Greece) a Greek-Italian physicist, is a Full Professor of Theoretical Physics at Politecnico di Torino, Italy, and is credited with introducing the concept of Kaniadakis entropy and what is known as Kaniadakis statistics.

Education 
In 1975 Giorgio Kaniadakis moved to Italy where he obtained the Bachelor's and Master's degrees in Nuclear Engineering in 1981 from Politecnico di Torino. In 1985, he obtained a Master's degree in Nuclear Physics from Università di Torino (Italy) and in 1989 he received a Ph.D. degree in Physics from Politecnico di Torino with grant of the International Center for Theoretical Physics (ICTP) of Trieste, Italy.

Career 
Since 1991 Kaniadakis is a permanent faculty member at Department of Physics (now Department of Applied Science and Technology) of the Politecnico di Torino as Researcher, Senior Researcher (1994), Aggregate Professor (2010), Associate Professor (2014), and Full Professor (2019).

Research 
Kaniadakis statistics (known also as κ-statistics) is a theory based on Kaniadakis entropy (known also as κ-entropy) that was introduced in the trilogy of papers published between 2001 and 2005. Kaniadakis statistics is not an axiomatic theory, but can be traced back to the first principles of Special Relativity. It answers the open problem on how the temperature of a body is transformed in a moving inertial frame by selecting the Planck-Einstein transformation law. Within κ-statistics, Kaniadakis entropy emerges as the relativistic generalization of Boltzmann's entropy exactly as happens with relativistic energy which turns out to be the relativistic generalization of energy of classical physics. Kaniadakis' theoretical framework, alongside the proposed statistical theory, also provides a mathematical formalism (also known as κ-mathematics) which is isomorphic to ordinary mathematics.

Cosmic rays are a relativistic particle system composed of normal nuclei as in the standard cosmic abundances of matter, and approximately can be viewed as an equivalent statistical system of identical relativistic particles with masses near the mass of the proton. For a long time, it has been known that the cosmic ray spectrum is not exponential, and then it violates the Boltzmann statistics. The presence in the cosmic ray spectrum of power-law tails, which extends over 13 decades in energy and spans 33 decades in particle flux, represents an important experimental test of the correctness and predictability of Kaniadakis statistics.

See also 

 Kaniadakis statistics
 Kaniadakis distribution
 Kaniadakis κ-Exponential distribution
 Kaniadakis κ-Gaussian distribution
 Kaniadakis κ-Gamma distribution
 Kaniadakis κ-Weibull distribution
 Kaniadakis κ-Logistic distribution
 Kaniadakis κ-Erlang distribution

References 

Living people
1957 births
Italian physicists
People from Chania
VS-50. VS-50 (suborbital rocket VS-50) is a joint development of sounding rocket from the Institute of Aeronautics and Space (IAE) and German Aerospace Center (DLR).

Characteristics
It is a suborbital vehicle that uses solid propellant, having two stages: the first uses the S50 engine (made of composite material) and the second uses the S44 engine. It is 12 m long, 1.46 m in diameter, and has a mass of approximately 15 tons, and can carry up to 500 kg of payload.

Brazil (IAE) is responsible for developing the S50 and S44 engines, the backup navigation system, the launch and flight safety infrastructure, and project documentation management. The development and qualification of the other systems are the responsibility of Germany (DLR).

Goals
The rocket will be used primarily to develop, manufacture and flight qualify the S50 engine, as well as components to be used in the VLM-1 rocket. It will also be used in microgravity testing and hypersonic experiments (such as the German SHEFEX project).

Development
 On December 22, 2016, a contract was signed between IAE and AVIBRAS for the production of eight S50 engines and their accessories. Engines 1 and 2 will be used for engineering tests (structural and burst tests). Engines 3 and 4 will be used for burn tests on a ground test bench. Engines 5 and 6 for validation during flights of the VS-50 rockets, and engines 7 and 8 will be used in the VLM-1 rocket.
On November 15 and 16, 2018, at Avibras' facilities, acceptance and envelope burst tests were performed on the S50 engine, with the results being in compliance with the design requirements. 
On November 5, 2019, the test firing of the first prototype of the S-50 engine ignitor took place.
On July 13, 2021, the second phase of Operation Santa Maria was completed, which integrated an inert S-50 engine and loaded it onto the launching table of the  (TMI).

On October 1, 2021, a static burn test of the S50 engine was conducted on a test stand. The test lasted about 84 seconds and burned 12 tons of fuel. The objective was to test the engine's endurance and performance, and it was considered a success.
On December 2, 2023, AEB's president announced that a first flight of the rocket is planned for 2024.
On March 7, 2024, AEB had released the roadmap for 2025, with the VS-50 launch proposed for March 2025
On August 19, 2024, due to Avibras bankruptcy situation, Brazilian Air Force has given the project to Mac Jee

See also
Sonda (rocket)
Brazilian space program
National Institute for Space Research

References

Sounding rockets of Brazil
Sounding rockets of Germany
Matching logic. Matching logic is a formal logic mainly used to reason about the correctness of computer programs.  Its operators use pattern matching to operate on the power set of states, rather than the set of states.  It was created by Grigore Roșu and is used in the K Framework.

Overview 

Matching logic operates on patterns.  Statements evaluate to the set of values that "match" them, not to true or false.

Given a set of signatures , a pattern can be:

 A variable: 
 A structure following signature  using other patterns: 
 The complement of another pattern: 
 The intersection of two patterns: 
 A binding:   with 

A matching logic may also have a set  of sorts.  In that case, each pattern belongs to a particular sort.  Structures can be used to combine patterns of different sorts together.  Some examples of sorts used when working with program semantics might be "32-bit integer values", "stack frames", or "heap memory".

Some derived concepts are defined as:

 
 
 
 
 
 

 is matched by all elements.   is matched by none.

"One should be careful when reasoning with such non-classic logics, as basic intuitions may deceive."

When interpreting matching logic (that is, defining its semantic meaning), a pattern is modeled with a power set.  The statement's interpretation is the set of values that match the pattern.

Matching μ-Logic

Matching -logic adds a fixed-point operator .

Applications 

Matching logic is used with reachability logic by the K Framework to specify an operational semantics and, from them, to create a Hoare logic.

Matching logic can be converted to first-order logic with equality, which allows the K Framework to use existing SMT-solvers to find proofs for theorems.

See also 

 Separation logic
 Hoare logic
 Regular expression, which matches sets of strings

References

Logic
Oana Jurchescu. Oana Jurchescu is a Romanian physicist who is the Baker Family Physics Professor at Wake Forest University. Her research considers charge transport in organic and organic/inorganic hybrid semiconductors. In 2022, she was awarded a National Science Foundation Special Creativity Award for her work translating organic electronic materials into real-world devices.

Early life and education 
Jurchescu was an undergraduate student at the West University of Timișoara in Romania. She moved to the University of Groningen in the Netherlands for her doctoral research, where she studied organic semiconductors for optoelectronic devices. She was a postdoctoral researcher at the National Institute of Standards and Technology.

Research and career 
In 2009, Jurchescu joined the Department of Physics at Wake Forest University. Her work considers novel functional materials and their application in electronic devices. She has particularly explored organic and hybrid organic-inorganic semiconductors and how they can realize large-area, flexible electronic devices.

Jurchescu worked with physicians to realize organic field-effect transistor- based radiation detectors for patients undergoing cancer treatment. These devices, based on 2,8-difluoro-5,11-bis(triethylsilylethynyl)anthradithiophene (diF-TES ADT), acted as in vivo dosimeters to monitor radiation levels on a patient's skin in real time. As well as pursuing high charge carrier mobilities, Jurchescu is interested in the degradation pathways that can impede the performance and lifetime of organic electronic devices.

Jurcheschu was named Baker Family Professor of Physics in 2021. In 2022, she was awarded an NSF Special Creativity Award to develop OSCAR, Organic Semiconductors by Computation on the Accelerated Refinement. OSCAR look to develop novel functional molecular materials to accelerate commercialization.

Awards and honors 
 2012 Wake Forest University Faculty Endowment Fund Fellowship
 2013 Wake Forest University Reid-Doyle Prize for Excellence in Teaching
 2013 National Science Foundation CAREER Award
 2013 Wake Forest University Innovation Award
 2014 Journal of Materials Chemistry C  Emerging Investigators Issue
 2015 Wake Forest University Award for Excellence in Research
 2017 Kulynych Family Omicron Delta Kappa Award
 2018 URECA Award For Excellence in Mentorship in Research and Creative Work
 2020 Graduate School Student Association Faculty Excellence Award
 2024 Fellow of the American Physical Society

Selected publications

References 

Living people
Wake Forest University faculty
Year of birth missing (living people)
University of Groningen alumni
West University of Timișoara alumni
21st-century physicists
Romanian women physicists
Romanian physicists
21st-century Romanian scientists
Fellows of the American Physical Society
Lara Thompson. Lara A. Thompson is a biomedical engineer at the University of the District of Columbia. She is known for her work in human mobility and was a 2022 recipient of the National Science Foundations Alan T. Waterman Award.

Biography 
Thompson went to high school in New Hampshire, has a BS in mechanical engineering from the University of Massachusetts Lowell (2003), and an MS in aeronautical and astronautical engineering from Stanford University (2005). She earned a PhD in biomedical engineering from the Harvard University / Massachusetts Institute of Technology Program in Health Sciences and Technology(2013). Following her PhD she joined the faculty at the University of the District of Columbia and, as of 2022, she is an associate professor in mechanical engineering.

Thompson is known for her work on human mobility in impaired and unimpaired populations. Her PhD work was on Vestibular implants, where she examined the importance of postural control and the impact of invasive vestibular implants on posture. With funding from the National Science Foundation, Thompson established a biomedical engineering lab to assess balance and movement in people.

Selected publications

Awards and honors 
In 2019 Thompson was honored at the Black Engineer of the Year Awards as an innovator in STEM at Historically Black Colleges and Universities. In 2022 Thompson received the Alan T. Waterman Award from the United States' National Science Foundation, which included $1 million in prize money to be received over a five year period to continue research in her field.

References 

Living people
University of Massachusetts Lowell alumni
Stanford University alumni
Harvard University alumni
Massachusetts Institute of Technology alumni
University of the District of Columbia faculty
Biomedical engineers
Women engineers
Year of birth missing (living people)
George Jackson (chemist). George Jackson (born 31 July 1962) is a British professor of chemical physics in the Department of Chemical Engineering at Imperial College London. He is noted for developing molecular models that describe the thermodynamic properties of complex fluids; as one of the developers of statistical associating fluid theory (SAFT); and for his work in molecular systems engineering. His theoretical work has found a wide range of practical  applications in industries such as gas extraction and emerging fields like carbon capture and storage.

Early life and career 

Jackson was born in Spain and grew up in Switzerland. He took a B.Sc. in chemistry at Chelsea College (1980-1983), followed by a D.Phil. in Physical Chemistry at Exeter College, University of Oxford (1983-1986). After postdoctoral work at Cornell University with Keith E. Gubbins (1986-1989), he became a lecturer and reader in physical chemistry at the University of Sheffield (1989-1998), and has been professor of Chemical Physics at Imperial College London since 2001.

Research interests 

Jackson's research centres on developing simplified but realistic mathematical models of complex fluids, which are used in industries such as pharmaceuticals, cosmetics, gas extraction, and carbon capture. In the late 1980s and early 1990s, he was one of the developers of the influential statistical associating fluid theory (SAFT), an equation of state that predicts the thermodynamic properties of complex fluid mixtures.

Awards 

Jackson has won numerous honours and awards including a Research Excellence Award in 2009, a Guggenheim Medal awarded by the Institution of Chemical Engineers in 2014, and the Bakhuis Roozeboom Medal by the Royal Netherlands Academy of Arts and Sciences in 2019. He was elected a Fellow of the Royal Society of Chemistry in 1995 and a Fellow of the Royal Society in 2020.

Selected publications

References

External links

 

1962 births
Living people
Academics of Imperial College London
Academics of the University of Sheffield
Alumni of Exeter College, Oxford
British chemists
Fellows of the Royal Society
Alpina (bicycle parts company). Alpina is a bicycle parts brand that manufactures handlebars, cranksets, chainrings, wheels and other components for track and road bikes.  It was founded by Terry Dolan of Dolan Bikes.  

Alpina bars have been used by many British Olympic winning medallists on the track including Sir Chris Hoy, Victoria Pendleton, Katie Archibald and Laura Kenny.

References

External links

Cycle parts manufacturers
14-XS. 14-XS was an Operação Cruzeiro mission conducted by the Brazilian Air Force at the Alcantara Launch Center on December 14, 2021.

Mission
The flight was a test to demonstrate scramjet technology. The device was launched by a Hypersonic Accelerator Vehicle (based on the VSB-30 rocket) and accelerated to Mach 6 to an altitude of 30 kilometers, from where it continued until it reached a suborbital apogee at an altitude of 160 kilometers and 200 kilometers down range from the launch site, impacting at the Atlantic Ocean. The model tested combustion in a hypersonic environment and Mach 6 speed was reached at 50 km. 

Both the Alcântara Launch Center and the Barreira do Inferno Launch Center acted as tracking stations. The vehicle was the first with a scramjet engine built in Brazil and reached up to 5,000 hp. The vehicle was built by Orbital Engenharia.

Both the rocket and the 14-X were built in São José dos Campos. The engine has been under development since 2008, with the goal of enabling the Brazilian industry to develop aerospace experiments.

See also
14-X
Brazilian space program

References

2021 in spaceflight
December 2021 in Brazil
Suborbital spaceflight
Test spaceflights
Space program of Brazil
Verba (MRLS). "Verba" is a Ukrainian multiple rocket launcher 122 mm caliber based on the truck KrAZ-6322 and combat unit BM-21 Grad. Presented in 2015 by Kharkiv Morozov Machine Building Design Bureau. The launcher has received a number of improvements over the BM-21 Grad: navigation, communication, alignment and stabilization of the platform. A loading machine has also been developed to automate the loading process.

History 
In December 2015, Volodymyr Vakulenko, the general designer of the Kharkiv Morozov Machine Building Design Bureau, presented the Verba MLRS and said that it would take 7 months and ₴16 million to complete the system. He also announced the possibility of making an option with an armored cabin from the "Raptor".

On February 21, 2019, the press service of the State Concern Ukroboronprom announced the start of serial production of MLRS "Verba" at SE "Shepetivka Repair Plant". That year it was planned to form the first staff units in the Armed Forces of Ukraine, armed with "Verba".

In November 2019, Colonel Vladislav Shostak announced that MLRS "Verba" was adopted by Ukraine in 2019.

In September 2021, Ukroboronprom re-announced the adoption of MLRS "Verba" for the Ukrainian Ground Forces.

Description 
"Verba" is equipped with a double cabin for 5 people, and all guidance, aiming, recharging systems are controlled from the inside.

The total weight of the installation "Verba" - 20 tons. Maximum speed - 85 km / h.

Compared to the BM-21 Grad, reloading time is reduced: BM-21 Grad is recharged after a full launch from one to two hours, depending on the qualifications of the crew, and in MLRS "Verba" reloading a full set of 40 missiles takes 10 minutes.
 
Compared to the standard BM-21, "Verba" has received the following changes:

 The recharging rate increased 7 times;
 Modern navigation systems have reduced the time to open fire on a target in an unfamiliar area by 4 times, compared to the "Grad";
 The transition to the chassis from "KrAZ" allowed not only to eliminate the use of Russian "Urals", but also to increase the passability of the car;
 New leveling and stabilization system of the platform, thanks to which it was possible to significantly improve the accuracy of fire;
 Changed communication system, now all information is transmitted over digital channels in encrypted form.

Operators 

: 38 units in the service of the Armed Forces as of 2021.

References

External links 

 

122 mm artillery
Multiple rocket launchers
Weapons of Ukraine
Raxaul–Kathmandu railway line. The Raxaul–Kathmandu railway line is a proposed cross-border railway between India and Nepal. The governments of India and Nepal had issued a joint statement on expanding rail linkages with India's financial support, connecting the border city of Raxaul in India to Kathmandu in Nepal. Nepal signed a memorandum of understanding with India to prepare a detailed project report for a proposed railway linking the two towns, with an estimated cost around US$3 billion.

Konkan Railway Corporation conducted a preliminary engineering pre-feasibility study (cum traffic survey) of the proposed broad gauge (1,676 mm) railway project. According to the pre-feasibility study the railway line will start from Raxaul and pass through Jitpur, Nijgadh, Sikharpur, Sisneri and Sathikhel before connecting Chobhar and Kathmandu. The railway is proposed to be  long and have 41 bridges and 40 curves. Around 20 per cent of it will consist of tunnels and bridges. About 40 km section will have tunnels and 35 bridges have to be built in different places. The Detail Project Report (DPR) for the Raxaul–Kathmandu railroad is ongoing.

Key features of the railway line
Electrified railway line
Total length 135 km
120 km/h speed
Broud gauge 1676 mm
41 major bridges
39 tunnels
13 stations
Estimate cost INR 16550.446 CR(US$2.64 billion)

See also 
 Cross-border railway lines in India
 Railway stations in Nepal
 Nepal Railways
 Indian Railways
 Railway stations in India

References 

International railway lines in Asia
5 ft 6 in gauge railways in India
Rail transport in Nepal
Transport in Kathmandu
601st. 601st may refer to:

601st (City of Bristol) (Mixed) Heavy Anti-Aircraft Regiment, Royal Artillery, a Volunteer unit of the British Army from 1859 to 1955
601st (Harwich) Fortress Company, Royal Engineers, a volunteer unit of Britain's Royal Engineers formed to defend the Essex coast
601st (The West Yorkshire Regiment) Infantry Regiment, Royal Artillery, a Volunteer unit of the British Army formed in 1859
601st Air Operations Center, US operations hub for First Air Force
601st Assault Helicopter Battalion, a helicopter unit of the Argentine Army
601st Bombardment Squadron Constituted as the 601st Bombardment Squadron (Heavy) on 15 February 1943
601st Communications Grouping (Argentina) (Agr Com 601), an Argentine Army signals military grouping
601st Engineer Grouping (Argentina) (Agr Ing 601), an Argentine Army Engineer grouping
601st Intelligence Battalion, a special military intelligence service of the Argentine Army
601st Naval Air Group, a carrier air group of the Imperial Japanese Navy (IJN) during World War II
601st Quartermaster Company, Aerial Delivery Support Company of the United States Army based in Aviano, Italy
601st Special Forces Group, a special forces unit of the Czech Armed Forces
601st Squadron (JASDF), a squadron of the Airborne Early Warning Surveillance Group of the Japan Air Self-Defense Force
601st Tactical Control Wing, provisional United States Air Force organization
601st Tank Destroyer Battalion, battalion of the United States Army active during World War II
The 601st Phone Call (第601个电话), a 2006 Chinese drama film

See also
601 (number)
601 (disambiguation)
601, the year 601 (DCI) of the Julian calendar
601 BC
Aerobus (disambiguation). Aerobus may refer to:

 Aerobus, a self-propelled electrically powered bus-like suspended monorail vehicle
 a name for a bus line connecting an airport in some areas
 Checker Aerobus, a long limousine
 Mitsubishi Fuso Aero Bus, a series of heavy-duty intercity coaches
 Viva (airline), a Mexican low-cost airline formerly known as Viva Aerobus