Traveling south [[electronic resource] ] : travel narratives and the construction of American identity / / John D. Cox

• Record Nr.: UNINA9910451461803321
• Autore: Cox John David
• Pubbl/distr/stampa: Athens, : University of Georgia Press, c2005
• ISBN: 1-282-72611-0; 9786612726118; 0-8203-3086-8
• Descrizione fisica: 1 online resource (265 p.)
• Disciplina: 917.3/04
• Soggetti: National characteristics, American - History; Travelers' writings, American; Travel in literature; National characteristics, American, in literature; American literature - 1783-1850 - History and criticism; American literature - 19th century - History and criticism; Electronic books.; United States Description and travel Sources; Southern States Description and travel Sources; United States Civilization 1783-1865 Sources; Southern States In literature
• Lingua di pubblicazione: Inglese
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Note generali: Bibliographic Level Mode of Issuance: Monograph
• Nota di bibliografia: Includes bibliographical references (p. [231]-241) and index.
• Nota di contenuto: Representing America : the American as traveler in the work of J. Hector St. John de Crèvecoeur and William Bartram -- Moving slaves : Frederick Douglass, Solomon Northup, and the politics of travel in antebellum America -- Domestic travel : the narratives of Fanny Kemble and Harriet Jacobs -- Yeomen all : Frederick Law Olmsted and the consolidation of the American economy and culture -- Tourists with guns (and pens) : Union soldiers and the Civil War South.

The evolution of institutional economics : agency, structure, and Darwinism in American institutionalism / / Geoffrey M. Hodgson

• Record Nr.: UNINA9910450746403321
• Autore: Hodgson Geoffrey Martin <1946, >
• Pubbl/distr/stampa: London ; ; New York : , : Routledge, , 2004
• ISBN: 1-134-35270-0; 0-429-23009-5; 0-415-32253-7; 0-203-30035-1; 1-280-07676-3
• Descrizione fisica: xxiii, 534 p
• Collana: Economics as social theory
• Altri autori (Persone): HodgsonGeoffrey Martin <1946->
• Disciplina: 330.15/52
• Soggetti: Institutional economics; Evolutionary economics; Agent (Philosophy); Social structure; Electronic books.
• Lingua di pubblicazione: Inglese
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Note generali: Intended as a continuation of the discussion begun in his How economics forgot history.
• Nota di bibliografia: Includes bibliographical references (p. [453]-510) and index.
• Nota di contenuto: part Part I Introduction -- chapter 1 Nature and scope -- chapter 2 Agency and structure -- chapter 3 Objections and explanations -- part Part II Darwinism and the Victorian social sciences -- chapter 4 Charles Darwin, Herbert Spencer and the human species -- chapter 5 Precursors of emergence and multiple-level evolution -- part Part III Veblenian institutionalism -- chapter 6 The beginnings of Veblenian institutionalism -- chapter 7 The Darwinian mind of Thorstein Veblen -- chapter 8 Veblen's evolutionary institutionalism -- chapter 9 The instinct of workmanship and the pecuniary culture -- chapter 10 A wrong turning -- Science and the machine process -- chapter 11 Missed connections -- Creative synthesis and emergent evolution -- chapter 12 The launch of institutional economics and the loss of its Veblenian ballast -- part Part IV Institutionalism into the wilderness -- chapter 13 John R. Commons and the tangled jungle -- chapter 14 ; Wesley Mitchell and the triumph of macroeconomics -- chapter 15 The maverick institutionalism of Frank Knight -- chapter 16 The evolution of Clarence Ayres -- chapter 17 The Ayresian dichotomies -- Ayres versus Veblen -- chapter 18 The decline of institutional economics -- part Part V Beginning the reconstruction of institutional economics -- chapter 19 The potential revival of Veblenian institutionalism -- chapter 20 On individuals and institutions -- chapter 21 Conclusion and beginning.

Understanding Ukrainian politics : power, politics, and institutional design / / Paul D'Anieri

