Search results for "programming."

showing 10 items of 3035 documents

The Orchestra of Multiple Model Repositories

2013

This paper motivates and encourages the simultaneous use of multiple model repositories in model-driven software. A multi-repository mechanism is proposed for that. With this mechanism, multiple model repositories residing in the same or different technical spaces can be mounted into a single repository (in the same sense as file systems are mounted in UNIX) and accessed in a uniform way. Relations (including generalizations) between elements from the mounted repositories are supported. Some of the repositories may be “computable” (virtual), which leads to the on-the-fly model transformation concept.

UnixWorld Wide WebSoftwareComputer sciencebusiness.industryProgramming languageModel transformationbusinesscomputer.software_genrecomputerMechanism (sociology)computer.programming_language
researchProduct

Improving mRNA-Based Therapeutic Gene Delivery by Expression-Augmenting 3' UTRs Identified by Cellular Library Screening.

2019

Synthetic mRNA has emerged as a powerful tool for the transfer of genetic information, and it is being explored for a variety of therapeutic applications. Many of these applications require prolonged intracellular persistence of mRNA to improve bioavailability of the encoded protein. mRNA molecules are intrinsically unstable and their intracellular kinetics depend on the UTRs embracing the coding sequence, in particular the 3′ UTR elements. We describe here a novel and generally applicable cell-based selection process for the identification of 3′ UTRs that augment the expression of proteins encoded by synthetic mRNA. Moreover, we show, for two applications of mRNA therapeutics, namely, (1) …

Untranslated regionCellular differentiationRNA StabilityInduced Pluripotent Stem CellsBlood DonorsComputational biologyGene deliveryBiologyCancer Vaccines03 medical and health sciencesMice0302 clinical medicineDrug DiscoveryGeneticsCoding regionAnimalsHumansRNA MessengerInduced pluripotent stem cellMolecular BiologyGene3' Untranslated RegionsCells Cultured030304 developmental biologyGene LibraryPharmacology0303 health sciencesMessenger RNAMice Inbred BALB CVaccinationGene Transfer TechniquesGenetic TherapyFibroblastsCellular Reprogramming030220 oncology & carcinogenesisMolecular MedicineFemaleOriginal ArticleReprogrammingHalf-LifeMolecular therapy : the journal of the American Society of Gene Therapy
researchProduct

Collaborative Content Downloading in VANETs with Fuzzy Comprehensive Evaluation

2019

Vehicle collaborative content downloading has become a hotspot in current vehicular ad-hoc network (VANET) research. However, in reality, the highly dynamic nature of VANET makes users lose resources easily, and the transmission of invalid segment data also wastes valuable bandwidth and storage of the users&rsquo

VANETPhysics and Astronomy (miscellaneous)Linear programmingComputer scienceGeneral Mathematics02 engineering and technologyFuzzy logicUploadlangaton tiedonsiirtooptimointi0502 economics and businessfuzzy comprehensive evaluation0202 electrical engineering electronic engineering information engineeringComputer Science (miscellaneous)vehicle collaborative content downloadingta113050210 logistics & transportationVehicular ad hoc networkbusiness.industryQuality of servicelcsh:Mathematics05 social sciencesBandwidth (signal processing)ComputerSystemsOrganization_COMPUTER-COMMUNICATIONNETWORKS020206 networking & telecommunicationsSpectral efficiencylcsh:QA1-939Chemistry (miscellaneous)The InternetbusinessComputer networkSymmetry
researchProduct

Secure Group Communication Using Fractional Public Keys

2010

Published version of a paper presented at the ARES '10 International Conference on Availability, Reliability, and Security (c) 2010 IEEE. Personal use of this material is permitted. Permission from IEEE must be obtained for all other users, including reprinting/ republishing this material for advertising or promotional purposes, creating new collective works for resale or redistribution to servers or lists, or reuse of any copyrighted components of this work in other works. Paper also available from the publisher:http://dx.doi.org/10.1109/ARES.2010.13 In this paper, we present the novel concept of fractional public keys and an efficient zero-round multi-party Diffie-Hellman key agreement sc…

