1.

Record Nr.

UNISA996466432703316

Titolo

Cooperative Design, Visualization, and Engineering [[electronic resource] ] : 16th International Conference, CDVE 2019, Mallorca, Spain, October 6–9, 2019, Proceedings / / edited by Yuhua Luo

Pubbl/distr/stampa

Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019

ISBN

3-030-30949-5

Edizione

[1st ed. 2019.]

Descrizione fisica

1 online resource (XI, 284 p. 127 illus., 92 illus. in color.)

Collana

Information Systems and Applications, incl. Internet/Web, and HCI ; ; 11792

Disciplina

620.00420285

Soggetti

User interfaces (Computer systems)

Computer organization

Management information systems

Computer science

Software engineering

User Interfaces and Human Computer Interaction

Computer Systems Organization and Communication Networks

Management of Computing and Information Systems

Software Engineering/Programming and Operating Systems

Lingua di pubblicazione

Inglese

Formato

Materiale a stampa

Livello bibliografico

Monografia

Nota di contenuto

A Domain Ontology and Software Platform for Collaborative Personal Data Analytics -- Modeling users behavior in groupware applications -- Cellular Automata Epidemic(CAE) Model for Language Development Prediction -- EECR: Energy-Efficient Cooperative Routing for EM-Based Nanonetworks -- Cardiovascular System Monitoring via Wireless Nanosensor Networks -- Computer vision approach for indoor location recognition within an augmented reality mobile application -- Spacecraft Interface Management in Concurrent Engineering Sessions -- Enhancing Automation in the Construction Equipment Industry through Implementation of BIM -- Digital Availability of Product Information for Collaborative Engineering of Spacecraft -- I²PHEN : A Novel Interoperable IoT Platform for Medical Telemonitoring -- A new



index for measuring inconsistencies in independent component analysis using multi-sensor data -- From sensors to BIM: monitoring comfort conditions of social housing with the KlimaKit Model -- Showing Ultra-High-Resolution Images in VDA-Based Scalable Displays -- Automating the Integration of 4D Models in Game Engines for a Virtual Reality-based Construction Simulation -- BIM’ShareLab A Framework for an Advanced BIM Training -- Implementing Mobile Technology on Construction Sites: An Ethnographic Action Research Approach -- Many valued logics supporting establishment of a new research structure in an educational organization -- Distance collaboration in performing arts - a use case and lessons learned -- A cooperative drawing tool to improve children's creativity -- Analysis of instrumental practices in collaborative design : method of identifying needs, and their effectiveness -- Effectiveness of Color-Picking Interfaces among Non-Designers -- Private Security for the Cloud Mobile via a Strong Authentication Method -- Mobile Finance with Collaborative Application of the Fintech ABCD Technologies -- Collaboration and Co-Creation in a General Engagement Platform to Foster Organizational Benefits during a Post- Project-Phase -- Decision-Making in Crowdfunding – the Value of Behavioral Issues in Collaborative Business Environments -- Application of decision support systems for advanced equipment selection in construction -- The collective construction and management of spatial knowledge in open spaces: A pilot study -- Machine learning method for spinning cyber-physical production system subject to condition monitoring -- Turbulence Enhancement for SPH Fluids Visualization -- Residual Feature Pyramid Architecture for Monocular Depth Estimation -- FindImplant: An online Application for Visualizing the Dental Implants from X-Ray Images -- Newtrap: Improving biodiversity surveys by enhanced handling of visual observations.

Sommario/riassunto

This book constitutes the proceedings of the 16th International Conference on Cooperative Design, Visualization, and Engineering, CDVE 2019, held in Alcudia, Mallorca, Spain, in October 2019. The 26 revised full papers and 6 short papers presented were carefully reviewed and selected from 68 submissions. The achievement, progress and future challenges are reported in areas such as aerospace engineering, remote medical monitoring, automatic machine monitoring, cooperative personal data analytics, mobile banking, remote cooperative art performance management etc. In traditional areas such as architecture, civil engineering and construction, cooperative learning, enterprise management etc. authors also show new findings and new methodologies in their papers. This gives the readers a fresh look of how the CDVE technology is shaping our industry and daily life. .



2.

Record Nr.

UNISA996466529203316

Titolo

TOPO 72 - general topology and its applications : second Pittsburgh International Conference, December 18-22, 1972 / / edited by Richard A. Alò, Robert W. Heath and Jun-iti Nagata

Pubbl/distr/stampa

Berlin ; ; Heidelberg ; ; New York : , : Springer-Verlag, , [1974]

©1974

ISBN

3-540-38323-9

Edizione

[1st ed. 1974.]

Descrizione fisica

1 online resource (XVI, 656 p.)

Collana

Lecture notes in mathematics ; ; 378

Classificazione

54-06

Disciplina

514

Soggetti

Topology

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.

Nota di contenuto

The works of J. de groot -- Topologies induced by banch function spaces -- Some properties involving base axioms and metrizability -- On ?-embedded sets in topological spaces -- Some applications of pointwise collectionwise normality -- Algebraic compactness and its relations to topology -- Spaces with a G?-diagonal -- On the theory of Hilbert cube manifolds -- The hyperspace of subcontinua of a peano continuum -- On Stone-Weierstrass spaces -- Coincidence of small and large inductive dimension -- Basic refinements of the category of uniform spaces -- Sequential spaces and quasi-perfect mappings -- Expansions of mappings -- Vector lattices of uniformly continuous functions and some categorical methods in uniform spaces -- Metrization of closed images of metric spaces -- Representation of spaces -- Some remarks on extension theorems in monotonically normal spaces -- A dozen small uncountable cardinals -- Limit-operators and reflective subcategories -- On perfect images of ordinals -- Shape theory and topological groups -- On countably paracompact spaces -- A universal one-dimensional metric space -- Ordinals and paracompactness in ordered spaces -- Another inductive dimension -- Regular maps and metrization -- Special bases for topological spaces -- A characterization of compact scattered spaces through chain limits; (chain compact spaces) -- Recent results on E-compact spaces -- Recent developments of general topology in Japan -- Some recent



developments on repletions and stone-?ech compactifications of O-dimensional spaces -- Development classes: An approach to perfectness, reflectiveness and extension problems -- An axiomatic characterization of covering dimension in metrizable spaces -- The p-adic topology on Abelian groups -- On completeness conditions and the baire property in moore spaces -- Adequacy in topology and uniform spaces -- Complete uniform spaces -- Very flat spaces of continuous functions -- Inverse limits and near-homeomorphism techniques in hyperspace problems -- A simple topological proof that the underlying set functor for compact spaces is monadic -- Note on a problem of Katetov -- A 3-dimensional absolute retract -- On the theorem of Morita and Hanai, and Stone -- Some recent results on expandable spaces -- On characterizations of perfect morphisms and epireflective hulls -- P-points in ?N-N, normal non-metrizable moore spaces, and other problems of hausdorff -- Strong O-dimensionality of certain n-compact spaces -- Free topological groups -- Extensions of integer-valued maps and N-compact spaces -- Some recent results in the theory of [a,b]-compactness -- Topological spaces that are ?-favorable for a player with perfect information -- Completeness and topologically uniformizing structures -- A technique for reducing certain covers on certain L.O.T.S. and their products -- Filter space monads, regularity, completions -- Directed ?-structures and ?-compact spaces -- On covering and countable covering conditions.

Sommario/riassunto

Sponsored by Carnegie-Mellon University and the University of Pittsburgh.