نوع المادة: كتاب

الموضوعات

Logic design.

Software engineering.

Computer science.

Computer software.

Artificial intelligence.

Computer logic.

Logics and Meanings of Programs.

Software Engineering/Programming and Operating Systems.

Mathematical Logic and Formal Languages.

Algorithm Analysis and Problem Complexity.

Logic Design.

Logic in AI.

التصنيف:

العلوم الطبيعية و الرياضيات

المطبوعات والمسلسلات

برمجة الحاسوب ،البرامج و البيانات

المصادر: Springer books

اللغة: الإنجليزية

التاريخ: 2019

ردمك: 9783030174651

XXIII, 413 p. 552 illus., 55 illus. in color.

online resource.

ملف خارجي

نوع المادة: تقرير

الموضوعات

Data mining.

Computer science.

System theory.

Algorithm Analysis and Problem Complexity.

Complex Networks.

Computer Science.

Theory of Computation.

Computer simulation.

Computers.

Data Mining and Knowledge Discovery.

Simulation and Modeling.

Complex Systems.

Physics.

Algorithms.

التصنيف:

العلوم الاجتماعية

الأعمال الموسوعية العامة

النظم

المصادر: Springer Protocols

اللغة: الإنجليزية

التاريخ: 2012

ردمك: 9781461418009

1547 illus., 665 illus. in color. eReference.

online resource.

ملف خارجي

نوع المادة: مجلة

الموضوعات

Electronics and Microelectronics, Instrumentation.

Robotics.

Engineering.

Computational Mathematics and Numerical Analysis.

Algorithms.

Electronics.

Robotics and Automation.

Automation.

Artificial Intelligence (incl. Robotics).

Engineering.

Algorithm Analysis and Problem Complexity.

Artificial intelligence.

Microelectronics.

Computer mathematics.

التصنيف:

العلوم التطبيقية

الهندسة

فروع هندسة أخرى

المصادر: Springer journals

اللغة: الإنجليزية

التاريخ: 2018

ردمك: 9783319648163

XVII, 395 p. 69 illus., 32 illus. in color.

online resource.

ملف خارجي

نوع المادة: مجلة

الموضوعات

Algorithms.

Database management.

Data mining.

Statistics for Engineering, Physics, Computer Science, Chemistry and Earth Sciences.

Database Management.

Computer science.

Computer Science.

Systems and Data Security.

Data Mining and Knowledge Discovery.

Algorithm Analysis and Problem Complexity.

Artificial Intelligence (incl. Robotics).

Artificial intelligence.

Computer security.

المصادر: Springer Nature Journals

اللغة: الإنجليزية

online resource.

ملف خارجي

نوع المادة: مجلة

الموضوعات

Algorithm Analysis and Problem Complexity.

Data mining.

Algorithms.

Statistics.

Statistics for Engineering, Physics, Computer Science, Chemistry and Earth Sciences.

Computer Science.

Database Management.

Data Mining and Knowledge Discovery.

Computer science.

Database management.

Computer security.

Artificial intelligence.

Systems and Data Security.

Artificial Intelligence (incl. Robotics).

المصادر: springer-biopmed-central-journals

اللغة: الإنجليزية

online resource.

ملف خارجي

نوع المادة: كتاب

الموضوعات

ac/dc hybrid microgrid; adaptive droop control; autonomous operation; distributed generation; energy management system; aggregator; optimal bidding; electricity markets; probabilistic programming; microgrid; uncertainty; hierarchical game; non-cooperative game (NCG); energy trading; pricing strategy; demand response; distributed generation; microgrid; real-time simulation; consensus algorithm; diffusion strategy; distributed system; energy management system; microgrid operation; optimal operation; microgrids; renewable energy; storage; scheduling; co-generation; decision-making under uncertainty; domestic energy management system; energy flexibility; interval optimization; stochastic programming; Unit Commitment (UC); Demand Response (DR); Demand Response Unit Commitment (DRUC); Cat Swarm Optimization (CSO); average consensus algorithm (ACA); black start; local controller; microgrid (MG); multi-agent system (MAS); power system restoration (PSR); demand-side energy management; multiplier method; Powell direction acceleration method; advance and retreat method; thermal comfort; transmission line; fault localization; time series; ARIMA; discrete wavelet transformer; demand response; virtual power plant; energy flexibility potential; aggregators; business model; building energy flexibility; aggregator; clustering; demand response; distributed generation

المصادر: قاعدة بيانات الكتب المجانية

اللغة: الإنجليزية

التاريخ: 2019

ردمك: 9783038977186

ملف خارجي

نوع المادة: كتاب

الموضوعات

