Journal articles: 'Calcul Ito'

1

Hebrard, Jean-Jacques, and Maxime Crochemore. "Calcul de la distance par les sous-mots." RAIRO - Theoretical Informatics and Applications 20, no. 4 (1986): 441–56. http://dx.doi.org/10.1051/ita/1986200404411.

Full text

APA, Harvard, Vancouver, ISO, and other styles

2

Krivine, Jean-Louis. "Lambda-calcul, évaluation paresseuse et mise en mémoire." RAIRO - Theoretical Informatics and Applications 25, no. 1 (1991): 67–84. http://dx.doi.org/10.1051/ita/1991250100671.

Full text

APA, Harvard, Vancouver, ISO, and other styles

3

Nour, K. "Entiers intuitionnistes et entiers classiques en $\lambda \, C$-calcul." RAIRO - Theoretical Informatics and Applications 29, no. 4 (1995): 293–313. http://dx.doi.org/10.1051/ita/1995290402931.

Full text

APA, Harvard, Vancouver, ISO, and other styles

4

Crole, Roy L. "Encoding FIX in Object Calculi." RAIRO - Theoretical Informatics and Applications 34, no. 1 (January 2000): 15–38. http://dx.doi.org/10.1051/ita:2000104.

Full text

APA, Harvard, Vancouver, ISO, and other styles

5

Wagner, Donald. "THE ADMINISTRATION OF THE IRON INDUSTRY IN ELEVENTH-CENTURY CHINA." Journal of the Economic and Social History of the Orient 44, no. 2 (2001): 175–97. http://dx.doi.org/10.1163/156852001753731033.

Full text

Abstract:

AbstractRobert Hartwell's research in the early 1960's into the iron industry of Song China (960-1279) showed, using a variety of evidence, that the applications of iron expanded greatly in the early Song. He then calculated from tax data the annual iron production of China in the 11th century. This article argues that, while Hartwell's qualitative conclusions hold, his specific calculation of annual production is flawed: no reliable calculation is possible based on presently available sources. Les recherches de Robert Hartwell au début des années 1960 sur l'industrie du fer en Chine à l'époque Song (960-1279) ont montré, en exploitant un large éventail de faits évidents, que les demandes en fer ont fort augmenté dans la première période de l'époque Song. Il avait alors calculé, d'après les données tirées des registres d'imposition, la production annuelle de ce minerai en Chine au XIème siècle. Cet article relève que, si les conclusions qualitatives de Hartwell paraissent correctes, son évaluation de la production annuelle s'avère infondée: aucun calcul fiable ne peut être effectué en exploitant les données actuellement disponibles.

APA, Harvard, Vancouver, ISO, and other styles

6

Abdeljaouad, Ines. "Calculs d'invariants primitifs de groupes finis." RAIRO - Theoretical Informatics and Applications 33, no. 1 (January 1999): 59–77. http://dx.doi.org/10.1051/ita:1999106.

Full text

APA, Harvard, Vancouver, ISO, and other styles

7

Helary, Jean-Michel, Aomar Maddi, and Michel Raynal. "Calcul réparti d'un extrémum et du routage associé dans un réseau quelconque." RAIRO - Theoretical Informatics and Applications 21, no. 3 (1987): 223–44. http://dx.doi.org/10.1051/ita/1987210302231.

Full text

APA, Harvard, Vancouver, ISO, and other styles

8

Czaja, Ludwik. "Calculi of net structures and sets are similar." RAIRO - Theoretical Informatics and Applications 42, no. 2 (September 6, 2007): 271–84. http://dx.doi.org/10.1051/ita:2007033.

Full text

APA, Harvard, Vancouver, ISO, and other styles

9

Coudert, Olivier, and Jean-Christophe Madre. "Une approche intentionnelle du calcul des implicants premiers et essentiels des fonctions booléennes." RAIRO - Theoretical Informatics and Applications 28, no. 2 (1994): 125–49. http://dx.doi.org/10.1051/ita/1994280201251.

Full text

APA, Harvard, Vancouver, ISO, and other styles

10

Maksimenko, Marianne. "Algorithme quadratique de calcul de la solution générale d'équations en mots à une variable." RAIRO - Theoretical Informatics and Applications 29, no. 4 (1995): 277–84. http://dx.doi.org/10.1051/ita/1995290402771.

Full text

APA, Harvard, Vancouver, ISO, and other styles

11

Charron-Bost, Bernadette, and Gérard Tel. "Calculs approchés de la borne inférieure de valeurs réparties." RAIRO - Theoretical Informatics and Applications 31, no. 4 (1997): 305–30. http://dx.doi.org/10.1051/ita/1997310403051.

Full text

APA, Harvard, Vancouver, ISO, and other styles

12

Béal, Marie-Pierre. "Puissance extérieure d'un automate déterministe, application au calcul de la fonction zêta d'un système sofique." RAIRO - Theoretical Informatics and Applications 29, no. 2 (1995): 85–103. http://dx.doi.org/10.1051/ita/1995290200851.

Full text

APA, Harvard, Vancouver, ISO, and other styles

13

Anselmetti, Bernard. "Calcul tridimensionnel de la résultante d'une chaîne de cotes en cotation ISO, en vue d'un calcul probabiliste." Mécanique & Industries 8, no. 3 (May 2007): 173–85. http://dx.doi.org/10.1051/meca:2007036.

Full text

APA, Harvard, Vancouver, ISO, and other styles

14

Dawson, Jeremy E., and Rajeev Goré. "Embedding Display Calculi into Logical Frameworks:." Electronic Notes in Theoretical Computer Science 42 (January 2001): 89–103. http://dx.doi.org/10.1016/s1571-0661(04)80880-6.

Full text

APA, Harvard, Vancouver, ISO, and other styles

15

Ueda, Kazunori. "Encoding Distributed Process Calculi into LMNtal." Electronic Notes in Theoretical Computer Science 209 (April 2008): 187–200. http://dx.doi.org/10.1016/j.entcs.2008.04.012.

Full text

APA, Harvard, Vancouver, ISO, and other styles

16

Yucel, Cem, and Salih Budak. "Association between large prostate calculi and prostate cancer." Archivio Italiano di Urologia e Andrologia 90, no. 3 (September 30, 2018): 181–83. http://dx.doi.org/10.4081/aiua.2018.3.181.

Full text

Abstract:

