Items where Subject is "Q Science > QA Mathematics > QA076 Computer software > QA076.7 Programming Languages - Semantics"

Up a level
Export as [feed] RSS 2.0 [feed] RSS 1.0 [feed] Atom
Group by: Authors(s) | Item Type
Jump to: A | B | C | D | F | G | I | K | L | M | P | Q | R | S | U | Y | Z
Number of items at this level: 109.

A

Abdel-Naby, Sameh and Giorgini, Paolo and Fante, Stefano (2007) Semi-Heuristic Negotiation Protocol for Agent-based Mobile Service Application. UNSPECIFIED. (Submitted)

Abeni, Luca and Kiraly, Csaba and Russo, Alessandro and Biazzini, Marco and Lo Cigno, Renato (2010) GRAPES: a Generic Environment for P2P Streaming. UNSPECIFIED. (Unpublished)

Aiello, Marco and Pegoretti, Andrea (2004) Textual Article Clustering in Newspaper Pages. UNSPECIFIED. (Unpublished)

Ali, Raian and Dalpiaz, Fabiano and Giorgini, Paolo (2010) A Goal-based Framework for Contextual Requirements Modeling and Analysis. UNSPECIFIED. (Submitted)

Ali, Raian and Dalpiaz, Fabiano and Giorgini, Paolo (2010) Contextual Goal Models. UNSPECIFIED. (Unpublished)

Autayeu, Aliaksandr (2010) Descriptive Phrases: Understanding Natural Language Metadata. UNSPECIFIED. (Unpublished)

B

Ballarini, Paolo and Mura, Ivan and Mardare, Radu (2008) Query-based Verification of Biochemical Oscillations through Probabilistic Model Checking. UNSPECIFIED.

Ballarini, Paolo and Csikasz-Nagy, Attila and Mazza, Tommaso and Palmisano, Alida (2008) An analysis of irreversible transitions in a model of the buddying yeast cell cycle. UNSPECIFIED.

Baralla, Angela and Cavaliere, Matteo and de la Fuente, Alberto (2008) Modeling and parameter estimation of the SOS response network in E.coli. UNSPECIFIED. (Unpublished)

Bartoletti, Massimo and Degano, Pierpaolo and Ferrari, Gian Luigi and Zunino, Roberto (2009) ν-types for effects and freshness analysis. UNSPECIFIED.

Bartoletti, Massimo and Zunino, Roberto (2009) A Calculus of Contracting Processes. UNSPECIFIED.

Bartoletti, Massimo and Zunino, Roberto (2009) A Calculus of Contracting Processes. UNSPECIFIED.

Bartoletti, Massimo and Zunino, Roberto (2010) Static Enforcement of Service Deadlines. UNSPECIFIED.

Birukou, Aliaksandr and Blanzieri, Enrico and Giorgini, Paolo (2005) A Multi-Agent System that Facilitates Scientific Publications Search. UNSPECIFIED. (Unpublished)

Bouquet, Paolo and Giunchiglia, Fausto and van Harmelen, Frank and Serafini, Luciano and Stuckenschmidt, Heiner (2003) C-OWL: Contextualizing ontologies. UNSPECIFIED.

Bouquet, Paolo and Giunchiglia, Fausto and van Harmelen, Frank and Serafini, Luciano and Stuckenschmidt, Heiner (2004) Contextualizing Ontologies. UNSPECIFIED. (In Press)

Bouquet, Paolo and Serafini, Luciano and Zanobini, Stefano (2003) Semantic coordination: a new approach and an application. UNSPECIFIED. (Submitted)

Bryl, Volha and Giorgini, Paolo and Fante, Stefano (2005) An Implemented Prototype of Bluetooth-Based Multi-Agent System. UNSPECIFIED. (Unpublished)

Bryl, Volha and Giorgini, Paolo and Fante, Stefano (2005) Toothagent: a Multi-Agent System for Virtual Communities Support. UNSPECIFIED. (Unpublished)

C

Cardelli, Luca (2006) Artificial Biochemistry. UNSPECIFIED.

