Academic literature on the topic 'Auxiliary variable'

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'Auxiliary variable.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Journal articles on the topic "Auxiliary variable"

1

Kaur, Harinder, and M. K Sharma. "Efficient Estimators of Population Variance Using Known Population Mode & Variance of Auxiliary Variable." International Journal of Scientific Engineering and Research 4, no. 10 (2016): 108–16. https://doi.org/10.70729/ijser151036.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Cabrera-Álvarez, Pablo. "Datos agregados para corregir los sesgos de no respuesta y de cobertura en encuestas." Empiria. Revista de metodología de ciencias sociales, no. 49 (December 30, 2020): 39. http://dx.doi.org/10.5944/empiria.49.2021.29231.

Full text
Abstract:
En las últimas décadas la incidencia creciente de los sesgos de no respuesta y cobertura en las encuestas han puesto en entredicho la capacidad de inferir los resultados a la población. Una forma extendida de corregir los sesgos de no respuesta y cobertura en las encuestas es el uso de ponderaciones que equilibran la muestra final de entrevistados. La construcción de ponderaciones requiere información auxiliar, totales poblacionales que estén disponibles para los que responden y para los que no cooperan. En este trabajo, a partir de simulaciones estadísticas, se comprueba la capacidad de la in
APA, Harvard, Vancouver, ISO, and other styles
3

Yadav, S. K., O. P. Yadav, and D. K. Yadav. "Dexterous Estimation of Population Mean in Survey Sampling Under Non-Response Error." International Journal of Mathematical, Engineering and Management Sciences 4, no. 6 (2019): 1307–24. http://dx.doi.org/10.33889/ijmems.2019.4.6-103.

Full text
Abstract:
In this scripture, we ponder the problem of efficient estimation of population mean of study variable utilizing information on highly correlated auxiliary variables under the presence of non-response on either of the variables. For this purpose, we suggest, an improved estimator under three different situations of non-response. Under the first situation, estimation of population mean is done with the problem of non-response on both the study and the auxiliary variables with the additional condition that the population means of the auxiliary variables are known. The second situation is to estim
APA, Harvard, Vancouver, ISO, and other styles
4

Kanwai, M. E., O. E. Asiribo, and A. Isah. "Use of Auxiliary Variables and Asymptotically Optimum Estimators in Double Sampling." International Journal of Statistics and Probability 5, no. 3 (2016): 55. http://dx.doi.org/10.5539/ijsp.v5n3p55.

Full text
Abstract:
This paper explore the need for exploiting auxiliary variables in sample survey and utilizing asymptotically optimum estimator in double sampling to increase the efficiency of estimators. The study proposed two types of estimators with two auxiliary variables for two phase sampling when there is no information about auxiliary variables at population level. The expressions for the Mean Squared Error (MSE) of the proposed estimators were derived to the first order of approximation. An empirical comparative approach of the minimum variances and percent relative efficiency were adopted to study th
APA, Harvard, Vancouver, ISO, and other styles
5

Gupta, Ruchi, and Sangeeta Malik. "Evaluating New Estimators in Ranked Set Sampling Using Auxiliary Variable." International Journal of Science and Research (IJSR) 13, no. 8 (2024): 1494–97. http://dx.doi.org/10.21275/sr24824152543.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Chutiman. "ADAPTIVE CLUSTER SAMPLING USING AUXILIARY VARIABLE." Journal of Mathematics and Statistics 9, no. 3 (2013): 249–55. http://dx.doi.org/10.3844/jmssp.2013.249.255.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Feng, Shiyong, and Guohua Zou. "Sample rotation method with auxiliary variable." Communications in Statistics - Theory and Methods 26, no. 6 (1997): 1497–509. http://dx.doi.org/10.1080/03610929708831996.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Wang, Ting, Xiaofei Wang, Haibo Zhou, Jianwen Cai, and Stephen L. George. "Auxiliary variable-enriched biomarker-stratified design." Statistics in Medicine 37, no. 30 (2018): 4610–35. http://dx.doi.org/10.1002/sim.7938.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Chhalotre, Rakesh, B. Samuel Naik, V. C. Karthik, et al. "Evaluating Model-assisted Estimators: A Comparative Study in High-dimensional Survey Data." Journal of Scientific Research and Reports 30, no. 9 (2024): 707–18. http://dx.doi.org/10.9734/jsrr/2024/v30i92398.