Objective: We investigated the relationship between large prostate calculi and prostate cancer (PCa) risk. Materials and methods: The medical records of 340 patients who received a prostate biopsy at our institution between January 2015 and August 2016 were reviewed retrospectively. Of the patients, 82 had large prostatic calculi visualised by transrectal ultrasonography and 88 did not or had scarce prostatic calculi. We divided these patients into two groups: patients with large prostatic calculi (group 1) and patients without prostatic calculi (group 2). These groups were compared according to age, total prostate specific antigen (PSA) level, prostate volume, and final pathological diagnosis.Results: The mean age of all patients was 61.4 ± 6.2 years, the mean total PSA was 12.3 ± 17.4 ng/mL, the mean prostate volume was 41.7 ± 17.6 mL, and the overall cancer detection rate was 31.5%. The cancer detection rates were 41.3% and 22.6% in groups 1 and 2, respectively (p = 0.018). No significant differences in mean age, mean total PSA, or mean prostate volume were observed between the groups. Conclusions: In the present study, large prostatic calculi were associated with PCa. However, more study is needed to examine the relationship between large prostatic calculi and PCa in more detail. The effects of particularly large prostate calculi in the development of PCa will be a necessary focus of future research.

APA, Harvard, Vancouver, ISO, and other styles

17

Stojanovic, Dragos, Mirjana Stojanovic, Predrag Milojevic, Zorica Caparevic, Djordje Lalosevic, and Dragan Radovanovic. "Strategies for endoscopic and surgical management of common bile duct stones." Medical review 56, no. 1-2 (2003): 69–75. http://dx.doi.org/10.2298/mpns0302069s.

Full text

Abstract:

Introduction Common bile duct calculi represent a pathologic entity involving obstructive icterus, cholangitis, hepatic cirrhosis or pancreatitis. Common bile duct calculi mostly have a secondary origin (from gallbladder) in 95% of cases, while primary choledocholithiasis is rare. Classification From surgical aspect, common bile duct calculi can be: 1. Asymptomatic, without manifested symptoms or signs,2. Mobile, with intermittent biliar obstruction and disobstruction, 3. Fixed, with obstruction and signs of hepato-biliary and/or bilio-pancreatic duct, 4. Transitory, microcalculi which pass through Vater's Papilla by propulsion into duodenum with symptoms. Discussion Modern biliary surgery includes diagnosis of common bile duct calculi, and if possible preoperative endoscopic (endoluminal) surgery, which is less invasive for patients. If such approach is not possible, it is necessary to perform stone extraction and cholecystectomy. Conclusion Common bile duct calculi represent a common disease of the digestive system. Endoscopic diagnostic procedure is very important in management of choledocholithiasis Endoscopic treatment of common bile duct calculi prior to cholecystectomy is a method of choice and a strategy for associated cholecysto-choledocholithiasis.

APA, Harvard, Vancouver, ISO, and other styles

18

Pieras, Enrique, Antonia Costa-Bauz, Margarita Ramis, and Felix Grases. "Papillary and Nonpapillary Calcium Oxalate Monohydrate Renal Calculi: Comparative Study of Etiologic Factors." Scientific World JOURNAL 6 (2006): 2411–19. http://dx.doi.org/10.1100/tsw.2006.374.

Full text

Abstract:

Calcium oxalate monohydrate (COM) renal calculi can be classified into two groups: papillary and nonpapillary. In this paper, a comparative study between etiologic factors of COM papillary and nonpapillary calculi is performed. The study included 40 patients with COM renal calculi. The urine of these individuals was analyzed. Case history, lifestyle, and dietetic habits were obtained.No significant differences between urinary biochemical data of both groups were observed; 50% of COM papillary stone formers and 40% of COM nonpapillary stone formers had urolithiasis family history. A low consumption of phytate-rich products was observed for both groups. A relationship between profession with occupational exposure to cytotoxic products and COM papillary renal lithiasis was detected.The results suggest that COM papillary calculi would be associated to papillary epithelium alterations together with a crystallization inhibitors deficit, whereas COM nonpapillary calculi would be associated to the presence of heterogeneous nucleants and a crystallization inhibitors deficit.

APA, Harvard, Vancouver, ISO, and other styles

19

Aggarwal, Ramesh K. "Scrotal calculi with delayed urethroscrotal fistula: a rare case presentation with literature review." International Surgery Journal 6, no. 6 (May 28, 2019): 2225. http://dx.doi.org/10.18203/2349-2902.isj20192401.

Full text

Abstract:

Scrotal calculi are not so common entity in the clinical presentation. Scrotourethral fistula is an abnormal communication between scrotal skin and the urethra, usually result of the inflammation and due to perforation by urethral calculi and sometimes iatrogenic due to surgery done for urethral stone removal or uretheroplasty. We present here a very rare case of young adult gentleman who initially presented with a scrotal swelling, turned out into scrotal calculi while doing surgical excision, later on presented as uretheroscrotal fistula that managed conservatively. After going through the available literature and through the pub med articles (approx 148 articles while searching with titles of ‘scrotal calculi’, ‘scrotourethral fistula’, ‘uretherocutaneous fistula’) we found only 1-2 cases of scrotourethral fistula. A high index of clinical suspicion and examination is needed to diagnose such asymptomatic rare presentation cases.

APA, Harvard, Vancouver, ISO, and other styles

20

Bagga, Herman Singh, Thomas Chi, Joe Miller, and Marshall L. Stoller. "New Insights Into the Pathogenesis of Renal Calculi." Urologic Clinics of North America 40, no. 1 (February 2013): 1–12. http://dx.doi.org/10.1016/j.ucl.2012.09.006.

Full text

APA, Harvard, Vancouver, ISO, and other styles

21

Cavalli, Rafael Cavalheiro, Mateus Cosentino Bellote, and Mauricio Carvalho. "Porosity in Microtomography and Determination of Hounsfield Units do not Predict Calculi Fragmentation in Extracorporeal Lithotripsy: Analysis of an In-vitro Study." Open Urology & Nephrology Journal 13, no. 1 (December 18, 2020): 32–38. http://dx.doi.org/10.2174/1874303x02013010032.

Full text

Abstract:

Background: Extracorporeal Shock Wave Lithotripsy (SWL) remains one of the most popular methods for treating urinary lithiasis. Objective: To evaluate structural and microtomographic characteristics associated with urinary calculi fragmentation in an experimental model of SWL. Methods: Samples consisting of at least two calculi fragments obtained from patients were submitted to urological procedures. All calculi were analyzed by X-ray diffraction and a morphological evaluation (weight, length, width, and volume measurements) was conducted along with microtomographic and conventional tomographic assessments in vitro. Thereafter, each sample was submitted to SWL in a ballistic gelatin model. The fragments were separated, using a granulometric sieve, into specimens larger than 4 mm and 2 mm, which were subsequently weighed. Results: Altogether, 48 urinary calculi were analyzed and were composed of whewellite (54%), struvite (22%), apatite (11%), uric acid (7%), cystine (4%), and whitlockite (2%). The fragmentation rate was 77.5% and 69.6% for samples > 4 mm and > 2 mm in size, respectively. Factors associated with a reduction in the effectiveness of SWL were volume, dry mass, and width of the calculus. The radiodensity and porosity of the samples evaluated by microtomography were not associated with the fragmentation of calculi. Conclusion: The volume, dry mass, and width of urinary calculi were positively correlated with the number of fragments larger than 4 and 2 mm in size obtained post-SWL.