Cavaliere, Matteo and Csikasz-Nagy, Attila and Cappello, Igor and Walker, David and Montanari, Ugo and Hillston, Jane and Baralla, Angela and Priami, Corrado and Mura, Ivan (2006) Book of abstracts: Scientific Opening of The Microsoft Reasearch Centre for Computational and Systems Biology, Trento, Italy, April 3-5, 2006. UNSPECIFIED. (Unpublished)

Cavaliere, Matteo and Csikasz-Nagy, Attila and Jordan, Ferenc (2008) Graph Transformations and Game Theory: A Generative Mechanism for Network Formation. UNSPECIFIED. (Unpublished)

Cavaliere, Matteo and Egecioglu, Omer and Ibarra, Oscar H. and Woodworth, Sara and Ionescu, Mihai and Păun, Gheorghe (2007) Asynchronous Spiking Neural P Systems. UNSPECIFIED.

Cavaliere, Matteo and Jonoska, Natasha and Leupold, Peter (2006) DNA Splicing: Computing by Observing. UNSPECIFIED.

Cavaliere, Matteo and Mardare, Radu and Sedwards, Sean (2007) Colonies of Synchronizing Agents. UNSPECIFIED.

Cavaliere, Matteo and Mura, Ivan (2007) Experiments on the Reliability of Stochastic Spiking Neural P Systems. UNSPECIFIED.

Cavaliere, Matteo and Sedwards, Sean (2006) Decision Problems in Membrane Systems with Peripheral Proteins, Transport and Evolution. UNSPECIFIED.

Cavaliere, Matteo and Sedwards, Sean (2006) Modelling Cellular Processes using Membrane Systems with Peripheral and Integral Proteins. UNSPECIFIED.

Cavaliere , Matteo and Sedwards, Sean (2006) Membrane Systems with Peripheral Proteins: Transport and Evolution. UNSPECIFIED.

Ciocchetta, Federica and Priami, Corrado (2006) Beta-binders with Biological Transactions. UNSPECIFIED. (Unpublished)

Ciocchetta, Federica and Priami, Corrado (2006) The pi-calculus with biological transactions. UNSPECIFIED. (Unpublished)

D

Dematte', Lorenzo and Mazza, Tommaso (2008) Study on an Optimistic Reaction-Diusion Simulator based on Gillespie SSA. UNSPECIFIED.

Dematte', Lorenzo and Prandi, Davide and Priami, Corrado and Romanel, Alessandro (2007) Effective Index: a formal measure of drug effects. UNSPECIFIED. (Unpublished)

Dematte', Lorenzo and Priami, Corrado and Romanel, Alessandro (2008) The BlenX Language: A Tutorial. UNSPECIFIED.

Dematte', Lorenzo and Priami, Corrado and Romanel, Alessandro and Soyer, Orkun (2007) A formal and integrated framework to simulate evolution of biological pathways. UNSPECIFIED.

Dudka, Anna and Guerriero, Maria Luisa and Heath, John and Priami, Corrado and Underhill-Day, Nicholas (2008) Narrative-based Computational Modelling of the Gp130/JAK/STAT Signalling Pathway. UNSPECIFIED.

Dutta, Biswanath and Giunchiglia, Fausto (2008) Social tagging: Semantics are actually used. UNSPECIFIED.

F

Forlin, Michele and Mura, Ivan (2008) Independent Component Analysis for the Aggregation of Stochastic Simulation Output. UNSPECIFIED. (Unpublished)

Frankova, Ganna and Massacci, Fabio and Seguran, Magali (2007) From Early Requirements Analysis towards Secure Workflows. UNSPECIFIED. (Unpublished)

Fronza, Ilenia and Lecca, Paola (2007) Solving a system of Master Equations for parallel chemical interactions. UNSPECIFIED. (Unpublished)

Fronza, Ilenia and Quattrone, Alessandro and Re, Angela (2007) An integration of miRNA target predictions for the characterization of human miRNAs. UNSPECIFIED. (Unpublished)

G

Garzetti, Maddalena and Giorgini, Paolo and Mylopoulos, John and Sannicolò, Fabrizio (2002) Applying Tropos Methodology to a real case study: Complexity and Criticality Analysis. UNSPECIFIED.