Full text
Abstract:
Model-assisted estimators have gained significant attention due to their ability to efficiently utilize auxiliary information during the estimation process. These estimators rely on a working model that links the survey variable to the auxiliary variables, which is then fitted to the sample data to generate predictions. These predictions are subsequently integrated into the estimation procedures. In this study, were explores various model-assisted estimators including Generalized Regression (GREG), Ridge regression, Lasso regression, CART (Classification and Regression Tree), Random Forest, Cu
APA, Harvard, Vancouver, ISO, and other styles
10

Erciulescu, Andreea L., and Wayne A. Fuller. "Small area prediction under alternative model specifications." Statistics in Transition new series 17, no. 1 (2016): 9–24. http://dx.doi.org/10.59170/stattrans-2016-001.

Full text
Abstract:
Construction of small area predictors and estimation of the prediction mean squared error, given different types of auxiliary information are illustrated for a unit level model. Of interest are situations where the mean and variance of an auxiliary variable are subject to estimation error. Fixed and random specifications for the auxiliary variables are considered. The efficiency gains associated with the random specification for the auxiliary variable measured with error are demonstrated. A parametric bootstrap procedure is proposed for the mean squared error of the predictor based on a logit
APA, Harvard, Vancouver, ISO, and other styles
More sources

Dissertations / Theses on the topic "Auxiliary variable"

1

Vanetti, Paul Justin Cesare. "Auxiliary variable transformations for intractable distributions." Thesis, University of British Columbia, 2013. http://hdl.handle.net/2429/44340.

Full text
Abstract:
Expectations over probability distributions can be approximated by Markov chain Monte Carlo methods when the density can be evaluated up to a normalizing constant. However, there exist cases where this density takes on the form of an intractable integral and therefore cannot be computed exactly. We explore a class of auxiliary variable methods which allow correct sampling from such distributions. In some cases, existing approaches which employ these methods can be inefficient, requiring long computation times. We identify causes for this inefficiency and demonstrate how this can be improved wh
APA, Harvard, Vancouver, ISO, and other styles
2

Graham, Matthew McKenzie. "Auxiliary variable Markov chain Monte Carlo methods." Thesis, University of Edinburgh, 2018. http://hdl.handle.net/1842/28962.

Full text
Abstract:
Markov chain Monte Carlo (MCMC) methods are a widely applicable class of algorithms for estimating integrals in statistical inference problems. A common approach in MCMC methods is to introduce additional auxiliary variables into the Markov chain state and perform transitions in the joint space of target and auxiliary variables. In this thesis we consider novel methods for using auxiliary variables within MCMC methods to allow approximate inference in otherwise intractable models and to improve sampling performance in models exhibiting challenging properties such as multimodality. We first con
APA, Harvard, Vancouver, ISO, and other styles
3

Sousa, Rita Cristina Pinto de. "Parameter estimation in the presence of auxiliary information." Doctoral thesis, Faculdade de Ciências e Tecnologia, 2013. http://hdl.handle.net/10362/11295.

Full text
Abstract:
Dissertação para obtenção do Grau de Doutora em Estatística e Gestão de Risco, Especialidade em Estatística<br>In survey research, there are many situations when the primary variable of interest is sensitive. The sensitivity of some queries can give rise to a refusal to answer or to false answers given intentionally. Survey can be conducted in a variety of settings, in part dictated by the mode of data collection, and these settings can differ in how much privacy they offer the respondent. The estimates obtained from a direct survey on sensitive questions would be subject to high bias. A va
APA, Harvard, Vancouver, ISO, and other styles
4