APA, Harvard, Vancouver, ISO, and other styles

22

Чючюра, Я. "A Weakly-Intuitionistic Logic I1." Logical Investigations 21, no. 2 (September 28, 2015): 53–60. http://dx.doi.org/10.21146/2074-1472-2015-21-2-53-60.

Full text

Abstract:

In 1995, Sette and Carnielli presented a calculus, $I1$, which is intended to be dual to the paraconsistent calculus $P1$. The duality between $I1$ and $P1$ is reflected in the fact that both calculi are maximal with respect to classical propositional logic and they behave in a special, non-classical way, but only at the level of variables. Although some references are given in the text, the authors do not explicitly define what they mean by ‘duality’ between the calculi. For instance, no definition of the translation function from the language of $I1$ into the language of $P1$ (or from $P1$ to $I1$) was provided (see [4], pp. 88–90) nor was it shown that the calculi were functionally equivalent (see [13], pp. 260–261). The purpose of this paper is to present a new axiomatization of $I1$ and briefly discuss some results concerning the issue of duality between the calculi.

APA, Harvard, Vancouver, ISO, and other styles

23

MARGOLIS, S., M. SAPIR, and P. WEIL. "CLOSED SUBGROUPS IN PRO-V TOPOLOGIES AND THE EXTENSION PROBLEM FOR INVERSE AUTOMATA." International Journal of Algebra and Computation 11, no. 04 (August 2001): 405–45. http://dx.doi.org/10.1142/s0218196701000498.

Full text

Abstract:

We relate the problem of computing the closure of a finitely generated subgroup of the free group in the pro-V topology, where V is a pseudovariety of finite groups, with an extension problem for inverse automata which can be stated as follows: given partial one-to-one maps on a finite set, can they be extended into permutations generating a group in V? The two problems are equivalent when V is extension-closed. Turning to practical computations, we modify Ribes and Zalesskiĭ's algorithm to compute the pro-p closure of a finitely generated subgroup of the free group in polynomial time, and to effectively compute its pro-nilpotent closure. Finally, we apply our results to a problem in finite monoid theory, the membership problem in pseudovarieties of inverse monoids which are Mal'cev products of semilattices and a pseudovariety of groups. Résumé: Nous établissons un lien entre le problème du calcul de l'adhéerence d'un sous-groupe finiment engendré du groupe libre dans la topologie pro-V, oú V est une pseudovariété de groupes finis, et un probléme d'extension pour les automates inversifs qui peut être énoncé de la faç con suivante: étant données des transformations partielles injectives d'un ensemble fini, peuvent-elles être étendues en des permutations qui engendrent un groupe dans V? Les deux problèmes sont équivalents si V est fermée par extensions. Nous intéressant ensuite aux calculs pratiques, nous modifions l'algorithme de Ribes et Zalesskiĭ pour calculer l'adhérence pro-p d'un sous-groupe finiment engendré du groupe libre en temps polynomial et pour calculer effectivement sa clôture pro-nilpotente. Enfin nous appliquons nos résultats à un problème de théorie des monoïdes finis, celui de de l'appartenance dans les pseudovariétés de monoïdes inversifs qui sont des produits de Mal'cev de demi-treillis et d'une pseudovariété de groupes.

APA, Harvard, Vancouver, ISO, and other styles

24

Gluexam, Tobias, Alexander M. Grandits, Angela Schlerka, Chi Huu Nguyen, Julia Etzler, Thomas Finkes, Michael Fuchs, et al. "CGRP Signaling via CALCRL Increases Chemotherapy Resistance and Stem Cell Properties in Acute Myeloid Leukemia." International Journal of Molecular Sciences 20, no. 23 (November 20, 2019): 5826. http://dx.doi.org/10.3390/ijms20235826.

Full text

Abstract:

The neuropeptide CGRP, acting through the G-protein coupled receptor CALCRL and its coreceptor RAMP1, plays a key role in migraines, which has led to the clinical development of several inhibitory compounds. Recently, high CALCRL expression has been shown to be associated with a poor prognosis in acute myeloid leukemia (AML). We investigate, therefore, the functional role of the CGRP-CALCRL axis in AML. To this end, in silico analyses, human AML cell lines, primary patient samples, and a C57BL/6-based mouse model of AML are used. We find that CALCRL is up-regulated at relapse of AML, in leukemic stem cells (LSCs) versus bulk leukemic cells, and in LSCs versus normal hematopoietic stem cells. CGRP protects receptor-positive AML cell lines and primary AML samples from apoptosis induced by cytostatic drugs used in AML therapy, and this effect is inhibited by specific antagonists. Furthermore, the CGRP antagonist olcegepant increases differentiation and reduces the leukemic burden as well as key stem cell properties in a mouse model of AML. These data provide a basis for further investigations into a possible role of CGRP-CALCRL inhibition in the therapy of AML.

APA, Harvard, Vancouver, ISO, and other styles

25

Kawahara, Takashi, Hiroki Ito, Hideyuki Terao, Yoshitake Kato, Takehiko Ogawa, Hiroji Uemura, Yoshinobu Kubota, and Junichi Matsuzaki. "Ureteroscopy-Assisted Retrograde Nephrostomy (UARN) after Anatrophic Nephrolithotomy." Case Reports in Medicine 2012 (2012): 1–4. http://dx.doi.org/10.1155/2012/164963.

Full text

Abstract:

Introduction. Open surgical anatrophic nephrolithotomy (ANL) had been the standard treatment for large renal calculi prior to the development of endoscopic devices and endoscopic techniques. A previous report described the efficacy of ureteroscopy-assisted retrograde nephrostomy (UARN) and presented a case of renal calculi successfully treated with UARN during percutaneous nephrolithotomy (PCNL) in a patient after ANL.Case Presentation. A 61-year-old male with left renal calculi was referred for further treatment. The patient was placed under general and epidural anesthesia, in a Galdakao-modified Valdivia position. A flexible ureteroscope (URS) was inserted, and a Lawson retrograde nephrostomy puncture wire was advanced into the flexible URS. The puncture wire then followed the route from the renal pelvis to the exit skin. Calculus fragmentation was undertaken using a pneumatic lithotripter.Conclusions. UARN for PCNL was therefore found to be a safe, effective, and appropriate treatment for a patient presenting with renal calculi after undergoing ANL.

