Results 201 to 210 of about 342,984 (310)

Modeling the transmission dynamics of Mpox virus. [PDF]

Sci Rep
Rabiu S, Ali MKM.
europepmc   +1 more source

Constructive Infinitely Long ExpressionsをもったLogicのHierarchy (Proof theoryとRecursion theory研究会報告集)

, 1970
忠弘 上江州
openalex   +1 more source

Construction Theorems and Constructive Proofs in Geometry

John B. Burgess
openalex   +1 more source

Winning is not the only metric: the complexity of control manipulation in knockout tournaments for a redefined goal

International Transactions in Operational Research, EarlyView.
Abstract We study control manipulation by generalizing the notion of success in knockout tournaments. The definition of success can be broadened to include other concepts of accomplishment rather than focusing solely on the identity of the tournament winner. Manipulation can be done in favor of diverse stakeholders.
Hadassa Daltrophe, Tammar Shrot, Lior Aronshtam   +2 more
wiley   +1 more source

Comments on "The Efficacy and Durability of Mindfulness-based Cognitive Therapy in the Treatment of Anxiety and Depressive Disorders: A Systematic Review and Meta-analysis". [PDF]

Indian J Psychol Med
Beg MJ, Maggu G, Sharma N, Rai Y, Andrade C.   +4 more
europepmc   +1 more source

A Constructive Proof Of The General Brouwer Fixed Point Theorem And Related Computational Results In General Non-Convex Sets

, 2012
Menglong Su, Shaoyun Shi, Qing Xu
openalex   +1 more source

A new family of models with generalized orientation in data envelopment analysis

International Transactions in Operational Research, EarlyView.
Abstract In the framework of data envelopment analysis, we review directional models and show that they are inadequate when inputs and outputs are improved simultaneously under constant returns to scale. Conversely, we introduce a new family of quadratically constrained models with generalized orientation and demonstrate that these models overcome this
Vicente J. Bolós, Rafael Benítez, Vicente Coll‐Serrano   +2 more
wiley   +1 more source

The Ground-Set-Cost Budgeted Maximum Coverage Problem. [PDF]

Theory Comput Syst
van Heuven van Staereling I, de Keijzer B, Schäfer G.   +2 more
europepmc   +1 more source

Exact solution algorithms for biobjective mixed integer programming problems

International Transactions in Operational Research, EarlyView.
Abstract We consider criterion space algorithms for biobjective mixed integer programs. The algorithms solve scalarization models in order to explore predetermined regions of the objective space called boxes, defined by two nondominated points. When exploring, the algorithm exploits information on its corner points and chooses the scalarization problem
Deniz Emre, Özlem Karsu, Firdevs Ulus
wiley   +1 more source

Entropy-Based Evidence Functions for Testing Dilation Order via Cumulative Entropies. [PDF]

Entropy (Basel)
Alshehri MA.
europepmc   +1 more source