Tüchler, Regina. "Bayesian Variable Selection for Logistic Models Using Auxiliary Mixture Sampling." Department of Statistics and Mathematics, WU Vienna University of Economics and Business, 2006. http://epub.wu.ac.at/984/1/document.pdf.

Full text
Abstract:
The paper presents an Markov Chain Monte Carlo algorithm for both variable and covariance selection in the context of logistic mixed effects models. This algorithm allows us to sample solely from standard densities, with no additional tuning being needed. We apply a stochastic search variable approach to select explanatory variables as well as to determine the structure of the random effects covariance matrix. For logistic mixed effects models prior determination of explanatory variables and random effects is no longer prerequisite since the definite structure is chosen in a data-driven manner
APA, Harvard, Vancouver, ISO, and other styles
5

Mao, Wenjin. "Dimension jumping and auxiliary variable techniques for Markov chain Monte Carlo algorithms." Connect to online resource, 2007. http://gateway.proquest.com/openurl?url_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:dissertation&res_dat=xri:pqdiss&rft_dat=xri:pqdiss:3284426.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Lindberg, Mattias, and Peter Guban. "Auxiliary variables a weight against nonresponse bias : A simulation study." Thesis, Stockholms universitet, Statistiska institutionen, 2014. http://urn.kb.se/resolve?urn=urn:nbn:se:su:diva-142977.

Full text
Abstract:
Today’s surveys face a growing problem with increasing nonresponse.  The increase in nonresponse rate causes a need for better and more effective ways to reduce the nonresponse bias.  There are three major scientific orientation of today’s research dealing with nonresponse. One is examining the social factors, the second one studies different data collection methods and the third investigating the use of weights to adjust estimators for nonresponse.  We would like to contribute to the third orientation by evaluating estimators which use and adjust weights based on auxiliary variables to balanc
APA, Harvard, Vancouver, ISO, and other styles
7

Lasseigne, Alexis. "Optimization of variable-thickness composite structures. Application to a CROR blade." Thesis, Lyon, 2016. http://www.theses.fr/2016LYSEM006/document.

Full text
Abstract:
Cette thèse aborde la problématique de la conception optimale de structures composites stratifiées d’épaisseur variable. Les variables d’empilement définissent un problème d’optimisation combinatoire et des espaces de décisions de grande taille et potentiellement multimodaux. Les algorithmes d’optimisation stochastiques permettent de traiter ce type de problème et de tirer profit des performances et de l’anisotropie des plis composites pour l’allègement des structures composites stratifiées. Le but de cette étude est double : (i) développer un algorithme d’optimisation dédié aux composites str
APA, Harvard, Vancouver, ISO, and other styles
8

Achelpohl, Scott Alan. "Analysis of an Existing Coal Fired Power Generation Facility with Recommendations for Efficiency and Production Improvement." OpenSIUC, 2010. https://opensiuc.lib.siu.edu/theses/378.

Full text
Abstract:
This study examined the Lake of Egypt Power Plant operated by Southern Illinois Power Cooperative located on the Lake of Egypt south of Marion, IL. The facility has a 173 MW rated turbine operating on a pulverized coal cyclone boiler and three 33 MW rated turbines operating on an oversized circulating fluidized bed boiler with 120 MW capacity. The first area examined was reduction of auxiliary power consumption possible with the addition of variable frequency drives to the forced draft fan and booster fan motors. Included in this examination was an analysis of the economic and environmental
APA, Harvard, Vancouver, ISO, and other styles
9

Green, Jeffrey Andrew. "IMPROVING THE ENERGY EFFICIENCY OF A MID-SIZE POWER PLANT BY REDUCTION IN AUXILIARY POWER AND IMPROVED HEAT TRANSFER." OpenSIUC, 2014. https://opensiuc.lib.siu.edu/theses/1502.