APA, Harvard, Vancouver, ISO, and other styles

26

Sarkar, Saurish. "Callus culture of Azadirachta indica employing its stem." International Journal of Trend in Scientific Research and Development Volume-2, Issue-3 (April 30, 2018): 318–23. http://dx.doi.org/10.31142/ijtsrd10911.

Full text

APA, Harvard, Vancouver, ISO, and other styles

27

Vasdev, Nikhil, John Moir, Muhammed T. Dosani, Robert Williams, Naeem Soomro, David Talbot, and David Rix. "Endourological Management of Urolithiasis in Donor Kidneys prior to Renal Transplant." ISRN Urology 2011 (June 22, 2011): 1–5. http://dx.doi.org/10.5402/2011/242690.

Full text

Abstract:

Background. We present our centres successful endourological methodology of ex vivo ureteroscopy (EVFUS) in the management of these kidneys prior to renal transplantation. Patient and Methods. A retrospective analysis was performed of all living donors (n=157) identified to have asymptomatic incidental renal calculi from January 2004 until December 2008. The incidence of asymptomatic renal calculi was 3.2% (n=5). Donors were subdivided into 2 groups depending on whether theydonated the kidney with the renal calculus (Group 1) versus the opposite calculus-free kidney (Group 2). Results. All donors in Group 1 underwent a left laparoscopic donor nephrectomy. The calculi were extracted in all 3 cases using a 7.5 Fr flexible ureteroscope either prior to transplant (n=2) or on revascularization (n=1). There were no urological complications in either group. At a mean followup at 64 months there was no recurrent calculi formation in the recipient in Group 1. However, 1 recipient formed a calculus in group 2 at a follow up of 72 months. Conclusions. Renal calculi can be successfully retrieved during living-related transplantation at the time of transplant itself using EVUS. This is technically feasible and is associated with no compromise in ureteral integrity or renal allograft function.

APA, Harvard, Vancouver, ISO, and other styles

28

Santiago-Rodriguez, Tasha M., Yvonne Narganes-Storde, Luis Chanlatte-Baik, Gary A. Toranzos, and Raul J. Cano. "Insights of the dental calculi microbiome of pre-Columbian inhabitants from Puerto Rico." PeerJ 5 (May 2, 2017): e3277. http://dx.doi.org/10.7717/peerj.3277.

Full text

Abstract:

Background The study of ancient microorganisms in mineralized dental plaque or calculi is providing insights into microbial evolution, as well as lifestyles and disease states of extinct cultures; yet, little is still known about the oral microbial community structure and function of pre-Columbian Caribbean cultures. In the present study, we investigated the dental calculi microbiome and predicted function of one of these cultures, known as the Saladoid. The Saladoids were horticulturalists that emphasized root-crop production. Fruits, as well as small marine and terrestrial animals were also part of the Saladoid diet. Methods Dental calculi samples were recovered from the archaeological site of Sorcé, in the municipal island of Vieques, Puerto Rico, characterized using 16S rRNA gene high-throughput sequencing, and compared to the microbiome of previously characterized coprolites of the same culture, as well modern plaque, saliva and stool microbiomes available from the Human Microbiome Project. Results Actinobacteria, Proteobacteria and Firmicutes comprised the majority of the Saladoid dental calculi microbiome. The Saladoid dental calculi microbiome was distinct when compared to those of modern saliva and dental plaque, but showed the presence of common inhabitants of modern oral cavities including Streptococcus sp., Veillonella dispar and Rothia mucilaginosa. Cell motility, signal transduction and biosynthesis of other secondary metabolites may be unique features of the Saladoid microbiome. Discussion Results suggest that the Saladoid dental calculi microbiome structure and function may possibly reflect a horticulturalist lifestyle and distinct dietary habits. Results also open the opportunity to further elucidate oral disease states in extinct Caribbean cultures and extinct indigenous cultures with similar lifestyles.

APA, Harvard, Vancouver, ISO, and other styles

29

Xie, Yingdi, Jingshan Tao, Hailing Liu, Xiaojin Zang, Zhengming Zhang, Guangjie Guo, and Bin Liu. "THE USE OF LOW-DOSE CT WITH ADAPTIVE STATISTICAL ITERATIVE RECONSTRUCTION FOR THE DIAGNOSIS OF URINARY CALCULI." Radiation Protection Dosimetry 190, no. 2 (June 2020): 200–207. http://dx.doi.org/10.1093/rpd/ncaa094.

Full text

Abstract:

Abstract This study aimed to explore the diagnosis of urinary calculi through utilisation of low-dose computed tomography (LDCT) with adaptive statistical iterative reconstruction (ASIR). Data from 140 patients that had undergone pathological or operative diagnosis with urinary calculi were analysed. Patients were divided into two groups based on whether they received conventional-dose computed tomography (CDCT) or LDCT, respectively, followed by filtered back projection or ASIR. Average CDCT radiation doses were roughly 4-fold higher than LDCT doses. Despite this difference, there were no significant differences between groups with respect to stone size or location, image quality (P = 0.261), image noise (P = 0.153) and diagnostic efficacy (P = 0.371). LDCT is an effective approach to urinary calculi diagnosis, performing to ASIR while decreasing the effective radiation dose, improving the safety of this procedure.

APA, Harvard, Vancouver, ISO, and other styles

30

Demri, Stéphane, Raul Fervari, and Alessio Mansutti. "Internal proof calculi for modal logics with separating conjunction." Journal of Logic and Computation 31, no. 3 (April 2021): 832–91. http://dx.doi.org/10.1093/logcom/exab016.

Full text

Abstract:

Abstract Modal separation logics are formalisms that combine modal operators to reason locally, with separating connectives that allow to perform global updates on the models. In this work, we design Hilbert-style proof systems for the modal separation logics $\text {MSL}(\ast ,\langle \neq \rangle )$ and $\text {MSL}(\ast ,\Diamond )$, where $\ast $ is the separating conjunction, $\Diamond $ is the standard modal operator and $\langle \neq \rangle $ is the difference modality. The calculi only use the logical languages at hand (no external features such as labels) and can be divided in two main parts. First, normal forms for formulae are designed and the calculi allow to transform every formula into a formula in normal form. Second, another part of the calculi is dedicated to the axiomatization for formulae in normal form, which may still require non-trivial developments but is more manageable.

APA, Harvard, Vancouver, ISO, and other styles

31

Joshi, KS, S. Karki, S. Regmi, HN Joshi, and SP Adhikari. "Sonography in Acute Ureteric Colic: An Experience in Dhulikhel Hospital." Kathmandu University Medical Journal 12, no. 1 (October 12, 2015): 9–15. http://dx.doi.org/10.3126/kumj.v12i1.13626.

