Model checking in software engineeringdela

Rabimo 3d model živali, ki ji lahko spreminjamo pozo. Model se lahko uporabi tudi za izdelavo aplikacije. Živali bi bilo več. Osnova je naša skica živali.

Smo svetovalno podjetje, ki se ukvarja s HRM področjem, predvsem z razvojem vodij in talentov. V razvoju je nov model za razvoj in upravljanje kompetenc čustvene inteligentnosti. Iščemo NOV LOGOTIP za model za razvoj ččustvene inteligentnosti. Ne isceva logotip za podjetje, AMPAK ZA MODEL RAZVOJA KOMPETENC ČUSTVENE INTELIGENTNOSTI s katerim bomo ugotavljali raven razvitosti kompetenc čustvene inteligentnosti pri ključnih zaposlenih v podjetjih. Kartice za logotip so KEI

We are currently working on a project to create a medical smart watch for demented people. We need help with the program code - software. If you have experience with programming and creating a smartwatch please contact us: (Removed by Freelancer.com Admin) /Izdelujemo pametno uro za zdravstvene namene in potrebujemo nekoga, ki obvlada programiranje in nam je pripravljen pomagati pri pisanju programske kode oziroma software. Če ste zainteresirani, nam prosim pišite na mail: (Removed by Freelancer.com Admin)

...for OCR in python(or you can configure some other good accuracy ocr), second is CNN Model: • MobileNetV2 96x96 0.35: The final layer consists of 16 neurons with a dropout rate of 0.1. • Another MobileNetV2 96x96 0.35 Variant: CNN Model: Accuracy - 72%, Loss - 0.56 • MobileNetV2 96x96 0.35: Accuracy - 74%, Weighted F1-score - 0.74 What we need you to do : We need to run these models on a embedded system (adruino/Raspberrypi etc check attachments for all the boards we need optimisation for) , The flow of the program is : One frame is captured via camera Frame is pre processed— we have this done, our model does a little pre processing but we need you to enhance it to make it better. OCR is run easyOCR , alphabets and nu...

I can confidently develop a complete 3D model of your house along with the necessary 2D drawings. The model will be created in Revit, ensuring accuracy and flexibility, with the option to export it to AutoCAD or SketchUp if needed.

We're HDI Homes, a dynamic home building company, looking for a vibrant female model/actor to feature in a series of informative social media tutorials. These will highlight our services in an engaging, yet professional manner, targeting potential home builders. Key Requirements: - Energetic, good looking female model/actor - Passion for engaging with audiences through video - Ability to deliver content in a professional tone - Experience with social media platforms, mainly Instagram and Facebook - Based in or willing to travel to Coimbatore or Tirupur The budget for this project is Rs. 5000 for a day shoot. Please submit your headshot, resume, and a link to your reel or previous work for consideration.

Description: In the context of Marketplace an algorithm is needed to predict if an item listed in the marketplace is new or used. Your tasks involve the data analysis, designing, processing and modeling of a machine learning solution to predict if an item is new or used and then evaluate the model over held-out test data. To assist in that task a dataset is provided in `` and a function `build_dataset` to read that dataset in ``. For the evaluation, you will use the accuracy metric in order to get a result of 0.86 as minimum. Additionally, you will have to choose an appropriate secondary metric and also elaborate an argument on why that metric was chosen. Deliverables The following items should be addressed in your solution keepi...

I'm seeking a professional 3D modeler to create an intricate and textured 3D representation of a brain for educational purposes. The model should encompass most regions of the brain, making it a comprehensive learning tool. Key Requirements: - Design a highly detailed and textured 3D brain model. - Include and highlight most regions of the brain. Ideal Skills and Experience: - Proficiency in 3D modeling software (e.g. Blender, 3Ds Max). - Previous experience in creating educational 3D models. - Strong understanding of human brain anatomy.

I will do the work as discussed in the chat

