Log in

Relevant bibliographies by topics / Formal dependences / Journal articles

To see the other types of publications on this topic, follow the link: Formal dependences.

Journal articles on the topic 'Formal dependences'

Author: Grafiati

Published: 28 May 2022

Last updated: 31 July 2025

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

Select a source type:

Consult the top 50 journal articles for your research on the topic 'Formal dependences.'

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.

Browse journal articles on a wide variety of disciplines and organise your bibliography correctly.

1

Vehlies, Uwe. "Stepwise Transformation of Algorithms into Array Processor Architectures by the DECOMP." VLSI Design 3, no. 1 (1995): 67–80. http://dx.doi.org/10.1155/1995/76861.

Full text

Abstract:

A formal approach for the transformation of computation intensive digital signal processing algorithms into suitable array processor architectures is presented. It covers the complete design flow from algorithmic specifications in a high-level programming language to architecture descriptions in a hardware description language. The transformation itself is divided into manageable design steps and implemented in the CAD-tool DECOMP which allows the exploration of different architectures in a short time. With the presented approach data independent algorithms can be mapped onto array processor a

APA, Harvard, Vancouver, ISO, and other styles

2

Borgo, Stefano, and Giandomenico Pozza. "Knowledge objects: a formal construct for material, information and role dependences." Knowledge Management Research & Practice 10, no. 3 (2012): 227–36. http://dx.doi.org/10.1057/kmrp.2012.17.

Full text

APA, Harvard, Vancouver, ISO, and other styles

3

Maślak, Mariusz, and Małgorzata Snela. "Moment – rotation dependence under fire conditions for steel beam-to-column joint with known flexibility." Budownictwo i Architektura 12, no. 2 (2013): 237–44. http://dx.doi.org/10.35784/bud-arch.2140.

Full text

Abstract:

Simplified methodology helpful in a reliable specification of moment - rotation dependences characterizing the steel beam-to-column joint flexibility under fully developed fire conditions is presented and discussed in detail. The shape of identified dependences changes with the temperature increase of the members connected in the considered joint. The analogous relation, known a priori and determined for examined joint being under persistent design situation, is adopted as the reference dependence specified on the basis of the classical component approach. In the presented paper the alternativ

APA, Harvard, Vancouver, ISO, and other styles

4

Kazakov, A. I., D. B. Lempert, A. V. Nabatova, et al. "Kinetics of Thermal Decomposition of N-Propargil Derivatives of 7<i>H</i>-Difurazanofuxanoazepine and 7<i>H</i>-Trifurasanoazepine." Химическая физика 43, no. 3 (2024): 47–54. http://dx.doi.org/10.31857/s0207401x24030053.

Full text

Abstract:

The thermal stability of the propargyl derivatives of 7H-difurazanofuroxanoazepine and 7H-trifurazanoazepine in isothermal and non-isothermal modes has been studied. Formal kinetic regularities of decomposition and temperature dependences of reaction rate constants are determined. The thermal stability of propargyl, cyanomethyl, allyl and amine derivatives of azepines is compared.

APA, Harvard, Vancouver, ISO, and other styles

5

Kazakov, A. I., D. B. Lempert, A. V. Nabatova, et al. "Kinetics of thermal decomposition of methyl derivatives of 7<i>H</i>-difurazanofuxanoazepine and 7<i>H</i>-tryfurasanoazepine." Himičeskaâ fizika 43, no. 4 (2024): 29–36. http://dx.doi.org/10.31857/s0207401x24040043.

Full text

Abstract:

The thermal stability of N-methyl derivatives of 7H-difurasanofuroxanoazepine and 7H-trifurazanoazepine in non-isothermal and isothermal modes has been studied. Formal-kinetic regularities of decomposition and temperature dependences of reaction rate constants have been determined. The thermal stability methyl, propargyl, cyanomethyl, allyl and amine derivatives of azepines is compared.

APA, Harvard, Vancouver, ISO, and other styles

6

Akimova, A. A., V. A. Lomovskoy, and I. D. Simonov-Emel'Yanov. "Organization of structure of porous polyvinyl formal filters for selective water sorption." Materials Science, no. 7 (2023): 3–7. https://doi.org/10.31044/1684-579x-2023-0-7-3-7.

Full text

Abstract:

The data on generating porous structure from PVF during PVA acetalization is presented. The main parameters comprising the average pore diameter, the ratio of open to closed pores, the apparent density, porosity, and water absorption are estimated. It is shown that the density of PVF samples is about 0.54‒0.58 kg/cm3, and the total porosity is 55–57%. The number of open pores decreases from 38% to 23% when the mixing speed grows from 800 to 1200 rpm. The time dependences of PVF water absorption are obtained and it is established that water is mainly sorbed by open pores, reaching the value of