Full text

Abstract:

Background Computed tomography is considered as an imaging modality of choice in acute ureteric colic. However due to concerns regarding radiation exposure, sonograms are re-emerging as imaging methods in such situations.Objectives To evaluate the role of sonography in detection of calculus in acute ureteric colic.Methods Total 384 patients were enrolled. Hydronephrosis was graded as mild, moderate or severe. Calculus was detected as an intraluminal echogenic focus with distal shadowing with twinkling artifact. Number, size and position of the calculi were assessed. Patients were categorized into four groups:I. ureteric colic only II. ureteric colic with hematuria III. ureteric colic with hydronephrosis and IV. ureteric colic with hematuria and hydronephrosis and then the possibility of detection of calculi has been compared among these groups.Results Out of 384 patients, 254 were found to have calculi ranging between 2.7-27mm. Nineteen had in the pelvis/ pelviureteric junction, 64 in proximal ureter, 125 in distal ureter, 6 at iliac crossing and 40 at vesicoureteric junction. Two hundred forty one had single and 14 had multiple calculi. Calculus detection is easier in category III and IV patients. The sensitivity and specificity of ultrasonography were 87.98% and 93.07%. Degree of hydronephrosis is strongly correlated with the number of calculi but weakly correlated with the size of the calculus.Conclusion Sonogram can be used in all cases of acute ureteric colic. Hydronephrosis is the most important finding because it paves the way out for the detection of calculus.Kathmandu University Medical Journal Vol.12(1) 2014: 9-15

APA, Harvard, Vancouver, ISO, and other styles

32

Autlev, K. M., E. V. Kruchinin, V. F. Aliev, G. A. Petukhova, F. Sh Aliev, and M. А. Savitskaya. "Low invasive surgical treatment of choledocholithiasis in an elderly patient. Description of own clinical case and operating technique." Medical Science And Education Of Ural 21, no. 4 (December 30, 2020): 100–104. http://dx.doi.org/10.36361/1814-8999-2020-21-4-100-104.

Full text

Abstract:

In modern surgery, choledocholithiasis has acquired the status of an independent problem, on the solution of which the further progress of surgery of the hepatobiliopancreatoduodenal zone depends. The article is based on a clinical case of surgical treatment with a diagnosis of a complicated form of cholelithiasis, choledocholithiasis. Purpose of the study. To demonstrate minimally invasive surgical treatment of choledocholithiasis in an elderly patient, based on the example of our own clinical case. Materials and methods. A retrospective analysis of a case of surgical treatment of a complicated form of cholelithiasis, choledocholithiasis, in an elderly patient was carried out. The patient is 84 years old. The patient underwent endoscopic retrograde cholangiopancreatography (ERCP), non-cannulation papillosphincterotomy (NPST) and stenting of the common bile duct for choledocholithiasis. The calculi were not removed due to their large size. Later she turned to JSC “NSC” Neftyanik” (Tyumen). Results. Taking into account the patient’s extrahepatic bile duct calculi, the phenomena of previous cholangitis, the patient underwent laparoscopic cholecystectomy, choledochotomy, extraction of calculi and stent, intraoperative choledochoscopy, and completed the operation with laparoscopic choledochoduodenoanastomosis under ETN on 11/19/2019. Conclusion. In this clinical case, we come to the conclusion that the only possible treatment option is the removal of calculi. If it is impossible to remove calculi by minimally invasive antegrade or retrograde methods, they can be considered as preparing the patient for further radical surgical treatment. Modern minimally invasive methods, in particular, laparoscopy, makes it possible to carry out an operation at almost any age aimed at completely eliminating the disease, thereby improving the quality of life.

APA, Harvard, Vancouver, ISO, and other styles

33

Degaonkar, Anil S., Pundlik T. Jamdade, Nikhil S. Bhamare, Prashant A. Shirure, Manjuprasad M. S., and Onkar C. Swami. "Medical expulsion therapy in the management of ureteric calculi: a comparative real-life experience." International Surgery Journal 4, no. 7 (June 22, 2017): 2311. http://dx.doi.org/10.18203/2349-2902.isj20172788.

Full text

Abstract:

Background: One of the conservative management of ureteric caculi is by medical expulsive therapy by targeting common causes of obstruction such as edema, ureteral spasm and infection which will favour expulsion of calculi. The objective of this study was to assess comparative efficacy and safety of medical expulsive therapy of ureteric calculi.Methods: This was a randomized, prospective, open label, comparative study. Subjects satisfying inclusion and exclusion criteria were randomized into 4 groups tamsulosin, nifedipine, progesterone and control. Medical expulsion of calculi of 6mm to 15 mm size was carried out in 120 patients. Patients were followed up on OPD basis every third day. Calculi expulsion until day 28 as confirmed by abdominal ultrasonography was taken as the end point.Results: Expulsion rate in tamsulosin group was 90%, whereas nifedipine, progesterone group were 83.33% and 70% respectively which was significant compared to control group which was 36.6% (p < 0.005). Expulsion time was also reported to be significantly less in these groups as compared to control group. Therapy related adverse effects were minor and were seen in only 6 patients.Conclusions: Medical expulsive therapy of ureteric calculi of size 6 to 15mm with Tamsulosin, nifedipine and progesterone were safe and efficacious and could be implemented for initial management in selected patients.

APA, Harvard, Vancouver, ISO, and other styles

34

Letz, R., K. Mayr, and C. Goller. "Controlled integration of the cut rule into connection tableau calculi." Journal of Automated Reasoning 13, no. 3 (1994): 297–337. http://dx.doi.org/10.1007/bf00881947.

Full text

APA, Harvard, Vancouver, ISO, and other styles

35

Bastakoti, Shankar, and Nirmal Lamichhane. "Squamous Cell Carcinoma in Non-Functioning Kidney Associated with Staghorn Calculi: Uncommon Presentation of Common Malignancy." Nepalese Journal of Cancer 4, no. 1 (October 4, 2020): 61–63. http://dx.doi.org/10.3126/njc.v4i1.31781.

Full text

Abstract:

Cancers of the kidney account for 2% of all the total human cancer. Squamous cell carcinoma (SCC) of renal pelvis is a rare neoplasm, accounting for only 0.5 to 0.8% of malignant renal tumors. In most cases, renal SCC is associated with chronic infections, chronic renal calculi, radiotherapy or any factor that can irritate the urothelium. We report a female patient aged 60 years diagnosed with Right Non-functioning Kidney with Nephrolithiasis with Suspicious Mass. Histopathological diagnosis with Squamous Cell Carcinoma in Stage III with Staghorn Calculi. In long standing urolithiasis, possibility of concomitant harboring of malignancy needs to be taken into consideration.

APA, Harvard, Vancouver, ISO, and other styles