VDP::Mathematics and natural science: 400::Information and communication science: 420::Security and vulnerability: 424TheoryofComputation_MISCELLANEOUSScheme (programming language)business.industryComputer scienceKey spaceTheoryofComputation_GENERALCryptographyPublic-key cryptographySymmetric-key algorithmCommunication in small groupsCollusionbusinessKey managementcomputerComputer networkcomputer.programming_language2010 International Conference on Availability, Reliability and Security
researchProduct

Structural Vibration Control for a Class of Connected Multistructure Mechanical Systems

2012

Published version of an article from the journal: Mathematical Problems in Engineering. Also available from the publisher:http://dx.doi.org/10.1155/2012/942910 A mathematical model to compute the overall vibrational response of connected multistructure mechanical systems is presented. Using the proposed model, structural vibration control strategies for seismic protection of multibuilding systems can be efficiently designed. Particular attention is paid to the design of control configurations that combine passive interbuilding dampers with local feedback control systems implemented in the buildings. These hybrid active-passive control strategies possess the good properties of passive contro…

VDP::Mathematics and natural science: 400::Mathematics: 410::Applied mathematics: 413Engineering:Informàtica::Automàtica i control [Àrees temàtiques de la UPC]Article SubjectGeneral MathematicsFeedback controlEdificis -- Vibració:Enginyeria civil::Materials i estructures [Àrees temàtiques de la UPC]Feedback control systemsControl d'estructures (Enginyeria)DamperPassive control:93 Systems Theory; Control [Classificació AMS]Control theoryControlStructural vibrationBuildings -- VibrationControl (linguistics):93 Systems Theory [Classificació AMS]Class (computer programming)business.industryVDP::Technology: 500::Building technology: 530lcsh:MathematicsGeneral EngineeringControl engineeringlcsh:QA1-939Mechanical systemlcsh:TA1-2040Sistemes de control per retroaccióBuildings--VibrationSeismic protectionStructural control (Engineering)lcsh:Engineering (General). Civil engineering (General)businessMathematical Problems in Engineering
researchProduct

Modeling and simulation of a High Pressure Roller Crusher for silicon carbide production

2011

Author's version of a chapter published in the book: 11th International Conference on Electrical Power Quality and Utilisation. Also available from the publisher at: http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=6128963&tag=1 This paper describes the modeling and simulation of High Pressure Roller Crusher (HPRC) for the production of silicon cabide grains. The study is to make a model for simulation of a High Pressure Roller Crusher. A High Pressure Roller Crusher (HPRC) is an important part in the production of silicon carbide, where the grains are crushed into powder form and then sieved into specified sizes based on its usage. This paper will present a model based on Johanson's…

VDP::Mathematics and natural science: 400::Mathematics: 410::Applied mathematics: 413EngineeringHigh Pressure Roller Crusher (HPRC) silicon carbide Padé approximationbusiness.industryMetallurgyMechanical engineeringCrusherModeling and simulationchemistry.chemical_compoundSoftwarechemistryHigh pressureSilicon carbideProduction (economics)VDP::Technology: 500::Materials science and engineering: 520MATLABbusinessMineral processingcomputercomputer.programming_language
researchProduct

D-Optimal Design for Parameter Estimation in Discrete-Time Nonlinear Dynamic Systems

2012

Published version of an article from the journal: Mathematical Problems in Engineering. Also available from the publisher:http://dx.doi.org/10.1155/2012/296701 An optimal input design method for parameter estimation in a discrete-time nonlinear system is presented in the paper to improve the observability and identification precision of model parameters. Determinant of the information matrix is used as the criterion function which is generally a nonconvex function about the input signals to be designed. To avoid the locally optimizing problem, a randomized designmethod is proposed bywhich a globally optimizing test plan other than input signals may be obtained. Then the randomized design ca…

