CATALOGO DEI PRODOTTI DELLA RICERCA

MANCA, Vincenzo
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 10.762
EU - Europa 8.665
AS - Asia 6.078
SA - Sud America 852
Continente sconosciuto - Info sul continente non disponibili 180
AF - Africa 165
OC - Oceania 19
Totale 26.721
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 10.590
SG - Singapore 2.757
RU - Federazione Russa 2.687
GB - Regno Unito 2.486
CN - Cina 1.715
IT - Italia 745
BR - Brasile 691
FR - Francia 536
SE - Svezia 515
HK - Hong Kong 494
VN - Vietnam 477
DE - Germania 465
FI - Finlandia 437
IE - Irlanda 425
KR - Corea 232
UA - Ucraina 180
CA - Canada 85
NG - Nigeria 74
IN - India 70
TR - Turchia 64
AR - Argentina 58
BD - Bangladesh 56
BE - Belgio 40
MX - Messico 37
EC - Ecuador 33
ID - Indonesia 29
JP - Giappone 29
NL - Olanda 28
IQ - Iraq 27
CO - Colombia 23
ES - Italia 23
ZA - Sudafrica 22
PL - Polonia 21
AU - Australia 17
PK - Pakistan 17
KE - Kenya 16
MA - Marocco 16
SA - Arabia Saudita 14
UZ - Uzbekistan 13
CL - Cile 12
VE - Venezuela 12
AT - Austria 11
JO - Giordania 11
CZ - Repubblica Ceca 10
IL - Israele 10
LT - Lituania 10
PH - Filippine 10
HU - Ungheria 9
CR - Costa Rica 8
DZ - Algeria 8
EU - Europa 8
TN - Tunisia 8
AE - Emirati Arabi Uniti 7
EG - Egitto 7
JM - Giamaica 7
PA - Panama 7
PE - Perù 7
PY - Paraguay 7
GT - Guatemala 6
MY - Malesia 6
RO - Romania 6
AZ - Azerbaigian 5
ET - Etiopia 5
MD - Moldavia 5
NI - Nicaragua 5
NP - Nepal 5
UY - Uruguay 5
BG - Bulgaria 4
BO - Bolivia 4
HN - Honduras 4
PS - Palestinian Territory 4
TT - Trinidad e Tobago 4
AL - Albania 3
DO - Repubblica Dominicana 3
GE - Georgia 3
GR - Grecia 3
PT - Portogallo 3
TG - Togo 3
TH - Thailandia 3
AM - Armenia 2
BH - Bahrain 2
BN - Brunei Darussalam 2
BS - Bahamas 2
KZ - Kazakistan 2
LB - Libano 2
LV - Lettonia 2
NO - Norvegia 2
OM - Oman 2
PR - Porto Rico 2
RS - Serbia 2
SK - Slovacchia (Repubblica Slovacca) 2
TW - Taiwan 2
BA - Bosnia-Erzegovina 1
BF - Burkina Faso 1
BZ - Belize 1
CH - Svizzera 1
CI - Costa d'Avorio 1
CM - Camerun 1
GD - Grenada 1
HR - Croazia 1
Totale 26.536
Salva come PNG Salva come JPEG
Città #
Southend 2.227
Jacksonville 1.540
Singapore 1.472
Chandler 981
Ashburn 953
San Jose 822
Woodbridge 802
Moscow 782
Dallas 667
Ann Arbor 519
Hong Kong 489
Dublin 423
Houston 416
Council Bluffs 382
The Dalles 298
Verona 293
Beijing 275
Lawrence 194
Princeton 194
New York 185
Wilmington 181
Nanjing 141
Los Angeles 140
Ho Chi Minh City 139
Hanoi 106
Jinan 105
Buffalo 102
Sindelfingen 96
Shenyang 94
Milan 73
Hebei 69
São Paulo 68
Abuja 64
Tianjin 57
Helsinki 56
Santa Clara 53
Changsha 50
Munich 50
Nanchang 50
Columbus 48
Hangzhou 44
Seoul 44
Guangzhou 43
Brussels 40
Istanbul 37
Zhengzhou 36
Orem 35
Taizhou 35
Haikou 30
Redondo Beach 30
Frankfurt am Main 28
Jiaxing 28
Tokyo 27
Falkenstein 26
Toronto 25
Ningbo 24
Norwalk 24
Boardman 23
Chennai 23
San Francisco 23
Seattle 23
Da Nang 22
Denver 22
Rome 22
Annandale 21
Rio de Janeiro 21
Turku 20
Brooklyn 19
London 19
Dong Ket 18
Manchester 18
Mexico City 18
Taiyuan 18
Johannesburg 17
Montreal 17
Cambridge 16
Chicago 16
Warsaw 16
Atlanta 15
Brasília 15
Fairfield 15
Haiphong 15
Kent 14
Naples 14
Philadelphia 14
Curitiba 13
Nairobi 13
Redwood City 13
Belo Horizonte 12
Phoenix 12
Tashkent 12
Amman 11
Dearborn 11
Dhaka 11
Düsseldorf 11
Fuzhou 11
Jakarta 11
Salvador 11
Amsterdam 10
Baghdad 10
Totale 16.898
Salva come PNG Salva come JPEG
Nome #
A dictionary based informational genome analysis 282
Logical Representations of Grammatical Systems 229
Monoidal Theories and String Derivation 223
An evolutionary procedure for inferring MP systems regulation functions of biological networks 220
Towards an evolutionary procedure for reverse-engineering biological networks 210
A DNA Algorithm for 3-SAT (11,20)* 208
Monoidal Systems and Membrane Systems 203
A genetic approach for synthesizing metabolic models from time series 202
On the generative power of iterated transduction 200
An algebraic formulation of inverse problems in MP dynamics 198
A Membrane System for the Leukocyte Selective Recruitment 197
P Systems and the Modeling of Biochemical Oscillations 196
Logical String Rewriting 195
A photosynthetic process modelled by a metabolic P system 195
An algorithmic analysis of DNA structure 194
DNA Extraction by XPCR 193
A DNA Clause String Algorithm for SAT 192
P systems and the modeling of biochemical oscillations 189
Logica pragmatica e formalizzazione linguistica 186
Golbeter's mitotic oscillator entirely modeled by MP systems 186
Algorithmic Applications of XPCR 183
A deductive system extending Equational Logic with Type Assignment 182
A membrane system for selective leukocyte recruitment 182
A metagrammatical logical formalism 180
A Metagrammatical Logical Formalism 179
From time series to biological network regulations: an evolutionary approach 178
Towards an MP model for B lymphocytes maturation 178
Results and research topics in equational type logic 176
P Systems with boundary rules 175
A relational view of recurrence and attractors in state transition dynamics 175
P systems with reaction maps 174
An Analysis of Correlative and Static Causality in P Systems 174
Metabolic P Systems: A Discrete Model for Biological Dynamics 174
Evolution and Oscillation in P systems: Applications to biological phenomena 173
P systems for biological dynamics 171
A logical formalism for intergrammatical representations 170
State Transition Dynamics: basic concepts and molecular computing perspectives 170
A Brief Philosophical Note on Information 170
Symbolic representation of biological oscillations 169
Soundness and completeness of the Birkhoff many-sorted equational calculus 169
Psim: a simulator for biomolecular dynamics based on P systems 169
DNA Recombination by XPCR 169
Arithmetical Metabolic P Systems 166
Computing with Multi-membranes 166
An algorithm for initial fluxes of metabolic P systems 164
Algebraic logic 164
Milieu-M: Visual Manipulation And Programming for Multi-Membranes 163
Algebra universale e logica in computer science 162
MP Systems and Hybrid Petri Nets 161
The discovery of initial fluxes of Metabolic P Systems 160
A Methodology Based on MP Theory for Gene Expression Analysis 158
Inference of Biological Pathways by Integrating Different Kinds of Correlation Indexes 157
A proof of regularity for finite splicing 156
Genome classification by dictionary-based indexes 156
A logical formalism for intergrammatical representations 155
On the expresiveness of equational type logic 154
Hybrid Functional Petri Nets as MP systems 152
Toward an MP Model of Non-Photochemical Quenching 150
The phenomenon of sampling and growing in bio-populations 149
Encoding-Decoding Transitional Systems for Classes of P Systems 148
An informational test for random finite strings 148
Reaction-driven membrane systems 147
Grammars for Discrete Dynamics 147
Metabolic algorithm with time-varying reaction maps 146
Evolutions and Oscillations of P Systems: Theorethical Considerations and Applications to Biochemical Phenomena 146
Solving dynamical inverse problems by means of metabolic P systems 146
Equational Calculi for algebras with empty carrier sets 145
Reaction-Driven Membrane Systems 144
From abstract data tapes to network calculi 144
Linking bistable dynamics to metabolic p systems 144
PanDelos: a dictionary-based method forpan-genome content discovery 144
Teoria dell'Informazione 143
Equational Type logic 143
Appunti di Algebre, Logica, Combinatoria 143
On the power of P systems with replicated rewriting 141
Metabolic approximation of real periodical functions 141
XML Representation of Metabolic P Systems 141
Cross Pairing Polymerase Chain Reaction 140
Biological networks in metabolic P systems 140
On synthesizing a replicating metabolic system by membrane systems 140
Logical Splicing 139
Formalizzazione e teoria del linguaggio, 139
MP Modelling of Glucose-Insulin Interactions in the Intravenous Glucose Tolerance Test 139
Emergence of random selections in evolution of biological populations 139
Membrane Algorithms for Propositional Satisfiability 138
APPLICATION OF THE MP THEORY TO SYSTEMS BIOLOGY 138
Introducing equational type logic 137
Computational formalisms: abstract combinatory viewpoint and related first order logical framework 137
InfoGenomics Tools: a computational suite for informational analysis of genomes 137
Dynamics of P systems and simulation laboratory 135
Aspetti di storia del calcolo 135
Formal Logic 135
Informational laws of genome structures 135
MPTheory Java Library: a multi-platform Java library for Systems Biology based on the Metabolic P theory 135
Editorial: New trends on genome and transcriptome characterizations 135
On the nature of TELLUS 134
Learning regulation functions of metabolic systems by artificial neural networks 134
Infobiotics: information in biotic systems 134
Semantica algebrica e denotazionale di linguaggi di programmazione 133
Metodi Informazionali per il Corso di laurea in Bioinformatica 133
Totale 16.373
Salva come PNG Salva come JPEG
Categoria #
all - tutte 87.101
article - articoli 27.556
book - libri 6.309
conference - conferenze 27.195
curatela - curatele 0
other - altro 1.164
patent - brevetti 428
selected - selezionate 0
volume - volumi 24.449
Totale 174.202
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022775 0 0 0 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/20268.611 755 534 590 1.287 2.037 677 845 511 652 407 86 230
2026/20271.300 77 250 513 460 0 0 0 0 0 0 0 0
Totale 26.721