36

Orlando, M. T. D., L. Kuplich, D. O. de Souza, H. Belich, J. B. Depianti, C. G. P. Orlando, E. F. Medeiros, et al. "Study of calcium oxalate monohydrate of kidney stones by X-ray diffraction." Powder Diffraction 23, S1 (March 2008): S59—S64. http://dx.doi.org/10.1154/1.2903738.

Full text

Abstract:

X-ray powder diffraction was used to study the phase composition of human renal calculi. The stones were collected from 56 donors in Vitória, Espírito Santo state, southeastern Brazil. An XRD phase quantification revealed that 61% of the studied renal stones were composed exclusively of calcium oxalate [34% formed only by calcium oxalate monohydrate (COM) and 27% presents both monohydrate and dihydratate calcium oxalate]. The 39% multi-composed calculi have various other phases such as uric acid and calcium phosphate. Rietveld refinement of XRD data of one apparent monophasic (COM) renal calculus revealed the presence of a small amount of hydroxyapatite. The presence of this second phase and the morphology of the stone (ellipsoidal) indicated that this calculus can be classified as non-papillary type and its nucleation process developed in closed kidney cavities. In order to show some advantages of the X-ray powder diffraction technique, a study of the phase transformation of monohydrate calcium oxalate into calcium carbonate (CaCO3) was carried out by annealing of a monophasic COM calculi at 200, 300, and 400 °C for 48 h in a N2 gas atmosphere. The results of the XRD for the heat treated samples is in good agreement with the thermogravimetric analysis found in the literature and shows that X-ray powder diffraction can be used as a suitable technique to study the composition and phase diagram of renal calculi.

APA, Harvard, Vancouver, ISO, and other styles

37

Sahai, A., F. Khan, F. Anjum, IK Dickinson, H. Marsh, and S. Sriprasad. "Efficacy of flexible ureteroscopy and laser lithotripsy for lower pole renal calculi." Journal of Clinical Urology 7, no. 6 (April 22, 2014): 389–93. http://dx.doi.org/10.1177/2051415814531576.

Full text

Abstract:

Objective: Our aim was to determine whether flexible ureterorenoscopy and laser lithotripsy is efficacious and safe in treating lower pole renal calculi. Materials and methods: Patient, procedure and stone data of patients who underwent flexible ureterorenoscopy and laser lithotripsy at our referral centre were collected prospectively between November 2005 and November 2011 and entered into a designated database. In all, 242 procedures were performed in 198 patients. Results: The mean age was 51.2 years. The mean calculi size was 10.51 mm (range 4–27 mm). Thirty seven patients had more than one stone in the lower pole. An access sheath was used in 19 patients (9.6%), 171 (86.4%) had a ureteric stent inserted after the procedure, and 165 patients had a single procedure. Re-operation rate was 16.7%. Stone-free rates after one procedure were 89%, 80% and 41%, respectively, for calculi measuring 4–10 mm ( n=107), 11–20 mm ( n=76) and > 20 mm ( n=15). The overall stone-free rate was 83%, 91% and 95% after one, two and three procedures, respectively. Conclusion: Flexible ureterorenoscopy and laser lithotripsy is a safe and effective minimally invasive treatment option for patients with 4–20 mm lower pole calculi. Staged procedures, however, become necessary as the size of the stone increases greater than 20 mm, and this should be mentioned when counselling patients for their primary procedure.

APA, Harvard, Vancouver, ISO, and other styles

38

Williams, Kevin, and Ananda Dhanasekaran. "Medical expulsive therapy for ureteric calculi – yes or no?" Journal of Clinical Urology 11, no. 5 (October 3, 2017): 345–49. http://dx.doi.org/10.1177/2051415817733644.

Full text

Abstract:

In recent years, there has been a potential paradigm shift in the conservative management of ureteric calculi away from the routine use of medical expulsive therapy (MET). A large body of evidence exists to hopefully answer this common clinical question. Multiple meta-analyses have been performed in the last decade to evaluate the existing evidence. Most, if not all have demonstrated benefit of administering MET for patients with ureteric calculi. In more recent years, the publication of several good quality, randomised controlled studies has cast doubt over the routine use of MET in these patients. These recent studies suggest that MET has no benefit in the conservative management of patients with ureteric calculi. In this article, we aim to provide a pragmatic commentary on the evidence to date and highlight the arguments both for and against the routine use of MET. We aim to highlight the steps that our unit has taken in translating good quality medical research into day-to-day clinical practice and also, to demonstrate our department’s current practice and the rationale behind it.

APA, Harvard, Vancouver, ISO, and other styles

39

Kelkar, Vidyadhar P. "Study of clinical indication, difficulties and complications of DJ stenting in urological procedure at a tertiary hospital." MedPulse International Journal of Surgery 19, no. 2 (2021): 53–57. http://dx.doi.org/10.26611/1061926.

Full text

Abstract:

Background: Urolithiasis is one of the major causes of morbidity in our society as our country is located near to equatorial distribution of stone disease Indwelling ureteral stents provide free drainage from the kidney to the bladder, reduce or eliminate urinary leakage and provide ureteral stenting. The present study was designed to observe indications, difficulties and complications of indwelling double J ureteral stenting. Material and Methods: Present study was single-center, prospective, observational study, conducted in patients undergoing DJ stenting URS/ESWL (stone size > 2cm), willing to participate in study. The data collected was entered into Microsoft excel and analyzed. Statistical analysis was done using descriptive statistics. Results: In the present study, we assessed prospectively the effectiveness of DJ stent insertion for treatment of ureteral stones in 100.patients. Gender distribution in the current study was 65% male and 35 % female. 65 % patients were between the age 10 to 40 years; 20 patients have lower ureteric calculi, 37 patient having mid ureteric calculi and 8 patients having upper ureteric calculi. In current study out of 100 patients 32 patients have stone between the range of 6-10 mm, 42 patients have stone size range between 11-16 mm and only 26 patient have stone size more than 16 mm. 32 patients having mid ureteric calculi in which 30 patients DJ stent procedure successfully completed, remaining 2 patients had ureteric stricture treated with URSL. 27 patients having lower ureteric calculi in which 25 patients DJ stent procedure successfully completed, remaining 2 patient had ureteric stricture treated with ESWL followed by cystoscopy removal. 8 patients having bilateral ureteric calculi in which 6 patients DJ stent procedure successfully completed, remaining 2 patient have impacted stone treated with URSL with PCNL. 100% success rate in DJ stent insertion in patients with stone size 11-16mm followed by in 93% with stone size 6-10mm and in 76% with stone size >16mm. Conclusion: Most of the ureteral DJ stent related complications can be managed by surgical procedures hence they should be removed as soon as their purpose solves. The proper follow up from patients can help to early identification of post insertion complications of DJ stent and timely management of them.