Metric dimension; basis; resolving set; gear graph; generalized gear graph; Devaney chaos; hypercyclicity; topological transitivity; topologically mixing; disjointness; connectivity; topological indices; cuprite; atom bond connectivity index; Zagreb indices; geometric arithmetic index; general Randi? index; titanium difluoride; direct product of graphs; geodesics; Gromov hyperbolicity; bipartite graphs; alpha-boron nanotube; resolving set; metric basis; metric dimension; distinguishing number; functigraph; complete graph; graph operators; gromov hyperbolicity; geodesics; topological indices; polycyclic aromatic hydrocarbons; resolving set; domination; secure resolving set and secure resolving domination; harmonic index; harmonic polynomial; inverse degree index; products of graphs; algorithm; general randi? index; atom-bond connectivity ABC index; geometric-arithmetic GA index; Hex-Derived Cage networks; dominating set; binary locating-domination number; rotationally-symmetric convex polytopes; ILP models

المصادر: قاعدة بيانات الكتب المجانية

اللغة: الإنجليزية

التاريخ: 2019

ردمك: 9783038976585

ملف خارجي

نوع المادة: كتاب

الموضوعات

neural network; Potts model; latching; recursion; functional connectome; graph theoretical analysis; eigenvector centrality; orderness; network eigen-entropy; information entropy production; discrete Markov chains; spike train statistics; Gibbs measures; maximum entropy principle; pulse-gating; channel capacity; neural coding; feedforward networks; neural information propagation; information theory; mutual information decomposition; synergy; redundancy; integrated information theory; integrated information; minimum information partition; submodularity; Queyranne’s algorithm; consciousness; maximum entropy; higher-order correlations; neural population coding; Ising model; brain network; complex networks; connectome; information theory; graph theory; free-energy principle; internal model hypothesis; unconscious inference; infomax principle; independent component analysis; principal component analysis; goodness; categorical perception; perceptual magnet; information theory; perceived similarity; mutual information; synergy; redundancy; neural code; hippocampus; entorhinal cortex; navigation; neural code; representation; decoding; spike-time precision; discrimination; noise correlations; information theory; mismatched decoding; information theory; neuroscience

المصادر: قاعدة بيانات الكتب المجانية

اللغة: الإنجليزية

التاريخ: 2019

ردمك: 9783038976646

ملف خارجي

نوع المادة: كتاب

الموضوعات

evapotranspiration; Northeast China; MS–PT algorithm; spatial-temporal variations; controlling factors; potential evapotranspiration; vegetation remote sensing; reflectance model; spectra; leaf; copper; PROSPECT; leaf area density; terrestrial LiDAR; tree canopy; vertical structure; voxel; spatial representativeness; heterogeneity; validation; land-surface temperature products (LSTs); observations; HiWATER; remote sensing; spatiotemporal representative; cost-efficient, sampling design; heterogeneity; validation; FY-3C/MERSI; GLASS; Land surface temperature; Land surface emissivity; GPP; SIF; MuSyQ-GPP algorithm; BEPS; vegetation phenology; Tibetan Plateau; MODIS; NDVI; start of growing season (SOS); end of growing season (EOS); GLASS LAI time series; forest disturbance; disturbance index; latent heat; machine learning algorithms; plant functional type; high-resolution freeze/thaw; AMSR2; MODIS; LAI; ZY-3 MUX; GF-1 WFV; HJ-1 CCD; maize; PROSPECT-5B+SAILH (PROSAIL) model; spatial heterogeneity; variability; evapotranspiration; land surface variables; probability density function; HiWATER; spectral; albedometer; interference filter; photoelectric detector; validation; land surface albedo; multi-scale validation; rugged terrain; MRT-based model; MCD43A3 C6; precipitation; statistics methods; China; Tibetan Plateau; South China’s; drought; SPI; TMI data; crop-growing regions; downward shortwave radiation; machine learning; gradient boosting regression tree; AVHRR; CMA; BRDF; aerosol; MODIS; sunphotometer; arid/semiarid; solar-induced chlorophyll fluorescence; fluorescence quantum efficiency in dark-adapted conditions (FQE); SCOPE; Fraunhofer Line Discrimination (FLD); gross primary productivity (GPP); longwave upwelling radiation (LWUP); Visible Infrared Imaging Radiometer Suite (VIIRS); surface radiation budget; hybrid method; remote sensing; leaf age; leaf spectral properties; leaf area index; Cunninghamia; Chinese fir; canopy reflectance; NIR; EVI2; geometric optical radiative transfer (GORT) model; land surface albedo; snow-free albedo; rugged terrain; topographic effects; black-sky albedo (BSA); GPP; NPP; MODIS; validation; phenology; RADARSAT-2; rice; Synthetic Aperture Radar (SAR); decision tree; forest canopy height; aboveground biomass; ICESat GLAS; Landsat; random forest model; anisotropic reflectance; BRDF; rugged terrain; solo slope; composite slope; surface solar irradiance; geostationary satellite; polar orbiting satellite; LUT method; SURFRAD; downward shortwave radiation; daily average value; Antarctica; sinusoidal method; cloud fraction; interpolation; boreal forest; GPP; spatiotemporal distribution and variation; meteorological factors; phenological parameters; multisource data fusion; aerosol retrieval; urban scale; vegetation dust-retention; multiple ecological factors; geographical detector model; snow cover; passive microwave; FY-3C/MWRI; algorithmic assessment; China; land surface temperature; satellite observations; flux measurements; latitudinal pattern; land cover change; fractional vegetation cover (FVC); multi-data set; northern China; spatio-temporal; inter-annual variation; uncertainty; standard error of the mean; downscaling; GPP; spatial heterogeneity; remote sensing; subpixel information; LiDAR; point cloud; leaf; gap fraction; 3D reconstruction; biodiversity; remote sensing; species richness; metric comparison; metric integration; leaf area index; MODIS products; Landsat; high resolution; homogeneous and pure pixel filter; pixel unmixing; vertical vegetation stratification; gross primary production (GPP); light use efficiency; dense forest; MODIS; VPM; temperature profiles; humidity profiles; n/a; geometric-optical model; thermal radiation directionality; quantitative remote sensing inversion; scale effects; comprehensive field experiment