APA, Harvard, Vancouver, ISO, and other styles

7

Podgurski, A., and L. A. Clarke. "A formal model of program dependences and its implications for software testing, debugging, and maintenance." IEEE Transactions on Software Engineering 16, no. 9 (1990): 965–79. http://dx.doi.org/10.1109/32.58784.

Full text

APA, Harvard, Vancouver, ISO, and other styles

8

Milkov, Nikolay. "Mesocosmological Descriptions." Essays in Philosophy 7, no. 2 (2006): 170–86. http://dx.doi.org/10.5840/eip2006723.

Full text

Abstract:

The following paper advances a new argument for the thesis that scientific and historical knowledge are not different in type. This argument makes use of a formal ontology of history which dispenses with generality, laws and causality. It views the past social world as composed of Wittgenstein’s Tractarian objects: of events, ordered in ontological dependencies. Theories in history advance models of past reality which connect—in experiment—faces of past events in complexes. The events themselves are multi-grained so that we can connect together different faces of theirs without counterfeiting

APA, Harvard, Vancouver, ISO, and other styles

9

Yoon, Peter H., and Ronald C. Davidson. "Alternative representation of the dielectric tensor for a relativistic magnetized plasma in thermal equilibrium." Journal of Plasma Physics 43, no. 2 (1990): 269–81. http://dx.doi.org/10.1017/s0022377800014781.

Full text

Abstract:

