LEADER 06762nam 2200661 a 450 001 9910461409203321 005 20200520144314.0 010 $a1-283-40391-9 010 $a9786613403919 010 $a3-11-026860-4 024 7 $a10.1515/9783110268607 035 $a(CKB)2670000000113772 035 $a(EBL)765951 035 $a(OCoLC)748242271 035 $a(SSID)ssj0000559730 035 $a(PQKBManifestationID)12270358 035 $a(PQKBTitleCode)TC0000559730 035 $a(PQKBWorkID)10568059 035 $a(PQKB)10388887 035 $a(MiAaPQ)EBC765951 035 $a(DE-B1597)173710 035 $a(OCoLC)753227435 035 $a(DE-B1597)9783110268607 035 $a(Au-PeEL)EBL765951 035 $a(CaPaEBR)ebr10502364 035 $a(CaONFJC)MIL340391 035 $a(EXLCZ)992670000000113772 100 $a20110606d2011 uy 0 101 0 $aeng 135 $aur|n|---||||| 181 $ctxt 182 $cc 183 $acr 200 00$aEpiscopal elections in late antiquity$b[electronic resource] /$fedited by Johan Leemans ... [et al.] 210 $aBoston $cDe Gruyter$dc2011 215 $a1 online resource (620 p.) 225 1 $aArbeiten zur Kirchengeschichte,$x1861-5996 ; Bd. 119 300 $aDescription based upon print version of record. 311 $a3-11-026855-8 320 $aIncludes bibliographical references and indexes. 327 $t Frontmatter -- $tPreface -- $tTable of Contents -- $tEpiscopal Elections in Late Antiquity: Structures and Perspectives / $rNuffelen, Peter Van / Leemans, Johan -- $tKeynote Lectures -- $tEpiscopal Succession in Antioch in the Sixth Century / $rAllen, Pauline -- $tThe Election of Ambrose of Milan / $rBarnes, Timothy David -- $tTheodoret of Cyrrhus and Syrian Episcopal Elections / $rBevan, George A. -- $tL'élection d'archevêques diphysites au trône alexandrin (451-482): une désignation artificielle et contrainte? / $rBlaudeau, Philippe -- $tBischofswahl und Bischofsernennung im Synodicon Orientale / $rBruns, Peter -- $tLa royauté mérovingienne et les élections épiscopales au VIe siècle / $rDumézil, Bruno -- $tCanonical Legislation on the Ordination of Bishops: Innocent I's Letter to Victricius of Rouen / $rDunn, Geoffrey D. -- $tChristlicher Euergetismus ob honorem? Die Einsetzung von Klerikern in ihre Ämter und die von diesen vorangetriebenen Bauprojekte / $rHaensch, Rudolf -- $tClerical Marriage and Episcopal Elections in the Latin West: From Siricius to Leo I / $rHunter, David G. -- $tThe Saint and the Bishop: Severinus of Noricum / $rRosenberger, Veit -- $tBishops and Clerics during the Fourth Century: Numbers and Their Implications / $rDam, Raymond Van -- $tThe Rhetoric of Rules and the Rule of Consensus / $rNuffelen, Peter Van -- $tLes élections épiscopates en Égypte aux VIe- VIIe siècles / $rWipszycka, Ewa -- $tBischofswahlen in Rom (3.-6. Jh.): Bedingungen - Akteure - Verfahren / $rWirbelauer, Eckhard -- $tShort Papers -- $tLes élections épiscopales en Orient sous Sévère d'Antioche (512-518) / $rAlpi, Frédéric -- $t...ut sancto sanctus succederet... oder: Haben Heilige eine Wahl? Ein Ausblick auf die frühmittelalterliche Bischofserhebung in den Viten heiliger Bischöfe / $rAlt, Daniel -- $tBishop Pesynthios of Koptos (Egypt): "He did not pursue the honour, but it was the honour that pursued him" / $rDekker, Renate -- $tAn Extraordinary Bishop: Eusebius of Caesarea in Cappadocia / $rFatti, Federico -- $tThe Election and Deposition of Meletius of Antioch: The Fall of an Integrative Bishop / $rHihn, Oliver -- $tHaeres Petri: Kontinuitat und Wandel in der Bischofsnachfolge des Siricius von Rom / $rHornung, Christian -- $tEpiscopal Succession as Criterion of Communion: The Rise of Rival Episcopal Genealogies in Alexandria according to Liberatus of Carthage / $rKeough, Shawn W. J. -- $tEpiphanius of Cyprus vs. John of Jerusalem: An Improper Ordination and the Escalation of the Origenist Controversy / $rKim, Young Richard -- $tEpiscopal Elections in Gaul: The Normative View of the Concilia Galliae versus the Narrative Accounts / $rLoftus, Susan -- $tEcclesia non abhorret a sanguine. Les élections épiscopales dans l'Église arménienne aux IVe-Ve siècles / $rMardirossian, Aram -- $tEducation, Humility and Choosing Ideal Bishops in Late Antiquity / $rMaxwell, Jaclyn -- $tZum Beispiel Proklos von Konstantinopel. Über Chancen und Grenzen des spätantiken Bischofsamtes / $rRist, Josef -- $tThe Election of Sahak I as Catholicos of the Armenian Church / $rShchuryk, Oleh -- $tProcedure and Hierarchy: Models of Episcopal Election in Late Antique Conciliar and Papal Rule making / $rThier, Andreas -- $tEpiscopal Self-Presentation: Sidonius Apollinaris and the Episcopal Election in Bourges AD 470 / $rWaarden, Johannes A. van -- $tThe Election of Paul the Jew (519) in Light of the Theopaschite Controversy / $rViezure, Dana luliana -- $tList of Authors -- $tIndices 330 $aThe present volume contributes to a reassessment of the phenomenon of episcopal elections from the broadest possible perspective, examining the varied combination of factors, personalities, rules and habits that played a role in the process that eventually resulted in one specific candidate becoming the new bishop, and not another. The importance of episcopal elections hardly needs stating: With the bishop emerging as one of the key figures of late antique society, his election was a defining moment for the local community, and an occasion when local, ecclesiastical, and secular tensions were played out. Building on the state of the art regarding late antique bishops and episcopal election, this volume of collected studies by leading scholars offers fresh perspectives by focussing on specific case-studies and opening up new approaches. Covering much of the Later Roman Empire between 250-600 AD, the contributions will be of interest to scholars interested in Late Antique Christianity across disciplines as diverse as patristics, ancient history, canon law and oriental studies. 410 0$aArbeiten zur Kirchengeschichte ;$v119. 606 $aBishops$xAppointment, call, and election$xHistory 606 $aChurch history$yPrimitive and early church, ca. 30-600 608 $aElectronic books. 615 0$aBishops$xAppointment, call, and election$xHistory. 615 0$aChurch history 676 $a262/.1220901 701 $aLeemans$b Johan$f1965-$0878096 712 12$aEpiscopal Elections in Late Antiquity (ca. 250-600 A.D.)$f(2009 :$eLouvain, Belgium) 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910461409203321 996 $aEpiscopal elections in late antiquity$92447554 997 $aUNINA LEADER 12094nam 22007815 450 001 9910143879403321 005 20251116234259.0 010 $a3-540-36481-1 024 7 $a10.1007/3-540-36481-1 035 $a(CKB)1000000000211934 035 $a(SSID)ssj0000322040 035 $a(PQKBManifestationID)11277386 035 $a(PQKBTitleCode)TC0000322040 035 $a(PQKBWorkID)10283243 035 $a(PQKB)10333510 035 $a(DE-He213)978-3-540-36481-8 035 $a(MiAaPQ)EBC3072732 035 $a(PPN)155176390 035 $a(BIP)8159140 035 $a(EXLCZ)991000000000211934 100 $a20121227d2003 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aComputational Methods in Systems Biology $eFirst International Workshop, CMSB 2003, Roverto, Italy, February 24?26, 2003 /$fedited by Corrado Priami 205 $a1st ed. 2003. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2003. 215 $a1 online resource (IX, 214 p.) 225 1 $aLecture Notes in Computer Science,$x0302-9743 ;$v2602 300 $aBibliographic Level Mode of Issuance: Monograph 311 08$a3-540-00605-2 320 $aIncludes bibliographical references at the end of each chapters and index. 327 $aInvited Papers -- Cells as Computation -- Formal Modeling of C. elegans Development: A Scenario-Based Approach -- Regular Papers -- Causal ?-Calculus for Biochemical Modelling -- Graphs for Core Molecular Biology -- Contribution of Computational Tree Logic to Biological Regulatory Networks: Example from Pseudomonas Aeruginosa -- Modeling Cellular Behavior with Hybrid Automata: Bisimulation and Collapsing -- Multiscale Modeling of Alternative Splicing Regulation -- A Method for Estimating Metabolic Fluxes from Incomplete Isotopomer Information -- Dynamic Bayesian Network and Nonparametric Regression for Nonlinear Modeling of Gene Networks from Time Series Gene Expression Data -- Discrete Event Simulation for a Better Understanding of Metabolite Channeling - A System Theoretic Approach -- Mathematical Modeling of the Influence of RKIP on the ERK Signaling Pathway -- A Method to Identify Essential Enzymes in the Metabolism: Application to Escherichia Coli -- Symbolic Model Checking of Biochemical Networks -- Presentation Abstracts -- Coupled Oscillator Models for a Set of Communicating Cells -- Representing and Simulating Protein Functional Domains in Signal Transduction Using Maude -- A Core Modeling Language for the Working Molecular Biologist (Abstract) -- Integrating Simulation Packages via Systems Biology Mark-Up Language -- Recreating Biopathway Databases towards Simulation -- How to Synthesize an Optimized Genetic ?-Switching System? A System-Theoretic Approach Based on SQP -- Simulation Sudy of the TNF? Mediated NF-?B Signaling Pathway -- Detection and Analysis of Unexpected State Components in Biological Systems -- Model Validation of Biological Pathways Using Petri Nets - Demonstrated for Apoptosis -- An Overview of Data Models for the Analysis of Biochemical Pathways -- Discrete Event Systems and Client-Server Model for Signaling Mechanisms -- Position Papers -- Enhanced Operational Semantics in Systems Biology -- Issues in Computational Methods for Functional Genomics and Systems Biology -- Integrating Biological Process Modelling with Gene Expression Data and Ontologies for Functional Genomics (Position Paper) -- Computer Simulation of Protocells -- How to Solve Semantic Puzzles of Systems Biology -- Evolution as Design Engineer -- Inference, Modeling and Simulation of Gene Networks. 330 $aMolecularbiologyhasuntilnowmainlyfocussedonindividualmolecules,on theirpropertiesasisolatedentitiesorascomplexesinverysimplemodelsystems. However,biologicalmoleculesinlivingsystemsparticipateinverycomplexn- works,includingregulatorynetworksforgeneexpression,intracellularmetabolic networksandbothintra-andintercellularcommunicationnetworks. Suchn- worksareinvolvedinthemaintenance(homeostasis)aswellasthedi'erentiation ofcellularsystemsofwhichwehaveaveryincompleteunderstanding. Nevertheless,theprogressinmolecularbiologyhasmadepossiblethedetailed descriptionofthecomponentsthatconstitutelivingsystems,notablygenesand proteins. Large-scalegenomesequencingmeansthatwecan(atleastinpr- ciple)delineateallmacromolecularcomponentsofagivencellularsystem,and microarrayexperimentsaswellaslarge-scaleproteomicswillsoongiveuslarge amountsofexperimentaldataongeneregulation,molecularinteractionsand cellularnetworks. Thechallengeofthe21stcenturywillbetounderstandhow theseindividualcomponentsintegrateintocomplexsystemsandthefunction andevolutionofthesesystems,thusscalingupfrommolecularbiologytos- temsbiology. Bycombiningexperimentaldatawithadvancedformaltheories fromcomputerscience,"theformallanguageforbiologicalsystems"tospecify dynamicmodelsofinteractingmolecularentitieswouldbeessentialfor:(i)- derstandingthenormalbehaviourofcellularprocesses,andhowchangesmay a'ecttheprocessesandcausedisease-itmaybepossibletocorrelategenetic propertiesandsymptomsinnewandmoree'cientways,basedonanactual- derstandingofhowvariousprocessesinteract;(ii)providingpredictabilityand ?exibilitytoacademic,pharmaceutical,biotechnologyandmedicalresearchers studyinggeneorproteinfunctions. Inparticular,itmaysavetimebyreducing thenumberofexperimentsneeded,ifinadequatehypothesescanbeexcludedby computersimulation. Inresponsetothecallforpapers39weresubmittedtoCMSB2003. Allthe submittedpaperswerereviewedandtheprogrammecommittee(listedbelow) selected11high-qualitypapersforpublicationinthisvolume. Thecareofthe reviewersandoftheprogrammecommitteemembersinreviewingthepapers wassurelyvaluable. Afurther11paperswereselectedonlyforpresentationat theworkshopinordertostimulatediscussions(anabstractisincluded). AttheworkshopEhudShapiroandMichaelSterngavetwoinvited talks whosetopicsaredescribedinpapersincludedinthisvolume. Theprogramme committeedecidedtoacceptforpublicationinthisvolumealsosomeposition papers that highlight the research trends in this new ?eld of computational methodsinsystemsbiology. Thereasonisthatbecausethisisthe'rstedition ofaworkshopinthisfast-growing'eldalargeviewofpotentialtopicsofresearch wasconsideredextremelyimportant. Rovereto,December2002 CorradoPriami ProgrammeCommitteeofCMSB 2003 CorradoPriami(Chair),UniversityofTrento(Italy), CharlesAu'ray,CNRS,Villejuif(France), CosimaBaldari,Universit`adiSiena(Italy), AlexanderBockmayr,Universit´eHenriPoincar´e(France), LucaCardelli,MicrosoftResearchCambridge(UK), VincentDanos,Universit´eParisVII(France), PierpaoloDegano,Universitad ` iPisa(Italy), Francois ¸ Fages,INRIA,Rocquencourt(France), DrabløsFinn,NorwegianUniversityofScienceandTechnology,Trondheim(N- way), MonikaHeiner,BrandenburgUniversityofTechnologyatCottbus(Germany), InaKoch,UniversityofAppliedSciencesBerlin,(Germany), JohnE. Ladbury,UniversityCollegeLondon(UK), PatrickLincoln,SRI(USA), SatoruMiyano,UniversityofTokyo(Japan), GordonPlotkin,UniversityofEdinburgh(UK), SimonPlyte,PharmaciaCorporation(Italy), AvivRegev,WeizmannInstituteofScience(Israel), MagaliRoux-Rouqui´e,BSMIPasteurInstitute(France), VincentSchachter,HybrigenicsParis(France), MasaruTomita,KeioUniversity(Japan), AdelindeUhrmacher,UniversityofRostock(Germany), AlfonsoValencia,CNB-CSIC,CentroNacionaldeBiotecnologia(Spain), OlafWolkenhauer,UMIST,Manchester(UK) Local Organizing Committee Corrado Priami, Linda Brodo, Michela de Concini, Debora Schuch da Rosa Machado,andtheUniversityofTrentoEventsandMeetingsO'ce. List ofReferees F. Abascal,N. Chabrier,A. Cimatti,M. Curti,M. D. Devignes,S. Gnesi, J. Guijarro,K. Hafez,E. Klipp,C. Laneve,P. LopezRomero,F. Luccio, R. Marangoni,M. Padron,M. C. Pinotti,R. Rizzi,S. Tini. Acknowledgement TheworkshopwassponsoredandpartiallysupportedbytheUniversityofTrento, ComunediRovereto,APT,andtheEUprojectIST-32072-DEGAS. Table of Contents IInvitedPapers CellsasComputation. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1 AmitaiRegevandEhudShapiro FormalModelingofC. elegansDevelopment:AScenario-BasedApproach . . . 4 Na''aman Kam,David Harel,Hillel Kugler, RamiMarelly, AmirPnueli, E. JaneAlbertHubbard, andMichael J. Stern IIRegularPapers Causal?-CalculusforBiochemicalModelling . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21 Michele Curti,Pierpaolo Degano, andCosima Tatiana Baldari GraphsforCoreMolecularBiology . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 34 Vincent Danos and Cosimo Laneve ContributionofComputationalTreeLogic toBiologicalRegulatoryNetworks: ExamplefromPseudomonasAeruginosa. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 47 SabinePeresandJean-PaulComet ModelingCellularBehaviorwithHybridAutomata: BisimulationandCollapsing. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 57 Marco Antoniotti, Bhubaneswar Mishra, Carla Piazza, Alberto Policriti, andMarta Simeoni MultiscaleModelingofAlternativeSplicingRegulation. . . . . . . . . . . . . . . . . . . . . 75 Damien Eveillard, Delphine Ropers,Hidde deJong,Christiane Branlant, andAlexanderBockmayr AMethodforEstimatingMetabolicFluxes fromIncompleteIsotopomerInformation. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 88 JuhoRousu,AriRantanen,HannuMaaheimo, Esa Pitk¨ anen, KatjaSaarela, andEsko Ukkonen DynamicBayesianNetworkandNonparametricRegression forNonlinearModelingofGeneNetworks fromTimeSeriesGeneExpressionData. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 104 SunYongKim, SeiyaImoto, andSatoru Miyano VIII Table ofContents DiscreteEventSimulationforaBetterUnderstanding ofMetaboliteChanneling-ASystemTheoreticApproach. . . . . . . . . . . . . . . . 114 Daniela Degenring,Mathias Rohl, ¨ andAdelinde M. Uhrmacher MathematicalModelingoftheIn'uenceofRKIP ontheERKSignalingPathway. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 127 Kwang-HyunCho, Sung-YoungShin, Hyun-WooKim,Olaf Wolkenhauer, Brian McFerran,and WalterKolch AMethodtoIdentifyEssentialEnzymesintheMetabolism: ApplicationtoEscherichia Coli. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 410 0$aLecture Notes in Computer Science,$x0302-9743 ;$v2602 606 $aLife sciences 606 $aComputers 606 $aAlgorithms 606 $aLogic, Symbolic and mathematical 606 $aComputer simulation 606 $aBioinformatics 606 $aLife Sciences, general$3https://scigraph.springernature.com/ontologies/product-market-codes/L00004 606 $aComputation by Abstract Devices$3https://scigraph.springernature.com/ontologies/product-market-codes/I16013 606 $aAlgorithm Analysis and Problem Complexity$3https://scigraph.springernature.com/ontologies/product-market-codes/I16021 606 $aMathematical Logic and Formal Languages$3https://scigraph.springernature.com/ontologies/product-market-codes/I16048 606 $aSimulation and Modeling$3https://scigraph.springernature.com/ontologies/product-market-codes/I19000 606 $aBioinformatics$3https://scigraph.springernature.com/ontologies/product-market-codes/L15001 615 0$aLife sciences. 615 0$aComputers. 615 0$aAlgorithms. 615 0$aLogic, Symbolic and mathematical. 615 0$aComputer simulation. 615 0$aBioinformatics. 615 14$aLife Sciences, general. 615 24$aComputation by Abstract Devices. 615 24$aAlgorithm Analysis and Problem Complexity. 615 24$aMathematical Logic and Formal Languages. 615 24$aSimulation and Modeling. 615 24$aBioinformatics. 676 $a572.8/0285 702 $aPriami$b Corrado$4edt$4http://id.loc.gov/vocabulary/relators/edt 712 12$aCMSB 2003 906 $aBOOK 912 $a9910143879403321 996 $aComputational Methods in Systems Biology$92907803 997 $aUNINA