APA, Harvard, Vancouver, ISO, and other styles

40

Dai, Wen Bin, Xin Li Wang, Peng Zhao, and Jing Kun Yu. "Preparation of Yttria with Elongated Grains and Micro-Pores." Advanced Materials Research 197-198 (February 2011): 425–28. http://dx.doi.org/10.4028/www.scientific.net/amr.197-198.425.

Full text

Abstract:

The effect of 1mol% calcia additive on sintering of yttria was investigated, and a yttria with elongated grains and micro-pores was developed in present work. The results showed that in calcia added samples heated at 1600°C, calcia contained yttria solid solution grains were formed and distributed among pure yttria grains. With the prolonging soaking time, they were concentrated into rod- or plate-like elongated grains and some of them were embedded into pure coarse yttria grains. Furthermore, in calcia added samples, grain growth was much faster and lots of micro-pores were left in coarse pure yttria grains. Water quench test revealed that thermal shock resistance of calcia added sample was greatly improved by elongated grains and micro-pores.

APA, Harvard, Vancouver, ISO, and other styles

41

Niinomi, Mitsuo, Toshikazu Akahori, Tsutomu Takeuchi, and Shigeki Katsura. "Dental Precision Casting of Ti-29Nb-13Ta-4.6Zr Using Calcia Mold." Materials Science Forum 475-479 (January 2005): 2303–8. http://dx.doi.org/10.4028/www.scientific.net/msf.475-479.2303.

Full text

Abstract:

Duplex calcia coating method where firstly fine calcia was coated on wax pattern and then fine calcia reinforced silica fiber was coated on the fine calcia coated wax pattern, that is, duplex calcia coating method, was applied for making mold. The surface of Ti-29Nb-13Ta-4.6Zr cast using the duplex calcia coating method show very fine metallic lust. The thickness of alpha case formed on the surface of Ti-29Nb-13Ta-4.6Zr is much thinner comparing with the case where the commercial magnesia mold for casting conventional titanium and its alloys for dental applications is used. The duplex calcia coating method is highly expected to be put into practical use for dental precision casting of Ti-29Nb-13Ta-4.6Zr. The dental crown of Ti-29Nb-13Ta-4.6Zr is successfully fabricated using duplex calcia coating method.

APA, Harvard, Vancouver, ISO, and other styles

42

Kamal, Fadi, Aaron T. D. Clark, Luke Thomas Lavallée, Matthew Roberts, and James Watterson. "Intravesical foreign body–induced bladder calculi resulting in obstructive renal failure." Canadian Urological Association Journal 2, no. 5 (April 17, 2013): 546. http://dx.doi.org/10.5489/cuaj.927.

Full text

Abstract:

We report the case of a 30-year-old man who presented with obstructive renal failure and urosepsis due to bladder outlet–obstructing bladder calculi that formed around 3 copper wires that were self-inserted into his urinary bladder 15 years previously. We present the evaluation, imaging and management of the unique complications resulting from the self-insertion of an intra-vesical foreign body. Our patient’s case was unique for 2 reasons. First, the length of time (15 yr) from foreign body insertion to presentation is the longest interval reported in the literature. Second, this is the first report of bladder calculi induced by the insertion of a foreign body that resulted in obstructive renal failure.

APA, Harvard, Vancouver, ISO, and other styles

43

Matějík, M. "Calculus of variations and its application to division of forest land." Journal of Forest Science 50, No. 9 (January 11, 2012): 439–46. http://dx.doi.org/10.17221/4639-jfs.

Full text

Abstract:

The paper deals with an application of the least squares method (LSM) for the purposes of division and evaluation of land. This method can be used in all cases with redundant number of measurements, in this case of segments of plots. From the mathematical aspect, the minimisation condition of the LSM is a standardised condition ∑ pvv = min., minimising the Euclidean norm ||v||<sub>E</sub> of an n-dimensional vector of residues of plot segments at simultaneous satisfaction of the given conditions. The traditional procedure of calculus of variations with the use of Lagrangian function is shown. If some additional conditions are included in the calculation, on the basis of the criteria presented in this article it is possible to evaluate the degree of deformation of the selected solution in relation to the measured quantities. The application of the method of adjustment of condition measurements may help solve the problems of parcel division on the basis of intersection of the parcel layers according to the real-estate cadastre and according to previous land records, valuation, typological, price and other map sources.

APA, Harvard, Vancouver, ISO, and other styles

44

Gros, Antoine. "Émergence de morphologies pour l’acoustique des espaces de performance." SHS Web of Conferences 47 (2018): 01013. http://dx.doi.org/10.1051/shsconf/20184701013.

Full text

Abstract:

L’acoustique est un vecteur important de qualité de l’ambiance architecturale dans un espace. Elle est aussi une contrainte forte pour le volume correspondant, dont la maîtrise des altérations pour améliorer la perception sonore n’est pas triviale. Nous proposons un outil d’aide à la décision a priori de la forme architecturale, utilisant un algorithme génétique multicritère couplé à un système de simulation acoustique et de calcul des mesures ISO. Son utilisation permet au concepteur l’émersion de morphologies innovantes et qualitatives, aptes à mettre en espace les visions contemporaines des espaces de performance.

APA, Harvard, Vancouver, ISO, and other styles

45

De Grandi, Roberta, Pasquale Capaccio, Alessandro Bidossi, Marta Bottagisio, Lorenzo Drago, Sara Torretta, Lorenzo Pignataro, and Elena De Vecchi. "Salivary calculi microbiota: new insights into microbial networks and pathogens reservoir." Microbes and Infection 21, no. 2 (March 2019): 109–12. http://dx.doi.org/10.1016/j.micinf.2018.10.002.

Full text

APA, Harvard, Vancouver, ISO, and other styles

46

Amâncio Malagoni, Ricardo, and Dyrney Araújo dos Santos. "PROJETO DE CORREIAS TRANSPORTADORAS: UM ESTUDO COMPUTACIONAL DE COMPARAÇÃO DOS MÉTODOS CEMA E PRÁTICO." HOLOS 3 (July 3, 2014): 358. http://dx.doi.org/10.15628/holos.2014.1780.

Full text

Abstract:

