Minimal Diagnosis and Diagnosability of Discrete-Event Systems Modeled by Automata by Xiangfu Zhao, Gianfranco Lamperti, Dantong Ouyang, Xiangrong Tong

“…However, in contrast with the widely applied minimal diagnosis of static systems, in most approaches to the diagnosis of DESs, all possible candidate diagnoses are computed, including nonminimal candidates, which may cause intractable complexity when the number of nonminimal diagnoses is very large. …”
Get full text

A numerical approach for calculating exact non-adiabatic terms in quantum dynamics by Ewen D. C. Lawrence, Sebastian F. J. Schmid, Ieva Čepaitė, Peter Kirton, Callum W. Duncan

“…We present a novel approach to computing the Adiabatic Gauge Potential (AGP), which gives information on the non-adiabatic terms that arise from time dependence in the Hamiltonian. …”
Get full text

Security analysis and improvement of a certificateless signcryption scheme by Zhen-guo ZHAO

“…A strongly secure certificateless signcryption without bilinear pairings was also proposed, which was provably secure in the random oracle model under the assumption that the discrete logarithm problem and the computational Diffie-Hellman problems were intractable. …”
Get full text

Analysis of SI models with multiple interacting populations using subpopulations by Evelyn K. Thomas, Katharine F. Gurski, Kathleen A. Hoffman

“…Computing endemic equilibria and basic reproductive numbers for systems of differential equations describing epidemiological systems with multiple connections between subpopulations is often algebraically intractable. …”
Get full text

Firefly Algorithm for Cardinality Constrained Mean-Variance Portfolio Optimization Problem with Entropy Diversity Constraint by Nebojsa Bacanin, Milan Tuba

“…Portfolio optimization (selection) problem is an important and hard optimization problem that, with the addition of necessary realistic constraints, becomes computationally intractable. Nature-inspired metaheuristics are appropriate for solving such problems; however, literature review shows that there are very few applications of nature-inspired metaheuristics to portfolio optimization problem. …”
Get full text

Improved Bat Algorithm Applied to Multilevel Image Thresholding by Adis Alihodzic, Milan Tuba

“…However, the required computational time for exhaustive search grows exponentially with the number of desired thresholds. …”
Get full text

Fair multi-party concurrent signature scheme by Qing YE, Yun YANG, Shi-hui ZHENG, Li-wei CHANG, Da XIAO, Yi-xian YANG

“…Multi-party concurrent signatures were first proposed by Tonien et al at ISC2006,but Xie and Tan pointed Tonien et al's scheme doesn't satisfy fairness and they reconstructed multi-party concurrent signature schemes respectively.Through analysis,the multi-party concurrent signature schemes proposed by Xie and Tan don't satisfy fairness either,so a formal security model of fair multi-party concurrent signatures was proposed and a multi-party concurrent signature scheme based on bilinear pairing and multi-party key agreement was also reconstructed.Analysis shows that the new scheme satisfies correctness,unforgeability,ambiguity,concurrency and fairness in the random oracle model assuming the CDH problem is intractable and highly efficient in signature size,computation cost and communication cost compared with other schemes of its kind.…”
Get full text

Indistinguishability in controlled query evaluation over prioritized description logic ontologies by Gianluca Cima, Domenico Lembo, Lorenzo Marconi, Riccardo Rosati, Domenico Fabio Savo

“…We first study the data complexity of skeptical entailment of unions of conjunctive queries under all the optimal GA censors, showing that the computational cost of query answering in this setting is intractable. …”
Get full text

Stochastic step-wise feature selection for Exponential Random Graph Models (ERGMs). by Helal El-Zaatari, Fei Yu, Michael R Kosorok

“…Addressing critical challenges such as ERGM degeneracy and computational complexity, our method integrates a systematic step-wise feature selection process. …”
Get full text

Beamforming design for energy-constrained full-duplex two-way relaying system by Wei WANG, Liyuan AN, Guoan ZHANG, Shibing ZHANG

