01003nam0-2200337---450-99000560399040332120150904115151.0000560399FED01000560399(Aleph)000560399FED0100056039919990604d1983----km-y0itay50------baitaITa---b---001yyHayeza cura di Maria Cristina Gozzoli e Fernando MazzoccaMilanoElecta[1983]394 p.ill.25 cmCatalogo della Mostra tenuta a Milano nel 1983-1984Hayez, FrancescoDipintiCataloghiHayez, FrancescoEsposizioniMilano1983-1984759.522Gozzoli,Maria CristinaHayez,FrancescoMazzocca,FernandoITUNINARICAUNIMARCBK990005603990403321759.5 MOSTRE MILANO 1984BIBL. 57733FLFBCFLFBCUNINA02760nam 2200541 450 00001416720050718115500.03-540-17204-120030616d1987----km-y0itay0103----baengDEStability problems for stochastic modelsproceedings of the 9. international seminar held in Varna, Bulgaria, May 13-19, 1985edited by V. V. Kalashnikov, B. Penkov, V. M. ZolotarevBerlin [etc.]Springerc1987VI, 223 p.25 cm.Lecture notes in mathematics12332001Lecture notes in mathematicsStabilitàCongressi519.2(21. ed.)Probabilità e matematica applicata. Probabilità60B10Probability theory and stochastic processes. Probability theory on algebraic and topological structures. Convergence of probability measures60B99Probability theory and stochastic processes. Probability theory on algebraic and topological structures60E10Probability theory and stochastic processes. Distribution theory. Characteristic functions; other transforms60E99Probability theory and stochastic processes. Distribution theory60F05Probability theory and stochastic processes. Limit theorems. Central limit and other weak theorems60K25Probability theory and stochastic processes. Special processes. Queueing theory60K99Probability theory and stochastic processes. Special processes62E10Statistics. Distribution theory. Characterization and structure theory62F10Statistics. Parametric inference. Point estimation62F35Statistics. Parametric inference. Robustness and adaptive procedures62H12Statistics. Multivariate analysis. Estimation62P99Statistics. ApplicationsKalashnikov,V. V.Penkov,B.Zolotarev,V. M.International seminar on mathematical modelling and stability of stochastic models<9;1985; Varna>ITUniversità della Basilicata - B.I.A.RICAunimarc000014167Stability problems for stochastic models79992UNIBASMONSCISCIENZEEXT0030120030616BAS01145020050601BAS011755batch0120050718BAS01105220050718BAS01111120050718BAS01114120050718BAS011155BAS01BAS01BOOKBASA2Polo Tecnico-ScientificoGENCollezione generaleMAT58725S587252003061651Riservati00999nam a2200265 i 450099100174549970753620020503153132.0961120s1989 it ||| | ita b10266860-39ule_instEXGIL90805ExLBiblioteca InterfacoltàitaRosso, Franco38148Alessandro Antonelli (1798-1888) /Franco Rosso ; contributi di Roberto Gabetti, Vittorio NascèMilano :Electa,[1989]241 p. :ill. ;29 cm.Pubbl. in occasione della Mostra tenuta a Torino nel 1989.Antonelli, AlessandroGabetti, RobertoNascè, Vittorio.b1026686002-04-1427-06-02991001745499707536LE002 Ar. III A 1112002000979353le002-E0.00-l- 00000.i1031803327-06-02Alessandro Antonelli1428518UNISALENTOle00201-01-96ma -itait 0107678nam 22008175 450 991048465330332120251226203506.03-642-13193-X10.1007/978-3-642-13193-6(CKB)2670000000017279(SSID)ssj0000446460(PQKBManifestationID)11249935(PQKBTitleCode)TC0000446460(PQKBWorkID)10496101(PQKB)10302963(DE-He213)978-3-642-13193-6(MiAaPQ)EBC3065241(PPN)149073046(BIP)30400761(EXLCZ)99267000000001727920100427d2010 u| 0engurnn|008mamaatxtccrExperimental Algorithms 9th International Symposium, SEA 2010, Ischia Island, Naples, Italy, May 20-22, 2010. Proceedings /edited by Paola Festa1st ed. 2010.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2010.1 online resource (XII, 514 p. 126 illus.) Theoretical Computer Science and General Issues,2512-2029 ;6049Bibliographic Level Mode of Issuance: Monograph3-642-13192-1 Includes bibliographical references and index.Invited Papers -- Experimental Study of Resilient Algorithms and Data Structures -- Computational Challenges with Cliques, Quasi-cliques and Clique Partitions in Graphs -- Contributed Regular Papers -- Alternative Routes in Road Networks -- Fully Dynamic Speed-Up Techniques for Multi-criteria Shortest Path Searches in Time-Dependent Networks -- Space-Efficient SHARC-Routing -- A New Fully Dynamic Algorithm for Distributed Shortest Paths and Its Experimental Evaluation -- Contraction of Timetable Networks with Realistic Transfers -- Distributed Time-Dependent Contraction Hierarchies -- Practical Compressed Suffix Trees -- Maximum Cliques in Protein Structure Comparison -- Exact Bipartite Crossing Minimization under Tree Constraints -- Bit-Parallel Search Algorithms for Long Patterns -- Fast FPT Algorithms for Computing Rooted Agreement Forests: Theory and Experiments -- Experimental Evaluation of Approximation and Heuristic Algorithms for Sorting Railway Cars -- Time-Dependent Contraction Hierarchies and Approximation -- A New Combinational Logic Minimization Technique with Applications to Cryptology -- Randomized Rounding for Routing and Covering Problems: Experiments and Improvements -- The Time Dependent Traveling Salesman Problem: Polyhedra and Branch-Cut-and-Price Algorithm -- An Approximate ?-Constraint Method for the Multi-objective Undirected Capacitated Arc Routing Problem -- A Branch-and-Price Algorithm for Multi-mode Resource Leveling -- Experiments with a Generic Dantzig-Wolfe Decomposition for Integer Programs -- Using Bound Sets in Multiobjective Optimization: Application to the Biobjective Binary Knapsack Problem -- Improving Cutting Plane Generation with 0-1 Inequalities by Bi-criteria Separation -- New Lower Bounds for the Vehicle Routing Problem with Simultaneous Pickup andDelivery -- A Metaheuristic for a Two Echelon Location-Routing Problem -- New Fast Heuristics for the 2D Strip Packing Problem with Guillotine Constraint -- An Experimental Comparison of Different Heuristics for the Master Bay Plan Problem -- An Analysis of Heuristics for Vertex Colouring -- Automatic Tuning of GRASP with Path-Relinking Heuristics with a Biased Random-Key Genetic Algorithm -- Experiments with a Feasibility Pump Approach for Nonconvex MINLPs -- Paging Multiple Users in Cellular Network: Yellow Page and Conference Call Problems -- Realtime Classification for Encrypted Traffic -- Data Propagation with Guaranteed Delivery for Mobile Networks -- Data Structures Resilient to Memory Faults: An Experimental Study of Dictionaries -- Experiments on Union-Find Algorithms for the Disjoint-Set Data Structure -- Policy-Based Benchmarking of Weak Heaps and Their Relatives, -- Modularity-Driven Clustering of Dynamic Graphs -- Gateway Decompositions for Constrained Reachability Problems -- Robust and Efficient Delaunay Triangulations of Points on Or Close to a Sphere -- Fault Recovery in Wireless Networks: The Geometric Recolouring Approach -- Geometric Minimum Spanning Trees with GeoFilterKruskal -- Practical Nearest Neighbor Search in the Plane.This proceedings volume contains the invited papers and the contributed papers th accepted for presentation at the 9 International Symposium on Experimental Algorithms (SEA 2010), that was held at the Continental Terme Hotel, Ischia (Naples), Italy, during May 20-22, 2010. PrevioussymposiaoftheserieswereheldinRiga(2001),MonteVerita(2003), RiodeJaneiro(2004),Santorini(2005),Menorca(2006),Rome(2007),CapeCod (2008), and Dortmund (2009). Seventy-three papers were submitted by researchers from 19 countries. Each paper was reviewed by three experts among the Program Committee members and some trusted external referees. At least two reviewers were from the same or closely related discipline as the authors. The reviewers generally provided a high-quality assessment of the papers and often gave extensive comments to the authors for the possible improvement of the presentation. The submission and review process was supported by the ConfTool conference management software and we are thankful to Harald Weinreich for letting us use it. The Program Committee selected 40 regular papers for presentation at the conference. In addition to the 40 contributed papers, this volume includes two invitedpapersrelatedtocorrespondingkeynotetalks:GiuseppeF.Italiano(U- versity of Rome "Tor Vergata,"Italy)spoke on "ExperimentalStudy of Resilient Algorithms and Data Structures" and PanosM. Pardalos(University of Florida, USA) spoke on "Computational Challenges with Cliques, Quasi-Cliques and Clique Partitions in Graphs." Many people and organizations contributed to SEA 2010. We are parti- larlygrateful for the patronageand ?nancial support of the University of Naples "FedericoII"andtheDepartmentofMathematicsandApplications"R.Cacci- poli,"and for the ?nancial support of GNCS (Gruppo Nazionale per il Calcolo Scienti'co) - INdAM (Istituto Nazionale di Alta Matematica).Theoretical Computer Science and General Issues,2512-2029 ;6049Computer programmingAlgorithmsArtificial intelligenceApplication softwareComputer networksInformation storage and retrieval systemsProgramming TechniquesAlgorithmsArtificial IntelligenceComputer and Information Systems ApplicationsComputer Communication NetworksInformation Storage and RetrievalComputer programming.Algorithms.Artificial intelligence.Application software.Computer networks.Information storage and retrieval systems.Programming Techniques.Algorithms.Artificial Intelligence.Computer and Information Systems Applications.Computer Communication Networks.Information Storage and Retrieval.005.1Festa Paola749574SEA 2010MiAaPQMiAaPQMiAaPQBOOK9910484653303321Experimental algorithms4184680UNINA