Ghidini, Chiara and Giunchiglia, Fausto (2003) A semantics for abstraction. UNSPECIFIED. (Unpublished)

Giunchiglia, Fausto and Farazi, Feroz and Tanca, Letizia and De Virgilio, Roberto (2009) The Semantic Web Languages. UNSPECIFIED. (Unpublished)

Giunchiglia, Fausto and Khandaker, Tabin Hasan and Sheikh Shaugat, Abdullah and Rezwan, Ahmed (2013) Minimalist Metadata Visualization: The Minimal Set of Context Dependent Attributes for Entity Identification. Trento : Università degli Studi di Trento. Dipartimento di Ingegneria e Scienza dell'Informazione.

Giunchiglia, Fausto and Kharkevich, Uladzimir and Hume, Alethia (2009) Semantic Flooding: Semantic Search across Distributed Lightweight Ontologies. UNSPECIFIED. (Unpublished)

Giunchiglia, Fausto and Shvaiko, Pavel and Yatskevich, Mikalai (2004) S-Match: an algorithm and an implementation of semantic matching. UNSPECIFIED. (In Press)

Giunchiglia, Fausto and Yatskevich, Mikalai and Giunchiglia, Enrico (2004) Efficient Semantic Matching. UNSPECIFIED. (In Press)

Goldstein, Richard A. and Soyer, Orkun (2007) Chemotaxis mediated by non-adaptive dynamics. UNSPECIFIED.

Guerriero, Maria Luisa and Heath, John and Priami, Corrado (2007) An Automated Translation from a Narrative Language for Biological Modelling into Process Algebra. UNSPECIFIED.

Guerriero, Maria Luisa and Prandi, Davide and Priami, Corrado and Quaglia, Paola (2006) Process Calculi Abstractions for Biology. UNSPECIFIED.

Guerriero, Maria Luisa and Priami, Corrado and Romanel, Alessandro (2006) Beta-binders with Static Compartments. UNSPECIFIED.

I

Ihekwaba, Adaoha and Mardare, Radu (2007) A Process Algebraical Approach to Modelling Compartmentalized Biological Systems. UNSPECIFIED.

Imran, Muhammad and Daniel, Florian and Casati, Fabio and Marchese, Maurizio (2010) ResEval: A Mashup Platform for Research Evaluation. UNSPECIFIED.

Ionescu, Bogdan and Popescu, Adrian and Müller, Henning and Menéndez, María and Radu, Anca-Livia (0014) Benchmarking Result Diversification in Social Image Retrieval. 445 Hoes Lane Piscataway, N.J. 08854, U.S.A. : IEEE Signal Processing Society. (Submitted)

K

Kiyavitskaya, Nadzeya and Zeni, Nicola and Mich, Luisa and Mylopoulos, John (2004) NLP-Based Requirements Modeling: Experiments on the Quality of the models. UNSPECIFIED. (Submitted)

Korenblat, Katerina and Priami, Corrado (2003) Extraction of pi-calculus specifications from UML sequence and state diagrams. UNSPECIFIED. (Unpublished)

Kumar, K M Senthil (2003) A Java implementation of Coordination Rules as ECA Rules. UNSPECIFIED. (Unpublished)

Kuwahara, Hiroyuki and Mura, Ivan (2008) An Efficient and Exact Stochastic Simulation Method to Analyze Rare Events in Biochemical Systems. UNSPECIFIED.

L

Larcher, Roberto and Ihekwaba, Adaoha and Priami, Corrado (2007) A BetaWB model for the NFkB pathway. UNSPECIFIED. (Unpublished)

Larcher, Roberto and Priami, Corrado (2008) From BlenX to chemical reactions via SBML. UNSPECIFIED. (Unpublished)

Lecca, Paola (2007) Simulating a faulty mechanism of protein folding in the pathogenesis of familial Parkinson's disease. UNSPECIFIED.

Lecca, Paola and Dematte', Lorenzo and Priami, Corrado (2008) Modeling and simulating bio-molecule diffusion in non-homogeneous solutions. Diffusive spatial effects on chaperone-assisted protein folding: a case study. UNSPECIFIED.