I'm seeking a licensed structural engineer with expertise in residential building calculations. The focus of this project is a balcony antenna installation. Key considerations for the project are: - Ensuring the structure can withstand wind resistance - Assessing the load-bearing capacity - Verifying material strength The ideal freelancer for this project should be a licensed professional in the USA, with a strong background in structural engineering for residential buildings. Experience with balcony installations would be a strong advantage.

...shipments and low stock warnings based on sales forecasts. Cost of Goods Sold (COGS): Input raw material costs (date, invoice, quantity, cost) to calculate weighted average cost annually; store data in a database. Settings: Configure business details (e.g., shipping times per marketplace) and manage navigation. Features: API integration for sales and inventory data. Dynamic calculations (e.g., suggested purchase orders, days of inventory). CSV upload/download for bulk data management. User-friendly UI with dropdowns, buttons (e.g., "Add New"), and checkboxes. Requirements: Proficiency in front-end (e.g., React, Angular) and back-end (e.g., Node.js, Python) development. Experience with database design (e.g., SQL) for storing COGS and inventory data. Famil...

I'm looking for a structural engineer to assess and design necessary reinforcements for: 1. MUA / RTU roof reinforcement of commercial building. 2. Rack concrete mouting support structure. Ideal skills and experience for the job include: - Proven experience in structural engineering, specifically for commercial buildings - In-depth knowledge of local building codes - Expertise in designing with steel - Experience with racking systems - Proficient in structural analysis software.

I'm seeking a professional video creator to shoot, edit, and produce a 25-minute, 3D animation educational video on "Geology for Engineers". The video should be appealing to the general public and engineering students and delivered in both Spanish and English. Key Requirements: - Extensive experience in creating live-action educational content - Exceptional skills in simplifying complex concepts - Advanced editing skills to keep viewers interested Ideal Skills: - Proficiency in video production and editing - Expertise in scriptwriting for educational purposes - Deep understanding of techniques to engage an audience I already have an outline for the video, but it needs development into a full script. The tone of the video should ...

I am looking for an expert to help me with the creation of a 3D model for my groundbreaking, self-sustaining thermal cycle generator. This 20 kW unit is designed for home electricity supply, but with scalability in mind. The generator will need to operate in both indoor and outdoor environments, making its design and construction crucial. Key Responsibilities: - Utilize provided data points for component placement and dimensions The project is already well-structured with clean notes, making it easier to execute. Your expertise in energy technology and generator design will be pivotal in bringing this innovative concept to life.

I'm facing issues with the user interface of my current intake software. The software is not user-friendly, leading to difficult navigation. I need a professional who can customize the software to meet my business needs, specifically by adding new features to enhance its functionality. Ideal skills for this project include: - Extensive experience in software customization - Strong understanding of user interface design - Proven track record in adding new features to existing software Please only apply if you have the relevant experience and can demonstrate your ability to deliver a tailored solution for my small business.

I need help rephrasing my research paper to remove plagiarism. The paper is in the field of Science/Engineering and is currently hosted on Overleaf. Your task will involve: - Thoroughly reviewing the document for plagiarized content - Rephrasing the content in a way that is not only original but also maintains the same meaning Ideal skills for this job include: - Expertise in scientific and engineering terminology - Strong understanding of academic writing standards - Excellent rephrasing and editing skills Please note, I strictly require manual revisions and do not want the use of any AI tools for this task.

...our white VW T6.1 (2021 model) that promotes our photo booth rental business, Fotobox.ch. The design should be professional, modern, and visually striking to attract attention on the road and at events. Vehicle Details: Model: VW T6.1 (2021) Rear: Tailgate (Heckklappe) with a window Right Side: Sliding door (Schiebetüre) with a window Design Requirements: ✅ Vehicle Sides (Left & Right): Must prominently feature the logo. A photo booth illustration should be included to clearly represent our service. The design should incorporate a dynamic, modern, and sleek look. Consider using a triangle (keil) design, starting with orange on the bottom left and transitioning upwards to the back. ✅ Rear Side: Creative idea: Make it appear as if someone is standing in...

