Results 21 to 30 of about 2,469,574 (283)
Electromagnetic environment modeling and explosion-proof analysis for underground MIMO antennas
Meikuang AnquanThe working environment of coal mining is complex. There are not only many potential safety hazards in roadways, but also the risk of accumulation of flammable and explosive gases such as methane.
Jijian MENG
doaj +1 more source
Optimal standards of proof in antitrust
International Review of Law and Economics, 2019 Economic analyses of antitrust institutions have thus far focused predominantly on optimal penalties and the design of substantive legal rules, and have largely ignored the standard of proof used in trials as a policy tool in shaping behavior. This neglected tool can play a unique role in the antitrust context, where a given firm may have the choice to
Mungan, Murat C., Wright, Joshua
openaire +2 more sources
A remark on Kov\'acs' vanishing theorem
, 2012 We give an alternative proof of Kov\'acs' vanishing theorem. Our proof is based on the standard arguments of the minimal model theory. We do not need the notion of Du Bois pairs.
Fujino, Osamu
core +1 more source
From Proof Nets to the Free *-Autonomous Category [PDF]
, 2005 In the first part of this paper we present a theory of proof nets for full multiplicative linear logic, including the two units. It naturally extends the well-known theory of unit-free multiplicative proof nets.
François Lamarche +2 more
core +8 more sources
Medical Malpractice as a Tort in the U.S., as a Crime in Italy: Factors, Causes, Paths and Outcomes
Age of Human Rights Journal, 2019 The aim of the paper is, firstly, to try to understand the reasons for the different approaches to medical malpractice in two legal systems taken as models: the U.S., where professional negligence is almost exclusively subject of tort law; Italy, where ...
Andrea Di Landro
doaj +3 more sources
Research on the safety threshold of radio wave explosion-proof
Gong-kuang zidonghua, 2023 The powerful radio waves can ignite explosive gases. Therefore, it is necessary to reasonably set the radio wave explosion-proof safety power and energy threshold emitted by the radio transmitter to limit the radio wave power and energy emitted by the ...
SUN Jiping +3 more
doaj +1 more source
Logic of Intuitionistic Interactive Proofs (Formal Theory of Perfect Knowledge Transfer) [PDF]
, 2014 We produce a decidable super-intuitionistic normal modal logic of internalised intuitionistic (and thus disjunctive and monotonic) interactive proofs (LIiP) from an existing classical counterpart of classical monotonic non-disjunctive interactive proofs (
Kramer, Simon
core +1 more source
A New Proof of P-time Completeness of Linear Lambda Calculus [PDF]
, 2013 We give a new proof of P-time completeness of Linear Lambda Calculus, which was originally given by H. Mairson in 2003. Our proof uses an essentially different Boolean type from the type Mairson used. Moreover the correctness of our proof can be machined-
Matsuoka, Satoshi
core
Organoids in pediatric cancer research
FEBS Letters, EarlyView.Organoid technology has revolutionized cancer research, yet its application in pediatric oncology remains limited. Recent advances have enabled the development of pediatric tumor organoids, offering new insights into disease biology, treatment response, and interactions with the tumor microenvironment.
Carla Ríos Arceo, Jarno Drost
wiley +1 more source
Proving Unlawful Discrimination in Capital Cases: In Quest of an Adequate Standard of Proof
Utrecht Journal of International and European Law, 2017 In spite of some early judicial, political and scholarly discussions, as well as more recent scientific explorations of the topic, problems and concerns with proving discrimination in individual capital cases continue to be among the most debatable ...
Gregor Maučec
doaj +1 more source