Full text
Abstract:
This study incorporates the potential use of Variable Frequency Drives on various motors as well as areas of improved heat transfer in an older, mid-sized coal fired power plant. In power plants, fluid flow rates are often controlled using dampers or valves while the motors that power the pumps stay at full speed resulting in a significant amount of wasted electrical power; energy is also lost due to poor heat recovery prior to gases leaving the system. By examining pump usage as well as additional heat available for recovery, potential energy savings will be determined. Preliminary resul
APA, Harvard, Vancouver, ISO, and other styles
10

DE, PAOLA ROSITA. "Median estimation using auxiliary variables." Doctoral thesis, Università degli Studi di Milano-Bicocca, 2012. http://hdl.handle.net/10281/36075.

Full text
Abstract:
In the present study the estimation of the median has been taken into consideration using different methods of analysis. First of all the estimation of the median without auxiliary information is analyzed. Then the method of Kuk and Mak proposed in 1989 is exposed: this way of estimating the median is based on the knowledge of the population median of auxiliary variable X. Another method, which considers the median of the auxiliary variable is the ratio estimator. Then two methods based on the regression estimator are analyzed : the first one considers the regression based on the median
APA, Harvard, Vancouver, ISO, and other styles
More sources

Books on the topic "Auxiliary variable"

1

Bedier, Mostafa Abdellatif. Post stratified estimation using a known auxiliary variable. Oregon State University, 1989.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
2

Owen, Benjamin, and United States. National Aeronautics and Space Administration., eds. Development of a computer algorithm for the analysis of variable -frequency A.C. drives: Case studies included. National Aeronautics and Space Administration, 1991.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
3

Spanos, Aris. Omitted variables and misspecification testing using auxiliary regressions. Birkbeck College, Dept. of Economics, 1985.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
4

Wywiał, Janusz L. Sampling Designs Dependent on Sample Parameters of Auxiliary Variables. Springer Berlin Heidelberg, 2021. http://dx.doi.org/10.1007/978-3-662-63413-4.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Wywiał, Janusz L. Sampling Designs Dependent on Sample Parameters of Auxiliary Variables. Springer Berlin Heidelberg, 2015. http://dx.doi.org/10.1007/978-3-662-47383-2.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Paczkowski, Pawel. Proving total correctness of concurrent programs without using auxiliary variables. University of Edinburgh, Laboratory for Foundations of Computer Science, 1989.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
7

Bedier, Mostafa Abdellatif. Post stratified estimation using a known auxiliary variable. 1989.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
8

Wywiał, Janusz L. Sampling Designs Dependent on Sample Parameters of Auxiliary Variables. Springer Berlin / Heidelberg, 2021.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
9

Wywiał, Janusz L. L. Sampling Designs Dependent on Sample Parameters of Auxiliary Variables. Springer, 2015.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
10

Janusz L. Wywiał. Sampling Designs Dependent on Sample Parameters of Auxiliary Variables. Springer London, Limited, 2015.

Find full text
APA, Harvard, Vancouver, ISO, and other styles

Book chapters on the topic "Auxiliary variable"

1

Pitt, Michael K., and Neil Shephard. "Auxiliary Variable Based Particle Filters." In Sequential Monte Carlo Methods in Practice. Springer New York, 2001. http://dx.doi.org/10.1007/978-1-4757-3437-9_13.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Wywiał, Janusz L. "Sampling Designs Dependent on a Continuous Auxiliary Variable." In Sampling Designs Dependent on Sample Parameters of Auxiliary Variables. Springer Berlin Heidelberg, 2021. http://dx.doi.org/10.1007/978-3-662-63413-4_5.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Ono, Nobutaka, and Shigeki Miyabe. "Auxiliary-Function-Based Independent Component Analysis for Super-Gaussian Sources." In Latent Variable Analysis and Signal Separation. Springer Berlin Heidelberg, 2010. http://dx.doi.org/10.1007/978-3-642-15995-4_21.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