I'm seeking a wordpress professional with a strong focus on user interface and experience. I have a wordpress website with a default template. it needs to be customised. The website encompasses about 10 to 12 pages. For example i need a floating header, a hero area, some mouse hover pictures and so ...navigation and optimizing page layouts for intuitive use. - Visual Design and Branding: Enhancing the site's visual appeal and ensuring brand consistency across all elements. - Interactive Elements and Usability: Refining interactive components for improved usability and user engagement. Ideal candidates should have a robust portfolio demonstrating previous work in these areas, alongside strong skills in website design and development. Experience in website p...

I need to add buildings on my 3D model and i need lanscapping on archicad

Comprehensive 3D Interior Design and Visualization for Bombay Textiles Retail Store Project Overview: We are seeking talented interior designers and 3D visualization experts to conceptualize and create a detailed 3D model of our upcoming retail store, Bombay Textiles. The objective is to design an inviting, functional, and aesthetically pleasing space that reflects our brand’s identity and enhances the customer experience. Scope of Work: 1. Store Layout and Floor Plan: • Develop a comprehensive floor plan based on provided dimensions and architectural details. • Optimize space for customer flow, product displays, and operational efficiency. 2. Entrance and Façade Design: • Design an attractive storefront that embodies the essence of Bombay Textiles...

Comprehensive 3D Interior Design and Visualization for Bombay Textiles Retail Store Project Overview: We are seeking talented interior designers and 3D visualization experts to conceptualize and create a detailed 3D model of our upcoming retail store, Bombay Textiles. The objective is to design an inviting, functional, and aesthetically pleasing space that reflects our brand’s identity and enhances the customer experience. Scope of Work: 1. Store Layout and Floor Plan: • Develop a comprehensive floor plan based on provided dimensions and architectural details. • Optimize space for customer flow, product displays, and operational efficiency. 2. Entrance and Façade Design: • Design an attractive storefront that embodies the essence of Bombay Textiles...

I'm looking for a skilled software developer who can create a software that reads truck weights from any weighbridge load cells. This software must be written in Delphi 11, and it should come with a user-friendly graphical interface (GUI). Key features of the software include: - Real-time weight display: The software should be capable of displaying the truck's weight in real-time. Ideal Skills: - Proficiency in Delphi 11 - Experience in developing software for weighbridge load cells - Strong understanding of GUI design principles - Ability to implement real-time data display I am not tied to any specific brand or model of load cells. The software needs to be compatible with any load cell on th...

I need a short reel like this one: But using this picture of a Tesla Model 3 Highland: I don't have any 3D Model

Hey! I need a simple e-commerce website where users can sign up, log in, and leave reviews on products. But I also want a system that can detect fake reviews in a cost-effective way—so no expensive APIs or GPUs. I already have an NLP-based fake review detection model for consumers, but I want to extend it for website owners so they can track and manage fake reviews without high costs. What I Need: ✅ User Authentication (Login & Logout) Users should register and log in to leave reviews. To prevent spam, only one review per product per user. Track IP addresses and login activity to detect suspicious users. ✅ Basic E-Commerce Review System Users can write, edit, and delete their own reviews. Admin (site owner) can view, approve, or remove reviews. ✅ F...

...analysis of (at least) one qualitative variable in the population • Frequency distribution • Relative frequency distribution • Cumulative frequency distribution • Bar graph + Pie chart 2) Comprehensive analysis of (at least) one quantitative variable in the population • Frequency distribution (for example: with intervals) • Relative frequency distribution • Cumulative frequency distribution • Histogram + Pie chart • Measures of center: Mean, Median, Mode, Quartiles • (Percentiles – optionally) • Measures of dispersion: Range, Interquartile range, Standard deviation, Quartile deviation, Coefficients of variation • Box-plot for 5 statistics summary + typical area of variation • Measures of s...

