Примеры использования Calculi на Английском языке и их переводы на Русский язык
{-}
-
Official
-
Colloquial
For fragmentation, calculi were put in a saline solution.
Конкременты для дробления помещали в физиологический раствор.It is not entirely clarified why individuals create calculi in the gallbladder.
Key words: process calculi, ambient calculus, insertion modeling.
His doctoral thesis"Formal logic and Logical Calculi" was published in 1972.
Докторскую диссертацию защитил в 1973 году по книге« Формальный вывод и логические исчисления» 1972.Keywords: bladder calculi, simultaneous surgeries, transurethral resection, cystolithotripsy.
Ключевые слова: конкременты мочевого пузыря, симультанные операции, трансуретральная резекция, цистолитотрипсия.It enables to provide minimal microbial dissemination of renal tissue during endoscopy by the content of biofilms associated with calculi.
Это позволяет обеспечить минимальную микробную диссеминацию ткани почки в процессе эндоскопической операции содержимым биопленок, связанных с камнями.The comparison group consisted of 20 patients with calculi of the kidney without symptoms of obstruction.
Группу сравнения составили 20 пациентов с конкрементами почек без явлений обструкции.More exotic proof calculi such as Jean-Yves Girard's proof nets also support a notion of analytic proof.
Более экзотические исчисления доказательств, типа сетей доказательств И. Джиро, также поддерживают понятие аналитического доказательства.A variety of formalisms have been used,including propositional and predicate calculi; deontic, temporal and non-monotonic logics; and state transition diagrams.
Использовались различные формализмы,в том числе пропозициональные и предикатные исчисления; деонтические, темпоральные( временные) и немонотонные логики; и диаграммы перехода состояний.The process calculi(or process algebras) are a diverse family of related approaches for formally modelling concurrent systems.
Исчисление процессов или алгебра процессов- семейство связанных подходов к формальному моделированию параллельных систем.About half of patients do not observe any cholelithiasis symptoms, calculi in the gallbladder are found when the patients are being examined for other diseases.
Примерно половина пациентов не отмечает у себя никаких симптомов желчнокаменной болезни, конкременты в желчном пузыре выявляются у них при обследовании по поводу других заболеваний.Calculi with X-ray density of over 1,400 HU are hardly fragmented in water, however, in atmospheric air their fragmentation proceeds successfully.
Конкременты с рентгеновской плотностью более 1400 HU дроблению в воде поддаются с трудом, однако в атмосферном воздухе их фрагментация выполняется успешно.Other concurrency systems(e.g., process calculi) can be modeled in the actor model using a two-phase commit protocol.
Другие системы параллелизма( например, исчисление процессов) могут быть смоделированы в модели акторов с использованием двухфазного протокола фиксации.Calculi with X-ray density of over 1,400 HU were unaffected by fragmentation in liquid, however, fragmentation in the atmospheric air proceeded successfully.
Конкременты с рентгеновской плотностью более 1400 HU дроблению в жидкости не поддавались, однако в атмосферном воздухе фрагментация происходила успешно.There have been rare reports of urinary or renal calculi in those patients who have consumed large quantities of guaifenesin for long periods of time.
Редко сообщалось о камнях в мочеточнике или почках у пациентов, которые употребляли гвайфенезин в больших дозах на протяжении длительного времени.A number of mathematical models have been developed for general concurrentcomputation including Petri nets, process calculi and the Parallel Random Access Machine model.
Был разработан ряд математических моделей для общего вида параллельных вычислений, в том числе сети Петри,процессы исчисления и модель Parallel Random Access Machine машины с параллельным произвольным доступом.Postgraduate DESCARTES Course:Design Calculi and Research Telecommunication Systems, in China, Brazil, Indonesia, Pakistan and South Africa;
Курс для выпускников университетов по ДЕСКАРТЕС:проектные расчеты и исследования в области телекоммуникационных систем в Бразилии, Индонезии, Китае, Пакистане и Южной Африке;The technique excludes small stone fragmentation,therefore enables to prevent intra-operative microbial dissemination of renal tissue from biofilms of potentially infected calculi.
Такой способ исключает мелкую фрагментацию The projects addressed reactive systems using general-duration calculi and investigated other theories of reactive systems such as compositional verification and refinement calculi.
Эти проекты были посвящены реактивным системам, использующим общие временные исчисления, и проработке других теорий реактивных систем, таких, как композиционные исчисления проверки и уточнения.The product may enhance urination and increase removal of uric acid, particularly in patients suffering from renal urate calculi, by inducing washout of sand and small calculi andlowering in this way size of big calculi.
Регулярное применение суппозиториев усиливает диурез, а также повышает выведение мочевой кислоты у пациентов с уратными The used mechanism of"hot spot" enabled to avoid calculi destruction with small flakes scattered by irrigation fluid current in the renal cavity system and provide a controlled break along the marked line.
Использование сильно поглощающего покрытия наконечника лазера( микрочастиц графита в кремнийорганическом лаке) позволило нам исключить разрушение камня с разбрасыванием мелких осколков током ирригационной жидкости по полостной системе почки и обеспечить контролируемый разлом по намеченной линии.Formal methods are best described as the application of a fairly broad variety of theoretical computer science fundamentals,in particular logic calculi, formal languages, automata theory, and program semantics, but also type systems and algebraic data types to problems in software and hardware specification and verification.
Формальные методы имеют довольно широкое применение:от теоретических основ информатики( в частности, логики вычислений, формальных языков, теории автоматов, программ и семантики) до систем типов и проблем алгебраических типов данных в задачах спецификации и верификации программного и аппаратного обеспечения.Formal Software Development Methods and the Duration Calculi: from Programmes on Large-scale Systems and from Untimed Reactive Discrete Systems to Real-time Hybrid Systems, in Macau.
Формальные методы разработки программного обеспечения и расчеты продолжительности: от программ для крупномасштабных систем и реакционных дискретных систем без разделения времени до гибридных систем, работающих в реальном масштабе времени в Макао.The choice of method of treatment for patients with ureteral calculi(ESWL, CULT) depends on the location, size, density of calculus, state of the upper urinary tract, as well as the technical equipment of the clinic and the surgeon\'s experience.
Выбор метода лечения пациентов с камнями мочеточника( ДЛТ, КУЛТ) зависит от локализации, размеров, плотности Efficacy: brightens the eyes, refreshes the mind, supplements vitamin C,diuresis and prevents calculi, improves gastrointestinal function, reduces radiation injury, prevents hypertension, lowers cholesterol and prevents obesity, and supplements nutrition.
Эффективность: осветляет глаза, освежает ум, дополняет витамин С,диурезом и предотвращает конкременты, улучшает функции желудочно- кишечные, уменьшает лучевое поражение, предотвращает гипертонию, снижает уровень холестерина и предотвращает ожирение и добавку питание.The suggested technique enables to control the fragmentation of potentially infected calculi in the renal cavity up to the fragments, which can be afterwards taken out mechanically through a nephroscope, or Amplatz tube during percutaneous nephrolithotripsy.
Предложенная методика дает возможность осуществить контролируемое дробление потенциально инфицированных камней в полости почки до фрагментов, которые затем могут быть извлечены механически через канал нефроскопа или амплац- трубку в процессе чрескожной нефролитотрипсии.In response to this Stanisław Jaśkowski(1929) and Gerhard Gentzen(1934) independently provided such systems,called calculi of natural deduction, with Gentzen's approach introducing the idea of symmetry between the grounds for asserting propositions, expressed in introduction rules, and the consequences of accepting propositions in the elimination rules, an idea that has proved very important in proof theory.
В развитие этой идеи С. Янковский( 1929) и Г. Генцен( 1934) независимо создали системы,названные исчислениями натуральной дедукции( естественного вывода), сочетая их с подходом Генцена, вводящим идею симметрии между предположениями о высказываниях в правилах введения, и следствиями принятия высказываний в правилах удаления,- идею, которая оказалась очень важной в теории доказательств.Differential calculus of functions of several variables.,"Integration","Differential Equations" 2007 050?
Часть II.? Дифференциальное исчисление функциимногих переменных?,? Интегрирование?,? Дифференциальные уравнения?Taken together, these enhancements make calculus faster, easier, and better at all levels of sophistication.
В совокупности, данные улучшения делают исчисления всех уровней сложности быстрее, проще и лучше.In technical language, integral calculus studies two related linear operators.
В технических терминах интегральное исчисление является исследованием двух связанных линейных операторов.