D'Orazio, Marcello, Marco Di Zio, and Mauro Scanu. "Auxiliary variable selection in a statistical matching problem." In Analysis of Integrated Data. Chapman and Hall/CRC, 2019. http://dx.doi.org/10.1201/9781315120416-5.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Wywiał, Janusz L. "Sampling Designs Based on Order Statistics of Auxiliary Variable." In Sampling Designs Dependent on Sample Parameters of Auxiliary Variables. Springer Berlin Heidelberg, 2015. http://dx.doi.org/10.1007/978-3-662-47383-2_3.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Bocci, Chiara, and Emilia Rocco. "On the use of auxiliary information in spatial sampling." In Proceedings e report. Firenze University Press and Genova University Press, 2023. http://dx.doi.org/10.36253/979-12-215-0106-3.27.

Full text
Abstract:
Technology development has led to a growing availability of low-cost data ready-to-use, frequently derived from large scale observations (i.e. data from pervasive systems like GPS sensors, or remote sensing data from earth observation technologies). Oftentimes, these data can’t directly answer specific questions posed by researchers and data users, or even if they can they are subject to measurement errors or self-selection bias. In both cases it is still necessary to rely, at least partially, on ad-hoc probabilistic surveys. On the other hand, the precision and quality of surveys estimates ca
APA, Harvard, Vancouver, ISO, and other styles
7

Wywiał, Janusz L. "Sampling Designs Based on Order Statistics of an Auxiliary Variable." In Sampling Designs Dependent on Sample Parameters of Auxiliary Variables. Springer Berlin Heidelberg, 2021. http://dx.doi.org/10.1007/978-3-662-63413-4_3.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Monette, Jean-Noël, Pierre Flener, and Justin Pearson. "Automated Auxiliary Variable Elimination Through On-the-Fly Propagator Generation." In Lecture Notes in Computer Science. Springer International Publishing, 2015. http://dx.doi.org/10.1007/978-3-319-23219-5_22.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Yao, Wenjuan, Junyi Zhang, and Zhongxiang Zhou. "A Three-Stage Variational Image Segmentation via Scalar Auxiliary Variable Algorithm." In Lecture Notes in Networks and Systems. Springer Nature Switzerland, 2024. https://doi.org/10.1007/978-3-031-77411-9_30.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Lu, Bo, Yuzhen Chen, and Qingshan Zhang. "The Exact Solutions of Variable Coefficient Auxiliary High Order Generalized KdV Equation." In Advances in Computer Science, Environment, Ecoinformatics, and Education. Springer Berlin Heidelberg, 2011. http://dx.doi.org/10.1007/978-3-642-23324-1_80.

Full text
APA, Harvard, Vancouver, ISO, and other styles

Conference papers on the topic "Auxiliary variable"

1

Oladimeji, Olatunji Muhammad, Amos Adedayo Adewara, Femi Emmanuel Amoyedo, Ezekiel Olaoluwa Omole, Peter Onu, and Kehinde Peter Ajewole. "Improved Ratio Estimator under Stratified Simple Random Sampling Using Auxiliary Variable." In 2024 International Conference on Science, Engineering and Business for Driving Sustainable Development Goals (SEB4SDG). IEEE, 2024. http://dx.doi.org/10.1109/seb4sdg60871.2024.10630033.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Liu, Fei, Guanbin Gao, and Jing Na. "A Kinematic Parameter Identification Method Based on Auxiliary Variable for Industrial Robots." In 2024 3rd International Conference on Automation, Robotics and Computer Engineering (ICARCE). IEEE, 2024. https://doi.org/10.1109/icarce63054.2024.00019.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Afolayan, Temitope, Amos Adedayo Adewara, Femi Emmanuel Amoyedo, Olaoluwa E. Omole, Peter Onu, and Kehinde Peter Ajewole. "An Enhanced Stratified Ratio and Product Estimators in Double Sampling Using Auxiliary Variable." In 2024 International Conference on Science, Engineering and Business for Driving Sustainable Development Goals (SEB4SDG). IEEE, 2024. http://dx.doi.org/10.1109/seb4sdg60871.2024.10630417.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Liu, Shuo, Wei Xiao, and Calin A. Belta. "Auxiliary-Variable Adaptive Control Lyapunov Barrier Functions for Spatio-Temporally Constrained Safety-Critical Applications." In 2024 IEEE 63rd Conference on Decision and Control (CDC). IEEE, 2024. https://doi.org/10.1109/cdc56724.2024.10886196.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Bapat, Siddhant Sandeep, Edward Smith, and Nicholas Vlajic. "Experimental and Computational Evaluation of Particle Impact Dampers in Multi-Mode Passive Vibration Control of eVTOL Support Arms." In Vertical Flight Society 81st Annual Forum and Technology Display. The Vertical Flight Society, 2025. https://doi.org/10.4050/f-0081-2025-309.