• Record Nr.: UNINA9910457758703321
• Autore: D'Anieri Paul J. <1965-, >
• Pubbl/distr/stampa: London ; ; New York : , : Routledge, , 2015
• ISBN: 1-315-69848-X; 1-317-45299-2; 1-280-91288-X; 9786610912889; 0-7656-2168-1
• Descrizione fisica: 1 online resource (312 p.)
• Disciplina: 320.9477
• Soggetti: Power (Social sciences) - Ukraine; Electronic books.; Ukraine Politics and government 1991-
• Lingua di pubblicazione: Inglese
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Note generali: "First published 2007 by M.E. Sharpe"--t.p. verso.
• Nota di bibliografia: Includes bibliographical references (p. 259-286) and index.
• Nota di contenuto: Introduction -- Institutions and democracy : questioning the connections -- Power and institutions : overview of the argument -- The evolution of Ukrainian politics 1989-2004 -- Societal divisions and the challenge of liberal democracy in Ukraine -- The constitution and executive-legislative relations -- The electoral law : cause or effect of weak parties? -- Parliamentary rules and party development -- How power politics trumps institutional design -- Ukraine in comparative perspective : electoral authoritarianism in the former Soviet Union and ; beyond -- Beyond the Orange Revolution : an agenda for further reform.
• Sommario/riassunto: In the early post-Soviet period, Ukraine appeared to be firmly on the path to democracy. But the Kuchma presidency was clouded by dark rumors of corruption and even political murder, and, by 2004, the country was in full-blown political crisis. This book looks beyond these dramatic events and aims to identify the actual play of power in Ukraine.

Formal methods: foundations and applications : 25th Brazilian symposium, SBMF 2022, virtual event, December 6-9, 2022, proceedings / / Lucas Lima, Vince Molnár (editors)

• Record Nr.: UNISA996500061203316
• Pubbl/distr/stampa: Cham, Switzerland : , : Springer, , [2022]; ©2022
• ISBN: 3-031-22476-0
• Descrizione fisica: 1 online resource (154 pages)
• Collana: Lecture notes in computer science ; ; Volume 13768
• Disciplina: 005.1
• Soggetti: Computer software - Development; Formal methods (Computer science)
• Lingua di pubblicazione: Inglese
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Nota di bibliografia: Includes bibliographical references and index.
• Nota di contenuto: Intro -- Preface -- Organization -- Invited Talks -- Cooperative Verification -- Taming Monsters with Dragons: A Fractal Approach to Digital Twin Pipelines -- Developing an Open-Source, State-of-the-Art Symbolic Model-Checking Framework for the Model-Checking Research Community -- Some Applications of Formal Methods -- Contents -- Model Checking and Semantics -- An Efficient Customized Clock Allocation Algorithm for a Class of Timed Automata -- 1 Introduction -- 2 Timed automata -- 3 The Class TADS -- 4 The Notion of Optimality -- 5 Finding an Optimal Allocation of Clocks -- 5.1 Liveness Analysis of Clocks -- 5.2 Clock Allocation -- 5.3 The Clock Allocation Algorithm -- 5.4 Generating Clock Constraints and ; Clock Resets -- 6 Related Work and Conclusions -- References -- Formalization of Functional Block Diagrams Using HOL Theorem Proving -- 1 Introduction -- 2 Preliminaries -- 2.1 Formal ET Modeling -- 2.2 Formal ET Probabilistic Analysis -- 3 Functional Block Diagrams -- 4 FBD Formalization -- 4.1 Formal FBD Modeling -- 4.2 Formal FBD Probabilistic Analysis -- 5 Conclusions -- References -- Generation and Synthesis -- A Sound Strategy to Compile General Recursion into Finite Depth Pattern Matching -- 1 Introduction -- 2 Basic Definitions -- 3 Expansion and Transformation -- 3.1 Unrolling -- 3.2 Recursion Elimination -- 4 Term Generation -- 4.1 Soundness of Term Generation -- 5 Quick-Checking Properties -- 6 Related Work -- 7 Conclusion -- References -- Automatic Generation of Verified Concurrent Hardware Using VHDL -- 1 Introduction -- 1.1 Related Work -- 2 Theoretical Background -- 2.1 CSP -- 2.2 VHDL -- 3 CSP to VHDL Translation -- 3.1 Translation Overview -- 3.2 Restrictions -- 4 Tool Support -- 5 Case Study -- 6 Conclusion -- References -- Synthesis of Implementations for Divide-and-Conquer Specifications -- 1 Introduction -- 2 Preliminaries.; 3 From Divide-and-Conquer Specifications to Their Implementations -- 3.1 The Synthesis Rule -- 4 Case Study: Deriving an Implementation of a Greedy Algorithm -- 4.1 Weighted Matroids and Their Bases -- 4.2 Establishing max-basisI as a Divide-and-Conquer Specification -- 4.3 Implementations of Decomposition and Composition -- 5 Related Work -- 6 Conclusions and Outlook -- A The Three Auxiliary Lemmas -- References -- Verification and Solvers -- Compositional Verification of Simulink Block Diagrams Using tock-CSP and CSP-Prover -- 1 Introduction -- 2 Background -- 2.1 Block Diagrams and MDD -- 2.2 Running Example - Simple Actuator System (SAS) -- 2.3 Formal Verification and CSP -- 2.4 tock-CSP -- 2.5 Roscoe and Dathi's Compositional Deadlock Analysis Theory -- 2.6 CSP-Prover -- 3 Mechanised Compositional Verification of Timed Process Networks -- 3.1 Time-Stop Free Processes -- 3.2 Time-Stop Free Process Networks -- 3.3 Mechanisation in CSP-Prover -- 4 From Simulink to tock-CSP -- 5 Conclusion and Future Works -- References -- Excommunication: Transforming -Calculus Specifications to Remove Internal Communication -- 1 Introduction -- 2 The -Calculus -- 3 The Excommunication Algorithm -- 3.1 Transformation Rules -- 4 Example Application: A Leakage Analysis -- 4.1 An Application of the Leakage Analysis -- 5 Conclusion and Further Work -- References -- Level-Up - From Bits to Words -- 1 Introduction -- 2 Background -- 2.1 Verification Using Satisfiability Solvers -- 2.2 Word-Level Verification -- 3 Using Bit-Level Information on Word-Level -- 3.1 Computing Bit-Level Information -- 3.2 Bit-Level Information for the Example -- 3.3 Integration Strategies -- 3.4 Integration Strategies for Bit-Level Information -- 3.5 Implementation and Tool Chain -- 4 Evaluation Experiments -- 4.1 Experimental Setup -- 4.2 Experimental Results -- 5 Related Work.; 6 Conclusion and Outlook -- References -- Author Index.