Lecca, Paola and Dematte', Lorenzo and Priami, Corrado (2007) Simulating reaction-diffusion with state-dependent diffusion coefficients. UNSPECIFIED. (Unpublished)

Lecca, Paola and Lecca, Michela (2007) Molecular mechanism of energy metabolism in astrocytes: a parametric model from FDG PET images. UNSPECIFIED.

Lecca, Paola and Ooi, Wen Fong and Priami, Corrado (2007) Rate sensitivity analysis of a Beta binders model of lymphocyte recruitment control mechanism. UNSPECIFIED. (Unpublished)

Lecca, Paola and Palmisano, Alida and Priami, Corrado (2008) Inferring rate coefficents of biochemical reactions from noisy data with KInfer. UNSPECIFIED. (Unpublished)

Lecca, Paola and Palmisano, Alida and Priami, Corrado and Sanguinetti, Guido (2008) Calibration of biochemical network models. UNSPECIFIED. (Unpublished)

Lecca, Paola and Sanguinetti, Guido and Palmisano, Alida and Priami, Corrado (2007) A new model for kinetic parameter estimation in biochemical reactions. UNSPECIFIED. (Unpublished)

Lecca, Paola and Teso, Stefano (2008) Notes on stochastic simulation of chemical kinetics with cycle-leaping. UNSPECIFIED. (Unpublished)

Leye, Stefan and Priami, Corrado and Uhrmacher, Adelinde (2007) A Parallel Beta-binders Simulator. UNSPECIFIED. (Unpublished)

M

Maltese, Vincenzo and Giunchiglia, Fausto and Denecke, Kerstin and Lewis, Paul and Wallner, Cornelia and Baldry, Anthony and Madalli, Devika (2009) On the interdisciplinary foundations of diversity. UNSPECIFIED.

Mardare, Radu and Policriti, Alberto (2008) Decision problems for Spatial Logics revisited. UNSPECIFIED. (Unpublished)

Mardare, Radu and Policriti, Alberto (2008) Towards a Complete Axiomatization for Spatial Logic. UNSPECIFIED.

Mardare, Radu (2007) Dynamic-Epistemic reasoning on distributed systems. UNSPECIFIED.

Mardare, Radu and Cavaliere, Matteo and Sedwards, Sean (2007) A Logical Characterization of Robustness, Mutants and Species in Colonies of Agents. UNSPECIFIED.

Mardare, Radu and Priami, Corrado (2006) Dynamic Epistemic Spatial Logic. UNSPECIFIED.

Mazza, Tommaso and Cavaliere, Matteo (2008) Cell Cycle and Tumor Growth in Membrane Systems with Peripheral Proteins. UNSPECIFIED.

Mion, Luca and Pilati, Ivan and Macii, Davi and Andreatta, Fabio (2008) Matching ontologies for emergency evacuation plans. UNSPECIFIED. (Unpublished)

Moscon, Valentina (2009) Copyright law, Contract law, Rights Expression Languages and Value-Centered Design Approach. [Preprint] (Unpublished)

Muhammad, Imran and Marchese, Maurizio and Ragone, Azzurra and Birukou, Aliaksandr and Casati, Fabio and Jara Laconich, Juan Jose (2010) ResEval: An Open and Resource-oriented Research Impact Evaluation tool. UNSPECIFIED. (Submitted)

Mura, Ivan (2008) Exactness and Approximation of the Stochastic Simulation Algorithm. UNSPECIFIED. (Unpublished)

Mura, Ivan (2007) Simplifying the Stochastic Petri Nets Formalism for Representing Biological Phenomena. UNSPECIFIED. (Unpublished)

Mura, Ivan and Csikasz-Nagy, Attila (2007) Stochastic Modeling of Budding Yeast Cell Cycle. UNSPECIFIED.

P

Palmisano, Alida and Priami, Corrado (2008) From Solvable to Executable Models of Biological Systems. UNSPECIFIED.

Passini, Valerio and Lhoussaine, Cedric and Nebut, Mirabelle and Kuttler, Celine (2008) Rule based modeling of gene regulation and biosynthesis of tryptophan in E. coli. UNSPECIFIED. (Unpublished)