Para o projeto de correias transportadoras, são comumente empregados dois métodos: Método Prático e Método CEMA (Conveyor Equipment Manufacture Association). O Método Prático, mais simplificado, aplica-se a transportadores simples e de pequena capacidade. Neste, calcula-se primeiramente a potência necessária para o transporte e, a partir desta, as tensões na correia. O método CEMA, mais sofisticado, é aplicável a transportadores de vários lances, curtos ou longos, onde calcula-se inicialmente as tensões em cada lance da correia, e, após isto, calcula-se a potência de acionamento. Com isto, um dos objetivos do presente trabalho foi a criação de um programa computacional, o qual realiza o projeto de correias transportadoras através dos métodos Prático e CEMA. Por meio deste programa, foram realizadas simulações para os materiais: rocha fosfática e minério de ferro (itabiritos) para diferentes configurações de correias transportadoras. Como dados de saída do programa, tem-se as seguintes especificações de projeto: largura da correia, distância do material à borda da correia, capacidade mássica, velocidade da correia e potência do motor. Tanto o Método Prático quanto o Método CEMA se mostraram de suma importância para o projeto de correias transportadoras, sendo o primeiro de grande valia na estimativa inicial de um projeto, enquanto o outro, apesar da maior complexidade, é o mais recomendado para o projeto final de correias transportadoras.

APA, Harvard, Vancouver, ISO, and other styles

47

Merchant, Michael L., Timothy D. Cummins, Daniel W. Wilkey, Sarah A. Salyer, David W. Powell, Jon B. Klein, and Eleanor D. Lederer. "Proteomic analysis of renal calculi indicates an important role for inflammatory processes in calcium stone formation." American Journal of Physiology-Renal Physiology 295, no. 4 (October 2008): F1254—F1258. http://dx.doi.org/10.1152/ajprenal.00134.2008.

Full text

Abstract:

Even though renal stones/calculi occur in ∼10% of individuals, they are an enormous economic burden to the entire US health system. While the relative metabolic composition of renal calculi is generally known, there is no clear understanding of the genetics of renal stone formation, nor are there clear prognostic indicators of renal stone formation. The application of proteomics to the analysis of renal calculi axiomatically holds that insight into renal stone pathobiology can be gained by a more comprehensive understanding of renal calculus protein composition. We analyzed isolated renal stone matrix proteins with mass spectrometric and immunohistochemical methods identifying 158 proteins with high confidence, including 28 common proteins. The abundant proteins included those identified previously in stones and proteins identified here for the first time, such as myeloid lineage-specific, integral membrane and lipid regulatory proteins. Pathway analyses of all proteins identified suggested that a significant fraction of the most abundant matrix proteins participate in inflammatory processes. These proteomic results support the hypothesis that stone formation induces a cellular inflammatory response and the protein components of this response contribute to the abundant stone matrix proteome.

APA, Harvard, Vancouver, ISO, and other styles

48

El Harrech, Y., N. Abakka, J. El Anzaoui, O. Ghoundale, and D. Touiti. "Ureteral Stenting after Uncomplicated Ureteroscopy for Distal Ureteral Stones: A Randomized, Controlled Trial." Minimally Invasive Surgery 2014 (2014): 1–4. http://dx.doi.org/10.1155/2014/892890.

Full text

Abstract:

Objectives. We compared outcome and complications after uncomplicated ureteroscopic treatment of distal ureteral calculi with or without the use of ureteral stents.Materials and Methods. 117 patients, prospectively divided into three groups to receive a double j stent (group 1, 42 patients), ureteral stent (group 2, 37 patients), or no stent (group 3, 38 patients), underwent ureteroscopic treatment of distal ureteral calculi. Stone characteristics, operative time, postoperative pain, lower urinary tract symptoms (LUTS), analgesia need, rehospitalization, stone-free rate, and late postoperative complications were all studied.Results. There were no significant differences in preoperative data. There was no significant difference between the three groups regarding hematuria, fever, flank pain, urinary tract infection, and rehospitalisation. At 48 hours and 1 week, frequency/urgency and dysuria were significantly less in the nonstented group. When comparing group 1 and group 3, patients with double j stents had statistically significantly more bladder pain (P=0.003), frequency/urgency (P=0.002), dysuria (P=0.001), and need of analgesics (P=0.001). All patients who underwent imaging postoperatively were without evidence of obstruction or ureteral stricture.Conclusions. Uncomplicated ureteroscopy for distal ureteral calculi without intraoperative ureteral dilation can safely be performed without placement of a ureteral stent.

APA, Harvard, Vancouver, ISO, and other styles

49

Primiano, Aniello, Silvia Persichilli, Giovanni Gambaro, Pietro Manuel Ferraro, Alessandro D’Addessi, Andrea Cocci, Arcangelo Schiattarella, Cecilia Zuppi, and Jacopo Gervasoni. "FT-IR Analysis of Urinary Stones: A Helpful Tool for Clinician Comparison with the Chemical Spot Test." Disease Markers 2014 (2014): 1–5. http://dx.doi.org/10.1155/2014/176165.

Full text

Abstract:

Background.Kidney stones are a common illness with multifactorial etiopathogenesis. The determination of crystalline and molecular composition and the quantification of all stone components are important to establish the etiology of stones disease but it is often laborious to obtain using the chemical method. The aim of this paper is to compare chemical spot test with FT-IR spectroscopy, for a possible introduction in our laboratory.Methods.We analyzed 48 calculi using Urinary Calculi Analysis kit in accordance with the manufacturer’s instructions. The same samples were analyzed by FT-IR using the Perkin Elmer Spectrum One FT-IR Spectrometer. All FT-IR spectra of kidney stones were then computer matched against a library of spectra to generate a report on the various components.Results.On the basis of FT-IR analysis, the 48 calculi were divided into three groups: pure stone, mixed stone, and pure stone with substances in trace. Results of each group were compared with those obtained with chemical spot test. A general disagreement between methods was observed.Conclusions.According to our data, the introduction of the FT-IR technique in clinical chemistry laboratory may be more responsive to clinician expectations.

APA, Harvard, Vancouver, ISO, and other styles

50

Dai, Jianhua. "Generalized Rough Logics with Rough Algebraic Semantics." International Journal of Cognitive Informatics and Natural Intelligence 4, no. 2 (April 2010): 35–49. http://dx.doi.org/10.4018/jcini.2010040103.

Full text

Abstract:

The collection of the rough set pairs <lower approximation, upper approximation> of an approximation (U, R) can be made into a Stone algebra by defining two binary operators and one unary operator on the pairs. By introducing a more unary operator, one can get a regular double Stone algebra to describe the rough set pairs of an approximation space. Sequent calculi corresponding to the rough algebras, including rough Stone algebras, Stone algebras, rough double Stone algebras, and regular double Stone algebras are proposed in this paper. The sequent calculi are called rough Stone logic (RSL), Stone logic (SL), rough double Stone logic (RDSL), and double Stone Logic (DSL). The languages, axioms and rules are presented. The soundness and completeness of the logics are proved.

APA, Harvard, Vancouver, ISO, and other styles

Journal articles on the topic 'Calcul Ito'

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