Plantes usuelles des Brasiliens par Auguste de Saint-Hilaire, Adrien de Jussieu et Jacques Cambessedes

• Record Nr.: UNINA9910330050903321
• Autore: Saint-Hilaire, Auguste : de
• Pubbl/distr/stampa: Paris, : Grimbert, 1828
• Descrizione fisica: 5, [1], 5, [1], 5, [1], 2, 4, 6, 3, [1], 4, 3, [1], 5, [1], 6, 3, [1], 3, [1], 4, 4, 3, [1], 5, [1], 4, 4, 4, 3, [1], 6, 3, [1], 4, 6, 8, 4, 6, 4, 3, [1], 7, [1], 4, 4, 4, 4, 4, 4, 4, 4, 3, [1], 4, 2, 2, 6, 7, [1], 3, [1], 3, [1], 3, [1], 3, [1], 3, [1], 7, [1], 4, 4, 3, [1], 4, 2, 3, [1], 2, 5, [1], 5, [1], 4, 4, 4, 3, [1], 3, [1], 3, [1] p., LXX c. di tav. : ill. litogr. ; 4°
• Altri autori (Persone): Cambessedes, Jacques; Jussieu, Adrien de
• Locazione: DBV
• Collocazione: b II 20
• Lingua di pubblicazione: Francese
• Formato: Materiale a stampa
• Livello bibliografico: Monografia

Machine Learning in Medical Imaging : 8th International Workshop, MLMI 2017, Held in Conjunction with MICCAI 2017, Quebec City, QC, Canada, September 10, 2017, Proceedings / / edited by Qian Wang, Yinghuan Shi, Heung-Il Suk, Kenji Suzuki