Full text
Abstract:
Electric vertical takeoff and landing aircraft (eVTOL) have swiftly risen to prominence since the early 2000's due to their potential to serve as a sustainable and scalable improvement in urban air mobility. In edgewise forward flight, these aircraft can experience significant time-varying aerodynamic loads due to being variable RPM vehicles. Their fuselage, booms and auxiliary lifting surfaces are often very lightly damped, lightweight and highly stiff. Thus, multiple bending and torsional modes of vibration can be excited and result in unacceptably high stress levels. Particle impact dampers
APA, Harvard, Vancouver, ISO, and other styles
6

Duan, Zhongjian, and Xiangchun Yu. "Bias-variance knowledge distillation based on auxiliary classifier." In Ninth International Symposium on Advances in Electrical, Electronics, and Computer Engineering (ISAEECE 2024), edited by Pierluigi Siano and Wenbing Zhao. SPIE, 2024. http://dx.doi.org/10.1117/12.3033417.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Kusum and Sangeeta Malik. "Modify unbiased estimator using auxiliary variable." In PROCEEDING OF INTERNATIONAL CONFERENCE ON FRONTIERS OF SCIENCE AND TECHNOLOGY 2021. AIP Publishing, 2022. http://dx.doi.org/10.1063/5.0115269.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Pickert, V. "DSP controlled auxiliary resonant commutated pole inverter without switch status sensors." In Seventh International Conference on Power Electronics and Variable Speed Drives. IEE, 1998. http://dx.doi.org/10.1049/cp:19980602.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Marnissi, Yosra, Emilie Chouzenoux, Jean-Christophe Pesquei, and Amel Benazza-Benyahia. "An auxiliary variable method for Langevin based MCMC algorithms." In 2016 IEEE Statistical Signal Processing Workshop (SSP). IEEE, 2016. http://dx.doi.org/10.1109/ssp.2016.7551764.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Ruan Xinbo. "Zero-voltage-switched, PWM, phase-shifted converter employing an auxiliary resonant net." In 6th International Conference on Power Electronics and Variable Speed Drives. IEE, 1996. http://dx.doi.org/10.1049/cp:19960970.

Full text
APA, Harvard, Vancouver, ISO, and other styles

Reports on the topic "Auxiliary variable"

1

Baader, Franz, and Anton Claußnitzer. Maximum Entropy Reasoning via Model Counting in (Description) Logics that Count Extended Version. Technische Universität Dresden, 2025. https://doi.org/10.25368/2025.015.

Full text
Abstract:
In previous work it was shown that the logic ALC^ME , which extends the description logic (DL) ALC with probabilistic conditionals, has domain-lifted inference. Here, we extend this result from the base logic ALC to two logics that can count, the two-variable fragment C2 of first-order logic (FOL) with counting quantifiers, and the DL ALCSCC, which is not a fragment of FOL. As an auxiliary result, we prove that model counting in ALCSCC can be realized in a domain-liftable way.
APA, Harvard, Vancouver, ISO, and other styles
2