I have an Excel file with thousands of rows where the first column contains a few sentences mentioning local companies, while the second column contains the comp...an Excel file with thousands of rows where the first column contains a few sentences mentioning local companies, while the second column contains the company name identified by a pre-trained language model. I need a freelancer to manually review the accuracy of the detected names and make corrections where errors occur. Key requirements: - Manual review for 600,000 rows - Correction of identified errors - Adherence to a standardized format for company names Please provide a bid for the total cost and an estimate of how long this task will take. Your attention to detail will be crucial in ensuring the quali...

...seeking an experienced Deep Learning specialist to train our model using a provided dataset and code. You must have access to a high-performance GPU (RTX 4090 or above) with at least 32GB memory to ensure efficient training. The project involves optimizing the model, conducting experiments, and preparing a comprehensive technical report detailing methodologies, results, and insights. Responsibilities: • Train the deep learning model using the provided dataset and code. • Optimize and refine the code as needed to achieve optimal performance. • Conduct multiple training experiments and analyze the results. • Prepare a detailed technical report summarizing the training process, results, and optimizations. Requirements: • Extensive experience ...

**THE ENTERIES MADE BY AI WILL NOT GET ACCEPTED. ** I'm seeking a...and franchises and help them save on energy wastage by monitoring and measuring their energy usage. Our target audience is manufacturers, retirement homes, schools, hospitals all the way to restaurants and fast-food franchises. Ideal Skills: - Proficiency in minimalist design principles - Experience with web-based logo design - Strong understanding of typography and color theory Design Preferences: - The color palette may include: Green, Blue/Teal, Magenta, Navy, White - The design should be versatile, innovative, able to stand out in both color and monochrome. Please provide a portfolio showcasing similar design projects. Company name: “NetZilch Power Insights” Ps. The entries made ...

I'm in need of an expert who can assist me with installing Adobe After Effects on my Mac, specifically for creating visual effects. My Mac is the latest Apple M4 model. Ideal skills and experience for the job include: - Proficient in installing software on macOS - Extensive knowledge and experience with Adobe After Effects - Understanding of visual effects creation - Familiarity with Apple M4 hardware and its compatibility with software - Excellent communication skills for guiding through the process

I'm looking to have a 1:24 scale model home built. This model should be constructed from plastic and feature a moderate level of detail, inclusive of furnishings. Ideal Skills: - Expertise in scale model construction - Proficiency in using plastic as a primary material - Ability to design and incorporate detailed furnishings within the model Experience: - Prior experience in creating detailed scale models - Portfolio showcasing previous model home projects - Demonstrable skills in working with plastic materials

I'm Yotam, a skilled mechanical designer and translator with experience in assembly design, 3D mechanical modeling, and load calculations, as well as accurate Hebrew-to-English translations. ? Engineering & 3D Design Services: ✔️ Assembly design for mechanical systems ✔️ 3D Mechanical Modeling ✔️ Load calculations for strength and stability using SolidWorks ✔️ CAD modeling for engineering applications ? Translation Services: ✔️ Accurate Hebrew-to-English translations ✔️ Clear and natural wording ✔️ Fast and precise work I am detail-oriented and committed to delivering high-quality results. Whether you need engineering expertise or professional translations, feel free to contact me! Looking forward to working with you. ?

I'm a beginner looking to kickstart my career in software development. I need intensive training in Python, JavaScript, Java, or .NET, followed by immediate placement assistance. The ideal trainer should have strong industry connections for job placement post-training. Key Requirements: - Proficient in Python, JavaScript, Java, and .NET - Extensive experience in software development - Strong industry connections for job placement - Proven track record in training beginners - Excellent communication and interpersonal skills - Able to provide intensive and hands-on training Your role will be to train me comprehensively and help me secure a job. The goal is to gain enough skill and knowledge to be competitive in the field of s...

