Filters








22 Hits in 2.3 sec

Page 1068 of Mathematical Reviews Vol. , Issue 88b [page]

1988 Mathematical Reviews  
This is illustrated by an example.” 88b:68129 68Q60 Farifias del Cerro, Luis (F-TOUL3-L); Orlowska, Ewa (PL-PAN-C) Corrigendum: “DALa logic for data analysis” [Theoret. Comput.  ...  The authors note that their original axiomatization of the logic DAL is not sound with respect to the given semantics.  ... 

Cumulative index volumes 1–100

1992 Theoretical Computer Science  
Oriowska, DAL -a logic for data analysis (Corrigcmdum) Fauconnier, H., Semantique asynchrone et comportements intinis en CSP 54 (2-3) ( 1987) 277-298 Fedou, J.M., see M.P.  ...  DAL -a logic for data analysis 36 (2-3) ( 1985 ) 25 l-264 47 (3) ( 1986 1 345 Fariiias de1 Cerro, L., see P. Enjalbert 65 ( 1 ) ( 1989) 1-33 Farinone, J.-M., seeL.  ... 
doi:10.1016/0304-3975(92)90292-n fatcat:ekwes6owtrco3lkfkiqagnketq

Cumulative index of volumes 1–50

1988 Theoretical Computer Science  
OR~OWSKA, DAL-a logic for data analysis FARI~~AS DEL CERRO, L. and E. OR~OWSKA, DAL-a logic for data analysis (Corrigendum) FARR, G. and C.  ...  Vauquelin FRANCON, J., On the analysis of algorithms for trees FREDERICKSON, G.N., Recursively rotated orders and implicit data structures: A lower bound FREDERICKSON, G.N. and J.  ...  ., An interative and starvation-free solution for a general class of distributed control problems based on interaction primitives WEDDE, H., see A.  ... 
doi:10.1016/0304-3975(88)90002-3 fatcat:gasluptczbb6bfplioxrtdrlpy

Reference list of indexed articles

1995 Theoretical Computer Science  
Average-case analysis of unification algorithms G.M. Kuper and M.Y. Vardi, On the complexity of queries in the logical data model R.J. Lipton, J.F. Naughton, D.A. Schneider and S. Seshadri.  ...  Meo, A compositicnal semantics for logic programs 122 (I-2) (1994) 3-47 328. L.M. Pereira, J.J. Alferes and J.N.  ... 
doi:10.1016/0304-3975(95)90002-0 fatcat:b7nmywx4tff6lhcd3jkoagotrm

Reference list of indexed articles

1995 Theoretical Computer Science  
A semantic characterisatton for faults in rephcated systems 128 (l-2) (1994) 1599177 441. H. De Meer. K.S. Trivedi and M. Dal Cm. Guarded repair of dependable systems 128 (I-2) (1994) 179m 210 442.  ...  A Prolog technology theorem prover: a new exposition and implementation in Prolog 104 (I) (1992) 1099128 19. C.L. Talcott. A theory for program and data type specification H.L. Bodlaender and D.  ... 
doi:10.1016/0304-3975(95)80003-4 fatcat:5nnk76aalje5potfoeg7hksbce

Substantiation of the perspectivity of improving of the population informing about the criteria of the correct choice of modern multivitamin drugs

Tetiana Kutsenko, Dmitro Semeniv, Katherina Shchokina, Galina Belik, Yurii Stoletov, Olga Getalo
2021 ScienceRise Biological Science  
From the data obtained, it can be concluded that on many issues the respondents showed an insufficient level of knowledge, which justifies the need for additional information about multivitamins, and indicates  ...  To achieve the goal of the study, it was necessary to develop a questionnaire for visitors to pharmacies and carry out an anonymous survey of them.  ...  G., Ferracini, A. C., Madeira, C. D. S., Oliveira, L. S., Gava Mazzola, P. (2021). Corrigendum: Self- Medication Among Pregnant Women: Prevalence and Associated Factors.  ... 
doi:10.15587/2519-8025.2021.249494 fatcat:easbk24t2barzpm5e3lyilbkem

Retirement and cognitive decline. A longitudinal analysis using SHARE data

Martina Celidoni, Chiara Dal Bianco, Guglielmo Weber
2017 Journal of Health Economics  
(s), if any, in study design; in the collection, analysis and interpretation of data; in the writing of the report; and in the decision to submit the article for publication.  ...  logical naming convention for your artwork files. • Indicate per figure if it is a single, 1.5 or 2-column fitting image. • For Word submissions only, you may still provide figures and their captions,  ... 
doi:10.1016/j.jhealeco.2017.09.003 pmid:29040897 fatcat:bn5knlbcsbhrfehmue3dctvoe4

Page 545 of Mathematical Reviews Vol. , Issue Subject Index [page]

Mathematical Reviews  
Yang, Miin-Shen (with Lin, Tzu-Shun) Fuzzy least-squares linear regression analysis for fuzzy input-output data.  ...  English and Chinese summaries) Wolkenhauer, Olaf * Possibility theory with applications to data analysis.  ... 

Page 1660 of Mathematical Reviews Vol. , Issue Subject Index [page]

Mathematical Reviews  
(English summary) Biswas, Atanu (with Das, Kalyan) Salamander mating experiment—a Bayesian data analysis.  ...  (English summary) (see 2002d:00021) Kim, Dal Ho (with Kang, Sang Gil; Lee, Woo Dong) Noninformative priors for intraclass correlation coefficient in familial data.  ... 

Page 1077 of Mathematical Reviews Vol. , Issue Index [page]

Mathematical Reviews  
Allen Uniform inevitability is tree automaton ineffable. 88h:68061 Farifias del Cerro, Luis (with Orlowska, Ewa) Corrigendum: “DALa logic for data analysis” [Theoret. Comput.  ...  Application of paraconsistent logic to the analysis of programs. (Russian) (See 88e:68007) Drabent, Wiodzimierz (with Maluszynski, Jan) Inductive assertion method for logic programs.  ... 

Serological survey of Encephalitozoon cuniculi infection in commercially reared rabbit does in Northern Italy

Chiara Lonardi, Guido Grilli, Viviana Ferrazzi, Marta Dal Cin, Davide Rigolin, Alessandra Piccirillo
2013 Research in Veterinary Science  
(s), if any, in study design; in the collection, analysis and interpretation of data; in the writing of the report; and in the decision to submit the article for publication.  ...  If the manuscript has already been published in an online issue, any requests approved by the Editor will result in a corrigendum.  ...  Please submit your material together with the article and supply a concise, descriptive caption for each supplementary file.  ... 
doi:10.1016/j.rvsc.2012.09.020 pmid:23083923 fatcat:fabg2myt7jbepma3tizmuzlgba

Page 1767 of Mathematical Reviews Vol. , Issue Index [page]

Mathematical Reviews  
Computational connections between robust multivariate analysis and clustering. Romanazzi, Mario Corrigendum: “Influence function of halfspace depth” [J.  ...  Semiparametric regression for clustered data using generalized estimating equations.  ... 

Page 824 of Mathematical Reviews Vol. , Issue Index [page]

Mathematical Reviews  
Marek) 88f:68021 68P15 (03B70, 03F99) (with Farifias del Cerro, Luis) Corrigendum: “DALa logic for data analysis” [Theoret. Comput. Sci. 36 (1985), no. 2, 251-264; MR 86m:68094]. Theoret. Comput.  ...  (Editors) 88b:68129 68Q60 Semantical analysis of inductive reasoning. Essays on philosophy and logic (Cracow, 1984), 107-119, Uniw. Jagiellonski, Cracow, 1987.  ... 

Page 1344 of Mathematical Reviews Vol. , Issue Index [page]

Mathematical Reviews  
(Summary) 2004c:90109 90C59 (05C85, 68R10, 90C35) — (with Osorio, Maria A.) Logic cuts for multilevel generalized assignment problems. (English summary) European J. Oper.  ...  (see 2004g:00018) 93C65 (90B20) AUTHOR INDEX 2004 1344 — (with Hardouin, Laurent; Boimond, Jean-Louis) Models combination in (max, +) algebra for the implementation of a simulation and analysis software  ... 

Page 1690 of Mathematical Reviews Vol. , Issue Author Index [page]

Mathematical Reviews  
.; Wang, Song) A weighted version of Ostrowski inequality for mappings of Hélder type and applications in numerical analysis. (English summary) Bull. Math. Soc. Sci. Math.  ...  (with Zhang, Guo-Qiang) Clausal logic and logic programming in algebraic domains. (English summary) /nform. and Comput. 171 (2001), no. 2, 183-200.  ... 
« Previous Showing results 1 — 15 out of 22 results