VDP::Mathematics and natural science: 400::Mathematics: 410::Applied mathematics: 413Optimal designMathematical optimizationArticle SubjectComputer scienceEstimation theoryIterative methodlcsh:MathematicsGeneral MathematicsGeneral EngineeringFunction (mathematics)lcsh:QA1-939Dynamic programmingNonlinear systemDiscrete time and continuous timelcsh:TA1-2040Control theoryObservabilitylcsh:Engineering (General). Civil engineering (General)Mathematical Problems in Engineering
researchProduct

Modeling and Performance Analysis of Energy Efficiency Binary Power Control in MIMO-OFDM Wireless Communication Systems

2011

Published version of an article in the journal:International Journal of Distributed Sensor Networks. Also available from Hindawi Publishing: http://dx.doi.org/10.1155/2011/946258 The energy efficiency optimization of the binary power control scheme for MIMO-OFDM wireless communication systems is formulated, and then a global optimization solution of power allocation is derived. Furthermore, a new energy efficiency binary power control (EEBPC) algorithm is designed to improve the energy efficiency of MIMO-OFDM wireless communication systems. Simulation results show that the EEBPC algorithm has better energy efficiency and spectrum efficiency than the average power control algorithm in MIMO-O…

VDP::Mathematics and natural science: 400::Mathematics: 410::Applied mathematics: 413Scheme (programming language)Theoretical computer scienceArticle SubjectComputer Networks and CommunicationsComputer scienceBinary numberData_CODINGANDINFORMATIONTHEORY02 engineering and technologylcsh:QA75.5-76.950203 mechanical engineeringVDP::Technology: 500::Information and communication technology: 550::Telecommunication: 552Computer Science::Networking and Internet Architecture0202 electrical engineering electronic engineering information engineeringElectronic engineeringGlobal optimizationComputer Science::Information Theorycomputer.programming_languageComputerSystemsOrganization_COMPUTER-COMMUNICATIONNETWORKSGeneral Engineering020206 networking & telecommunications020302 automobile design & engineeringSpectral efficiencyMIMO-OFDMPower (physics)lcsh:Electronic computers. Computer sciencecomputerPower controlEfficient energy useInternational Journal of Distributed Sensor Networks
researchProduct

Application of the LISS Lyapunov-Krasovskii small-gain theorem to autonomously controlled production networks with time-delays

2010

Accepted version of a paper published by IEEE. (c) 2010 IEEE. Personal use of this material is permitted. Permission from IEEE must be obtained for all other users, including reprinting/ republishing this material for advertising or promotional purposes, creating new collective works for resale or redistribution to servers or lists, or reuse of any copyrighted components of this work in other works Published version: http://dx.doi.org/10.1109/SYSTOL.2010.5676085 In this paper we consider general autonomously controlled production networks. A production network consists of geographically distributed plants, which are connected by transport routes such that transportation times (time-delays) …

VDP::Mathematics and natural science: 400::Mathematics: 410::Applied mathematics: 413Time delaysSmall-gain theoremDifferential equationProperty (programming)Control theoryProduction controlVDP::Technology: 500::Mechanical engineering: 570Lyapunov krasovskiiProduction (economics)Stability (probability)Mathematics2010 Conference on Control and Fault-Tolerant Systems (SysTol)
researchProduct

MVPACK: a package to calculate energy levels and magnetic properties of high nuclearity mixed valence clusters.

2010

We present a FORTRAN code based on a new powerful and efficient computational approach to solve the double exchange problem for high-nuclearity MV clusters containing arbitrary number of localized spins and itinerant electrons. We also report some examples in order to show the possibilities of the program.

Valence (chemistry)SpinsCondensed matter physicsChemistryFortranElectron delocalization02 engineering and technologyGeneral ChemistryElectron010402 general chemistry021001 nanoscience & nanotechnology01 natural sciences0104 chemical sciencesComputational physicsComputational Mathematics0210 nano-technologycomputercomputer.programming_languageJournal of computational chemistry
researchProduct