I'm in need of an experienced electronics engineer and PCB designer to help develop a microcurrent producing circuit for a therapeutic medical device. The circuit will need to incorporate adjustable current levels and be designed with portability in mind. Additionally, there will need to be a user interface with a display. Key Requirements: - Design PCB for microcurrent producing circuit - Incorporate adjustable current levels - Ensure the design is portable - Create a user interface with display Ideal Skills: - Expertise in electronics engineering and PCB design - Experience in designing for medical devices - Proficiency in creating user interfaces - Understanding of portable device requirements Please provide examples of similar projects ...

Prosimo, vpišite se ali se prijavite za več podrobnosti.

I am looking for an experienced Full-Stack Dev...(personalized feeds, trending hashtags) ✔ Real-Time AI Content Filtering (detects & blocks harmful messages/comments) ✔ Community Protection (toxic discussion warnings, anonymous reporting, "Safe Mode" for minors) ✔ Fake News Detection (AI-based fact-checking) ✔ Business & Creator Tools (monetization, exclusive content, advertising options) Technical Requirements: ? Real-time filtering & AI-based content moderation ? Scalable backend to support a large user base ? User-friendly filter settings for customization ? Integration of payment systems (Stripe, PayPal, in-app purchases) ? GDPR compliance & secure data processing ? Preferred Tech Stack: Open to suggestions (e.g., Node.js, Python, Firebase, AWS...

...skilled AI developer to create a model for clinical psychiatric practice. The primary function of this AI model will be serving as a diagnostic tool as well as clinical monitoring. This model should be able to write detailed reports. Ideally, this model will be able to listen in on clinical interactions and provide reports based on those interactions. Key Requirements: - The model should primarily work with speech or audio data, as well as any text input the patient can provide. - It will focus on diagnosing specific conditions, including depression, anxiety disorders, bipolar disorder, and psychosis. Ideal Skills: - Proficiency in AI/ML, especially in speech and audio data processing. - Prior experience in deve...

I'm looking for a Civil Engineer experienced in railway projects in Mumbai. The job involves: - Uploading bill measurements onto a specific government system - Ensuring these measurements are uploaded in the correct format as per company standards. Ideal candidates will have a strong background in civil engineering, particularly in railway projects. Familiarity with the 'Billing Engineer' system is a plus. Please note that the bill measurements need to be uploaded on the company system.

Movie-Recommendation-System:- *This project is a movie recommendation system that suggests movies similar to the one s...better user experience. 3)Interactive UI: Uses Streamlit to provide a user-friendly interface *TECHNOLOGIES USED:- 1)Frontend: Streamlit 2)Backend: Python 3)Libraries/Tools:- pandas for data manipulation sklearn for Count Vectorizer joblib for model storage/loading requests for fetching movie posters from TMDB API *WORKING OF THE PROJECT:- 1)The Count Vectorizer is used to calculate the similarity between movies based on textual metadata (e.g., genres, descriptions). 2)Movie similarity is represented using a similarity matrix. 3)For a given movie, the model identifies the top 5 most similar movies based on the similarity matrix. 4)Movie posters are fetche...

We are seeking a Senior Technical Writer to lead the creation of a robust user guide for a developing service software application. This role combines hands-on documentation work with mentorship responsibilities, including training a junior technical writer. The ideal candidate will bring expertise in single-source documentation, information architecture, and software documentation practices.

Prosimo, vpišite se ali se prijavite za več podrobnosti.

I'm looking for a talented 3D artist to create detailed models of casual athletic clothing. The specific items I need are T-shirts, Shorts, and a Skirt. - Style: ...athletic clothing. The specific items I need are T-shirts, Shorts, and a Skirt. - Style: The designs should reflect contemporary sportswear trends. - Purpose: These models will be used for visualisation and possibly for production, so they need to be accurate and realistic. I will provide photos of the drawings of the model so that there is a clear image to follow. Ideal skills for this job include: - Proficiency in 3D modelling software (e.g., Blender, 3DS Max, Maya) - Experience in designing clothing or understanding of garment construction - Ability to follow design specifications and c...

