Results 91 to 100 of about 4,649,254 (341)

Real-time logics: complexity and expressiveness

[1990] Proceedings. Fifth Annual IEEE Symposium on Logic in Computer Science, 1993
The authors consider the theory of timed state sequences which combines classical theory of infinite state sequences with a theory of discrete time, via a monotonic function that maps every state to its time. This is suitable for reasoning about real-time temporal systems.
Alur, R., Henzinger, T.A.
openaire   +1 more source

Leveraging Metaheuristics for Feature Selection With Machine Learning Classification for Malicious Packet Detection in Computer Networks

IEEE Access
Robust Intrusion Detection Systems (IDS) are increasingly necessary in the age of big data due to the growing volume, velocity, and variety of data generated by modern networks.
Aganith Shanbhag, Shweta Vincent, S. B. Bore Gowda, Om Prakash Kumar, Sharmila Anand John Francis   +4 more
doaj   +1 more source

Time Complexity Analysis of an Evolutionary Algorithm for approximating\n Nash Equilibriums [PDF]

, 2021
Aadesh Salecha
openalex   +1 more source

Scheduling unit processing time arc shutdown jobs to maximize network flow over time: complexity results

, 2013
We study the problem of scheduling maintenance on arcs of a capacitated network so as to maximize the total flow from a source node to a sink node over a set of time periods.
Boland, Natashia, Kalinowski, Thomas, Kapoor, Reena, Kaur, Simranjit   +3 more
core   +1 more source

Enteropathogenic E. coli shows delayed attachment and host response in human jejunum organoid‐derived monolayers compared to HeLa cells

FEBS Letters, EarlyView.
Enteropathogenic E. coli (EPEC) infects the human intestinal epithelium, resulting in severe illness and diarrhoea. In this study, we compared the infection of cancer‐derived cell lines with human organoid‐derived models of the small intestine. We observed a delayed in attachment, inflammation and cell death on primary cells, indicating that host ...
Mastura Neyazi, Pilar Samperio Ventayol, Natalie Burkard, Nicolas Schlegel, Carmen Aguilar, Sina Bartfeld   +5 more
wiley   +1 more source

Maximum entropy searching

CAAI Transactions on Intelligence Technology, 2018
This study presents a new perspective for autonomous mobile robots path searching by proposing a biasing direction towards causal entropy maximisation during random tree generation.
Rui Jiang, Hui Zhou, Hui Zhou, Han Wang, Shuzhi Sam Ge   +4 more
doaj   +1 more source

The Computational Complexity of Estimating Convergence Time [PDF]

, 2010
An important problem in the implementation of Markov Chain Monte Carlo algorithms is to determine the convergence time, or the number of iterations before the chain is close to stationarity. For many Markov chains used in practice this time is not known.
Bhatnagar, Nayantara, Bogdanov, Andrej, Mossel, Elchanan   +2 more
core  

Plasmodium falciparum gametogenesis essential protein 1 (GEP1) is a transmission‐blocking target

FEBS Letters, EarlyView.
This study shows Plasmodium falciparum GEP1 is vital for activating sexual stages of malarial parasites even independently of a mosquito factor. Knockout parasites completely fail gamete formation even when a phosphodiesterase inhibitor is added. Two single‐nucleotide polymorphisms (V241L and S263P) are found in 12%–20% of field samples.
Frederik Huppertz, Milagros Siebeck Caturelli, Lina S. Lehmann, Florian Kurth, Alexander G. Maier, Kai Matuschewski   +5 more
wiley   +1 more source

Hypergraphs in m-Polar Fuzzy Environment

Mathematics, 2018
Fuzzy graph theory is a conceptual framework to study and analyze the units that are intensely or frequently connected in a network. It is used to study the mathematical structures of pairwise relations among objects. An m-polar fuzzy (mF, for short) set
Muhammad Akram, Gulfam Shahzadi
doaj   +1 more source

Evolution of complexity following a quantum quench in free field theory

, 2018
Using a recent proposal of circuit complexity in quantum field theories introduced by Jefferson and Myers, we compute the time evolution of the complexity following a smooth mass quench characterized by a time scale $\delta t$ in a free scalar field ...
Alves, Daniel W. F., Camilo, Giancarlo
core   +2 more sources