• Record Nr.: UNINA9910484379503321
• Pubbl/distr/stampa: Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017
• ISBN: 3-319-67389-0
• Edizione: [1st ed. 2017.]
• Descrizione fisica: 1 online resource (XV, 391 p. 134 illus.)
• Collana: Image Processing, Computer Vision, Pattern Recognition, and Graphics, , 3004-9954 ; ; 10541
• Disciplina: 006.31
• Soggetti: Computer vision; Software engineering; Medical informatics; Data mining; Artificial intelligence; Computer Vision; Software Engineering; Health Informatics; Data Mining and Knowledge Discovery; Artificial Intelligence
• Lingua di pubblicazione: Inglese
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Nota di contenuto: From Large to Small Organ Segmentation in CT Using Regional Context -- Motion Corruption Detection in Breast DCE-MRI -- Detection and Localization of Drosophila Egg Chambers in Microscopy Images -- Growing a Random Forest with Fuzzy Spatial Features for Fully Automatic Artery-specific Coronary Calcium Scoring -- Atlas of Classifiers for Brain MRI Segmentation -- Dictionary Learning and Sparse Coding-based Denoising for High-Resolution Task Functional Connectivity MRI Analysis -- Yet Another ADNI Machine Learning Paper? Paving The Way Towards Fully-reproducible Research on Classification of Alzheimer’s Disease -- Multi-Factorial Age Estimation from Skeletal ; and Dental MRI Volumes -- Automatic Classification of Proximal Femur Fractures Based on Attention Models -- Joint Supervoxel Classification Forest for Weakly-Supervised Organ Segmentation -- Accurate and Consistent Hippocampus Segmentation Through Convolutional LSTM and View Ensemble -- STAR: Spatio-Temporal Architecture for Super-Resolution inLow-Dose CT Perfusion -- Classification of Alzheimer’s Disease by Cascaded Convolutional Neural Networks Using PET Images -- Finding Dense Supervoxel Correspondence of Cone-Beam Computed Tomography Images -- Multi-Scale Volumetric ConvNet with Nested Residual Connections for Segmentation of Anterior Cranial Base -- Feature Learning and Fusion of Multimodality Neuroimaging and Genetic Data for Multi-Status Dementia Diagnosis -- 3D Convolutional Neural Networks with Graph Refinement for Airway Segmentation Using Incomplete Data Labels -- Efficient Groupwise Registration for Brain MRI by Fast Initialization -- Sparse Multi-View Task-centralized Learning for ASD Diagnosis -- Inter-Subject Similarity Guided Brain Network Modelling for MCI Diagnosis -- Scalable and Fault Tolerant Platform for Distributed Learning on Private Medical Data -- Triple-Crossing 2.5D Convolutional Neural Network for Detecting Neuronal Arbours in 3D Microscopic Images -- Longitudinally-Consistent Parcellation of Infant Population Cortical Surfaces Based on Functional Connectivity -- Gradient Boosted Trees for Corrective Learning -- Self-paced Convolutional Neural Network for Computer Aided Detection in Medical Imaging Analysis -- A Point Says a Lot: An Interactive Segmentation Method for MR Prostate via One-Point Labeling -- Collage CNN for Renal Cell Carcinoma Detection from CT -- Aggregating Deep Convolutional Features for Melanoma Recognition in Dermoscopy Images -- Localizing Cardiac Structures in Fetal Heart Ultrasound Video -- Deformable Registration Through Learning of Context-Specific Metric Aggregation -- Segmentation of Craniomaxillofacial Bony Structures from MRI with a 3D Deep-learning Based Cascade Framework -- 3D U-net with Multi-Level Deep Supervision: Fully Automatic Segmentation of Proximal Femur in 3D MR Images -- Indecisive Trees for Classification and Prediction of Knee Osteoarthritis -- Whole Brain Segmentation and Labeling from CT using synthetic MR Images -- Structural Connectivity Guided SparseEffective Connectivity for MCI Identification -- Fusion of High-order and Low-order Effective Connectivity Networks for MCI Classification -- Novel Effective Connectivity Network Inference for MCI Identification -- Reconstruction of Thin-Slice Medical Images Using Generative Adversarial Network -- Neural Network Convolution (NNC) for Converting Ultra-Low-Dose to “Virtual” High-Dose CT Images -- Deep-Fext: Deep Feature Extraction for Vessel Segmentation and Centerline Prediction -- Product Space Decompositions for Continuous Representations of Brain Connectivity -- Identifying Autism from Resting-State fMRI Using Long Short-Term Memory Networks -- Machine Learning for Large-Scale Quality Control of 3D Shape Models in Neuroimaging -- Tversky Loss Function for Image Segmentation Using 3D Fully Convolutional Deep Networks.
• Sommario/riassunto: This book constitutes the refereed proceedings of the 8th International Workshop on Machine Learning in Medical Imaging, MLMI 2017, held in conjunction with MICCAI 2017, in Quebec City, QC, Canada, in September 2017. The 44 full papers presented in this volume were carefully reviewed and selected from 63 submissions. The main aim of this workshop is to help advance scientific research within the broad field of machine learning in medical imaging. The workshop focuses on major trends and challenges in this area, and presents works aimed to identify new cutting-edge techniques and their use in medical imaging.