Search Results - "Zanuttini, Bruno"
-
1
In-Depth In Silico Search for Cuttlefish ( Sepia officinalis) Antimicrobial Peptides Following Bacterial Challenge of Haemocytes
Published in Marine drugs (24-08-2020)“…Cuttlefish ( ) haemocytes are potential sources of antimicrobial peptides (AMPs). To study the immune response to and identify new AMPs, an original approach…”
Get full text
Journal Article -
2
Neuropeptidome of the Cephalopod Sepia officinalis: Identification, Tissue Mapping, and Expression Pattern of Neuropeptides and Neurohormones during Egg Laying
Published in Journal of proteome research (04-01-2016)“…Cephalopods exhibit a wide variety of behaviors such as prey capture, communication, camouflage, and reproduction thanks to a complex central nervous system…”
Get full text
Journal Article -
3
Characterization of a novel LFRFamide neuropeptide in the cephalopod Sepia officinalis
Published in Peptides (New York, N.Y. : 1980) (01-02-2010)“…From a single LC–MS/MS analysis, a new C-terminally extended RFamide neuropeptide was characterized in Sepia officinalis. The experimental strategy was based…”
Get full text
Journal Article -
4
A knowledge compilation perspective on queries and transformations for belief tracking
Published in Annals of mathematics and artificial intelligence (01-10-2024)“…Nondeterministic planning is the process of computing plans or policies of actions achieving given goals, when there is nondeterministic uncertainty about the…”
Get full text
Journal Article -
5
Strong partial clones and the time complexity of SAT problems
Published in Journal of computer and system sciences (01-03-2017)“…•We investigate the complexity of SAT(⋅) with partial clone theory.•We identify the computationally easiest NP-complete SAT(⋅) problem.•We study the time…”
Get full text
Journal Article -
6
Learning conditional preference networks
Published in Artificial intelligence (01-07-2010)“…Conditional preference networks ( CP-nets) have recently emerged as a popular language capable of representing ordinal preference relations in a compact and…”
Get full text
Journal Article -
7
What makes propositional abduction tractable
Published in Artificial intelligence (2008)“…Abduction is a fundamental form of nonmonotonic reasoning that aims at finding explanations for observed manifestations. This process underlies many…”
Get full text
Journal Article -
8
PepTraq: a toolbox for in silico data mining and fast sequence filtering
Published in Amino acids (01-05-2023)“…The development of de novo sequencing tools has led to the massive production of genomes and transcriptomes from many unconventional animal models. To tackle…”
Get full text
Journal Article -
9
An efficient algorithm for Horn description
Published in Information processing letters (30-11-2003)“…We give a new algorithm for computing a prepositional Horn CNF formula given the set of its models. Its running time is O(| R| n(| R|+ n)), where | R| is the…”
Get full text
Journal Article -
10
Broken triangles: From value merging to a tractable class of general-arity constraint satisfaction problems
Published in Artificial intelligence (01-05-2016)“…A binary CSP instance satisfying the broken-triangle property (BTP) can be solved in polynomial time. Unfortunately, in practice, few instances satisfy the…”
Get full text
Journal Article -
11
Design of antimicrobial peptides from a cuttlefish database
Published in Amino acids (01-11-2018)“…No antimicrobial peptide has been identified in cephalopods to date. Annotation of transcriptomes or genomes using basic local alignment Search Tool failed to…”
Get full text
Journal Article -
12
Identification of a New Set of Polypeptidic Sex Pheromones from Cuttlefish (Sepia officinalis)
Published in Marine biotechnology (New York, N.Y.) (01-06-2022)“…The common English Channel cuttlefish ( Sepia officinalis ) reproduces every year on very localized coastal spawning areas after a west–east horizontal…”
Get full text
Journal Article -
13
Dual role of the cuttlefish salivary proteome in defense and predation
Published in Journal of proteomics (28-08-2014)“…We characterized the proteome of the posterior salivary glands of the cephalopod S. officinalis by combining de novo RNA sequencing and mass spectrometry. In…”
Get full text
Journal Article -
14
Structure identification of Boolean relations and plain bases for co-clones
Published in Journal of computer and system sciences (2008)“…We give a quadratic algorithm for the following structure identification problem: given a Boolean relation R and a finite set S of Boolean relations, can the…”
Get full text
Journal Article -
15
Bounded Bases of Strong Partial Clones
Published in 2015 IEEE International Symposium on Multiple-Valued Logic (01-01-2015)“…Partial clone theory has successfully been applied to study the complexity of the constraint satisfaction problem parameterized by a set of relations…”
Get full text
Conference Proceeding -
16
Compact preference representation and Boolean games
Published in Autonomous agents and multi-agent systems (01-02-2009)“…Game theory is a widely used formal model for studying strategical interactions between agents. Boolean games (Harrenstein, Logic in conflict , PhD thesis,…”
Get full text
Journal Article -
17
A note on some collapse results of valued constraints
Published in Information processing letters (16-05-2009)“…Valued constraint satisfaction problem (VCSP) is an optimisation framework originally coming from Artificial Intelligence and generalising the classical…”
Get full text
Journal Article -
18
New Polynomial Classes for Logic-Based Abduction
Published in The Journal of artificial intelligence research (01-01-2003)“…We address the problem of propositional logic-based abduction, i.e., the problem of searching for a best explanation for a given propositional observation…”
Get full text
Journal Article -
19
Frozen Boolean Partial Co-clones
Published in 2009 39th International Symposium on Multiple-Valued Logic (01-05-2009)“…We introduce and investigate the concept of frozen partial co-clones. Our main motivation for studying frozen partial co-clones is that they have important…”
Get full text
Conference Proceeding -
20
Ovarian and sperm regulatory peptides regulate ovulation in the oyster Crassostrea gigas
Published in Molecular reproduction and development (01-05-2006)“…For more than six decades, several studies have shown that genital products to entering the mantle cavity via the incurrent siphon, initiate in oyster, strong…”
Get full text
Journal Article