Articles tagged with Logical Modeling
Researchers at the University of Pennsylvania found that rewarding 'reformers' who improve the collective prediction regardless of their own personal accuracy leads to more accurate and diverse outcomes. This approach is more effective than rewarding 'niche experts' or 'experts', which can lead to a loss of diversity and accuracy.
A new computational modeling framework uses Type-3 Fuzzy Logic and neural networks to simulate tumor-immune dynamics under uncertainty and chaos. The model generates 'bands of uncertainty' and provides interpretable results, enabling physicians to understand the 'why' behind predictions.
Maude-NPA's parallelization significantly reduces analysis time for complex cryptographic protocols. The new method improves runtime performance by an average of 52% and enables formal analysis of quantum-resistant TLS protocols.
Researchers introduced an innovative ML model for classifying faults in SRF cavities, utilizing historical data and expert insights to enhance operational stability. The system achieved high accuracy and efficiency, facilitating long-term trend analysis and proactive maintenance strategies.
MIT researchers have developed a new data-driven method that eliminates redundant computations in complex logistical problems. The approach uses machine learning to predict which operations should be recomputed and reduces the solve time for problems like scheduling trains, hospital staff, and factory tasks.
A study published in Chinese Medical Journal explores the use of artificial intelligence to identify potential medications for treating glaucoma. Researchers used AI models to predict the effectiveness of small-molecule compounds targeting RIPK3, a key signaling molecule involved in programmed cell death.
Researchers developed Concurrent Dynamic Quantum Logic (CDQL) to verify quantum protocols with concurrent actions, enhancing expressiveness and speeding up verification. CDQL provides a rigorous framework for verifying both sequential and concurrent models of quantum protocols.
Researchers developed a large-scale optical programmable logic array that can execute complex models like Conway's Game of Life, marking a significant advancement in optical computing. The array uses parallel spectrum modulation to achieve an 8-input system, significantly expanding the capabilities of optical logic operations.
A team of researchers created PenGym, an effective and reliable realistic training framework for RL pentesting agents that enables actual actions on realistic hosts in network environments. This approach yields promising results compared to simulated environments.
Researchers from University of Utah introduced Simulating Travel Rates in Diverse Environments (STRIDE) model to predict walking travel times with unprecedented accuracy. The model considers slope steepness, vegetation density, and ground surface roughness for efficient routes.
Researchers improve U-Net AI model for oceanographic research by enhancing its segmentation, forecasting, and super-resolution tasks. The upgraded model improves detection accuracy and prediction outcomes, showcasing its potential in ocean remote sensing.
Researchers developed a symbolic model checking approach to verify quantum circuits, addressing the gap between model-checking quantum programs and quantum circuits. They used Maude programming language to formally specify and verify quantum circuits, confirming their correctness and paving the way for error-free quantum computing.
Researchers used ChatGPT to design a university field course, finding it an effective tool for planning educational trips. The AI model was also adaptable for other industries, such as environmental impact studies and business trips.
A new study from Vanderbilt University Medical Center demonstrates the potential of AI to help target computerized alerts intended for healthcare teams. The approach uses machine learning to analyze user interactions with alerts, predicting when specific alerts will be dismissed by users. The model's suggestions were found to align wit...
A new AI tool, DeepGO-SE, successfully predicts the molecular functions of unknown proteins with high accuracy. This breakthrough enables researchers to analyze uncharacterized proteins, facilitating tasks such as drug discovery, metabolic pathway analysis, and disease associations.
A recent simulation study suggests that giant dinosaur carcasses could have been a key food source for Jurassic predators like Allosaurus. The researchers found that scavenging large carrion was more profitable than hunting, indicating that carnivores in such ecosystems might have evolved specialized traits to exploit these resources.
Researchers found that rats, like humans, tend to overestimate the likelihood of two events occurring together. This study suggests a shared cognitive mechanism between humans and animals, which could have implications for understanding psychopathological conditions.
GPT-3 performs nearly on par with humans in decision-making but struggles with causal reasoning and information search. The language model's limitations may be due to its passive information-gathering approach, highlighting the need for active interaction with the world to achieve human-like intelligence.
A team of researchers from Xi'an Jiaotong-Liverpool University and other institutions has identified a flexible and user-friendly model for predicting flood frequency in a changing environment. The fractional polynomial-based regression method is more effective than existing models, which often fail to account for factors like climate ...
A University of Washington model found that the body's ability to create cloned immune cells falls significantly with age, leading to increased susceptibility to COVID-19 in the elderly. The study suggests that genetic limits on cell division may play a role in the devastating effects of COVID-19 on older adults.
Researchers developed advanced torque vectoring methods to enhance power consumption, safety, and driveability in electric vehicles. The innovative system uses predictive control models with fuzzy logic to adaptively prioritize vehicle dynamics or energy efficiency.
Researchers from Waseda University create a way to transform logical Ising models into physically implementable ones with lower bit widths. This approach uses auxiliary spins to achieve the desired transformation without changing the solution.
The new algorithm simplifies neural models through synaptic pruning and dendritic pruning procedures, resulting in simplified structures that can be implemented as logic circuits. These circuits achieved satisfactory classification accuracy on benchmark problems, suggesting potential for solving complex real-world problems with high ha...
A researcher at the University of Córdoba has developed a model that uses artificial intelligence to predict water needs for farmers, helping to reduce waste and conserve resources. The model uses fuzzy logic and neural networks to analyze data from remote control systems and establish optimal irrigation depths.
Researchers developed a logic-based model incorporating information about developmental signaling pathways to predict disease progression and outcome in neuroblastoma. The model proved accurate in predicting outcomes in children less than 2 years old with 91% accuracy.
Researchers studied targeted observation for ENSO prediction, finding that observing central equatorial Pacific improves skill by 25%, while eastern Pacific observations during April-October boost accuracy by 62%. Implementing targeted observation weakens the spring predictability barrier, significantly improving prediction skill.
A research team from HKBU has developed a new technology to accurately establish a gene regulatory route for analyzing genetic function and understanding complex biological events. The 'LogicTRN' algorithm can help locate key regulatory routes for complicated diseases, facilitating targeted therapy drug development.
A Chinese research team proposes a multi-dimensional system dynamic (SD) simulation model to understand China's urbanization process. The model provides a comprehensive view of the mechanism constrained by environmental sustainability, with an ultimate urbanization level predicted in multiple scenarios.
Researchers used computer technology to learn how past societies responded to climate change, identifying crops and strategies that can be useful today. The studies found that drought-tolerant crops like Hopi corn and foxtail millet could become crucial for human survival in areas impacted by climate change.
A Chinese research team proposes a novel approach to verify the correctness of high-speed train control systems, combining simulation and formal verification. The method models the system using Simulink/Stateflow and then transforms it into a formal Hybrid CSP model for verification, advancing the state-of-the-art in verifying train co...
In a high-profile debate, Merrill critiques Smith and Cuesters' realist approach to ontology engineering. The exchange raises fundamental questions about the nature of ontology for e-science.
A new study uses fuzzy logic to predict how cell aging progresses, uncovering a protective and adaptive mechanism that extends lifespan. The model helps decipher the underlying connections and networks in cellular mechanisms, offering insights into age-related diseases.
Edmund M. Clarke has been recognized for his pioneering work on Model Checking, a technique that analyzes the logic underlying a design to detect errors in hardware and software. This approach has significantly improved the reliability of complex computer chips, systems, and networks.
The new A.I argumentation system, which uses defeasible reasoning, allows for a more natural and human-like approach to legal decision-making. This enables lawyers to build stronger arguments and make informed decisions based on competing perspectives.
An international team of scientists, led by Colorado State University's Scott Denning, aims to resolve the mystery of the 'missing sink' that absorbs excess carbon dioxide from the atmosphere. The TransCom3 project will use advanced modeling techniques and data analysis to narrow down the location and mechanisms of this natural process.