“…A beamforming design was proposed under simultaneous wireless information and power transfer (SWIPT) protocol.A utility optimization problem was considered aiming to maximize the harvested energy by jointly optimizing the beamforming matrix,the power splitting ratio at the relay and the transmit powers at the sources.Since the formulated joint optimization problem was nonconvex,it was difficult or even intractable to obtain the global optimal solution.To overcome this issue,the objective problem into three subproblems was decoupled which could be solved by the proposed semidefinite relaxation technique and the derived constraints activation solution,respectively.The solution was finally obtained with the proposed convergent iterative algorithm.Simulation results show that the proposed joint optimization scheme achieves the optimal performance.Compared with the traditional half-duplex (HD) algorithm,the proposed algorithm can obtain 2~3 times energy harvesting (EH) efficiency improvement,while the computational complexity increases slightly.…”
Get full text

Two Cases of Allergic Fungal Sinusitis with Differing Postoperative Course by Yuma Matsumoto, Hidenori Yokoi, Michitsugu Kawada, Masachika Fujiwara, Koichiro Saito

“…Case 1 showed evident exacerbation in the computed tomography findings, which suggests progression to eosinophilic sinusitis. …”
Get full text

A Bayesian active learning platform for scalable combination drug screens by Christopher Tosh, Mauricio Tec, Jessica B. White, Jeffrey F. Quinn, Glorymar Ibanez Sanchez, Paul Calder, Andrew L. Kung, Filemon S. Dela Cruz, Wesley Tansey

Get full text

Retroaortic Left Renal Vein in a Case of Left Adrenal Adenoma: Radiological Findings by Alper Dilli, Umit Yasar Ayaz, Osman Raif Karabacak, Baki Hekimoglu

“…Our purpose is to present the ultrasonography (US), computed tomography (CT), and magnetic resonance imaging (MRI) findings in a case of left adrenal adenoma with a coincidental RLRV and to discuss the clinical importance of their imaging. …”
Get full text

Ameliorated Chameleon Algorithm-Based Shape Optimization of Disk Wang–Ball Curves by Yan Liang, Rui Yang, Xianzhi Hu, Gang Hu

“…The shape design and optimization of complex disk curves is a crucial and intractable technique in computer-aided design and manufacturing (CAD/CAM). …”
Get full text

Arbitrary 3D multi-body road vehicle modeling for vehicle-infrastructure interaction by Shiyi Mei, Colin Caprani, Daniel Cantero

“…Applying conventional mathematical approaches to integrate these custom models into multi-body trucks with large degrees of freedom (DOFs) is generally intractable. Although powerful Multi-body Dynamics (MBD) and Finite Element (FE) software can model vehicles with complex configurations in great detail, their utilization is limited by high costs and long computation times. …”
Get full text

Macroproperties vs. microstates in the classical simulation of critical phenomena in quench dynamics of 1D Ising models by Anupam Mitra, Tameem Albash, Philip Daniel Blocher, Jun Takahashi, Akimasa Miyake, Grant Biedermann, Ivan H Deutsch

Get full text

A Multistep Look-Ahead Deadlock Avoidance Policy for Automated Manufacturing Systems by Chao Gu, Zhiwu Li, Abdulrahman Al-Ahmari

“…For an automated manufacturing system (AMS), it is a computationally intractable problem to find a maximally permissive deadlock avoidance policy (DAP) in a general case, since the decision on the safety of a reachable state is NP-hard. …”
Get full text

Transmitter and receiver design for integrated full‐duplex multiple‐input‐multiple‐output communication and multiple‐input‐multiple‐output radar system by Shengnan Shi, Zishu He, Ziyang Cheng

“…In the simulation part, the convergence performance and computational efficiency of the proposed algorithm are illustrated. …”
Get full text

Hair Barrette Induced Cochlear Implant Receiver Stimulator Site Infection with Extrusion by Trung N. Le, Jordan Hochman, Darren Leitao

“…However, explantation should be considered if there is evidence of systemic, intracranial, or intractable infection. Method. A Case report and literature review. …”
Get full text

Approach for designing and modelling of nanoscale DG MOSFET devices using Kriging metamodelling technique by Toufik Bentrcia, Fayçal Djeffal, Elasaad Chebaki

“…Therefore, this study may provide more insights regarding the investigation of surrogate modelling tools in the field of deep nanoscale devices especially with the intractable mission of developing physical based models at this scale for nanoelectronic simulators.…”
Get full text