An alternative representation of the dielectric tensor εij(k, ω) for a relativistic magnetized plasma in thermal equilibrium is presented. This representation involves an infinite series expansion in powers of , as well as an asymptotic expansion for large Here ωc = eB0/mc is the nonrelativistic cyclotron frequency, k⊥ is the wavenumber perpendicular to the magnetic field B0êz, and α is the dimensionless parameter defined by α = mc2/KBT. The present work generalizes Shkarofsky's (1966) representation. Moreover, unlike Trubnikov's (1958) formal result, in which the k⊥ and kz dependences of εij(

APA, Harvard, Vancouver, ISO, and other styles

10

Novoselova, Olga, Anton Ruzheynikov, and Andrey Gavrilov. "Analytical Processing of Applied Tasks Conceptual Models at Design of Information-Active Systems." EPJ Web of Conferences 224 (2019): 06008. http://dx.doi.org/10.1051/epjconf/201922406008.

Full text

Abstract:

The article describes the concept of the methodology of intellectual labor automation, a formal description of the conceptual model (CM) at the object level, and also a description of the analytical processing of CM. The conceptual model is the basis for the design of the system. The conceptual model of an applied task reflects the semantics (the system of knowledge) of the subject field in the form of static and dynamic structures and their linkage. The elements of the static structure are subject categories defined by classes: cycle, process, task, component, object, feature, value. The dyna

APA, Harvard, Vancouver, ISO, and other styles

11

Roux, Filippus S. "Toolbox for non-classical state calculations." Journal of Optics 23, no. 12 (2021): 125201. http://dx.doi.org/10.1088/2040-8986/ac32ee.

Full text

Abstract:

Abstract Computational challenges associated with the use of Wigner functions to identify non-classical properties of states are addressed with the aid of generating functions. It allows the computation of the Wigner functions of photon-subtracted states for an arbitrary number of subtracted photons. Both the formal definition of photon-subtracted states in terms of ladder operators and the experimental implementation with heralded photon detections are analyzed. These techniques are demonstrated by considering photon subtraction from squeezed thermal states as well as squeezed Fock states. Ge

APA, Harvard, Vancouver, ISO, and other styles

12

Tokmakov, Gennadii P., and Aleksandr L. Savkin. "FUNCTIONAL CONNECTION (BINDING), ESSENTIAL ELEMENTS AND RATING AS TOOLS FOR DEVELOPING A SEMANTIC CORRECT SCHEME FOR DATABASES." Автоматизация Процессов Управления 61, no. 3 (2020): 39–49. http://dx.doi.org/10.35752/1991-2927-2020-3-61-39-49.

Full text

Abstract:

The paper considers an ambiguous representation of the subject area reality in data modelling in terms of the relation scheme. There were some attempts to rectify the relational model drawbacks by determining functional dependences among the relation attributes. Those attempts did not tackle the issue completely due to the specific nature of determining functional dependences during standardization of database scheme. The standardization allows eliminating an anomaly of operation updating caused by incorrect models of the subject area associated with the lack of semantic information in the rel

APA, Harvard, Vancouver, ISO, and other styles

13

Vigdorowitsch, Michael, Valery V. Ostrikov, Alexander N. Pchelintsev, and Irina Yu Pchelintseva. "Diffusion Kinetics Theory of Removal of Assemblies’ Surface Deposits with Flushing Oil." Computation 11, no. 8 (2023): 164. http://dx.doi.org/10.3390/computation11080164.

Full text

Abstract:

The diffusion kinetics theory of cleaning assemblies such as combustion engines with flushing oil has been introduced. Evolution of tar deposits on the engine surfaces and in the lube system has been described through the erosion dynamics. The time-dependent concentration pattern related to hydrodynamic (sub)layers around the tar deposit has been uncovered. Nonlinear equations explaining the experimentally observed dependences for scouring the contaminants off with the oil have been derived and indicate the power law in time. For reference purposes, a similar analysis based on formal chemical

APA, Harvard, Vancouver, ISO, and other styles

14

Laviolette, Jerome, Catherine Morency, Owen D. Waygood, and Konstadinos G. Goulias. "Car Ownership and the Built Environment: A Spatial Modeling Approach." Transportation Research Record: Journal of the Transportation Research Board 2676, no. 3 (2021): 125–41. http://dx.doi.org/10.1177/03611981211049409.

Full text

Abstract:

Car ownership is linked to higher car use, which leads to important environmental, social and health consequences. As car ownership keeps increasing in most countries, it remains relevant to examine what factors and policies can help contain this growth. This paper uses an advanced spatial econometric modeling framework to investigate spatial dependences in household car ownership rates measured at fine geographical scales using administrative data of registered vehicles and census data of household counts for the Island of Montreal, Canada. The use of a finer level of spatial resolution allow

APA, Harvard, Vancouver, ISO, and other styles

15

Cox, D. R., and H. S. Battey. "Large numbers of explanatory variables, a semi-descriptive analysis." Proceedings of the National Academy of Sciences 114, no. 32 (2017): 8592–95. http://dx.doi.org/10.1073/pnas.1703764114.

Full text

Abstract:

Data with a relatively small number of study individuals and a very large number of potential explanatory features arise particularly, but by no means only, in genomics. A powerful method of analysis, the lasso [Tibshirani R (1996) J Roy Stat Soc B 58:267–288], takes account of an assumed sparsity of effects, that is, that most of the features are nugatory. Standard criteria for model fitting, such as the method of least squares, are modified by imposing a penalty for each explanatory variable used. There results a single model, leaving open the possibility that other sparse choices of explana

APA, Harvard, Vancouver, ISO, and other styles

16

Cousins, C. S. G. "Formal elasticity of four carbon allotropes: I. The inner elastic constants, internal strain tensors, and zone-centre optic mode frequencies and their pressure dependences." Journal of Physics: Condensed Matter 14, no. 20 (2002): 5091–113. http://dx.doi.org/10.1088/0953-8984/14/20/305.

Full text

APA, Harvard, Vancouver, ISO, and other styles

17

KUPRIKOV, Mikhail Yu, Nikita M. KUPRIKOV, and Lev N. RABINSKIY. "The dependence of the appearance of the aircraft on the conditions of the Arctic basing." INCAS BULLETIN 11, S (2019): 115–23. http://dx.doi.org/10.13111/2066-8201.2019.11.s.11.

Full text

Abstract:

Positioning on the global political arena of the Arctic Territory as the exclusive economic zone of the Russian Federation requires, first of all, the development of a regional transport network, including cargo and passenger traffic for the sustainable development of the region. The solution of such a transportation problem is a compromise of the aircraft performance. The purpose of the article is to analyze and find out how dependent is the appearance of the aircraft on the conditions of stationing in the Arctic. An analysis of the scientific and methodological support and well-known design

APA, Harvard, Vancouver, ISO, and other styles

18

DEL ÁLAMO, G., and F. A. WILLIAMS. "Theory of vaporization of a rigid spherical droplet in slowly varying rectilinear flow at low Reynolds numbers." Journal of Fluid Mechanics 580 (May 21, 2007): 219–49. http://dx.doi.org/10.1017/s0022112007005228.

Full text

Abstract:

The vaporization of a droplet in rectilinear motion relative to a stagnant gaseous atmosphere is addressed for the limit of low Reynolds numbers and slow variation of the droplet velocity. Approximations are introduced that enable a formal asymptotic analysis to be performed with a minimum of complexity. It is shown that, under the conditions addressed, there is an inner region in the vicinity of the droplet within which the flow is nearly quasi-steady except during short periods of time when the acceleration changes abruptly, and there is a fully time-dependent outer region in which departure

APA, Harvard, Vancouver, ISO, and other styles

19

Etibar qızı Aslanlı, Zivər. "Forms and types of internet addiction, causes of occurrence." SCIENTIFIC WORK 65, no. 04 (2021): 354–57. http://dx.doi.org/10.36719/2663-4619/65/354-357.

Full text

Abstract:

Although the rapid development of technology and the Internet has made our lives easier in many ways, it has brought with it a number of problems. One of them is internet addiction, which is a type of behavioral addiction. This type of addiction, especially among young people, has become so dangerous that it is now considered one of the most pressing problems in the world. Internet addiction is not included in the Diagnostic and Statistical Handbook of Mental Disorders, called DSM-IV, published by the American Psychiatric Association in 1994. It was assessed within the substance dependence. In

APA, Harvard, Vancouver, ISO, and other styles

20

Usina, E. E., A. R. Shabanova, and I. V. Lebedev. "Models and a Tecnique for Determining the Speech Activity of a User of a Socio-Cyberphysical System." Proceedings of the Southwest State University 23, no. 6 (2020): 225–40. http://dx.doi.org/10.21869/2223-1560-2019-23-6-225-240.

Full text

Abstract:

Purpose of reseach. The article presents the development of the model-algorithmic support for the process of determining the speech activity of a user of a socio-cyberphysical system. A topological model of a distributed subsystem of audio recordings implemented in limited physical spaces (rooms) is proposed; the model makes it possible to assess the quality of perceived audio signals for the case of distribution of microphones in such a room. Based on this model, a technique for determining the speech activity of a user of a socio-cyberphysical system, which maximizes the quality of perceived

APA, Harvard, Vancouver, ISO, and other styles

21

Wills, Peter R., and Charles W. Carter. "Impedance Matching and the Choice Between Alternative Pathways for the Origin of Genetic Coding." International Journal of Molecular Sciences 21, no. 19 (2020): 7392. http://dx.doi.org/10.3390/ijms21197392.

Full text

Abstract:

We recently observed that errors in gene replication and translation could be seen qualitatively to behave analogously to the impedances in acoustical and electronic energy transducing systems. We develop here quantitative relationships necessary to confirm that analogy and to place it into the context of the minimization of dissipative losses of both chemical free energy and information. The formal developments include expressions for the information transferred from a template to a new polymer, Iσ; an impedance parameter, Z; and an effective alphabet size, neff; all of which have non-linear

APA, Harvard, Vancouver, ISO, and other styles

22

Filippov, A. I., and O. V. Akhmetova. "THE PROBLEM OF A NONLINEAR FILTRATION PRESSURE FIELD IN AN ENVIRONMENT WITH A WEAKLY COMPRESSIBLE SKELETON." Izvestia Ufimskogo Nauchnogo Tsentra RAN, no. 1 (March 12, 2024): 72–78. http://dx.doi.org/10.31040/2222-8349-2024-0-1-72-78.

Full text

Abstract:

The solution of the problem of the pressure field during filtration of a compressible fluid in a porous medium with an incompressible skeleton in the presence of high-amplitude disturbances is presented. The equation describing pressure changes during field development takes into account the compressibility of the fluid and is presented in a nonlinear form. The known dependences of the density of the filtered medium on the pressure are approximated by a linear function. The movement is assumed to be one-dimensional and horizontal. The porosity, density and permeability of the porous medium ske

APA, Harvard, Vancouver, ISO, and other styles

23

Иванкина, Л. И., Е. И. Клемашева, Э. Р. Кашапова, and Е. А. Аникина. "Modeling and empirical verification of dependences of the influence of socio-economic situation of elderly persons on the level of resilience." Успехи геронтологии, no. 6 (January 13, 2022): 953–60. http://dx.doi.org/10.34922/ae.2021.34.6.019.

Full text

Abstract:

В работе проведен эмпирический анализ влияния на уровень жизнестойкости параметров социально-экономического положения людей пожилого возраста на основе данных социологического опроса. Моделирование исследования включало выбор переменных с учетом критерия комплексности измеряемых параметров. Эмпирической базой для исследования являлись результаты анкетирования лиц пожилого возраста (выборочная совокупность 400 человек), проживающих в городах и сельской местности Томской обл. Для тестирования гипотез использовали моделирование и корреляционный анализ. Для выявления зависимости применена формальн

APA, Harvard, Vancouver, ISO, and other styles

24

Geyda, Alexander, and Igor Lysenko. "Modeling of Information Operations Effects: Technological Systems Example." Future Internet 11, no. 3 (2019): 62. http://dx.doi.org/10.3390/fi11030062.

Full text

Abstract:

The article outlines conceptual and corresponding formal models of system functioning. Models provide means for estimation of information operation effects and the operational properties of systems and their functioning. Such systems are changed due to information operations. Examples of operational properties are efficiency, the effectiveness of system functioning, system capabilities and system potential. Operational properties are estimated based on functioning effects. Such effects of information operations are manifested through a system functioning under the conditions of a changing envi

APA, Harvard, Vancouver, ISO, and other styles

25

Krylova, Anastasia G., Iraida V. Voronyuk, and Tatiana V. Eliseeva. "Equilibrium characteristics of sorption of some phenolic compounds by FIBAN A-1 fiber from aqueous solutions." Сорбционные и хроматографические процессы 23, no. 6 (2024): 1134–40. http://dx.doi.org/10.17308/sorpchrom.2023.23/11873.

Full text

Abstract:

Many phenolic compounds are related to the group of toxic substances, the occurrence of which in wastewater has a negative impact on the environment. In addition to extraction, biochemical, and membrane methods for the isolation of hydroxybenzenes from aqueous media, sorption methods using active carbon, nonionic polymers, and ion-exchange materials are also actively used. The purpose of this work was to establish the features of the sorption of phenol, resorcinol and phloroglucinol from aqueous solutions with FIBAN fibers. Sorption was studied under static conditions at a temperature of 298 K

APA, Harvard, Vancouver, ISO, and other styles

26

Beeri, Catriel, and Moshe Y. Vardi. "Formal systems for join dependencies." Theoretical Computer Science 38 (1985): 99–116. http://dx.doi.org/10.1016/0304-3975(85)90212-9.

Full text

APA, Harvard, Vancouver, ISO, and other styles

27

Fabian, M., N. Dulgheru, K. Antonova, A. Szekeres, and M. Gartner. "Investigation of the Atomic Structure of Ge-Sb-Se Chalcogenide Glasses." Advances in Condensed Matter Physics 2018 (December 2, 2018): 1–11. http://dx.doi.org/10.1155/2018/7158079.

Full text

Abstract:

Glasses with composition of GexSb40-xSe60 (x= 40, 35, 32, 27, 20, 15 at. %) have been synthesized. Neutron and X-ray diffraction techniques were used to study the atomic glassy structure, and Reverse Monte Carlo (RMC) simulations were applied to model the 3-dimensional atomic configurations and thorough mapping of the atomic parameters, such as first and second neighbour distances, coordination numbers, and bond-angle distributions. The results are explained with formation of GeSe4 and SbSe3 structural units, which correlate with the Ge/Sb ratio. For all the studied compositions, the Ge-Se, Sb

APA, Harvard, Vancouver, ISO, and other styles

28

RIVELLO, EDOARDO. "FORMAL REPRESENTATIONS OF DEPENDENCE AND GROUNDEDNESS." Review of Symbolic Logic 13, no. 1 (2019): 105–40. http://dx.doi.org/10.1017/s1755020319000315.

Full text

Abstract:

AbstractWe study, in an abstract and general framework, formal representations of dependence and groundedness which occur in semantic theories of truth. Our goals are (a) to relate the different ways in which groundedness is defined according to the way dependence is represented and (b) to represent different notions of dependence as instances of a suitable generalisation of the mathematical notion of functional dependence.

APA, Harvard, Vancouver, ISO, and other styles

29

IVKOVIC, IGOR, and KOSTAS KONTOGIANNIS. "TOWARDS AUTOMATIC ESTABLISHMENT OF MODEL DEPENDENCIES USING FORMAL CONCEPT ANALYSIS." International Journal of Software Engineering and Knowledge Engineering 16, no. 04 (2006): 499–522. http://dx.doi.org/10.1142/s0218194006002902.

Full text

Abstract:

Software evolution is an iterative and incremental process that encompasses the modification and alteration of software models at different levels of abstraction. These modifications are usually performed independently, but the objects to which they are applied to, are in most cases mutually dependent. Inconsistencies and drift among related artifacts may be created if the effects of an alteration are not properly identified, recorded, and propagated in other dependent models. For large systems, it is possible that there is a considerable number of such model dependencies, for which manual ext

APA, Harvard, Vancouver, ISO, and other styles

30

Lebacher, Michael, Paul W. Thurner, and Göran Kauermann. "Exploring dependence structures in the international arms trade network: A network autocorrelation approach." Statistical Modelling 20, no. 2 (2019): 195–218. http://dx.doi.org/10.1177/1471082x18817673.

Full text

Abstract:

In this article, we analyse dependence structures among international trade flows of major conventional weapons from 1952 to 2016. We employ a Network Disturbance Model commonly used in inferential network analysis and spatial econometrics. The dependence structure is represented by pre-defined weight matrices that allow for correlating flows from the network of international arms exchange. Three dependence structures are proposed, representing sender-, receiver- and sender–receiver-related dependencies. The appropriateness of the presumed structures is comparatively assessed using the Akaike

APA, Harvard, Vancouver, ISO, and other styles

31

Dubois, D., J. Medina, H. Prade, and E. Ramírez-Poussa. "Disjunctive attribute dependencies in formal concept analysis under the epistemic view of formal contexts." Information Sciences 561 (June 2021): 31–51. http://dx.doi.org/10.1016/j.ins.2020.12.085.

Full text

APA, Harvard, Vancouver, ISO, and other styles

32

Kamińska-Korolczuk, Katarzyna. "Konstytucyjne i pozakonstytucyjne uwarunkowania władzy prezydenta Brazylii." Przegląd Prawa Konstytucyjnego 74, no. 4 (2023): 243–56. http://dx.doi.org/10.15804/ppk.2023.04.18.

Full text

Abstract:

The study aims to analyze the key formal and extralegal elements affecting the functioning of the office of president in Brazil. The subject of consideration is the political position of the president resulting from the Constitution of the Federative Republic of Brazil of October 5, 1988, and the socioultural dependencies occurring in this country. The thesis of the article is the statement that the power of the President of Brazil results not only from the provisions of the Constitution but also from unconstitutional dependence on pressure groups, i.e. the bureaucratic state – estamento buroc

APA, Harvard, Vancouver, ISO, and other styles

33

Juslin, Peter, Pia Wennerholm, and Henrik Olsson. "Format dependence in subjective probability calibration." Journal of Experimental Psychology: Learning, Memory, and Cognition 25, no. 4 (1999): 1038–52. http://dx.doi.org/10.1037/0278-7393.25.4.1038.

Full text

APA, Harvard, Vancouver, ISO, and other styles

34

Soares, Armando da Assunção, and Paula Maria Machado Cruz Catarino. "Modelação e Simulação do enchimento de recipientes usando o modellus." Revista de Ensino de Ciências e Matemática 6, no. 3 (2015): 38–53. http://dx.doi.org/10.26843/rencima.v6i3.987.

Full text

Abstract:

A modelação do enchimento de recipientes com diferentes formatos é um problema bastante interessante do ponto de vista da física e da matemática, que pode ser explorado tanto em espaços de educação formal como não-formal. A interpretação dos gráficos resultantes da análise dos enchimentos e que representam a evolução da altura da superfície livre de um líquido em função do tempo, apresenta-se como um desafio nem sempre fácil para a maioria dos alunos que ingressam na universidade. Neste artigo, mostramos como o software Modellus 4.01 pode ajudar a ultrapassar este desafio e desempenhar um pape

APA, Harvard, Vancouver, ISO, and other styles

35

Mokrzycka, Justyna, and Anna Pajor. "Formal Comparison of Copula-AR(1)-t-GARCH(1,1) Models for Sub-Indices of the Stock Index WIG." Przegląd Statystyczny 63, no. 2 (2016): 123–48. http://dx.doi.org/10.5604/01.3001.0014.1156.

Full text

Abstract:

Copulas have become one of most popular tools used in modelling the dependencies among financial time series. The main aim of the paper is to formally assess the relative explanatory power of competing bivariate Copula-AR-GARCH models, which differ in assumptions on the conditional dependence structure represented by particular copulas. For the sake of comparison the Copula-AR-GARCH mod-els are estimated using the maximum likelihood method, and next they are informally compared and ranked according to the values of the Akaike (AIC) and of the Schwarz (BIC) information criteria. We apply these

APA, Harvard, Vancouver, ISO, and other styles

36

Selviaridis, Kostas, Aristides Matopoulos, Leslie Thomas Szamosi, and Alexandros Psychogios. "Reverse resource exchanges in service supply chains: the case of returnable transport packaging." Supply Chain Management: An International Journal 21, no. 3 (2016): 381–97. http://dx.doi.org/10.1108/scm-07-2015-0265.

Full text

Abstract:

Purpose The purpose of this paper is to understand how reverse resource exchanges and resource dependencies are managed in the service supply chain (SSC) of returnable transport packaging (RTP). Design/methodology/approach A single case study was conducted in the context of automotive logistics focusing on the RTP SSC. Data were collected through 16 interviews, primarily with managers of a logistics service provider (LSP) and document analysis of contractual agreements with key customers of the packaging service. Findings Resource dependencies among actors in the SSC result from the importance

APA, Harvard, Vancouver, ISO, and other styles

37

Reipa, Vytas, Marcia J. Holden, Martin P. Mayhew, and Vincent L. Vilker. "Temperature dependence of the formal reduction potential of putidaredoxin." Biochimica et Biophysica Acta (BBA) - Bioenergetics 1459, no. 1 (2000): 1–9. http://dx.doi.org/10.1016/s0005-2728(00)00108-0.

Full text

APA, Harvard, Vancouver, ISO, and other styles

38

RUMPF, HANS-JÜRGEN, GALLUS BISCHOF, ULFERT HAPKE, CHRISTIAN MEYER, and ULRICH JOHN. "STABILITY OF REMISSION FROM ALCOHOL DEPENDENCE WITHOUT FORMAL HELP." Alcohol and Alcoholism 41, no. 3 (2006): 311–14. http://dx.doi.org/10.1093/alcalc/agl008.

Full text

APA, Harvard, Vancouver, ISO, and other styles

39

Balfour, David J. K. "Formal learning theory and nicotine dependence: Response to Blakey." Nicotine & Tobacco Research 7, no. 3 (2005): 483. http://dx.doi.org/10.1080/14622200500124750.

Full text

APA, Harvard, Vancouver, ISO, and other styles

40

Blakey, John. "Formal learning theory and nicotine dependence: Response to Balfour." Nicotine & Tobacco Research 7, no. 3 (2005): 481–82. http://dx.doi.org/10.1080/14622200500124800.

Full text

APA, Harvard, Vancouver, ISO, and other styles

41

Banerjee, Utpal. "An introduction to a formal theory of dependence analysis." Journal of Supercomputing 2, no. 2 (1988): 133–49. http://dx.doi.org/10.1007/bf00128174.

Full text

APA, Harvard, Vancouver, ISO, and other styles

42

Cațaron, Angel, Razvan Andonie, and Yvonne Chueh. "Asymptotically Unbiased Estimation of A Nonsymmetric Dependence Measure Applied to Sensor Data Analytics and Financial Time Series." International Journal of Computers Communications & Control 12, no. 4 (2017): 475. http://dx.doi.org/10.15837/ijccc.2017.4.2928.

Full text

Abstract:

A fundamental concept frequently applied to statistical machine learning is the detection of dependencies between unknown random variables found from data samples. In previous work, we have introduced a nonparametric unilateral dependence measure based on Onicescu’s information energy and a kNN method for estimating this measure from an available sample set of discrete or continuous variables. This paper provides the formal proofs which show that the estimator is asymptotically unbiased and has asymptotic zero variance when the sample size increases. It implies that the estimator has good stat

APA, Harvard, Vancouver, ISO, and other styles

43

Akbar, Mohammad Deni, and Yoshihiro Mizoguchi. "Fuzzy Implication and Functional Dependency on Formal Context." Jurnal Matematika Integratif 15, no. 2 (2020): 69. http://dx.doi.org/10.24198/jmi.v15.n2.21693.69.

Full text

Abstract:

Fuzzy formal concept analysis(FFCA) is a development of formal concept analysis(FCA) with the degree of relation between objects and attributes. Using FCA approach, we will investigate the condition logical implication for fuzzy functional dependency. We also use Armstrong's rule to define soundness and completeness of our implication and fuzzy functional dependency model. We show difference and equivalence condition between fuzzy implication and fuzzy functional dependency. This condition can be used to develop the algorithm for finding attribute dependency.

APA, Harvard, Vancouver, ISO, and other styles

44

Akbar, Mohammad Deni, and Yoshihiro Mizoguchi. "Fuzzy Implication and Functional Dependency on Formal Context." Jurnal Matematika Integratif 15, no. 2 (2019): 69. http://dx.doi.org/10.24198/jmi.v15i2.21693.

Full text

Abstract:

Fuzzy formal concept analysis(FFCA) is a development of formal concept analysis(FCA) with the degree of relation between objects and attributes. Using FCA approach, we will investigate the condition logical implication for fuzzy functional dependency. We also use Armstrong's rule to define soundness and completeness of our implication and fuzzy functional dependency model. We show difference and equivalence condition between fuzzy implication and fuzzy functional dependency. This condition can be used to develop the algorithm for finding attribute dependency.

APA, Harvard, Vancouver, ISO, and other styles

45

Petrov, A. N., and M. V. Grigoryev. "NUMERICAL MODELLING OF DYNAMIC RESPONSE OF A PARTIALLY SATURATED POROELASTIC HALF-SPACE IN CASE OF A LOAD ACTING INSIDE A CUBIC CAVITY." Problems of strenght and plasticity 82, no. 4 (2020): 507–23. http://dx.doi.org/10.32326/1814-9146-2020-82-4-507-523.

Full text

Abstract:

Computer modeling based on the boundary element method is performed for the problem of loading in terms of the Heaviside step function inside a cubic cavity located in a partially saturated poroelastic half-space. A poroelastic medium is represented by a heterogeneous material-based model consisting of an elastic matrix phase and two phases of fillers – liquid and gas filling the pore system. The material model corresponds to a three-component medium. The constitutive relations of poroelastic medium written in terms skeleton displacements and pore pressures of fillers are considered. The origi

APA, Harvard, Vancouver, ISO, and other styles

46

Beynon, Meurig, Jaratsri Rungrattanaubol, and Jane Sinclair. "Formal Specification from an Observation-Oriented Perspective." JUCS - Journal of Universal Computer Science 6, no. (4) (2000): 407–21. https://doi.org/10.3217/jucs-006-04-0407.

Full text

Abstract:

A formal specification of an algorithm is a very rich mathematical abstraction. In general, it not only specifies an input-output relation, but also - at some level of abstraction - constrains the states and transitions associated with computing this relation. This paper explores the relationship between a formal specification of an algorithm and the many different ways in which the associated states and transitions can be embodied in physical objects and agency. It illustrates the application of principles, tools and techniques that have been developed in the Empirical Modelling Project at Wa

APA, Harvard, Vancouver, ISO, and other styles

47

Chen, Zehan, Yuliang Lu, Kailong Zhu, Lu Yu, and Jiazhen Zhao. "Fast Format-Aware Fuzzing for Structured Input Applications." Applied Sciences 12, no. 18 (2022): 9350. http://dx.doi.org/10.3390/app12189350.

Full text

Abstract:

Fuzzing is one of the most successful software testing techniques used to discover vulnerabilities in programs. Without seeds that fit the input format, existing runtime dependency recognition strategies are limited by incompleteness and high overhead. In this paper, for structured input applications, we propose a fast format-aware fuzzing approach to recognize dependencies from the specified input to the corresponding comparison instruction. We divided the dependencies into Input-to-State (I2S) and indirect dependencies. Our approach has the following advantages compared to existing works: (1

APA, Harvard, Vancouver, ISO, and other styles

48

Baixeries, Jaume, Mehdi Kaytoue, and Amedeo Napoli. "Characterizing functional dependencies in formal concept analysis with pattern structures." Annals of Mathematics and Artificial Intelligence 72, no. 1-2 (2014): 129–49. http://dx.doi.org/10.1007/s10472-014-9400-3.

Full text

APA, Harvard, Vancouver, ISO, and other styles

49

Li, Shuo, Zhijun Ding, and Meiqin Pan. "Formal Modelling of Program Dependence Net for Software Model Checking." Computing and Informatics 43, no. 5 (2024): 1161–84. http://dx.doi.org/10.31577/cai_2024_5_1161.

Full text

APA, Harvard, Vancouver, ISO, and other styles

50

Camacho, Juan Diego. "La ciudad como reflexión formal." Index, revista de arte contemporáneo, no. 05 (June 29, 2018): 112–19. http://dx.doi.org/10.26807/cav.v0i05.136.

Full text

Abstract:

El presente artículo reflexiona acerca de la obra de instalación titulada "Lo Que Será Será y Así Fue", exhibida en la muestra Cuerpos de Lengua - KIIL en el Museo de Arte Contemporáneo del Zulia (MACZUL) en Venezuela, en noviembre del 2017. A través de una ambientación arquitectónica, la obra visibiliza una realidad urbana que tienen en común las grandes ciudades de los países con dependencia económica y tecnológica de las potencias, que, a pesar de sus múltiples diferencias lingüísticas o culturales, comparten una tipología arquitectónica. Esta pieza remite a distintos conceptos de la ciudad

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!