ALBERT

All Library Books, journals and Electronic Records Telegrafenberg

Your email was sent successfully. Check your inbox.

An error occurred while sending the email. Please try again.

Proceed reservation?

Export
Filter
  • thema EDItEUR::U Computing and Information Technology::UY Computer science
  • Springer Nature  (94)
  • MDPI - Multidisciplinary Digital Publishing Institute  (52)
  • American Meteorological Society
  • MDPI Publishing
  • Periodicals Archive Online (PAO)
  • 2020-2024  (146)
Collection
Publisher
Language
Years
  • 2020-2024  (146)
Year
  • 1
    Publication Date: 2024-04-14
    Description: Computer science
    Keywords: Computer science ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 2
    Publication Date: 2024-04-14
    Description: Computer science
    Keywords: Computer science ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 3
    Publication Date: 2024-04-06
    Description: fuzzy arithmetic; defuzzyfication; fuzzy prediction models; analysis; trend processing; uncertainty modeling; propagation of uncertainty; Kosinski’s fuzzy numbers
    Keywords: fuzzy arithmetic ; defuzzyfication ; fuzzy prediction models ; analysis ; trend processing ; uncertainty modeling ; propagation of uncertainty ; Kosinski’s fuzzy numbers ; thema EDItEUR::P Mathematics and Science ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 4
    facet.materialart.
    Unknown
    MDPI - Multidisciplinary Digital Publishing Institute
    Publication Date: 2024-03-30
    Description: This Special Issue includes 14 contributions, with 2 review contributions and 12 research contributions. The review contributions provide a survey with an overview of the state of the art in detecting and projecting cyber-attack scenarios, and the review of a specific application area, the safety of autonomous haulage systems in the mining environment related to both cybersecurity and communication. 10 research contributions are addressing the area of advanced services for intrusion detection systems: (a) the use of different machine learning models depending on the specific scenarios and datasets; (b) the use of deep learning techniques for the detection of zero-day attacks; (c) a proposal of an integrated scalable framework aimed at efficiently detecting anomalous events on large amounts of unlabeled data logs; (d) a spatiotemporal characterization of cyber-attacks for detecting such attacks; (e) a two-stage intrusion detection system for industrial control networks; (f) a chatbot for detecting online sex offenders, based on an artificial conversational entity (ACE); and (g) an open-source platform for manipulating both streaming and archived network flow data in real time. This Special Issue also contains two protection-related research contributions, including: (a) a countermeasure for on–off web defacement attacks and (b) the evaluation of multi-path routing as a protection feature against network attacks and failures.
    Keywords: cybersecurity ; machine learning ; intrusion detection ; cybersecurity awareness&nbsp ; thema EDItEUR::K Economics, Finance, Business and Management::KN Industry and industrial studies::KNT Media, entertainment, information and communication industries::KNTX Information technology industries ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: application/octet-stream
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 5
    facet.materialart.
    Unknown
    Springer Nature | Springer Nature Switzerland
    Publication Date: 2024-04-14
    Description: This open access book constitutes the proceedings of the 29th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2023, which was held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, during April 22-27, 2023, in Paris, France. The 56 full papers and 6 short tool demonstration papers presented in this volume were carefully reviewed and selected from 169 submissions. The proceedings also contain 1 invited talk in full paper length, 13 tool papers of the affiliated competition SV-Comp and 1 paper consisting of the competition report. TACAS is a forum for researchers, developers, and users interested in rigorously based tools and algorithms for the construction and analysis of systems. The conference aims to bridge the gaps between different communities with this common interest and to support them in their quest to improve the utility, reliability, flexibility, and efficiency of tools and algorithms for building computer-controlled systems.
    Keywords: Computer Science ; Informatics ; Conference Proceedings ; Research ; Applications ; thema EDItEUR::U Computing and Information Technology::UY Computer science ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 6
    facet.materialart.
    Unknown
    Springer Nature | Springer International Publishing
    Publication Date: 2024-04-14
    Description: This open access book constitutes the proceedings of the 31st European Symposium on Programming, ESOP 2022, which was held during April 5-7, 2022, in Munich, Germany, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022. The 21 regular papers presented in this volume were carefully reviewed and selected from 64 submissions. They deal with fundamental issues in the specification, design, analysis, and implementation of programming languages and systems.
    Keywords: automata theory ; computer programming ; computer systems ; databases ; distributed computer systems ; distributed systems ; embedded systems ; formal languages ; formal logic ; linguistics ; ontologies ; parallel processing systems ; program compilers ; programming languages ; semantics ; software design ; software engineering ; software quality ; verification ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMX Programming and scripting languages: general ; thema EDItEUR::U Computing and Information Technology::UY Computer science ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMB Algorithms and data structures ; thema EDItEUR::U Computing and Information Technology::UK Computer hardware::UKN Network hardware ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 7
    facet.materialart.
    Unknown
    MDPI - Multidisciplinary Digital Publishing Institute
    Publication Date: 2024-03-30
    Description: Complex systems have long been an integral part of modern life and can be encountered everywhere. Undertaking a comprehensive study of such systems is a challenging problem, one which is impossible to solve without the use of contemporary mathematical modeling techniques. Mathematical models form the basis for the optimal design and control of complex systems. The present reprint contains all the articles accepted and published in the Special Issue of Mathematics entitled "Control, Optimization, and Mathematical Modeling of Complex Systems". This Special Issue is focused on recent theoretical and computational studies of complex systems modeling, control, and optimization. The topics addressed in this Special Issue cover a wide range of areas, including numerical simulation in physical, social, and life sciences; the modeling and analysis of complex systems based on mathematical methods and AI/ML approaches; control problems in robotics; design optimization of complex systems, modeling in economics and social sciences; stochastic models in physics and engineering; mathematical models in material science; and high-performance computing for mathematical modeling. It is our hope that the scientific results presented in this reprint will serve as valuable sources of documentation and inspiration to those seeking to delve into complex systems modeling, control, and optimization and examine their wide-ranging applications.
    Keywords: optimal control problem ; evolutionary computation ; robotics applications ; optimal control ; Lyapunov stability ; equilibrium point ; symbolic regression ; Pontryagin’s maximum principle ; continuous-time Markov chains ; ergodicity bounds ; discrete state space ; rate of convergence ; logarithmic norm ; interval analysis ; function approximation ; global optimization ; convexity evaluation ; overestimators ; underestimators ; machine learning control ; general synthesis problem ; evolutionary algorithm ; adaptive interpolation algorithm ; interval ordinary differential equations (ODEs) ; sparse grids ; hierarchical basis ; multidimensional interpolation ; high dimensions ; molecular dynamics modeling ; randomized maximum entropy estimation ; probability density functions ; Lagrange multipliers ; Lyapunov-type problems ; implicit function ; rotation of vector field ; asymptotic efficiency ; thermokarst lakes ; forecasting ; dynamical tracking target ; ship towing system ; relative curvature ; adaptive control ; discrete velocity method ; lattice Boltzmann method ; computational fluid dynamics ; mathematical modeling ; estimation ; minimax techniques ; pareto optimization ; regression analysis ; statistical uncertainty ; proton exchange membrane ; proton electrolyte membrane ; PEM ; fuel cell ; PEMFC ; power electronic converter ; DC–DC boost converter ; model predictive control ; MPC ; self-scalable robots ; modular robots ; origami structures ; complex system ; synergistic effect ; performance indicator ; structure change ; soft robotics ; continuum mechanisms ; modeling of complex systems ; kinematic model of soft robots ; mathematical modeling of complex systems ; non-linear models ; soft robotic neck ; tendon-driven actuators ; mathematical modelling ; modelling in economics ; impact of the COVID-19 ; logistics businesses ; fractional-order virus models ; stuxnet virus ; numerical computing ; supervisory control and data acquisition systems ; computer networks ; lyapunov analysis ; image segmentation ; remote sensing ; terrain identification ; data synthesis ; transfer learning ; controllability ; observability ; stochastic linear systems in finite and infinite dimensional spaces ; stochastic singular linear systems in finite and infinite dimensional spaces ; semigroup ; evolution operator ; GE-semigroup ; GE-evolution operator ; stochastic GE-evolution operator ; feature selection ; finite normal mixtures ; moving separation of mixtures ; deep LSTM ; neural network architectures ; deep learning ; turbulent plasma ; air–sea fluxes ; n/a ; thema EDItEUR::K Economics, Finance, Business and Management::KN Industry and industrial studies::KNT Media, entertainment, information and communication industries::KNTX Information technology industries ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 8
    Publication Date: 2024-04-14
    Description: artificial intelligence; big data; cloud computing; communication; computer architecture; computer science; computer systems; data management; databases; hardware; High-Performance Computing (HPC); information management; map-reduce; processors; programming languages; semantics; wireless telecommunication systems
    Keywords: artificial intelligence ; big data ; cloud computing ; communication ; computer architecture ; computer science ; computer systems ; data management ; databases ; hardware ; High-Performance Computing (HPC) ; information management ; map-reduce ; processors ; programming languages ; semantics ; wireless telecommunication systems ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 9
    facet.materialart.
    Unknown
    MDPI - Multidisciplinary Digital Publishing Institute
    Publication Date: 2024-03-30
    Description: The use of advanced and scalable algorithms, along with parallel programming frameworks and high-performance computers, is commonly used to solve Big Data problems and obtain valuable information and learning processes in a reasonable time. This Special Issue includes high-quality research papers in the fields of big data, cloud-based data analysis, and machine learning systems. In particular, wide-ranging surveys and advanced research papers are included, focusing both on aspects relating to big data (e.g., frameworks for big data analysis or systems for big data management) and on the use of big data in application areas (e.g., big data from social media or big data from streams).
    Keywords: big data ; cloud computing ; scalable computing systems ; High-performance computing ; data analysis ; machine learning systems ; big data applications ; thema EDItEUR::K Economics, Finance, Business and Management::KN Industry and industrial studies::KNT Media, entertainment, information and communication industries::KNTX Information technology industries ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 10
    facet.materialart.
    Unknown
    MDPI - Multidisciplinary Digital Publishing Institute
    Publication Date: 2024-04-14
    Description: A comprehensive overview of sensors technology is provided in specific leading areas. Researchers, engineers and professionals on industries can find advanced technologies, devices, insights and solutions for a broad range of applications, including: • Piezoelectric power transducers • Multisensory for veins detection for robotic-based catheters insertion • Robot-sensor network cooperation for SLAM • Wind speed influences on RGB-D images in trees • Spectrophotometer for physiopathy detection in chickens • Radon gas and ionization detection • Vibrations measurements in robots • Architectures for multisensor intelligent robots • Ultrasound for tissue characterization • Active imaging model • Image-based for crack detection in tunnels • Wireless sensor nodes for energy harvesting, industrial monitoring, concrete cure • Vibroacoustic Impact on the Architectonic Heritage • Sensors motion capture in wearables • Torsional wave sensor • Model-based non-rigid tracking • Stair-Climbing Mobility • IoT-based people monitoring • Laser Speckle System • Odometric in an autonomous electric cart • New control paradigms • Concentric electrodes for ECG and intestinal exploration • Trusted virtual sensors • Thermo-Hygrometric measurements in archaeology • Intensive care unit • Multi-beam Lidar 3D scan • Hyperspectral Imaging in brain tumor • Crowdsensing in smart cities • Strain method to detect tires’ loss • Optical force sensor • Portable sensor for substance concentration measurements • High-Frequency content in Human QRS complexes • Fusion of proximity sensors data • Electro-magnetic acoustic system • Computer vision on aerial robots for surface inspection • Dual-reflectarray antennas
    Keywords: QA75.5-76.95 ; TK1-9971 ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Format: application/octet-stream
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 11
    facet.materialart.
    Unknown
    Springer Nature
    Publication Date: 2024-04-14
    Description: This open access book constitutes the proceedings of the 8th International Conference on Principles of Security and Trust, POST 2019, which took place in Prague, Czech Republic, in April 2019, held as part of the European Joint Conference on Theory and Practice of Software, ETAPS 2019. The 10 papers presented in this volume were carefully reviewed and selected from 27 submissions. They deal with theoretical and foundational aspects of security and trust, including on new theoretical results, practical applications of existing foundational ideas, and innovative approaches stimulated by pressing practical problems.
    Keywords: Computer science ; Computer security ; Software engineering ; Artificial intelligence ; Computer system failures ; Computers ; Computers ; thema EDItEUR::U Computing and Information Technology::UB Information technology: general topics ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering ; thema EDItEUR::U Computing and Information Technology::UR Computer security ; thema EDItEUR::U Computing and Information Technology::UY Computer science ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYD Systems analysis and design ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 12
    facet.materialart.
    Unknown
    Springer Nature | Springer International Publishing
    Publication Date: 2024-04-04
    Description: This open access book describes Smittestopp, the first Norwegian system for digital contact tracing of Covid-19 infections, which was developed in March and early April 2020. The system was deployed after five weeks of development and was active for a little more than two months, when a drop in infection levels in Norway and privacy concerns led to shutting it down. The intention of this book is twofold. First, it reports on the design choices made in the development phase. Second, as one of the only systems in the world that collected population data into a central database and which was used for an entire population, we can share experience on how the design choices impacted the system's operation. By sharing lessons learned and the challenges faced during the development and deployment of the technology, we hope that this book can be a valuable guide for experts from different domains, such as big data collection and analysis, application development, and deployment in a national population, as well as digital tracing.
    Keywords: digital contract tracing ; Covid-19 ; public health ; pandemic ; BLE ; GPS ; thema EDItEUR::P Mathematics and Science::PB Mathematics::PBK Calculus and mathematical analysis::PBKS Numerical analysis ; thema EDItEUR::M Medicine and Nursing::MB Medicine: general issues::MBN Public health and preventive medicine ; thema EDItEUR::M Medicine and Nursing::MB Medicine: general issues::MBN Public health and preventive medicine::MBNS Epidemiology and Medical statistics ; thema EDItEUR::U Computing and Information Technology::UY Computer science ; thema EDItEUR::U Computing and Information Technology::UK Computer hardware::UKN Network hardware ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYD Systems analysis and design
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 13
    facet.materialart.
    Unknown
    Springer Nature | Springer International Publishing
    Publication Date: 2024-04-14
    Description: This open access book answers two central questions: firstly, is it at all possible to verify electronic equipment procured from untrusted vendors? Secondly, can I build trust into my products in such a way that I support verification by untrusting customers? In separate chapters the book takes readers through the state of the art in fields of computer science that can shed light on these questions. In a concluding chapter it discusses realistic ways forward. In discussions on cyber security, there is a tacit assumption that the manufacturer of equipment will collaborate with the user of the equipment to stop third-party wrongdoers. The Snowden files and recent deliberations on the use of Chinese equipment in the critical infrastructures of western countries have changed this. The discourse in both cases revolves around what malevolent manufacturers can do to harm their own customers, and the importance of the matter is on par with questions of national security. This book is of great interest to ICT and security professionals who need a clear understanding of the two questions posed in the subtitle, and to decision-makers in industry, national bodies and nation states.
    Keywords: Privacy ; Computer Engineering ; Management of Computing and Information Systems ; Governance and Government ; R & D/Technology Policy ; Computer Hardware ; IT Operations ; Economics ; cyber security ; IT management ; computer science ; digital vulnerability ; open access ; Privacy & data protection ; Information architecture ; Maintenance & repairs ; Political structure & processes ; Research & development management ; thema EDItEUR::U Computing and Information Technology::UR Computer security::URD Privacy and data protection ; thema EDItEUR::U Computing and Information Technology::UY Computer science ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYZ Human–computer interaction::UYZM Information architecture ; thema EDItEUR::J Society and Social Sciences::JP Politics and government::JPH Political structure and processes ; thema EDItEUR::K Economics, Finance, Business and Management::KJ Business and Management::KJM Management and management techniques::KJMV Management of specific areas::KJMV6 Research and development management
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 14
    facet.materialart.
    Unknown
    MDPI - Multidisciplinary Digital Publishing Institute
    Publication Date: 2024-03-30
    Description: At present, data is constantly generated across various industries, including the internet. New technologies have emerged to trace data origins and assess their potential for collection, quantification, decoding, and analysis. Big data, signals, and images are of particular importance due to the wealth of domain-specific information they hold. These data play a critical role in addressing issues like national security, cybersecurity, marketing, medical informatics, and fraud detection. Deep learning techniques have gained immense popularity. They empower the analysis and understanding of vast amounts of unsupervised data, making them invaluable for processing when raw data lack categorization and labels. These applications extend to working with medical images and signal processing for wellness devices, remote monitoring, and neural devices. In industrial settings, data can be used for early warning systems in assembly lines, while massive datasets can be derived from electronic health records and hospital information systems, for example. This reprint is dedicated to exploring the application of deep learning in tackling significant challenges related to big data, images, and signals. It seeks to unravel the potential of these cutting-edge technologies in addressing complex real-world problems across diverse sectors.
    Keywords: big data ; image processing ; deep learning ; signal processing ; digital era ; thema EDItEUR::K Economics, Finance, Business and Management::KN Industry and industrial studies::KNT Media, entertainment, information and communication industries::KNTX Information technology industries ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: application/octet-stream
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 15
    facet.materialart.
    Unknown
    MDPI - Multidisciplinary Digital Publishing Institute
    Publication Date: 2024-04-14
    Description: The present volume collects the contributions selected for publication in the Special Issue entitled "Microlocal and Time-Frequency Analysis" of the journal Mathematics, edited by Elena Cordero and S. Ivan Trapasso over 2020 and 2021.
    Keywords: pseudodifferential operators ; Gevrey regularity ; sharp Gårding inequality ; p-evolution equations ; ultradifferentiable functions ; ultradistributions ; extended Gevrey regularity ; boundary values of analytic functions ; wave front sets ; Rio Papaloapan Bridge ; vibration signals ; damage identification ; wavelet energy accumulation method ; admissibility condition ; the continuous wavelet transform ; inversion formula ; semi-discrete wavelet transform ; tight frames ; covriance matrix ; polar duality ; uncertainty principle ; reconstruction problem ; BBM equation ; ill-posedness ; Fourier amalgam spaces ; Wiener amalgam spaces ; Fourier–Lebesgue spaces ; modulation spaces ; bounded measures ; convolution ; homogeneous Banach spaces ; integrated group representation ; Segal algebra ; Wiener amalgam space ; bounded uniform partition of unity ; locally compact groups ; thema EDItEUR::U Computing and Information Technology ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 16
    Publication Date: 2024-04-14
    Description: computer science; algorithms; visualization; software; programming
    Keywords: computer science ; algorithms ; visualization ; software ; programming ; thema EDItEUR::U Computing and Information Technology::UY Computer science ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 17
    facet.materialart.
    Unknown
    Springer Nature | Springer International Publishing
    Publication Date: 2024-04-14
    Description: This open access book provides an in-depth description of the EU project European Language Grid (ELG). Its motivation lies in the fact that Europe is a multilingual society with 24 official European Union Member State languages and dozens of additional languages including regional and minority languages. The only meaningful way to enable multilingualism and to benefit from this rich linguistic heritage is through Language Technologies (LT) including Natural Language Processing (NLP), Natural Language Understanding (NLU), Speech Technologies and language-centric Artificial Intelligence (AI) applications. The European Language Grid provides a single umbrella platform for the European LT community, including research and industry, effectively functioning as a virtual home, marketplace, showroom, and deployment centre for all services, tools, resources, products and organisations active in the field. Today the ELG cloud platform already offers access to more than 13,000 language processing tools and language resources. It enables all stakeholders to deposit, upload and deploy their technologies and datasets. The platform also supports the long-term objective of establishing digital language equality in Europe by 2030 – to create a situation in which all European languages enjoy equal technological support. This is the very first book dedicated to Language Technology and NLP platforms. Cloud technology has only recently matured enough to make the development of a platform like ELG feasible on a larger scale. The book comprehensively describes the results of the ELG project. Following an introduction, the content is divided into four main parts: (I) ELG Cloud Platform; (II) ELG Inventory of Technologies and Resources; (III) ELG Community and Initiative; and (IV) ELG Open Calls and Pilot Projects.
    Keywords: Language technology platform ; Language processing platform ; LT platform ; NLP platform ; Language technology directory ; Language processing directory ; LT directory ; NLP directory ; Language technology repository ; Language processing repository ; LT repository ; NLP repository ; Language data repository ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence::UYQL Natural language and machine translation ; thema EDItEUR::C Language and Linguistics::CF Linguistics::CFX Computational and corpus linguistics ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence::UYQE Expert systems / knowledge-based systems ; thema EDItEUR::U Computing and Information Technology::UB Information technology: general topics ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 18
    facet.materialart.
    Unknown
    Springer Nature | Apress
    Publication Date: 2024-04-14
    Description: Computer science
    Keywords: Computer science ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 19
    Publication Date: 2024-04-14
    Description: Computer science
    Keywords: Computer science ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 20
    facet.materialart.
    Unknown
    MDPI - Multidisciplinary Digital Publishing Institute
    Publication Date: 2024-03-30
    Description: The present reprint contains all of the articles in the second edition of the Special Issue titled “Statistical Data Modeling and Machine Learning with Applications II”. This Special Issue belongs to the “Mathematics and Computer Science” Section and aims to publish research on the theory and application of statistical data modeling and machine learning. New mathematical methods and approaches, new algorithms and research frameworks, and their applications aimed at solving diverse and nontrivial practical problems are proposed and developed in this SI. We believe that the chosen papers are attractive and useful to the international scientific community and will contribute to further research in the field of statistical data modeling and machine learning.
    Keywords: forecasting model ; electricity energy consumption ; grey model ; artificial neural network ; machine learning ; rotation CART ensemble ; bagging ; boosting ; arcing ; simplified selective ensemble ; linear stacked model ; IoV ; xNN ; K-MEANS ; anomaly detection ; single-index models ; composite quantile regression ; SCAD ; Laplace error penalty (LEP) ; causality ; Bayesian networks ; scalability ; group lasso penalty ; data integration ; network estimation ; stability selection ; time series model ; wavelet transform ; neural network NARX ; ionospheric parameters ; gambling ; jackpot ; multidimensional integrals ; Monte Carlo methods ; lattice sequences ; digital sequences ; surface approximation ; surface segmentation ; surface denoising ; gaussian process latent variable model ; line geometry ; line elements ; regression ; classification ; prediction ; meteorological parameters ; traffic incidents ; multi-agent architecture ; air pollution ; random forest ; ARIMA errors ; MIMO averaging strategy ; multi-step ahead prediction ; unmeasured forecast ; Explainableartificial intelligence ; credit card frauds ; deep learning ; long short-term memory ; fraud classification ; lung cancer ; tumor ; CT image ; one-stage detector ; YOLO ; multi-scale ; receptive field ; data analysis ; decision trees ; LightGBM ; SHAP ; leisure time ; influencing factors ; time allocation ; neural networks ; cosmic rays ; space weather ; n/a ; thema EDItEUR::K Economics, Finance, Business and Management::KN Industry and industrial studies::KNT Media, entertainment, information and communication industries::KNTX Information technology industries ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 21
    facet.materialart.
    Unknown
    Springer Nature | Apress
    Publication Date: 2024-04-14
    Description: Computer science
    Keywords: Computer science ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 22
    Publication Date: 2024-04-14
    Description: computer architecture; computer software selection and evaluation; formal logic; formal methods; model checker; model checking; multi core processors; program compilers; programming languages; semantics; software engineering; specifications; state space; verification
    Keywords: computer architecture ; computer software selection and evaluation ; formal logic ; formal methods ; model checker ; model checking ; multi core processors ; program compilers ; programming languages ; semantics ; software engineering ; specifications ; state space ; verification ; thema EDItEUR::U Computing and Information Technology::UY Computer science ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 23
    facet.materialart.
    Unknown
    MDPI - Multidisciplinary Digital Publishing Institute
    Publication Date: 2024-03-30
    Description: As one of the fastest-growing topics in machine learning, deep learning algorithms have achieved unprecedented success in recent years. Novel paradigms (such as contrastive learning and few-shot learning) in deep learning and rising neural network architectures (e.g., transformer and masked autoencoder) are dramatically changing the field of data-driven algorithms. More importantly, deep learning models are redefining the next generation of industrial applications spanning image recognition, speech processing, language translation, healthcare, and other sciences. For example, recent advances in deep representation learning are allowing us to learn about protein 3D structures, which sheds new light on fundamental medicine and biology along with potentially bringing in billions of dollars (e.g., in the pharmaceutical market). This collection gathers the advanced studies of novel deep learning algorithms/frameworks and their applications in real-world scenarios. The topics cover, but are not limited to, supervised learning, explainable deep learning, finance, healthcare, and sciences.
    Keywords: Convolutional Neural Network (CNN) ; pooling ; deep learning ; computer vision ; image analysis ; benchmark ; lithium-ion battery ; prognostics ; long short-term memory ; ARIMA ; reinforcement learning ; generative adversarial networks ; deep-learning ; crop/weed classification ; transfer learning ; feature extraction ; natural language processing ; image-text matching ; cheapfakes ; misinformation ; transformer encoder ; RoGPT2 ; control tokens ; summarization ; text generation ; human evaluation ; tricalcium silicate ; analytical model ; ion activity ; dissolution kinetics ; deep forest ; subsurface fluid flow ; Fourier neural operator ; small-shape data ; finite element method ; convolutional neural network ; sensitivity analysis ; source code comments ; classification ; machine learning techniques ; ANN flow law ; constitutive behavior ; radial return algorithm ; numerical implementation ; VUHARD ; GrC15 ; Abaqus Explicit ; defect detection ; surface defect detection ; defect detection for X-ray images ; defect recognition ; photoacoustic imaging ; image processing ; simulation ; reconstruction ; residual echo suppression ; acoustic echo cancellation ; speech enhancement ; graph neural network ; variational autoencoder ; nearest neighbours ; acute myeloid leukemia ; risk factors ; average treatment effect ; uplift modelling ; machine learning ; benzene ; ANOVA ; Shapley values ; self-explaining neural networks ; generalised additive models ; interpretability ; Siamese networks ; synthetic data ; cyclic learning ; unsupervised learning ; data augmentation ; single cell cultivation ; bioimage analysis ; finite element simulation ; plausibility checks ; convolutional neural networks ; storm surge ; hurricane ; forecasting ; CNN ; LSTM ; physics informed neural network ; dynamic force identification ; duffing’s equation ; spring mass damper system ; non-linear oscillators ; massive MIMO ; hybrid beamforming ; compressive measurement matrix ; long short-term memory network ; capsule network ; routing algorithm ; thema EDItEUR::K Economics, Finance, Business and Management::KN Industry and industrial studies::KNT Media, entertainment, information and communication industries::KNTX Information technology industries ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: application/octet-stream
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 24
    facet.materialart.
    Unknown
    Springer Nature | Apress
    Publication Date: 2024-04-14
    Description: Computer science
    Keywords: Computer science ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 25
    Publication Date: 2024-03-23
    Description: user interfaces; human computer interaction; computers and society
    Keywords: user interfaces ; human computer interaction ; computers and society ; thema EDItEUR::A The Arts ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 26
    facet.materialart.
    Unknown
    Springer Nature | Springer
    Publication Date: 2024-04-14
    Description: This open access two-volume set constitutes the proceedings of the 26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2020, which took place in Dublin, Ireland, in April 2020, and was held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020. The total of 60 regular papers presented in these volumes was carefully reviewed and selected from 155 submissions. The papers are organized in topical sections as follows: Part I: Program verification; SAT and SMT; Timed and Dynamical Systems; Verifying Concurrent Systems; Probabilistic Systems; Model Checking and Reachability; and Timed and Probabilistic Systems. Part II: Bisimulation; Verification and Efficiency; Logic and Proof; Tools and Case Studies; Games and Automata; and SV-COMP 2020.
    Keywords: Theory of Computation ; Special Purpose and Application-Based Systems ; Computer System Implementation ; Control Structures and Microprogramming ; Mathematics of Computing ; open access ; specification and verification techniques ; software and hardware verification ; SAT and SMT solving ; theorem proving ; model checking ; static and dynamic program analysis ; testing ; system construction and transformation techniques ; tool environments and tool architectures ; abstraction techniques for modeling and verification ; compositional and refinement-based methodologies ; mathematics ; software engineering ; software design ; architecting ; software architecture ; embedded systems ; automata theory ; linguistics ; Computer science ; Mathematical theory of computation ; Expert systems / knowledge-based systems ; Systems analysis & design ; Algorithms & data structures ; Maths for computer scientists ; thema EDItEUR::U Computing and Information Technology::UY Computer science ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence::UYQE Expert systems / knowledge-based systems ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYD Systems analysis and design ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMB Algorithms and data structures ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 27
    facet.materialart.
    Unknown
    Springer Nature | Springer
    Publication Date: 2024-04-14
    Description: This open access two-volume set constitutes the proceedings of the 27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2021, which was held during March 27 – April 1, 2021, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021. The conference was planned to take place in Luxembourg and changed to an online format due to the COVID-19 pandemic. The total of 41 full papers presented in the proceedings was carefully reviewed and selected from 141 submissions. The volume also contains 7 tool papers; 6 Tool Demo papers, 9 SV-Comp Competition Papers. The papers are organized in topical sections as follows: Part I: Game Theory; SMT Verification; Probabilities; Timed Systems; Neural Networks; Analysis of Network Communication. Part II: Verification Techniques (not SMT); Case Studies; Proof Generation/Validation; Tool Papers; Tool Demo Papers; SV-Comp Tool Competition Papers.
    Keywords: Theory of Computation ; Computer Systems Organization and Communication Networks ; Control Structures and Microprogramming ; Logic in AI ; Information Systems and Communication Service ; Computer Engineering and Networks ; architecture verification and validation ; artificial intelligence ; automata theory ; computer networks ; embedded systems ; formal languages ; formal logic ; linguistics ; mathematics ; model checking ; model-checking ; SAT and SMT solving ; signal processing ; software and hardware verification ; software architecture ; software engineering ; specification and verification techniques ; static and dynamic program analysis ; system construction and transforamtion techniques ; theorem-proving ; Computer science ; Mathematical theory of computation ; Computer networking & communications ; Algorithms & data structures ; thema EDItEUR::U Computing and Information Technology::UY Computer science ; thema EDItEUR::U Computing and Information Technology::UT Computer networking and communications ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence
    Language: English
    Format: image/png
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 28
    facet.materialart.
    Unknown
    Springer Nature | Apress
    Publication Date: 2024-04-14
    Description: Computer science
    Keywords: Computer science ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 29
    facet.materialart.
    Unknown
    Springer Nature | Springer
    Publication Date: 2024-04-14
    Description: This open access two-volume set constitutes the proceedings of the 27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2021, which was held during March 27 – April 1, 2021, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021. The conference was planned to take place in Luxembourg and changed to an online format due to the COVID-19 pandemic. The total of 41 full papers presented in the proceedings was carefully reviewed and selected from 141 submissions. The volume also contains 7 tool papers; 6 Tool Demo papers, 9 SV-Comp Competition Papers. The papers are organized in topical sections as follows: Part I: Game Theory; SMT Verification; Probabilities; Timed Systems; Neural Networks; Analysis of Network Communication. Part II: Verification Techniques (not SMT); Case Studies; Proof Generation/Validation; Tool Papers; Tool Demo Papers; SV-Comp Tool Competition Papers.
    Keywords: Theory of Computation ; Computer Systems Organization and Communication Networks ; Control Structures and Microprogramming ; Software Engineering ; Computer Engineering and Networks ; architecture verification and validation ; automata theory ; computer systems ; distributed computer systems ; embedded systems ; formal logic ; mathematics ; model checking ; model-checking ; parallel processing systems ; SAT and SMT solving ; software architecture ; static and dynamic program analysis ; theorem-proving ; verification and validation ; Computer science ; Mathematical theory of computation ; Computer networking & communications ; Algorithms & data structures ; thema EDItEUR::U Computing and Information Technology::UY Computer science ; thema EDItEUR::U Computing and Information Technology::UT Computer networking and communications ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering
    Language: English
    Format: image/png
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 30
    facet.materialart.
    Unknown
    Springer Nature | Springer
    Publication Date: 2024-04-14
    Description: This book contains the joint proceedings of the Winter School of Hakodate (WSH) 2011 held in Hakodate, Japan, March 15–16, 2011, and the 6th International Workshop on Natural Computing (6th IWNC) held in Tokyo, Japan, March 28–30, 2012, organized by the Special Interest Group of Natural Computing (SIG-NAC), the Japanese Society for Artificial Intelligence (JSAI). This volume compiles refereed contributions to various aspects of natural computing, ranging from computing with slime mold, artificial chemistry, eco-physics, and synthetic biology, to computational aesthetics.
    Keywords: Simulation and Modeling ; Computational Biology/Bioinformatics ; Models and Principles ; Computer Appl. in Arts and Humanities ; Computer Science ; Computational and Systems Biology ; Database Management System ; Computer and Information Systems Applications ; Computational Aesthetics ; Computing with Natural media ; Harness the Nature for Computation ; Synthetic Biology ; Computer modelling & simulation ; Life sciences: general issues ; Information technology: general issues ; Computer science ; Computer applications in the arts & humanities ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYM Computer modelling and simulation ; thema EDItEUR::P Mathematics and Science::PS Biology, life sciences::PSA Life sciences: general issues ; thema EDItEUR::U Computing and Information Technology::UY Computer science ; thema EDItEUR::N History and Archaeology::NH History
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 31
    facet.materialart.
    Unknown
    MDPI - Multidisciplinary Digital Publishing Institute
    Publication Date: 2024-03-30
    Description: This reprint covers new aspects of the recent developments in the theory and applications of fractional differential equations, including inclusions, inequalities, and systems of fractional differential equations with Riemann-Liouville derivatives, Caputo derivatives, or other generalized fractional derivatives, subject to various boundary conditions. The authors study the existence, uniqueness, multiplicity, and nonexistence of classical or mild solutions, the approximation of solutions, and the approximate controllability of mild solutions for diverse mathematical models.
    Keywords: piecewise constant function ; Mawhin’s continuation technique ; variable order ; resonance ; existence ; time-fractional damped wave inequalities ; bounded domain ; singularity ; nonexistence ; Riemann–Liouville fractional differential equations ; nonlocal boundary conditions ; singular functions ; positive solutions ; multiplicity ; coincidence degree theory ; four-point boundary value problem system ; at resonance ; fractional evolution systems ; approximate controllability ; Sobolev operator ; compactness ; Schauder fixed point theorem ; sequential fractional differential equations ; Caputo fractional derivative ; Riemann–Stieltjes integro-multipoint boundary conditions ; existence and uniqueness ; fixed point ; fractional calculus ; fractional differential equation ; boundary value problem ; Chebyshev polynomial ; collocation method ; impulsive fractional differential inclusions ; neutral differential inclusions ; mild solutions ; contractible sets ; Rδ-set ; boundary value problems ; fractional q-difference equations ; Caputo fractional q-difference derivative ; measure of noncompactness ; Mönch’s fixed point theorem ; nonlocal coupled boundary conditions ; positive parameters ; resolvent operator ; delay ; nonlocal conditions ; parameter ; fractional integro-differential equation ; Sturm–Liouville boundary condition ; variational method ; Hilfer fractional system ; neutral system ; multi-valued maps ; sectorial operators ; fractional Dzhrbashyan–Nersesyan derivative ; differential equation with fractional derivatives ; resolving family of operators ; perturbation theorem ; initial value problem ; initial-boundary value problem ; viscoelastic Oldroyd fluid ; q-calculus ; fractional q-integro-difference system ; solvability ; Riemann-Stieltjes q-integrals ; fixed point theorems ; n/a ; thema EDItEUR::K Economics, Finance, Business and Management::KN Industry and industrial studies::KNT Media, entertainment, information and communication industries::KNTX Information technology industries ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 32
    facet.materialart.
    Unknown
    Springer Nature | Springer
    Publication Date: 2024-04-14
    Description: This open access book constitutes the thoroughly refereed post-conference proceedings of the 6th International Workshop on Graph Structures for Knowledge Representation and Reasoning, GKR 2020, held virtually in September 2020, associated with ECAI 2020, the 24th European Conference on Artificial Intelligence. The 7 revised full papers presented together with 2 invited contributions were reviewed and selected from 9 submissions. The contributions address various issues for knowledge representation and reasoning and the common graph-theoretic background, which allows to bridge the gap between the different communities.
    Keywords: Artificial Intelligence ; Information Systems Applications (incl. Internet) ; Computer Communication Networks ; Mathematical Logic and Formal Languages ; Computer and Information Systems Applications ; Formal Languages and Automata Theory ; open access ; concept lattices ; data mining ; databases ; fca ; formal concept analysis ; formal languages ; formal logic ; information analysis ; information systems ; knowledge-based system ; model-based reasoning ; network protocols ; ontologies ; Information retrieval ; Internet searching ; Network hardware ; Mathematical theory of computation ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::U Computing and Information Technology::UN Databases::UNH Information retrieval ; thema EDItEUR::U Computing and Information Technology::UK Computer hardware::UKN Network hardware ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/png
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 33
    facet.materialart.
    Unknown
    MDPI - Multidisciplinary Digital Publishing Institute
    Publication Date: 2024-03-30
    Description: Smart cities represent a great advance in terms of sustainability, energy efficiency and being able to respond to the needs of enterprises, institutions and inhabitants. In this sense, smart grids contribute to the development of smart cities in the field of electrical energy, including concepts such as renewable energies, distributed generation, energy efficiency and smart homes and automation. In order to be able to implement all the functionalities of smart grids, it is necessary to have real-time information about the different installations. In this sense, IoT plays a fundamental role in developing smart grids. Cloud computing, which integrates the data obtained via smart electrical meters, smart electrical power analyzers and other intelligent metering devices, contributes to the availability of the measured data in real time and provides intelligence to existing electrical networks. Wireless communication networks, especially LPWANs, allow the construction of devices with low energy consumption and high operating autonomy, which can be installed in different locations, even those that are difficult to access. The massive implantation of the electric vehicle implies the construction of charging stations. These stations must use renewable energy sources that contribute to saving fossil fuels, reducing CO2 and increasing the sustainability of electric mobility.
    Keywords: cloud computing ; smart electric meters ; smart power analyzers ; smart grids for smart cities ; smart home and automation ; monitoring and control renewable energy ; public lighting system ; distributed generation ; hybrid electric energy storage systems ; electric vehicle charging stations ; wireless technologies ; thema EDItEUR::K Economics, Finance, Business and Management::KN Industry and industrial studies::KNT Media, entertainment, information and communication industries::KNTX Information technology industries ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: application/octet-stream
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 34
    Publication Date: 2024-04-14
    Description: Optimization is considered as a decision-making process for getting the most out of available resources for the best attainable results. Many real-world problems are multi-objective or multi-attribute problems that naturally involve several competing objectives that need to be optimized simultaneously, while respecting some constraints or involving selection among feasible discrete alternatives. In this Reprint of the Special Issue, 19 research papers co-authored by 88 researchers from 14 different countries explore aspects of multi-objective or multi-attribute modeling and optimization in crisp or uncertain environments by suggesting multiple-attribute decision-making (MADM) and multi-objective decision-making (MODM) approaches. The papers elaborate upon the approaches of state-of-the-art case studies in selected areas of applications related to sustainable development decision aiding in engineering and management, including construction, transportation, infrastructure development, production, and organization management.
    Keywords: QA75.5-76.95 ; T58.5-58.64 ; artificial neural network ; sustainability hierarchy ; expert ; Rough Hamy aggregator ; sustainable solution ; crank–slider ; technology selection problem ; AHP ; bus pass ; optimization ; discrete time/cost trade-off ; Rough WASPAS ; hybrid multi-criteria decision making (MCDM) ; travel times ; extended Tomada de Decisão Interativa Multicritério (TODIM) ; bi-level programming ; multi-objective evolutionary algorithms ; project scheduling ; WASPAS ; port scheduling ; rehydration ; sustainable transport policy ; gold mines ; hybrid mathematical model ; sustainable developments ; straw bales ; group decision making ; contractor ; Total Interpretive Structural Modeling (TISM) ; MULTIMOORA ; building investment project ; heuristics ; cleaner production (CP) ; particle swarm optimization (PSO) ; optimization study ; critical information infrastructures ; bi-objective optimization ; dynamic analysis ; location-allocation problem ; probabilistic linguistic term sets (PLTSs) ; drying ; multiple objective optimization ; multi-objective decision-making (MODM) ; ranking ; hierarchical SWARA ; choice ; linguistic hesitant fuzzy set and Standard variance ; multiple-attribute decision-making (MADM) ; project ; sustainable energy evaluation ; emission of pollutants ; genetic algorithm ; ARAS-G ; multi-purpose system ; renewable energy ; assessment ; hospital evaluation ; bat algorithm ; multiple-criteria decision-making ; comfort of use of buildings ; energy efficiency ; healthcare facility ; conceptual framework ; hybrid expert system ; engineering ; sustainability ; verbal analysis ; sustainable energy developments ; sustainable development ; hybrid ; public transport ; water resource management ; compacted clay ; multiple criteria decision making (MCDM) ; MCDM ; particle swarm optimization algorithm ; sustainable traffic ; single-cylinder engine ; Rough BWM ; policy measures ; apple ; clay blocks ; historic buildings ; hesitant fuzzy set ; construction ; TOPSIS-GM ; roundabout ; fuzzy ; sustainable transport ; surface transport ; grey ; Multiple Attribute Decision Making (MADM) ; WSM ; ecological building ; management ; Geomean ; SWARA ; vibration suppression ; organizations ; innovation in transport ; risk ; berth-quay crane joint scheduling ; cost calculation ; multiple criteria decision aid ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: application/octet-stream
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 35
    facet.materialart.
    Unknown
    Springer Nature | Springer International Publishing
    Publication Date: 2024-04-08
    Description: This open access book tackles the pressing problem of integrating concerns related to Artificial Intelligence (AI) ethics into higher education curriculums aimed at future AI developers in Africa and beyond. For doing so, it analyzes the present and future states of AI ethics education in local computer science and engineering programs. The authors share relevant best practices and use cases for teaching, develop answers to ongoing organizational challenges, and reflect on the practical implications of different theoretical approaches to AI ethics. The book is of great interest to faculty members, researchers, and students in the fields of artificial intelligence, computer science, mathematics, computer engineering, and related areas, as well as higher education administration.
    Keywords: Artificial Intelligence Ethics ; African AI Ethics ; Responsible Use of Technology ; Computer Science Training ; Higher Education in Africa ; thema EDItEUR::Q Philosophy and Religion::QD Philosophy::QDT Topics in philosophy::QDTQ Ethics and moral philosophy ; thema EDItEUR::U Computing and Information Technology::UY Computer science ; thema EDItEUR::Q Philosophy and Religion::QD Philosophy::QDT Topics in philosophy::QDTQ Ethics and moral philosophy ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 36
    Publication Date: 2024-04-14
    Description: software development; process management; collaboration; software-driven innovation
    Keywords: software development ; process management ; collaboration ; software-driven innovation ; thema EDItEUR::U Computing and Information Technology::UY Computer science ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 37
    facet.materialart.
    Unknown
    MDPI - Multidisciplinary Digital Publishing Institute
    Publication Date: 2024-03-30
    Description: Rapid advances in modelling research have created new challenges and opportunities for statisticians. Statistical inference in observational studies and many other emerging fields have motivated statisticians worldwide to develop cutting-edge methods and analytical strategies. The aim of this reprint is to showcase the applications and methodological research in all fields of computational statistics. This reprint will provide a forum for computer scientists, mathematicians, and statisticians working in a variety of areas in statistics, including biometrics, econometrics, data analysis, graphics, and simulation.
    Keywords: descriptive statistics ; inferential statistics ; species abundance data plots ; abundance models ; species richness indices ; diversity measures ; sampling ; community comparisons ; diversity in space (time) ; extreme value modeling ; epidemiology ; adaptive sampling ; trend analysis ; ecological modeling ; detection limit ; Pseudo Lindley distribution ; survival discretization method ; over dispersion ; moments ; simulation ; maximum likelihood estimation ; goodness-of-fit ; trigonometric distributions ; modified Lindley distribution ; engineering data ; climate data ; statistical analysis ; Burr III distribution ; stochastic ordering ; middle-censoring ; order statistics ; Teissier distribution ; unit Teissier distribution ; Lambert W function ; entropy ; extropy ; estimation ; compounding distributions ; Lindley distribution ; Lomax distribution ; stress strength model ; characterization ; Nadarajah–Haghighi distribution ; data analysis ; evaporation ; adaptive neuro fuzzy system ; firefly algorithm ; particle swarm optimization ; genetic algorithm ; statistical indices ; Euclidean distance timed and spaced ; meteorological station ; multivariable panel data cluster analysis ; biomedical data ; trigonometric function ; continuous distribution ; undernutrition ; prevalence ; hierarchical Bayesian ; spatial analysis ; small area estimation ; Markov chain Monte Carlo ; wavelet analysis ; extreme subtropical cyclones ; climate change ; sea surface temperature anomalies ; oceanic Rossby waves ; Marine Heatwaves ; Gerber–Shiu function ; constant force of interest ; Volterra equation ; absolute ruin ; delayed reporting times ; generalized odd linear distribution ; hazard rate function ; residual analysis ; Monte Carlo simulation ; Prony method ; exponential sums ; eigenfunctions ; eigenvalues ; sparse expansion ; generating function ; Hankel matrix ; short time Fourier transform ; least-square method ; bivariate beta ; gamma ; hypergeometric function ; sequential ; shift in process variance ; discretizing ; natural discrete Lindley distribution ; n/a ; thema EDItEUR::K Economics, Finance, Business and Management::KN Industry and industrial studies::KNT Media, entertainment, information and communication industries::KNTX Information technology industries ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 38
    facet.materialart.
    Unknown
    MDPI - Multidisciplinary Digital Publishing Institute
    Publication Date: 2024-03-30
    Description: The present reprint contains 33 articles accepted and published in the Special Issue entitled “Advancement of Mathematical Methods in Feature Representation Learning for Artificial Intelligence, Data Mining and Robotics, 2022” in the MDPI journal, Mathematics, which covers a wide range of topics connected to the theory and applications of feature representation learning for image processing, artificial intelligence, data mining and robotics. These topics include, among others, elements from image blurring, image aesthetic quality assessment, pedestrian detection, visual tracking, vehicle re-identification, face recognition, 3D reconstruction, the stability of switched systems, domain adaption, deep reinforcement, sentiment analysis, graph convolutional networks, knowledge graphs, geometric metric learning, etc. It is hoped that this reprint will be interesting and useful for those working in the area of image processing, computer vision, machine learning, natural language processing and robotics, as well as for those with backgrounds in machine learning who are willing to become familiar with recent advancements in artificial intelligence, which, today, is present in almost all aspects of human life and activities.
    Keywords: head detection ; YoloV4 ; NMS ; soft-NMS ; people counting ; vehicle re-identification ; license plate recognition ; video surveillance ; feature extraction ; pedestrian detection ; machine learning ; end-to-end ; anchor-free ; feature reuse ; correlation filters ; second-order fitting ; visual tracking ; DCNN-BiLSTM ; domain adaptation ; MMD ; fine-tuning ; C-MAPSS ; cross-working ; small sample ; blind image deblurring ; image prior ; sparse channel ; sparsity ; multi-output ; kNN ; metric learning ; cost-weighted ; geometric mean metric ; motion deblurring ; image super-resolution ; multi-order attention ; gated learning ; decoupling ; face recognition ; second-order gradient ; image gradient orientations ; collaborative-representation-based classification ; image aesthetic assessment ; semi-supervised learning ; label propagation ; deep learning ; computer vision ; garbage quantity identification ; YOLOX ; Soft-NMS ; stability ; switched system ; state-dependent switching ; time delay ; multi-source domain adaptation ; Dempster–Shafer evidence theory ; cross-domain classification ; 3D reconstruction ; multi-view stereo ; structure from motion ; background matting ; adversarial example ; feature transformation ; black-box attack ; ensemble attack ; deep neural network ; intelligent design ; data analysis ; models and algorithms ; extension theory ; scheme design ; adversarial learning ; adversarial equilibrium ; transferability quantification ; power load forecasting ; routing, modulation and spectrum assignment ; elastic optical networks ; deep reinforcement learning ; knowledge distillation ; aspect-based sentiment analysis ; graph neural networks ; dependency trees ; dependency types ; graph attention mechanism ; syntactic ; semantic ; vehicle color recognition ; low–high level joint task ; object detection ; joint semantic learning ; rainy image recovery ; XSS attack ; traffic detection ; payloads ; fusion verification ; hypergraph matching ; similarity metric ; information-theoretic metric learning ; mixed noise removal ; matrix nuclear norm ; logarithm norm ; ADMM ; plug-and-play ; aspect-level sentiment classification ; external knowledge ; KGE ; GCN ; discriminative feature learning ; multidimensional scaling ; fuzzy k-means ; pairwise constraint propagation ; iterative majorization algorithm ; Aspect Level Sentiment Classification ; Contrasitve Learning ; Graph Convolutional Networks ; graph convolutional networks ; commonsense knowledge graph ; anomaly detection ; cyber–physical ; industrial control systems ; image classification ; large-margin technique ; robustness ; anti-noise performance ; cross-domain sentiment classification ; word embedding ; GAT ; hate speech detection ; contrastive learning ; multi-task learning ; attention mechanism ; state reconstruction ; gait adjustment ; uncertain temporal knowledge graph ; temporal knowledge graph ; knowledge graph embedding ; confidence score ; n/a ; thema EDItEUR::K Economics, Finance, Business and Management::KN Industry and industrial studies::KNT Media, entertainment, information and communication industries::KNTX Information technology industries ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 39
    facet.materialart.
    Unknown
    MDPI - Multidisciplinary Digital Publishing Institute
    Publication Date: 2024-04-04
    Description: The book contains papers published in a Special Issue of Axioms, entitled "New Developments in Geometric Function Theory". An Editorial describes the 14 papers devoted to the study of complex-valued functions which present new outcomes related to special classes of univalent and bi-univalent functions, new operators and special functions associated with differential subordination and superordination theories, fractional calculus, and certain applications in geometric function theory.
    Keywords: analytic functions ; vector valued Hardy functions ; boundary values ; analytic function ; starlike function of order α ; convex function of order α ; Sălăgean differential operator ; Alexander integral operator ; starlike and convex functions ; hadamard product ; subordination ; bi-univalent functions ; Fekete–Szegő problem ; Gegenbauer polynomials ; Yamakawa-type bi-starlike functions ; univalent function ; starlike function ; convex function ; meromorphic function ; q-difference operator ; strong differential superordination ; best subordinant ; confluent (Kummer) hypergeometric function ; univalent functions ; coefficient bounds ; bi-starlike and bi-convex functions of complex order ; fractional calculus ; Erdély–Kober-type integral operator ; analytic bi-univalent functions ; zero-truncated Poisson distribution ; Fekete–Szegő functional problem ; logarithmic coefficient ; Hankel determinant ; strongly starlike ; strongly convex ; Bessel function ; uniformly convex functions ; radius of convexity ; vector-valued tempered distributions ; boundary value ; Cauchy integral ; differential operator ; fuzzy differential subordination ; fuzzy best dominant ; fractional integral ; bi-univalent function ; Laguerre polynomial ; coefficient bound ; beta negative binomial distribution ; inequalities ; open unit disk ; symmetric differential operator ; airy functions ; normalization ; complex wave equation ; k-symbol calculus ; fractional derivative operator ; Mittag-Leffler function ; convolution ; n/a ; thema EDItEUR::P Mathematics and Science ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 40
    facet.materialart.
    Unknown
    MDPI - Multidisciplinary Digital Publishing Institute
    Publication Date: 2024-03-30
    Description: The delicate balance of resource intensity and efficiency of a solution for a very complex problem raises the issue of how these aspects constitute a symmetrical or asymmetrical system. Computational Intelligence (CI) offers a plethora of efficient tools for the potential and rather good quality solution of highly complex, often mathematically intractable problems. This "toolbox" is one of the best examples for the study of the above mentioned issue, namely, how to find the best balance, how to establish a symmetry of weights or costs in a particular field, for a particular problem. This special issue presents a number of interesting novel applications of CI for the tackling of a wide variety of difficult problems. The Introduction gives a short insight into the symmetry and asymmetry aspect of the topic.
    Keywords: lung nodule segmentation ; 3D-UNet ; 3D-Res2UNet ; multi-scale features ; deep learning ; butterfly optimization algorithm (BOA) ; particle swarm optimization (PSO) ; cubic map ; nonlinear ; high dimension ; extensional fuzzy numbers ; MI-algebras ; similarity ; arithmetics of fuzzy numbers ; orderings ; fuzzy interpolation ; economic data ; air defense system ; artificial immune system ; command and control ; learning classifier system ; multi-agent systems ; weapon-target assignment ; energy optimization ; genetic algorithms ; multi-objective optimization ; artificial neural network simulator ; artificial intelligence ; artificial bee colony algorithm ; global optimization ; neural network ; nonlinear static system ; behavioural finance ; imprecision ; oriented fuzzy number ; oriented present value ; oriented return ; S-divergence ; S-distance ; spectral clustering ; text summarization ; recurrent neural network ; embedding ; dynamic memory network ; fuzzy-rough cognitive network ; fuzzy cognitive map ; granular computing ; fuzzy-rough sets ; stability ; convergence ; discrete bacterial memetic evolutionary algorithm ; simulated annealing ; flow shop scheduling problem ; global sensitivity analysis ; Sobol procedure ; fast algorithm ; convolutional neural network ; structure reduction ; pruning ; quality ; feature selection ; machine learning ; asexual ; genetic algorithm ; android malicious application detection ; bees algorithm ; training deep neural networks ; metaheuristics ; opinion mining ; recurrent neural networks ; sentiment classification ; natural language processing ; data augmentation ; fine-tuning ; generative models ; StyleGAN ; transfer learning ; present value ; discount factor ; portfolio ; finance ; optimization ; tourist trip design ; vehicle routing ; key performance indicator (KPI) ; anomaly detection ; variational auto-encoder (VAE) ; support vector data description (SVDD) ; FMEA ; Fuzzy Logic ; greenhouse gases ; blockchain ; difficulty adjustment ; proof-of-work ; ANN ; AlexNet ; COVID-19 ; TSA ; commonsense ; knowledge graph ; linguistic terms ; language models ; n/a ; thema EDItEUR::K Economics, Finance, Business and Management::KN Industry and industrial studies::KNT Media, entertainment, information and communication industries::KNTX Information technology industries ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 41
    facet.materialart.
    Unknown
    Springer Nature | Apress
    Publication Date: 2024-04-14
    Description: Computer science
    Keywords: Computer science ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 42
    facet.materialart.
    Unknown
    MDPI - Multidisciplinary Digital Publishing Institute
    Publication Date: 2024-03-30
    Description: Numerical analysis and computer simulations are becoming increasingly important in modeling of new sources and methods of harvesting, transforming and storing energy from its renewable sources. A similar trend is also observed in relation to environmental impacts on people and the buildings in which they use to live or stay, as well as the impact of everyday devices, machines and industrial installations on the quality of air and drinking water. This collection provides an overview of contemporary methods, algorithms and results in this broad and important field of human knowledge. Particularly noteworthy here are works in the area of machine learning and artificial intelligence, where the progress of computer methods and the interest of researchers from many fields seem to be the greatest. The use of statistical and stochastic algorithms that make it possible to take into account the impact of wind, humidity, moisture, temperature and sunlight on the immediate human environment remains still a great challenge.
    Keywords: computer simulations ; statistical methods ; environmental impacts ; renewable energy ; energy harvesters ; thema EDItEUR::K Economics, Finance, Business and Management::KN Industry and industrial studies::KNT Media, entertainment, information and communication industries::KNTX Information technology industries ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: application/octet-stream
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 43
    facet.materialart.
    Unknown
    MDPI - Multidisciplinary Digital Publishing Institute
    Publication Date: 2024-04-14
    Description: The development of kernel methods and hybrid evolutionary algorithms (HEAs) to support experts in energy forecasting is of great importance to improving the accuracy of the actions derived from an energy decision maker, and it is crucial that they are theoretically sound. In addition, more accurate or more precise energy demand forecasts are required when decisions are made in a competitive environment. Therefore, this is of special relevance in the Big Data era. These forecasts are usually based on a complex function combination. These models have resulted in over-reliance on the use of informal judgment and higher expense if lacking the ability to catch the data patterns. The novel applications of kernel methods and hybrid evolutionary algorithms can provide more satisfactory parameters in forecasting models. We aimed to attract researchers with an interest in the research areas described above. Specifically, we were interested in contributions towards the development of HEAs with kernel methods or with other novel methods (e.g., chaotic mapping mechanism, fuzzy theory, and quantum computing mechanism), which, with superior capabilities over the traditional optimization approaches, aim to overcome some embedded drawbacks and then apply these new HEAs to be hybridized with original forecasting models to significantly improve forecasting accuracy.
    Keywords: QA75.5-76.95 ; TA1-2040 ; hybrid models ; energy forecasting ; empirical mode decomposition ; evolutionary algorithms ; wavelet transform ; quantum computing mechanism ; support vector regression / support vector machines ; chaotic mapping mechanism ; extreme learning machine ; fuzzy time series ; kernel methods ; spiking neural networks ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 44
    facet.materialart.
    Unknown
    MDPI - Multidisciplinary Digital Publishing Institute
    Publication Date: 2024-03-30
    Description: The present reprint, “Causal Inference for Heterogeneous Data and Information Theory”, is a special issue of Journal Entropy. This Special Issue belongs to the section "Information Theory, Probability, and Statistics". The reprint gathers thirteen original contributions of leading experts in the theory of causal inference, focusing namely on the utilization of instrumental variables in a causal model, estimation of average treatment effect, the role of interventions in causal models, graphical causal modeling, causal algebras, causal modeling using the theory of categories, temporal causal model, heterogeneous data, and information–theoretic approaches.
    Keywords: common hidden cause ; graphical models ; probabilistic models ; Chain Event Graphs ; interventions ; causal calculus ; causal fairness ; responsible data science ; causal discovery ; Hawkes process ; high-dimensional statistics ; hidden confounder ; causality ; Bitcoin ; inflation ; yield spreads ; approximation theory ; Hellinger distance ; Kullback–Leibler divergence ; correct specification ; misspecified models ; causal inference ; instrumental variables ; neural networks ; doubly robust estimation ; semi-parametric theory ; instrumental variable ; causal graph ; non-Gaussianity ; causal graphs ; dynamic systems ; causal learning ; time ; continuous ; event cognition ; econometrics software ; causal machine learning ; statistical learning ; conditional average treatment effects ; individualized treatment effects ; multiple treatments ; selection-on-observables ; piecewise linear ; thresholds model ; causal Inference ; regularization ; BART ; Stan ; machine learning ; heterogeneous treatment effects ; multilevel data ; grouped data ; artificial intelligence ; higher-order category theory ; statistics ; n/a ; thema EDItEUR::K Economics, Finance, Business and Management::KN Industry and industrial studies::KNT Media, entertainment, information and communication industries::KNTX Information technology industries ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 45
    facet.materialart.
    Unknown
    Springer Nature
    Publication Date: 2024-04-14
    Description: This open access book explores the dataspace paradigm as a best-effort approach to data management within data ecosystems. It establishes the theoretical foundations and principles of real-time linked dataspaces as a data platform for intelligent systems. The book introduces a set of specialized best-effort techniques and models to enable loose administrative proximity and semantic integration for managing and processing events and streams. The book is divided into five major parts: Part I “Fundamentals and Concepts” details the motivation behind and core concepts of real-time linked dataspaces, and establishes the need to evolve data management techniques in order to meet the challenges of enabling data ecosystems for intelligent systems within smart environments. Further, it explains the fundamental concepts of dataspaces and the need for specialization in the processing of dynamic real-time data. Part II “Data Support Services” explores the design and evaluation of critical services, including catalog, entity management, query and search, data service discovery, and human-in-the-loop. In turn, Part III “Stream and Event Processing Services” addresses the design and evaluation of the specialized techniques created for real-time support services including complex event processing, event service composition, stream dissemination, stream matching, and approximate semantic matching. Part IV “Intelligent Systems and Applications” explores the use of real-time linked dataspaces within real-world smart environments. In closing, Part V “Future Directions” outlines future research challenges for dataspaces, data ecosystems, and intelligent systems. Readers will gain a detailed understanding of how the dataspace paradigm is now being used to enable data ecosystems for intelligent systems within smart environments. The book covers the fundamental theory, the creation of new techniques needed for support services, and lessons learned from real-world intelligent systems and applications focused on sustainability. Accordingly, it will benefit not only researchers and graduate students in the fields of data management, big data, and IoT, but also professionals who need to create advanced data management platforms for intelligent systems, smart environments, and data ecosystems.
    Keywords: Computer science ; Database management ; Special purpose computers ; Computers ; thema EDItEUR::U Computing and Information Technology::UN Databases ; thema EDItEUR::U Computing and Information Technology::UY Computer science ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence::UYQE Expert systems / knowledge-based systems ; thema EDItEUR::U Computing and Information Technology::UN Databases ; thema EDItEUR::U Computing and Information Technology::UY Computer science ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence::UYQE Expert systems / knowledge-based systems
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 46
    Publication Date: 2024-04-14
    Description: anomaly detection; artificial intelligence; cloud computing; data security; cyber crime; internet; network security; wireless; web
    Keywords: anomaly detection ; artificial intelligence ; cloud computing ; data security ; cyber crime ; internet ; network security ; wireless ; web ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 47
    Publication Date: 2024-04-14
    Description: human-computer interaction; machine learning; cyber-physical systems
    Keywords: human-computer interaction ; machine learning ; cyber-physical systems ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 48
    facet.materialart.
    Unknown
    MDPI - Multidisciplinary Digital Publishing Institute
    Publication Date: 2024-04-14
    Description: Accurate energy forecasting is important to facilitate the decision-making process in order to achieve higher efficiency and reliability in power system operation and security, economic energy use, contingency scheduling, the planning and maintenance of energy supply systems, and so on. In recent decades, many energy forecasting models have been continuously proposed to improve forecasting accuracy, including traditional statistical models (e.g., ARIMA, SARIMA, ARMAX, multi-variate regression, exponential smoothing models, Kalman filtering, Bayesian estimation models, etc.) and artificial intelligence models (e.g., artificial neural networks (ANNs), knowledge-based expert systems, evolutionary computation models, support vector regression, etc.). Recently, due to the great development of optimization modeling methods (e.g., quadratic programming method, differential empirical mode method, evolutionary algorithms, meta-heuristic algorithms, etc.) and intelligent computing mechanisms (e.g., quantum computing, chaotic mapping, cloud mapping, seasonal mechanism, etc.), many novel hybrid models or models combined with the above-mentioned intelligent-optimization-based models have also been proposed to achieve satisfactory forecasting accuracy levels. It is important to explore the tendency and development of intelligent-optimization-based modeling methodologies and to enrich their practical performances, particularly for marine renewable energy forecasting.
    Keywords: QA75.5-76.95 ; T58.5-58.64 ; Ensemble Empirical Mode Decomposition ; Brain Storm Optimization ; asset management ; institutional investors ; state transition algorithm ; kernel ridge regression ; energy price hedging ; multi-objective grey wolf optimizer ; five-year project ; complementary ensemble empirical mode decomposition (CEEMD) ; active investment ; portfolio management ; Long Short Term Memory ; time series forecasting ; LEM2 ; improved complete ensemble empirical mode decomposition with adaptive noise (ICEEMDAN) ; feature selection ; Markov-switching GARCH ; condition-based maintenance ; substation project cost forecasting model ; Gaussian processes regression ; deep convolutional neural network ; individual ; wind speed ; empirical mode decomposition (EMD) ; crude oil prices ; artificial intelligence techniques ; intrinsic mode function (IMF) ; multi-step wind speed prediction ; support vector regression (SVR) ; short term load forecasting ; energy futures ; General Regression Neural Network ; metamodel ; sparse Bayesian learning (SBL) ; commodities ; ensemble ; comparative analysis ; crude oil price forecasting ; electrical power load ; differential evolution (DE) ; fuzzy time series ; kernel learning ; short-term load forecasting ; data inconsistency rate ; renewable energy consumption ; long short-term memory ; energy forecasting ; modified fruit fly optimization algorithm ; forecasting ; combination forecasting ; Markov-switching ; weighted k-nearest neighbor (W-K-NN) algorithm ; hybrid model ; interpolation ; particle swarm optimization (PSO) algorithm ; regression ; diversification ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: application/octet-stream
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 49
    facet.materialart.
    Unknown
    Springer Nature | Apress
    Publication Date: 2024-04-14
    Description: This unique open access book applies the functional OCaml programming language to numerical or computational weighted data science, engineering, and scientific applications. This book is based on the authors' first-hand experience building and maintaining Owl, an OCaml-based numerical computing library. You'll first learn the various components in a modern numerical computation library. Then, you will learn how these components are designed and built up and how to optimize their performance. After reading and using this book, you'll have the knowledge required to design and build real-world complex systems that effectively leverage the advantages of the OCaml functional programming language. What You Will Learn Optimize core operations based on N-dimensional arrays Design and implement an industry-level algorithmic differentiation module Implement mathematical optimization, regression, and deep neural network functionalities based on algorithmic differentiation Design and optimize a computation graph module, and understand the benefits it brings to the numerical computing library Accommodate the growing number of hardware accelerators (e.g. GPU, TPU) and execution backends (e.g. web browser, unikernel) of numerical computation Use the Zoo system for efficient scripting, code sharing, service deployment, and composition Design and implement a distributed computing engine to work with a numerical computing library, providing convenient APIs and high performance Who This Book Is For Those with prior programming experience, especially with the OCaml programming language, or with scientific computing experience who may be new to OCaml. Most importantly, it is for those who are eager to understand not only how to use something, but also how it is built up.
    Keywords: programming language ; OCaml ; scientific computing ; computational ; debugging ; open source ; source ; code ; numerical ; data science ; big data ; owl ; functional ; math ; scientific ; engineering ; thema EDItEUR::U Computing and Information Technology ; thema EDItEUR::U Computing and Information Technology::UY Computer science ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMB Algorithms and data structures ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 50
    facet.materialart.
    Unknown
    MDPI - Multidisciplinary Digital Publishing Institute
    Publication Date: 2024-03-30
    Description: This reprint discussed Coding and compression; Content storing and management; Electronic media; Internet technology; Image and video signals; Multimedia processing; Quality of experience (QoE); Quality of service (QoS); Signal processing; Streaming services; Subjective and objective metrics; User experience (UX).
    Keywords: canny edge detector ; deep belief network ; dragonfly optimization algorithm ; image processing ; local binary pattern ; tool wear monitoring ; agile ; implementation ; hardware development ; case study ; user experience ; oil sheen ; oil pollution monitoring ; convolutional neural network ; transfer learning ; traffic prediction ; artificial neural networks ; adaptive video ; integrity analysis ; integrity preservation trace ; video contents ; blockchain ; digital video forensic ; scrambled linear block codes ; cross-correlation of symbols ; partial autocorrelation function ; convolutional long short-term memory neural networks ; IMS ; NGN ; MPLS ; call processing performance ; quality of service ; performance evaluation ; traffic model ; polar code ; neural network ; decoder ; deblocking filter ; quality assessment ; parallel edge filter ; HEVC/H.265 ; sample adaptive offset filter ; nighttime dehazing ; daytime dehazing ; mixed-filter ; high-light area transmission compensation ; regularization ; guided filtering ; nonuniformity correction ; infrared focal plan linear array detector ; linear regression fitting ; video quality ; objective quality assessment methods ; subjective quality assessment methods ; user perception ; QoE ; video codecs ; H.264 (AVC) ; H.265 (HEVC) ; VP9 ; network security ; antivirus evasion ; cybersecurity ; EEG (electroencephalography) ; HCI (human–computer interaction) ; mining ; occupational safety ; swarm intelligence ; UX (user experience) ; wireless networks ; n/a ; thema EDItEUR::K Economics, Finance, Business and Management::KN Industry and industrial studies::KNT Media, entertainment, information and communication industries::KNTX Information technology industries ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: application/octet-stream
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 51
    facet.materialart.
    Unknown
    Springer Nature | Springer Nature Switzerland
    Publication Date: 2024-04-04
    Description: This open access text aims at giving you the simplest possible introduction to differential equations that are used in models of electrophysiology. It covers models at several spatial and temporal scales with associated numerical methods. The text demonstrates that a very limited number of fundamental techniques can be used to define numerical methods for equations ranging from ridiculously simple to extremely complex systems of partial differential equations. Every method is implemented in Matlab and the codes are freely available online. By using these codes, the reader becomes familiar with classical models of electrophysiology, like the cable equation, the monodomain model, and the bidomain model. But modern models that have just started to gain attention in the field of computational electrophysiology are also presented. If you just want to read one book, it should probably not be this one, but if you want a simple introduction to a complex field, it is worth considering the present text.
    Keywords: Action potential ; Cardiomyocytes ; Differential equations ; numerical methods ; software ; computational physiology ; computational electrophysiology ; Cable equation ; bidomain ; cell-based models ; thema EDItEUR::P Mathematics and Science::PB Mathematics ; thema EDItEUR::U Computing and Information Technology::UY Computer science ; thema EDItEUR::P Mathematics and Science::PS Biology, life sciences::PSA Life sciences: general issues ; thema EDItEUR::P Mathematics and Science::PH Physics::PHV Applied physics::PHVN Biophysics
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 52
    facet.materialart.
    Unknown
    Springer Nature
    Publication Date: 2024-04-14
    Description: This book contains the joint proceedings of the Winter School of Hakodate (WSH) 2011 held in Hakodate, Japan, March 15–16, 2011, and the 6th International Workshop on Natural Computing (6th IWNC) held in Tokyo, Japan, March 28–30, 2012, organized by the Special Interest Group of Natural Computing (SIG-NAC), the Japanese Society for Artificial Intelligence (JSAI). This volume compiles refereed contributions to various aspects of natural computing, ranging from computing with slime mold, artificial chemistry, eco-physics, and synthetic biology, to computational aesthetics.
    Keywords: QA75.5-76.95 ; TP248.13-248.65 ; TL1-4050 ; TS1-2301 ; Computational Biology/Bioinformatics ; Simulation and Modeling ; Models and Principles ; Computer Appl. in Arts and Humanities ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 53
    Publication Date: 2024-04-14
    Description: agile software development; test-driven development; project and people management; empirical software engineering; continuous experimentation
    Keywords: agile software development ; test-driven development ; project and people management ; empirical software engineering ; continuous experimentation ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 54
    facet.materialart.
    Unknown
    Springer Nature
    Publication Date: 2024-04-14
    Description: This open access book constitutes the proceedings of the 28th European Symposium on Programming, ESOP 2019, which took place in Prague, Czech Republic, in April 2019, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019.
    Keywords: Computer science ; Programming languages (Electronic computers) ; Computer programming ; Software engineering ; Computers ; Computers ; Computer system failures ; thema EDItEUR::U Computing and Information Technology::UB Information technology: general topics ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMX Programming and scripting languages: general ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering ; thema EDItEUR::U Computing and Information Technology::UY Computer science ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYD Systems analysis and design
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 55
    facet.materialart.
    Unknown
    Springer Nature | Springer
    Publication Date: 2024-04-14
    Description: The open access two-volume set LNCS 12224 and 12225 constitutes the refereed proceedings of the 32st International Conference on Computer Aided Verification, CAV 2020, held in Los Angeles, CA, USA, in July 2020.* The 43 full papers presented together with 18 tool papers and 4 case studies, were carefully reviewed and selected from 240 submissions. The papers were organized in the following topical sections: Part I: AI verification; blockchain and Security; Concurrency; hardware verification and decision procedures; and hybrid and dynamic systems. Part II: model checking; software verification; stochastic systems; and synthesis. *The conference was held virtually due to the COVID-19 pandemic.
    Keywords: Software Engineering ; Theory of Computation ; Artificial Intelligence ; Computer Systems Organization and Communication Networks ; Computer Hardware ; Simulation and Modeling ; Computer Engineering and Networks ; Computer Science ; architecture verification and validation ; artificial intelligence ; automata theory ; computer systems ; correlation analysis ; distributed computer systems ; embedded systems ; formal languages ; formal logic ; linguistics ; model checking ; programming languages ; semantics ; software architecture ; software design ; software quality ; verification and validation ; Open Access ; Computer science ; Mathematical theory of computation ; Artificial intelligence ; Computer networking & communications ; Computer hardware ; Computer modelling & simulation ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering ; thema EDItEUR::U Computing and Information Technology::UY Computer science ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::U Computing and Information Technology::UT Computer networking and communications ; thema EDItEUR::U Computing and Information Technology::UK Computer hardware ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYM Computer modelling and simulation
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 56
    facet.materialart.
    Unknown
    Springer Nature
    Publication Date: 2024-03-27
    Description: Information Storage and Retrieval; Innovation/Technology Management; Computer Applications; Computers and Society; Big data
    Keywords: Information Storage and Retrieval ; Innovation/Technology Management ; Computer Applications ; Computers and Society ; Big data ; thema EDItEUR::G Reference, Information and Interdisciplinary subjects::GL Library and information sciences / Museology ; thema EDItEUR::K Economics, Finance, Business and Management::KN Industry and industrial studies::KNT Media, entertainment, information and communication industries::KNTX Information technology industries ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TB Technology: general issues::TBC Engineering: general ; thema EDItEUR::U Computing and Information Technology::UY Computer science ; thema EDItEUR::W Lifestyle, Hobbies and Leisure::WC Antiques, vintage and collectables::WCF Collecting coins, banknotes, medals and other related items ; thema EDItEUR::G Reference, Information and Interdisciplinary subjects::GL Library and information sciences / Museology ; thema EDItEUR::K Economics, Finance, Business and Management::KN Industry and industrial studies::KNT Media, entertainment, information and communication industries::KNTX Information technology industries ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TB Technology: general issues::TBC Engineering: general ; thema EDItEUR::U Computing and Information Technology::UY Computer science ; thema EDItEUR::W Lifestyle, Hobbies and Leisure::WC Antiques, vintage and collectables::WCF Collecting coins, banknotes, medals and other related items
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 57
    facet.materialart.
    Unknown
    Springer Nature | Springer
    Publication Date: 2024-04-14
    Description: This open access book constitutes the proceedings of the 24th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2021, which was held during March 27 until April 1, 2021, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021. The conference was planned to take place in Luxembourg and changed to an online format due to the COVID-19 pandemic. The 28 regular papers presented in this volume were carefully reviewed and selected from 88 submissions. They deal with research on theories and methods to support the analysis, integration, synthesis, transformation, and verification of programs and software systems.
    Keywords: Mathematical Logic and Formal Languages ; Theory of Computation ; Natural Language Processing (NLP) ; Database Management ; Programming Techniques ; Formal Languages and Automata Theory ; automata theory ; databases ; formal languages ; formal logic ; computational linguistics ; open access ; semantics ; categorical models and logics ; language theory, automata, and games ; modal, spatial, and temporal logics ; type theory and proof theory ; concurrency theory and process calculi ; rewriting theory ; logical foundations of data bases ; models of software security ; logical aspects of computation complexity ; logics of programming ; Mathematical theory of computation ; Computer science ; Natural language & machine translation ; Database programming ; Computer programming / software engineering ; thema EDItEUR::U Computing and Information Technology::UY Computer science ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::U Computing and Information Technology::UN Databases ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering
    Language: English
    Format: image/png
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 58
    facet.materialart.
    Unknown
    MDPI - Multidisciplinary Digital Publishing Institute
    Publication Date: 2024-04-14
    Description: Although scientific computing is very often associated with numeric computations, the use of computer algebra methods in scientific computing has obtained considerable attention in the last two decades. Computer algebra methods are especially suitable for parametric analysis of the key properties of systems arising in scientific computing. The expression-based computational answers generally provided by these methods are very appealing as they directly relate properties to parameters and speed up testing and tuning of mathematical models through all their possible behaviors. This book contains 8 original research articles dealing with a broad range of topics, ranging from algorithms, data structures, and implementation techniques for high-performance sparse multivariate polynomial arithmetic over the integers and rational numbers over methods for certifying the isolated zeros of polynomial systems to computer algebra problems in quantum computing.
    Keywords: QA75.5-76.95 ; T58.5-58.64 ; superposition ; SU(2) ; pseudo-remainder ; interval methods ; sparse polynomials ; element order ; Henneberg-type minimal surface ; timelike axis ; combinatorial decompositions ; sparse data structures ; mutually unbiased bases ; invariant surfaces ; projective special unitary group ; Minkowski 4-space ; free resolutions ; Dini-type helicoidal hypersurface ; linearity ; integrability ; Galois rings ; minimum point ; entanglement ; degree ; pseudo-division ; computational algebra ; polynomial arithmetic ; projective special linear group ; normal form ; Galois fields ; Gauss map ; implicit equation ; number of elements of the same order ; Weierstrass representation ; Lotka–Volterra system ; isolated zeros ; polynomial modules ; over-determined polynomial system ; simple Kn-group ; sum of squares ; four-dimensional space ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: application/octet-stream
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 59
    facet.materialart.
    Unknown
    Springer Nature | Springer
    Publication Date: 2024-04-14
    Description: This open access book constitutes the proceedings of the 24th International Conference on Fundamental Approaches to Software Engineering, FASE 2021, which took place during March 27–April 1, 2021, and was held as part of the Joint Conferences on Theory and Practice of Software, ETAPS 2021. The conference was planned to take place in Luxembourg but changed to an online format due to the COVID-19 pandemic. The 16 full papers presented in this volume were carefully reviewed and selected from 52 submissions. The book also contains 4 Test-Comp contributions.
    Keywords: Software Engineering/Programming and Operating Systems ; Data Structures and Information Theory ; Natural Language Processing (NLP) ; Programming Techniques ; Theory of Computation ; Software Engineering ; architecture verification and validation ; artificial intelligence ; embedded systems ; empirical software validation ; formal logic ; formal methods ; model checking ; model-driven software engineering ; object-oriented programming ; parallel processing systems ; program analysis ; program compilers ; signal processing ; software architecture ; software performance ; software selection and adaptation ; software testing and debugging ; telecommunication systems ; verification ; Operating systems ; Algorithms & data structures ; Information theory ; Natural language & machine translation ; Computer programming / software engineering ; Computer science ; Mathematical theory of computation ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/png
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 60
    facet.materialart.
    Unknown
    Springer Nature | Apress
    Publication Date: 2024-04-14
    Description: Computer science
    Keywords: Computer science ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 61
    facet.materialart.
    Unknown
    Springer Nature | Springer International Publishing
    Publication Date: 2024-04-05
    Description: This open access book provides the first comprehensive coverage of the wheat genome sequence since the publication of the draft and reference sequences for bread wheat and durum wheat. It presents an overview and all aspects of the gold standard sequence of the bread wheat genome, IWGSC RefSeq v1.0 and its subsequent improvements through 2022 (IWGSC RefSeq v2.1), as well as the sequencing of multiple elite wheat varieties, durum wheat, and ancient wheat. The book provides a broad and extensive review of the resources, tools, and methodologies available for exploiting the wheat genome sequence for crop improvement and studying fundamental questions related to the structure, function, and evolution of the wheat genome. Wheat (Tritcum aestivum L.) is the most widely grown crop in the world, contributing approximately 20 percent of total calories and more protein in human diets than any other single source. This book is useful to students, teachers, and scientists in academia and industry interested in gaining an understanding of the wheat genome and its application as well as plant scientists generally interested in polyploid plant species.
    Keywords: International Wheat Genome Sequencing Consortium ; polyploidy ; wheat genome sequence ; structural genomics ; functional genomics ; wheat evolution ; wheat improvement ; thema EDItEUR::P Mathematics and Science::PS Biology, life sciences::PST Botany and plant sciences ; thema EDItEUR::P Mathematics and Science::PS Biology, life sciences::PSA Life sciences: general issues::PSAK Genetics (non-medical) ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TC Biochemical engineering::TCB Biotechnology ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TV Agriculture and farming::TVB Agricultural science ; thema EDItEUR::U Computing and Information Technology::UY Computer science ; thema EDItEUR::P Mathematics and Science::PS Biology, life sciences ; thema EDItEUR::P Mathematics and Science::PS Biology, life sciences::PSB Biochemistry
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 62
    Publication Date: 2024-04-14
    Description: brain computer interface; artificial intelligence; computer networks; classification databases; HCI machine learning; signal processing; user interfaces
    Keywords: brain computer interface ; artificial intelligence ; computer networks ; classification databases ; HCI machine learning ; signal processing ; user interfaces ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 63
    Publication Date: 2024-04-14
    Description: Computational Science and Engineering; Numerical Analysis;
    Keywords: Computational Science and Engineering ; Numerical Analysis ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 64
    facet.materialart.
    Unknown
    Springer Nature | Apress
    Publication Date: 2024-04-14
    Description: DevOps; continuous delivery; software lifecycle; concurrent parallel testing; service management; ITIL; GRC; PaaS; containerization; API management; lean principles; technical debt; end-to-end automation; automation
    Keywords: DevOps ; continuous delivery ; software lifecycle ; concurrent parallel testing ; service management ; ITIL ; GRC ; PaaS ; containerization ; API management ; lean principles ; technical debt ; end-to-end automation ; automation ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 65
    facet.materialart.
    Unknown
    MDPI - Multidisciplinary Digital Publishing Institute
    Publication Date: 2024-03-30
    Description: In the era of the Internet of Things, images have played important roles in human–computer interactions, and with the arrival of big data technology, people have higher requirements regarding image quality, especially for images collected in dark light. This can be addressed through the development of camera hardware quality, i.e., the resolution and exposure time of cameras, which may require high computational costs. As an alternative, image enhancement techniques can exact salient features to improve the quality of captured images according to the differences in diverse features, although they suffer from some challenges, i.e., a low contrast, artifacts, and overexposure, thus making it decidedly necessary to determine how to use advanced image enhancement techniques. The topic of advances in the image enhancement of electronics is presented in this reprint, which brings together the research accomplishments of researchers from academia and industry. The secondary goal of this reprint is to display the latest research results of advances in image enhancement.
    Keywords: dual networks ; enhanced CNN ; fine learning block ; image super-resolution ; attention mechanism ; convolutional neural networks ; deep learning ; generative adversarial networks ; multiple domains ; translate images ; restart strategy ; adaptive adjustment ; particle swarm optimization ; spline interpolation ; image denoising ; GAN ; optimization algorithm ; autoencoder ; ResNet ; object detection ; YOLOv5s ; image segmentation ; wavelet scattering ; loss function ; active contour ; medical image ; image stitching ; camera calibration ; layered projection ; binocular ranging ; stereo correction ; HOG ; feature fusion ; DHV recognition ; image enhancement ; cross stage partial network ; zero-reference ; Ghost module ; NDT registration ; map building ; RandLa-Net ; random sampling ; semantic segmentation ; capsule network ; power line scene recognition ; complex background ; Visual SLAM ; dynamic scene ; YOLOv5 ; K-means clustering ; probability update ; side-scan sonar ; segmentation ; CNN ; SE-block ; multi-channel ; blockchain technology ; electronic bidding ; system design ; A-star algorithm ; artificial potential field method ; least squares method ; path planning ; night image dehazing ; encoder–decoder architecture ; image fusion ; multi-scale network ; serial architecture ; U-net ; blind watermark removal ; low illumination ; Retinex theory ; histogram equalization ; wavelet transform ; color moments ; non-local mean filter ; thema EDItEUR::K Economics, Finance, Business and Management::KN Industry and industrial studies::KNT Media, entertainment, information and communication industries::KNTX Information technology industries ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 66
    facet.materialart.
    Unknown
    MDPI - Multidisciplinary Digital Publishing Institute
    Publication Date: 2024-03-30
    Description: This Special Issue, "Mathematical and Molecular Topology" welcomed papers from a broad interdisciplinary area, since topology is concerned with the properties of objects that are preserved under continuous deformations, such as stretching, twisting, crumpling and bending. One of the oldest problems in topology is The Seven Bridges of Königsberg. Topology naturally finds application in all fields of engineering, physical sciences, life sciences, social sciences, medicine, business and even arts. The motivating insight behind topology is that some geometric problems depend not on the exact shape of the objects involved, but rather on the way they are put together. Circa 1750, Euler stated the polyhedron formula, V − E + F = 2 (where V, E, and F respectively indicate the number of vertices, edges, and faces of the polyhedron), which may be regarded as the first theorem, signaling the birth of topology. Subjects included in topology are graph theory and algebraic topology.
    Keywords: closure space ; canonically closed ; weakly normal ; almost normal ; π-normal ; weakly π-normal ; κ-normal ; local convergence ; nonlinear equations ; Banach space ; Fréchet-derivative ; Gaussian ; optimization ; geometry ; molecular modeling ; amino acids ; maximum clique ; protein graphs ; machine learning ; ProBiS ; entropies via various molecular descriptors ; H3BO3 layer structure ; subdivision of H3BO3 ; line graph of H3BO3 ; thema EDItEUR::K Economics, Finance, Business and Management::KN Industry and industrial studies::KNT Media, entertainment, information and communication industries::KNTX Information technology industries ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 67
    Publication Date: 2024-04-14
    Description: Computer science
    Keywords: Computer science ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 68
    facet.materialart.
    Unknown
    MDPI - Multidisciplinary Digital Publishing Institute
    Publication Date: 2024-03-30
    Description: This reprint was established after the 9th International Workshop on Numerical and Evolutionary Optimization (NEO), representing a collection of papers on the intersection of the two research areas covered at this workshop: numerical optimization and evolutionary search techniques. While focusing on the design of fast and reliable methods lying across these two paradigms, the resulting techniques are strongly applicable to a broad class of real-world problems, such as pattern recognition, routing, energy, lines of production, prediction, and modeling, among others. This volume is intended to serve as a useful reference for mathematicians, engineers, and computer scientists to explore current issues and solutions emerging from these mathematical and computational methods and their applications.
    Keywords: distributor’s pallet loading problem ; heuristics ; bin packing ; real-life instances ; emergency medical services ; emergency medicine ; decision-support system ; pre-hospital emergency care ; ambulance response time ; machine learning ; geo-indistinguishability ; differential privacy ; privacy-preserving machine learning ; input perturbation ; estimation of distribution algorithm ; Mallows model ; moth-flame algorithm ; job shop scheduling problem ; quay crane scheduling problem ; first-passage time ; Markov chain ; queueing theory ; simulation ; OR in health services ; KPI ; wind energy ; wind turbine blades ; erosion ; modal analysis ; aerodynamic analysis ; AutoML ; feature selection ; fault severity assessment ; gearboxes ; XGBoost classifiers ; autism ; attention ; ASD ; learning activities ; EEG ; BCI ; features ; artificial intelligence ; Grouping Genetic Algorithm ; variable decomposition ; Large-Scale Constrained Optimization ; DVT ; early diagnosis ; machine-learning ; smart system ; embedded system ; edge computing ; edge device ; OpenFOAM ; CFD ; ANFIS ; ANFIS (GA) ; ANFIS (PSO) ; ANFIS (FFA) ; nonlinear programming ; largest small polygons (LSP) ; {LSP(n)} model-class ; optimal area sequence {A(n)} ; revised LSP model ; mathematica model development environment ; IPOPT solver engine ; numerical optimization results and regression model for estimating {A(n)} ; n/a ; thema EDItEUR::K Economics, Finance, Business and Management::KN Industry and industrial studies::KNT Media, entertainment, information and communication industries::KNTX Information technology industries ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 69
    Publication Date: 2024-04-14
    Description: Big data; Computing ethics; Women in computing; Research ethics
    Keywords: Big data ; Computing ethics ; Women in computing ; Research ethics ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 70
    facet.materialart.
    Unknown
    Springer Nature | Apress
    Publication Date: 2024-04-14
    Description: Computer science
    Keywords: Computer science ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 71
    Publication Date: 2024-04-14
    Description: authentication; computer science; computer software selection and evaluation; cryptography; data privacy; formal logic; formal methods; formal specification; internet; privacy; program compilers; programming languages; security analysis; security systems; semantics; separation logic; software engineering; specifications; verification; world wide web
    Keywords: authentication ; computer science ; computer software selection and evaluation ; cryptography ; data privacy ; formal logic ; formal methods ; formal specification ; internet ; privacy ; program compilers ; programming languages ; security analysis ; security systems ; semantics ; separation logic ; software engineering ; specifications ; verification ; world wide web ; thema EDItEUR::U Computing and Information Technology::UY Computer science ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 72
    facet.materialart.
    Unknown
    MDPI - Multidisciplinary Digital Publishing Institute
    Publication Date: 2024-03-30
    Description: Advanced intelligent control is a rapidly developing, complex and challenging field with significant practical importance and potential applications. The authors aim to stimulate advancements in science and technology by addressing this field and presenting new trends in the design, control and applications of real-time intelligent sensor system control using advanced intelligent control methods and techniques. The purpose of the Special Issue is to promote in-depth research and communication regarding these topics. The authors focus on innovative multi-sensor fusion techniques integrated into robots, which are combined with computer vision, virtual and augmented reality (VR&AR) and intelligent communication including remote control, adaptive sensor networks and human–robot (H2R) interaction systems. Special attention is given to advancements in sensors, actuators, computation technology and communication networks that provide the necessary tools for implementing intelligent control hardware. These advancements are targeted toward various scientific research fields, including machine learning (such as deep learning), bio-inspired algorithms, recurrent neural networks, neuro-fuzzy control and artificial intelligence in general. The Special Issue includes original research papers that report on the recent advancements in intelligent control using intelligent sensors. It serves as a further extension of the previously successful Special Issue, “Advanced Intelligent Control through Versatile Intelligent Portable Platforms”.
    Keywords: nonlinear intelligent control ; support vector regression ; feedforward control ; human arm viscoelastic ; resource-aware control ; co-regulation ; feedback scheduling ; time-varying system ; neural adaptive control ; fault-tolerant control ; integrated attitude and position control ; spacecraft proximity operations ; indirect neural approximation ; Lyapunov analysis ; real-time trajectory prediction ; mechanically thrown objects ; internal logistics ; smart manufacturing systems ; multi-camera simulation ; many-to-many time series forecasting ; encoder-decoder bidirectional LSTM deep neural networks ; arbitrary order sliding mode ; networked system ; finite-time systems ; nonlinear system ; hybrid position/force control ; sliding mode control ; decision method ; neutrosophic logic ; extension set ; mobile robot ; advanced intelligent control ; wheeled–legged ; trajectory tracking ; model predictive control ; smart vehicle ; probabilistic roadmap algorithm ; pseudo-random sampling ; collision detection ; path smoothing ; monocular vision ; human joint angle measurement ; visual detection method ; hand disability ; mobile manipulator ; motion planning ; simultaneous control ; path analysis ; ROS ; rehabilitation robot ; human–robot interaction ; admittance control ; robust control ; active strength training ; sEMG ; lower limb rehabilitation robot ; compliance control ; training mode ; MOTOmed ; continuous passive motion ; straight leg raise ; feature analysis ; wire + arc additive manufacturing ; surface roughness ; deep neural network ; arc welding ; quadruped robot ; change of running direction ; dynamic model ; stability index system ; simulation analysis ; self-collision detection ; dual-manipulator system ; artificial intelligence ; GJK algorithm ; robotics control ; local path planner ; task redundancy ; collision avoidance strategy ; drone ; UAV ; multi-agent ; ArUco ; markers ; group of drones ; machine vision ; computer vision ; sensors ; machine learning ; industry ; manufacturing ; robotics ; sensor systems ; remote control and communication ; simulation ; mobile health ; stroke monitoring ; iomt-stacked convolutional neural networks ; GMDH neural networks ; Deep LSTM ; biomedical EMG signal processing ; rapidly-exploring random tree (RRT) ; path planning ; robot manipulator ; object pick-and-place ; collision-free ; robot operating system (ROS) ; n/a ; thema EDItEUR::K Economics, Finance, Business and Management::KN Industry and industrial studies::KNT Media, entertainment, information and communication industries::KNTX Information technology industries ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 73
    facet.materialart.
    Unknown
    MDPI - Multidisciplinary Digital Publishing Institute
    Publication Date: 2024-03-30
    Description: In this Special Issue we gathered ten exemplary papers, each delineating advancements within the spheres of machine learning and deep neural networks. Commencing with a thorough exploration by Figueira and Vaz, readers are introduced to the nuances of synthetic data generation and evaluation, followed closely by Silva and Pedroso's systematic approach to leveraging deep reinforcement learning within the intricate realm of delivery logistics. Kamran et al. contribute an astute methodology for camouflage object segmentation, whereas Pinheiro and collaborators offer a crafted semi-supervised strategy for predicting EGFR mutations via CT images. Subsequent contributions, such as Lee and Yoo's framework for portrait emotion recognition and Balakrishnan et al.'s analytical exploration of transformer models for Twitter disaster detection, further exemplify the depth of research contained herein. Later chapters cover a broad spectrum of themes: Li, Branco, and Zhang investigate house price prediction; Aziz and his team delve into the geo-spatial analysis of hate speech; Nazari, Branco, and Jourdan introduce innovations in GAN training methodologies; and Xie and Lin present CNN models meticulously tailored for ectopic beat classification. In its entirety, this Special Issue represents progressive strides in machine learning and deep neural networks made by distinguished scholars. It offers readers an insightful overview of both the current state-of-the-art methodologies and the burgeoning innovations within this exciting field.
    Keywords: generative adversarial networks ; data augmentation ; object identification and scene classification ; medical imaging ; detecting fake news on social media ; facial expression recognition ; automatic feature selection ; text and narrative representation ; image and video reconstruction ; prediction analysis ; thema EDItEUR::K Economics, Finance, Business and Management::KN Industry and industrial studies::KNT Media, entertainment, information and communication industries::KNTX Information technology industries ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: application/octet-stream
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 74
    facet.materialart.
    Unknown
    Springer Nature | Apress
    Publication Date: 2024-04-14
    Description: Computer science
    Keywords: Computer science ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 75
    facet.materialart.
    Unknown
    Springer Nature | Springer Nature Switzerland
    Publication Date: 2024-04-14
    Description: This open access book constitutes the proceedings of the 29th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2023, which was held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, during April 22-27, 2023, in Paris, France. The 56 full papers and 6 short tool demonstration papers presented in this volume were carefully reviewed and selected from 169 submissions. The proceedings also contain 1 invited talk in full paper length, 13 tool papers of the affiliated competition SV-Comp and 1 paper consisting of the competition report. TACAS is a forum for researchers, developers, and users interested in rigorously based tools and algorithms for the construction and analysis of systems. The conference aims to bridge the gaps between different communities with this common interest and to support them in their quest to improve the utility, reliability, flexibility, and efficiency of tools and algorithms for building computer-controlled systems.
    Keywords: Computer Science ; Informatics ; Conference Proceedings ; Research ; Applications ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 76
    facet.materialart.
    Unknown
    MDPI - Multidisciplinary Digital Publishing Institute
    Publication Date: 2024-04-14
    Description: [This issue of Proceedings gathers papers presented at XOVETIC2018 (A Coruña, Spain, 27–28 September 2018), a conference with the main goal of bringing together young researchers working in big data, artificial intelligence, Internet of Things, HPC (high-performance computing), cybersecurity, bioinformatics, natural language processing, 5G, and others areas from the field of ICT(Information Communications Technology), and offering a platform to present the results of their research to a national audience in the north of Spain. This first edition aims to serve as the basis of this event, which will be consolidated over time and acquire international projection. The conference is co-funded by Xunta de Galicia and European Union. European Regional Development Fund (ERDF).]
    Keywords: QA75.5-76.95 ; TK7885-7895 ; QA1-939 ; QC1-999 ; 10.3390/books978-3-03897-301-0 ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 77
    facet.materialart.
    Unknown
    Springer Nature
    Publication Date: 2024-03-29
    Description: Information Systems and Communication Service; Education, general
    Keywords: Information Systems and Communication Service ; Education, general ; bic Book Industry Communication::J Society & social sciences::JN Education ; bic Book Industry Communication::K Economics, finance, business & management::KN Industry & industrial studies::KNT Media, information & communication industries::KNTX Information technology industries ; bic Book Industry Communication::U Computing & information technology::UY Computer science ; thema EDItEUR::J Society and Social Sciences::JN Education ; thema EDItEUR::K Economics, Finance, Business and Management::KN Industry and industrial studies::KNT Media, entertainment, information and communication industries::KNTX Information technology industries ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 78
    facet.materialart.
    Unknown
    MDPI - Multidisciplinary Digital Publishing Institute
    Publication Date: 2024-03-30
    Description: This Special Issue contains eleven accepted and published submissions to a Special Issue of the MDPI journal Axioms on the subject of “Nonlinear Dynamical Systems with Applications”. In this volume, the invited authors have submitted their latest results on nonlinear dynamical systems and related applications. All papers have been accepted after a rigorous review process.
    Keywords: competition-diffusion-advection ; principal eigenvalue ; dynamic behaviors ; global asymptotic stability ; degenerated (p,q)-Laplacian ; competing (p,q)-Laplacian ; weighted Sobolev space ; convection ; finite dimensional approximation ; weak solution ; generalized solution ; Gerdjikov-Ivanov equation ; time–space scales ; Darboux transformation ; N-soliton solution ; delay ; diffusion ; hopf bifurcation ; nutrient-phytoplankton model ; (p,2) and (p,q)-Laplacians ; nonlinear regularity ; positive solutions ; strong comparison principle ; sublinear reaction ; bifurcation-type results ; fractional-order system ; quasi-linear system ; impulse ; integro-differential equation ; stability ; multiple delays ; differential set-valued inverse variational inequality ; Carathéodory weak solution ; switched system ; unstable subsystem ; asymptotic stability ; state-dependent switching rule ; α-admissible ; ϝ-contraction ; fixed point ; α*-admissible ; α-ϝ-convex contraction ; integral equation ; Levinson’s inequality ; Jensen’s functional ; time scale calculus ; harmonic p-valent functions ; the q-Mittag–Leffler function ; (p,q)-convex functions ; extreme points ; Hadamard product ; closed convex hulls ; q-Bernardi integral operator ; n/a ; thema EDItEUR::K Economics, Finance, Business and Management::KN Industry and industrial studies::KNT Media, entertainment, information and communication industries::KNTX Information technology industries ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 79
    facet.materialart.
    Unknown
    Springer Nature | Apress
    Publication Date: 2024-04-14
    Description: Computer science
    Keywords: Computer science ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 80
    Publication Date: 2024-04-14
    Description: cyber security; IT management; computer science; computer engineering; digital vulnerability
    Keywords: cyber security ; IT management ; computer science ; computer engineering ; digital vulnerability ; thema EDItEUR::U Computing and Information Technology::UY Computer science ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 81
    facet.materialart.
    Unknown
    Springer Nature | Springer International Publishing
    Publication Date: 2024-04-14
    Description: This open access book constitutes the proceedings of the 25th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2022, which was held during April 4-6, 2022, in Munich, Germany, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022. The 23 regular papers presented in this volume were carefully reviewed and selected from 77 submissions. They deal with research on theories and methods to support the analysis, integration, synthesis, transformation, and verification of programs and software systems.
    Keywords: Categorical models and logics ; language theory, automata, and games ; modal, spatial, and temporal logics ; type theory and proof theory ; concurrency theory and process calculi ; rewriting theory ; semantics of programming languages ; program analysis ; logics of programming ; software specification and refinement ; models of concurrent systems ; emerging models of computation ; logical aspects of computational complexity ; correctness, transformation, and verification ; models of software security ; thema EDItEUR::U Computing and Information Technology::UY Computer science ; thema EDItEUR::P Mathematics and Science::PB Mathematics::PBC Mathematical foundations ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMB Algorithms and data structures ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYD Systems analysis and design ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 82
    facet.materialart.
    Unknown
    Springer Nature | Springer International Publishing
    Publication Date: 2024-04-14
    Description: This open access book constitutes the proceedings of the 25th International Conference on Fundamental Approaches to Software Engineering, FASE 2022, which was held during April 4-5, 2022, in Munich, Germany, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022. The 17 regular papers presented in this volume were carefully reviewed and selected from 64 submissions. The proceedings also contain 3 contributions from the Test-Comp Competition. The papers deal with the foundations on which software engineering is built, including topics like software engineering as an engineering discipline, requirements engineering, software architectures, software quality, model-driven development, software processes, software evolution, AI-based software engineering, and the specification, design, and implementation of particular classes of systems, such as (self-)adaptive, collaborative, AI, embedded, distributed, mobile, pervasive, cyber-physical, or service-oriented applications.
    Keywords: architecture verification and validation ; distributed computer systems ; embedded systems ; empirical software validation ; formal methods ; model checking ; model-driven software engineering ; object-oriented programming ; program analysis, ; software performance ; software quality ; software testing and debugging ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering ; thema EDItEUR::U Computing and Information Technology::UY Computer science ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMB Algorithms and data structures ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYD Systems analysis and design ; thema EDItEUR::U Computing and Information Technology ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence::UYQL Natural language and machine translation
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 83
    facet.materialart.
    Unknown
    MDPI - Multidisciplinary Digital Publishing Institute
    Publication Date: 2024-03-30
    Description: This reprint of a Special Issue in the journal Algorithms is dedicated to scheduling algorithms and their various applications. In addition to the Editorial, it contains 12 papers including a survey of assembly and production line design and scheduling under uncertainty. Other topics addressed in this reprint are the energy management of power systems, cost scheduling for financial data supply chains, staff scheduling in the construction industry, various assignment problems, single-lane roundabouts, robotic arm-based batching systems with conveyor belts, as well as single-machine and flow-shop scheduling problems.
    Keywords: batteries ; photovoltaic cell ; fuel cell ; super capacitor ; state-of-charge ; energy management ; permutation flow shop ; simheuristic ; multicriteria ; PAES ; GRASP ; AHP ; financial data ; supply chain management ; data batching ; scheduling ; batching cost ; parallel processing ; optimization ; multi-processing commitment ; hybrid mixed-flow workshop ; hybrid particle swarm algorithm ; algorithm parallelization ; computational efficiency ; construction industry ; irregular employees ; staff scheduling ; mathematical model ; business level strategies ; decision-making ; organizational effectiveness ; UPC ; distributed computing platform ; uniform job ; static assignment ; linear equations ; assignment problem ; traveling salesman problem ; vehicle routing problem ; flow shop scheduling problem ; GAMS, genetic algorithm ; constraint programming ; heuristics ; local search ; survey ; assembly line ; optimal line balance ; uncertainty ; stability analysis ; suburban roundabout design ; swept path analysis ; geometric parameters ; performance estimation ; capacity assessment ; robotic arm-based batching systems ; scheduling robotic arms ; robotic task-sequencing problem ; real-time decision making ; give-away minimization ; SHOA ; hybrid algorithm ; metaheuristics ; spotted hyena optimizer ; genetic algorithm ; uniform crossover ; OR library ; n/a ; thema EDItEUR::K Economics, Finance, Business and Management::KN Industry and industrial studies::KNT Media, entertainment, information and communication industries::KNTX Information technology industries ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 84
    facet.materialart.
    Unknown
    MDPI - Multidisciplinary Digital Publishing Institute
    Publication Date: 2024-03-30
    Description: The topic of the reprint is very important nowadays, because ever-evolving machine learning techniques make it possible to obtain better real-world data. Therefore, this reprint contains information related to real data in fields such as automatic sign language translation, bike-sharing travel characteristics, stock index, sports data, fake news data, and more. However, it should be noted that the reprint also contains a lot of information on new developments in machine learning, new algorithms, algorithm modifications, and a new measure of classification quality assessment that also takes into account the preferences of the decision maker.
    Keywords: machine learning ; optical networks ; imbalanced data ; one-class classification ; entropy measure ; real-world data ; preprocessing ; decision table ; classification ; query set ; decision tree ; differential cryptanalysis ; metaheuristics ; symmetric block ciphers ; memetic algorithms ; DES ; simulated annealing ; COVID-19 ; vaccination ; agent-based modelling ; dynamic stochastic general equilibrium models ; scenario analyses ; validation of results ; stock index forecasting ; CEEMDAN ; ADF ; ARMA ; LSTM ; hybrid model ; classification measure ; quality of classification ; quality measure ; preference-driven classification ; fast iterative filtering ; parameter adaptive refined composite multiscale fluctuation-based dispersion entropy ; rotating machinery ; fault diagnosis ; short-term demand prediction ; bike-sharing ; travel characteristics analysis ; hybrid TCN-GRU model ; distributed data ; decision tables ; information systems ; decision trees ; decision rules ; tests ; reducts ; association rules ; Pawlak conflict analysis model ; independent data sources ; coalitions ; dispersed data ; length ; support ; greedy heuristics ; feature selection ; rough sets ; action units ; automatic translation ; sign language ; entropy of real data ; thema EDItEUR::K Economics, Finance, Business and Management::KN Industry and industrial studies::KNT Media, entertainment, information and communication industries::KNTX Information technology industries ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 85
    facet.materialart.
    Unknown
    MDPI - Multidisciplinary Digital Publishing Institute
    Publication Date: 2024-03-30
    Description: This reprint focuses on applications of machine learning models in a diverse range of fields and problems. It reports substantive results on a wide range of learning methods; discusses the conceptualization of problems, data representation, feature engineering, machine learning models; undertakes critical comparisons with existing techniques; and presents an interpretation of the results. The topics within the chapters of the publication fall into six categories: computer vision, teaching and learning, social media, forecasting, basic problems of machine learning, and other topics.
    Keywords: robust matrix factorization ; student grade prediction ; educational data mining ; side information graph ; personal teaching and learning ; deep multi-target prediction ; Felder–Silverman learning style ; adaptive e-learning systems ; artificial neural network ; deep learning ; transfer learning ; student performance prediction ; Machine learning analysis ; sentence modeling ; topic analysis ; cross referencing topic ; machine learning ; classification ; preprocessing ; instance selection ; data mining ; predictive analytics ; sales ; performance measurement ; human resources ; rumor refuter ; nature language processing ; XGBoost ; feature analysis ; Bitcoin ; higher order neural network ; volatility forecasting ; hybrid models ; warehouse optimization ; genetic algorithms ; crossover ; construction productivity ; construction safety ; synthetic data ; tracking ; academic performance ; course grades ; grade point average ; prediction ; undergraduate ; cloud detection ; superpixel segmentation ; convolutional neural networks ; support vector machines ; machine learning algorithms ; multiple linear regression ; SVM ; management ; social network services ; image representation ; local features ; autoencoder ; convolutional neural network ; user generated content ; sentiment analysis ; keyword extraction ; text representation ; sampling ; TripAdvisor ; adaptive camouflage ; convolutional neural network (CNN) ; k-means ; object detection ; image completion ; saliency detection ; social media ; micro-blogs (Twitter) ; towards recommending influencers based on topic classification ; investigation framework ; comparison of various techniques for topic classification ; cost-benefit function ; partial differential equations ; physics-informed neural network ; wave equation ; KdV-Burgers equation ; KdV equation ; neural network ; cyclical learning rate ; remote sensing ; scene classification ; backscatter data ; lidar ceilometer ; weather detection ; online taxi-hailing demand ; backpropagation neural network ; extreme gradient boosting ; real-time prediction ; climate zone ; climate change impact ; Jhelum River Basin ; Chenab River Basin ; support vector machine ; decision tree ; large-scale dataset ; relative support distance ; support vector candidates ; answer set programming ; non-deterministic automata induction ; grammatical inference ; geopolymer concrete ; deep neural network ; ResNet ; compressive strength ; fly ash ; sleep apnea ; airflow signal ; Gaussian Mixture Models (GMM) ; cyber security ; vulnerability detection ; word embedding ; drifter trajectory ; evolutionary computation ; NCLS ; stock performance ; earning rate ; volatility ; heatwaves ; big data ; random forest regression model ; semi-regression ; early prognosis ; interpretation ; COREG algorithm ; cascaded classifier ; computer vision ; construction site management ; consumer classification ; over-the-top ; time-aware classification ; code auto-completion ; GPT-2 model ; advanced design methods ; mass operator ; structural stress ; live prediction ; vibration test ; genetic programming ; parsing expression grammar ; BiLSTM ; BERT ; NLP ; context-aware ; LDA ; LSTM ; crowdfunding ; project recommendation system ; optimization ; weather nowcasting ; deep neural networks ; autoencoders ; Principal Component Analysis ; learning classifier systems ; anticipatory classifier systems ; reinforcement learning ; OpenAI gym ; healthcare ; COVID ; time-series predictions ; ARIMA ; Prophet ; GRNN ; n/a ; thema EDItEUR::K Economics, Finance, Business and Management::KN Industry and industrial studies::KNT Media, entertainment, information and communication industries::KNTX Information technology industries ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 86
    facet.materialart.
    Unknown
    Springer Nature | Springer Nature Switzerland
    Publication Date: 2024-04-14
    Description: This open access book constitutes the proceedings of the 26th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2023, which was held during April 22-27, 2023, in Paris, France, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023. The 26 regular papers presented in this volume were carefully reviewed and selected from 85 submissions. They deal with research on theories and methods to support the analysis, integration, synthesis, transformation, and verification of programs and software systems.
    Keywords: Computer Science ; Informatics ; Conference Proceedings ; Research ; Applications ; thema EDItEUR::U Computing and Information Technology::UY Computer science ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 87
    Publication Date: 2024-04-04
    Description: Computational Science and Engineering; software Engineering; Programming Techniques
    Keywords: Computational Science and Engineering ; software Engineering ; Programming Techniques ; thema EDItEUR::P Mathematics and Science ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 88
    facet.materialart.
    Unknown
    MDPI - Multidisciplinary Digital Publishing Institute
    Publication Date: 2024-03-30
    Description: This reprint highlights the importance of Deep Learning (DL), which has garnered significant attention in science, industry, and academia. It draws inspiration from the functioning of the human brain and the concept of learning. Unlike traditional and machine learning methods, deep learning techniques emulate the human brain's neural networks at a lower scale, allowing them to process and analyze substantial quantities of unstructured data. The remarkable proficiency of deep learning in unveiling intricate structures within extensive datasets genuinely resembles the extraordinary aptitude of the brain to recognize patterns and form complex connections. This unique characteristic allows DL to excel in modeling and solving complex problems across various scientific and technological fields. Just as the brain learns from experience, DL architectures learn through algorithms from data by adjusting numerous parameters during training to optimize their performance and accuracy. This concept of learning and adaptation is fundamental to DL's success. This reprint serves as an excellent opportunity to disseminate current knowledge beyond academic boundaries, reaching a diverse audience encompassing academics, professionals, and the general public. This wide readership fosters the potential for meaningful connections to established projects and the cultivation of collaboration for future research endeavors.
    Keywords: PSO ; sign language recognition ; optimization of convolutional neural networks ; breast segmentation ; mammogram ; deep learning ; semantic segmentation ; radar image prediction ; rain radar ; precipitation nowcasting ; UNet ; PredRNN_v2 ; cubical complex ; cubical homology ; image classification ; persistent homology ; labor exports ; Northeast Asian Countries ; backpropagation neural network (BPNN) ; k-Nearest Neighbor (kNN) ; random forest regression (RFR) ; decision making ; emotion distribution learning ; text-based emotion analysis ; affective words ; multi-task CNN ; ghettos ; GIS ; networks ; Washington D.C. ; machine learning ; segregation ; hybrid deep learning ; time series ; LSTM ; Stacked LSTM ; CNN-LSTMs ; BDLSTM ; CNN ; GRU ; modeling ; SARS-CoV-2 ; generative adversarial network ; image generation ; image synthesis ; GAN ; generative model ; Inception score ; scoreGAN ; waste classification ; angle detection box ; dynamic smoothing ; YOLOv5 ; computer vision ; object detection ; traffic sign detection ; you only look once (YOLO) ; attention mechanism ; feature fusion ; barrier options ; Black–Scholes model ; polynomial regression ; random forest regression ; artificial neural network ; option Greeks ; data analysis ; ski goggles lenses ; surface defect ; automatic optical inspection ; Faster-RCNN ; fine-tune ; MobileNetV3 ; FPN ; RPN ; DNS ; firewall ; malicious ; domain ; name ; n/a ; thema EDItEUR::K Economics, Finance, Business and Management::KN Industry and industrial studies::KNT Media, entertainment, information and communication industries::KNTX Information technology industries ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 89
    facet.materialart.
    Unknown
    Springer Nature | Apress
    Publication Date: 2024-04-14
    Description: Computer science
    Keywords: Computer science ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 90
    facet.materialart.
    Unknown
    MDPI - Multidisciplinary Digital Publishing Institute
    Publication Date: 2024-04-14
    Description: Accurate forecasting performance in the energy sector is a primary factor in the modern restructured power market, accomplished by any novel advanced hybrid techniques. Particularly in the Big Data era, forecasting models are always based on a complex function combination, and energy data are always complicated by factors such as seasonality, cyclicity, fluctuation, dynamic nonlinearity, and so on. To comprehensively address this issue, it is insufficient to concentrate only on simply hybridizing evolutionary algorithms with each other, or on hybridizing evolutionary algorithms with chaotic mapping, quantum computing, recurrent and seasonal mechanisms, and fuzzy inference theory in order to determine suitable parameters for an existing model. It is necessary to also consider hybridizing or combining two or more existing models (e.g., neuro-fuzzy model, BPNN-fuzzy model, seasonal support vector regression–chaotic quantum particle swarm optimization (SSVR-CQPSO), etc.). These advanced novel hybrid techniques can provide more satisfactory energy forecasting performances. This book aimed to attract researchers with an interest in the research areas described above. Specifically, we were interested in contributions towards recent developments, i.e., hybridizing or combining any advanced techniques in energy forecasting, with the superior capabilities over the traditional forecasting approaches, with the ability to overcome some embedded drawbacks, and with the very superiority to achieve significant improved forecasting accuracy.
    Keywords: QA75.5-76.95 ; TA1-2040 ; hybrid models ; autoregressive moving average with exogenous variable (ARMAX) ; energy forecasting ; fuzzy group ; quantile forecasting ; evolutionary algorithms ; quantum computing mechanism ; cluster validity ; support vector regression / support vector machines ; artificial neural networks ; principal component analysis ; bayesian inference ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 91
    facet.materialart.
    Unknown
    MDPI - Multidisciplinary Digital Publishing Institute
    Publication Date: 2024-04-14
    Description: A comprehensive overview of sensors technology is provided in specific leading areas. Researchers, engineers and professionals on industries can find advanced technologies, devices, insights and solutions for a broad range of applications, including: • Piezoelectric power transducers • Multisensory for veins detection for robotic-based catheters insertion • Robot-sensor network cooperation for SLAM • Wind speed influences on RGB-D images in trees • Spectrophotometer for physiopathy detection in chickens • Radon gas and ionization detection • Vibrations measurements in robots • Architectures for multisensor intelligent robots • Ultrasound for tissue characterization • Active imaging model • Image-based for crack detection in tunnels • Wireless sensor nodes for energy harvesting, industrial monitoring, concrete cure • Vibroacoustic Impact on the Architectonic Heritage • Sensors motion capture in wearables • Torsional wave sensor • Model-based non-rigid tracking • Stair-Climbing Mobility • IoT-based people monitoring • Laser Speckle System • Odometric in an autonomous electric cart • New control paradigms • Concentric electrodes for ECG and intestinal exploration • Trusted virtual sensors • Thermo-Hygrometric measurements in archaeology • Intensive care unit • Multi-beam Lidar 3D scan • Hyperspectral Imaging in brain tumor • Crowdsensing in smart cities • Strain method to detect tires’ loss • Optical force sensor • Portable sensor for substance concentration measurements • High-Frequency content in Human QRS complexes • Fusion of proximity sensors data • Electro-magnetic acoustic system • Computer vision on aerial robots for surface inspection • Dual-reflectarray antennas
    Keywords: QA75.5-76.95 ; TK1-9971 ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: application/octet-stream
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 92
    facet.materialart.
    Unknown
    MDPI - Multidisciplinary Digital Publishing Institute
    Publication Date: 2024-03-30
    Description: The reprint offers a selection of high-quality research articles that tackle the major difficulties in computer vision and machine learning for intelligent sensing systems from both theoretical and practical standpoints. This publication includes intelligent sensing techniques, twelve foundational investigations into sense-making methods, and discusses particular uses of intelligent sensing systems in autonomous driving and virtual reality.
    Keywords: mobile edge computaing ; simultaneous wireless information and power transfer ; energy minimization ; 5G ; wireless sensing network ; IoT ; fiber bragg grating ; optical fiber sensor ; distributed temperature sensor ; deep learning algorithms ; fully connected neural network ; convolutional neural network ; MADS dataset ; human segmentation ; human tracking ; convolutional neural networks ; targeted advertising ; emotion-based recommendation ; augmented reality ; computer vision ; deep learning ; clustering ; similarity measure ; geodesic measure ; Euclidean measure ; depth fusion ; TSDF ; sensor noises ; gaze estimation based on feature ; eye landmark detection ; self-attention ; synthetic eye images ; heuristic attention ; perceptual grouping ; self-supervised learning ; visual representation learning ; intelligent sensors ; robotics ; event-based camera ; contrast maximization ; optical flow ; motion estimation ; human action recognition ; graph neural network ; attention module ; big five personality traits ; cultural algorithm ; hyper-parameter optimization ; personality perception ; online self-calibration ; voxel information ; n/a ; thema EDItEUR::K Economics, Finance, Business and Management::KN Industry and industrial studies::KNT Media, entertainment, information and communication industries::KNTX Information technology industries ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 93
    Publication Date: 2024-04-14
    Description: artificial intelligence; computer software; selection and evaluation; formal logic; graph theory; modal logic; petri nets; program compilers; programming language; semantics; separation logic; software engineering; theorem proving; type systems; verification
    Keywords: artificial intelligence ; computer software ; selection and evaluation ; formal logic ; graph theory ; modal logic ; petri nets ; program compilers ; programming language ; semantics ; separation logic ; software engineering ; theorem proving ; type systems ; verification ; thema EDItEUR::U Computing and Information Technology::UY Computer science ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 94
    facet.materialart.
    Unknown
    Springer Nature
    Publication Date: 2024-04-14
    Description: This book is Open Access under a CC BY licence. This book constitutes the proceedings of the 22nd International Conference on Fundamental Approaches to Software Engineering, FASE 2019, which took place in Prague, Czech Republic in April 2019, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019. The 24 papers presented in this volume were carefully reviewed and selected from 94 submissions. The papers are organized in topical sections named: software verification; model-driven development and model transformation; software evolution and requirements engineering; specification, design, and implementation of particular classes of systems; and software testing.
    Keywords: Computer science ; Software engineering ; Programming languages (Electronic computers) ; Computer system failures ; Computers ; Computers ; Computer simulation ; thema EDItEUR::U Computing and Information Technology::UB Information technology: general topics ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMX Programming and scripting languages: general ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering ; thema EDItEUR::U Computing and Information Technology::UY Computer science ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYD Systems analysis and design ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYM Computer modelling and simulation ; thema EDItEUR::U Computing and Information Technology::UB Information technology: general topics ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMX Programming and scripting languages: general ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering ; thema EDItEUR::U Computing and Information Technology::UY Computer science ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYD Systems analysis and design ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYM Computer modelling and simulation
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 95
    facet.materialart.
    Unknown
    Springer Nature | Springer International Publishing
    Publication Date: 2024-04-04
    Description: This is open access book provides plenty of pleasant mathematical surprises. There are many fascinating results that do not appear in textbooks although they are accessible with a good knowledge of secondary-school mathematics. This book presents a selection of these topics including the mathematical formalization of origami, construction with straightedge and compass (and other instruments), the five- and six-color theorems, a taste of Ramsey theory and little-known theorems proved by induction. Among the most surprising theorems are the Mohr-Mascheroni theorem that a compass alone can perform all the classical constructions with straightedge and compass, and Steiner's theorem that a straightedge alone is sufficient provided that a single circle is given. The highlight of the book is a detailed presentation of Gauss's purely algebraic proof that a regular heptadecagon (a regular polygon with seventeen sides) can be constructed with straightedge and compass. Although the mathematics used in the book is elementary (Euclidean and analytic geometry, algebra, trigonometry), students in secondary schools and colleges, teachers, and other interested readers will relish the opportunity to confront the challenge of understanding these surprising theorems.
    Keywords: open access high school mathematics book ; origami book ; elementary mathematics book ; mathematics circle book ; Moti Ben-Ari mathematical surprises ; what is mathematics book ; mathematics independent study ; mathematics problems book ; thema EDItEUR::P Mathematics and Science::PB Mathematics ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 96
    facet.materialart.
    Unknown
    MDPI - Multidisciplinary Digital Publishing Institute
    Publication Date: 2024-03-30
    Description: The purpose of this Special Issue is to pay tribute to the significant contributions made by Professor Feng Qi in these fields and to provide some important recent advances in theory, methods, and applications.
    Keywords: Neuman–Sándor mean ; arithmetic mean ; contra-harmonic mean ; bound ; inequality ; hyperbolic sine function ; hyperbolic cosine function ; majorization ; log-concave sequence ; symmetric function ; symmetric mean ; recurrence relations ; grammars ; real zeros ; Bell triangular array ; Seiffert mean ; sinc function ; sinhc function ; inverse hyperbolic function ; trigonometric function ; necessary and sufficient condition ; overview ; survey ; series expansion ; partial Bell polynomial ; convex function ; special function ; mathematical mean ; Bernoulli number ; matrix ; completely monotonic degree ; logarithmically completely monotonic function ; gamma function ; polygamma function ; Bell number ; Wallis ratio ; additivity ; complete elliptic integral ; Pólya inequality ; statistics ; Hermite–Hadamard type integral inequality ; (α, s)-geometric-arithmetically convex function ; (α, s, m)-geometric-arithmetically convex function ; Schur-convex function ; Hadamard’s inequality ; convex functions of two variables ; mean ; positive operator ; joint A-numerical radius ; Euclidean operator A-seminorm ; joint operator A-seminorm ; Hamilton-Jacobi-Bellman equation ; stochastic optimal control ; dynamic programming principle ; dual transformation ; dynamic Hardy’s type inequality ; Muckenhoupt weights ; self-improving properties ; time scales ; Fourier transform ; linear canonical transform ; complex function ; Hermite–Hardamard inequality ; integral inequalities ; special means ; n/a ; thema EDItEUR::K Economics, Finance, Business and Management::KN Industry and industrial studies::KNT Media, entertainment, information and communication industries::KNTX Information technology industries ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: application/octet-stream
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 97
    facet.materialart.
    Unknown
    Springer Nature | Apress
    Publication Date: 2024-04-14
    Description: Computer science
    Keywords: Computer science ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 98
    facet.materialart.
    Unknown
    Springer Nature | Apress
    Publication Date: 2024-04-14
    Description: Computer science
    Keywords: Computer science ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 99
    facet.materialart.
    Unknown
    Springer Nature
    Publication Date: 2024-04-14
    Description: This open access two-volume set LNCS 11561 and 11562 constitutes the refereed proceedings of the 31st International Conference on Computer Aided Verification, CAV 2019, held in New York City, USA, in July 2019. The 52 full papers presented together with 13 tool papers and 2 case studies, were carefully reviewed and selected from 258 submissions. The papers were organized in the following topical sections: Part I: automata and timed systems; security and hyperproperties; synthesis; model checking; cyber-physical systems and machine learning; probabilistic systems, runtime techniques; dynamical, hybrid, and reactive systems; Part II: logics, decision procedures; and solvers; numerical programs; verification; distributed systems and networks; verification and invariants; and concurrency.
    Keywords: Computer science ; Software engineering ; Programming languages (Electronic computers) ; Computers ; Artificial intelligence ; Computer simulation ; Computer organization ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMX Programming and scripting languages: general ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering ; thema EDItEUR::U Computing and Information Technology::UT Computer networking and communications ; thema EDItEUR::U Computing and Information Technology::UY Computer science ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYM Computer modelling and simulation ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 100
    facet.materialart.
    Unknown
    MDPI - Multidisciplinary Digital Publishing Institute
    Publication Date: 2024-03-30
    Description: Computer Vision (CV) have seen a massive rise in popularity in the remote sensing field over the last few years. This success is mostly due to the effectiveness of deep learning (DL) algorithms. However, remote sensing data acquisition and annotation, as well as information extraction from massive remote sensing data, are still challenging. This reprint collected novel developments in the field of deep learning and computer vision methods for remote sensing. Papers dealing with fundamental theoretical analyses, as well as those demonstrating their application to real-world problems, have been published. With practical examples and real-world case studies, this reprint provides a valuable resource for researchers, professionals, and students seeking to harness the power of deep learning in the field of remote sensing. Here are some major topics that are addressed in this reprint: Satellite image processing and analysis based on deep learning; Deep learning for object detection, image classification, and semantic and instance segmentation; Deep learning for remote sensing scene understanding and classification; Transfer learning, deep reinforcement learning for remote sensing; Supervised and unsupervised representation learning for remote sensing environments.
    Keywords: pose estimation ; landmark regression ; space target ; 1D landmark representation ; deep learning ; convolutional neural network (CNN) ; deep supervision ; lightweight model ; remote sensing ; semantic segmentation ; convolutional neural networks (CNNs) ; remote sensing images ; object detection ; knowledge inference module ; convolutional neural networks ; tree ensemble methods ; multi-label classification ; complex-valued U-Net ; complex-valued capsule network ; polarimetric synthetic aperture radar ; unmanned aerial vehicle (UAV) ; grassland grazing livestock ; remote sensing image ; artificial intelligence ; building extraction ; multi-scale object detection ; multi-feature fusion and attention network ; multi-branch convolution ; attention mechanism ; loss function ; remote-sensing image ; neural architecture search ; sparse regularization ; HRNet ; Earth observation ; land use and land cover classification ; transfer learning ; dynamic resolution adaptation ; small-object detection ; machine learning ; data augmentation ; automatic target recognition ; synthetic aperture radar ; spacecraft recognition ; few-shot feature adaptation ; generative family ; neural processes ; remote sensing imagery ; transformer ; Landsat ; thema EDItEUR::K Economics, Finance, Business and Management::KN Industry and industrial studies::KNT Media, entertainment, information and communication industries::KNTX Information technology industries ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: application/octet-stream
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
Close ⊗
This website uses cookies and the analysis tool Matomo. More information can be found here...