CATALOGO DEI PRODOTTI DELLA RICERCA

MANCA, Vincenzo
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 8.243
NA - Nord America 8.184
AS - Asia 5.109
SA - Sud America 741
AF - Africa 71
OC - Oceania 18
Continente sconosciuto - Info sul continente non disponibili 8
Totale 22.374
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 8.100
RU - Federazione Russa 2.683
GB - Regno Unito 2.459
SG - Singapore 2.370
CN - Cina 1.599
BR - Brasile 626
FR - Francia 523
SE - Svezia 513
HK - Hong Kong 450
DE - Germania 443
IT - Italia 431
FI - Finlandia 427
IE - Irlanda 422
VN - Vietnam 242
KR - Corea 186
UA - Ucraina 178
TR - Turchia 56
AR - Argentina 46
IN - India 44
BE - Belgio 39
CA - Canada 38
BD - Bangladesh 32
MX - Messico 30
EC - Ecuador 25
ID - Indonesia 21
ES - Italia 20
IQ - Iraq 20
NL - Olanda 20
ZA - Sudafrica 19
PL - Polonia 18
AU - Australia 16
PK - Pakistan 13
JP - Giappone 12
MA - Marocco 12
AT - Austria 11
CO - Colombia 10
UZ - Uzbekistan 10
CZ - Repubblica Ceca 9
IL - Israele 9
KE - Kenya 9
LT - Lituania 9
EU - Europa 8
HU - Ungheria 8
JO - Giordania 8
CL - Cile 7
PY - Paraguay 7
VE - Venezuela 7
EG - Egitto 6
PE - Perù 6
RO - Romania 6
TN - Tunisia 6
AE - Emirati Arabi Uniti 5
DZ - Algeria 5
MD - Moldavia 5
NP - Nepal 5
SA - Arabia Saudita 5
AZ - Azerbaigian 4
BG - Bulgaria 4
NG - Nigeria 4
UY - Uruguay 4
BO - Bolivia 3
ET - Etiopia 3
JM - Giamaica 3
MY - Malesia 3
NI - Nicaragua 3
PA - Panama 3
PT - Portogallo 3
TG - Togo 3
AM - Armenia 2
BN - Brunei Darussalam 2
GE - Georgia 2
GR - Grecia 2
GT - Guatemala 2
LV - Lettonia 2
NO - Norvegia 2
SK - Slovacchia (Repubblica Slovacca) 2
TT - Trinidad e Tobago 2
AL - Albania 1
BA - Bosnia-Erzegovina 1
BF - Burkina Faso 1
BS - Bahamas 1
BZ - Belize 1
CM - Camerun 1
DO - Repubblica Dominicana 1
HR - Croazia 1
IR - Iran 1
KG - Kirghizistan 1
KH - Cambogia 1
KZ - Kazakistan 1
LB - Libano 1
LK - Sri Lanka 1
LU - Lussemburgo 1
ML - Mali 1
NZ - Nuova Zelanda 1
OM - Oman 1
PS - Palestinian Territory 1
SN - Senegal 1
SY - Repubblica araba siriana 1
TO - Tonga 1
Totale 22.374
Salva come PNG Salva come JPEG
Città #
Southend 2.227
Jacksonville 1.540
Singapore 1.156
Chandler 980
Woodbridge 800
Moscow 782
Dallas 624
Ann Arbor 519
Hong Kong 447
Ashburn 442
Dublin 420
Houston 412
Beijing 266
Lawrence 194
Princeton 194
Wilmington 181
The Dalles 180
New York 172
Nanjing 141
Los Angeles 124
Jinan 105
Buffalo 99
Sindelfingen 96
Shenyang 94
Verona 93
Ho Chi Minh City 71
Hebei 69
Council Bluffs 60
Milan 59
Tianjin 56
Changsha 50
Munich 50
Nanchang 50
São Paulo 50
Columbus 46
Helsinki 46
Seoul 44
Hangzhou 43
Guangzhou 42
Brussels 39
San Jose 39
Hanoi 38
Istanbul 36
Zhengzhou 36
Taizhou 35
Haikou 30
Redondo Beach 30
Jiaxing 27
Falkenstein 26
Santa Clara 26
Ningbo 24
Norwalk 24
Boardman 22
Seattle 22
Rio de Janeiro 21
Turku 20
Dong Ket 18
London 18
San Francisco 18
Taiyuan 18
Mexico City 17
Cambridge 16
Chennai 15
Fairfield 15
Brooklyn 14
Johannesburg 14
Kent 14
Warsaw 14
Curitiba 13
Denver 13
Redwood City 13
Belo Horizonte 12
Brasília 12
Da Nang 11
Dearborn 11
Düsseldorf 11
Fuzhou 11
Jakarta 11
Tokyo 11
Montreal 10
Salvador 10
Shenzhen 10
Atlanta 9
Auburn Hills 9
Haiphong 9
Philadelphia 9
Tashkent 9
Toronto 9
Vienna 9
Amman 8
Budapest 8
Dhaka 8
Frankfurt am Main 8
Guarulhos 8
Lanzhou 8
Melbourne 8
Nairobi 8
Phoenix 8
Rome 8
Amsterdam 7
Totale 14.019
Salva come PNG Salva come JPEG
Nome #
A dictionary based informational genome analysis 248
An evolutionary procedure for inferring MP systems regulation functions of biological networks 183
Towards an evolutionary procedure for reverse-engineering biological networks 183
Logical Representations of Grammatical Systems 179
A genetic approach for synthesizing metabolic models from time series 176
Logica pragmatica e formalizzazione linguistica 170
DNA Extraction by XPCR 169
Monoidal Systems and Membrane Systems 168
A photosynthetic process modelled by a metabolic P system 168
Monoidal Theories and String Derivation 167
A DNA Clause String Algorithm for SAT 167
P systems and the modeling of biochemical oscillations 167
An algebraic formulation of inverse problems in MP dynamics 167
A DNA Algorithm for 3-SAT (11,20)* 165
On the generative power of iterated transduction 165
P Systems and the Modeling of Biochemical Oscillations 163
Golbeter's mitotic oscillator entirely modeled by MP systems 162
A Membrane System for the Leukocyte Selective Recruitment 162
P Systems with boundary rules 161
An algorithmic analysis of DNA structure 161
A deductive system extending Equational Logic with Type Assignment 159
Logical String Rewriting 159
A metagrammatical logical formalism 156
Evolution and Oscillation in P systems: Applications to biological phenomena 155
A membrane system for selective leukocyte recruitment 154
A Metagrammatical Logical Formalism 153
Symbolic representation of biological oscillations 152
Computing with Multi-membranes 150
Towards an MP model for B lymphocytes maturation 150
Algorithmic Applications of XPCR 148
From time series to biological network regulations: an evolutionary approach 148
Psim: a simulator for biomolecular dynamics based on P systems 147
State Transition Dynamics: basic concepts and molecular computing perspectives 146
P systems with reaction maps 145
P systems for biological dynamics 145
A relational view of recurrence and attractors in state transition dynamics 145
Soundness and completeness of the Birkhoff many-sorted equational calculus 144
Arithmetical Metabolic P Systems 144
An Analysis of Correlative and Static Causality in P Systems 144
Metabolic P Systems: A Discrete Model for Biological Dynamics 144
A logical formalism for intergrammatical representations 143
Results and research topics in equational type logic 143
A Brief Philosophical Note on Information 142
DNA Recombination by XPCR 141
Algebra universale e logica in computer science 139
On the expresiveness of equational type logic 138
An algorithm for initial fluxes of metabolic P systems 136
Hybrid Functional Petri Nets as MP systems 135
Algebraic logic 134
A proof of regularity for finite splicing 132
MP Systems and Hybrid Petri Nets 132
A logical formalism for intergrammatical representations 130
Milieu-M: Visual Manipulation And Programming for Multi-Membranes 130
A Methodology Based on MP Theory for Gene Expression Analysis 130
Metabolic algorithm with time-varying reaction maps 129
Inference of Biological Pathways by Integrating Different Kinds of Correlation Indexes 129
Equational Calculi for algebras with empty carrier sets 128
Reaction-Driven Membrane Systems 128
Encoding-Decoding Transitional Systems for Classes of P Systems 128
Toward an MP Model of Non-Photochemical Quenching 128
Solving dynamical inverse problems by means of metabolic P systems 127
Logical Splicing 126
Equational Type logic 126
Formalizzazione e teoria del linguaggio, 126
Cross Pairing Polymerase Chain Reaction 126
An informational test for random finite strings 126
Reaction-driven membrane systems 124
Computational formalisms: abstract combinatory viewpoint and related first order logical framework 124
The discovery of initial fluxes of Metabolic P Systems 124
Genome classification by dictionary-based indexes 124
From abstract data tapes to network calculi 123
Evolutions and Oscillations of P Systems: Theorethical Considerations and Applications to Biochemical Phenomena 122
The phenomenon of sampling and growing in bio-populations 122
Metabolic approximation of real periodical functions 122
On the nature of TELLUS 121
Formal Logic 120
Introducing equational type logic 120
MP Modelling of Glucose-Insulin Interactions in the Intravenous Glucose Tolerance Test 120
Grammars for Discrete Dynamics 120
Membrane Algorithms for Propositional Satisfiability 118
Biological networks in metabolic P systems 118
Logica del primo ordine 117
Appunti di Algebre, Logica, Combinatoria 117
InfoGenomics Tools: a computational suite for informational analysis of genomes 117
XML Representation of Metabolic P Systems 117
Emergence of random selections in evolution of biological populations 116
Fom P to MP systems 115
Infobiotics: information in biotic systems 115
Teoria dell'Informazione 114
Iterated GSM Mappings: A Collapsing Hierarchy 114
MetaPlab: A Computational Framework for Metabolic P Systems 114
APPLICATION OF THE MP THEORY TO SYSTEMS BIOLOGY 114
Aspetti di storia del calcolo 113
String Rewriting and Metabolism: A logical perspective 113
Informational laws of genome structures 113
Linking bistable dynamics to metabolic p systems 112
MPTheory Java Library: a multi-platform Java library for Systems Biology based on the Metabolic P theory 112
Dynamical aspects of P systems 111
Logical Splicing in Natural languages 111
Mitotic oscillators as MP graphs 111
Totale 13.859
Salva come PNG Salva come JPEG
Categoria #
all - tutte 71.115
article - articoli 22.491
book - libri 5.136
conference - conferenze 22.092
curatela - curatele 0
other - altro 958
patent - brevetti 359
selected - selezionate 0
volume - volumi 20.079
Totale 142.230
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/20211.004 0 0 0 0 0 266 48 156 173 29 222 110
2021/20221.272 83 367 47 34 39 17 11 97 55 59 126 337
2022/20232.958 246 209 329 536 251 710 11 158 386 19 60 43
2023/20241.190 58 136 84 156 177 199 83 47 2 72 112 64
2024/20253.659 221 328 77 576 152 59 207 191 556 211 265 816
2025/20265.735 755 534 590 1.287 2.037 532 0 0 0 0 0 0
Totale 22.545