Polo, Filippo and Priami, Corrado (2008) Automated generation of narrative language programs from NCI-Nature's Pathway Interaction Database. UNSPECIFIED. (Unpublished)

Prandi, Davide and Priami, Corrado and Romanel, Alessandro (2008) Simulation of non-Markovian Processes in BlenX. UNSPECIFIED. (Unpublished)

Priami, Corrado (2008) Algorithmic Systems Biology: An Opportunity for Computer Science. UNSPECIFIED.

Priami, Corrado (2007) Computational Thinking in Biology. UNSPECIFIED.

Priami, Corrado and Guierriero, Maria Luisa (2006) Causality and Concurrency in Beta-binders. UNSPECIFIED. (Unpublished)

Priami, Corrado and Romanel, Alessandro (2006) On the Decidability and Complexity of the Structural Congruence for Beta-binders. UNSPECIFIED.

Priami, Corrado (eds.) (2003) Proceedings of International Workshop "Global Computing: Programming Environments, Languages, Security and Analysis of Systems". Trento : Università degli Studi di Trento.

Q

Quarteroni, Silvia and Riccardi, Giuseppe and Varges, Sebastian and Bisazza, Arianna (2008) An Open-Domain Dialog Act Taxonomy. UNSPECIFIED. (Submitted)

R

Romanel, Alessandro and Priami, Corrado (2008) On the Computational Power of BlenX. UNSPECIFIED. (Unpublished)

Romanel, Alessandro and Priami, Corrado and Dematte', Lorenzo (2007) The Beta Workbench. UNSPECIFIED. (Unpublished)

Roshelova, Albena (2004) A Peer-to-Peer Database Management System. UNSPECIFIED. (Unpublished)

S

Sboner, A. and Romanel, A. and Malossini, A. and Ciocchetta, F. and Demichelis, F. and Azzini, I. and Blanzieri, E. and Dell'Anna, R. (2005) Simple methods for peak and valley detection in time series microarray data. UNSPECIFIED. (Unpublished)

Schivo, Stefano (2008) Polyadic Stochastic COWS. UNSPECIFIED. (Unpublished)

Schivo, Stefano (2008) Review on stochastic comparison relations. UNSPECIFIED. (Unpublished)

Sedwards, Sean and Mazza, Tommaso (2008) Cyto-Sim: A Formal Language Model and Stochastic Simulator of Membrane-Enclosed Biochemical Processes. UNSPECIFIED.

Segata, Nicola and Blanzieri, Enrico and Priami, Corrado (2007) Stochastic pi-calculus modelling of multisite phosphorylation based signaling: in silico analysis of the Pho4 transcription factor and the PHO pathway in Saccharomyces cerevisiae. UNSPECIFIED. (Unpublished)

Segata, Nicola and Blanzieri, Enrico and Priami, Corrado (2007) Towards the integration of computational systems biology and high-throughput data: a way to support differential analysis of microarray gene expression data. UNSPECIFIED.

Soyer, Orkun (2007) Emergence and Maintanence of Functional Modules in Signaling Pathways. UNSPECIFIED.

Syed, Hamza Hydri and Andritsos, Periklis (2006) Reading between the lines : Using hierarchically structured preferences to capture query semantics. UNSPECIFIED. (Unpublished)

U

Ucelli, Giuliana and De Amicis, Raffaele and Conti, Giuseppe and Giunchiglia, Fausto and Noll, Stefan (2003) A Semantic-Based Information Management System to Support Innovative Product Design. UNSPECIFIED. (Unpublished)

Y

Yatskevich, Mikalai (2003) Preliminary Evaluation of Schema Matching Systems. UNSPECIFIED. (Unpublished)

Z

Zhao, Yuting and Wang, Kewen and Topor, Rodney and Pan, Jeff Z. and Giunchiglia, Fausto (2009) Building Heterogeneous Multi-context Systems by Semantic Bindings. UNSPECIFIED. (In Press)

Zhao, Yuting and Wang, Kewen and Topor, Rodney and Pan, Jeff Z. and Giunchiglia, Fausto (2007) Semantic Cooperation and Knowledge Reuse by Using Autonomous Ontologies. UNSPECIFIED.

This list was generated on Tue Mar 19 01:00:36 2024 CET.