A5058107550- Microbial Metabolic Engineering and Bioproduction
- Model-Driven Software Engineering Techniques
- Bioinformatics and Genomic Networks
- Advanced Software Engineering Methodologies
- Software System Performance and Reliability
- Gene Regulatory Network Analysis
- Software Reliability and Analysis Research
- Formal Methods in Verification
- Receptor Mechanisms and Signaling
- Semantic Web and Ontologies
- Genetic Neurodegenerative Diseases
- Logic, programming, and type systems
- Ion channel regulation and function
- Natural Language Processing Techniques
- Marine and fisheries research
- Chemical Synthesis and Analysis
- Time Series Analysis and Forecasting
- Protein Structure and Dynamics
- Web Applications and Data Management
- Machine Learning in Bioinformatics
- Advanced Database Systems and Queries
- Service-Oriented Architecture and Web Services
- Metabolomics and Mass Spectrometry Studies
- Monoclonal and Polyclonal Antibodies Research
- Software Testing and Debugging Techniques
Ca' Foscari University of Venice
2006-2024
European Centre for Living Technology
2020-2024
Universitat de les Illes Balears
2011
Università Iuav di Venezia
2004
Sapienza University of Rome
1998-2000
Informa (Italy)
1999
Over the last decade, a lot of research has been directed toward integrating performance analysis into software development process. Traditional methods focus on correctness, introducing issues later in This approach does not take account fact that problems may require considerable changes design, for example, at architecture level, or even worse requirement level. Several approaches were proposed order to address early analysis. Although some them have successfully applied, we are still far...
Underwater noise pollution from human activities, particularly shipping, has been recognised as a serious threat to marine life. The sound generated by vessels can have various adverse effects on fish and aquatic ecosystems in general. In this setting, the estimation analysis of underwater produced is an important challenge for preservation environment. paper we propose model spatio-temporal characterisation vessels. approach based reconstruction vessels' trajectories Automatic...
Abstract In this paper we model spatio-temporal data describing the fishing activities in Northern Adriatic Sea over four years. We build, implement and analyze a database based on fusion of two complementary sources: trajectories from vessels (obtained terrestrial Automatic Identification System, or AIS, feed) fish catch reports (i.e., quantity type caught) main market area. present all phases creation, starting raw proceeding through exploration, cleaning, trajectory reconstruction...
We propose an integrated approach to the functional and performance analysis of Software Architectures (SAs) based on Stochastic Process Algebras (SPAs) Queueing Networks (QNs), in order combine their main advantages: formal techniques for verification properties systems SPAs, efficient QNs. first introduce Æmilia, a SPA architectural description language compositional, graphical hierarchical modeling SAs, which is equipped with suitable checks detection mismatches. Then we present...
Abstract Background Residue Interaction Networks (RINs) map the crystallographic description of a protein into graph, where amino acids are represented as nodes and non-covalent bonds edges. Determination visualization RIN provides insights on topological properties (and hence their related biological functions) large proteins without dealing with full complexity three-dimensional description, it represents an invaluable tool modern bioinformatics. Results We present maker , fast, flexible,...
Abstract Background Comparing the metabolic pathways of different species is useful for understanding functions and can help in studying diseases engineering drugs. Several comparison techniques have been introduced literature as a first attempt this direction. The approaches are based on some simplified representation related definition similarity score (or distance measure) between two pathways. More recent comparative research focuses alignment that identify similar parts Results We...
Abstract Macrocyclic peptides provide an attractive modality for drug development due to their ability bind challenging targes, small size, and amenability powerful in vitro evolution techniques such as phage or mRNA display. While these technologies proved capable of generating screening extremely large libraries yielded ligands already many targets, they often do not identify the best binders within a library difficulty monitoring performance controlling selection pressure. Furthermore,...
We consider trophic networks, a kind of networks used in ecology to represent feeding interactions (what-eats-what) an ecosystem. Starting from the observation that can be naturally modelled as Petri nets, we explore possibility using nets for analysis and simul ation networks. define discuss different continuous net models, whose level accuracy depends on information available network. The simplest model construct just relies topology also propose technique deriving more refined embeds into...
Relational reasoning is concerned with relations over an unspecified domain of discourse. Two limitations to which it customarily subject are: only dyadic are taken into account; all formulas equations, having the same expressive power as first-order sentences in three variables. The relational formalism inherits from Peirce-Schröder tradition, through contributions Tarski and many others. Algebraic manipulation expressions (equations particular) much less natural than developing inferences...