-
Controllable synthesis of calcium carbonate with different geometry: comprehensive analysis of particles formation, their cellular uptake and biocompatibility
Authors:
Hani Bahrom,
Alexander A. Goncharenko,
Landysh I. Fatkhutdinova,
Oleksii O. Peltek,
Albert R. Muslimov,
Olga Yu. Koval,
Igor E. Eliseev,
Andrey Manchev,
Dmitry Gorin,
Ivan I. Shishkin,
Roman E. Noskov,
Alexander S. Timin,
Pavel Ginzburg,
Mikhail V. Zyuzin
Abstract:
Carefully designed micro and nanocarriers can provide significant advantages over conventional macroscopic counterparts in biomedical applications. The set of requirements including a high loading capacity, triggered release mechanisms, biocompatibility, and biodegradability should be considered for the successful delivery realization. Porous calcium carbonate (CaCO3) is one of the most promising…
▽ More
Carefully designed micro and nanocarriers can provide significant advantages over conventional macroscopic counterparts in biomedical applications. The set of requirements including a high loading capacity, triggered release mechanisms, biocompatibility, and biodegradability should be considered for the successful delivery realization. Porous calcium carbonate (CaCO3) is one of the most promising platforms, which can encompass all the beforehand mentioned requirements. Here, we study both the particles formation and biological applicability of CaCO3. In particular, anisotropic differently shaped CaCO3 particles were synthesized using green sustainable approach based on co-precipitation of calcium chloride and sodium carbonate/bicarbonate at different ratios in the presence of organic additives. The impact of salts concentrations, reaction time, as well as organic additives was systematically researched to achieve controllable and reliable design of CaCO3 particles. It has been demonstrated that the crystallinity (vaterite or calcite phase) of particles depends on the initial salts concentrations. The loading capacity of prepared CaCO3 particles is determined by their surface properties such as specific surface area, pore size and zeta-potential. Differently shaped CaCO3 particles (spheroids, ellipsoids, toroids) were used to evaluate their uptake efficiency on the example of C6 glioma cells. The results show that the ellipsoidal particles possess a higher probability for internalization by cancer cells. All tested particles were also found to have a good biocompatibility. The capability to design physicochemical properties of CaCO3 particles has a significant impact on drug delivery applications, since the particles geometry substantially affects cell behavior (internalization, toxicity) and allows outperforming standard spherical counterparts.
△ Less
Submitted 30 June, 2021;
originally announced June 2021.
-
Golden Vaterite as a Mesoscopic Metamaterial for Biophotonic Applications
Authors:
Roman E. Noskov,
Andrey Machnev,
Ivan I. Shishkin,
Marina Novoselova,
Alexey V. Gayer,
Alexander A. Ezhov,
Evgeny A. Shirshin,
Sergey German,
Ivan D. Rukhlenko,
Simon Fleming,
Boris Khlebtsov,
Dmitry Gorin,
Pavel Ginzburg
Abstract:
Mesoscopic photonic systems with tailored optical responses have great potential to open new frontiers in implantable biomedical devices. However, biocompatibility is typically a problem, as engineering of optical properties often calls for using toxic compounds and chemicals, unsuitable for in vivo applications. Here, we demonstrate a unique approach to biofriendly delivery of optical resonances.…
▽ More
Mesoscopic photonic systems with tailored optical responses have great potential to open new frontiers in implantable biomedical devices. However, biocompatibility is typically a problem, as engineering of optical properties often calls for using toxic compounds and chemicals, unsuitable for in vivo applications. Here, we demonstrate a unique approach to biofriendly delivery of optical resonances. We show that the controllable infusion of gold nanoseeds into polycrystalline submicron vaterite spherulites gives rise to a variety of electric and magnetic Mie resonances, producing a tuneable mesoscopic optical metamaterial. The three-dimensional reconstruction of the spherulites demonstrates the capability of controllable gold loading with volumetric filling factors exceeding 28%. Owing to the biocompatibility of the constitutive elements, golden vaterite paves the way to introduce designer-made Mie resonances to cuttingedge biophotonic applications. We exemplify this concept by showing efficient laser heating of gold-filled vaterite spherulites at red and near-infrared wavelengths, highly desirable in photothermal therapy and photoacoustic tomography
△ Less
Submitted 5 July, 2021; v1 submitted 10 June, 2021;
originally announced June 2021.
-
Microstructured Optical Waveguide-Based Endoscopic Probe Coated with Silica Submicron Particles
Authors:
Timur Ermatov,
Yury V. Petrov,
Sergei V. German,
Anastasia A. Zanishevskaya,
Andrey A. Shuvalov,
Vsevolod Atkin,
Andrey Zakharevich,
Boris N. Khlebtsov,
Julia S. Skibina,
Pavel Ginzburg,
Roman E. Noskov,
Valery V. Tuchin,
Dmitry A. Gorin
Abstract:
Microstructured optical waveguides (MOW) are of great interest for chemical and biological sensing. Due to the high overlap between a guiding light mode and an analyte filling of one or several fiber capillaries, such systems are able to provide strong sensitivity with respect to variations in the refractive index and the thickness of filling materials. Here, we introduce a novel type of functiona…
▽ More
Microstructured optical waveguides (MOW) are of great interest for chemical and biological sensing. Due to the high overlap between a guiding light mode and an analyte filling of one or several fiber capillaries, such systems are able to provide strong sensitivity with respect to variations in the refractive index and the thickness of filling materials. Here, we introduce a novel type of functionalized MOWs whose capillaries are coated by a layer-by-layer (LBL) approach, enabling the alternate deposition of silica particles (SiO2) at different diameters - 300 nm, 420 nm, and 900 nm - and layers of poly(diallyldimethylammonium chloride) (PDDA). We demonstrate up to three covering bilayers consisting of 300-nm silica particles. Modifications in the MOW transmission spectrum induced by coating are measured and analyzed. The proposed technique of MOW functionalization allows one to reach novel sensing capabilities, including an increase in the effective sensing area and the provision of a convenient scaffold for the attachment of long molecules such as proteins.
△ Less
Submitted 12 May, 2019;
originally announced May 2019.
-
Enabling magnetic resonance imaging of hollow-core microstructured optical fibers via nanocomposite coating
Authors:
R. E. Noskov,
A. A. Zanishevskaya,
A. A. Shuvalov,
S. V. German,
O. A. Inozemtseva,
T. P. Kochergin,
E. N. Lazareva,
V. V. Tuchin,
P. Ginzburg,
J. S. Skibina,
D. A. Gorin
Abstract:
Optical fibers are widely used in bioimaging systems as flexible endoscopes capable of low-invasive penetration inside hollow tissue cavities. Here, we report on the technique which allows magnetic resonance imaging (MRI) of hollow-core microstructured fibers (HC-MFs), paving the way for combing MRI and optical bioimaging. Our approach is based on Layer-by-Layer assembly of oppositely charged poly…
▽ More
Optical fibers are widely used in bioimaging systems as flexible endoscopes capable of low-invasive penetration inside hollow tissue cavities. Here, we report on the technique which allows magnetic resonance imaging (MRI) of hollow-core microstructured fibers (HC-MFs), paving the way for combing MRI and optical bioimaging. Our approach is based on Layer-by-Layer assembly of oppositely charged polyelectrolytes and magnetite nanoparticles on the inner core surface of HC-MFs. Incorporation of magnetite nanoparticles into polyelectrolyte layers renders HC-MFs visible for MRI and induces the red-shift in their transmission spectra. Specifically, the transmission shifts up to 60 nm have been revealed for the several-layers composite coating along with the high-quality contrast of HC-MFs in MRI scans. Our results shed light on marrying fiber-based endoscopy with MRI that opens novel possibilities for minimally invasive clinical diagnostics and surgical procedures in vivo.
△ Less
Submitted 8 March, 2019;
originally announced March 2019.
-
The Eclipse Integrated Computational Environment
Authors:
Jay Jay Billings,
Andrew R. Bennett,
Jordan Deyton,
Kasper Gammeltoft,
Jonah Graham,
Dasha Gorin,
Hari Krishnan,
Menghan Li,
Alexander J. McCaskey,
Taylor Patterson,
Robert Smith,
Gregory R. Watson,
Anna Wojtowicz
Abstract:
Problems in modeling and simulation require significantly different workflow management technologies than standard grid-based workflow management systems. Computational scientists typically interact with simulation software in a feedback driven way were solutions and workflows are developed iteratively and simultaneously. This work describes common activities in workflows and how combinations of t…
▽ More
Problems in modeling and simulation require significantly different workflow management technologies than standard grid-based workflow management systems. Computational scientists typically interact with simulation software in a feedback driven way were solutions and workflows are developed iteratively and simultaneously. This work describes common activities in workflows and how combinations of these activities form unique workflows. It presents the Eclipse Integrated Computational Environment as a workflow management system and development environment for the modeling and simulation community. Examples of the Environment's applicability to problems in energy science, general multiphysics simulations, quantum computing and other areas are presented as well as its impact on the community.
△ Less
Submitted 11 June, 2017; v1 submitted 31 March, 2017;
originally announced April 2017.
-
Subsumption Checking in Conjunctive Coalgebraic Fixpoint Logics
Authors:
Daniel Gorín,
Lutz Schröder
Abstract:
While reasoning in a logic extending a complete Boolean basis is coNP-hard, restricting to conjunctive fragments of modal languages sometimes allows for tractable reasoning even in the presence of greatest fixpoints. One such example is the EL family of description logics; here, efficient reasoning is based on satisfaction checking in suitable small models that characterize formulas in terms of si…
▽ More
While reasoning in a logic extending a complete Boolean basis is coNP-hard, restricting to conjunctive fragments of modal languages sometimes allows for tractable reasoning even in the presence of greatest fixpoints. One such example is the EL family of description logics; here, efficient reasoning is based on satisfaction checking in suitable small models that characterize formulas in terms of simulations. It is well-known, though, that not every conjunctive modal language has a tractable reasoning problem. Natural questions are then how common such tractable fragments are and how to identify them. In this work we provide sufficient conditions for tractability in a general way by considering unlabeled tableau rules for a given modal logic. We work in the framework of coalgebraic logic as a unifying semantic setting. Apart from recovering known results for description logics such as EL and FL0, we obtain new ones for conjunctive fragments of relational and non-relational modal logics with greatest fixpoints. Most notably we find tractable fragments of game logic and the alternating-time mu-calculus.
△ Less
Submitted 6 June, 2014; v1 submitted 24 January, 2014;
originally announced January 2014.
-
Simulations and Bisimulations For Coalgebraic Modal Logics
Authors:
Daniel Gorín,
Lutz Schröder
Abstract:
We define a notion of Lambda-simulation for coalgebraic modal logics, parametric on the choice Lambda of predicate liftings for a functor T. We show this notion is adequate in several ways: i) it preserves truth of positive formulas, ii) for Lambda a separating set of monotone predicate liftings, the associated notion of Lambda-bisimulation corresponds to T-behavioural equivalence (moreover Lambda…
▽ More
We define a notion of Lambda-simulation for coalgebraic modal logics, parametric on the choice Lambda of predicate liftings for a functor T. We show this notion is adequate in several ways: i) it preserves truth of positive formulas, ii) for Lambda a separating set of monotone predicate liftings, the associated notion of Lambda-bisimulation corresponds to T-behavioural equivalence (moreover Lambda-n-bisimulations correspond to T-n-behavioural equivalence), and iii) in fact, for Lambda-separating and T preserving weak pullbacks, difunctional Lambda-bisimulations are T-bisimulations. In essence, we arrive at a modular notion of equivalence that, when used with a separating set of monotone predicate liftings, coincides with T-behavioural equivalence regardless of whether T preserves weak pullbacks (unlike the notion of T-bisimilarity).
△ Less
Submitted 11 April, 2013; v1 submitted 11 March, 2013;
originally announced March 2013.
-
A Software Tool for Legal Drafting
Authors:
Daniel Gorín,
Sergio Mera,
Fernando Schapachnik
Abstract:
Although many attempts at automated aids for legal drafting have been made, they were based on the construction of a new tool, completely from scratch. This is at least curious, considering that a strong parallelism can be established between a normative document and a software specification: both describe what an entity should or should not do, can or cannot do.
In this article we compare norma…
▽ More
Although many attempts at automated aids for legal drafting have been made, they were based on the construction of a new tool, completely from scratch. This is at least curious, considering that a strong parallelism can be established between a normative document and a software specification: both describe what an entity should or should not do, can or cannot do.
In this article we compare normative documents and software specifications to find out their similarities and differences. The comparison shows that there are distinctive particularities, but they are restricted to a very specific subclass of normative propositions. The rest, we postulate, can be dealt with software tools. For such an enterprise the \FormaLex tool set was devised: an LTL-based language and companion tools that utilize model checking to find out normative incoherences in regulations, contracts and other legal documents. A feature-rich case study is analyzed with the presented tools.
△ Less
Submitted 12 September, 2011;
originally announced September 2011.
-
Reducing the Number of Annotations in a Verification-oriented Imperative Language
Authors:
Guido de Caso,
Diego Garbervetsky,
Daniel Gorín
Abstract:
Automated software verification is a very active field of research which has made enormous progress both in theoretical and practical aspects. Recently, an important amount of research effort has been put into applying these techniques on top of mainstream programming languages. These languages typically provide powerful features such as reflection, aliasing and polymorphism which are handy for pr…
▽ More
Automated software verification is a very active field of research which has made enormous progress both in theoretical and practical aspects. Recently, an important amount of research effort has been put into applying these techniques on top of mainstream programming languages. These languages typically provide powerful features such as reflection, aliasing and polymorphism which are handy for practitioners but, in contrast, make verification a real challenge. In this work we present Pest, a simple experimental, while-style, multiprocedural, imperative programming language which was conceived with verifiability as one of its main goals. This language forces developers to concurrently think about both the statements needed to implement an algorithm and the assertions required to prove its correctness. In order to aid programmers, we propose several techniques to reduce the number and complexity of annotations required to successfully verify their programs. In particular, we show that high-level iteration constructs may alleviate the need for providing complex loop annotations.
△ Less
Submitted 15 November, 2010;
originally announced November 2010.
-
The Question of Expressiveness in the Generation of Referring Expressions
Authors:
Carlos Areces,
Santiago Figueira,
Daniel Gorín
Abstract:
We study the problem of generating referring expressions modulo different notions of expressive power. We define the notion of $\+L$-referring expression, for a formal language $\+L$ equipped with a semantics in terms of relational models. We show that the approach is independent of the particular algorithm used to generate the referring expression by providing examples using the frameworks of \ci…
▽ More
We study the problem of generating referring expressions modulo different notions of expressive power. We define the notion of $\+L$-referring expression, for a formal language $\+L$ equipped with a semantics in terms of relational models. We show that the approach is independent of the particular algorithm used to generate the referring expression by providing examples using the frameworks of \cite{AKS08} and \cite{Krahmer2003}. We provide some new complexity bounds, discuss the issue of the length of the generated descriptions, and propose ways in which the two approaches can be combined.
△ Less
Submitted 23 June, 2010;
originally announced June 2010.
