21 papers · ranked by Valyu relevance
Subhradip Das, Sushmitha Hegde, Neel Wagh, Jyothish Sudhakaran + 3 more
Repurposing of pleiotropic factors during execution of diverse cellular processes has emerged as a regulatory paradigm. Embryonic development in metazoans is controlled by maternal factors deposited in the egg during oogenesis. Here, we explore maternal role(s) of Caspar (Casp), the Drosophila orthologue of human…
Marcello Balduccini, Daniele Magazzeni, Marco Maratea, Emily LeBlanc
In this paper, we present CASP solutions for dealing with PDDL+ problems, i.e., encoding from PDDL+ to CASP, and extensions to the algorithm of the ezcsp CASP solver in order to solve CASP programs arising from PDDL+ domains. An experimental analysis, performed on well-known linear and non-linear variants of PDDL+…
Yuliya Lierler
Constraint Answer Set Programming (CASP) is a hybrid reasoning paradigm that combines Answer Set Programming (ASP) with Constraint Processing and Satisfiability Modulo Theories (SMT), enabling powerful declarative encodings of complex combinatorial search problems. This paper presents the design and implementation of…
Thomas Eiter, Tobias Geibinger, Tobias Kaminski, Nysret Musliu + 1 more
We present the solver asp-fzn for Constraint Answer Set Programming (CASP), which extends ASP with linear constraints. Our approach is based on translating CASP programs into the solver-independent FlatZinc language that supports several Constraint Programming and Integer Programming backend solvers. Our solver…
Marcello Balduccini, Daniele Magazzeni, Marco Maratea
PDDL+ is an extension of PDDL that enables modelling planning domains with mixed discrete-continuous dynamics. In this paper we present a new approach to PDDL+ planning based on Constraint Answer Set Programming (CASP), i.e. ASP rules plus numerical constraints. To the best of our knowledge, ours is the first attempt…
Authors not listed
Advances in computer-assisted synthesis planning (CASP) are revolutionising how new functional molecules in many chemistry-using industries are being developed. CASP tools allow to assemble and analyse prior knowledge of a specified chemical system (a molecule, a reaction, a synthesis route), to generate hypotheses on…
ICR Barbosa, D De Bellis, I Flückiger, E Bellani + 3 more
Casparian strips (CS), the main extracellular diffusion barrier in plant roots, are precisely localized cell wall lignin-impregnations, contrasting animal tight-junctions. The CS membrane domain (CSD) proteins 1-5 (CASP1-5) define and accumulate at the CS associated membrane domains displaying matrix adhesion and…
Authors not listed
Effective visualization of complex synthesis routes is critical for computeraided synthesis planning (CASP), yet current solutions are limited in scope, integration flexibility, and chemical intuition. We introduce RouteWise, a versatile, containerized web application designed to address these unmet needs. Its modular…
Angelo Solania, Gonzalo E. González-Páez, Dennis W. Wolan
The individual roles and overlapping functionalities the twelve human caspases have during apoptosis and other cellular processes remain poorly resolved primarily due to a lack of chemical tools. Here we present a new selective caspase-3 inhibitor, termed Ac-ATS010-KE, with rapid and irreversible binding kinetics.…
Authors not listed
Identifying synthesis routes from knowledge graphs poses challenges beyond retrosynthesis, including path–finding artifacts and data issues. We introduce “SynGPS”, a novel algorithm that overcomes these limitations by identifying viable routes even with common artifacts. SynGPS can resolve nonsensical cycles…
Irina Sagarbarria, Jamin Seo, Andrew J. Smith, Elena M. Vazey + 4 more
Caspase-6 (casp-6), is a member of the apoptotic family of caspases (cysteine aspartic proteases) and has been shown to be involved in several neurodegenerative diseases, including Alzheimer’s disease. Drug discovery efforts have focused on specific inhibition of casp-6, and it is important that lead compounds…
Joaquín Arias, Manuel Carro, Gopal Gupta
Goal-directed evaluation of Answer Set Programs is gaining traction thanks to its amenability to create AI systems that can, due to the evaluation mechanism used, generate explanations and justifications. s(CASP) is one of these systems and has been already used to write reasoning systems in several fields. It provides…
Jinsu An, So Yeon Kim, Eun Gyeong Yang, Hak Suk Chung + 1 more
Recognition of intracellular lipopolysaccharide (LPS) by Caspase-4 (Casp-4) is critical for host defense against Gram-negative pathogens. LPS binds to the N-terminal caspase activation and recruitment domain (CARD) of procaspase-4, leading to auto-proteolytic activation followed by pro-inflammatory cytokine release and…
Freia De Bock, Catherin Bosle, Christine Graef, Johannes Oepen + 2 more
Background While ICF-CY-based models of care are promising avenues for improving participation of children with chronic health conditions, feasible and valid instruments to assess participation as an outcome in routine are still needed. We aimed to validate a German parent-report version of the Child and Adolescent…
Angelo Solania, Janice H. Xu, Dennis W. Wolan
Limited structural information and biochemical studies are available that demonstrate how the prime side of cysteine protease active sites, such as for human caspases, are used for substrate recognition and how these binding regions can be exploited in the design of inhibitors and probes. Reported small molecules that…
Alexander J. Pollard, Claire Forbes-Haley, Joanne Purvis, Terrance Chikurunhe + 1 more
Aims Describes the development and early implementation of the Cancer Action Support Practice (CASP) pathway in South West England, aiming to improve dental care access for head and neck cancer (HNC) survivors in the primary care setting. Summary of CASP development Stakeholder engagement was central to CASP's design…
Gyu Ri Kim, Gopalakrishnan Netuveli, David Blane, Anne Peasey + 7 more
'Sofia Malyutina' 'Galina Simonova' 'Ruzena Kubinova' 'Andrzej Pajak' 'Simone Croezen' 'Martin Bobak' 'Hynek Pikhart'] Objectives: The aim was to assess the reliability and validity of the quality of life (QoL) instrument CASP-19, and three shorter versions of CASP-12 in large population sample of older adults from the…
Kaiping Wang, Fang Cheng, Xianglin Pan, Tao Zhou + 4 more
'Ziming Zheng' 'Li Luo' 'Yu Zhang'] Title: Abstract To investigate the absorption and delivery of ASP in gastrointestinal (GI) tract, cASP was successfully synthesized by chemically modifying with succinic anhydride and then conjugating with a near infrared fluorescent dye Cy5.5. Then, the capacity of oral absorption…
Chonghuan Zhang, Alexei Lapkin
Computer assisted synthesis planning (CASP) accelerates the development of organic synthesis routes of pharmaceuticals and industrial chemicals. CASP tools are generally developed on the rules or data of synthetic chemistry which include some enzymatic reactions. However, synthetic biology offers a new degree of…
M Ahmad, Alvin Cheung
MapReduce is a popular programming paradigm for developing large-scale, data-intensive computation. Many frameworks that implement this paradigm have recently been developed. To leverage these frameworks, however, developers must become familiar with their APIs and rewrite existing code. We present Casper, a new tool…
Trevor Brown, William Sigouin, Dan Alistarh
To maximize the performance of concurrent data structures, researchers have often turned to highly complex fine-grained techniques, resulting in efficient and elegant algorithms, which can however be often difficult to understand and prove correct. While simpler techniques exist, such as transactional memory, they can…