المصادر: قاعدة بيانات الكتب المجانية

اللغة: الإنجليزية

التاريخ: 2019

ردمك: 9783038972709

ملف خارجي

نوع المادة: كتاب

الموضوعات

evapotranspiration; Northeast China; MS–PT algorithm; spatial-temporal variations; controlling factors; potential evapotranspiration; vegetation remote sensing; reflectance model; spectra; leaf; copper; PROSPECT; leaf area density; terrestrial LiDAR; tree canopy; vertical structure; voxel; spatial representativeness; heterogeneity; validation; land-surface temperature products (LSTs); observations; HiWATER; remote sensing; spatiotemporal representative; cost-efficient, sampling design; heterogeneity; validation; FY-3C/MERSI; GLASS; Land surface temperature; Land surface emissivity; GPP; SIF; MuSyQ-GPP algorithm; BEPS; vegetation phenology; Tibetan Plateau; MODIS; NDVI; start of growing season (SOS); end of growing season (EOS); GLASS LAI time series; forest disturbance; disturbance index; latent heat; machine learning algorithms; plant functional type; high-resolution freeze/thaw; AMSR2; MODIS; LAI; ZY-3 MUX; GF-1 WFV; HJ-1 CCD; maize; PROSPECT-5B+SAILH (PROSAIL) model; spatial heterogeneity; variability; evapotranspiration; land surface variables; probability density function; HiWATER; spectral; albedometer; interference filter; photoelectric detector; validation; land surface albedo; multi-scale validation; rugged terrain; MRT-based model; MCD43A3 C6; precipitation; statistics methods; China; Tibetan Plateau; South China’s; drought; SPI; TMI data; crop-growing regions; downward shortwave radiation; machine learning; gradient boosting regression tree; AVHRR; CMA; BRDF; aerosol; MODIS; sunphotometer; arid/semiarid; solar-induced chlorophyll fluorescence; fluorescence quantum efficiency in dark-adapted conditions (FQE); SCOPE; Fraunhofer Line Discrimination (FLD); gross primary productivity (GPP); longwave upwelling radiation (LWUP); Visible Infrared Imaging Radiometer Suite (VIIRS); surface radiation budget; hybrid method; remote sensing; leaf age; leaf spectral properties; leaf area index; Cunninghamia; Chinese fir; canopy reflectance; NIR; EVI2; geometric optical radiative transfer (GORT) model; land surface albedo; snow-free albedo; rugged terrain; topographic effects; black-sky albedo (BSA); GPP; NPP; MODIS; validation; phenology; RADARSAT-2; rice; Synthetic Aperture Radar (SAR); decision tree; forest canopy height; aboveground biomass; ICESat GLAS; Landsat; random forest model; anisotropic reflectance; BRDF; rugged terrain; solo slope; composite slope; surface solar irradiance; geostationary satellite; polar orbiting satellite; LUT method; SURFRAD; downward shortwave radiation; daily average value; Antarctica; sinusoidal method; cloud fraction; interpolation; boreal forest; GPP; spatiotemporal distribution and variation; meteorological factors; phenological parameters; multisource data fusion; aerosol retrieval; urban scale; vegetation dust-retention; multiple ecological factors; geographical detector model; snow cover; passive microwave; FY-3C/MWRI; algorithmic assessment; China; land surface temperature; satellite observations; flux measurements; latitudinal pattern; land cover change; fractional vegetation cover (FVC); multi-data set; northern China; spatio-temporal; inter-annual variation; uncertainty; standard error of the mean; downscaling; GPP; spatial heterogeneity; remote sensing; subpixel information; LiDAR; point cloud; leaf; gap fraction; 3D reconstruction; biodiversity; remote sensing; species richness; metric comparison; metric integration; leaf area index; MODIS products; Landsat; high resolution; homogeneous and pure pixel filter; pixel unmixing; vertical vegetation stratification; gross primary production (GPP); light use efficiency; dense forest; MODIS; VPM; temperature profiles; humidity profiles; n/a; geometric-optical model; thermal radiation directionality; quantitative remote sensing inversion; scale effects; comprehensive field experiment

المصادر: قاعدة بيانات الكتب المجانية

اللغة: الإنجليزية

التاريخ: 2019

ردمك: 9783038972761

ملف خارجي