CATALOGO DEI PRODOTTI DELLA RICERCA

MANCA, Vincenzo
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 7.725
EU - Europa 6.044
AS - Asia 4.040
SA - Sud America 578
AF - Africa 48
OC - Oceania 16
Continente sconosciuto - Info sul continente non disponibili 8
Totale 18.459
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 7.669
GB - Regno Unito 2.440
SG - Singapore 1.827
CN - Cina 1.333
RU - Federazione Russa 569
BR - Brasile 523
FR - Francia 520
SE - Svezia 511
HK - Hong Kong 437
FI - Finlandia 427
IE - Irlanda 421
IT - Italia 420
DE - Germania 418
UA - Ucraina 175
KR - Corea 159
VN - Vietnam 75
TR - Turchia 56
BE - Belgio 39
IN - India 34
CA - Canada 33
BD - Bangladesh 21
NL - Olanda 19
AR - Argentina 18
AU - Australia 14
ES - Italia 14
MX - Messico 14
ID - Indonesia 13
IQ - Iraq 13
PL - Polonia 13
ZA - Sudafrica 13
AT - Austria 11
PK - Pakistan 11
EC - Ecuador 10
UZ - Uzbekistan 10
EU - Europa 8
HU - Ungheria 8
IL - Israele 8
MA - Marocco 8
CZ - Repubblica Ceca 7
JO - Giordania 7
KE - Kenya 7
CL - Cile 6
RO - Romania 6
CO - Colombia 5
LT - Lituania 5
PE - Perù 5
AE - Emirati Arabi Uniti 4
AZ - Azerbaigian 4
BG - Bulgaria 4
DZ - Algeria 4
EG - Egitto 4
JP - Giappone 4
NP - Nepal 4
SA - Arabia Saudita 4
TN - Tunisia 4
VE - Venezuela 4
BO - Bolivia 3
JM - Giamaica 3
MD - Moldavia 3
MY - Malesia 3
PT - Portogallo 3
PY - Paraguay 3
AM - Armenia 2
BN - Brunei Darussalam 2
GE - Georgia 2
GR - Grecia 2
LV - Lettonia 2
NG - Nigeria 2
NO - Norvegia 2
SK - Slovacchia (Repubblica Slovacca) 2
TG - Togo 2
TT - Trinidad e Tobago 2
AL - Albania 1
BA - Bosnia-Erzegovina 1
BF - Burkina Faso 1
BZ - Belize 1
CM - Camerun 1
ET - Etiopia 1
GT - Guatemala 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
NI - Nicaragua 1
NZ - Nuova Zelanda 1
PA - Panama 1
PS - Palestinian Territory 1
TO - Tonga 1
UY - Uruguay 1
Totale 18.459
Salva come PNG Salva come JPEG
Città #
Southend 2.227
Jacksonville 1.540
Chandler 980
Singapore 909
Woodbridge 800
Dallas 594
Ann Arbor 519
Hong Kong 434
Dublin 419
Houston 407
Ashburn 341
Lawrence 194
Princeton 194
Beijing 189
Wilmington 181
New York 152
Nanjing 141
Jinan 104
Los Angeles 101
Sindelfingen 96
Shenyang 93
Verona 93
Buffalo 84
The Dalles 80
Hebei 69
Council Bluffs 60
Milan 56
Tianjin 51
Nanchang 49
Changsha 48
Munich 48
Columbus 46
Helsinki 46
Hangzhou 41
São Paulo 41
Brussels 39
Guangzhou 39
Seoul 38
Istanbul 36
Moscow 36
Taizhou 35
Zhengzhou 34
Haikou 30
Jiaxing 27
Ningbo 24
Norwalk 24
Santa Clara 24
Boardman 22
Seattle 21
Redondo Beach 20
Turku 20
Dong Ket 18
Rio de Janeiro 18
San Francisco 18
Taiyuan 18
Cambridge 16
Fairfield 15
Kent 14
Brooklyn 13
Chennai 13
Redwood City 13
Belo Horizonte 12
Curitiba 11
Dearborn 11
Düsseldorf 11
Ho Chi Minh City 11
Brasília 10
Fuzhou 10
Salvador 10
Auburn Hills 9
Hanoi 9
Jakarta 9
London 9
Philadelphia 9
Shenzhen 9
Tashkent 9
Toronto 9
Vienna 9
Warsaw 9
Budapest 8
Frankfurt am Main 8
Johannesburg 8
Lanzhou 8
Melbourne 8
Amman 7
Dongguan 7
Guarulhos 7
Kemerovo 7
Montreal 7
Riva 7
San Diego 7
Washington 7
Amsterdam 6
Chicago 6
Clearwater 6
Dhaka 6
Lahore 6
Meda 6
Mehlingen 6
Mexico City 6
Totale 12.372
Salva come PNG Salva come JPEG
Nome #
A dictionary based informational genome analysis 206
Towards an evolutionary procedure for reverse-engineering biological networks 163
Logical Representations of Grammatical Systems 159
Logica pragmatica e formalizzazione linguistica 158
Monoidal Systems and Membrane Systems 148
On the generative power of iterated transduction 148
Monoidal Theories and String Derivation 147
Logical String Rewriting 144
DNA Extraction by XPCR 142
P Systems with boundary rules 140
P systems and the modeling of biochemical oscillations 138
An algebraic formulation of inverse problems in MP dynamics 138
A DNA Clause String Algorithm for SAT 134
An evolutionary procedure for inferring MP systems regulation functions of biological networks 134
State Transition Dynamics: basic concepts and molecular computing perspectives 133
A genetic approach for synthesizing metabolic models from time series 131
P Systems and the Modeling of Biochemical Oscillations 130
Results and research topics in equational type logic 129
Soundness and completeness of the Birkhoff many-sorted equational calculus 128
An algorithmic analysis of DNA structure 128
Evolution and Oscillation in P systems: Applications to biological phenomena 127
Golbeter's mitotic oscillator entirely modeled by MP systems 126
P systems for biological dynamics 125
Towards an MP model for B lymphocytes maturation 125
A metagrammatical logical formalism 124
A Metagrammatical Logical Formalism 124
A deductive system extending Equational Logic with Type Assignment 122
A Membrane System for the Leukocyte Selective Recruitment 122
A membrane system for selective leukocyte recruitment 121
Symbolic representation of biological oscillations 120
A photosynthetic process modelled by a metabolic P system 120
DNA Recombination by XPCR 120
Psim: a simulator for biomolecular dynamics based on P systems 115
An Analysis of Correlative and Static Causality in P Systems 115
Logical Splicing 114
A DNA Algorithm for 3-SAT (11,20)* 114
P systems with reaction maps 114
Hybrid Functional Petri Nets as MP systems 114
On the expresiveness of equational type logic 113
Algorithmic Applications of XPCR 112
Computing with Multi-membranes 112
From time series to biological network regulations: an evolutionary approach 112
On the nature of TELLUS 111
Computational formalisms: abstract combinatory viewpoint and related first order logical framework 111
Equational Type logic 110
Formalizzazione e teoria del linguaggio, 110
Cross Pairing Polymerase Chain Reaction 110
Solving dynamical inverse problems by means of metabolic P systems 110
MP Systems and Hybrid Petri Nets 110
A logical formalism for intergrammatical representations 109
Metabolic P Systems: A Discrete Model for Biological Dynamics 109
Equational Calculi for algebras with empty carrier sets 108
Formal Logic 108
From abstract data tapes to network calculi 108
A relational view of recurrence and attractors in state transition dynamics 108
A Brief Philosophical Note on Information 108
Grammars for Discrete Dynamics 107
Metabolic approximation of real periodical functions 106
Iterated GSM Mappings: A Collapsing Hierarchy 105
An algorithm for initial fluxes of metabolic P systems 105
Membrane Algorithms for Propositional Satisfiability 104
The phenomenon of sampling and growing in bio-populations 104
Algebraic logic 104
Introducing equational type logic 103
Appunti di Algebre, Logica, Combinatoria 103
Encoding-Decoding Transitional Systems for Classes of P Systems 102
Infobiotics: information in biotic systems 102
InfoGenomics Tools: a computational suite for informational analysis of genomes 102
Metabolic algorithm with time-varying reaction maps 101
Reaction-Driven Membrane Systems 101
Logica del primo ordine 101
Algebra universale e logica in computer science 101
Fom P to MP systems 100
Teoria dell'Informazione 99
Logical Splicing in Natural languages 99
On the power of equational logic: applications and extensions 99
Toward an MP Model of Non-Photochemical Quenching 99
Inference of Biological Pathways by Integrating Different Kinds of Correlation Indexes 99
Arithmetical Metabolic P Systems 99
A logical formalism for intergrammatical representations 98
An informational test for random finite strings 98
XML Representation of Metabolic P Systems 98
Teoria degli algoritmi 97
Aspetti di storia del calcolo 96
String Rewriting and Metabolism: A logical perspective 96
Semantica algebrica e denotazionale di linguaggi di programmazione 95
Iterated GSM Mappings: A Collapsing Hierarchy 95
MP-GeneticSynth: Inferring Biological Network Regulations from Time Series 95
Mitotic oscillators as MP graphs 95
Dynamical aspects of P systems 94
Discrete Solution of Differential Equations by P Metabolic Algorithm 94
A proof of regularity for finite splicing 94
Evolutions and Oscillations of P Systems: Theorethical Considerations and Applications to Biochemical Phenomena 93
Reaction-driven membrane systems 93
DNA extraction by cross pairing PCR. DNA Computing 93
MP Systems Approaches to Biochemical Dynamics: Biological Rhythms and Oscillations 93
On the power of P systems with replicated rewriting 93
Dynamics of P systems and simulation laboratory 92
Risoluzione automatica di anafora e formalismi astratti per linguaggio naturale 92
Biological networks in metabolic P systems 92
Totale 11.350
Salva come PNG Salva come JPEG
Categoria #
all - tutte 62.763
article - articoli 19.795
book - libri 4.619
conference - conferenze 19.405
curatela - curatele 0
other - altro 854
patent - brevetti 325
selected - selezionate 0
volume - volumi 17.765
Totale 125.526
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/20211.486 0 0 53 207 222 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/20261.820 755 534 531 0 0 0 0 0 0 0 0 0
Totale 18.630