I need a medium detail 3D model of a 'god' figure that can be used for 3D printing. I have reference images to help you understand the design and details required. Key requirements: - The model should be of medium detail, not overly complex but with enough intricacy to make it visually appealing when printed. - The model must be fully optimized for 3D printing, meaning it should be structurally sound and printable without issues. - Good communication skills to clarify any uncertainties and to ensure the project is progressing according to expectations. Ideal skills and experience: - Proficiency in 3D modeling software with a strong portfolio of 3D printable models. - Understanding of 3D printing processes and limitations. - Previous experienc...

I'm looking for a SolidWorks professional who can help me process a simple STL scan. Key Tasks: - Run the STL scan through 'Scan to 3D' in SolidWorks 2024 - Align the model with front, right and top planes - Move the model to the origin - Clean up the model to remove any unwanted artifacts or noise The main purpose of this STL model after processing will be for further CAD modeling. The STL file represents a mechanical part, so experience with mechanical components is a plus.

I'm looking for a talented software developer to create a web-based astrology software with the following specifications: Core Functionality: - The software must be able to generate astrological charts, specifically Natal (birth) and Transit charts. This project seeks a skilled developer to create a web-based astrology (in html or web app) capable of delivering key features that I require. User Interaction: - The software should have interactive charts to enhance user engagement and utilise swiss ephemeris - It should include input forms for user data so that personalized charts can be created. - The software needs to be able to generate downloadable PDF reports for users (or downloadable image) Key Features: 1. Planets positions 2. Cusp po...

Changes to be made in 3D model as per the specifications.

...are looking for skilled Product Requirements Document (PRD) API Writers with expertise in technical writing and API documentation to define and document RESTful APIs for complex systems. Responsibilities Develop detailed API specifications, including architecture, data modeling, and validation rules. Utilize OpenAPI/Swagger, JSON Schema, and Markdown to create structured API documentation. Translate business requirements into clear, precise API definitions. Define error handling, validation logic, and cross-resource dependencies. Work closely with engineering and product teams to ensure accuracy and consistency. Requirements Strong experience in API architecture and technical documentation. Proficiency in RESTful API design principles. Excellent attention to...

I'm seeking a speci...specialized engineer to analyze a mechanical engineering failure case study from the past. The analysis should encompass: - Defining the scope of the study - Identifying stakeholders affected by or involved in the failure - Describing the inherent risks present before the failure occurred - Providing a detailed description of the causal chain leading to the failure - Exploring whether the failure impacted or interacted with Indigenous communities Ultimately, the project requires a comprehensive report of 1500 to 1650 words that articulates these points with clear and detailed insights. Ideal candidates should possess: - Strong analytical skills in engineering - Experience in writing academic reports or case studies - Compre...

I'm seeking a voice over artist to lend a professional and conversational tone to a 4-minute introduction video for my structural engineering company. This video serves primarily as a brand introduction. Key Requirements: - Professional voice over experience - Ability to deliver a friendly and conversational tone - Background or understanding of engineering is a plus Please provide samples of your previous work demonstrating a friendly and conversational tone.

I'm in need of an engineer to sign and seal architectural or your structural for a large 15x30 wooden shed for storage purposes. - Understanding of Florida's climate and building codes is essential to ensure the shed can withstand local weather conditions. - Jacksonville, Fl location

Project Overview Our project involves adapting a state-of-the-art model (based on FLAN-T5 and LLaMA 3) for two core tasks: 1. Generative Text: The model should generate high-quality, coherent text outputs for tasks such as explanation generation or answer synthesis. We want the model to employ chain-of-thought (CoT) prompting techniques to “think out loud” and provide detailed reasoning steps before outputting a final answer. 2. Text Classification: Simultaneously, the model must classify input texts into pre-defined compliance categories . The classification mechanism should also output a confidence score and a probability distribution across classes.