Jebrail, F. F., and R. S. Kistler. L51753 Natural Draft Aerial Coolers. Pipeline Research Council International, Inc. (PRCI), 1996. http://dx.doi.org/10.55274/r0010422.

Full text
Abstract:
In recent years, environmental regulations have tightened and community involvement in environmental issues has increased. The pipeline industry has responded by attempting to reduce the negative economic and environmental impact of conventional air-cooled heat exchangers, which are characterized by high noise levels, excessive energy consumption, and high maintenance costs. While industry has had limited success in reducing air cooler noise using silencers and timed variable-speed fans, these solutions are costly. The most effective noise reduction method is to reduce or eliminate noise at it
APA, Harvard, Vancouver, ISO, and other styles
3

Ahmad, M., and R. S. Singh. Role of Auxiliary Variate and Additional Data in Density Estimation. Defense Technical Information Center, 1985. http://dx.doi.org/10.21236/ada160287.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Baader, Franz, and Marcel Lippmann. Runtime Verification Using a Temporal Description Logic Revisited. Technische Universität Dresden, 2014. http://dx.doi.org/10.25368/2022.203.

Full text
Abstract:
Formulae of linear temporal logic (LTL) can be used to specify (wanted or unwanted) properties of a dynamical system. In model checking, the system’s behaviour is described by a transition system, and one needs to check whether all possible traces of this transition system satisfy the formula. In runtime verification, one observes the actual system behaviour, which at any point in time yields a finite prefix of a trace. The task is then to check whether all continuations of this prefix to a trace satisfy (violate) the formula. More precisely, one wants to construct a monitor, i.e., a finite au
APA, Harvard, Vancouver, ISO, and other styles
5

García Zaballos, Antonio, Enrique Iglesias Rodriguez, and Pau Puig Gabarró. Informe anual del Indice de Desarrollo de la Banda Ancha: brecha digital en América Latina y el Caribe: IDBA 2021. Banco Interamericano de Desarrollo, 2022. http://dx.doi.org/10.18235/0004379.

Full text
Abstract:
Este informe describe y presenta los resultados del Indice de Desarrollo de la Banda Ancha (IDBA) en América Latina y el Caribe (ALC). El principal objetivo del IDBA es medir la brecha digital en ALC mediante la evaluación del desarrollo de la banda ancha en los 26 países prestatarios del Banco Interamericano de Desarrollo (BID) y también en países adicionales de referencia de otras regiones (65 naciones en total). El BID tiene como misión ayudar al desarrollo de ALC y financiar los esfuerzos tendientes a reducir la pobreza y la desigualdad social en la región. El IDBA contribuirá a focalizar
APA, Harvard, Vancouver, ISO, and other styles
6

Duque Rodríguez, John Alexander, Gloria Patricia Castro Torres, and Lina Tatiana Ochoa Murillo. ¿La desarticulación entre el Plan Integral de Cambio Climático de Antioquia y los planes de desarrollo municipales afecta las inversiones de las administraciones municipales? Contraloría General de Antioquia, 2023. http://dx.doi.org/10.58373/obscga.010.

Full text
Abstract:
El cambio climático –tema de gran relevancia a nivel mundial puesto que es una amenaza acelerada, existente y vigente para la humanidad, los recursos naturales y el ambiente– es considerado por muchos como uno de los mayores desafíos a nivel mundial. Lo anterior contribuido a que el gobierno de Colombia genere nuevas políticas territoriales, basadas en instrumentos de corto, mediano y largo plazo, en las cuales las administraciones municipales adoptan, revisan, actualizan e incorporan, en sus Planes de Desarrollo Municipal, acciones encaminadas a la mitigación de gases efecto invernadero y a l
APA, Harvard, Vancouver, ISO, and other styles
We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!