Article
Computer Science, Artificial Intelligence
Mingye Xu, Yali Wang, Yihao Liu, Tong He, Yu Qiao
Summary: Point cloud completion aims to predict complete shape from partial observations. A generic PretrainPrompt-Predict paradigm, CP3, is proposed to tackle the challenges in current approaches. CP3 creatively interprets point cloud generation and refinement stages as prompting and predicting stages, respectively, and introduces a self-supervised pretraining stage and a Semantic Conditional Refinement (SCR) network to increase robustness and improve refinement with semantics. Experimental results show that CP3 outperforms state-of-the-art methods significantly. Code is available at https://github.com/MingyeXu/cp3.
IEEE TRANSACTIONS ON PATTERN ANALYSIS AND MACHINE INTELLIGENCE
(2023)
Article
Multidisciplinary Sciences
Germano Heinzelmann, Michael K. Gilson
Summary: BAT.py is a Python tool that automates the calculation of protein-ligand binding free energies using the AMBER simulation package, supporting various binding free energy methods, and can be used inexpensively on common machines. This software can be applied in a high-throughput mode for early-stage drug discovery.
SCIENTIFIC REPORTS
(2021)
Article
Multidisciplinary Sciences
Judy Sein Kim, Brianna Aheimer, Veronica Montane Manrara, Marina Bedny
Summary: Studies have shown that blind and sighted adults share causal understanding of color, despite not always agreeing about arbitrary color facts. Blind individuals are less likely to make predictions based on common knowledge of colors, such as assuming bananas are yellow or stop signs are red, but they provide similar causal explanations for the colors of real and novel objects. This suggests that people develop intuitive and inferentially rich theories of color regardless of visual experience, and that linguistic communication is more effective in aligning intuitive theories than knowledge of arbitrary facts.
PROCEEDINGS OF THE NATIONAL ACADEMY OF SCIENCES OF THE UNITED STATES OF AMERICA
(2021)
Article
Computer Science, Artificial Intelligence
Yuhao Tang, Haichen Yang, Liyan Zhang, Ye Yuan
Summary: Computed Tomography Report Generation (CTRG) is an advancement of conventional X-ray report generation, aiming to generate medical reports from sequential radiological images. This paper addresses the challenges in generating fine-grained reports that filter lesion regions and adhere to medical logic. The study introduces two large-scale clinical datasets, proposes a self-attention-based Scan Localizer (SL) and a Dynamic Generator (DG), which outperform existing methods in terms of CIDEr points on both datasets.
EXPERT SYSTEMS WITH APPLICATIONS
(2024)
Article
Computer Science, Interdisciplinary Applications
Goran Musi, Bernhard Heinzl, Wolfgang Kastner
Summary: This research proposes the introduction of an abstraction layer and component-container infrastructure defined on top of standard system and software models in automation, in order to fulfill rising requirements and manage the exploding complexity. By implementing a domain-specific modeling language and utilizing a classical two-level Model-driven Software Engineering (MDSE) approach, the automation systems engineering workflow can be streamlined in different domains.
JOURNAL OF INDUSTRIAL INFORMATION INTEGRATION
(2022)
Article
Astronomy & Astrophysics
Orlando Luongo, Nicola Marcantognini, Marco Muccino
Summary: We propose a mechanism that predicts both baryon asymmetry and dark matter origin at early times. This mechanism recovers spontaneous baryogenesis during the reheating process. By working with U(1)-invariant quark and lepton fields, we achieve a symmetry breaking and get a pseudo Nambu-Goldstone boson. This boson speeds up the Universe during inflation and enables baryogenesis.
GENERAL RELATIVITY AND GRAVITATION
(2023)
Article
Physics, Particles & Fields
Lisa Michaels, Felix Yu
Summary: New U(1) gauge theories involving SM fermions typically require additional electroweak fermions for anomaly cancellation. The study focuses on the non-decoupling properties of new fermions, called anomalons, and their impact on the Z -> Z' gamma decay width in different models. The current LEP limits on the exotic Z -> ZB' gamma decay are found to be weaker than previously estimated, with low-mass ZB' dijet resonance searches proving more constraining.
JOURNAL OF HIGH ENERGY PHYSICS
(2021)
Article
Psychology, Multidisciplinary
Roseli Rodrigues-Mello, Lars Bonell-Garcia, Marcos Castro-Sandua, Esther Oliver-Perez
Summary: Research shows that adolescents are commonly attracted to violence, with traditional models of masculinity being perceived as attractive. New alternative masculinity is challenging this traditional model and its harmful effects on adolescent gender and sexuality. Media products, like the Spanish film mentioned, have a significant impact on adolescents through communicative acts that enhance the attractiveness of certain male models.
FRONTIERS IN PSYCHOLOGY
(2021)
Article
Psychology, Multidisciplinary
Carly Fox, Sharad Jones, Sandra Laing Gillam, Megan Israelsen-Augenstein, Sarah Schwartz, Ronald Bradley Gillam
Summary: The study developed the LLUNA system for automatically evaluating six aspects of literate language in narratives, showing strong inter-rater reliability with expert scorers and surpassing reliability levels of non-expert scorers in four aspects. The system has potential for automating scoring of literate language in language sample analysis and narrative samples for assessment and progress-monitoring purposes.
FRONTIERS IN PSYCHOLOGY
(2022)
Article
Computer Science, Artificial Intelligence
Ali Hur, Naeem Janjua, Mohiuddin Ahmed
Summary: This research proposes a pipeline-based system for extracting valuable insights from vast amounts of unstructured digital text. The system utilizes labeled property graphs to encode contextual information and allows efficient text querying and manipulation. NLP components and specialized patterns and algorithms are implemented to enhance specific NLP tasks.
EXPERT SYSTEMS WITH APPLICATIONS
(2024)
Article
Engineering, Environmental
Sulakshana Shenoy, Chitiphon Chuaicham, Takamasa Okumura, Karthikeyan Sekar, Keiko Sasaki
Summary: This study utilizes an in-situ simple tactic polycondensation method to produce porous graphitic carbon nitride nanosheets on CaFe2O4 particles, forming a quasi-polymeric heterojunction. The heterojunction traps excited electrons through interfacial electron trap states, preventing charge carrier recombination and enhancing pollutant degradation rates.
CHEMICAL ENGINEERING JOURNAL
(2023)
Article
Physics, Particles & Fields
Ben Allanach, Anna Mullin
Summary: Measurements of b -> s mu(+)mu(-) transitions suggest the existence of a new physics field coupling to di-muon pairs associated with the b to s flavor transition. The 2022 LHCb reanalysis of R-K and R-K* indicates the possibility of associated new physics in b -> se(+)e(-) transitions as well. This study examines the statistical preference for Z ' models coupling to di-electron pairs, considering relevant constraints from LEP-2 experiments. A set of anomaly-free models that interpolate between no coupling of Z ' to electrons and equal coupling to muons and electrons, while allowing Z ' boson mediation in b -> s mu(+)mu(-) transitions, is identified. The 3B(3) - L-e - 2L(mu) model provides a nearly optimal fit to the measurements. The predictions for relevant LEP-2 observables, calculated using dimension 6 SMEFT operators and implemented in the flavio computer program, are made available for global fits.
JOURNAL OF HIGH ENERGY PHYSICS
(2023)
Review
Psychology, Multidisciplinary
Marco Tulio Daza, Usochi Joanann Ilozumba
Summary: This study investigates the ethical issues of AI in business and provides an overview of the latest developments and trends in the field.
FRONTIERS IN PSYCHOLOGY
(2022)
Article
Physics, Particles & Fields
Pascal Anastasopoulos, Kunio Kaneta, Elias Kiritsis, Yann Mambrini
Summary: We investigate the impact of an anomalous Z' boson on the anomalous magnetic moment of the muon (g - 2), focusing on its axial coupling. We analyze the negative contribution of such couplings at one-loop and examine the anomalous couplings generated at two loops. Our findings reveal parameter spaces where the anomalous contribution becomes comparable or dominant to the one-loop contribution. We demonstrate that in such cases, the theory's cutoff is sufficiently low to allow for the detection of new charged fermions in future collider experiments. We also discuss the implications of this scenario in orientifolds of string theory.
JOURNAL OF HIGH ENERGY PHYSICS
(2023)
Article
Physics, Particles & Fields
Anatoly Dymarsky, Rohit R. Kalloor
Summary: Recently, connections between quantum codes and Narain CFTs have provided a simple way to express a modular-invariant function Z(tau, (tau) over bar) using multivariate polynomials. These polynomials are naturally associated with codes and satisfy the necessary properties for modular invariance. However, there are also fake polynomials that satisfy these properties but are not associated with any code. We consider six simple examples of these fake polynomials and show that none of them are the torus partition function of any Narain theory.
JOURNAL OF HIGH ENERGY PHYSICS
(2023)
Article
Computer Science, Software Engineering
Alvaro Miyazawa, Ana Cavalcanti, Andy Wellings
SCIENCE OF COMPUTER PROGRAMMING
(2019)
Article
Computer Science, Theory & Methods
Pedro Ribeiro, Ana Cavalcanti
THEORETICAL COMPUTER SCIENCE
(2019)
Article
Computer Science, Software Engineering
Alvaro Miyazawa, Pedro Ribeiro, Wei Li, Ana Cavalcanti, Jon Timmis, Jim Woodcock
SOFTWARE AND SYSTEMS MODELING
(2019)
Article
Computer Science, Software Engineering
Ana Cavalcanti, Adenilso Simao
SOFTWARE QUALITY JOURNAL
(2019)
Article
Computer Science, Software Engineering
Jan Peleska, Wen-ling Huang, Ana Cavalcanti
SCIENCE OF COMPUTER PROGRAMMING
(2019)
Article
Computer Science, Theory & Methods
Simon Foster, Ana Cavalcanti, Samuel Canham, Jim Woodcock, Frank Zeyda
THEORETICAL COMPUTER SCIENCE
(2020)
Article
Computer Science, Theory & Methods
Ana Cavalcanti, Robert M. Hierons, Sidney Nogueira
ACM TRANSACTIONS ON COMPUTATIONAL LOGIC
(2020)
Editorial Material
Computer Science, Software Engineering
Ana Cavalcanti, Pedro Ribeiro
FORMAL ASPECTS OF COMPUTING
(2020)
Article
Computer Science, Software Engineering
Simon Foster, James Baxter, Ana Cavalcanti, Jim Woodcock, Frank Zeyda
SCIENCE OF COMPUTER PROGRAMMING
(2020)
Article
Computer Science, Information Systems
James Baxter, Pedro Ribeiro, Ana Cavalcanti
Summary: The study explores tock-CSP as a dedicated language for modeling budgets, deadlines, and Zeno behavior. It introduces the first tailored semantic model for tock-CSP that captures timewise refinement.
Article
Computer Science, Theory & Methods
Simon Foster, Kangfeng Ye, Ana Cavalcanti, Jim Woodcock
Summary: This paper presents an algebraic verification strategy for concurrent reactive programs with a large or infinite state space, involving novel operators and an associated equation theory. The method can calculate denotational semantics of reactive programs, facilitate automated proof, and support iterative programs and parallel composition..
JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING
(2021)
Article
Computer Science, Software Engineering
Kangfeng Ye, Ana Cavalcanti, Simon Foster, Alvaro Miyazawa, Jim Woodcock
Summary: RoboChart is a domain-specific language for robotics that supports automated verification through model checking and theorem proving, with an extension to model uncertainty using probabilism. The language includes a new construct for enriching state machines with probability and an accompanying tool called RoboTool for modelling and verifying functional and real-time behavior. An automatic technique has been implemented in RoboTool to transform RoboChart models into PRISM models for verification, with an extension of the property language to support probabilistic properties expressed in temporal logic using controlled natural language.
SOFTWARE AND SYSTEMS MODELING
(2022)
Article
Computer Science, Artificial Intelligence
Beverley Townsend, Colin Paterson, T. T. Arvind, Gabriel Nemirovsky, Radu Calinescu, Ana Cavalcanti, Ibrahim Habli, Alan Thomas
Summary: With advancements in systems engineering and artificial intelligence, autonomous agents are expected to execute tasks that affect human well-being, requiring them to be normatively sensitive and compliant. Bridging the gap between normative principles and operational practice, this paper presents a process for deriving practical rules from high-level norms, enabling autonomous agents to select and execute the most favorable action based on relevant normative principles.
MINDS AND MACHINES
(2022)
Article
Computer Science, Theory & Methods
James Baxter, Ana Cavalcanti, Maciej Gazda, Robert M. Hierons
Summary: This research introduces a new approach for timed refinement and testing using a dialect of CSP called tock-CSP. It provides a novel semantics for testing by distinguishing input and output events in tock-CSP. Additionally, a new testing theory for timewise refinement is presented, based on novel definitions of test and test execution. The paper also establishes a relationship between timed ioco testing and refinement in tock-CSP with inputs and outputs.
ACM TRANSACTIONS ON COMPUTATIONAL LOGIC
(2023)
Article
Computer Science, Hardware & Architecture
Mohammad Reza Mousavi, Ana Cavalcanti, Michael Fisher, Louise Dennis, Rob Hierons, Bilal Kaddouh, Effie Lai-Chong Law, Rob Richardson, Jan Oliver Ringer, Ivan Tyukin, Jim Woodcock
Summary: Autonomous systems have the potential to solve societal challenges, but trustworthiness is crucial. A U.K. consortium conducted research to address the central issue of establishing verifiability.
